Commit Graph

16 Commits

Author SHA1 Message Date
Aditya Mandaleeka 52ba152ed6 Update to Vally 0.7.0 (#854) 2026-07-10 02:19:48 +00:00
Amaury Levé 33110eeba8 code-testing-agent: fix workspace-integrity activation + stabilize Contoso rubric (#806)
* code-testing-agent: fix workspace-integrity activation + stabilize Contoso rubric

Workspace-integrity scenario was NOT ACTIVATED in plugin mode: the prompt
("Generate unit tests for its core module") was terse and small-scoped, so
the runtime did not route to the code-testing-agent skill. Reframe it with
high-level test-generation language ("comprehensive pytest test suite",
"scaffold", "thorough unit tests") that matches the skill description,
while preserving the guardrail anchors: it still points at the on-disk module
without naming it and never implies restoring the gutted tree.

ContosoUniversity rubric item #5 (find-untested-sources) was conditional on
that skill being loaded — only true in plugin mode. In isolated runs the
agent cannot satisfy it, so the judge penalized it asymmetrically, injecting
isolated-vs-plugin variance. Make the conditional deterministic: explicitly
N/A when the skill is not loaded, without lowering the bar when it is.

Applied to both eval.yaml and eval.vally.yaml.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* code-testing-agent: make find-untested-sources rubric decidable from session timeline

Address review feedback: the 'treat as satisfied (N/A) when the skill is
not loaded' clause is not verifiable from the judge's inputs (which show
which tools were called, not which were available). Rewrite the criterion
to be decidable from the session timeline by requiring a source-to-test
pairing map recorded in .testagent/research.md that either cites
find-untested-sources output or documents the equivalent manual approach.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

---------

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-06-23 12:32:11 +02:00
Amaury Levé 102663d337 Fix code-testing-agent activation for the Flask pytest scenario (#802)
* Fix code-testing-agent activation for the Flask pytest scenario

The 'Generate pytest tests for the Flask tasks API' scenario failed to activate code-testing-agent in BOTH isolated and plugin mode: its prompt enumerated, file by file, exactly what to mock/inject/test (TaskService with repo mocked + clock injected, queries.apply_query over fixed lists, both repositories, the blueprint via test_client), acting as an answer key that let the base agent generate tests directly with edit tools instead of routing to the skill's research-plan-implement pipeline. Rewrite the prompt to a realistic, high-level ask (mirroring the ContosoUniversity scenario that does activate): describe the app at a layer level, keep the 'no tests yet', project-wide multi-file framing and the 80% coverage floor, and drop the per-module test checklist. Assertions, rubric and timeout are unchanged. Verified locally that the skill now activates in both isolated and plugin mode.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Use python3 in Flask prompt to match the grader

Review feedback: the prompt told the agent to run \python -m ...\ but the grader (and the vally command) invoke \python3\. On Linux runners that may lack a \python\ shim the agent could hit command-not-found. Align the prompt to \python3\ in both eval.yaml and eval.vally.yaml.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

---------

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-06-23 10:05:22 +02:00
Amaury Levé f389af86c7 code-testing-generator: mandatory pre-completion self-review gate (#768)
* code-testing-generator: mandatory pre-completion self-review gate

Replaces the prose `Verify tests are implementation-specific'' bullet
in Step 7 of the code-testing-generator agent with a mandatory
pre-completion self-review gate that invokes two existing plugin
skills:

1. `test-gap-analysis'' (pseudo-mutation check) against the source
   files tested and the produced test files
2. `assertion-quality'' (trivial/tautological assertion check)
   against the produced test files

Both skills already ship in plugins/dotnet-test; this PR only wires
them into the generator's workflow as a mandatory gate before
declaring a run complete.

The two skills' `When to Use'' sections are extended to list
`called by code-testing-generator as a pre-completion self-review
step'' as a recognised use case so the model does not refuse the
invocation. The skill descriptions are unchanged (frontmatter is
already at the 1024-char limit).

Rule 11 of the generator agent is updated to list the gate alongside
final build, final test, and coverage-gap review as mandatory for ALL
strategies including Direct.

A matching rubric item is added to the ContosoUniversity scenario in
the code-testing-agent eval (yaml and vally) so the LLM judge can
verify the gate was actually invoked on the trajectory.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Apply suggestions from code review

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

---------

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
2026-06-17 10:14:26 +00:00
Amaury Levé 754011b5ee Add workspace-integrity guardrail to code-testing agents (#773)
The code-testing-generator/implementer agents could treat an unusual or
scaffolded workspace (e.g. a gutted repo with an injected synthetic module)
as corruption and "repair" it with git checkout/restore/reset/clean or rm,
restoring deleted tracked files and testing the wrong code.

- Replace generator Rule 5 ("Clean git first - stash changes") with an
  explicit "Treat the workspace as delivered" rule, and add a "Never mutate
  version control" rule. Output must be purely additive test files.
- Add a no-revert/no-clean invariant to the implementer's edit boundaries.
- Add a 'workspace integrity' eval to the code-testing-agent suite
  (eval.yaml + eval.vally.yaml). The fixture looks gutted: a metricsd project
  whose real core/io modules are committed at HEAD but deleted from the
  working tree, leaving only a synthetic 'synthstr' decoy. A git restore would
  resurrect the deleted sentinel files; graders fail if they reappear and
  require passing pytest tests for the module as delivered.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-06-16 13:49:34 +00:00
Amaury Levé a98fb44e52 code-testing-agent: pin down behavior in generated tests (#767)
Adds a new `Write Tests That Pin Down Behavior'' section to
`unit-test-generation.prompt.md'' covering five universal
test-craft principles:

1. Mutation thinking - each assertion would fail under a plausible bug
2. Property intersections - test combinations, not only coordinate axes
3. Behavior radius - assert on at least one secondary observable
4. Fixture realism - never set the parameter under test to a degenerate value
5. Quick self-review before declaring a test method done

Mirrors the same depth requirements in
`code-testing-implementer.agent.md'' Step 4 as a cross-language
invariant block alongside the existing `Edit boundaries'' rules.

Extends the existing `code-testing-agent'' eval rubrics (yaml and
vally) with one or two depth-oriented bullets per scenario:

* ContosoUniversity: minimal IsNotNull-only assertions + secondary
  observable check on controller actions
* python-flask-tasks: minimal `is not None''-only assertions + at
  least one combined-property TaskService validation test
* typescript-vitest-cart: minimal `toBeDefined''/`toBeTruthy''-only
  assertions + at least one intersection test (discount + tax +
  shipping together)

Rationale and prior-art references in PR description.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-06-16 11:14:34 +00:00
Amaury Levé d9c1e7a801 code-testing-agent: mention find-untested-sources for C# discovery (#734)
* code-testing-agent: mention find-untested-sources for C# discovery

Adds a conditional pointer (gated on 'when available') to the
find-untested-sources skill in two places:

- SKILL.md Step 3 (Research Phase): high-level note for C# / .NET
  multi-file scopes — prefer the helper over manual find/grep/glob walks.

- code-testing-researcher.agent.md Section 7 (Discover Preexisting
  Tests): directive instruction telling the researcher to invoke the
  helper before manually pairing source <-> test files, and to use its
  source_to_tests / untested output to fill the research document.

Both callouts are phrased as 'when available', so installations
without the find-untested-sources skill continue to work via manual
discovery. Adds no behavior for non-C# repos.

Context: in a 5x136-instance internal experiment on the msbench .NET
test bench, adding equivalent pointers to the routed code-testing-agent
yielded a 15.67% input-token reduction at neutral pass rate — the
model trusted the documented pairing heuristics and skipped its own
discovery walk. The helper itself was not invoked in those runs (the
Copilot CLI router did not auto-load the sibling skill), so the
measured win comes from the doc text causing the model to short-circuit
its manual exploration, not from the helper executing.

Depends on dotnet/skills#733 (which adds the find-untested-sources
skill itself).

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* code-testing-agent eval: grade find-untested-sources usage on C# scenario

PR #734 adds a doc pointer steering the researcher toward the
`find-untested-sources` skill on .NET / C# multi-file tasks. The
existing ContosoUniversity scenario is the natural fit: it's the only
C# multi-file scenario in this eval, and the new pointer is .NET-
scoped.

Add one rubric item to that scenario (in both eval.vally.yaml and the
legacy eval.yaml) asking the grader to verify the researcher actually
leveraged the helper — either by citing its `source_to_tests` /
`untested` JSON output in `.testagent/research.md`, or by executing
`scripts/Find-UntestedSources.cs` — instead of falling back to manual
`find` / `grep` / `glob` walks. Gated on `when available in the
workspace` to match the SKILL.md wording, so installs without
find-untested-sources are not penalized.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

---------

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-06-15 09:33:54 +02:00
dependabot[bot] faca87d669 Bump vite, @vitest/coverage-v8 and vitest (#731)
Bumps [vite](https://github.com/vitejs/vite/tree/HEAD/packages/vite) to 8.0.16 and updates ancestor dependencies [vite](https://github.com/vitejs/vite/tree/HEAD/packages/vite), [@vitest/coverage-v8](https://github.com/vitest-dev/vitest/tree/HEAD/packages/coverage-v8) and [vitest](https://github.com/vitest-dev/vitest/tree/HEAD/packages/vitest). These dependencies need to be updated together.


Updates `vite` from 5.4.21 to 8.0.16
- [Release notes](https://github.com/vitejs/vite/releases)
- [Changelog](https://github.com/vitejs/vite/blob/main/packages/vite/CHANGELOG.md)
- [Commits](https://github.com/vitejs/vite/commits/v8.0.16/packages/vite)

Updates `@vitest/coverage-v8` from 2.1.9 to 4.1.8
- [Release notes](https://github.com/vitest-dev/vitest/releases)
- [Changelog](https://github.com/vitest-dev/vitest/blob/main/docs/releases.md)
- [Commits](https://github.com/vitest-dev/vitest/commits/v4.1.8/packages/coverage-v8)

Updates `vitest` from 2.1.9 to 4.1.8
- [Release notes](https://github.com/vitest-dev/vitest/releases)
- [Changelog](https://github.com/vitest-dev/vitest/blob/main/docs/releases.md)
- [Commits](https://github.com/vitest-dev/vitest/commits/v4.1.8/packages/vitest)

---
updated-dependencies:
- dependency-name: vite
  dependency-version: 8.0.16
  dependency-type: indirect
- dependency-name: "@vitest/coverage-v8"
  dependency-version: 4.1.8
  dependency-type: direct:development
- dependency-name: vitest
  dependency-version: 4.1.8
  dependency-type: direct:development
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2026-06-05 14:00:35 +00:00
Amaury Levé 812565f8d1 Add polyglot evals for code-testing-agent (Python Flask + TypeScript Vitest) (#709)
* Add polyglot evals for code-testing-agent (Python Flask + TypeScript Vitest)

Adds two non-.NET evaluation scenarios to the dotnet-test/code-testing-agent
eval to measure how well the agent generates idiomatic tests in Python and
TypeScript — the languages exercised by the msbench top5-* benchmarks.

New fixtures (no pre-existing tests, so passing pytest/vitest proves the agent
actually generated them):
- fixtures/python-flask-tasks/ — small Flask app with TaskService (injected
  clock), TaskRepository Protocol + InMemoryTaskRepository, and a /tasks
  blueprint with HTTP 201/200/400/404/409 surfaces. Validated locally with
  `python -m pip install -e ".[test]" && python -m pytest`.
- fixtures/typescript-vitest-cart/ — small shopping-cart library with an
  injectable DiscountPolicy seam (No/Percentage policies) and a Cart class
  with non-trivial merge / clamping semantics. Validated locally with
  `npm ci && npx vitest run`. package-lock.json committed so `npm ci` is
  reproducible in CI.

New scenarios (added to both eval.yaml and eval.vally.yaml):
- "Generate pytest tests for the Flask tasks API (Python polyglot)" — asserts
  that `python3 -m pip install -e '.[test]' && python3 -m pytest` exits 0
  and that at least one `tests/**/test_*.py` file was produced. Rubric
  rewards using Flask's `test_client()`, mocking `TaskRepository` for
  service-level tests, asserting HTTP status + JSON body, and covering the
  empty-title / >200-char / not-found / already-done error paths.
- "Generate Vitest tests for the shopping-cart library (TypeScript polyglot)"
  — asserts that `npm ci && npx vitest run` exits 0 and that at least one
  `tests/**/*.test.ts` file was produced. Rubric rewards mocking
  `DiscountPolicy` via `vi.fn()`, covering Cart merge semantics,
  `updateQuantity` zero-removes, `totals()` discount-clamping, and the
  `PercentageDiscountPolicy` constructor boundary.

Companion to #708 (polyglot examples + sub-agent generification); these
scenarios exercise the per-language guidance that PR adds.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Address review feedback for #709

- routes.py: guard `create_task` against non-dict JSON payloads (e.g. list)
  by returning 400 instead of letting `payload.get(...)` raise AttributeError
  and surface as a 500. This keeps the API behavior stable and makes it easier
  for generated tests to assert 400 on invalid input shapes.
- tsconfig.json: drop `vitest/globals` from `compilerOptions.types`. The
  fixture's vitest.config.ts sets `globals: false`, so allowing TypeScript
  to assume globals (describe/it/expect) only enables tests that compile but
  fail at runtime. Removing it keeps the fixture aligned with the non-global
  Vitest API the eval is exercising.

Both fixtures re-smoke-tested locally: vitest 1/1, pytest 2/2 (including a
new test confirming the non-dict body returns 400).

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Fix skill activation for polyglot scenarios in PR #709

Both polyglot scenarios (pytest + Flask, Vitest + TS) scored 5.0/5
quality but reported `⚠️ NOT ACTIVATED` because the SDK's skill router
did not load `code-testing-agent` into the agent's context:
`activated: false, detectedSkills: []` in skillActivationIsolated /
skillActivationPlugin. The .NET ContosoUniversity scenario activates
fine because its prompt has stronger `project-wide, multi-file ... high
coverage` framing and SKILL.md already covers .NET keywords.

Fixes per `eng/skill-validator/src/docs/InvestigatingResults.md` section
"Skill not activated":

- SKILL.md description: add framework-specific keywords (pytest,
  Flask/Django, Vitest, Jest, Mocha, JUnit, Node libraries, API,
  package, project-wide, multi-file) so the router has explicit hooks
  for polyglot prompts. Trimmed verbose `DO NOT USE FOR` clauses to
  stay under the 1,024-char skill spec limit (now 1,019 chars).
- eval.yaml + eval.vally.yaml: rewrite the two polyglot prompts to
  mirror the .NET scenario's framing — add `project-wide, multi-file
  test generation task across the ... layers` and `achieve high
  coverage`, soften the library-prescriptive bullets (Mock(spec=...),
  vi.fn()) into capability-level requirements (`mocked or stubbed`,
  `mock or hand-written stub`). Rubric items unchanged — they remain
  flexible enough to grade either mock style.

Validated locally: `dotnet run --project eng/skill-validator/src --
check --plugin ./plugins/dotnet-test` => ✅ All checks passed
(23 skill(s), 11 agent(s), 1 plugin(s)).

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Address PR #709 review + sharpen polyglot skill activation

**Activation fix for polyglot scenarios (Python + TypeScript)**

The previous attempt (e8e6feeb2) added pytest/Vitest framework names
to a long capability list, but both polyglot scenarios still reported
activated: false in skillActivationIsolated/skillActivationPlugin
across two consecutive /evaluate runs.

Rewrote the SKILL.md frontmatter description so trigger vocabulary
moves into the "Use when asked to ..." intent phrase and mirrors
the EXACT phrasing the polyglot prompts use (the .NET scenario
already activates because it says "scaffold a new test project",
which is in the description):

- Action triggers: "generate pytest tests", "generate Vitest tests"
  alongside "generate tests" / "write unit tests".
- Scaffolding triggers: "scaffold a new test project / test suite"
  (matches "scaffold a comprehensive pytest suite" and "scaffold
  a comprehensive Vitest suite").
- Surface nouns matching the polyglot fixtures: "web app",
  "REST API", "blueprint", "services, repositories, routes,
  and modules".
- Up front: list what the skill scaffolds across all languages
  (".NET test projects, pytest test suites, Vitest/Jest test
  suites, Go test files, JUnit test suites").

Trimmed the "DO NOT USE FOR" clause to keep the folded description
at 992 chars (under the 1,024 agentskills.io spec limit).

**Review comment fixes**

- fixtures/typescript-vitest-cart/tsconfig.json: drop
  types: ["node"] — fixture has no @types/node so tsc
  would fail with "Cannot find type definition file for 'node'".
- fixtures/typescript-vitest-cart/src/pricing.ts: rewrite the
  DiscountPolicy.computeDiscountCents @returns docstring.
  Was "Must not exceed the subtotal" (contradicted by
  Cart.totals() which clamps both negative and over-subtotal
  values). Now clearly states policies should target
  [0, subtotalCents] but Cart.totals() clamps out-of-range
  values back into the range, so contract and implementation match.
- fixtures/python-flask-tasks/src/tasks_api/models.py: the
  Task.created_at default now uses datetime.now(timezone.utc)
  via default_factory, matching TaskService's timezone-aware
  _now callable. Avoids mixing naive datetime.utcnow() with
  aware datetimes when Task is instantiated directly (e.g., in
  generated tests).
- fixtures/python-flask-tasks/src/tasks_api/routes.py: add an
  explicit isinstance(title, str) guard in create_task
  before delegating to TaskService.create. Previously a JSON
  title value that was a number/null/object would fall through
  to title.strip() and crash with AttributeError -> 500.
- fixtures/python-flask-tasks/src/tasks_api/service.py:
  defense-in-depth — TaskService.create now raises ValueError
  on non-string titles (instead of crashing) so non-Flask callers
  (and unit tests that exercise the service directly with bad
  inputs) get a clean validation error.

Validated locally:

- dotnet run --project eng/skill-validator/src -- check --plugin
  ./plugins/dotnet-test -> All checks passed (23 skill(s),
  11 agent(s), 1 plugin(s)).
- Python fixture: python -m compileall -q src clean.
- TS fixture: npm ci && npx tsc --noEmit clean.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Simplify polyglot prompts to encourage skill activation

The Python pytest and TypeScript Vitest scenarios were marked NOT
ACTIVATED in evaluation runs even after rewriting the SKILL.md
description with polyglot trigger vocabulary. Investigation of
results.json showed the agent went straight to view/create without
ever invoking the `skill` tool.

Root cause: the polyglot prompts contained long bullet lists
pre-specifying exact test cases (Cart.add merge semantics, updateQuantity
zero-removes, PercentageDiscountPolicy boundary tests, TaskService
validation errors, etc.). This gave the model a complete plan and removed
any incentive to load a planning skill.

Compare with the .NET ContosoUniversity scenario (which does activate
the skill): a short open-ended prompt — "write comprehensive unit tests
across the controllers, services, and the data layer. Achieve high code
coverage." plus a real tool-config requirement (coverlet.collector for
Cobertura XML).

Mirror that style in both polyglot prompts:
- Drop the prescriptive bullet lists; keep a short framing intro and a
  single open-ended ask.
- Add a coverage tooling requirement (pytest-cov XML for Python,
  @vitest/coverage-v8 lcov for TypeScript) to give the skill real
  scaffolding value.
- Rubric and assertions unchanged — they still grade the actual quality
  of the generated suite.

Mirrors guidance in eng/skill-validator/src/docs/InvestigatingResults.md
section 5 ("Check the scenario itself has sufficient information that
the agent can reason that it needs the skill") and avoids the
"illegitimate fixes" called out there.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Elaborate polyglot prompts and enforce coverage in assertions

The previous prompt rewrite got the TypeScript Vitest scenario
activating in isolated mode (2/3 runs) but the Python scenario still
NEVER activated. Inspecting the session events showed the agent went
straight to view+create on all 3 Python runs without invoking the
`skill` tool.

Theory: the Python prompt is too abstract (just "service layer, the
repository, and the Flask routes") compared to the .NET prompt which
enumerates Students/Courses/Departments/Instructors controllers. Make
the polyglot prompts feel as substantial as the .NET one by:

- Naming concrete symbols (TaskService with injected clock,
  InMemoryTaskRepository, /tasks, /tasks/<id>, /tasks/<id>/complete
  for Python; Cart.add/remove/updateQuantity/totals plus the two
  policy classes for TS) — mirrors the .NET prompt's named
  controllers list.
- Pointing at the exact mocking + injection strategy ("with the
  repository mocked and the clock injected", "with DiscountPolicy
  mocked").
- Pinning the coverage report to an explicit path (coverage.xml for
  Python, coverage/lcov.info for TS).

Also enforce the coverage tooling requirement at assertion time so
the prompt's "and the project should be configured so... coverage"
is a real deliverable — mirrors the .NET scenario's
`coverage.cobertura.xml` file_exists check:

- Python: added file_exists for fixtures/python-flask-tasks/coverage.xml
  (pytest with --cov=tasks_api --cov-report=xml in addopts writes
  coverage.xml from the directory pytest runs in).
- TS: added a `npx vitest run --coverage` run step plus file_exists
  for fixtures/typescript-vitest-cart/coverage/lcov.info.

Both changes are legitimate per
eng/skill-validator/src/docs/InvestigatingResults.md "improving the
skill vs gaming the eval" — they make the deliverable richer rather
than steering toward the skill or relaxing the rubric.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Clarify SKILL.md routing and mirror coverage assertions in eval.vally.yaml

Per rubber-duck review of the activation strategy:

1. SKILL.md description was ambiguous about coverage — the previous
   wording said "DO NOT USE FOR coverage/CRAP analysis" but the
   polyglot prompts heavily mention coverage tooling. In plugin mode
   that could confuse the router into deferring to coverage-analysis
   or crap-score even when the user wants new tests written. Clarify:
   - In-scope: "configures coverage tooling (coverlet, pytest-cov,
     @vitest/coverage-v8) as part of test generation"
   - Out-of-scope: "analyzing existing coverage reports" (not just
     "coverage")
   Description re-tightened to 1003 chars (under the 1024 limit).

2. eval.vally.yaml previously asserted only that test files exist; the
   eval.yaml mirror added coverage XML / lcov.info file_exists
   assertions in the prior commit. Mirror those into the vally graders
   so both eval schemas enforce the same coverage deliverable:
   - Python: assert fixtures/python-flask-tasks/coverage.xml exists
   - TS: run npx vitest run --coverage --reporter=basic then assert
     fixtures/typescript-vitest-cart/coverage/lcov.info exists

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Harden polyglot fixtures so baseline cannot perfectly ace them

Both polyglot scenarios (Python Flask, TypeScript Vitest) activated the
code-testing-agent skill in isolated mode but not in plugin mode. Root
cause: the baseline (no skill loaded) was scoring 5/5, leaving the skill
no headroom to demonstrate value, so plugin-mode runs went straight to
view+write without invoking any skill.

Per InvestigatingResults.md section 8, the correct fix is to add genuine
complexity that benefits from a planning workflow rather than relaxing
rubrics or gaming activation. This commit grows both fixtures into
realistic, multi-seam libraries that genuinely reward layered test
planning.

Python (fixtures/python-flask-tasks/) additions:

- models.py: TaskPriority enum, Tag value-object with normalization /
  validation, due_at on Task, is_overdue(now) helper.
- queries.py (new): TaskQuery / TaskPage / apply_query separating
  filter / sort / pagination from the service. Sort by created_at,
  due_at, priority, or title with ascending / descending order; filter
  by status, tag, search substring, and overdue.
- repository.py: TaskRepository protocol gains delete(); added
  normalize_tags() helper that the service uses for tag dedup.
- repository_sqlite.py (new): SqliteTaskRepository — a second backend
  implementing the same Protocol using stdlib sqlite3 (no extra deps),
  with persisted tags via a task_tags table and ON DELETE CASCADE.
- service.py: configurable max_title_length, timezone-aware due_at
  validation, priority / due_at / tag mutations, reopen() and delete()
  state transitions, add_tags / remove_tag with normalization.
- routes.py: new endpoints — DELETE /tasks/<id>, POST /tasks/<id>/reopen,
  POST /tasks/<id>/tags, DELETE /tasks/<id>/tags/<name>. GET /tasks now
  parses status / tag / q / overdue / sort / order / limit / offset and
  returns a paged response with total / has_more.
- app.py: env / config-driven backend selection (TASKS_BACKEND =
  memory | sqlite, TASKS_DATABASE_URL, TASKS_MAX_TITLE_LENGTH).
- README.md: documents the new layout and the expected layered test
  approach.

TypeScript (fixtures/typescript-vitest-cart/) additions:

- pricing.ts: FixedAmountDiscountPolicy and CompositeDiscountPolicy
  with "sum" vs "chain" stacking modes (the latter compounds discounts
  on the remaining subtotal).
- tax.ts (new): TaxCalculator interface; NoTaxCalculator,
  RegionalTaxCalculator (per-region rate table with default fallback),
  AsyncTaxRateProvider async seam, AsyncTaxCalculator adapter.
- shipping.ts (new): ShippingCalculator interface;
  FreeShippingCalculator, FlatShippingCalculator (with optional
  free-over-threshold), WeightBasedShippingCalculator (bracket-based
  with overflow cost).
- inventory.ts (new): PriceFetcher and InventoryChecker async seams,
  InventoryError with productId / requested / available, refreshPrices()
  helper.
- cart.ts: fixed pricing pipeline subtotal → discount (clamped) → tax
  (on the discounted subtotal) → shipping; async checkout() that
  refreshes prices, checks inventory (first denial wins,
  InventoryError thrown), and supports an AsyncTaxRateProvider for
  this call.
- product.ts: optional weightGrams (used by shipping) and currency.
- index.ts: barrel re-exports for all new symbols.
- README.md: documents the new layout and the expected layered test
  approach.

eval.yaml + eval.vally.yaml:

- Updated both polyglot prompts to name the new modules and seams
  (queries.apply_query, SqliteTaskRepository, tag endpoints,
  CompositeDiscountPolicy stacking, AsyncTaxRateProvider,
  WeightBasedShippingCalculator, PriceFetcher / InventoryChecker,
  InventoryError). Style remains open-ended (.NET-style) — no bullet
  list of test cases.
- Replaced the small rubric with outcome-based rubric items that grade
  the new behaviors: pipeline composition (tax on discounted
  subtotal), CompositeDiscountPolicy stacking-mode differences, weight
  bracket boundary semantics, async checkout() with mocked
  collaborators including InventoryError shape, queries.apply_query
  pagination boundaries, SqliteTaskRepository integration tests
  against an in-memory connection, multi-status assertions across
  200/201/204/400/404/409, and constructor validation on the boundary
  classes.
- Bumped per-command timeouts from 5m to 10m to absorb the larger
  test suite.

No skill description / SKILL.md changes — the skill description is
already accurate for these scenarios (1003 / 1024 chars).

* Enforce hard 80% coverage floor on polyglot fixtures

After the previous harden commit (c78532bf7), the polyglot scenarios still
scored a 5.0/5 baseline with no plugin-mode activation. Root cause: even on
the larger fixtures the judge ticked every rubric item because the baseline
agent wrote tests that *touched* each named module — the rubric grades
"covered this concept", not "covered this code path", so a strong baseline
naturally clears it.

The previous commit hardened the SURFACE of the fixtures. This commit
hardens the SUCCESS BAR by baking coverage thresholds into the test
runners themselves, so a baseline that skips an entire module fails the
existing pytest / vitest run-command assertion outright (assertion exit
code != 0 → run fails → judge cannot give 5/5).

Python (fixtures/python-flask-tasks/pyproject.toml):

- Added `pytest-cov>=5.0,<7.0` to the [test] extra so coverage is
  pre-installed (the agent no longer has to add it manually).
- Set `addopts = "-q --cov=tasks_api --cov-branch --cov-report=xml
  --cov-report=term-missing --cov-fail-under=80"`. pytest now exits
  non-zero when total line + branch coverage on tasks_api is below 80%,
  which makes the existing `python -m pytest` assertion fail.

TypeScript (fixtures/typescript-vitest-cart/vitest.config.ts):

- Added a `coverage` block that pre-configures provider: 'v8',
  reporter: ['lcov', 'text'], include: ['src/**/*.ts'], and thresholds
  of lines / statements / functions ≥ 80, branches ≥ 70. The agent no
  longer has to wire up the coverage provider. `npx vitest run
  --coverage` exits non-zero when any threshold is unmet.

Prompts (eval.yaml + eval.vally.yaml):

- Trimmed the prompts to drop the "configure coverage if not already
  there" guidance — coverage tooling is now pre-installed and the floor
  is fixed. The prompt now explicitly tells the agent the threshold is
  enforced and that incidental coverage will not clear the bar, so the
  agent's planning workflow has a concrete cross-module target to plan
  against.

READMEs: documented the new behavior so the agent reading the README
sees the coverage floor up front.

Verified locally: with an empty tests/ directory, pytest exits 1 with
"FAIL Required test coverage of 80% not reached" and `vitest run
--coverage` exits 1 with "Coverage for lines (0%) does not meet global
threshold (80%)". The existing run-command assertions therefore fail for
incomplete suites without needing any new assertion / grader.

* Address PR #709 review: snapshot deep-copy, due_at sort, tests/ wording

- cart.ts: snapshot() now deep-copies the Product on each line in addition

  to the CartLine, so callers mutating the returned snapshot can no longer

  reach back into the cart's internal state via line.product. (Copilot 3344261946)

- queries.py: _sort_key for 'due_at' returns a (is_none, isoformat) tuple

  so we never compare across the None / not-None boundary, and never

  trigger 'cannot compare naive and aware datetimes' TypeErrors when

  a stray naive datetime sneaks through. (Copilot 3347273389)

- README + eval.yaml + eval.vally.yaml: reword the 'tests/ directory is

  intentionally empty' phrasing to 'no test files yet — only a .gitkeep

  marker' so the docs are strictly accurate about what's on disk.

  (Copilot 3344580026 / 3344580055 / 3344580067 / 3344580085 / 3344580104

  / 3344580136 / 3344580156)

---------

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-06-05 12:38:35 +00:00
Amaury Levé 04348a46ef tests/dotnet-test/code-testing-agent: fix coverage XML lookup path (#657)
The grader expected coverage.cobertura.xml under a workspace-root TestResults/ directory, but `dotnet test --collect:"XPlat Code Coverage"` writes the report under <TestProject>/TestResults/<guid>/coverage.cobertura.xml. With the previous path, `find TestResults …` failed with no-such-directory before even searching, and the glob `TestResults/**/coverage.cobertura.xml` could not match the nested location either, so the assertion failed on otherwise-successful runs.

Search recursively from cwd in both eval.vally.yaml (`find . …`) and eval.yaml (`**/TestResults/**/coverage.cobertura.xml`) so the assertion matches the actual output location of XPlat Code Coverage regardless of the test project layout the agent chose.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
2026-05-18 09:26:26 +00:00
Amaury Levé 3d59e44c7e Fix coverage-analysis activation for plateau diagnosis prompts (#647)
* Fix coverage-analysis activation for plateau diagnosis prompts

coverage-analysis SKILL.md:
- Trim verbose implementation details (provider detection,
  ReportGenerator) that consumed description budget without
  aiding skill activation
- Add explicit USE FOR keywords: coverage stuck, coverage plateau,
  can't increase coverage, what's blocking coverage

code-testing-agent SKILL.md:
- Add 'diagnosing coverage plateaus or CRAP score computation
  (use coverage-analysis)' to DO NOT USE FOR boundary to prevent
  test-generation skill from intercepting diagnostic prompts

* Potential fix for pull request finding

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

* Strengthen code-testing-agent activation; harden coverage-analysis isolated mode

Address eval regressions reported on PR #647 (run 25813728646):

1. code-testing-agent: `Generate tests for ContosoUniversity ASP.NET Core MVC app`
   was NOT ACTIVATED in plugin mode (detectedSkills=[], skillEventCount=0,
   invokedAgents=[]). The model bypassed the skill system entirely.

   - SKILL.md description: restructure to use the proven `Use when user says ...`
     pattern with quoted trigger phrases (matching the run-tests skill that
     consistently activates), make the link to the code-testing-generator
     sub-agent explicit, and tighten DO NOT USE FOR clauses.
   - eval prompt (eval.yaml + eval.vally.yaml): make the request
     pipeline-shaped (`project-wide, multi-file test generation task`,
     `scaffold a new test project`) so the model recognizes it as multi-step
     work that benefits from the orchestrated pipeline. Explicitly request
     coverlet.collector + a Cobertura XML run so rubric criterion 1
     (`high line coverage as reported by the Cobertura XML in TestResults/`)
     becomes achievable without overfitting.

2. code-testing-tester agent + code-testing-extensions/dotnet.md: open a
   scoped exception to the `skip coverage tools` rule. Default behavior
   stays the same, but when the user/harness explicitly asks for a
   Cobertura/XML coverage artifact, the agent may add coverlet.collector
   to the generated test csproj so the harness's coverage command produces
   output. The agent still does not run the coverage command itself.

3. coverage-analysis SKILL.md: add a `User-visible output is mandatory`
   guard at the top of the Workflow section. The latest eval showed isolated
   mode producing literally `(no output)` in 2 of 3 scenarios — the agent
   ran Compute-CrapScores.ps1 / Extract-MethodCoverage.ps1 / ReportGenerator
   in parallel, then the session ended without ever surfacing findings.
   The guard tells the agent to always return a partial summary instead of
   ending silent, and to deprioritize ReportGenerator HTML when budget is
   tight. (Plugin-mode quality is already strong: 4.3 / 4.3 / 5.0 — no
   regression risk there.)

Aggregate dotnet-test plugin description size: 14,925 chars (limit 15,000).
skill-validator check passes (22 skills, 11 agents, 1 plugin); markdownlint
passes for all 4 modified files.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Restore MSTest modernization exclusion in code-testing-agent description

* Fix isolated-mode coverage-analysis: emit summary before optional ReportGenerator

The previous workflow encouraged the agent to run `dotnet tool install` for
ReportGenerator in parallel with the CRAP scoring scripts (Phase 2 "Steps
3 and 4 in parallel" + Phase 3 "Steps 5 and 6 in parallel"). In isolated
mode that pattern reliably crashed the session with "Failed to persist
session events: timeout while waiting for mutex to become available"
right after the scripts returned valid data, so the agent never produced
the user-facing summary.

Restructure the workflow into 5 phases:

- Phase 1 (Setup) - unchanged
- Phase 2 (Test execution) - skip when Cobertura XML already exists
- Phase 3 (Analysis) - run only the two PowerShell scripts, no RG
- Phase 4 (User-facing summary) - MANDATORY, must be the next assistant
  response after Phase 3, before any RG work; also save
  coverage-analysis.md as a secondary follow-up
- Phase 5 (ReportGenerator HTML/CSV) - strictly optional, post-summary,
  skipped by default for existing-Cobertura and plateau-diagnosis paths

Also update references/output-format.md so the Reports section marks RG
artifacts as "Not generated (optional - request HTML reports to enable)"
when Phase 5 has not run, and update references/guidelines.md so the
"show and open the markdown report" rule explicitly defers to the
user-facing assistant response.

Targets the isolated-mode regressions in PR #647 eval:
- Project-wide coverage with existing Cobertura: 1.0/5 -> expected 3+
- Coverage plateau diagnosis: 1.0/5 -> expected 3+
- Run coverage from scratch: 2.3/5 -> expected steady or up

Verified: skill-validator check --plugin ./plugins/dotnet-test passes;
markdownlint-cli2 clean on all 3 modified files.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Address PR #647 review comments

1. Prerequisites: distinguish the from-scratch path (needs NuGet for the
   coverage-provider package install + optional internet for ReportGenerator)
   from the existing-Cobertura path (needs neither).

2. Add Step 2c "Discover or accept existing Cobertura XML" so the
   existing-data path actually has $coberturaFiles populated before
   Phase 3, instead of relying on Phase 2's discovery (which it
   skips). Also clarify Step 2's destructive Remove-Item only manages
   the skill-owned coverage-analysis/ subdirectory.

3. references/output-format.md: replace the unconditional
   "Reports saved to: <coverageDir>/reports/" line with one that
   always points at <coverageDir>/ (markdown summary + raw Cobertura)
   and only mentions reports/ if Phase 5 ran.

4. Have Compute-CrapScores.ps1 emit OVERALL_LINE_COVERAGE and
   OVERALL_BRANCH_COVERAGE from the Cobertura root attributes, and
   update Phase 4 to read those values directly from the script's
   output. The Phase 4 mandatory-summary rule no longer requires a
   separate XML parse before composing the response.

Verified: skill-validator check --plugin ./plugins/dotnet-test passes;
markdownlint-cli2 clean on all modified files; Compute-CrapScores.ps1
smoke-tested on a synthetic Cobertura XML (emits OVERALL_LINE_COVERAGE:75,
OVERALL_BRANCH_COVERAGE:50 alongside HOTSPOTS).

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Apply suggestion from @Evangelink

* Address unresolved coverage-analysis and eval review comments

* Refine follow-up review feedback from validation

* Tighten coverage aggregation fallback notes and counters

* Clarify pre-response save instruction wording

---------

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
2026-05-14 17:41:31 +00:00
Amaury Levé 0f31228b58 Fix eval timeouts and skill activation for dotnet-test evals (#641)
* Fix evaluation timeouts and improve prompts for dotnet-test skills

- writing-mstest-tests: increase global vally timeout from 3m to 5m to match
  the 300s eval.yaml timeout for the complex 'Modernize legacy test patterns' stimulus
- code-testing-agent: increase timeout from 40m/2400s to 60m/3600s
- mtp-hot-reload: increase timeout from 6m to 10m and remove overly strict
  expect_tools constraint on launchSettings stimulus
- migrate-mstest-v1v2-to-v3: rephrase prompt for assertion overload errors to
  mention CS1501 and cover AreNotEqual/AreSame alongside AreEqual

* Increase eval timeouts for mtp-hot-reload and migrate-mstest-v1v2-to-v3 scenarios

* Strengthen activation prompts and add missing vally scenarios

- migrate-mstest-v1v2-to-v3: Add explicit 'MSTest v2 to v3' migration
  language in .testsettings and DataRow prompts (both eval.yaml and
  eval.vally.yaml)
- writing-mstest-tests: Add 'MSTest' keyword and skill-specific
  terminology to all prompts that lacked activation signal
- writing-mstest-tests: Add 5 missing vally scenarios (string
  assertions, comparison assertions, collection/null/reference
  assertions, conditional execution, parallelization)
- Add service-registry fixture files for the collection assertions
  scenario

* Improve skill activation via SKILL.md descriptions and prompt alignment

Three-pronged fix for systematic NOT ACTIVATED failures:

1. SKILL.md descriptions: Restructure writing-mstest-tests, migrate-
   mstest-v1v2-to-v3, and code-testing-agent descriptions to use the
   proven 'Use when user says' pattern with quoted trigger phrases
   (matching the working run-tests pattern)

2. Vally prompts: Each prompt now contains at least one exact quoted
   trigger phrase from its SKILL.md description to ensure strong
   description-to-prompt matching

3. Specific fixes:
   - writing-mstest-tests: All 15 prompts now include MSTest-specific
     trigger phrases (Assert.ThrowsExactly, sealed test class, DataRow,
     DynamicData, Assert.HasCount, Assert.IsInstanceOfType, etc.)
   - migrate-mstest-v1v2-to-v3: Add '.NET 5 dropped' and 'framework
     compatibility issues' to trigger phrases; strengthen dropped-TFM
     prompt
   - code-testing-agent: Add 'generate comprehensive unit tests' and
     'achieve high code coverage' to trigger phrases

* Revert SKILL.md description changes that caused activation regression

The description restructuring in 67056d8ec broke skill activation:
- migrate-mstest-v1v2-to-v3: went from 6/9 activating to 0/9
- writing-mstest-tests: lost isolated activation
- code-testing-agent: unnecessary change to working description

Restore all three SKILL.md files to their pre-regression state.
Keep the vally prompt improvements from 259727e.

* Fix writing-mstest-tests plugin-mode activation

- Add MSTest carve-out to code-testing-agent DO NOT USE FOR to prevent
  it from intercepting MSTest-specific prompts
- Add test parallelization/MSTest.Sdk keywords to writing-mstest-tests
  description (scenario 15 failed even in isolated mode)
- Strengthen prompts to be more MSTest-specific:
  - Scenario 1: emphasize MSTest patterns over generic 'write tests'
  - Scenario 4: remove vague 'something seems off', directly ask to
    fix swapped Assert.AreEqual arguments
  - Scenario 5: reframe as modernization request with specific APIs
  - Scenario 13: name specific MSTest assertion APIs in the prompt

* Fix writing-mstest-tests description over 1024 char limit

Shorten the USE FOR section by removing redundant 'help me write
comprehensive tests' and condensing the assertion API list.
Description is now 944 chars (limit: 1024).

* Increase vally job timeout from 60m to 180m

The code-testing-agent eval has a 60m per-stimulus timeout, and vally
runs multiple configurations (baseline, isolated, plugin). The 60m
job-level timeout was causing the job to be cancelled mid-evaluation.

Match the 180m timeout from the evaluate job in evaluation.yml.

* Address PR review comments

- Add IsPackable=false to writing-mstest-tests fixture csproj for
  consistency with other dotnet-test fixture projects
- Fix grammar in migrate-mstest-v1v2-to-v3 eval prompts: add comma
  after 'upgrade' and add 'file' for clarity (both eval.yaml and
  eval.vally.yaml)

* Trim dotnet-test aggregate description size under 15,000 limit

Consolidate duplicate filter keyword mentions in migrate-vstest-to-mtp
and shorten the cross-reference in migrate-xunit-to-xunit-v3 while
keeping the --filter-class/--filter-trait/--filter-query trigger
keywords for skill activation.

* Fix vally skill activation for 9 failing eval scenarios

Improve eval.vally.yaml prompts that were too specific, causing the model
to answer from general knowledge without activating the skill:

- migrate-mstest-v1v2-to-v3: Remove leading question that gives away the
  answer ('Is .NET 5 dropped?'); use multi-target fixture matching eval.yaml
- writing-mstest-tests (7 scenarios): Add 'following MSTest best practices'
  to trigger skill reading; make prompts more open-ended (don't name exact
  APIs like OSCondition, Assert.AreSame); match eval.yaml prompt style
- code-testing-agent: Clarify app complexity to encourage skill pipeline

The pattern: vally prompts that give away exact API names or answers let
the model skip reading the skill. More open-ended prompts referencing
'best practices' trigger skill activation.

* Improve skills and eval prompts for regression scenarios

migrate-xunit-to-xunit-v3 SKILL.md:
- Restructure from 16 steps to 13, merging redundant steps
- Move test platform selection from step 12 to step 4
- Mark steps 6-12 as conditional with prioritization note
- Remove external URL references that caused web_fetch detours

writing-mstest-tests SKILL.md:
- Add Response Guidelines for proportional responses
- Remove redundant Validation checklist and Common Pitfalls table
  (all items already covered in workflow steps)
- Reduces token count from 3,305 to 2,944

migrate-mstest-v1v2-to-v3 eval.vally.yaml:
- Relax DataRow rubric to account for MSTest 3.8.0 fixing the
  16-parameter constructor limit

writing-mstest-tests eval.vally.yaml:
- Make 3 prompts more open-ended by removing API name hints
  (Assert.HasCount, Assert.StartsWith, DynamicData to ValueTuples)
  so baseline model cannot answer confidently without the skill
2026-05-13 17:49:55 +02:00
Aditya Mandaleeka 9433a31e67 Initial port of evals to Vally (#615) 2026-05-06 10:11:45 -07:00
Amaury Levé 17df9a10eb Fix code-testing-agent eval timeout by removing unused NuGet packages (#551)
The ContosoUniversity test fixture had 17 unused NuGet packages (bootstrap,
jQuery, Modernizr, Antlr4, WebGrease, Microsoft.Build.Tasks.Core, etc.)
that bloated NuGet restore and build time. The multi-agent test generation
pipeline performs multiple build/test cycles, causing cumulative delays
that exceeded the 2400s scenario timeout on CI.

Changes:
- Remove 17 unused PackageReference entries from ContosoUniversity.csproj
- Remove stale ItemGroup entries (Global.asax, Scripts, compile removes)
- Remove NU1701 warning suppression (no longer needed)
- Increase command_timeout from 180s to 300s for dotnet test assertion
  (accounts for first-time restore + build + test + coverage collection)
2026-04-20 12:53:45 +00:00
Amaury Levé 400661df09 run-tests: add critical rules, detection guidance, and troubleshooting (#514)
* run-tests: add critical rules, detection guidance, and troubleshooting

- Add 'Critical Rules' table to prevent cross-platform VSTest/MTP mistakes
- Expand Step 1 detection with explicit file-by-file lookup table
- Add 'dotnet --version' as first detection action
- Add Troubleshooting section with 7 common error patterns
- Expand Common Pitfalls from 3 to 7 entries
- Strengthen negative guidance for SDK version-specific syntax

* Improve description

* Improve evaluation

* Add expected and rejected tools

* Change

* Improve do not use sections

* Improve prompt

* Increase eval timeouts for scenarios hitting the limit

- run-tests: trx reporting MTP SDK 9 (360s -> 480s)
- run-tests: blame-hang MTP SDK 10 (300s -> 420s)
- run-tests: combine filter criteria VSTest (180s -> 300s)
- mtp-hot-reload: hot reload SDK 9 (360s -> 480s)
- mtp-hot-reload: hot reload filter (180s -> 300s)
- code-testing-agent: ContosoUniversity (1800s -> 2400s)
2026-04-20 10:09:15 +02:00
Jan Krivanek e4670b33a1 [PoC] Code testing agent + tests PoC (#433)
* Add code testing agent agents + tests PoC

* Remove AssertionEvaluator.cs change (moved to dev/jankrivanek/agents-evals)
2026-03-30 17:57:08 +02:00