@3f-consulting/spec-controller-core 0.1.0-alpha.7 → 0.1.0-alpha.70

package/dist/parse/vitest.js

@@ -1,109 +1,30 @@
-/**
- * The `ingest/vitest` reader — one of the two named observed-evidence readers
- * (the embryonic adapters, deliberately not a registry in v1). Reads Vitest's
- * JSON reporter output and normalises each assertion that cites an @SCN id into
- * an EvidenceObservation at the `unit` level.
- *
- * The level is supplied by the CALLER, not inferred: the caller states the level this Vitest
- * source yields, and the reader stamps it — no Vitest⇒unit assumption baked into the parser. The
- * JS-ecosystem default (unit) is set at the CLI edge.
- *
- * The @SCN id is the bracketed `[SCN-<FFF>-<NNN>]` token carried in the test's
- * `describe`/`it` name (the bidirectional-link rule). The bracket is what makes it a
- * citation and not a mention: this module's regex used to match any SCN-shaped token
- * anywhere in the name, so fixture data and prose cross-references cited scenarios nobody
- * meant to cite (@SCN-LDG-033, 3F-2368). The form now lives in `lib/scnCitation.ts`,
- * shared with the scn-subissue gate's cite scan so one answer serves both readers.
- *
- * Vitest surfaces the assertion's OWN name as `assertionResults[].title` and its
- * ANCESTOR PATH (describe → it) as `fullName`;
- * the citation belongs to the assertion, so the reader reads the leaf's title FIRST and
- * falls back to the ancestor path only when the leaf does not self-cite — most-specific-
- * citation-wins (@SCN-LDG-016).
- *
- * The reader classifies THREE-WAY (@SCN-PND-015), uniform with the cucumber reader
- * (@SCN-PND-013): a `passed` assertion → a `passed` observation (satisfied); a `failed`
- * assertion → a `failed` observation (failing); an INCONCLUSIVE vitest status (`skipped`/`todo`,
- * and any status ∉ {passed, failed}) → the assertion is DROPPED (no observation), so its
- * obligation reconciles missing by absence — pending is never inferred from status. A skipped/todo
- * unit test is a GAP, not a failure.
- *
- * Parent: @SCN-LDG-001 (the foundation seam; balanced path).
- */
 import { relativizeToRoot } from "../lib/portablePath.js";
 import { parseScnCitation } from "../lib/scnCitation.js";
-/**
- * Parse a Vitest JSON report into observed results at the CALLER-SUPPLIED level. One result per
- * EMITTED assertion: those carrying an @SCN id cite that scenario; those with NO id emit a
- * null-scnId credit (@SCN-LDG-007 — previously DROPPED). A null-scnId credit cites no scenario,
- * so the reconciler folds it into the SUSPENSE row. Every result carries its test-file locator.
- *
- * THREE-WAY classification (@SCN-PND-015), uniform with the cucumber reader (@SCN-PND-013) —
- * pending is NEVER inferred from status:
- *   - `passed` → a `passed` observation → satisfied.
- *   - `failed` → a `failed` observation → failing.
- *   - otherwise (`skipped`/`todo`, and any status ∉ {passed, failed}) → INCONCLUSIVE: an assertion
- *     that RAN but proved nothing. Emit NOTHING — the evidence obligation then finds no matching
- *     observation and reconciles missing BY ABSENCE.
- * Treating any non-pass-non-fail status as inconclusive keeps the reader robust to vitest's status
- * spelling (`skipped`/`todo`/`pending`). `EvidenceStatus` stays binary (no new status, no reconciler
- * change): the DROP is what realises inconclusive→missing. The uncited (null-scnId) SUSPENSE credit
- * is preserved for genuine passed/failed results — only inconclusive assertions are dropped.
- */
+import { CORE_MESSAGES, CoreMessage } from "../domain/messages.js";
 export function parseVitestEvidenceObservations(report, qualityCheck, root) {
     const results = [];
     for (const file of report.testResults ?? []) {
-        // The test-file locator (the where-to-fix) — carried on every credit (ruling
-        // Q5), made portable relative to the run root (verbatim when no root given).
-        const locator = relativizeToRoot(file.name ?? "(unknown vitest file)", root);
-        // BROKEN, NOT ABSENT (@SCN-LDG-017) — the COLLECTION FAILURE. A file that failed to collect
-        // reports `status: "failed"` WITH a message and ZERO assertionResults: it errored before it
-        // named a test. Walking `assertionResults[]` alone saw nothing to emit, so the scenario whose
-        // proof lived here reconciled `missing` — indistinguishable from an unwritten test, and the
-        // wrong remedy (write a test vs fix the harness). Emit ONE observation carrying the collection
-        // failure: `broken: true`, the file locator (WHERE to fix), and the runner's message (WHAT
-        // broke). It cites NO scenario (`scnId: null`) — a suite that named no test cites no @SCN — so
-        // the reconciler posts it to the SUSPENSE row.
-        //
-        // The signature is the PAIR (failed + zero assertions), never file status alone: an ordinary
-        // red run also reports `status: "failed"` at file level, but its assertions ARE named and
-        // attributable, and already land as `failing` on the scenarios they cite (the boundary). A
-        // green file with zero assertions is likewise not broken — nothing errored.
+        const locator = relativizeToRoot(file.name ?? CORE_MESSAGES[CoreMessage.UnknownVitestFile], root);
         const assertions = file.assertionResults ?? [];
         if (file.status === "failed" && assertions.length === 0) {
             results.push({
                 qualityCheck,
                 scnId: null,
-                // `status` is structurally required and the runner did report `failed`; the FAIL-SAFE in
-                // the reconciler checks `broken` BEFORE `status`, so this never reconciles as `failing`.
                 status: "failed",
                 locator,
                 broken: true,
-                ...(file.message !== undefined ? { message: file.message } : {}),
+                message: file.message,
             });
             continue;
         }
         for (const assertion of assertions) {
             const status = assertion.status;
-            // THREE-WAY (@SCN-PND-015): drop any inconclusive assertion (status ∉ {passed, failed}) —
-            // skipped/todo/pending/undefined proved nothing, so the obligation reconciles missing by
-            // absence. Only genuine passed/failed emit (the guard narrows `status` to EvidenceStatus).
             if (status !== "passed" && status !== "failed")
                 continue;
-            // MOST-SPECIFIC-CITATION-WINS (@SCN-LDG-016): the citation belongs to the ASSERTION, and
-            // the assertion's OWN name is `title`; `fullName` is the ancestor PATH (outermost describe
-            // → innermost it). So read the leaf's own title FIRST and fall back to the ancestor path
-            // only when the leaf does not self-cite. This preserves the "describe carries the bracket,
-            // plain `it`s beneath" style (a bare leaf falls through to the describe's citation) while
-            // letting a self-citing leaf OVERRIDE its ancestor. The retired first-match-on-
-            // `fullName + " " + title` did the opposite: a grouping describe's citation SHADOWED a
-            // self-citing child, so the leaf's scenario reconciled missing while the ancestor took a
-            // spurious SECOND credit. Semantic, not positional — last-match on the concatenation would
-            // misfire when a leaf's prose names a second scenario after its own.
             const scnId = parseScnCitation(assertion.title ?? "") ?? parseScnCitation(assertion.fullName ?? "");
             results.push({
                 qualityCheck,
-                scnId, // no BRACKETED @SCN → an uncited credit (SUSPENSE).
+                scnId,
                 status,
                 locator,
             });

package/dist/parse/vitest.js.map

@@ -1 +1 @@
-{"version":3,"file":"vitest.js","sourceRoot":"","sources":["../../src/parse/vitest.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAGH,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAyBzD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,+BAA+B,CAC7C,MAAwB,EACxB,YAAiC,EACjC,IAAa;IAEb,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAC5C,6EAA6E;QAC7E,6EAA6E;QAC7E,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,uBAAuB,EAAE,IAAI,CAAC,CAAC;QAC7E,4FAA4F;QAC5F,4FAA4F;QAC5F,8FAA8F;QAC9F,4FAA4F;QAC5F,+FAA+F;QAC/F,2FAA2F;QAC3F,+FAA+F;QAC/F,+CAA+C;QAC/C,EAAE;QACF,6FAA6F;QAC7F,0FAA0F;QAC1F,2FAA2F;QAC3F,4EAA4E;QAC5E,MAAM,UAAU,GAAG,IAAI,CAAC,gBAAgB,IAAI,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxD,OAAO,CAAC,IAAI,CAAC;gBACX,YAAY;gBACZ,KAAK,EAAE,IAAI;gBACX,yFAAyF;gBACzF,yFAAyF;gBACzF,MAAM,EAAE,QAAQ;gBAChB,OAAO;gBACP,MAAM,EAAE,IAAI;gBACZ,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACjE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;YAChC,0FAA0F;YAC1F,yFAAyF;YACzF,2FAA2F;YAC3F,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,QAAQ;gBAAE,SAAS;YACzD,yFAAyF;YACzF,2FAA2F;YAC3F,yFAAyF;YACzF,2FAA2F;YAC3F,0FAA0F;YAC1F,gFAAgF;YAChF,uFAAuF;YACvF,yFAAyF;YACzF,2FAA2F;YAC3F,qEAAqE;YACrE,MAAM,KAAK,GACT,gBAAgB,CAAC,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,gBAAgB,CAAC,SAAS,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;YACxF,OAAO,CAAC,IAAI,CAAC;gBACX,YAAY;gBACZ,KAAK,EAAE,oDAAoD;gBAC3D,MAAM;gBACN,OAAO;aACR,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}
+{"version":3,"file":"vitest.js","sourceRoot":"","sources":["../../src/parse/vitest.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAenE,MAAM,UAAU,+BAA+B,CAC7C,MAAwB,EACxB,YAAiC,EACjC,IAAa;IAEb,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,aAAa,CAAC,WAAW,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC,CAAC;QAClG,MAAM,UAAU,GAAG,IAAI,CAAC,gBAAgB,IAAI,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxD,OAAO,CAAC,IAAI,CAAC;gBACX,YAAY;gBACZ,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE,QAAQ;gBAChB,OAAO;gBACP,MAAM,EAAE,IAAI;gBACZ,OAAO,EAAE,IAAI,CAAC,OAAO;aACtB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;YAChC,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,QAAQ;gBAAE,SAAS;YACzD,MAAM,KAAK,GACT,gBAAgB,CAAC,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,gBAAgB,CAAC,SAAS,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;YACxF,OAAO,CAAC,IAAI,CAAC;gBACX,YAAY;gBACZ,KAAK;gBACL,MAAM;gBACN,OAAO;aACR,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/provenance/provenance.d.ts

@@ -1,30 +1,3 @@
-/**
- * The RunContext — run provenance threaded CLI→renderers as a SIBLING to the pure
- * Ledger, never folded into it. The Ledger model carries obligation-vs-observation
- * reconciliation only; run metadata — the input paths/flags used, the target repo, the
- * UTC run timestamp, the source SHA — is a separate concern carried alongside.
- *
- * Built once in the CLI (reusing the existing runStart; the target is the verbatim
- * --target) and threaded renderMarkdown(balance, ctx) / writeOutputs(... ctx);
- * it is threaded to renderJson too. The shared provenance projection (consumed by
- * the markdown header here and the JSON object) lives here so the two surfaces
- * never drift. This is the PURE provenance projection — the impure `resolveSourceSha` /
- * `resolveTargetRoot` git reads live in `run-management/resolveRunInputs.ts`.
- *
- * Parent: (@SCN-RPT-001).
- */
-/**
- * The CLI input paths/flags actually used for a run — each optional; only the ones
- * the operator supplied are present. The same --features/--vitest/--cucumber/--ci/
- * --package-json/--ci-steps seams as the CLI's ReconcileOptions.
- *
- * The converted checks' credit stream joined the interface at 3F-3184 (@SCN-RPT-027). It was
- * ALREADY flowing through it: `reconcileInputsOf` builds one ReconcileOptions and that same
- * object is assigned to `ctx.inputs`, so structural typing let the stream ride along unseen and
- * the block simply never named it. It is optional by design — passed only where the file
- * exists — which is exactly why its silence was ambiguous between "the run never got it" and
- * "the run got it and the block does not say so".
- */
 export interface RunInputs {
     features?: string;
     vitest?: string;
@@ -33,120 +6,39 @@ export interface RunInputs {
     packageJson?: string;
     ciSteps?: string;
 }
-/**
- * Run provenance — the sibling argument threaded CLI→renderers. `sourceSha` is the
- * target's resolved source revision, or null when unknown (a non-git target with no
- * --source-sha override).
- */
 export interface RunContext {
-    /** The target-repo name — the verbatim --target, or "unknown-target" on omit. */
     target: string;
-    /** The CLI input paths/flags actually used. */
     inputs: RunInputs;
-    /** The run-start instant — the same Date that names the run dir. */
     runStart: Date;
-    /** The target's source SHA, or null when unknown (non-git target). */
     sourceSha: string | null;
-    /**
-     * The TOOL's own git SHA — which spec-controller produced this run (3F-1916),
-     * distinct from the target's `sourceSha`. Null when the tool is not a git checkout
-     * (an installed package). OPTIONAL on the ctx: fixtures that do not exercise
-     * tool-provenance omit it and the projection defaults it to null; the CLI always
-     * resolves it via `resolveToolIdentity`.
-     */
     toolSha?: string | null;
-    /**
-     * The TOOL's package version — always resolvable (read from the tool's own
-     * package.json), so it attributes a run even when no git SHA is available. OPTIONAL
-     * on the ctx (defaults to "unknown" in the projection); the CLI always sets it.
-     */
     toolVersion?: string;
-    /**
-     * The run root the recorded input paths are made relative to — the exact
-     * parallel of `countRuntimeEvidenceObservationKinds`'s root. Opt-in: when omitted, input paths are
-     * recorded verbatim (existing ctx fixtures unchanged). The CLI sets it to the target
-     * root (reconcile runs with cwd = the target repo root), so an absolute input path
-     * under that root is recorded relative — a banked artefact stays portable.
-     */
     root?: string;
+    strict?: boolean;
 }
-/** One input flag actually used, as the flag handle + the value the operator gave. */
 export interface ProvenanceInput {
     flag: string;
     value: string;
 }
-/**
- * The provenance FACTS — the single projection both report surfaces share so they
- * never drift (project design §1; slice design "Provenance projection"). The
- * markdown header formats it; the JSON `provenance` object will
- * serialise the same facts. `runStartUtc` is second-precision UTC; `sourceSha` is
- * carried raw (null preserved — markdown renders the null explicitly, JSON keeps it).
- */
 export interface ProvenanceFacts {
     target: string;
     inputs: ProvenanceInput[];
     runStartUtc: string;
     sourceSha: string | null;
-    /** The tool's own SHA — which spec-controller produced the run (3F-1916); null when not a git checkout. */
     toolSha: string | null;
-    /** The tool's package version — always present. */
     toolVersion: string;
-    /**
-     * The canonical input flags the run did NOT receive — the complement of `inputs` over
-     * INPUT_FLAGS, in the same canonical order (@SCN-RPT-028, 3F-3155). @SCN-RPT-027 made the
-     * block name every stream a run was handed, which killed the "handed it and the block does
-     * not say so" reading; it left the other one alive, because absence from a list only informs
-     * a reader who already holds the list. Naming the flags with no value is what makes the page
-     * self-describing about the streams it did not get.
-     *
-     * PRESENTATION ONLY, AND THAT IS A RULING. It lives here and NOT on `ProvenanceObject`,
-     * because the JSON persists a fact iff it is not derivable (see that interface) and absence
-     * is exactly derivable — `inputs` plus this file's canonical flag list determines it. A
-     * second persisted copy would agree with the first only until one of them was edited.
-     */
     absentInputs: string[];
 }
-/**
- * The provenance OBJECT — the canonical projection of a RunContext to the
- * non-derivable run facts, the single shape both report surfaces consume so they
- * never drift (project design §1, §3; slice design "Provenance projection"). The
- * JSON `provenance` object serialises this verbatim ({ provenance, scenarios, warnings });
- * `projectProvenance` below derives the markdown header's presentation form from the
- * SAME source. `runTimestamp` is second-precision UTC; `inputs` carries only the flags
- * actually used (keyed by their canonical name); `sourceSha` is raw (null preserved).
- */
 export interface ProvenanceObject {
     target: string;
     sourceSha: string | null;
-    /** The tool's own SHA (3F-1916) — which spec-controller produced the run; null when not a git checkout. */
     toolSha: string | null;
-    /** The tool's package version — always present. */
     toolVersion: string;
     runTimestamp: string;
     inputs: RunInputs;
+    strict?: boolean;
 }
-/**
- * Project a RunContext to the canonical provenance object. The one helper the JSON
- * surface serialises and the markdown header (via `projectProvenance`) derives from —
- * the timestamp formatting, the source SHA, and the input-presence selection live here
- * once, so the two surfaces project the same ctx without duplicating field logic.
- */
 export declare function provenanceObject(ctx: RunContext): ProvenanceObject;
-/**
- * Project a canonical provenance OBJECT to the markdown header's presentation FACTS —
- * inputs as ordered `{flag, value}` pairs, the UTC timestamp as `runStartUtc`. This is
- * the projection that needs no `RunContext`: the markdown renderer reads it off the shared
- * report model's `runProvenance` (already a `ProvenanceObject`), so the human header and
- * the JSON object project the SAME facts without re-touching the ctx (slice 3's
- * render-from-saved-JSON path calls this directly). `projectProvenance(ctx)` delegates here.
- */
 export declare function projectProvenanceObject(obj: ProvenanceObject): ProvenanceFacts;
-/**
- * Project a RunContext to the markdown header's provenance facts — the presentation
- * form (inputs as ordered `{flag, value}` pairs, the UTC timestamp as `runStartUtc`).
- * Derived from the canonical `provenanceObject` (then `projectProvenanceObject`) so the
- * markdown header and the JSON object share the same timestamp, source SHA, and
- * input-presence selection (no re-derivation).
- */
 export declare function projectProvenance(ctx: RunContext): ProvenanceFacts;
 //# sourceMappingURL=provenance.d.ts.map

package/dist/provenance/provenance.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"provenance.d.ts","sourceRoot":"","sources":["../../src/provenance/provenance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAIH;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,iFAAiF;IACjF,MAAM,EAAE,MAAM,CAAC;IACf,+CAA+C;IAC/C,MAAM,EAAE,SAAS,CAAC;IAClB,oEAAoE;IACpE,QAAQ,EAAE,IAAI,CAAC;IACf,sEAAsE;IACtE,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;;OAMG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAgBD,sFAAsF;AACtF,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;GAMG;AACH,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,2GAA2G;IAC3G,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,mDAAmD;IACnD,WAAW,EAAE,MAAM,CAAC;IACpB;;;;;;;;;;;;OAYG;IACH,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AA2BD;;;;;;;;GAQG;AACH,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,2GAA2G;IAC3G,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,mDAAmD;IACnD,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,SAAS,CAAC;CACnB;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,UAAU,GAAG,gBAAgB,CAWlE;AAED;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,gBAAgB,GAAG,eAAe,CAwB9E;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,UAAU,GAAG,eAAe,CAElE"}
+{"version":3,"file":"provenance.d.ts","sourceRoot":"","sources":["../../src/provenance/provenance.ts"],"names":[],"mappings":"AAEA,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,SAAS,CAAC;IAClB,QAAQ,EAAE,IAAI,CAAC;IACf,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAWD,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAiBD,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,SAAS,CAAC;IAClB,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,UAAU,GAAG,gBAAgB,CAUlE;AAED,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,gBAAgB,GAAG,eAAe,CAoB9E;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,UAAU,GAAG,eAAe,CAElE"}

package/dist/provenance/provenance.js

@@ -1,45 +1,15 @@
-/**
- * The RunContext — run provenance threaded CLI→renderers as a SIBLING to the pure
- * Ledger, never folded into it. The Ledger model carries obligation-vs-observation
- * reconciliation only; run metadata — the input paths/flags used, the target repo, the
- * UTC run timestamp, the source SHA — is a separate concern carried alongside.
- *
- * Built once in the CLI (reusing the existing runStart; the target is the verbatim
- * --target) and threaded renderMarkdown(balance, ctx) / writeOutputs(... ctx);
- * it is threaded to renderJson too. The shared provenance projection (consumed by
- * the markdown header here and the JSON object) lives here so the two surfaces
- * never drift. This is the PURE provenance projection — the impure `resolveSourceSha` /
- * `resolveTargetRoot` git reads live in `run-management/resolveRunInputs.ts`.
- *
- * Parent: (@SCN-RPT-001).
- */
 import { relativizeToRoot } from "../lib/portablePath.js";
-/** The canonical input flags, in render order, mapped to their RunInputs key. */
 const INPUT_FLAGS = [
     { key: "features", flag: "--features" },
     { key: "vitest", flag: "--vitest" },
     { key: "cucumber", flag: "--cucumber" },
     { key: "ci", flag: "--ci" },
     { key: "packageJson", flag: "--package-json" },
-    // APPENDED, so no flag that was already rendered moves (@SCN-RPT-027). Widening this
-    // list is the whole of the change: `presentInputs`, `provenanceObject`,
-    // `projectProvenanceObject`, the markdown header and the JSON object all iterate it, so
-    // the two surfaces gain the stream in step and neither can drift from the other.
     { key: "ciSteps", flag: "--ci-steps" },
 ];
-/** Format an instant as second-precision UTC, e.g. `2026-06-27T08:17:53Z`. */
 function formatUtc(instant) {
-    return instant.toISOString().replace(/\.\d+Z$/, "Z");
+    return instant.toISOString().replace(/\.\d+Z/, "Z");
 }
-/**
- * The inputs actually used — RunInputs filtered to the present, non-empty values, in
- * canonical flag order, each made PORTABLE relative to the run `root`. The
- * single input-presence + portability selection both surfaces share: the JSON
- * `provenance.inputs` object serialises it directly; the markdown header derives its
- * `{flag, value}` lines from it. A present value is relativized via `relativizeToRoot`
- * (absolute-under-root → relative; otherwise verbatim — see the helper); only its
- * presence is tested before recording.
- */
 function presentInputs(inputs, root) {
     const out = {};
     for (const { key } of INPUT_FLAGS) {
@@ -50,38 +20,19 @@ function presentInputs(inputs, root) {
     }
     return out;
 }
-/**
- * Project a RunContext to the canonical provenance object. The one helper the JSON
- * surface serialises and the markdown header (via `projectProvenance`) derives from —
- * the timestamp formatting, the source SHA, and the input-presence selection live here
- * once, so the two surfaces project the same ctx without duplicating field logic.
- */
 export function provenanceObject(ctx) {
     return {
         target: ctx.target,
         sourceSha: ctx.sourceSha,
-        // The tool identity (3F-1916), defaulted for ctx fixtures that omit it; the CLI
-        // always sets both via resolveToolIdentity.
         toolSha: ctx.toolSha ?? null,
         toolVersion: ctx.toolVersion ?? "unknown",
         runTimestamp: formatUtc(ctx.runStart),
         inputs: presentInputs(ctx.inputs, ctx.root),
+        strict: ctx.strict === true,
     };
 }
-/**
- * Project a canonical provenance OBJECT to the markdown header's presentation FACTS —
- * inputs as ordered `{flag, value}` pairs, the UTC timestamp as `runStartUtc`. This is
- * the projection that needs no `RunContext`: the markdown renderer reads it off the shared
- * report model's `runProvenance` (already a `ProvenanceObject`), so the human header and
- * the JSON object project the SAME facts without re-touching the ctx (slice 3's
- * render-from-saved-JSON path calls this directly). `projectProvenance(ctx)` delegates here.
- */
 export function projectProvenanceObject(obj) {
     const inputs = [];
-    // The flags with no value, derived in the SAME pass over the SAME canonical list that
-    // produces the flags with one (@SCN-RPT-028). One list, one traversal, two complementary
-    // outputs — so a flag can never be named on both lines, nor missing from both, and adding
-    // another input flag reaches the absence line without anyone remembering to.
     const absentInputs = [];
     for (const { key, flag } of INPUT_FLAGS) {
         const value = obj.inputs[key];
@@ -102,13 +53,6 @@ export function projectProvenanceObject(obj) {
         toolVersion: obj.toolVersion,
     };
 }
-/**
- * Project a RunContext to the markdown header's provenance facts — the presentation
- * form (inputs as ordered `{flag, value}` pairs, the UTC timestamp as `runStartUtc`).
- * Derived from the canonical `provenanceObject` (then `projectProvenanceObject`) so the
- * markdown header and the JSON object share the same timestamp, source SHA, and
- * input-presence selection (no re-derivation).
- */
 export function projectProvenance(ctx) {
     return projectProvenanceObject(provenanceObject(ctx));
 }

package/dist/provenance/provenance.js.map

@@ -1 +1 @@
-{"version":3,"file":"provenance.js","sourceRoot":"","sources":["../../src/provenance/provenance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AA6D1D,iFAAiF;AACjF,MAAM,WAAW,GAAsD;IACrE,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;IACvC,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE;IACnC,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;IACvC,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE;IAC3B,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,gBAAgB,EAAE;IAC9C,qFAAqF;IACrF,wEAAwE;IACxE,wFAAwF;IACxF,iFAAiF;IACjF,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE;CACvC,CAAC;AAwCF,8EAA8E;AAC9E,SAAS,SAAS,CAAC,OAAa;IAC9B,OAAO,OAAO,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;AACvD,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,aAAa,CAAC,MAAiB,EAAE,IAAwB;IAChE,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,MAAM,EAAE,GAAG,EAAE,IAAI,WAAW,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACrD,GAAG,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAsBD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAe;IAC9C,OAAO;QACL,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,gFAAgF;QAChF,4CAA4C;QAC5C,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,IAAI;QAC5B,WAAW,EAAE,GAAG,CAAC,WAAW,IAAI,SAAS;QACzC,YAAY,EAAE,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC;QACrC,MAAM,EAAE,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;KAC5C,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CAAC,GAAqB;IAC3D,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,sFAAsF;IACtF,yFAAyF;IACzF,0FAA0F;IAC1F,6EAA6E;IAC7E,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,KAAK,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,WAAW,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO;QACL,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,MAAM;QACN,YAAY;QACZ,WAAW,EAAE,GAAG,CAAC,YAAY;QAC7B,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,WAAW,EAAE,GAAG,CAAC,WAAW;KAC7B,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAe;IAC/C,OAAO,uBAAuB,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC;AACxD,CAAC"}
+{"version":3,"file":"provenance.js","sourceRoot":"","sources":["../../src/provenance/provenance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAsB1D,MAAM,WAAW,GAAsD;IACrE,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;IACvC,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE;IACnC,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;IACvC,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE;IAC3B,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,gBAAgB,EAAE;IAC9C,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE;CACvC,CAAC;AAiBF,SAAS,SAAS,CAAC,OAAa;IAC9B,OAAO,OAAO,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,aAAa,CAAC,MAAiB,EAAE,IAAwB;IAChE,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,MAAM,EAAE,GAAG,EAAE,IAAI,WAAW,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACrD,GAAG,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAYD,MAAM,UAAU,gBAAgB,CAAC,GAAe;IAC9C,OAAO;QACL,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,IAAI;QAC5B,WAAW,EAAE,GAAG,CAAC,WAAW,IAAI,SAAS;QACzC,YAAY,EAAE,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC;QACrC,MAAM,EAAE,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;QAC3C,MAAM,EAAE,GAAG,CAAC,MAAM,KAAK,IAAI;KAC5B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,GAAqB;IAC3D,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,KAAK,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,WAAW,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO;QACL,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,MAAM;QACN,YAAY;QACZ,WAAW,EAAE,GAAG,CAAC,YAAY;QAC7B,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,WAAW,EAAE,GAAG,CAAC,WAAW;KAC7B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,GAAe;IAC/C,OAAO,uBAAuB,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC;AACxD,CAAC"}

package/dist/render/behaviouralRunners.d.ts

@@ -1,32 +1,3 @@
-/**
- * THE BEHAVIOURAL RUNNERS a run recognised (@SCN-USG-011) — the tier a consumer named, the runner
- * they named for it, and the step of their pipeline it was recognised at.
- *
- * WHY THE REPORT SAYS IT AT ALL. A recognition rule over somebody else's pipeline will be wrong
- * sometimes, and the question is only whether being wrong is VISIBLE. Naming the steps this reader
- * recognised is what makes it so: a consumer reads the row, sees a step they know is a fitness
- * check, and corrects it in one line of their own configuration. Silence here would put the rule
- * back where the prefix set was — a judgement nobody can see being made. Since @SCN-USG-004 the
- * same recognition also DECIDES membership rather than only reporting it, which is what makes the
- * visibility load-bearing instead of courteous.
- *
- * Its own module rather than a further section in `markdown.ts`, which sits at a `max-lines`
- * exception — and an exception excuses existing debt, never headroom. The precedent is
- * `runVerdict.ts`, moved out for exactly this reason.
- */
 import type { RenderInput } from "../assemble/renderInput.js";
-/**
- * The recognised-runner cut and the account of the tiers it recognised none for, or nothing at all.
- *
- * OMITTED WHEN THE TARGET HAS SAID NOTHING, which is every target carrying no runner block: the
- * section appears when the target named something and the report is otherwise byte-identical to
- * what it was. This section speaks only for a target that has spoken.
- *
- * AND THE SILENCE IS THE RIGHT ANSWER FOR THE ONE THAT HAS NOT (@SCN-USG-017), which was an open
- * question when the omission was written and is now settled by the scenario that asked it. What a
- * `new-client` is owed is every step of their pipeline on the books, which the observer gives them;
- * a section here would have nothing to report but four tiers nobody named, and printing it would
- * turn an absence the tool supports into a form the report asks them to fill in.
- */
 export declare const behaviouralRunnersSection: (report: RenderInput) => string[];
 //# sourceMappingURL=behaviouralRunners.d.ts.map

package/dist/render/behaviouralRunners.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"behaviouralRunners.d.ts","sourceRoot":"","sources":["../../src/render/behaviouralRunners.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAqD9D;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,yBAAyB,GAAI,QAAQ,WAAW,KAAG,MAAM,EAsBrE,CAAC"}
+{"version":3,"file":"behaviouralRunners.d.ts","sourceRoot":"","sources":["../../src/render/behaviouralRunners.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAmB9D,eAAO,MAAM,yBAAyB,GAAI,QAAQ,WAAW,KAAG,MAAM,EAoBrE,CAAC"}

package/dist/render/behaviouralRunners.js

@@ -1,88 +1,25 @@
-/**
- * THE BEHAVIOURAL RUNNERS a run recognised (@SCN-USG-011) — the tier a consumer named, the runner
- * they named for it, and the step of their pipeline it was recognised at.
- *
- * WHY THE REPORT SAYS IT AT ALL. A recognition rule over somebody else's pipeline will be wrong
- * sometimes, and the question is only whether being wrong is VISIBLE. Naming the steps this reader
- * recognised is what makes it so: a consumer reads the row, sees a step they know is a fitness
- * check, and corrects it in one line of their own configuration. Silence here would put the rule
- * back where the prefix set was — a judgement nobody can see being made. Since @SCN-USG-004 the
- * same recognition also DECIDES membership rather than only reporting it, which is what makes the
- * visibility load-bearing instead of courteous.
- *
- * Its own module rather than a further section in `markdown.ts`, which sits at a `max-lines`
- * exception — and an exception excuses existing debt, never headroom. The precedent is
- * `runVerdict.ts`, moved out for exactly this reason.
- */
 import { RUNTIME_QUALITY_CHECKS } from "../domain/ledger.js";
-/**
- * WHAT THE TARGET SAID ABOUT THE TIERS NO RUNNER WAS NAMED FOR (@SCN-USG-016) — one line each, and
- * two different lines, because a tier the target says it HAS none and a tier it never mentioned are
- * opposite facts. Neither recognises a step and neither excludes one, so this is the only place in
- * the whole run where the difference between them is readable.
- *
- * AND THE UNNAMED LINE IS WHAT MAKES THE NULL WORTH WRITING. Without it a consumer who states
- * `"performance": null` gets the report they would have got by saying nothing, and no reason to
- * ever write it; with it, the tool says out loud that it has not been told, and the null is the
- * answer. That is the same asymmetry the whole axis runs on — say what was seen and what was not,
- * and let the consumer correct it in one line of their own configuration.
- *
- * THE FOUR TIERS ARE CANON AND ARE NOT A LIST THIS MODULE KEEPS. `RUNTIME_QUALITY_CHECKS` is the
- * ledger's own enumeration of the runtime tiers, read here rather than restated: a second copy
- * would agree by coincidence, and this axis's whole argument is that a list of names is the drift.
- *
- * A NAMED TIER IS NOT ACCOUNTED FOR HERE, whether or not a step was recognised for it. What a
- * target that named a runner nothing runs is owed stays the open question the section below
- * already deferred; naming a runner is not saying you have none.
- */
+import { CORE_MESSAGES, CoreMessage } from "../domain/messages.js";
 const runnerTierAccount = (runnerTiers) => runnerTiers === undefined
     ? []
     : RUNTIME_QUALITY_CHECKS.filter((tier) => typeof runnerTiers[tier] !== "string").map((tier) => Object.hasOwn(runnerTiers, tier)
-        ? `- ${tier} — no runner: the target names none.`
-        : `- ${tier} — unnamed: the target has not said.`);
-/**
- * THE KEYS THE RUNNER BLOCK WAS GIVEN THAT ARE NOT TIERS (@SCN-USG-019) — one line each, naming the
- * key and saying what it did.
- *
- * THE LINE EXISTS BECAUSE THE ALTERNATIVE IS SILENCE, and silence here is the same fault as a
- * dropped step: the consumer wrote a key, believes it took effect, and nothing they can read says
- * otherwise. The key is not honoured — the resolver partitioned it out before any recognition ran —
- * so the only remaining question was whether they get to find that out, and this is the answer.
- *
- * IT SAYS WHAT THE KEY DID, NOT ONLY THAT IT WAS SEEN. "Excludes nothing" is the fact a consumer
- * needs to act on: they wrote it to take a check out of discovery, that is precisely what it did
- * not do, and the check is on the books below where they can read it.
- */
-const unrecognisedKeyAccount = (keys) => (keys ?? []).map((key) => `- ${key} — not a tier: the runner block is keyed by the four canon tiers, and this key excludes nothing.`);
-/**
- * The recognised-runner cut and the account of the tiers it recognised none for, or nothing at all.
- *
- * OMITTED WHEN THE TARGET HAS SAID NOTHING, which is every target carrying no runner block: the
- * section appears when the target named something and the report is otherwise byte-identical to
- * what it was. This section speaks only for a target that has spoken.
- *
- * AND THE SILENCE IS THE RIGHT ANSWER FOR THE ONE THAT HAS NOT (@SCN-USG-017), which was an open
- * question when the omission was written and is now settled by the scenario that asked it. What a
- * `new-client` is owed is every step of their pipeline on the books, which the observer gives them;
- * a section here would have nothing to report but four tiers nobody named, and printing it would
- * turn an absence the tool supports into a form the report asks them to fill in.
- */
+        ? `- ${CORE_MESSAGES[CoreMessage.RunnerTierNamesNone](tier)}`
+        : `- ${CORE_MESSAGES[CoreMessage.RunnerTierUnnamed](tier)}`);
+const unrecognisedKeyAccount = (keys) => (keys ?? []).map((key) => `- ${CORE_MESSAGES[CoreMessage.RunnerKeyNotATier](key)}`);
 export const behaviouralRunnersSection = (report) => {
     const runners = report.summary.behaviouralRunners ?? [];
     const account = [
         ...runnerTierAccount(report.summary.runnerTiers),
-        // AFTER THE TIERS, because the four are the block's subject and an unrecognised key is what was
-        // written beside them. A consumer reads down the canon set and then what did not belong to it.
         ...unrecognisedKeyAccount(report.summary.unrecognisedRunnerKeys),
     ];
     if (runners.length === 0 && account.length === 0)
         return [];
     return [
-        "### Behavioural runners",
+        CORE_MESSAGES[CoreMessage.BehaviouralRunnersHeading],
         "",
         ...(runners.length > 0
             ? [
-                "| Tier | Runner | Recognised at |",
+                CORE_MESSAGES[CoreMessage.BehaviouralRunnersTableHeader],
                 "| --- | --- | --- |",
                 ...runners.map(({ tier, runner, step }) => `| ${tier} | ${runner} | ${step} |`),
                 "",

package/dist/render/behaviouralRunners.js.map

@@ -1 +1 @@
-{"version":3,"file":"behaviouralRunners.js","sourceRoot":"","sources":["../../src/render/behaviouralRunners.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAE7D;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,iBAAiB,GAAG,CACxB,WAAgE,EACtD,EAAE,CACZ,WAAW,KAAK,SAAS;IACvB,CAAC,CAAC,EAAE;IACJ,CAAC,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,WAAW,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC1F,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC;QAC9B,CAAC,CAAC,KAAK,IAAI,sCAAsC;QACjD,CAAC,CAAC,KAAK,IAAI,sCAAsC,CACpD,CAAC;AAER;;;;;;;;;;;;GAYG;AACH,MAAM,sBAAsB,GAAG,CAAC,IAAmC,EAAY,EAAE,CAC/E,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CACd,CAAC,GAAG,EAAE,EAAE,CACN,KAAK,GAAG,kGAAkG,CAC7G,CAAC;AAEJ;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,MAAmB,EAAY,EAAE;IACzE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,kBAAkB,IAAI,EAAE,CAAC;IACxD,MAAM,OAAO,GAAG;QACd,GAAG,iBAAiB,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;QAChD,gGAAgG;QAChG,+FAA+F;QAC/F,GAAG,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC;KACjE,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5D,OAAO;QACL,yBAAyB;QACzB,EAAE;QACF,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YACpB,CAAC,CAAC;gBACE,mCAAmC;gBACnC,qBAAqB;gBACrB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,MAAM,IAAI,IAAI,CAAC;gBAC/E,EAAE;aACH;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAChD,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"behaviouralRunners.js","sourceRoot":"","sources":["../../src/render/behaviouralRunners.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEnE,MAAM,iBAAiB,GAAG,CACxB,WAAgE,EACtD,EAAE,CACZ,WAAW,KAAK,SAAS;IACvB,CAAC,CAAC,EAAE;IACJ,CAAC,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,WAAW,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC1F,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC;QAC9B,CAAC,CAAC,KAAK,aAAa,CAAC,WAAW,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,EAAE;QAC7D,CAAC,CAAC,KAAK,aAAa,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,EAAE,CAC9D,CAAC;AAER,MAAM,sBAAsB,GAAG,CAAC,IAAmC,EAAY,EAAE,CAC/E,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAClB,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,aAAa,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAEnE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,MAAmB,EAAY,EAAE;IACzE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,kBAAkB,IAAI,EAAE,CAAC;IACxD,MAAM,OAAO,GAAG;QACd,GAAG,iBAAiB,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;QAChD,GAAG,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC;KACjE,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5D,OAAO;QACL,aAAa,CAAC,WAAW,CAAC,yBAAyB,CAAC;QACpD,EAAE;QACF,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YACpB,CAAC,CAAC;gBACE,aAAa,CAAC,WAAW,CAAC,6BAA6B,CAAC;gBACxD,qBAAqB;gBACrB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,KAAK,IAAI,MAAM,MAAM,MAAM,IAAI,IAAI,CAAC;gBAC/E,EAAE;aACH;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAChD,CAAC;AACJ,CAAC,CAAC"}

package/dist/render/configurationNotRead.d.ts

@@ -0,0 +1,3 @@
+import type { RenderInput } from "../assemble/renderInput.js";
+export declare const configurationNotReadSection: (report: RenderInput) => string[];
+//# sourceMappingURL=configurationNotRead.d.ts.map

package/dist/render/configurationNotRead.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"configurationNotRead.d.ts","sourceRoot":"","sources":["../../src/render/configurationNotRead.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAG9D,eAAO,MAAM,2BAA2B,GAAI,QAAQ,WAAW,KAAG,MAAM,EAiBvE,CAAC"}

package/dist/render/configurationNotRead.js

@@ -0,0 +1,17 @@
+import { CORE_MESSAGES, CoreMessage } from "../domain/messages.js";
+export const configurationNotReadSection = (report) => {
+    const wrongKinds = report.summary.wrongKindConfiguration ?? [];
+    const unknownKeys = report.summary.unknownConfigurationKeys ?? [];
+    if (wrongKinds.length === 0 && unknownKeys.length === 0)
+        return [];
+    return [
+        CORE_MESSAGES[CoreMessage.ConfigurationNotReadHeading],
+        "",
+        CORE_MESSAGES[CoreMessage.ConfigurationNotReadIntro],
+        "",
+        ...wrongKinds.map(({ entry, is, reads }) => `- ${CORE_MESSAGES[CoreMessage.ConfigurationWrongKind](`\`${entry}\``, is, reads)}`),
+        ...unknownKeys.map((key) => `- ${CORE_MESSAGES[CoreMessage.ConfigurationUnknownKey](`\`specController.${key}\``)}`),
+        "",
+    ];
+};
+//# sourceMappingURL=configurationNotRead.js.map

package/dist/render/configurationNotRead.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"configurationNotRead.js","sourceRoot":"","sources":["../../src/render/configurationNotRead.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEnE,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,MAAmB,EAAY,EAAE;IAC3E,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,sBAAsB,IAAI,EAAE,CAAC;IAC/D,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,wBAAwB,IAAI,EAAE,CAAC;IAClE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACnE,OAAO;QACL,aAAa,CAAC,WAAW,CAAC,2BAA2B,CAAC;QACtD,EAAE;QACF,aAAa,CAAC,WAAW,CAAC,yBAAyB,CAAC;QACpD,EAAE;QACF,GAAG,UAAU,CAAC,GAAG,CACf,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,aAAa,CAAC,WAAW,CAAC,sBAAsB,CAAC,CAAC,KAAK,KAAK,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,CAC9G;QACD,GAAG,WAAW,CAAC,GAAG,CAChB,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,aAAa,CAAC,WAAW,CAAC,uBAAuB,CAAC,CAAC,oBAAoB,GAAG,IAAI,CAAC,EAAE,CAChG;QACD,EAAE;KACH,CAAC;AACJ,CAAC,CAAC"}

package/dist/render/discoveryScope.d.ts

@@ -1,40 +1,3 @@
-/**
- * THE SCOPE THIS RUN RANGED OVER (@SCN-USG-020) — the workflow files `--ci` resolved, the jobs
- * within them, how many steps each held and how many of those became candidate fitness checks.
- *
- * THE SECTION IS THE TOOL'S ANSWER TO BEING POINTED AT THE WRONG THING. It makes no judgement
- * about whether a scope is a plausible one — a rule for "this looks like a release workflow" is
- * exactly the judgement this axis puts out of scope, and it is a list of ours. What it does
- * instead is say what it read, so a consumer sees a workflow they did not mean or a job they
- * forgot they had, and corrects it by narrowing `--ci` or by naming the steps that are not checks.
- *
- * AND IT IS WHERE THE QUIET JOB BECOMES VISIBLE. Every other cut of this report is about steps
- * that became something; this one is about the pipeline the steps came out of, so a job whose
- * every step was taken out — and a job the consumer forgot the tool could not see — reads here
- * and nowhere else.
- *
- * A TABLE RATHER THAN A LINE PER JOB, because four facts per row is what a reader compares down a
- * column: two jobs of one file, or the two figures of one job, are read against each other rather
- * than one sentence at a time. `behaviouralRunners.ts` takes the same shape for the same reason.
- *
- * Its own module rather than a further section in `markdown.ts`, which sits at a `max-lines`
- * exception — and an exception excuses existing debt, never headroom. The precedent is
- * `runVerdict.ts` and, along this axis, `behaviouralRunners.ts`, `excludedSteps.ts` and
- * `reconcilerSteps.ts`.
- */
 import type { RenderInput } from "../assemble/renderInput.js";
-/**
- * The scope, or nothing at all.
- *
- * OMITTED WHERE THE RUN READ NO CI CONFIGURATION, which is the only way the census can be empty:
- * the section appears wherever there is a pipeline to account for, and a run handed none renders
- * byte-identically to before.
- *
- * A SOURCE THIS RUN WAS GIVEN NO NAME FOR STILL GETS ITS ROW, with an empty cell where the file
- * would be. The core holds no filesystem and the names arrive as data from the CLI edge
- * (`parse/stepNames`), so an unnamed source is one nobody could name rather than one nothing read
- * — and dropping its jobs would be a job the reader ranged over vanishing from the account of what
- * it ranged over, which is the silence this axis exists to end.
- */
 export declare const discoveryScopeSection: (report: RenderInput) => string[];
 //# sourceMappingURL=discoveryScope.d.ts.map

package/dist/render/discoveryScope.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"discoveryScope.d.ts","sourceRoot":"","sources":["../../src/render/discoveryScope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAE9D;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,qBAAqB,GAAI,QAAQ,WAAW,KAAG,MAAM,EAcjE,CAAC"}
+{"version":3,"file":"discoveryScope.d.ts","sourceRoot":"","sources":["../../src/render/discoveryScope.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAG9D,eAAO,MAAM,qBAAqB,GAAI,QAAQ,WAAW,KAAG,MAAM,EAcjE,CAAC"}