Keep AGENTS.md as the only instruction file

.agents/skills/dotcov-ci-workflows/SKILL.md

@@ -38,7 +38,7 @@ description: >-
    - Native RID packages and the portable fallback must exist before the
      `DotCov.Tool` pointer is pushed. Keep pointer publication last.
    - Coverage uses the shared project settings described in the
-     [test guide](../../../tests/CLAUDE.md). Consume reports from the intended
+     [test guide](../../../tests/AGENTS.md). Consume reports from the intended
      run only; missing measurements cannot produce a passing badge or gate.
    - The coverage gate (`fallout Coverage --reports TestResults`) rejects
      missing src projects and coverage below the thresholds in `build/Build.cs`.

AGENTS.md

@@ -7,7 +7,7 @@ Coverage stays at 100% of lines and branches: `fallout Coverage` and CI fail bel
 list the files that fell short. Close each gap with a test that drives a public entry point,
 or delete the code if no input can reach it; never exclude code from measurement.
 For test isolation, measurement or runner diagnostics, read the
-[test guide](tests/CLAUDE.md).
+[test guide](tests/AGENTS.md).
 
 ## Skills
 

agents/coverage-hunter/agent.md

@@ -37,7 +37,7 @@ If you can delegate to copies of yourself, you are the lead:
 3. When all four have reported, apply their patches in /workspace/dotcov, resolve conflicts, and rerun the Coverage command until it passes. Then deliver.
 
 If you were handed a slice, you are a hunter:
-- Work only in your worktree and only on your slice's code and its tests. Read AGENTS.md, tests/CLAUDE.md and src/DotCov.Fallout/AGENTS.md first and follow their TUnit rules.
+- Work only in your worktree and only on your slice's code and its tests. Read AGENTS.md, tests/AGENTS.md and src/DotCov.Fallout/AGENTS.md first and follow their TUnit rules.
 - Hunt the hardest bugs first: wrong results without an error, boundary and empty input, culture and encoding, number parsing and rounding, stream ownership and disposal, path handling, and any promise a name, doc comment or caller makes that the code breaks. Prove each bug with a test that fails on the current code, then make the smallest fix that makes it pass.
 - Then close every coverage gap in your slice with tests that drive public entry points and assert results. Delete code no input can reach unless it is public API; test public API instead.
 - While you work, run only the tests you touch (`dotnet test --project tests/DotCov.Tests --treenode-filter ...`). Before reporting, run the full `dotnet fallout Coverage` once in your worktree and confirm every test passes.

build/Build.cs

@@ -71,7 +71,7 @@ class Build : FalloutBuild
                 args.AddRange(["--badge-dir", Path.GetFullPath(BadgeDirectory, RootDirectory)]);
             await RunDotCov([.. args],
                 failure: "Coverage must stay at 100% of lines and branches. For each file dotcov lists above, add a test that " +
-                         "drives the uncovered line or branch through a public entry point (tests/CLAUDE.md), or delete the " +
+                         "drives the uncovered line or branch through a public entry point (tests/AGENTS.md), or delete the " +
                          "code if no input can reach it. Never exclude code from measurement.");
         });