@3f-consulting/spec-controller-core 0.1.0-alpha.4 → 0.1.0-alpha.6

package/dist/provenance/provenance.js

@@ -24,8 +24,7 @@ const INPUT_FLAGS = [
     // 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 streams in step and neither can drift from the other.
-    { key: "measurements", flag: "--measurements" },
+    // 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`. */
@@ -82,7 +81,7 @@ export function projectProvenanceObject(obj) {
     // 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
-    // an eighth input flag reaches the absence line without anyone remembering to.
+    // 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];

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;AAgE1D,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,kFAAkF;IAClF,EAAE,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,gBAAgB,EAAE;IAC/C,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,+EAA+E;IAC/E,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;;;;;;;;;;;;;;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"}

package/dist/render/evidenceGrid.d.ts

@@ -0,0 +1,45 @@
+/**
+ * THE LEDGER'S EVIDENCE GRID — the corpus-driven evidence columns the Scenario Reconciliations table
+ * gains when the runtime-observation axis is in play, and the two-sided cell under each.
+ *
+ * Its own module rather than a block in `markdown.ts`, moved out whole at 3F-3524 so the ledger
+ * section's split into functions under the complexity and function-length ceilings did not push
+ * the file past its `max-lines`; `staticChecks.ts` and `runVerdict.ts` are the precedent. NOTHING
+ * about the grid changed in the move: same columns, same headers, same cells.
+ */
+import type { ScenarioReconciliation, RuntimeQualityCheck } from "../model.js";
+/**
+ * One corpus-driven evidence column in the ledger: the lint (static) column,
+ * or a runtime quality-check column. The column SET is corpus-driven — only the quality-checks
+ * the run raises or observes appear, so e2e / performance show up only when present.
+ */
+export type EvidenceColumn = {
+    kind: "lint";
+} | {
+    kind: "runtime";
+    qualityCheck: RuntimeQualityCheck;
+};
+/**
+ * The corpus-driven evidence columns: lint first (when any scenario names a static check), then
+ * each runtime quality-check present as an EVIDENCE OBLIGATION or as a posted EVIDENCE OBSERVATION
+ * on a scenario row, in canonical quality-check order.
+ */
+export declare function evidenceColumns(scenarios: readonly ScenarioReconciliation[]): EvidenceColumn[];
+/** The column's header — the tag word, title-cased (Lint / Unit / Integration / …). */
+export declare function columnHeader(col: EvidenceColumn): string;
+/**
+ * One evidence cell — the two-sided `<obligation>/<observation>` encoding. The LEFT side is the
+ * EVIDENCE OBLIGATION (a single quality-check letter iff the scenario obligated this check, else `-`); the RIGHT
+ * side is the OBSERVATION count (the multiplicity of posted credits at this check, else `-`). It
+ * projects the two-sided ledger row — it reconstructs nothing. It counts BACKING (presence), NOT
+ * quality: a failing runtime evidenceObligation still shows its credit count (the failing-ness lives
+ * in the Verdict + Reconciling-items columns), so `U/-` is unambiguously named-but-missing (zero
+ * evidenceObservations). A `-/N` cell is a NO-EVIDENCE-OBLIGATION observation (a credit at a check the scenario
+ * did not name, @SCN-LDG-008); a doubly-empty `-/-` renders BLANK (`""`) — no evidence obligation, no credit.
+ * The lint cell reads the scenario's static evidenceObligation outcomes (lint is not a counted
+ * evidence observation): its right side is the count of static checks PRESENT — `balanced` or the
+ * watermelon (the script exists; its inadequacy is quality, in Reconciling-items 🍉), NOT a posted
+ * credit. The count exposes backing, not quality — never rank by it.
+ */
+export declare function evidenceCell(s: ScenarioReconciliation, col: EvidenceColumn): string;
+//# sourceMappingURL=evidenceGrid.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"evidenceGrid.d.ts","sourceRoot":"","sources":["../../src/render/evidenceGrid.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,sBAAsB,EAAgB,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAS7F;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,YAAY,EAAE,mBAAmB,CAAA;CAAE,CAAC;AAEvG;;;;GAIG;AACH,wBAAgB,eAAe,CAC7B,SAAS,EAAE,SAAS,sBAAsB,EAAE,GAC3C,cAAc,EAAE,CAgClB;AAED,uFAAuF;AACvF,wBAAgB,YAAY,CAAC,GAAG,EAAE,cAAc,GAAG,MAAM,CAGxD;AAiBD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,YAAY,CAC1B,CAAC,EAAE,sBAAsB,EACzB,GAAG,EAAE,cAAc,GAClB,MAAM,CAMR"}

package/dist/render/evidenceGrid.js

@@ -0,0 +1,145 @@
+/**
+ * THE LEDGER'S EVIDENCE GRID — the corpus-driven evidence columns the Scenario Reconciliations table
+ * gains when the runtime-observation axis is in play, and the two-sided cell under each.
+ *
+ * Its own module rather than a block in `markdown.ts`, moved out whole at 3F-3524 so the ledger
+ * section's split into functions under the complexity and function-length ceilings did not push
+ * the file past its `max-lines`; `staticChecks.ts` and `runVerdict.ts` are the precedent. NOTHING
+ * about the grid changed in the move: same columns, same headers, same cells.
+ */
+import { RUNTIME_QUALITY_CHECKS } from "../domain/ledger.js";
+import { isScenario, staticCheckReconciliationsOf, presentStaticCheckCountOf, } from "../domain/scenarioReconciliation.js";
+import { evidenceObligationsOf } from "../domain/journal.js";
+/**
+ * The corpus-driven evidence columns: lint first (when any scenario names a static check), then
+ * each runtime quality-check present as an EVIDENCE OBLIGATION or as a posted EVIDENCE OBSERVATION
+ * on a scenario row, in canonical quality-check order.
+ */
+export function evidenceColumns(scenarios) {
+    // Only scenario rows carry evidence obligations that drive columns — a phantom / suspense
+    // row's credit-side items are not evidence obligations, so they never add a column.
+    const scenarioRows = scenarios.filter(isScenario);
+    // ASKED (3F-2203) — whether a row has static-check sub-rows is the same model cut the grid cell
+    // and the lint table read. Whether a COLUMN then appears is the renderer's own business; what a
+    // row's lint sub-rows ARE is not.
+    const hasStatic = scenarioRows.some((s) => staticCheckReconciliationsOf(s).length > 0);
+    const qualityChecksPresent = new Set();
+    // A column appears for every runtime quality-check present in EVIDENCE OBLIGATION or OBSERVATION on a scenario
+    // row. Both are read off the Ledger: a named or no-evidence-obligation quality-check surfaces as a
+    // `QualityCheckReconciliation` at that check; every observed credit surfaces as a posted credit on
+    // the row (@SCN-LDG-022). The retired census's `attributed[]` re-represented those posted credits
+    // — it added no quality-check the rows do not already carry (a matched/no-evidence-obligation credit always
+    // has its `QualityCheckReconciliation`), so folding the rows keeps the column set byte-identical.
+    for (const s of scenarioRows) {
+        for (const o of s.qualityCheckReconciliations) {
+            // A both-missing item carries no quality-check — it drives no column.
+            if (o.qualityCheck && o.qualityCheck !== "lint")
+                qualityChecksPresent.add(o.qualityCheck);
+        }
+        for (const o of s.evidenceObservations) {
+            if (o.qualityCheck !== "lint")
+                qualityChecksPresent.add(o.qualityCheck);
+        }
+    }
+    const columns = [];
+    if (hasStatic)
+        columns.push({ kind: "lint" });
+    for (const qualityCheck of RUNTIME_QUALITY_CHECKS) {
+        if (qualityChecksPresent.has(qualityCheck))
+            columns.push({ kind: "runtime", qualityCheck });
+    }
+    return columns;
+}
+/** The column's header — the tag word, title-cased (Lint / Unit / Integration / …). */
+export function columnHeader(col) {
+    const word = col.kind === "lint" ? "lint" : col.qualityCheck;
+    return word.charAt(0).toUpperCase() + word.slice(1);
+}
+/**
+ * The quality-check → single-letter obligation glyph, parallel to `columnHeader` — the LEFT side
+ * of the two-sided cell (the evidence obligation). A single letter names WHICH check is obligated; the right
+ * side (after the `/`) carries the OBSERVATION count (the credit). Lint's left MAY carry a count
+ * suffix (`L2`/`L3`) when a scenario names more than one static check — the evidence-obligation
+ * count; the runtime letters stay countless (one obligation per tier).
+ */
+const QUALITY_CHECK_LETTER = {
+    lint: "L",
+    unit: "U",
+    integration: "I",
+    e2e: "E",
+    performance: "P",
+};
+/**
+ * One evidence cell — the two-sided `<obligation>/<observation>` encoding. The LEFT side is the
+ * EVIDENCE OBLIGATION (a single quality-check letter iff the scenario obligated this check, else `-`); the RIGHT
+ * side is the OBSERVATION count (the multiplicity of posted credits at this check, else `-`). It
+ * projects the two-sided ledger row — it reconstructs nothing. It counts BACKING (presence), NOT
+ * quality: a failing runtime evidenceObligation still shows its credit count (the failing-ness lives
+ * in the Verdict + Reconciling-items columns), so `U/-` is unambiguously named-but-missing (zero
+ * evidenceObservations). A `-/N` cell is a NO-EVIDENCE-OBLIGATION observation (a credit at a check the scenario
+ * did not name, @SCN-LDG-008); a doubly-empty `-/-` renders BLANK (`""`) — no evidence obligation, no credit.
+ * The lint cell reads the scenario's static evidenceObligation outcomes (lint is not a counted
+ * evidence observation): its right side is the count of static checks PRESENT — `balanced` or the
+ * watermelon (the script exists; its inadequacy is quality, in Reconciling-items 🍉), NOT a posted
+ * credit. The count exposes backing, not quality — never rank by it.
+ */
+export function evidenceCell(s, col) {
+    // A PHANTOM / suspense row has no evidence obligation of its own — its
+    // whole story is the credit-side reconciling item. Every evidence cell is neither-named-nor-
+    // matched, so it reads `—`; the citation shows in Reconciling items.
+    if (!isScenario(s))
+        return "—";
+    return col.kind === "lint" ? lintCell(s) : runtimeCell(s, col.qualityCheck);
+}
+/**
+ * The two sides joined — except a doubly-empty cell (no evidence obligation, no credit), which
+ * renders BLANK: the column is simply absent for this scenario.
+ */
+function twoSided(left, right) {
+    return left === "-" && right === "-" ? "" : `${left}/${right}`;
+}
+/** The lint column's cell on a scenario row. */
+function lintCell(s) {
+    // LEFT: a lint obligation is NAMED iff a lint QualityCheckReconciliation exists on the row
+    // (`L`; `L2`/`L3` when the row names >1 static check — the evidence-obligation count, one
+    // lint QCR per `@lint=<guard>` obligation). RIGHT: the PRESENT-guard count — the
+    // static checks `satisfied` or watermelon. Lint's right stays this static-outcome derivation
+    // (NOT `evidenceObservations`): lint carries no credit multiplicity, so the count is exact.
+    // BOTH SIDES ASKED (3F-2203) — the named-guard sub-rows and the present-guard count are
+    // model facts, read off the row. "Present" spans satisfied AND watermelon (a watermelon guard
+    // EXISTS; its inadequacy is quality, shown in Reconciling items 🍉) — an outcome-vocabulary
+    // rule, which is why the renderer no longer states it.
+    const statics = staticCheckReconciliationsOf(s);
+    const left = statics.length > 0
+        ? QUALITY_CHECK_LETTER.lint + (statics.length > 1 ? String(statics.length) : "")
+        : "-";
+    const present = presentStaticCheckCountOf(s);
+    const right = present > 0 ? String(present) : "-";
+    return twoSided(left, right);
+}
+/** A runtime quality-check column's cell on a scenario row. */
+function runtimeCell(s, qualityCheck) {
+    // LEFT — EVIDENCE OBLIGATION is ASKED of the Ledger, not reconstructed. `s.evidenceObligations` is the debit
+    // side the scenario RAISED (@SCN-LDG-023) — the fact itself — filtered to the ACTIVE ones: a
+    // `<qc>pending` obligation names NOTHING (it partitions off to a one-sided Pending Item), so it
+    // is not an evidence obligation. Named → the check's letter; else `-`.
+    // ASKED, not re-encoded (3F-2203). "A pending obligation names nothing" is the model's rule
+    // (canon, Pending Item — a `<qc>pending` tag raises NO Evidence Obligation), and it is the SAME
+    // rule `evidenceObligationPairsOf` applies. The renderer stated the
+    // `!pending` clause itself before: a third home for one rule, agreeing by copy.
+    const named = evidenceObligationsOf(s.evidenceObligations).some((o) => o.qualityCheck === qualityCheck);
+    const left = named ? QUALITY_CHECK_LETTER[qualityCheck] : "-";
+    // RIGHT — the OBSERVATION count is the MULTIPLICITY of POSTED CREDITS at this quality-check on THIS
+    // row (@SCN-LDG-022) — read straight off the Ledger's `evidenceObservations`, NEVER from
+    // `qualityCheckReconciliations` (which collapse to ONE matched row however many credits cite the
+    // pair, and would undercount duplicate citations). BOTH the named and no-evidence-obligation arms read this
+    // one source: a named check's credits are matched-attributed, a no-evidence-obligation check's credits post
+    // as no-evidence-obligation rows — the same posted credits either way, so `evidenceObservations` is the single
+    // multiplicity-correct count. (Provably equal to the retired split off `qualityCheckReconciliations`
+    // for the no-evidence-obligation arm — the reconciler posts one no-evidence-obligation QCR per citing credit — but that
+    // derivation collapses duplicate citations, so the credits are the correct source.)
+    const observed = s.evidenceObservations.filter((o) => o.qualityCheck === qualityCheck).length;
+    const right = observed > 0 ? String(observed) : "-";
+    return twoSided(left, right);
+}
+//# sourceMappingURL=evidenceGrid.js.map

package/dist/render/evidenceGrid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidenceGrid.js","sourceRoot":"","sources":["../../src/render/evidenceGrid.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EACL,UAAU,EACV,4BAA4B,EAC5B,yBAAyB,GAC1B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAS7D;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAC7B,SAA4C;IAE5C,0FAA0F;IAC1F,oFAAoF;IACpF,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,CACnC,UAAU,CACX,CAAC;IACF,gGAAgG;IAChG,gGAAgG;IAChG,kCAAkC;IAClC,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,4BAA4B,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvF,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC5D,+GAA+G;IAC/G,mGAAmG;IACnG,mGAAmG;IACnG,kGAAkG;IAClG,4GAA4G;IAC5G,kGAAkG;IAClG,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,2BAA2B,EAAE,CAAC;YAC9C,sEAAsE;YACtE,IAAI,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,YAAY,KAAK,MAAM;gBAAE,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAC5F,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,oBAAoB,EAAE,CAAC;YACvC,IAAI,CAAC,CAAC,YAAY,KAAK,MAAM;gBAAE,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,IAAI,SAAS;QAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAC9C,KAAK,MAAM,YAAY,IAAI,sBAAsB,EAAE,CAAC;QAClD,IAAI,oBAAoB,CAAC,GAAG,CAAC,YAAY,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,YAAY,CAAC,GAAmB;IAC9C,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC;IAC7D,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,oBAAoB,GAAiC;IACzD,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,GAAG;IACT,WAAW,EAAE,GAAG;IAChB,GAAG,EAAE,GAAG;IACR,WAAW,EAAE,GAAG;CACjB,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,YAAY,CAC1B,CAAyB,EACzB,GAAmB;IAEnB,uEAAuE;IACvE,6FAA6F;IAC7F,qEAAqE;IACrE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,CAAC;IAC/B,OAAO,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;AAC9E,CAAC;AAED;;;GAGG;AACH,SAAS,QAAQ,CAAC,IAAY,EAAE,KAAa;IAC3C,OAAO,IAAI,KAAK,GAAG,IAAI,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC;AACjE,CAAC;AAED,gDAAgD;AAChD,SAAS,QAAQ,CAAC,CAAyB;IACzC,2FAA2F;IAC3F,0FAA0F;IAC1F,iFAAiF;IACjF,6FAA6F;IAC7F,4FAA4F;IAC5F,wFAAwF;IACxF,8FAA8F;IAC9F,4FAA4F;IAC5F,uDAAuD;IACvD,MAAM,OAAO,GAAG,4BAA4B,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC;QAC7B,CAAC,CAAC,oBAAoB,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,CAAC,CAAC,GAAG,CAAC;IACR,MAAM,OAAO,GAAG,yBAAyB,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAClD,OAAO,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,+DAA+D;AAC/D,SAAS,WAAW,CAAC,CAAyB,EAAE,YAAiC;IAC/E,6GAA6G;IAC7G,6FAA6F;IAC7F,gGAAgG;IAChG,uEAAuE;IACvE,4FAA4F;IAC5F,gGAAgG;IAChG,oEAAoE;IACpE,gFAAgF;IAChF,MAAM,KAAK,GAAG,qBAAqB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAC7D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,CACvC,CAAC;IACF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAC9D,oGAAoG;IACpG,yFAAyF;IACzF,iGAAiG;IACjG,4GAA4G;IAC5G,4GAA4G;IAC5G,+GAA+G;IAC/G,qGAAqG;IACrG,wHAAwH;IACxH,oFAAoF;IACpF,MAAM,QAAQ,GAAG,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,CACvC,CAAC,MAAM,CAAC;IACT,MAAM,KAAK,GAAG,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACpD,OAAO,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC/B,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"markdown.d.ts","sourceRoot":"","sources":["../../src/render/markdown.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAiBH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AAU5E,OAAO,EAAuB,KAAK,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACnF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAoLlF;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAqlBvD;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAExD;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEzD;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAC5B,sBAAsB,EAAE,sBAAsB,EAC9C,GAAG,EAAE,UAAU,EACf,mBAAmB,CAAC,EAAE,mBAAmB,EACzC,YAAY,CAAC,EAAE,YAAY,GAC1B,MAAM,CAER"}
+{"version":3,"file":"markdown.d.ts","sourceRoot":"","sources":["../../src/render/markdown.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAcH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AAI5E,OAAO,EAAuB,KAAK,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACnF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AA2LlF;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AA6dvD;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAExD;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEzD;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAC5B,sBAAsB,EAAE,sBAAsB,EAC9C,GAAG,EAAE,UAAU,EACf,mBAAmB,CAAC,EAAE,mBAAmB,EACzC,YAAY,CAAC,EAAE,YAAY,GAC1B,MAAM,CAER"}

package/dist/render/markdown.js

@@ -25,12 +25,9 @@
 // decomposition walks (3F-1806): both live in the model, so the renderer cannot drift from the
 // union. Internal core imports (NOT on the frozen v1 barrel).
 import { OUTCOME_DESCRIPTION, OUT_OF_BALANCE_OUTCOMES, OUTCOME_SIDE_PROFILE } from "../model.js";
-import { measuredSuffix } from "./measuredItem.js";
-import { RUNTIME_QUALITY_CHECKS } from "../domain/ledger.js";
 // THE MODEL DERIVATIONS THE RENDERER READS (3F-2203) — it projects these; it does not compute them.
 import { brokenItemsOf, lintReconciliationsOf } from "../domain/ledger.js";
-import { isScenario, staticCheckReconciliationsOf, presentStaticCheckCountOf, } from "../domain/scenarioReconciliation.js";
-import { evidenceObligationsOf } from "../domain/journal.js";
+import { isScenario } from "../domain/scenarioReconciliation.js";
 import { assembleRenderInput } from "../assemble/renderInput.js";
 // The run-integrity predicate (@SCN-LDG-018) — the existential scan for a `broken` reconciling
 // item. The renderer asks the predicate and prints the HEADLINE word: predicate-name ≠
@@ -49,6 +46,7 @@ import { reconcilerSection } from "./reconcilerSteps.js";
 import { stepAccountingSection } from "./stepAccounting.js";
 import { testVolumeSection } from "./testVolume.js";
 import { featureCodeOf } from "../lib/featureCode.js";
+import { evidenceColumns, columnHeader, evidenceCell } from "./evidenceGrid.js";
 /** A short status glyph per reconciling-item outcome — a visual cue alongside the word. */
 const ITEM_GLYPH = {
     satisfied: "✓",
@@ -107,6 +105,14 @@ function renderItem(item) {
         return `${ITEM_GLYPH["no-scn-code"]} ${OUTCOME_DESCRIPTION["no-scn-code"]}`;
     }
     const subject = item.qualityCheck;
+    const suffix = creditSuffix(item) ?? "";
+    return `${subject} ${ITEM_GLYPH[item.outcome]} ${OUTCOME_DESCRIPTION[item.outcome]}${suffix}`;
+}
+/**
+ * The credit arms of a reconciling item's where-to-fix, or `undefined` when none applies and the
+ * item renders bare.
+ */
+function creditSuffix(item) {
     // A CREDIT-SIDE item surfaces its WHERE-TO-FIX in the reconciliation cell (ruling
     // Q5): a lint credit (the uncited static-check folded onto the suspense row, ruling
     // Q4) shows its static check handle; a runtime credit (phantom `cites-unknown-scenario` or
@@ -120,10 +126,6 @@ function renderItem(item) {
     // joins. (`broken` and `both-missing` are (None, None), so both terms are read.)
     const profile = OUTCOME_SIDE_PROFILE[item.outcome];
     const isCredit = profile.obligation === "None" && profile.observation === "Exists";
-    // A MEASURED item is DEBIT-side, so its where-to-fix — its two numbers — starts here rather than
-    // in the credit arms below (`measuredItem.ts`, @SCN-CIP-008). It is "" for every other item, so
-    // the credit arms overwrite it exactly as they overwrote the empty default.
-    let suffix = measuredSuffix(item);
     // The `broken` credit (@SCN-RPT-021) carries BOTH halves of its where-to-fix: the locator of the
     // evidence that never ran (a test file, or a feature file) AND the message it carries. The
     // message's HEADLINE LINE only — a vitest collection message is multi-line (message + stack) and
@@ -134,14 +136,13 @@ function renderItem(item) {
         const where = [item.locator, item.message === undefined ? undefined : headlineOf(item.message)]
             .filter((part) => part !== undefined && part.length > 0)
             .join(": ");
-        if (where.length > 0)
-            suffix = ` (${cellSafe(where)})`;
+        return where.length > 0 ? ` (${cellSafe(where)})` : undefined;
     }
-    else if (isCredit && item.staticCheck)
-        suffix = ` (${item.staticCheck})`;
-    else if (isCredit && item.locator !== undefined)
-        suffix = ` (${item.locator})`;
-    return `${subject} ${ITEM_GLYPH[item.outcome]} ${OUTCOME_DESCRIPTION[item.outcome]}${suffix}`;
+    if (isCredit && item.staticCheck)
+        return ` (${item.staticCheck})`;
+    if (isCredit && item.locator !== undefined)
+        return ` (${item.locator})`;
+    return undefined;
 }
 /**
  * The first non-empty line of a runner message — its HEADLINE (`Error: Cannot find package
@@ -384,14 +385,16 @@ const evidenceReconciliationSection = (report) => {
     // decomposition above — its own line, never a `↳` row under the out-of-balance table. Read
     // off the materialised `summary.pending`; rendered only when the run genuinely carries Pending
     // Items (the omit-when-empty precedent), so a zero-pending report stays byte-identical.
-    const pending = report.summary.pending;
-    if (pending > 0) {
-        lines.push("");
-        lines.push(`⏳ ${pending} Pending Item(s) — deferred, tallied apart from balanced and out-of-balance.`);
-    }
+    lines.push(...pendingTally(report.summary.pending));
     lines.push("");
     return lines;
 };
+/** The Pending Items tally line, preceded by its blank — or nothing at all when none is pending. */
+function pendingTally(pending) {
+    return pending > 0
+        ? ["", `⏳ ${pending} Pending Item(s) — deferred, tallied apart from balanced and out-of-balance.`]
+        : [];
+}
 /**
  * Lint evidence obligations (@SCN-RPT-005; re-cut under Summary views with a total line, labelled
  * by the @lint TAG) — lifts every `@lint` evidence obligation out of the per-scenario trial
@@ -476,128 +479,6 @@ const byFeatureSection = (report) => {
     lines.push("");
     return lines;
 };
-/**
- * The corpus-driven evidence columns: lint first (when any scenario names a static check), then
- * each runtime quality-check present as an EVIDENCE OBLIGATION or as a posted EVIDENCE OBSERVATION
- * on a scenario row, in canonical quality-check order.
- */
-function evidenceColumns(scenarios) {
-    // Only scenario rows carry evidence obligations that drive columns — a phantom / suspense
-    // row's credit-side items are not evidence obligations, so they never add a column.
-    const scenarioRows = scenarios.filter(isScenario);
-    // ASKED (3F-2203) — whether a row has static-check sub-rows is the same model cut the grid cell
-    // and the lint table read. Whether a COLUMN then appears is the renderer's own business; what a
-    // row's lint sub-rows ARE is not.
-    const hasStatic = scenarioRows.some((s) => staticCheckReconciliationsOf(s).length > 0);
-    const qualityChecksPresent = new Set();
-    // A column appears for every runtime quality-check present in EVIDENCE OBLIGATION or OBSERVATION on a scenario
-    // row. Both are read off the Ledger: a named or no-evidence-obligation quality-check surfaces as a
-    // `QualityCheckReconciliation` at that check; every observed credit surfaces as a posted credit on
-    // the row (@SCN-LDG-022). The retired census's `attributed[]` re-represented those posted credits
-    // — it added no quality-check the rows do not already carry (a matched/no-evidence-obligation credit always
-    // has its `QualityCheckReconciliation`), so folding the rows keeps the column set byte-identical.
-    for (const s of scenarioRows) {
-        for (const o of s.qualityCheckReconciliations) {
-            // A both-missing item carries no quality-check — it drives no column.
-            if (o.qualityCheck && o.qualityCheck !== "lint")
-                qualityChecksPresent.add(o.qualityCheck);
-        }
-        for (const o of s.evidenceObservations) {
-            if (o.qualityCheck !== "lint")
-                qualityChecksPresent.add(o.qualityCheck);
-        }
-    }
-    const columns = [];
-    if (hasStatic)
-        columns.push({ kind: "lint" });
-    for (const qualityCheck of RUNTIME_QUALITY_CHECKS) {
-        if (qualityChecksPresent.has(qualityCheck))
-            columns.push({ kind: "runtime", qualityCheck });
-    }
-    return columns;
-}
-/** The column's header — the tag word, title-cased (Lint / Unit / Integration / …). */
-function columnHeader(col) {
-    const word = col.kind === "lint" ? "lint" : col.qualityCheck;
-    return word.charAt(0).toUpperCase() + word.slice(1);
-}
-/**
- * The quality-check → single-letter obligation glyph, parallel to `columnHeader` — the LEFT side
- * of the two-sided cell (the evidence obligation). A single letter names WHICH check is obligated; the right
- * side (after the `/`) carries the OBSERVATION count (the credit). Lint's left MAY carry a count
- * suffix (`L2`/`L3`) when a scenario names more than one static check — the evidence-obligation
- * count; the runtime letters stay countless (one obligation per tier).
- */
-const QUALITY_CHECK_LETTER = {
-    lint: "L",
-    unit: "U",
-    integration: "I",
-    e2e: "E",
-    performance: "P",
-};
-/**
- * One evidence cell — the two-sided `<obligation>/<observation>` encoding. The LEFT side is the
- * EVIDENCE OBLIGATION (a single quality-check letter iff the scenario obligated this check, else `-`); the RIGHT
- * side is the OBSERVATION count (the multiplicity of posted credits at this check, else `-`). It
- * projects the two-sided ledger row — it reconstructs nothing. It counts BACKING (presence), NOT
- * quality: a failing runtime evidenceObligation still shows its credit count (the failing-ness lives
- * in the Verdict + Reconciling-items columns), so `U/-` is unambiguously named-but-missing (zero
- * evidenceObservations). A `-/N` cell is a NO-EVIDENCE-OBLIGATION observation (a credit at a check the scenario
- * did not name, @SCN-LDG-008); a doubly-empty `-/-` renders BLANK (`""`) — no evidence obligation, no credit.
- * The lint cell reads the scenario's static evidenceObligation outcomes (lint is not a counted
- * evidence observation): its right side is the count of static checks PRESENT — `balanced` or the
- * watermelon (the script exists; its inadequacy is quality, in Reconciling-items 🍉), NOT a posted
- * credit. The count exposes backing, not quality — never rank by it.
- */
-function evidenceCell(s, col) {
-    // A PHANTOM / suspense row has no evidence obligation of its own — its
-    // whole story is the credit-side reconciling item. Every evidence cell is neither-named-nor-
-    // matched, so it reads `—`; the citation shows in Reconciling items.
-    if (!isScenario(s))
-        return "—";
-    if (col.kind === "lint") {
-        // LEFT: a lint obligation is NAMED iff a lint QualityCheckReconciliation exists on the row
-        // (`L`; `L2`/`L3` when the row names >1 static check — the evidence-obligation count, one
-        // lint QCR per `@lint=<guard>` obligation). RIGHT: the PRESENT-guard count — the
-        // static checks `satisfied` or watermelon. Lint's right stays this static-outcome derivation
-        // (NOT `evidenceObservations`): lint carries no credit multiplicity, so the count is exact.
-        // BOTH SIDES ASKED (3F-2203) — the named-guard sub-rows and the present-guard count are
-        // model facts, read off the row. "Present" spans satisfied AND watermelon (a watermelon guard
-        // EXISTS; its inadequacy is quality, shown in Reconciling items 🍉) — an outcome-vocabulary
-        // rule, which is why the renderer no longer states it.
-        const statics = staticCheckReconciliationsOf(s);
-        const left = statics.length > 0
-            ? QUALITY_CHECK_LETTER.lint + (statics.length > 1 ? String(statics.length) : "")
-            : "-";
-        const present = presentStaticCheckCountOf(s);
-        const right = present > 0 ? String(present) : "-";
-        return left === "-" && right === "-" ? "" : `${left}/${right}`;
-    }
-    // LEFT — EVIDENCE OBLIGATION is ASKED of the Ledger, not reconstructed. `s.evidenceObligations` is the debit
-    // side the scenario RAISED (@SCN-LDG-023) — the fact itself — filtered to the ACTIVE ones: a
-    // `<qc>pending` obligation names NOTHING (it partitions off to a one-sided Pending Item), so it
-    // is not an evidence obligation. Named → the check's letter; else `-`.
-    // ASKED, not re-encoded (3F-2203). "A pending obligation names nothing" is the model's rule
-    // (canon, Pending Item — a `<qc>pending` tag raises NO Evidence Obligation), and it is the SAME
-    // rule `evidenceObligationPairsOf` applies. The renderer stated the
-    // `!pending` clause itself before: a third home for one rule, agreeing by copy.
-    const named = evidenceObligationsOf(s.evidenceObligations).some((o) => o.qualityCheck === col.qualityCheck);
-    const left = named ? QUALITY_CHECK_LETTER[col.qualityCheck] : "-";
-    // RIGHT — the OBSERVATION count is the MULTIPLICITY of POSTED CREDITS at this quality-check on THIS
-    // row (@SCN-LDG-022) — read straight off the Ledger's `evidenceObservations`, NEVER from
-    // `qualityCheckReconciliations` (which collapse to ONE matched row however many credits cite the
-    // pair, and would undercount duplicate citations). BOTH the named and no-evidence-obligation arms read this
-    // one source: a named check's credits are matched-attributed, a no-evidence-obligation check's credits post
-    // as no-evidence-obligation rows — the same posted credits either way, so `evidenceObservations` is the single
-    // multiplicity-correct count. (Provably equal to the retired split off `qualityCheckReconciliations`
-    // for the no-evidence-obligation arm — the reconciler posts one no-evidence-obligation QCR per citing credit — but that
-    // derivation collapses duplicate citations, so the credits are the correct source.)
-    const observed = s.evidenceObservations.filter((o) => o.qualityCheck === col.qualityCheck).length;
-    const right = observed > 0 ? String(observed) : "-";
-    // A doubly-empty cell (no evidence obligation, no credit) renders BLANK — the column is simply absent for this
-    // scenario. Otherwise the two-sided `<left>/<right>`.
-    return left === "-" && right === "-" ? "" : `${left}/${right}`;
-}
 /**
  * The ledger (moved to the END) — the per-scenario table, with its summary lines on top: the
  * verdict tally bullet, and (when an evidence-obligation census is threaded) the
@@ -621,12 +502,21 @@ const ledgerSection = (report) => {
     // (@SCN-RPT-010 / 3F-2103 — the gate that was the retired `evidenceObservations` section's
     // presence). When it is, the ledger gains the corpus-driven evidence columns.
     const withObservations = report.summary.testVolume !== undefined;
-    const totals = report.summary.scenarioReconciliations;
-    const lines = [
+    return [
         // The reconciled per-scenario OUTPUT table — "Scenario Reconciliations", not "Ledger"
         // ("Ledger" is the INPUT concept in canon; double-entry-manifesto).
         "## Scenario Reconciliations",
         "",
+        ...ledgerTallyLines(report.summary.scenarioReconciliations),
+        ...(report.evidenceObligations ? censusLines(report.evidenceObligations) : []),
+        "",
+        ...ledgerTableLines(scenarios, withObservations),
+        "",
+    ];
+};
+/** The ledger's verdict tally bullet, and the phantom / suspense sub-counts broken out of it. */
+function ledgerTallyLines(totals) {
+    const lines = [
         // The headline verdict tally counts EVERY Scenario Reconciliation — scenario, phantom and
         // suspense alike (@SCN-RMD-001, 3F-1724; the scenario-only "ruling Q3" is retracted).
         `- ${totals.total} Scenario Reconciliation(s): ${totals.balanced} balanced, ` +
@@ -644,60 +534,65 @@ const ledgerSection = (report) => {
     if (totals.suspense > 0) {
         lines.push(`- ${totals.suspense} suspense-scenario(s): credits citing no scenario, aggregated into "(no scenario)".`);
     }
-    if (report.evidenceObligations) {
-        // The scenario-corpus CENSUS — obligation-side facts on report.evidenceObligations.
-        // These re-homed here from the dissolved `## Warnings` section: they are census
-        // facts, NOT warnings and NOT reconciling items, so they ride in the ledger summary co-located
-        // with the excluded-occurrence bullet (the evidenceObligations census view). Facts only —
-        // count + locator.
-        lines.push(`- ${report.evidenceObligations.excludedOccurrences} @SCN ids seen in non-tag context, excluded`);
-        // Untagged scenarios (@SCN-RPT-014) — Gherkin scenarios with no @SCN tag, located by
-        // `feature : scenario`. Sorted defensively (a hand-built corpus fixture may be unsorted).
-        const untagged = report.evidenceObligations.untaggedScenarios;
-        if (untagged.length > 0) {
-            const sorted = [...untagged].sort((a, b) => a.feature.localeCompare(b.feature) || a.scenario.localeCompare(b.scenario));
-            lines.push(`- ${untagged.length} scenario(s) carry no @SCN tag:`);
-            for (const { feature, scenario } of sorted) {
-                lines.push(`  - ${feature} : ${scenario}`);
-            }
+    return lines;
+}
+/**
+ * The scenario-corpus CENSUS — obligation-side facts on report.evidenceObligations.
+ * These re-homed here from the dissolved `## Warnings` section: they are census
+ * facts, NOT warnings and NOT reconciling items, so they ride in the ledger summary co-located
+ * with the excluded-occurrence bullet (the evidenceObligations census view). Facts only —
+ * count + locator.
+ */
+function censusLines(census) {
+    const lines = [`- ${census.excludedOccurrences} @SCN ids seen in non-tag context, excluded`];
+    // Untagged scenarios (@SCN-RPT-014) — Gherkin scenarios with no @SCN tag, located by
+    // `feature : scenario`. Sorted defensively (a hand-built corpus fixture may be unsorted).
+    const untagged = census.untaggedScenarios;
+    if (untagged.length > 0) {
+        const sorted = [...untagged].sort((a, b) => a.feature.localeCompare(b.feature) || a.scenario.localeCompare(b.scenario));
+        lines.push(`- ${untagged.length} scenario(s) carry no @SCN tag:`);
+        for (const { feature, scenario } of sorted) {
+            lines.push(`  - ${feature} : ${scenario}`);
         }
-        // Prose-only codes (@SCN-RPT-015) — @SCN ids mentioned in prose but never tagged anywhere
-        // (the dangling references). The bare code is its own locator. Sorted, after untagged.
-        const proseOnly = report.evidenceObligations.proseOnlyCodes;
-        if (proseOnly.length > 0) {
-            lines.push(`- ${proseOnly.length} @SCN code(s) appear only in prose, never as a tag:`);
-            for (const code of [...proseOnly].sort()) {
-                lines.push(`  - ${code}`);
-            }
+    }
+    // Prose-only codes (@SCN-RPT-015) — @SCN ids mentioned in prose but never tagged anywhere
+    // (the dangling references). The bare code is its own locator. Sorted, after untagged.
+    const proseOnly = census.proseOnlyCodes;
+    if (proseOnly.length > 0) {
+        lines.push(`- ${proseOnly.length} @SCN code(s) appear only in prose, never as a tag:`);
+        for (const code of [...proseOnly].sort()) {
+            lines.push(`  - ${code}`);
         }
     }
-    lines.push("");
+    return lines;
+}
+/**
+ * The per-scenario table: with the corpus-driven evidence columns between Scenario and Verdict when
+ * the runtime-observation axis is in play and any column appears, else the original three columns.
+ */
+function ledgerTableLines(scenarios, withObservations) {
     const columns = withObservations ? evidenceColumns(scenarios) : [];
-    if (withObservations && columns.length > 0) {
-        const headers = [
-            "Scenario",
-            ...columns.map(columnHeader),
-            "Verdict",
-            "Reconciling items",
+    if (!(withObservations && columns.length > 0)) {
+        return [
+            "| Scenario | Verdict | Reconciling items |",
+            "| --- | --- | --- |",
+            ...scenarios.map(renderScenario),
         ];
-        lines.push(`| ${headers.join(" | ")} |`);
-        lines.push(`| ${headers.map(() => "---").join(" | ")} |`);
-        for (const s of scenarios) {
-            const cells = columns.map((col) => evidenceCell(s, col));
-            const items = renderRowExceptions(s);
-            lines.push(`| ${[s.scnId, ...cells, `${VERDICT_GLYPH[s.verdict]} ${s.verdict}`, items].join(" | ")} |`);
-        }
     }
-    else {
-        lines.push("| Scenario | Verdict | Reconciling items |");
-        lines.push("| --- | --- | --- |");
-        for (const s of scenarios) {
-            lines.push(renderScenario(s));
-        }
+    const headers = [
+        "Scenario",
+        ...columns.map(columnHeader),
+        "Verdict",
+        "Reconciling items",
+    ];
+    const lines = [`| ${headers.join(" | ")} |`, `| ${headers.map(() => "---").join(" | ")} |`];
+    for (const s of scenarios) {
+        const cells = columns.map((col) => evidenceCell(s, col));
+        const items = renderRowExceptions(s);
+        lines.push(`| ${[s.scnId, ...cells, `${VERDICT_GLYPH[s.verdict]} ${s.verdict}`, items].join(" | ")} |`);
     }
-    lines.push("");
     return lines;
-};
+}
 /**
  * The ordered section list (project design §2; reorganised summary-first / ledger-last,
  * test volume added): title → provenance → the run-integrity stamp (only when the run is