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

package/dist/assemble/renderInput.d.ts

@@ -1,92 +1,26 @@
-/**
- * The whole-document report model (@SCN-RMD-001) — the ONE model
- * both renderings consume, in document order, so the JSON and the markdown are one
- * model in two renderings, not two dialects.
- *
- * `assembleRenderInput` builds it from the existing reconcile pieces (the balance, the run
- * context, and the obligation / observation / static-check sibling reads). The JSON renderer collapses
- * to a glue-free `JSON.stringify(assembleRenderInput(...))`. The assembler is the ONLY place the
- * JSON-surface vocabulary lives — the manifesto-vocabulary key renames (the revert)
- * are MAPPED here so they never ripple into markdown.ts / evidenceObservations.ts internals, keeping the
- * markdown byte-identical this slice.
- *
- * The sections are in document order with `runProvenance` renamed, a materialised `summary`,
- * the per-scenario reconciliation under `evidenceReconciliation` (RMD-002), and the observed
- * evidence under `evidenceObservations` (RMD-003) — every JSON section reads in the manifesto's
- * vocabulary. The static-check census is `summary.staticChecks` counts alone (2.4): its
- * member detail lives in the rows (named → `@lint` sub-rows; no-evidence-obligation → the suspense row),
- * so there is no standalone `staticChecks` section — symmetric with the runtime side.
- *
- * Parent: (@SCN-RMD-001).
- */
+import type { ScenarioCodeError, ScenarioCodePopulation } from "../domain/scenarioCodeError.js";
 import type { Ledger } from "../model.js";
 import type { EvidenceReconciliation, Summary } from "../domain/evidenceReconciliation.js";
 import { type ProvenanceObject, type RunContext } from "../provenance/provenance.js";
-import type { EvidenceObligations, UntaggedScenario } from "../census/evidenceObligations.js";
-export type { ScenarioReconciliationTotals, EvidenceObligationTotals, MissingByQualityCheck, LintTally, } from "../domain/ledger.js";
-export type { Summary, TestVolumeTotals, StaticCheckTotals, EvidenceReconciliation, } from "../domain/evidenceReconciliation.js";
-/** The evidence-obligation census section, as serialised on the report. */
+import type { EvidenceObligations, SharedScnCode, UntaggedScenario } from "../census/evidenceObligations.js";
+export type { ScenarioReconciliationTotals, EvidenceObligationTotals, MissingByQualityCheck, FitnessTally, } from "../domain/ledger.js";
+export type { Summary, TestVolumeTotals, FitnessFunctionTotals, EvidenceReconciliation, } from "../domain/evidenceReconciliation.js";
 export interface EvidenceObligationsSection {
     excludedOccurrences: number;
     untaggedScenarios: UntaggedScenario[];
-    proseOnlyCodes: string[];
+    sharedScnCodes?: SharedScnCode[];
 }
-/**
- * Presentation metadata — a small top-level object holding the run's PRESENTATION
- * facts (names/titles), kept cleanly SEPARATE from the reconciliation records (`summary` /
- * `evidenceReconciliation` / `evidenceObservations` / `staticChecks`). It carries the feature
- * titles (the `feature-code → slug` map the by-feature cut names each feature from); it is
- * NOT a reconciliation record, so it does not sit as a sibling of the records. Present only
- * when the run carries ≥1 coded feature (i.e. when `featureNames` is non-empty).
- */
 export interface ReportMetadata {
-    /** The feature titles — the `feature-code → slug` map (@SCN-RMD-006). */
     featureNames?: Record<string, string>;
 }
-/**
- * The whole-document report — the ordered sections as data. RMD-002 / RMD-003 rename the interim
- * `scenarios` / `evidenceObservations` keys to `evidenceReconciliation` / `evidenceObservations`;
- * the static-check census is `summary.staticChecks` counts alone (2.4 — the standalone
- * `staticChecks` section collapsed, its member detail now in the rows). The `warnings` top-level
- * key was RETIRED — a zero-evidence scenario is now a `both-missing` row in
- * `evidenceReconciliation`, not a separate axis.
- */
 export interface RenderInput {
     runProvenance: ProvenanceObject;
     summary: Summary;
-    /**
-     * THE LEDGER — the accounts with their posted entries (@SCN-RMD-002, 3F-1848). Sits BESIDE
-     * `summary`, so root reads as chain step 6 literally: "The summary has the totals and the ledger
-     * the detail."
-     *
-     * Renamed from the member `evidenceReconciliation` — the 3F-1138 error ONE LAYER DOWN. This
-     * document IS the Evidence Reconciliation, so a key of that name was the layer naming itself
-     * inside itself, and the grid it named is by canon the LEDGER.
-     *
-     * Typed `Ledger`, NOT `ScenarioReconciliation[]`: code identifiers and JSON keys are ONE
-     * vocabulary (manifesto line 3), so this and `"ledger": { "scenarioReconciliations": [...] }`
-     * agree as OBJECTS — a Ledger that holds entries cannot serialise as a bare array of rows.
-     */
     ledger: Ledger;
+    scenarioCodeErrors?: readonly ScenarioCodeError[];
+    scenarioCodePopulation?: ScenarioCodePopulation;
     evidenceObligations?: EvidenceObligationsSection;
-    /**
-     * The presentation metadata — the feature titles (`metadata.featureNames`, the
-     * `feature-code → slug` map the by-feature cut names each feature in full from). It is
-     * presentation *metadata* (names), NOT a reconciliation record, so it is cleanly separated
-     * from the records rather than sitting as their sibling. The LAST document key (the retired
-     * `warnings` key no longer trails it).
-     */
     metadata?: ReportMetadata;
 }
-/**
- * Assemble the whole-document report from the reconcile pieces. The JSON-surface vocabulary
- * lives HERE (mapped, not renamed at the model): `provenance` → `runProvenance`; `scenarios`
- * → `evidenceReconciliation`; `evidenceObservations` → `evidenceObservations` (+ `phantom`/`suspense` →
- * `phantomEvidenceObservations`/`suspenseEvidenceObservations`); the static-check census is the
- * materialised `summary.staticChecks` counts alone (2.4 — no standalone section, the
- * member detail lives in the rows); the summary is materialised. Sections are inserted in document
- * order, so JSON.stringify preserves it. The optional sections are included only when their sibling
- * read is threaded (the CLI always threads them; the narrower-arg tests exercise omission).
- */
 export declare function assembleRenderInput(evidenceReconciliation: EvidenceReconciliation, ctx: RunContext, evidenceObligations?: EvidenceObligations, featureNames?: ReadonlyMap<string, string>): RenderInput;
 //# sourceMappingURL=renderInput.d.ts.map

package/dist/assemble/renderInput.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"renderInput.d.ts","sourceRoot":"","sources":["../../src/assemble/renderInput.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAI1C,OAAO,KAAK,EAAE,sBAAsB,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAC3F,OAAO,EAAoB,KAAK,gBAAgB,EAAE,KAAK,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACvG,OAAO,KAAK,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAK9F,YAAY,EACV,4BAA4B,EAC5B,wBAAwB,EACxB,qBAAqB,EACrB,SAAS,GACV,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,OAAO,EACP,gBAAgB,EAChB,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,qCAAqC,CAAC;AAE7C,2EAA2E;AAC3E,MAAM,WAAW,0BAA0B;IACzC,mBAAmB,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAOD;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc;IAC7B,yEAAyE;IACzE,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACvC;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,WAAW;IAC1B,aAAa,EAAE,gBAAgB,CAAC;IAChC,OAAO,EAAE,OAAO,CAAC;IACjB;;;;;;;;;;;;OAYG;IACH,MAAM,EAAE,MAAM,CAAC;IACf,mBAAmB,CAAC,EAAE,0BAA0B,CAAC;IAKjD;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,cAAc,CAAC;CAC3B;AAED;;;;;;;;;GASG;AACH,wBAAgB,mBAAmB,CACjC,sBAAsB,EAAE,sBAAsB,EAC9C,GAAG,EAAE,UAAU,EACf,mBAAmB,CAAC,EAAE,mBAAmB,EACzC,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACzC,WAAW,CA+Bb"}
+{"version":3,"file":"renderInput.d.ts","sourceRoot":"","sources":["../../src/assemble/renderInput.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAChG,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,KAAK,EAAE,sBAAsB,EAAE,OAAO,EAAE,MAAM,qCAAqC,CAAC;AAC3F,OAAO,EAAoB,KAAK,gBAAgB,EAAE,KAAK,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACvG,OAAO,KAAK,EAAE,mBAAmB,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAE7G,YAAY,EACV,4BAA4B,EAC5B,wBAAwB,EACxB,qBAAqB,EACrB,YAAY,GACb,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,OAAO,EACP,gBAAgB,EAChB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,qCAAqC,CAAC;AAE7C,MAAM,WAAW,0BAA0B;IACzC,mBAAmB,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,cAAc,CAAC,EAAE,aAAa,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,cAAc;IAC7B,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACvC;AAED,MAAM,WAAW,WAAW;IAC1B,aAAa,EAAE,gBAAgB,CAAC;IAChC,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,kBAAkB,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAClD,sBAAsB,CAAC,EAAE,sBAAsB,CAAC;IAChD,mBAAmB,CAAC,EAAE,0BAA0B,CAAC;IACjD,QAAQ,CAAC,EAAE,cAAc,CAAC;CAC3B;AAED,wBAAgB,mBAAmB,CACjC,sBAAsB,EAAE,sBAAsB,EAC9C,GAAG,EAAE,UAAU,EACf,mBAAmB,CAAC,EAAE,mBAAmB,EACzC,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GACzC,WAAW,CAmBb"}

package/dist/assemble/renderInput.js

@@ -1,61 +1,19 @@
-/**
- * The whole-document report model (@SCN-RMD-001) — the ONE model
- * both renderings consume, in document order, so the JSON and the markdown are one
- * model in two renderings, not two dialects.
- *
- * `assembleRenderInput` builds it from the existing reconcile pieces (the balance, the run
- * context, and the obligation / observation / static-check sibling reads). The JSON renderer collapses
- * to a glue-free `JSON.stringify(assembleRenderInput(...))`. The assembler is the ONLY place the
- * JSON-surface vocabulary lives — the manifesto-vocabulary key renames (the revert)
- * are MAPPED here so they never ripple into markdown.ts / evidenceObservations.ts internals, keeping the
- * markdown byte-identical this slice.
- *
- * The sections are in document order with `runProvenance` renamed, a materialised `summary`,
- * the per-scenario reconciliation under `evidenceReconciliation` (RMD-002), and the observed
- * evidence under `evidenceObservations` (RMD-003) — every JSON section reads in the manifesto's
- * vocabulary. The static-check census is `summary.staticChecks` counts alone (2.4): its
- * member detail lives in the rows (named → `@lint` sub-rows; no-evidence-obligation → the suspense row),
- * so there is no standalone `staticChecks` section — symmetric with the runtime side.
- *
- * Parent: (@SCN-RMD-001).
- */
 import { provenanceObject } from "../provenance/provenance.js";
-/**
- * Assemble the whole-document report from the reconcile pieces. The JSON-surface vocabulary
- * lives HERE (mapped, not renamed at the model): `provenance` → `runProvenance`; `scenarios`
- * → `evidenceReconciliation`; `evidenceObservations` → `evidenceObservations` (+ `phantom`/`suspense` →
- * `phantomEvidenceObservations`/`suspenseEvidenceObservations`); the static-check census is the
- * materialised `summary.staticChecks` counts alone (2.4 — no standalone section, the
- * member detail lives in the rows); the summary is materialised. Sections are inserted in document
- * order, so JSON.stringify preserves it. The optional sections are included only when their sibling
- * read is threaded (the CLI always threads them; the narrower-arg tests exercise omission).
- */
 export function assembleRenderInput(evidenceReconciliation, ctx, evidenceObligations, featureNames) {
     return {
         runProvenance: provenanceObject(ctx),
-        // THE CONCEPT, SPREAD (3F-2233) — `summary` then `ledger`, exactly the key order the document
-        // has always had, so the JSON is byte-identical. `assemble` no longer BUILDS either: the
-        // Evidence Reconciliation arrives whole from its own factory, and this function only frames it
-        // with the run's provenance, the census section and the presentation metadata.
         ...evidenceReconciliation,
         ...(evidenceObligations
             ? {
                 evidenceObligations: {
                     excludedOccurrences: evidenceObligations.excludedOccurrences,
                     untaggedScenarios: evidenceObligations.untaggedScenarios,
-                    proseOnlyCodes: evidenceObligations.proseOnlyCodes,
+                    ...(evidenceObligations.sharedScnCodes && evidenceObligations.sharedScnCodes.length > 0
+                        ? { sharedScnCodes: evidenceObligations.sharedScnCodes }
+                        : {}),
                 },
             }
             : {}),
-        // No staticChecks census SECTION (2.4): the guard member detail lives in the rows
-        // (named → each scenario's `@lint` sub-row; no-evidence-obligation → the suspense row), symmetric with
-        // the runtime side. The counts survive in `summary.staticChecks` (the balance-check identity).
-        // No `evidenceObservations` SECTION (@SCN-RMD-003 / @SCN-RPT-010, 3F-2103): the runtime
-        // evidence-observation counting is RETIRED to the Ledger fold (`runtimeObservationTally`). Its
-        // raw totals re-home onto `summary.rawByRuntimeQualityCheck`; the per-`(scnId, quality-check)`
-        // `attributed[]` did NOT re-home — it re-represented the posted credits the Ledger already
-        // carries (`ledger.scenarioReconciliations[].evidenceObservations`), the parallel store the
-        // done-criterion deletes rather than relocates. The grid cell counts those credits off the rows.
         ...(featureNames && featureNames.size > 0
             ? { metadata: { featureNames: Object.fromEntries(featureNames) } }
             : {}),

package/dist/assemble/renderInput.js.map

@@ -1 +1 @@
-{"version":3,"file":"renderInput.js","sourceRoot":"","sources":["../../src/assemble/renderInput.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAOH,OAAO,EAAE,gBAAgB,EAA0C,MAAM,6BAA6B,CAAC;AAoFvG;;;;;;;;;GASG;AACH,MAAM,UAAU,mBAAmB,CACjC,sBAA8C,EAC9C,GAAe,EACf,mBAAyC,EACzC,YAA0C;IAE1C,OAAO;QACL,aAAa,EAAE,gBAAgB,CAAC,GAAG,CAAC;QACpC,8FAA8F;QAC9F,yFAAyF;QACzF,+FAA+F;QAC/F,+EAA+E;QAC/E,GAAG,sBAAsB;QACzB,GAAG,CAAC,mBAAmB;YACrB,CAAC,CAAC;gBACE,mBAAmB,EAAE;oBACnB,mBAAmB,EAAE,mBAAmB,CAAC,mBAAmB;oBAC5D,iBAAiB,EAAE,mBAAmB,CAAC,iBAAiB;oBACxD,cAAc,EAAE,mBAAmB,CAAC,cAAc;iBACnD;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,kFAAkF;QAClF,uGAAuG;QACvG,+FAA+F;QAE/F,wFAAwF;QACxF,+FAA+F;QAC/F,+FAA+F;QAC/F,2FAA2F;QAC3F,4FAA4F;QAC5F,iGAAiG;QACjG,GAAG,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC;YACvC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,YAAY,EAAE,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,EAAE;YAClE,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC"}
+{"version":3,"file":"renderInput.js","sourceRoot":"","sources":["../../src/assemble/renderInput.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,gBAAgB,EAA0C,MAAM,6BAA6B,CAAC;AAoCvG,MAAM,UAAU,mBAAmB,CACjC,sBAA8C,EAC9C,GAAe,EACf,mBAAyC,EACzC,YAA0C;IAE1C,OAAO;QACL,aAAa,EAAE,gBAAgB,CAAC,GAAG,CAAC;QACpC,GAAG,sBAAsB;QACzB,GAAG,CAAC,mBAAmB;YACrB,CAAC,CAAC;gBACE,mBAAmB,EAAE;oBACnB,mBAAmB,EAAE,mBAAmB,CAAC,mBAAmB;oBAC5D,iBAAiB,EAAE,mBAAmB,CAAC,iBAAiB;oBACxD,GAAG,CAAC,mBAAmB,CAAC,cAAc,IAAI,mBAAmB,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;wBACrF,CAAC,CAAC,EAAE,cAAc,EAAE,mBAAmB,CAAC,cAAc,EAAE;wBACxD,CAAC,CAAC,EAAE,CAAC;iBACR;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC;YACvC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,YAAY,EAAE,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,EAAE;YAClE,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC"}

package/dist/census/evidenceObligations.d.ts

@@ -1,57 +1,22 @@
-/**
- * The EvidenceObligations — the obligation-corpus census carried ALONGSIDE the balance, a
- * sibling to both the pure Ledger (the obligation-vs-observation verdict data) and
- * the RunContext (run metadata). It records how the parsed corpus reconciles
- * against EVERY raw @SCN mention in the source: how many ids the source mentioned in
- * total (tag + non-tag context) vs how many were actually read as scenarios.
- *
- * The lone non-derivable corpus fact is `excludedOccurrences` (raw − scenarioCount): the
- * @SCN ids seen in prose, comments, or step text that the tag-line parser ignores.
- * `scenarioCount` is derivable from the balance and `rawScnOccurrences` is derivable
- * as scenarioCount + excludedOccurrences, so only `excludedOccurrences` is persisted
- * on the JSON surface (project design §3). Threaded CLI→renderers exactly like
- * RunContext — a third, OPTIONAL renderer argument — so the existing 2-arg byte/JSON
- * guards stay green untouched.
- *
- * Parent: (@SCN-RPT-008).
- */
-/**
- * One untagged scenario (@SCN-RPT-014) — a Gherkin scenario header with no
- * `@SCN` tag, located by its feature file + scenario name (the where-to-fix locator).
- */
 export interface UntaggedScenario {
-    /** The feature file the scenario lives in (e.g. `report.feature`). */
     feature: string;
-    /** The scenario name — the text after the `Scenario:`/`Outline:`/`Example:` keyword. */
     scenario: string;
 }
-/** The scenario-corpus census — a reconciliation-read fact carried beside the balance. */
+export declare function untaggedScenarioId({ feature, scenario }: UntaggedScenario): string;
+export interface SharedScnCode {
+    scnId: string;
+    scenarios: UntaggedScenario[];
+}
 export interface EvidenceObligations {
-    /** Every @SCN-FFF-NNN occurrence in the whole source (tag-line + non-tag context). */
     rawScnOccurrences: number;
-    /** The @SCN ids actually read as scenarios. */
     scenarioCount: number;
-    /** rawScnOccurrences − scenarioCount: ids seen in non-tag context, excluded. */
     excludedOccurrences: number;
-    /**
-     * Gherkin scenarios with no @SCN tag — feature:scenario locators, sorted.
-     * A NEW non-derivable obligation-side datum, so it persists on JSON beside
-     * `excludedOccurrences` (project design §3).
-     */
     untaggedScenarios: UntaggedScenario[];
-    /**
-     * @SCN codes that appear only in prose, never as a tag anywhere — the
-     * dangling references, sorted. A cross-corpus `proseCodes − tagCodes` difference,
-     * distinct from `excludedOccurrences` (raw occurrences). Non-derivable obligation-side
-     * datum → persists on JSON beside the others (project design §3).
-     */
-    proseOnlyCodes: string[];
+    sharedScnCodes?: SharedScnCode[];
 }
-/**
- * Build a EvidenceObligations from the raw-occurrence count, the scenario count,
- * and the untagged scenarios: `excludedOccurrences = raw − scenarioCount` — the ids
- * seen in non-tag context (each scenario contributes exactly one tag-line
- * occurrence). `untaggedScenarios` defaults to empty for callers that don't read them.
- */
-export declare function evidenceObligations(raw: number, scenarioCount: number, untaggedScenarios?: UntaggedScenario[], proseOnlyCodes?: string[]): EvidenceObligations;
+export declare function evidenceObligations(raw: number, scenarioCount: number, untaggedScenarios?: UntaggedScenario[], sharedScnCodes?: SharedScnCode[]): EvidenceObligations;
+export declare function sharedScnCodesOf(files: readonly {
+    feature: string;
+    source: string;
+}[]): SharedScnCode[];
 //# sourceMappingURL=evidenceObligations.d.ts.map

package/dist/census/evidenceObligations.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evidenceObligations.d.ts","sourceRoot":"","sources":["../../src/census/evidenceObligations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,sEAAsE;IACtE,OAAO,EAAE,MAAM,CAAC;IAChB,wFAAwF;IACxF,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,0FAA0F;AAC1F,MAAM,WAAW,mBAAmB;IAClC,sFAAsF;IACtF,iBAAiB,EAAE,MAAM,CAAC;IAC1B,+CAA+C;IAC/C,aAAa,EAAE,MAAM,CAAC;IACtB,gFAAgF;IAChF,mBAAmB,EAAE,MAAM,CAAC;IAC5B;;;;OAIG;IACH,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC;;;;;OAKG;IACH,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,MAAM,EACX,aAAa,EAAE,MAAM,EACrB,iBAAiB,GAAE,gBAAgB,EAAO,EAC1C,cAAc,GAAE,MAAM,EAAO,GAC5B,mBAAmB,CAQrB"}
+{"version":3,"file":"evidenceObligations.d.ts","sourceRoot":"","sources":["../../src/census/evidenceObligations.ts"],"names":[],"mappings":"AAGA,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,wBAAgB,kBAAkB,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,gBAAgB,GAAG,MAAM,CAElF;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,gBAAgB,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,mBAAmB;IAClC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;IACtB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,cAAc,CAAC,EAAE,aAAa,EAAE,CAAC;CAClC;AAED,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,MAAM,EACX,aAAa,EAAE,MAAM,EACrB,iBAAiB,GAAE,gBAAgB,EAAO,EAC1C,cAAc,GAAE,aAAa,EAAO,GACnC,mBAAmB,CAQrB;AAED,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE,GACpD,aAAa,EAAE,CAWjB"}

package/dist/census/evidenceObligations.js

@@ -1,33 +1,27 @@
-/**
- * The EvidenceObligations — the obligation-corpus census carried ALONGSIDE the balance, a
- * sibling to both the pure Ledger (the obligation-vs-observation verdict data) and
- * the RunContext (run metadata). It records how the parsed corpus reconciles
- * against EVERY raw @SCN mention in the source: how many ids the source mentioned in
- * total (tag + non-tag context) vs how many were actually read as scenarios.
- *
- * The lone non-derivable corpus fact is `excludedOccurrences` (raw − scenarioCount): the
- * @SCN ids seen in prose, comments, or step text that the tag-line parser ignores.
- * `scenarioCount` is derivable from the balance and `rawScnOccurrences` is derivable
- * as scenarioCount + excludedOccurrences, so only `excludedOccurrences` is persisted
- * on the JSON surface (project design §3). Threaded CLI→renderers exactly like
- * RunContext — a third, OPTIONAL renderer argument — so the existing 2-arg byte/JSON
- * guards stay green untouched.
- *
- * Parent: (@SCN-RPT-008).
- */
-/**
- * Build a EvidenceObligations from the raw-occurrence count, the scenario count,
- * and the untagged scenarios: `excludedOccurrences = raw − scenarioCount` — the ids
- * seen in non-tag context (each scenario contributes exactly one tag-line
- * occurrence). `untaggedScenarios` defaults to empty for callers that don't read them.
- */
-export function evidenceObligations(raw, scenarioCount, untaggedScenarios = [], proseOnlyCodes = []) {
+import { parseTaggedScenarios } from "../parse/scenarios.js";
+import { CORE_MESSAGES, CoreMessage } from "../domain/messages.js";
+export function untaggedScenarioId({ feature, scenario }) {
+    return CORE_MESSAGES[CoreMessage.UntaggedScenarioId](feature, scenario);
+}
+export function evidenceObligations(raw, scenarioCount, untaggedScenarios = [], sharedScnCodes = []) {
     return {
         rawScnOccurrences: raw,
         scenarioCount,
         excludedOccurrences: raw - scenarioCount,
         untaggedScenarios,
-        proseOnlyCodes,
+        sharedScnCodes,
     };
 }
+export function sharedScnCodesOf(files) {
+    const byCode = new Map();
+    for (const { feature, source } of files) {
+        for (const { scnId, name } of parseTaggedScenarios(source)) {
+            byCode.set(scnId, [...(byCode.get(scnId) ?? []), { feature, scenario: name }]);
+        }
+    }
+    return [...byCode]
+        .filter(([, scenarios]) => scenarios.length > 1)
+        .map(([scnId, scenarios]) => ({ scnId, scenarios }))
+        .sort((a, b) => a.scnId.localeCompare(b.scnId));
+}
 //# sourceMappingURL=evidenceObligations.js.map

package/dist/census/evidenceObligations.js.map

@@ -1 +1 @@
-{"version":3,"file":"evidenceObligations.js","sourceRoot":"","sources":["../../src/census/evidenceObligations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAoCH;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CACjC,GAAW,EACX,aAAqB,EACrB,oBAAwC,EAAE,EAC1C,iBAA2B,EAAE;IAE7B,OAAO;QACL,iBAAiB,EAAE,GAAG;QACtB,aAAa;QACb,mBAAmB,EAAE,GAAG,GAAG,aAAa;QACxC,iBAAiB;QACjB,cAAc;KACf,CAAC;AACJ,CAAC"}
+{"version":3,"file":"evidenceObligations.js","sourceRoot":"","sources":["../../src/census/evidenceObligations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAOnE,MAAM,UAAU,kBAAkB,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAoB;IACxE,OAAO,aAAa,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AAC1E,CAAC;AAeD,MAAM,UAAU,mBAAmB,CACjC,GAAW,EACX,aAAqB,EACrB,oBAAwC,EAAE,EAC1C,iBAAkC,EAAE;IAEpC,OAAO;QACL,iBAAiB,EAAE,GAAG;QACtB,aAAa;QACb,mBAAmB,EAAE,GAAG,GAAG,aAAa;QACxC,iBAAiB;QACjB,cAAc;KACf,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,KAAqD;IAErD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA8B,CAAC;IACrD,KAAK,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACxC,KAAK,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3D,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC;SACf,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;SAC/C,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;SACnD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AACpD,CAAC"}

package/dist/domain/evidenceOrder.d.ts

@@ -0,0 +1,3 @@
+import type { EvidenceObservation } from "./journal.js";
+export declare function inEvidenceOrder(observations: readonly EvidenceObservation[]): EvidenceObservation[];
+//# sourceMappingURL=evidenceOrder.d.ts.map

package/dist/domain/evidenceOrder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidenceOrder.d.ts","sourceRoot":"","sources":["../../src/domain/evidenceOrder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAUxD,wBAAgB,eAAe,CAC7B,YAAY,EAAE,SAAS,mBAAmB,EAAE,GAC3C,mBAAmB,EAAE,CAOvB"}

package/dist/domain/evidenceOrder.js

@@ -0,0 +1,15 @@
+import { RUNTIME_QUALITY_CHECKS } from "./ledger.js";
+const QUALITY_CHECK_ORDER = [...RUNTIME_QUALITY_CHECKS, "fitness"];
+function evidenceOrderKey(o) {
+    const content = JSON.stringify(o, Object.keys(o).sort());
+    return [QUALITY_CHECK_ORDER.indexOf(o.qualityCheck), o.locator ?? "", o.scnId ?? "", content].join("\u0000");
+}
+export function inEvidenceOrder(observations) {
+    const byKey = new Map();
+    for (const o of observations) {
+        const key = evidenceOrderKey(o);
+        byKey.set(key, [...(byKey.get(key) ?? []), o]);
+    }
+    return [...byKey.keys()].sort().flatMap((key) => byKey.get(key));
+}
+//# sourceMappingURL=evidenceOrder.js.map

package/dist/domain/evidenceOrder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidenceOrder.js","sourceRoot":"","sources":["../../src/domain/evidenceOrder.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAErD,MAAM,mBAAmB,GAAsB,CAAC,GAAG,sBAAsB,EAAE,SAAS,CAAC,CAAC;AAEtF,SAAS,gBAAgB,CAAC,CAAsB;IAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACzD,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AAC/G,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,YAA4C;IAE5C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiC,CAAC;IACvD,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAChC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,CAAC;AACpE,CAAC"}