@dzhechkov/harness-core 0.6.0 → 0.6.1

package/.dz-manifest.json

@@ -5,11 +5,11 @@
     "files": [
       {
         "path": "CHANGELOG.md",
-        "sha256": "91eaf7e5d2dbf1c4a6627a001c1bf3551e84346a9fa1cc03d2c3eb53fc5eaa33"
+        "sha256": "2ba0bb6639cdc6918fa61ec15a344e9a97988e6a212cc6d9b5c67364307a7359"
       },
       {
         "path": "README.md",
-        "sha256": "d8f8f086d2e3ad77f20b8692890eff77ee18a82e7057379ed73ea738447d06a4"
+        "sha256": "3d0f40f8e46f15d06ed65efa568ad9f34c36c519c468db401663d8a3badbb734"
       },
       {
         "path": "dist/__tests__/golden-baseline.test.d.ts",
@@ -59,6 +59,22 @@
         "path": "dist/agents-policy.js.map",
         "sha256": "08d5c8fe8b5dd9b0d75b382433de8356cf54c41e0b10b028d9a910817e44de72"
       },
+      {
+        "path": "dist/amendment-trace.d.ts",
+        "sha256": "5e38fdb88bf848eaf045f7e8450bd7584dedd89c957d6bcbf3f33688acd59ae8"
+      },
+      {
+        "path": "dist/amendment-trace.d.ts.map",
+        "sha256": "823cd1ec281dc9e4a368b147413379e3ba6e343b7240acc233affd64eebc04a4"
+      },
+      {
+        "path": "dist/amendment-trace.js",
+        "sha256": "36373fe71098e0a73fbffa08d0732ab5da526293f0c804c08a4aa6f9cd20c905"
+      },
+      {
+        "path": "dist/amendment-trace.js.map",
+        "sha256": "4c14ec5efa950f7b13537ccce4c7cc80cb2a54af53760474856153f771407681"
+      },
       {
         "path": "dist/apply.d.ts",
         "sha256": "a243a1629c4106584d96fc6496d113a2e298125375bc5cc35338ba500420dd67"
@@ -605,19 +621,19 @@
       },
       {
         "path": "dist/index.d.ts",
-        "sha256": "318e76012b186069d07446f4e3c719f439d1bda17314b5dd6d198abf62293ada"
+        "sha256": "417b6de4c4bc836d72513abd1893e6dd84e58fabd85fb3795e2b2bb0f2e89baf"
       },
       {
         "path": "dist/index.d.ts.map",
-        "sha256": "997baa864e08b51d00c0207e5cb5e8d51c9c8c2f338037730944f78fa11d98d9"
+        "sha256": "560c4441d001498a8a1170225b0e766b24ecc95cb2a133ed155f47fbfc555cbf"
       },
       {
         "path": "dist/index.js",
-        "sha256": "95ec1aba37fe76082ad4fd5c75e53432fa6e81c39263cf98ef03aae5c73bba4b"
+        "sha256": "9fa573d21a2aad30341127e8d146fa6338e1e6d2706075971e19b852db2cdc8a"
       },
       {
         "path": "dist/index.js.map",
-        "sha256": "e5d106e7b3805e65788276981ffdd7a08591bfc3f767ba71caab640c1df8d848"
+        "sha256": "adf38e34c552a57ac39760f5782b184ab465298a4505110b4e951c66a02da7e1"
       },
       {
         "path": "dist/learning-backend.d.ts",
@@ -897,15 +913,15 @@
       },
       {
         "path": "dist/patterns.d.ts.map",
-        "sha256": "6d182ff5d05bc30cc1d276f3017941f4c6f3bb822aef0171dc5f8fa2bf72e246"
+        "sha256": "6cb5a710dcc1d1ca1bb8fa9350c9751da58b6bc8cf48688eb191574cd1e84cf5"
       },
       {
         "path": "dist/patterns.js",
-        "sha256": "572efc927418537df24b0ac6cbf8d9e3f3b377904915374ec62592bdc16e0e6b"
+        "sha256": "15992b9d7a69a2b91597aaa05901a1656fdcbed54dfa23ffc9d78f25432ead48"
       },
       {
         "path": "dist/patterns.js.map",
-        "sha256": "3d45c569e2ec62b9fd4376e6c643cd5b667e59bece8e21c5ac1d1ca56ecae49d"
+        "sha256": "c0bdd22f1dede62cc6cc0efa644d4a59bbcf69fbe69a95c13fcd313fda4b1851"
       },
       {
         "path": "dist/plugin.d.ts",
@@ -1179,6 +1195,22 @@
         "path": "dist/routing-outcomes.js.map",
         "sha256": "c369e33d38ea564f5a59fc0a90fa34fecfc90f2f25c87dfb153dfe20f0b0e0de"
       },
+      {
+        "path": "dist/run-records.d.ts",
+        "sha256": "f53f7fba2d81cb1b71127781ca879fb0f8dd4e91f9a21c0230b68c20c4aa6df0"
+      },
+      {
+        "path": "dist/run-records.d.ts.map",
+        "sha256": "c10fc92fda6183599b92abcdf2933ee8408f026ac73a4e8252ac36b693c18545"
+      },
+      {
+        "path": "dist/run-records.js",
+        "sha256": "a88eb998f172e893bd6bcf800e8a2954fd6ca53e4d7b05730748276d23d8e7f0"
+      },
+      {
+        "path": "dist/run-records.js.map",
+        "sha256": "f1219ebf7414b0a8fcf88510b76f9bb82c9580637ef8863e7e02f10409c0c432"
+      },
       {
         "path": "dist/safla-delta.d.ts",
         "sha256": "9fb8db73445acb7af089880d38222dd4a706f58416943893a090aa3f44199ef3"
@@ -1549,7 +1581,7 @@
       },
       {
         "path": "package.json",
-        "sha256": "abd7ce2bbf152b2e491c8fcaa1e7ee7bf6895a9a156a997e98596d13e31040aa"
+        "sha256": "a79b206556e86f770f3d5e89aea516cf0117402f2cf0505466e2228559a2075c"
       },
       {
         "path": "scripts/refuse-wrong-publisher.mjs",
@@ -1567,6 +1599,10 @@
         "path": "src/agents-policy.ts",
         "sha256": "1b5bc614dfa670f2c341f926b399300278a3b52a7bf1b6de9239b38c1d7c31e0"
       },
+      {
+        "path": "src/amendment-trace.ts",
+        "sha256": "547ee200ce8d1f8c9907dcadc39a0ed386dd5a5491d3f6797e94c20a3a160c64"
+      },
       {
         "path": "src/apply.ts",
         "sha256": "8c98d14157ac6205887b9b64843960e90870de396963da92ee7e19bba264dba0"
@@ -1705,7 +1741,7 @@
       },
       {
         "path": "src/index.ts",
-        "sha256": "92c155f8dcde89e00d85f1eaf9748b32023ccf0ab3412f605b6d3769cdc37702"
+        "sha256": "f53403a6ae47ca25e436a2fcba9566baa895110132a975f4ce62465db932c0ee"
       },
       {
         "path": "src/learning-backend.ts",
@@ -1777,7 +1813,7 @@
       },
       {
         "path": "src/patterns.ts",
-        "sha256": "42e9c56ec5c7bd4d3b3e693e171505ccac534187ed6fe3ab5c59cf3feb6240e7"
+        "sha256": "9dbc7e3c2746fae37fb481fc153244106071a6da47948e6a7ee6c287f2249416"
       },
       {
         "path": "src/plugin.ts",
@@ -1843,6 +1879,10 @@
         "path": "src/routing-outcomes.ts",
         "sha256": "66cce181b105b6add863e52f2d9364166f75d95a2e26e48995dbbdb20d8e66dd"
       },
+      {
+        "path": "src/run-records.ts",
+        "sha256": "8a000d7ecd6d729b2e5547e12d098ed9f16bd3c27d456e0589130147b2385126"
+      },
       {
         "path": "src/safla-delta.ts",
         "sha256": "55d46a4d2068fc99c4606d744e861c19a1004148d2c7679537ff4862fc38db84"
@@ -1955,6 +1995,10 @@
         "path": "test/agents-policy.test.ts",
         "sha256": "5977d534adbab0d3b8820eb7341b00b03e10748f895e0383c1d30508fde0e771"
       },
+      {
+        "path": "test/amendment-trace.test.ts",
+        "sha256": "fade5a0516b626154a936230ac7f001af048c02e91f338b44270e51a9e81fffd"
+      },
       {
         "path": "test/apply.test.ts",
         "sha256": "9aa54b1dc6b372ad7e81783a8af8fe88dde64c653f801aaa565e2f363135e350"
@@ -2177,7 +2221,7 @@
       },
       {
         "path": "test/feature-adr-training-pairs.test.ts",
-        "sha256": "9c5ac3b9fa91e7d59f50982474fdcb01cf90570efcc9505edf10e785ba5b433f"
+        "sha256": "0e4a7317554dd78d87d729374e21a34c7519075e9ac4547e3de0d06f774fa35d"
       },
       {
         "path": "test/feature-adr-workflow-twin-drift.test.ts",
@@ -2443,6 +2487,10 @@
         "path": "test/partition-findings.test.ts",
         "sha256": "5ba94ba0c9d7d74c3846de2073ed8186c69fd68e7575ccb93099dfb7579a47de"
       },
+      {
+        "path": "test/pattern-boost-unicode.test.ts",
+        "sha256": "bb3716152de8c062b66f8f8ab0333c7d96a57863dd89f1bcfc9565f5b240f8c1"
+      },
       {
         "path": "test/patterns.test.ts",
         "sha256": "2eac0dd5b93e6fe737faf6df5cc3e07eb9e551de8af1cc655e8ad4bec7652900"
@@ -2515,6 +2563,10 @@
         "path": "test/routing-outcomes.test.ts",
         "sha256": "bbc5c12f2bfcb246369f7428a5b22e64615e00174f08ba8d20f9d962ae8b43e8"
       },
+      {
+        "path": "test/run-records.test.ts",
+        "sha256": "8c7e65a5a881f67e2ba426c061f67131536902ec902741cc248a0b30d6963535"
+      },
       {
         "path": "test/safla-delta.test.ts",
         "sha256": "1669198eab1fdda44e137b19454a01954dc42ab7b059725dd056c836b06a5e3e"
@@ -2677,5 +2729,5 @@
       }
     ]
   },
-  "signature": "8W1cZPFKT/EOUnYw2Vae2LSEQCqmQRsj/3kN7fsxS0xQjc+OBJurkp6eQ75wzoif7Oy0oDGPXlezDr7n0PVXAw=="
+  "signature": "ayMtdb4K1haW5FSmsdFKcmE7/Zotxm5U8C6R1Hja+BAGSb++7rAcB4r2T9B3m9Mhwzwnj9fY0H3DvZUTfRzvCg=="
 }

package/README.md

@@ -206,7 +206,18 @@ pause or the file deliverable.
 
 ## Status
 
-`0.6.0` — **BEHAVIORAL:** `STAGE_ARTIFACTS.router` is `'00_complexity_assessment.md'`, was `null`, so a
+`0.6.1` — two new pure modules behind two new commands. `amendment-trace.ts` resolves every `AM-N`
+amendment row to a test found INSIDE the file the row names — matched against the file's parsed TEST
+TITLES, because whole-file matching was forgeable by two comment lines whose letters spell the id, and
+because an existing FILE never stands in for an existing TEST. `run-records.ts` decides whether a
+run-cost row or a training pair may be written: it refuses bad JSON, a wrong-kind payload, an EMPTY
+required field (an empty array or object is not "present"), a stage disagreement and an over-cap line;
+it stamps the timestamp BEFORE serialising; and it treats a mark whose target is absent as STALE
+rather than as a duplicate, because a run that died between taking the mark and writing must not lose
+the record forever. **BEHAVIORAL:** the workflow's ledger and training-pair writers no longer hand a
+subagent a pre-baked shell string — a malformed row is refused instead of appended.
+
+**0.6.0** — **BEHAVIORAL:** `STAGE_ARTIFACTS.router` is `'00_complexity_assessment.md'`, was `null`, so a
 consumer reading that constant now gets a filename. Step 0 owes a written artifact and its checkpoint
 is witnessed by one; MEASURED 2026-08-21, 66 of 199 features carried that file and the last four in a
 row did not, which is how a run's tier became unreadable while it was alive and how the K2 acid check

package/dist/amendment-trace.d.ts

@@ -0,0 +1,98 @@
+/**
+ * Amendment traceability — the deterministic half of the Step-8 amendment gate (ADR-001).
+ *
+ * The gate used to be a paragraph of prompt text asking the QE agent to confirm that every `AM-N`
+ * row names a real test. That is layer 4 on the cost-of-detection ladder, and the recalled lesson at
+ * reward 1.00 says what happens next: a safety property that lives only in a prompt disappears with
+ * the next prompt. `features/qe-scoped-review/08_qe_report.md` recorded the outcome — five ids named,
+ * none existing, and the plan writing `## Amendments: None`.
+ *
+ * Everything here is PURE: text in, verdicts out, file access through an injected reader (NFR-1).
+ * The CLI owns I/O and the exit code; this module owns the grammar and the rules.
+ *
+ * NOT PROVEN HERE: that a resolved test is non-vacuous. `dz discrimination-check` owns "would this
+ * test still pass with the protection deleted" (non-goal NG-1, acid case A8). A checker that implied
+ * it proved vacuity would be the same lie in a new place.
+ */
+/** One `AM-N` row as it appears in a `## Amendments` section. */
+export interface AmendmentRow {
+    readonly id: string;
+    readonly testIds: readonly string[];
+    readonly file: string | null;
+    readonly raw: string;
+}
+export type AmendmentVerdict = 'resolved' | 'placeholder' | 'unnamed' | 'no-file-named' | 'file-missing' | 'name-absent-in-file';
+export interface AmendmentResolution {
+    readonly id: string;
+    readonly testId: string | null;
+    readonly file: string | null;
+    readonly verdict: AmendmentVerdict;
+    readonly detail: string;
+}
+export type AmendmentOutcome = 'pass' | 'fail' | 'skip' | 'not-established';
+export interface AmendmentDecision {
+    readonly outcome: AmendmentOutcome;
+    /** Derived FROM the outcome — one mapping, never two (AM-3, acid case A3/A7). */
+    readonly exit: 0 | 1 | 3;
+    readonly reasons: readonly string[];
+    readonly counts: Readonly<Record<AmendmentVerdict, number>>;
+}
+/**
+ * Below this many normalised characters an id is too short to match anything meaningfully: the
+ * substring rule ADR-002 accepts would fire on unrelated prose. Guards the degenerate case the ADR
+ * names as its known false-positive risk.
+ */
+export declare const MIN_MATCHABLE_ID_LENGTH = 8;
+/** Case- and separator-folded form. Authors write ids in prose (`a_b_c`); test titles are sentences. */
+/**
+ * Every `it()` / `test()` / `describe()` title in a test file. Empty when none parse.
+ *
+ * Comments are stripped FIRST. A commented-out `it('deny admin writes')` is not a test, and counting
+ * it would leave open the very forgery the title basis exists to close — the cross-family reviewer's
+ * two-comment-line attack in a slightly better costume. Table forms (`test.each([…])('…')`) carry an
+ * argument list between the modifier and the title, so the pattern allows one.
+ */
+export declare function extractTestTitles(body: string): string[];
+export declare function normalizeTestId(s: string): string;
+/** The `## Amendments` section body, or null when the document has none (acid case A5). */
+export declare function amendmentSection(md: string): string | null;
+/** `## Amendments` present but recording nothing to check — distinct from the section being absent. */
+export declare function planSaysNoAmendments(planMd: string): boolean;
+export declare function parseAmendments(md: string): AmendmentRow[];
+export declare function resolveAmendments(rows: readonly AmendmentRow[], opts: {
+    readFile: (p: string) => string | null;
+}): AmendmentResolution[];
+export declare function decideAmendmentOutcome(input: {
+    sectionPresent: boolean;
+    rows: readonly AmendmentRow[];
+    resolutions: readonly AmendmentResolution[];
+    planSaysNone: boolean;
+    readError?: string | null;
+    /** Ideation amendments the plan fails to carry — absent, or reworded under the same id. */
+    missingFromPlan?: readonly {
+        id: string;
+        kind: 'dropped' | 'subject-changed';
+    }[];
+}): AmendmentDecision;
+/** The one line every caller reads last, in the K2 gate's own shape so the two read alike. */
+export declare function amendmentVerdictLine(d: AmendmentDecision): string;
+/** Printed on every run: this checker does NOT prove a resolved test discriminates (NG-1, A8). */
+export declare const AMENDMENT_VACUITY_NOTE = "note: this checks that each amendment RESOLVES to a real test, not that the test is non-vacuous \u2014 `dz discrimination-check` owns vacuity.";
+/**
+ * The amendment's own text with the `→ test …` pointer clause and markdown furniture removed — what
+ * "carry AM-N into the plan verbatim" is actually about. The POINTER may legitimately change (tests
+ * are named later than ideation guesses); the SUBJECT may not.
+ */
+export declare function amendmentSubject(raw: string): string;
+export interface PlanCoverageGap {
+    readonly id: string;
+    readonly kind: 'dropped' | 'subject-changed';
+}
+/**
+ * Ideation amendments the plan fails to carry: either absent outright, or present under the same id
+ * with a DIFFERENT subject. Cross-family review (Codex gpt-5.6-sol, 2026-08-21) found the second
+ * case: comparing ids alone let a plan swap "deny unauthenticated deletes" for "render footer" under
+ * the same `AM-1` and still pass.
+ */
+export declare function amendmentsMissingFromPlan(ideationRows: readonly AmendmentRow[], planRows: readonly AmendmentRow[]): PlanCoverageGap[];
+//# sourceMappingURL=amendment-trace.d.ts.map

package/dist/amendment-trace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"amendment-trace.d.ts","sourceRoot":"","sources":["../src/amendment-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,iEAAiE;AACjE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,MAAM,gBAAgB,GACxB,UAAU,GACV,aAAa,GACb,SAAS,GACT,eAAe,GACf,cAAc,GACd,qBAAqB,CAAC;AAE1B,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,iBAAiB,CAAC;AAE5E,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,iFAAiF;IACjF,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC,CAAC;CAC7D;AAQD;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,IAAI,CAAC;AAEzC,wGAAwG;AACxG;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAMxD;AAED,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAEjD;AAUD,2FAA2F;AAC3F,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAO1D;AAED,uGAAuG;AACvG,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAI5D;AAED,wBAAgB,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,YAAY,EAAE,CAgB1D;AAuBD,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,SAAS,YAAY,EAAE,EAC7B,IAAI,EAAE;IAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAA;CAAE,GAC/C,mBAAmB,EAAE,CAkBvB;AAoDD,wBAAgB,sBAAsB,CAAC,KAAK,EAAE;IAC5C,cAAc,EAAE,OAAO,CAAC;IACxB,IAAI,EAAE,SAAS,YAAY,EAAE,CAAC;IAC9B,WAAW,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAC5C,YAAY,EAAE,OAAO,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,2FAA2F;IAC3F,eAAe,CAAC,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,SAAS,GAAG,iBAAiB,CAAA;KAAE,EAAE,CAAC;CAClF,GAAG,iBAAiB,CAoDpB;AAED,8FAA8F;AAC9F,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,iBAAiB,GAAG,MAAM,CAQjE;AAED,kGAAkG;AAClG,eAAO,MAAM,sBAAsB,mJAC0G,CAAC;AAG9I;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAQpD;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,iBAAiB,CAAC;CAC9C;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CACvC,YAAY,EAAE,SAAS,YAAY,EAAE,EACrC,QAAQ,EAAE,SAAS,YAAY,EAAE,GAChC,eAAe,EAAE,CAkBnB"}

package/dist/amendment-trace.js

@@ -0,0 +1,275 @@
+/**
+ * Amendment traceability — the deterministic half of the Step-8 amendment gate (ADR-001).
+ *
+ * The gate used to be a paragraph of prompt text asking the QE agent to confirm that every `AM-N`
+ * row names a real test. That is layer 4 on the cost-of-detection ladder, and the recalled lesson at
+ * reward 1.00 says what happens next: a safety property that lives only in a prompt disappears with
+ * the next prompt. `features/qe-scoped-review/08_qe_report.md` recorded the outcome — five ids named,
+ * none existing, and the plan writing `## Amendments: None`.
+ *
+ * Everything here is PURE: text in, verdicts out, file access through an injected reader (NFR-1).
+ * The CLI owns I/O and the exit code; this module owns the grammar and the rules.
+ *
+ * NOT PROVEN HERE: that a resolved test is non-vacuous. `dz discrimination-check` owns "would this
+ * test still pass with the protection deleted" (non-goal NG-1, acid case A8). A checker that implied
+ * it proved vacuity would be the same lie in a new place.
+ */
+/**
+ * Template placeholders that reach shipped reports. A stub read as an ordinary unresolvable id lets
+ * the author believe they merely mistyped a name, so it earns its own verdict (acid case A1).
+ */
+const PLACEHOLDER_IDS = new Set(['test_name', 'test-name', '<test>', '<test_name>', 'tbd', 'todo', 'name']);
+/**
+ * Below this many normalised characters an id is too short to match anything meaningfully: the
+ * substring rule ADR-002 accepts would fire on unrelated prose. Guards the degenerate case the ADR
+ * names as its known false-positive risk.
+ */
+export const MIN_MATCHABLE_ID_LENGTH = 8;
+/** Case- and separator-folded form. Authors write ids in prose (`a_b_c`); test titles are sentences. */
+/**
+ * Every `it()` / `test()` / `describe()` title in a test file. Empty when none parse.
+ *
+ * Comments are stripped FIRST. A commented-out `it('deny admin writes')` is not a test, and counting
+ * it would leave open the very forgery the title basis exists to close — the cross-family reviewer's
+ * two-comment-line attack in a slightly better costume. Table forms (`test.each([…])('…')`) carry an
+ * argument list between the modifier and the title, so the pattern allows one.
+ */
+export function extractTestTitles(body) {
+    const code = body.replace(/\/\*[\s\S]*?\*\//g, ' ').replace(/(^|[^:])\/\/[^\n]*/g, '$1');
+    const out = [];
+    const re = /\b(?:it|test|describe)(?:\.\w+)*(?:\s*\([^()]{0,200}\))?\s*(?:`[^`]*`)?\s*\(\s*(['"`])([\s\S]{1,300}?)\1/g;
+    for (let m = re.exec(code); m !== null; m = re.exec(code))
+        if (m[2])
+            out.push(m[2]);
+    return out;
+}
+export function normalizeTestId(s) {
+    return s.toLowerCase().replace(/[^a-z0-9]+/g, '');
+}
+/**
+ * Row starts, in BOTH shapes the corpus actually contains: a bullet (`- **AM-1 (…):**`) and a table
+ * cell (`| **AM-40** |`). A format LEGEND — the literal `AM-N` with an `N` that is not a digit, as in
+ * `features/ha-consilium/03.5_ideation_report.md` — is deliberately NOT a row: counting a legend as
+ * an amendment would open this feature by falsely accusing a feature that did nothing wrong.
+ */
+const ROW_START = /^(?:[-*]\s+\*{0,2}AM-(\d+)|\|\s*\*{0,2}AM-(\d+))/gm;
+/** The `## Amendments` section body, or null when the document has none (acid case A5). */
+export function amendmentSection(md) {
+    const m = /^ {0,3}#{2,4}\s+Amendments\b[^\n]*\n/m.exec(md);
+    if (!m)
+        return null;
+    const start = m.index + m[0].length;
+    const rest = md.slice(start);
+    const next = /^ {0,3}#{2,4}\s+\S/m.exec(rest);
+    return next ? rest.slice(0, next.index) : rest;
+}
+/** `## Amendments` present but recording nothing to check — distinct from the section being absent. */
+export function planSaysNoAmendments(planMd) {
+    const sec = amendmentSection(planMd);
+    if (sec === null)
+        return false;
+    return /^\s*(none|n\/a|нет)\b/i.test(sec.trim());
+}
+export function parseAmendments(md) {
+    const section = amendmentSection(md);
+    if (section === null)
+        return [];
+    const starts = [];
+    ROW_START.lastIndex = 0;
+    for (let m = ROW_START.exec(section); m !== null; m = ROW_START.exec(section)) {
+        starts.push({ index: m.index, num: (m[1] ?? m[2]) });
+    }
+    const rows = [];
+    for (let i = 0; i < starts.length; i++) {
+        const s = starts[i];
+        const end = i + 1 < starts.length ? starts[i + 1].index : section.length;
+        const raw = section.slice(s.index, end);
+        rows.push({ id: `AM-${s.num}`, testIds: extractTestIds(raw), file: extractFile(raw), raw });
+    }
+    return rows;
+}
+/** `→ test \`a\`` and the two-id shape `→ tests \`a\` and \`b\`` — both are in the corpus. */
+function extractTestIds(raw) {
+    const out = [];
+    const re = /→\s*tests?\s+`([^`]+)`(?:\s*(?:and|и)\s*`([^`]+)`)?/g;
+    for (let m = re.exec(raw); m !== null; m = re.exec(raw)) {
+        if (m[1])
+            out.push(m[1].trim());
+        if (m[2])
+            out.push(m[2].trim());
+    }
+    return out;
+}
+/**
+ * The `in \`<path>\`` half, which in real reports frequently opens the line AFTER the id. A pattern
+ * that cannot cross a newline finds almost nothing here — measured while writing this: three
+ * successive shell-written extractors returned 108, 111 and 13 rows over the identical corpus.
+ */
+function extractFile(raw) {
+    const m = /→\s*tests?\s+`[^`]+`(?:\s*(?:and|и)\s*`[^`]+`)?[\s\S]{0,40}?\bin\s+`([^`]+)`/.exec(raw);
+    return m && m[1] ? m[1].trim() : null;
+}
+export function resolveAmendments(rows, opts) {
+    const out = [];
+    for (const row of rows) {
+        if (row.testIds.length === 0) {
+            out.push({
+                id: row.id,
+                testId: null,
+                file: row.file,
+                verdict: 'unnamed',
+                detail: 'the row carries no `→ test` token — an amendment with no pointer is not a passing amendment',
+            });
+            continue;
+        }
+        for (const testId of row.testIds) {
+            out.push(resolveOne(row, testId, opts.readFile));
+        }
+    }
+    return out;
+}
+function resolveOne(row, testId, readFile) {
+    const base = { id: row.id, testId, file: row.file };
+    if (PLACEHOLDER_IDS.has(testId.trim().toLowerCase())) {
+        return { ...base, verdict: 'placeholder', detail: `\`${testId}\` is a template placeholder, not a test name` };
+    }
+    if (row.file === null) {
+        return { ...base, verdict: 'no-file-named', detail: 'the row names a test id but no file to find it in' };
+    }
+    const body = readFile(row.file);
+    if (body === null) {
+        return { ...base, verdict: 'file-missing', detail: `\`${row.file}\` does not exist or cannot be read` };
+    }
+    const needle = normalizeTestId(testId);
+    if (needle.length < MIN_MATCHABLE_ID_LENGTH) {
+        return {
+            ...base,
+            verdict: 'name-absent-in-file',
+            detail: `\`${testId}\` normalises to ${needle.length} characters — below the ${MIN_MATCHABLE_ID_LENGTH}-character floor, so a match would prove nothing`,
+        };
+    }
+    // An existing FILE never stands in for an existing TEST (ADR-002) — and neither does an existing
+    // COMMENT. Matching the whole file body is forgeable with two comment lines whose letters happen to
+    // spell the id, so the basis is the file's TEST TITLES. Falling back to the body when none parse is
+    // stated in the detail rather than done quietly: a silent fallback restores the hole it closes.
+    const titles = extractTestTitles(body);
+    const basis = titles.length > 0 ? titles.map(normalizeTestId).join('\n') : normalizeTestId(body);
+    const basisNote = titles.length > 0 ? `${titles.length} test title(s)` : 'the whole file body — NO test titles parsed, so this match is weaker';
+    if (!basis.includes(needle)) {
+        return {
+            ...base,
+            verdict: 'name-absent-in-file',
+            detail: `\`${row.file}\` exists but no test in it is named \`${testId}\` (searched ${basisNote})`,
+        };
+    }
+    return { ...base, verdict: 'resolved', detail: `found in \`${row.file}\` (searched ${basisNote})` };
+}
+const ZERO_COUNTS = {
+    resolved: 0,
+    placeholder: 0,
+    unnamed: 0,
+    'no-file-named': 0,
+    'file-missing': 0,
+    'name-absent-in-file': 0,
+};
+export function decideAmendmentOutcome(input) {
+    const counts = { ...ZERO_COUNTS };
+    for (const r of input.resolutions)
+        counts[r.verdict]++;
+    const reasons = [];
+    // Inputs we could not read are never a verdict about the feature (acid case A7).
+    if (input.readError) {
+        return { outcome: 'not-established', exit: 3, reasons: [`inputs unreadable: ${input.readError}`], counts };
+    }
+    // Absence is a skip with a stated reason, never a pass and never a silent zero (acid case A5).
+    if (!input.sectionPresent) {
+        return {
+            outcome: 'skip',
+            exit: 0,
+            reasons: ['no `## Amendments` section — nothing to check (this is an absence, not a pass)'],
+            counts,
+        };
+    }
+    // The whole class this feature removes: a check that silently checked nothing (AM-1, acid case A7).
+    if (input.rows.length === 0) {
+        return {
+            outcome: 'not-established',
+            exit: 3,
+            reasons: [
+                'the `## Amendments` section is present but ZERO rows parsed — the grammar matched nothing, which is not the same as nothing being wrong',
+            ],
+            counts,
+        };
+    }
+    // Ideation carries rows while the plan records "None" — this is HIGH-2 itself (acid case A6).
+    // Discovered while closing HIGH-2: the pointers belong in the PLAN. Step 6's own instruction is
+    // "carry AM-N into 06_implementation_plan.md verbatim", and the ideation report is a historical
+    // artifact — editing its rows to match tests that were named later would be rewriting the record
+    // rather than closing the trail. So the plan's rows are authoritative when present, and the rule
+    // that keeps that honest is coverage: an ideation amendment the plan never mentions is a DROPPED
+    // amendment, which is the renegotiating-away failure in a quieter form.
+    for (const gap of input.missingFromPlan ?? []) {
+        reasons.push(gap.kind === 'dropped'
+            ? `${gap.id} is an amendment in 03.5_ideation_report.md that 06_implementation_plan.md never carries — an amendment dropped in planning is one nobody can audit`
+            : `${gap.id} appears in both documents but the plan describes a DIFFERENT change — "carry verbatim" means the subject survives; only the test pointer may be renamed`);
+    }
+    if (input.planSaysNone) {
+        reasons.push(`the ideation report carries ${input.rows.length} amendment row(s) while 06_implementation_plan.md records \`## Amendments: None\` — the amendments were renegotiated away, and an amendment nobody can resolve is one nobody can audit`);
+    }
+    for (const r of input.resolutions) {
+        if (r.verdict !== 'resolved')
+            reasons.push(`${r.id} → ${r.verdict}: ${r.detail}`);
+    }
+    return { outcome: reasons.length > 0 ? 'fail' : 'pass', exit: reasons.length > 0 ? 1 : 0, reasons, counts };
+}
+/** The one line every caller reads last, in the K2 gate's own shape so the two read alike. */
+export function amendmentVerdictLine(d) {
+    const label = d.outcome === 'not-established' ? 'NOT-ESTABLISHED' : d.outcome.toUpperCase();
+    const head = `amendment traceability: ${label}`;
+    const tail = d.outcome === 'pass'
+        ? `${d.counts.resolved} row(s) resolved`
+        : (d.reasons[0] ?? 'no reason recorded');
+    return `${head} — ${tail}`;
+}
+/** Printed on every run: this checker does NOT prove a resolved test discriminates (NG-1, A8). */
+export const AMENDMENT_VACUITY_NOTE = 'note: this checks that each amendment RESOLVES to a real test, not that the test is non-vacuous — `dz discrimination-check` owns vacuity.';
+/**
+ * The amendment's own text with the `→ test …` pointer clause and markdown furniture removed — what
+ * "carry AM-N into the plan verbatim" is actually about. The POINTER may legitimately change (tests
+ * are named later than ideation guesses); the SUBJECT may not.
+ */
+export function amendmentSubject(raw) {
+    const withoutPointer = raw.split(/→\s*tests?\s/)[0] ?? '';
+    // Strip ONLY the row's furniture: bullet/table marks, the bold id, an optional `(source)` tag and
+    // a colon. An earlier version consumed up to 80 characters after the id, which ate the SUBJECT
+    // itself whenever a row carried no `(source):` tag — the checker then compared two truncations
+    // and called honest rows a mismatch.
+    const stripped = withoutPointer.replace(/^[\s|*\-]*\**AM-\d+\**\s*(?:\([^)]{0,80}\))?\s*:?\s*/, '');
+    return normalizeTestId(stripped);
+}
+/**
+ * Ideation amendments the plan fails to carry: either absent outright, or present under the same id
+ * with a DIFFERENT subject. Cross-family review (Codex gpt-5.6-sol, 2026-08-21) found the second
+ * case: comparing ids alone let a plan swap "deny unauthenticated deletes" for "render footer" under
+ * the same `AM-1` and still pass.
+ */
+export function amendmentsMissingFromPlan(ideationRows, planRows) {
+    const byId = new Map(planRows.map((r) => [r.id, r]));
+    const gaps = [];
+    for (const row of ideationRows) {
+        const planRow = byId.get(row.id);
+        if (planRow === undefined) {
+            gaps.push({ id: row.id, kind: 'dropped' });
+            continue;
+        }
+        const want = amendmentSubject(row.raw);
+        const got = amendmentSubject(planRow.raw);
+        // Containment either way: a plan may append a note ("closes HIGH-2"), and ideation may be the
+        // longer prose. What it may not do is describe a different change.
+        if (want.length >= MIN_MATCHABLE_ID_LENGTH && !got.includes(want) && !want.includes(got)) {
+            gaps.push({ id: row.id, kind: 'subject-changed' });
+        }
+    }
+    return gaps;
+}
+//# sourceMappingURL=amendment-trace.js.map

package/dist/amendment-trace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"amendment-trace.js","sourceRoot":"","sources":["../src/amendment-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAoCH;;;GAGG;AACH,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAE5G;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC;AAEzC,wGAAwG;AACxG;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC;IACzF,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,EAAE,GAAG,2GAA2G,CAAC;IACvH,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpF,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,CAAS;IACvC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;AACpD,CAAC;AAED;;;;;GAKG;AACH,MAAM,SAAS,GAAG,oDAAoD,CAAC;AAEvE,2FAA2F;AAC3F,MAAM,UAAU,gBAAgB,CAAC,EAAU;IACzC,MAAM,CAAC,GAAG,uCAAuC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3D,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACpC,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,MAAM,GAAG,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC/B,OAAO,wBAAwB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,EAAU;IACxC,MAAM,OAAO,GAAG,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACrC,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,MAAM,GAAqC,EAAE,CAAC;IACpD,SAAS,CAAC,SAAS,GAAG,CAAC,CAAC;IACxB,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9E,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAW,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,IAAI,GAAmB,EAAE,CAAC;IAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAmC,CAAC;QACtD,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAuB,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;QAChG,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,cAAc,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8FAA8F;AAC9F,SAAS,cAAc,CAAC,GAAW;IACjC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,EAAE,GAAG,sDAAsD,CAAC;IAClE,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACxD,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAChC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,GAAW;IAC9B,MAAM,CAAC,GAAG,8EAA8E,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAA6B,EAC7B,IAAgD;IAEhD,MAAM,GAAG,GAA0B,EAAE,CAAC;IACtC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,GAAG,CAAC,IAAI,CAAC;gBACP,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,MAAM,EAAE,IAAI;gBACZ,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,SAAS;gBAClB,MAAM,EAAE,6FAA6F;aACtG,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YACjC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,UAAU,CACjB,GAAiB,EACjB,MAAc,EACd,QAAsC;IAEtC,MAAM,IAAI,GAAG,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IACpD,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;QACrD,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,MAAM,+CAA+C,EAAE,CAAC;IACjH,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,mDAAmD,EAAE,CAAC;IAC5G,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,IAAI,qCAAqC,EAAE,CAAC;IAC1G,CAAC;IACD,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,MAAM,CAAC,MAAM,GAAG,uBAAuB,EAAE,CAAC;QAC5C,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,qBAAqB;YAC9B,MAAM,EAAE,KAAK,MAAM,oBAAoB,MAAM,CAAC,MAAM,2BAA2B,uBAAuB,kDAAkD;SACzJ,CAAC;IACJ,CAAC;IACD,iGAAiG;IACjG,oGAAoG;IACpG,oGAAoG;IACpG,gGAAgG;IAChG,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IACjG,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,gBAAgB,CAAC,CAAC,CAAC,sEAAsE,CAAC;IAChJ,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,qBAAqB;YAC9B,MAAM,EAAE,KAAK,GAAG,CAAC,IAAI,0CAA0C,MAAM,gBAAgB,SAAS,GAAG;SAClG,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,cAAc,GAAG,CAAC,IAAI,gBAAgB,SAAS,GAAG,EAAE,CAAC;AACtG,CAAC;AAED,MAAM,WAAW,GAAqC;IACpD,QAAQ,EAAE,CAAC;IACX,WAAW,EAAE,CAAC;IACd,OAAO,EAAE,CAAC;IACV,eAAe,EAAE,CAAC;IAClB,cAAc,EAAE,CAAC;IACjB,qBAAqB,EAAE,CAAC;CACzB,CAAC;AAEF,MAAM,UAAU,sBAAsB,CAAC,KAQtC;IACC,MAAM,MAAM,GAAqC,EAAE,GAAG,WAAW,EAAE,CAAC;IACpE,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW;QAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACvD,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,iFAAiF;IACjF,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACpB,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,sBAAsB,KAAK,CAAC,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7G,CAAC;IACD,+FAA+F;IAC/F,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;QAC1B,OAAO;YACL,OAAO,EAAE,MAAM;YACf,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,CAAC,gFAAgF,CAAC;YAC3F,MAAM;SACP,CAAC;IACJ,CAAC;IACD,oGAAoG;IACpG,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,OAAO,EAAE,iBAAiB;YAC1B,IAAI,EAAE,CAAC;YACP,OAAO,EAAE;gBACP,yIAAyI;aAC1I;YACD,MAAM;SACP,CAAC;IACJ,CAAC;IACD,8FAA8F;IAC9F,gGAAgG;IAChG,gGAAgG;IAChG,iGAAiG;IACjG,iGAAiG;IACjG,iGAAiG;IACjG,wEAAwE;IACxE,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,eAAe,IAAI,EAAE,EAAE,CAAC;QAC9C,OAAO,CAAC,IAAI,CACV,GAAG,CAAC,IAAI,KAAK,SAAS;YACpB,CAAC,CAAC,GAAG,GAAG,CAAC,EAAE,qJAAqJ;YAChK,CAAC,CAAC,GAAG,GAAG,CAAC,EAAE,0JAA0J,CACxK,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACvB,OAAO,CAAC,IAAI,CACV,+BAA+B,KAAK,CAAC,IAAI,CAAC,MAAM,wLAAwL,CACzO,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAC9G,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,oBAAoB,CAAC,CAAoB;IACvD,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,KAAK,iBAAiB,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;IAC5F,MAAM,IAAI,GAAG,2BAA2B,KAAK,EAAE,CAAC;IAChD,MAAM,IAAI,GACR,CAAC,CAAC,OAAO,KAAK,MAAM;QAClB,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,kBAAkB;QACxC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,oBAAoB,CAAC,CAAC;IAC7C,OAAO,GAAG,IAAI,MAAM,IAAI,EAAE,CAAC;AAC7B,CAAC;AAED,kGAAkG;AAClG,MAAM,CAAC,MAAM,sBAAsB,GACjC,2IAA2I,CAAC;AAG9I;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAW;IAC1C,MAAM,cAAc,GAAG,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1D,kGAAkG;IAClG,+FAA+F;IAC/F,+FAA+F;IAC/F,qCAAqC;IACrC,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,CAAC,sDAAsD,EAAE,EAAE,CAAC,CAAC;IACpG,OAAO,eAAe,CAAC,QAAQ,CAAC,CAAC;AACnC,CAAC;AAOD;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CACvC,YAAqC,EACrC,QAAiC;IAEjC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,MAAM,IAAI,GAAsB,EAAE,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YAC3C,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1C,8FAA8F;QAC9F,mEAAmE;QACnE,IAAI,IAAI,CAAC,MAAM,IAAI,uBAAuB,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACzF,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/index.d.ts

@@ -75,6 +75,10 @@ export { step8ClaimGate } from './feature-adr-claim-gate.js';
 export type { Step8ClaimCounts, Step8ClaimGate } from './feature-adr-claim-gate.js';
 export { CHECKPOINT_STAGES, STAGE_ARTIFACTS, CHECKPOINT_MAX_RESULT_CHARS, CHECKPOINT_LS_SENTINEL, CKPT_SCHEMA_VERSION, fnv1a, fnv1a64, checkpointInputHash, resumeMode, decideCheckpointResume, serializeCheckpoint, decideCheckpointWrite, parseCheckpointRead, checkpointReadCmd, checkpointAppendCmd, TRAINPAIR_SCHEMA_VERSION, TRAINPAIR_MAX_IO_CHARS, TRAINPAIR_PRIVACY_NOTE, trainingPairFamily, buildTrainingPair, serializeTrainingPair, trainingPairPath, trainingPairAppendCmd, codeCheckpointPersistAllowed, codeStageResultShapeValid, } from './feature-adr-checkpoints.js';
 export type { CheckpointStage, CheckpointEntry, ResumeMode, ResumeDecision, ParsedCheckpointRead, TrainingPairFamily, TrainingPair, TrainingPairEvaluation, TrainingPairProvenance, TrainingPairTruncation, CheckpointWriteVerdict, } from './feature-adr-checkpoints.js';
+export { MIN_MATCHABLE_ID_LENGTH, AMENDMENT_VACUITY_NOTE, normalizeTestId, amendmentSection, planSaysNoAmendments, parseAmendments, resolveAmendments, decideAmendmentOutcome, amendmentVerdictLine, amendmentsMissingFromPlan, amendmentSubject, extractTestTitles, } from './amendment-trace.js';
+export { RECORD_MAX_LINE_CHARS, decideRecordWrite, decideReadBack, recordVerdictLine, } from './run-records.js';
+export type { RecordKind, RecordVerdict, RecordDecision } from './run-records.js';
+export type { AmendmentRow, AmendmentVerdict, AmendmentResolution, AmendmentOutcome, AmendmentDecision, PlanCoverageGap } from './amendment-trace.js';
 export { DOMAIN_LIFT_EXACT, DOMAIN_LIFT_RELATED, normalizeDomain, domainMatch, applyDomainBoost, countDisplacedByCut, renderDomainBoostNote, renderDomainCutNote, } from './recall-domain-boost.js';
 export type { DomainMatch, DomainBoostResult } from './recall-domain-boost.js';
 export { DEFAULT_HELD_OUT_DOMAINS, applyExportHoldout, canonicalDomainKey, heldOutAfterOptIn, renderHoldoutNote, renderSharedStoreAdvice, decideVectorExport, } from './export-holdout.js';