testguard-cli 0.9.1 → 0.9.2

package/CHANGELOG.md

@@ -7,6 +7,25 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.9.2] - 2026-09-19
+
+Automated weekly release — everything merged since `v0.9.1`.
+
+### Changed
+
+- feat(claims): preflight fault anchors (#126)
+- chore(homebrew): sha256 for v0.9.1 (#125)
+
+
+### Added
+
+- `claims --check-anchors` locates every exact fault anchor and syntax-checks
+  supported in-memory JavaScript and Python replacements without starting a
+  runner or touching the tree. CI runs the sub-second preflight before the
+  self-probe, while `status` reports rotted anchors as `invalid-anchors` with
+  the precise fault to repair. Repairs remain a reviewed judgement call:
+  there is deliberately no fuzzy match or `--fix`.
+
 ## [0.9.1] - 2026-09-19
 
 Automated weekly release — everything merged since `v0.9.0`.

package/README.md

@@ -127,9 +127,9 @@ raises coverage. TestGuard admits it because it fails when the claim is false.
 | npm | `npm i -D testguard-cli` then `npx testguard probe` |
 | pip | `pip install testguard-cli` then `testguard probe` (needs Node ≥ 20) |
 | Homebrew | `brew tap raccioly/tap && brew install testguard` |
-| GitHub Action | `uses: raccioly/testguard@v0.9.1` — see [`action.yml`](./action.yml) |
+| GitHub Action | `uses: raccioly/testguard@v0.9.2` — see [`action.yml`](./action.yml) |
 | pre-commit | `repo: https://github.com/raccioly/testguard`, hooks `testguard-claims`, `testguard-probe` |
-| GitLab CI | `include: - remote: https://raw.githubusercontent.com/raccioly/testguard/v0.9.1/packaging/gitlab/testguard.gitlab-ci.yml` with `inputs:` — see [`packaging/gitlab/`](./packaging/gitlab/testguard.gitlab-ci.yml) |
+| GitLab CI | `include: - remote: https://raw.githubusercontent.com/raccioly/testguard/v0.9.2/packaging/gitlab/testguard.gitlab-ci.yml` with `inputs:` — see [`packaging/gitlab/`](./packaging/gitlab/testguard.gitlab-ci.yml) |
 
 Projects that set `min-release-age` in `.npmrc` cannot see a version published
 less than that many days ago (`ENOVERSIONS`); install that one with
@@ -141,6 +141,7 @@ less than that many days ago (`ENOVERSIONS`); install that one with
 npx testguard-cli init                      # install the agent layer at the git root
 npx testguard-cli status --json             # where the project is, and the ONE next action
 npx testguard-cli claims                    # what does this project claim, and is each claim probeable?
+npx testguard-cli claims --check-anchors    # fail fast if an exact anchor moved or a replacement no longer parses
 npx testguard-cli scaffold src/auth.ts      # propose faults for a file, as a draft to keep or drop
 npx testguard-cli probe                     # try to falsify each claim; report what the tests missed
 npx testguard-cli admit test/auth.test.ts --claim AUTH-ADMIN   # does this test satisfy the two-gate rule?
@@ -151,8 +152,9 @@ npx testguard-cli replay --since v1.0..HEAD # would this suite have caught the b
 npx testguard-cli mcp                       # serve the read-only loop over MCP, on stdio
 ```
 
-Exit codes are the contract: `0` nothing new to prove, `1` unproven claims or
-unclaimed changes, `2` a precondition failed and nothing was probed, `3` usage.
+Exit codes are the contract: `0` nothing new to prove, `1` unproven claims,
+unclaimed changes or invalid fault anchors, `2` a precondition failed and
+nothing was probed, `3` usage.
 Every command accepts `--json`.
 
 ## How it works
@@ -177,6 +179,10 @@ npx testguard-cli admit test/x.test.ts --claim X   # is this test green on HEAD
    claim and every fault records who produced it. `testguard claims`
    validates the file and reports drift against `@claim <ID>` annotations in
    source. Test files are deliberately not scanned — a claim asserted by a test is the authorship trap the tool exists for — and annotation ids must contain a hyphen so prose is never mistaken for one.
+   `claims --check-anchors` additionally locates every exact anchor and parses
+   each in-memory JavaScript or Python replacement. It runs no tests, creates
+   no worktree and changes no file, so a moved anchor is reported before an
+   expensive probe. It reports and stops; it never guesses a new anchor.
 2. **Probe** confirms the defenders are green N times unmodified, applies
    each fault in a scratch git worktree (your tree is never touched), runs
    the defenders N times, re-runs survivors against the whole suite with
@@ -445,6 +451,10 @@ is reported as `EXPIRED`.
 With a reference known, `status --changed <ref>` reports `unclaimed-changes`
 **before** any evidence state and makes the claim the next action; the brief
 lists the unclaimed files first. The claim is written before more code.
+After claim coverage, `status` reports `invalid-anchors` before any evidence
+state when an exact fault anchor is missing or ambiguous, and points at the
+fault definition to repair. Repair preserves the fault's meaning and requires
+a re-probe; there is deliberately no `--fix`.
 
 **In CI the base is detected** — GitHub Actions (`GITHUB_BASE_REF`) and GitLab
 merge request pipelines (`CI_MERGE_REQUEST_DIFF_BASE_SHA`, then
@@ -459,12 +469,12 @@ detected base that does not resolve is a warning for `status` and `brief`
 # GitHub Actions
 - uses: actions/checkout@v4
   with: { fetch-depth: 0 }
-- uses: raccioly/testguard@v0.9.1
+- uses: raccioly/testguard@v0.9.2
   with: { command: gate }
 
 # GitLab CI — the component-shaped template: gate + probe, brief as an artifact and, opted in, as a merge-request note
 include:
-  - remote: 'https://raw.githubusercontent.com/raccioly/testguard/v0.9.1/packaging/gitlab/testguard.gitlab-ci.yml'
+  - remote: 'https://raw.githubusercontent.com/raccioly/testguard/v0.9.2/packaging/gitlab/testguard.gitlab-ci.yml'
     inputs: { dir: backend, post_note: true }   # post_note needs TESTGUARD_GITLAB_TOKEN (api scope); one note, updated in place
 ```
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "testguard-cli",
-  "version": "0.9.1",
+  "version": "0.9.2",
   "description": "Breaks your code on purpose and reports every promise your tests did not notice breaking. Mutation testing bound to the claims a project makes — vitest, jest, Playwright, pytest and unittest.",
   "type": "module",
   "license": "MIT",

package/spec/GATE-SEMANTICS.md

@@ -395,6 +395,26 @@ changed); `1` at least one uncovered file (or strict mode over an
 all-excluded change); `2` the change cannot be evaluated (unresolvable
 reference, invalid claims or ignore file, no repository); `3` no reference.
 
+## Anchor preflight
+
+`claims --check-anchors` answers what is knowable before a runner starts. For
+every fault-injection fault it reads the target, applies the same exact
+`locate()` arithmetic as a probe, and reports `ok`, `anchor-missing` or
+`anchor-ambiguous` with the observed and expected hit counts. When a language
+has a cheap parser, it also parses the in-memory replacement (`node --check`
+semantics for JavaScript modules, `compile()` for Python). Unsupported
+languages are anchor-checked and otherwise skipped without inference.
+
+One non-`ok` anchor or non-parsing supported replacement exits `1`. The check
+runs no tests, creates no worktree, reads no git state and writes no source.
+It is not evidence that a defender detects the fault; the self-probe still
+runs after it. There is no automatic repair or fuzzy relocation: choosing a
+new anchor is a semantic edit to the claim and must be reviewed and re-probed.
+
+`invalid-anchors` precedes every evidence state in the status document (after
+`unclaimed-changes`, when a change reference is known). Its next action is
+`repair-fault`, naming the first fault and `testguard claims --check-anchors`.
+
 ## Severity floor
 
 `--severity <level>` gates only findings whose claim severity is at or above

package/spec/lib/validate.mjs

@@ -233,12 +233,15 @@ const semantic = {
 
   status(doc) {
     const errors = [];
-    if (['write-test', 'review-fault-change'].includes(doc.next.action) && !doc.next.target) errors.push({ path: '/next/target', message: `${doc.next.action} requires a target` });
+    if (['write-test', 'review-fault-change', 'repair-fault'].includes(doc.next.action) && !doc.next.target) errors.push({ path: '/next/target', message: `${doc.next.action} requires a target` });
     if (doc.next.action === 'claim' && !doc.next.file) errors.push({ path: '/next/file', message: 'claim requires the file the claim is about' });
     if (doc.state === 'no-claims' && doc.counts.claims !== 0) errors.push({ path: '/counts/claims', message: 'no-claims with a non-zero claim count' });
     if (doc.state === 'clean' && (doc.counts.new ?? 0) > 0) errors.push({ path: '/state', message: 'clean with new findings' });
     if (doc.state === 'unclaimed-changes' && !(doc.changes && doc.changes.uncovered.length > 0)) errors.push({ path: '/changes/uncovered', message: 'unclaimed-changes requires at least one uncovered changed file' });
     if (doc.state === 'unclaimed-changes' && doc.next.action !== 'claim') errors.push({ path: '/next/action', message: 'unclaimed-changes requires next.action = claim' });
+    if (doc.state === 'invalid-anchors' && !(doc.invalidFaults?.length > 0)) errors.push({ path: '/invalidFaults', message: 'invalid-anchors requires at least one invalid fault' });
+    if (doc.state === 'invalid-anchors' && doc.next.action !== 'repair-fault') errors.push({ path: '/next/action', message: 'invalid-anchors requires next.action = repair-fault' });
+    if (doc.invalidFaults?.length > 0 && doc.state !== 'invalid-anchors') errors.push({ path: '/state', message: 'invalid fault anchors are hidden behind a later state; invalid-anchors precedes every evidence state' });
     if (doc.evidenceSource && !doc.evidenceHead) errors.push({ path: '/evidenceHead', message: 'evidence was read, so the commit it describes must be recorded' });
     if (doc.changes && doc.changes.uncovered.length > 0 && !['no-claims', 'unclaimed-changes'].includes(doc.state)) errors.push({ path: '/state', message: 'uncovered changed files are hidden behind a later state; unclaimed-changes precedes every evidence state' });
     return errors;

package/spec/schemas/brief.schema.json

@@ -39,7 +39,7 @@
       "type": "object",
       "required": ["action", "command", "why"],
       "properties": {
-        "action": { "enum": ["scaffold", "claim", "probe", "write-test", "baseline", "review-fault-change", "none"] },
+        "action": { "enum": ["scaffold", "claim", "probe", "write-test", "baseline", "repair-fault", "review-fault-change", "none"] },
         "command": { "type": "string", "minLength": 1, "maxLength": 1024 },
         "why": { "type": "string", "minLength": 1, "maxLength": 2000 }
       },

package/spec/schemas/status.schema.json

@@ -26,10 +26,11 @@
       "$ref": "urn:claimspec:v1:common#/$defs/isoDateTime"
     },
     "state": {
-      "description": "no-claims: no claims file. unclaimed-changes: the change measured against a reference touches source files that carry no claim and no excusing ignore entry (only computed when a reference is known; it precedes every evidence state because the claim is written before more code). unprobed: claims but no confirmed evidence. evidence-stale: evidence exists but a claim, fault, target or defender changed since. provisional-only: only sub-N evidence exists. unproven: current evidence has findings not covered by the baseline. clean: every finding is killed or baselined.",
+      "description": "no-claims: no claims file. unclaimed-changes: the change measured against a reference touches source files that carry no claim and no excusing ignore entry (only computed when a reference is known; it precedes every evidence state because the claim is written before more code). invalid-anchors: one or more exact fault anchors are missing or ambiguous, so probing would be unable to apply them. unprobed: claims but no confirmed evidence. evidence-stale: evidence exists but a claim, fault, target or defender changed since. provisional-only: only sub-N evidence exists. unproven: current evidence has findings not covered by the baseline. clean: every finding is killed or baselined.",
       "enum": [
         "no-claims",
         "unclaimed-changes",
+        "invalid-anchors",
         "unprobed",
         "evidence-stale",
         "provisional-only",
@@ -54,6 +55,7 @@
             "write-test",
             "baseline",
             "review-fault-change",
+            "repair-fault",
             "none"
           ]
         },
@@ -188,6 +190,23 @@
         "additionalProperties": false
       }
     },
+    "invalidFaults": {
+      "description": "Faults whose exact text anchor does not locate in the current target. These precede every evidence state: a probe cannot learn anything from a fault it cannot apply.",
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["claimId", "subjectId", "file", "reason", "hits", "expected"],
+        "properties": {
+          "claimId": { "$ref": "urn:claimspec:v1:common#/$defs/identifier" },
+          "subjectId": { "$ref": "urn:claimspec:v1:common#/$defs/identifier" },
+          "file": { "$ref": "urn:claimspec:v1:common#/$defs/repoPath" },
+          "reason": { "enum": ["anchor-missing", "anchor-ambiguous"] },
+          "hits": { "type": "integer", "minimum": 0 },
+          "expected": { "type": "integer", "minimum": 1 }
+        },
+        "additionalProperties": false
+      }
+    },
     "findings": {
       "description": "Unproven findings from the current evidence, ranked, new first, capped.",
       "type": "array",

package/src/claims/anchors.mjs

@@ -0,0 +1,218 @@
+import { existsSync, readFileSync } from 'node:fs';
+import { spawn } from 'node:child_process';
+import { dirname, extname, join, resolve } from 'node:path';
+import { performance } from 'node:perf_hooks';
+import { locate, mutate } from '../probe/inject.mjs';
+import { resolveInterpreter } from '../probe/runners/python.mjs';
+
+const JS_EXTENSIONS = new Set(['.js', '.mjs', '.cjs']);
+
+const NODE_SYNTAX_CHECK = `
+const vm = require('node:vm');
+let input = '';
+process.stdin.setEncoding('utf8');
+process.stdin.on('data', (chunk) => { input += chunk; });
+process.stdin.on('end', () => {
+  const results = JSON.parse(input).map(({ file, source, type }) => {
+    try {
+      if (type === 'module') new vm.SourceTextModule(source, { identifier: file });
+      else new vm.Script(source, { filename: file });
+      return { status: 'ok' };
+    } catch (error) {
+      return { status: 'invalid', message: error.name + ': ' + error.message };
+    }
+  });
+  process.stdout.write(JSON.stringify(results));
+});
+`;
+
+const PYTHON_SYNTAX_CHECK = `
+import json, sys
+results = []
+for item in json.load(sys.stdin):
+    try:
+        compile(item["source"], item["file"], "exec")
+        results.append({"status": "ok"})
+    except (SyntaxError, IndentationError, TabError) as error:
+        results.append({"status": "invalid", "message": type(error).__name__ + ": " + str(error)})
+json.dump(results, sys.stdout)
+`;
+
+const isInjection = (fault) => (fault.method ?? 'fault-injection') === 'fault-injection';
+const keyOf = (claimId, faultId) => `${claimId}\0${faultId}`;
+
+/** Read each target once and locate every injection fault without touching disk. */
+function inspectLocations(projectDir, claims) {
+  const sources = new Map();
+  const work = [];
+  for (const claim of claims.claims) {
+    for (const fault of claim.faults) {
+      if (!isInjection(fault)) {
+        work.push({ claim, fault, result: { claimId: claim.id, faultId: fault.id, file: fault.file, status: 'ok', check: 'not-applicable' } });
+        continue;
+      }
+      const path = resolve(projectDir, fault.file);
+      let source;
+      if (sources.has(path)) source = sources.get(path);
+      else {
+        source = existsSync(path) ? readFileSync(path, 'utf8') : undefined;
+        sources.set(path, source);
+      }
+      const anchor = source === undefined
+        ? { status: 'anchor-missing', hits: 0, expected: fault.expectHits ?? 1 }
+        : locate(source, fault);
+      work.push({
+        claim,
+        fault,
+        source,
+        result: { claimId: claim.id, faultId: fault.id, file: fault.file, status: anchor.status, hits: anchor.hits, expected: anchor.expected },
+      });
+    }
+  }
+  return work;
+}
+
+const summarize = (results, durationMs) => ({
+  checked: results.length,
+  ok: results.filter((r) => r.status === 'ok').length,
+  invalid: results.filter((r) => r.status !== 'ok').length,
+  durationMs: Math.round(durationMs),
+  results,
+});
+
+/** Exact anchor checks only. Synchronous so status and MCP stay synchronous. */
+export function checkAnchorLocations(projectDir, claims) {
+  const started = performance.now();
+  return summarize(inspectLocations(projectDir, claims).map((x) => x.result), performance.now() - started);
+}
+
+function firstError(stderr) {
+  const lines = stderr.split('\n').map((line) => line.trim()).filter(Boolean);
+  return lines.find((line) => /(?:Syntax|Indentation|Tab)Error:/.test(line))
+    ?? lines.find((line) => /error/i.test(line))
+    ?? lines.at(-1)
+    ?? 'replacement does not compile';
+}
+
+function runBatchCheck(command, args, items, timeoutMs = 5_000) {
+  if (!items.length) return Promise.resolve([]);
+  return new Promise((resolveRun, reject) => {
+    let child;
+    try {
+      child = spawn(command, args, { stdio: ['pipe', 'pipe', 'pipe'], env: { ...process.env, CI: '1' } });
+    } catch (error) {
+      reject(error);
+      return;
+    }
+    let stdout = '';
+    let stderr = '';
+    let timedOut = false;
+    child.stdout.on('data', (chunk) => {
+      if (stdout.length < 16_777_216) stdout += chunk;
+    });
+    child.stderr.on('data', (chunk) => {
+      if (stderr.length < 16_384) stderr += chunk;
+    });
+    child.on('error', reject);
+    child.stdin.on('error', () => {});
+    child.stdin.end(JSON.stringify(items));
+    const timer = setTimeout(() => {
+      timedOut = true;
+      child.kill('SIGKILL');
+    }, timeoutMs);
+    child.on('close', (code) => {
+      clearTimeout(timer);
+      if (timedOut) reject(new Error(`${command} syntax check timed out after ${timeoutMs}ms`));
+      else if (code !== 0) reject(new Error(`${command} syntax check failed: ${firstError(stderr)}`));
+      else {
+        try {
+          const results = JSON.parse(stdout);
+          if (!Array.isArray(results) || results.length !== items.length) throw new Error('unexpected result count');
+          resolveRun(results);
+        } catch (error) {
+          reject(new Error(`${command} syntax check returned invalid output: ${error.message}`));
+        }
+      }
+    });
+  });
+}
+
+function packageType(projectDir, file, cache) {
+  if (extname(file) === '.mjs') return 'module';
+  if (extname(file) === '.cjs') return 'commonjs';
+  let dir = dirname(resolve(projectDir, file));
+  const root = resolve(projectDir);
+  while (dir.startsWith(root)) {
+    if (cache.has(dir)) return cache.get(dir);
+    const pkg = join(dir, 'package.json');
+    if (existsSync(pkg)) {
+      const type = JSON.parse(readFileSync(pkg, 'utf8')).type === 'module' ? 'module' : 'commonjs';
+      cache.set(dir, type);
+      return type;
+    }
+    if (dir === root) break;
+    dir = dirname(dir);
+  }
+  return 'commonjs';
+}
+
+/**
+ * Anchor every fault, then ask the language parser whether the in-memory
+ * replacement still compiles. Unsupported languages (and Python when no
+ * interpreter resolves) are intentionally left anchor-only.
+ */
+export async function checkAnchors(projectDir, claims, { python } = {}) {
+  const started = performance.now();
+  const work = inspectLocations(projectDir, claims);
+  const candidates = work.filter((x) => x.result.status === 'ok' && x.source !== undefined && isInjection(x.fault));
+  const hasPython = candidates.some((x) => extname(x.fault.file) === '.py');
+  const interpreter = hasPython ? await resolveInterpreter({ projectDir, python, budgetMs: 5_000 }) : undefined;
+  const packageTypes = new Map();
+  const javascript = [];
+  const pythonSources = [];
+  for (const candidate of candidates) {
+    const { fault, source } = candidate;
+    const extension = extname(fault.file);
+    const changed = mutate(source, fault);
+    if (JS_EXTENSIONS.has(extension)) {
+      javascript.push({ candidate, file: fault.file, source: changed, type: packageType(projectDir, fault.file, packageTypes) });
+    } else if (extension === '.py' && interpreter && !interpreter.error) {
+      pythonSources.push({ candidate, file: fault.file, source: changed });
+    }
+  }
+
+  // One parser process per language keeps this a cheap preflight even when a
+  // claims file has hundreds of faults. The Node VM constructors use the same
+  // V8 grammar as `node --check` and compile without linking or executing code.
+  const [javascriptResults, pythonResults] = await Promise.all([
+    runBatchCheck(process.execPath, ['--no-warnings', '--experimental-vm-modules', '-e', NODE_SYNTAX_CHECK], javascript),
+    interpreter && !interpreter.error
+      ? runBatchCheck(interpreter.path, ['-c', PYTHON_SYNTAX_CHECK], pythonSources)
+      : [],
+  ]);
+
+  const parsedByFault = new Map();
+  javascript.forEach(({ candidate }, index) => parsedByFault.set(keyOf(candidate.claim.id, candidate.fault.id), { language: 'javascript', ...javascriptResults[index] }));
+  pythonSources.forEach(({ candidate }, index) => parsedByFault.set(keyOf(candidate.claim.id, candidate.fault.id), { language: 'python', ...pythonResults[index] }));
+
+  const results = work.map(({ claim, fault, result }) => {
+    const parsed = parsedByFault.get(keyOf(claim.id, fault.id));
+    if (!parsed) return result;
+    if (parsed.status === 'invalid') return { ...result, status: 'fault-invalid', syntax: parsed };
+    return { ...result, syntax: parsed };
+  });
+  return summarize(results, performance.now() - started);
+}
+
+export function renderAnchorChecks(report) {
+  const lines = report.results.map((result) => {
+    const label = result.status.toUpperCase().padEnd(16);
+    const hits = result.hits === undefined ? 'no text anchor for this method' : `${result.hits} hit${result.hits === 1 ? '' : 's'}, expected ${result.expected}`;
+    const syntax = result.syntax?.status === 'ok'
+      ? `; ${result.syntax.language} syntax ok`
+      : result.syntax?.message ? `; ${result.syntax.language}: ${result.syntax.message}` : '';
+    return `${label} ${result.claimId}/${result.faultId}  ${result.file} — ${hits}${syntax}`;
+  });
+  lines.push(`anchor preflight: ${report.checked} faults checked, ${report.ok} ok, ${report.invalid} invalid in ${report.durationMs}ms`);
+  return lines.join('\n');
+}

package/src/cli.mjs

@@ -26,7 +26,7 @@ export const USAGE = `testguard ${VERSION} — proves a test suite defends the c
 
   testguard status [dir]     where the project is and the ONE next action; --json is the machine entry point
   testguard init [dir]       install the agent layer at the git root (skill, session-start hook, AGENTS.md section) and the .gitignore lines in [dir]
-  testguard claims [dir]     list the claims file and report drift against @claim annotations in code
+  testguard claims [dir]     list claims and drift; --check-anchors also verifies every exact anchor and replacement syntax
   testguard probe [dir]      inject each claim's faults, run its defenders, report what survived
   testguard baseline [dir]   freeze today's unproven findings so only new ones gate
   testguard brief [dir]      emit the blind-spot block for an agent's session-start context
@@ -95,7 +95,9 @@ gate       --changed <ref>   measure the change since merge-base(ref, HEAD); aut
            --strict          a non-empty change that evaluates nothing is a failure, not a note
            --ignore <path>   ignore file (default: <dir>/testguard.ignore.json; kind=path entries excuse files, with a reason)
            exit 0 every changed source file is claimed or excused · 1 unclaimed file · 2 cannot evaluate · 3 no reference
-status     --json (exit 0 clean · 1 unproven/stale/unclaimed · 2 nothing to probe yet)
+claims     --check-anchors   locate every fault without running tests; JS/MJS and Python replacements are syntax-checked in memory
+           --json includes anchorChecks; exit 1 when an anchor is missing/ambiguous or a supported replacement does not compile
+status     --json (exit 0 clean · 1 unproven/stale/unclaimed/invalid anchors · 2 nothing to probe yet)
            --evidence <path>  read this evidence instead of .testguard/evidence.json (e.g. CI's, fetched as an artifact); staleness is still computed from the recorded input hashes, and both commits are named
            --changed <ref>   also compute claim coverage of the change; unclaimed-changes then precedes every evidence state
 init       --force (replace an existing skill file)  --here (keep the agent layer in [dir] instead of the git root)  --json
@@ -163,6 +165,7 @@ export async function main(argv, io = { out: (s) => process.stdout.write(s + '\n
         text: { type: 'boolean', default: false },
         markdown: { type: 'boolean', default: false },
         cost: { type: 'boolean', default: false },
+        'check-anchors': { type: 'boolean', default: false },
         progress: { type: 'string' },
         help: { type: 'boolean', short: 'h', default: false },
         version: { type: 'boolean', short: 'v', default: false },

package/src/commands/claims.mjs

@@ -9,12 +9,16 @@ import { evidencePath } from './probe.mjs';
 import { costReport, renderCost } from '../probe/cost.mjs';
 import { readSpecDoc } from '../evidence/writer.mjs';
 import { existsSync } from 'node:fs';
+import { checkAnchors, renderAnchorChecks } from '../claims/anchors.mjs';
 
 export async function claimsCommand({ projectDir, values, version }, io) {
   const path = values.claims ? resolve(values.claims) : defaultClaimsPath(projectDir);
   const claims = loadClaims(path);
   const annotations = scanAnnotations(projectDir);
   const drift = reconcile(claims, annotations);
+  const anchorChecks = values['check-anchors']
+    ? await checkAnchors(projectDir, claims, { python: values.python ? resolve(values.python) : undefined })
+    : undefined;
 
   // A claim that disappeared is invisible to every other command; compare
   // identities against a reference when one is given.
@@ -31,7 +35,7 @@ export async function claimsCommand({ projectDir, values, version }, io) {
   }
 
   if (values.json) {
-    io.out(JSON.stringify({ path, claims, annotations, drift, ...(removed ? { removed } : {}), ...(cost ? { cost } : {}) }, null, 2));
+    io.out(JSON.stringify({ path, claims, annotations, drift, ...(anchorChecks ? { anchorChecks } : {}), ...(removed ? { removed } : {}), ...(cost ? { cost } : {}) }, null, 2));
   } else {
     const annotated = new Set(drift.annotated);
     io.out(`${claims.claims.length} claims in ${path} — ${annotated.size} carry a @claim annotation in source (test files are not scanned)`);
@@ -74,6 +78,10 @@ export async function claimsCommand({ projectDir, values, version }, io) {
       io.out('');
       io.out(renderCost(cost));
     }
+    if (anchorChecks) {
+      io.out('');
+      io.out(renderAnchorChecks(anchorChecks));
+    }
   }
-  return drift.undeclared.length || drift.stale.length || (removed?.removed.length ?? 0) > 0 ? 1 : 0;
+  return drift.undeclared.length || drift.stale.length || (removed?.removed.length ?? 0) > 0 || (anchorChecks?.invalid ?? 0) > 0 ? 1 : 0;
 }

package/src/init/templates/SKILL.md

@@ -22,6 +22,7 @@ which files exist. `state` is one of:
 |---|---|---|
 | `no-claims` | no `testguard.claims.json` | `testguard scaffold <file>` for a file with guards; replace every `TODO:` statement with what the code guarantees; keep or drop each proposal; move the claims into `testguard.claims.json` |
 | `unclaimed-changes` | files you changed carry no claim (only when a reference is known: `--changed <ref>`, or CI's base branch) | `next.file` names the first; `testguard scaffold <file>` and state the claim, or add a `testguard.ignore.json` path entry with a reason a reviewer will accept. **Before** writing more code. |
+| `invalid-anchors` | an exact fault anchor moved or became ambiguous | run `testguard claims --check-anchors`; repair `next.target` in the claims file without changing what the fault means, then re-probe. Never guess or auto-fix an anchor. |
 | `unprobed` | claims never probed | `testguard probe` |
 | `evidence-stale` | code, tests or claims changed since the evidence | `testguard probe --include-dirty` (or `--claim <ID>` for one) |
 | `provisional-only` | only `--confirm 1` evidence exists | `testguard probe --confirm 3` |
@@ -45,7 +46,10 @@ code by construction. So, for every source file you create or change:
    thin wrapper whose logic is claimed elsewhere): a `path` entry in
    `testguard.ignore.json` with a reason and, where possible, an `expires`.
    The gate prints every entry it relied on; a reviewer reads them.
-4. Then `testguard admit <test-file> --claim <ID>` for the new claim's test (or `testguard probe --claim <ID> --include-dirty` for the full report).
+4. After editing guarded code, run `testguard claims --check-anchors`. Repair
+   any named fault definition without weakening its meaning; the check never
+   relocates an anchor for you.
+5. Then `testguard admit <test-file> --claim <ID>` for the new claim's test (or `testguard probe --claim <ID> --include-dirty` for the full report).
 
 ## Verdict → action
 

package/src/status/status.mjs

@@ -9,6 +9,7 @@ import { discoverDefenders } from '../probe/discover.mjs';
 import { sortForReport } from '../render.mjs';
 import { computeChangedGate, defaultIgnorePath } from '../gate/changed.mjs';
 import { headSha, isAncestor } from '../git.mjs';
+import { checkAnchorLocations } from '../claims/anchors.mjs';
 
 export const faultContentHash = (fault) => sha256(`${fault.find}\n${fault.replace}`);
 
@@ -41,6 +42,7 @@ export function computeStatus({ projectDir, toolVersion = '0.0.0', generatedAt =
     provisional: false,
     counts: { claims: 0, faults: 0 },
     stale: [],
+    invalidFaults: [],
     changedFaults: [],
     findings: [],
     notes: [],
@@ -87,6 +89,22 @@ export function computeStatus({ projectDir, toolVersion = '0.0.0', generatedAt =
     return doc;
   }
 
+  const anchors = checkAnchorLocations(projectDir, claims);
+  doc.invalidFaults = anchors.results
+    .filter((result) => result.status !== 'ok')
+    .map(({ claimId, faultId, file, status: reason, hits, expected }) => ({ claimId, subjectId: faultId, file, reason, hits, expected }));
+  if (doc.invalidFaults.length) {
+    const first = doc.invalidFaults[0];
+    doc.state = 'invalid-anchors';
+    doc.next = {
+      action: 'repair-fault',
+      command: 'testguard claims --check-anchors',
+      why: `${doc.invalidFaults.length} fault anchor${doc.invalidFaults.length === 1 ? '' : 's'} no longer locate exactly. Repair ${first.claimId}/${first.subjectId} in testguard.claims.json without changing what the fault means, then re-probe.`,
+      target: { claimId: first.claimId, subjectId: first.subjectId, file: first.file },
+    };
+    return doc;
+  }
+
   const evidenceFile = evidenceOverride ?? paths.evidence;
   const hasEvidence = existsSync(evidenceFile);
   const hasProvisional = existsSync(paths.provisional);
@@ -236,6 +254,7 @@ export function renderStatus(doc) {
     for (const e of c.expired) lines.push(`EXPIRED   ignore "${e.pattern}" no longer excuses ${e.files.join(', ')}`);
   }
   for (const c of doc.changedFaults) lines.push(`CHANGED   ${c.claimId}/${c.subjectId} edited since it ${c.previousVerdict} (${c.file})`);
+  for (const f of doc.invalidFaults ?? []) lines.push(`INVALID   ${f.claimId}/${f.subjectId} ${f.reason}: ${f.hits} hits, expected ${f.expected} (${f.file})`);
   for (const s of doc.stale.slice(0, 8)) lines.push(`stale     ${s}`);
   for (const n of doc.notes ?? []) lines.push(`note      ${n}`);
   lines.push(`next:     [${doc.next.action}] ${doc.next.command}`);