@3f-consulting/spec-controller-core 0.1.0-alpha.8 → 0.1.0-alpha.81

package/dist/domain/evidenceReconciliation.js

@@ -1,69 +1,11 @@
-/**
- * THE EVIDENCE RECONCILIATION — canon's Layer 1, *"the whole reconciliation: all Scenario
- * Reconciliations taken together"*, and **the key concept the domain models**
- * (`double-entry-manifesto.md`). This module is its home.
- *
- * IT ARRIVED HERE FROM `reconcile/` (3F-2232). After 3F-2202/2203/2204 that module held no domain
- * rule — but it was still a named layer beside the domain doing the concept's own work, which is
- * the shape `functional-domain-modelling.md` rejects: *"orchestration is thin composition, not a
- * named layer."* Constructing a concept is the concept's business. The module's residual tell was
- * already visible — it re-exported `isBalanced` / `hasPendingItems` / `hasBrokenEvidence` FROM
- * `domain/ledger` purely to preserve importers' paths, a shell around behaviour that had already
- * gone home. Every importer now points at the module that OWNS the symbol.
- *
- * (3F-2233 completes the move: the concept's TYPE, its `Summary`, and the factory that fuses this
- * fold with the summary tally. Today this module holds the fold alone.)
- *
- * The pure obligation-vs-observation join, keyed by one flat
- * `qualityCheck` (the two-axis `(kind, level)` grid collapsed). This module is THIN
- * COMPOSITION: the domain RULES it once held moved to the
- * concept modules that own them (3F-1994) — `reconcileEvidenceObligation` (the per-obligation
- * outcome) to `domain/qualityCheckReconciliation`, `verdictFor` / `reconcilingItemsOf` (the
- * account roll-up) to `domain/scenarioReconciliation`, `isBalanced` / `hasPendingItems` /
- * `hasBrokenEvidence` (the whole-run predicates) to `domain/ledger`. `reconcile` is the fold that
- * WALKS the inputs, CALLS those rules, and BUILDS the rows; it is the orchestration, not their home.
- *
- * POSTING-DESTINATION left too (3F-2202) — WHERE an entry lands is canon's own glossary group
- * ("### Posting") and now lives on `domain/posting`: `postingOf`, the one citation route over both
- * axes (plus the no-evidence-obligation-static-check arm). The by-name half is gone (3F-2590).
- * The fold no longer DECIDES a destination anywhere — it
- * asks the rule once per credit and files the answer. What remains is assembly: which rows exist,
- * in what order, holding which items.
- *
- * Per the slice design: for each evidence obligation a scenario raises (a reconciling
- * item), present+pass → satisfied; present+fail → failing; absent →
- * missing. `reconcileEvidenceObligation` branches on the `qualityCheck === "lint"`
- * watermelon discriminator (replacing the retired `kind === "static"` split): a `lint`
- * evidence obligation reconciles against a static-check evidence observation (exists+wired → satisfied;
- * exists+unwired → watermelon; absent → missing); a runtime evidence obligation
- * reconciles against a test result matched by (scnId, quality-check).
- *
- * The scenario VERDICT is binary (superseding the earlier prioritising
- * aggregate): a scenario is `balanced` IFF every required quality-check balances;
- * otherwise `out-of-balance`, carrying the LIST of EVERY non-balanced reconciling
- * item — no prioritisation, no picked winner ("missing beats failing" was a false
- * order that hid one of two genuinely different problems). The renderers list
- * every item.
- *
- * Parent: @SCN-LDG-001.
- */
-import { evidenceObligationPairsOf, 
-// THE PENDING PARTITION (3F-2204) — the two exact complements over a scenario's obligations.
-evidenceObligationsOf, pendingItemsOf, } from "../model.js";
-import { reconcileEvidenceObligation, 
-// THE CREDIT-SIDE AND DEGENERATE OUTCOME RULES (3F-2204) — what an entry reconciles TO, as
-// opposed to where it lands. `reconcile` asks; it no longer maps outcomes itself.
-noEvidenceObligationReconciliationsOf, citesUnknownScenarioReconciliationsOf, suspenseReconciliationsOf, noScnCodeReconciliations, unspecifiedRowReconciliations, } from "./qualityCheckReconciliation.js";
-import { ledgerTally, runtimeObservationTally, staticObservationTally, } from "./ledger.js";
-import { verdictFor, reconcilingItemsOf, 
-// THE ROW-SHAPE RULE (3F-2204) — the both-missing degeneration and its pending clause.
-qualityCheckReconciliationsOf, } from "./scenarioReconciliation.js";
-// THE POSTING RULE (3F-2202) — where an entry lands is canon's own glossary group, so it lives on
-// its own concept module. `reconcile` no longer decides a destination; it ASKS.
+import { evidenceObligationPairsOf, evidenceObligationsOf, pendingItemsOf, } from "./journal.js";
+import { reconcileEvidenceObligation, noEvidenceObligationReconciliationsOf, citesUnknownScenarioReconciliationsOf, suspenseReconciliationsOf, noScnCodeReconciliations, duplicateScnCodeReconciliationsOf, } from "./qualityCheckReconciliation.js";
+import { ledgerTally, runtimeObservationTally, fitnessFunctionTally, RUNTIME_QUALITY_CHECKS, } from "./ledger.js";
+import { verdictFor, reconcilingItemsOf, qualityCheckReconciliationsOf, } from "./scenarioReconciliation.js";
 import { postingOf } from "./posting.js";
-// The `lint` quality-check's own predicate, asked here to NARROW what the posting rule has already
-// routed — see the fitness arm below.
-import { isStaticCheckObservation } from "../model.js";
+import { CORE_MESSAGES, CoreMessage } from "./messages.js";
+import { inEvidenceOrder } from "./evidenceOrder.js";
+import { isFitnessObservation } from "./journal.js";
 function citationIndex() {
     const byScn = new Map();
     const phantomIds = [];
@@ -76,168 +18,78 @@ function citationIndex() {
                 phantomIds.push(posting.scnId);
             }
         },
-        creditsFor: (scnId) => byScn.get(scnId) ?? [],
+        observationsFor: (scnId) => byScn.get(scnId) ?? [],
         phantomIds,
     };
 }
-/**
- * THE ONE ROUTING PASS (3F-2202). Every credit is routed ONCE, by THE posting rule
- * (`domain/posting`), into the structures the fold reads. `reconcile` no longer DECIDES a
- * destination anywhere — it asks, and files the answer.
- *
- * This replaces two passes that re-stated the SAME four routing decisions (the citation index and
- * the phantom-id scan) plus three stream filters. They agreed by copy-paste, not by construction:
- * either could have grown an arm alone and nothing would have redded — the identical anaemia
- * `evidenceObligationPairsOf` was extracted to cure.
- *
- * ITS OWN FUNCTION, extracted at @SCN-LNT-026 when the static axis gained its second suspense
- * reason and took `reconcile` past the `complexity` and `max-lines-per-function` ceilings. Routing
- * is one idea with a name and the fold below is another; nothing about what it decides moved, and
- * the exception list is untouched — an exception buys no headroom.
- */
-function routeCredits(evidenceObservations, scenarioIds) {
-    // THE CITATION INDEX holds BOTH axes now (@SCN-LNT-001): a fitness check's run cites the
-    // scenario that raises its obligation, so it files here exactly as a test result does.
+function routeObservations(evidenceObservations, scenarioIds) {
     const citations = citationIndex();
-    // The three SUSPENSE streams, kept separate and each in observation order — the suspense row's
-    // item order (broken first, then uncited, then the no-evidence-obligation static checks) is row
-    // assembly, owned by the fold in `reconcile`, not a routing decision.
-    // BROKEN EVIDENCE FROM EITHER AXIS (@SCN-LNT-026). It was a runtime-only stream while `broken`
-    // was a runtime-only fact; a converted static check that did not run is the same fact about the
-    // same kind of absence, so it lands in the same stream and renders through the same section.
     const brokenEvidence = [];
     const uncited = [];
-    const noEvidenceObligationGuards = [];
+    const uncitedFitnessFunctions = [];
     for (const o of evidenceObservations) {
-        // The union NARROW — `qualityCheck === "lint"` is the `EvidenceObservation` union's TYPE TAG,
-        // not a posting decision. Which axis a credit rides is read here; where it LANDS is the rule's,
-        // on both branches.
-        if (o.qualityCheck === "lint") {
-            const posting = postingOf(o, scenarioIds);
-            // THE SPLIT ON THIS AXIS TOO (@SCN-LNT-026), the twin of the runtime arm's below. Both
-            // reasons post to suspense because neither names a row, and they stay in separate streams
-            // because they are different facts with different remedies: a check nobody named RAN and
-            // wants an obligation written for it; a broken one never ran and wants its harness fixed.
-            //
-            // THE SECOND CLAUSE IS THE NARROW, NOT A SECOND DECISION. `postingOf` reaches `broken` on
-            // this axis only through `isStaticCheckObservation`, so asking the same predicate here
-            // cannot disagree with it — it re-states what the rule already settled in the one form the
-            // compiler accepts. Nothing falls between the two arms: an observation that somehow took
-            // neither still lands in the second, misfiled rather than vaporised.
-            if (posting.kind === "suspense-scenario") {
-                if (posting.posted === "broken" && isStaticCheckObservation(o))
-                    brokenEvidence.push(o);
-                else
-                    noEvidenceObligationGuards.push(o);
-            }
-            // A CITING run files into the citation index like any other credit (@SCN-LNT-001) —
-            // exactly one row, real or invented. There is no third destination left (3F-2590).
-            else
-                citations.file(posting, o);
-            continue;
-        }
         const posting = postingOf(o, scenarioIds);
-        switch (posting.kind) {
-            case "scenario":
-            case "phantom-scenario": {
-                // THE CITATION INDEX holds real AND invented ids alike — a phantom row reads its posted
-                // credits from here too, so both citation-routed destinations file together.
-                citations.file(posting, o);
-                break;
-            }
-            case "suspense-scenario":
-                // THE SPLIT (@SCN-LDG-017) — `broken` and `cites-nothing` both land on suspense because
-                // neither names a scenario, but they are different facts with different remedies (fix the
-                // harness vs add the @SCN), so their streams stay apart. The rule already told them apart.
-                if (posting.posted === "broken")
-                    brokenEvidence.push(o);
-                else
-                    uncited.push(o);
-                break;
-        }
+        if (posting.kind !== "suspense-scenario")
+            citations.file(posting, o);
+        else if (posting.posted === "broken")
+            brokenEvidence.push(o);
+        else if (isFitnessObservation(o))
+            uncitedFitnessFunctions.push(o);
+        else
+            uncited.push(o);
     }
-    return { citations, brokenEvidence, uncited, noEvidenceObligationGuards };
+    return { citations, brokenEvidence, uncited, uncitedFitnessFunctions };
 }
-/**
- * ONE REAL SCENARIO'S ROW — the debit side reconciled against the observed evidence, the credit
- * side's no-evidence-obligation items beside it, and the row assembled from both.
- *
- * ITS OWN FUNCTION, extracted at @SCN-LNT-027 (3F-3472) when the fourth population took `reconcile`
- * past the `max-lines-per-function` ceiling — `routeCredits`' own precedent, and the same seam.
- * Routing is one idea with a name, what each population RECONCILES to is another, and `reconcile`
- * is the ORDER they are filed in. Nothing any of them decides moved.
- */
 function scenarioRow(d, evidenceObservations, citations, evidenceObligationPairs) {
-    // THE PENDING PARTITION (@SCN-PND-004) — `pendingItemsOf` and `evidenceObligationsOf`
-    // are exact complements over the scenario's obligations, so nothing is dropped and nothing is
-    // counted twice. Rule + rationale: `domain/journal`.
     const pendingItems = pendingItemsOf(d);
-    // The DEBIT side — each NAMED obligation reconciled against the observed evidence.
-    const reconciledEvidenceObligations = evidenceObligationsOf(d.evidenceObligations).map((req) => reconcileEvidenceObligation(d.scnId, req, evidenceObservations));
-    // The CREDIT side — NO-EVIDENCE-OBLIGATION (@SCN-LDG-008): a credit citing THIS real scenario at a
-    // quality-check it never named. Rule + rationale: `domain/qualityCheckReconciliation`.
-    const noEvidenceObligationItems = noEvidenceObligationReconciliationsOf(d.scnId, citations.creditsFor(d.scnId), evidenceObligationPairs);
-    // The row's SUB-ROWS, degenerating to one `both-missing` item when the row reconciled to
-    // nothing either way (@SCN-LDG-009). Rule + rationale: `domain/scenarioReconciliation`.
+    const reconciledEvidenceObligations = evidenceObligationsOf(d.evidenceObligations).map((obligation) => reconcileEvidenceObligation(d.scnId, obligation, evidenceObservations));
+    const noEvidenceObligationItems = noEvidenceObligationReconciliationsOf(d.scnId, citations.observationsFor(d.scnId), evidenceObligationPairs);
     const qualityCheckReconciliations = qualityCheckReconciliationsOf(reconciledEvidenceObligations, noEvidenceObligationItems, pendingItems);
     return {
         scnId: d.scnId,
         kind: "scenario",
         verdict: verdictFor(qualityCheckReconciliations),
-        // THE POSTED CREDITS (@SCN-LDG-022) — every credit CITING this scenario, whatever it
-        // reconciles to above. The citation index holds every citing credit, so this includes one citing a
-        // PENDING quality-check, which reconciles `no-evidence-obligation` (3F-1858 — it used to reconcile to
-        // NO ROW AT ALL, the false-green this posting made visible without fixing). It posts and is
-        // findable WHATEVER it reconciles to; posting is not classifying, and a misclassification
-        // must misfile an entry, never vaporise it. A fitness check's run is in here too and by the
-        // SAME route (3F-2590): it cites this scenario, so the citation index holds it like any other.
-        evidenceObservations: citations.creditsFor(d.scnId),
-        // THE POSTED DEBITS (@SCN-LDG-023) — every obligation THIS scenario RAISES, in document
-        // order, keyed by quality-check. The debit half of the same posting: where a credit is
-        // routed by its citation, a debit needs no routing at all — the account IS the scenario.
-        // Includes a PENDING obligation, which partitioned off above and earns NO reconciled row: it
-        // posts ANYWAY. Posting is not classifying, on this side too.
+        evidenceObservations: citations.observationsFor(d.scnId),
         evidenceObligations: [...d.evidenceObligations],
         qualityCheckReconciliations,
         reconcilingItems: reconcilingItemsOf(qualityCheckReconciliations),
         pendingItems,
     };
 }
-/**
- * THE PHANTOM ROWS, assembled (@SCN-LDG-006). Extracted beside its siblings at 3F-3472; the
- * routing that produced `citations.phantomIds` is `routeCredits`', and unchanged.
- */
+function accountsByCode(scenarios) {
+    const byCode = new Map();
+    for (const scenario of scenarios) {
+        const sharers = byCode.get(scenario.scnId) ?? [];
+        sharers.push(scenario);
+        byCode.set(scenario.scnId, sharers);
+    }
+    return [...byCode.values()];
+}
+function duplicateScnCodeRow(sharers, citations) {
+    const scnId = sharers[0].scnId;
+    const evidenceObligations = sharers.flatMap((s) => s.evidenceObligations);
+    const items = duplicateScnCodeReconciliationsOf(evidenceObligations);
+    return {
+        scnId,
+        kind: "scenario",
+        verdict: verdictFor(items),
+        evidenceObservations: citations.observationsFor(scnId),
+        evidenceObligations,
+        qualityCheckReconciliations: items,
+        reconcilingItems: reconcilingItemsOf(items),
+        pendingItems: [],
+    };
+}
 function phantomScenarioRows(citations) {
     const rows = [];
-    // CREDIT-SIDE — PHANTOM scenarios (@SCN-LDG-006). One phantom Scenario Reconciliation per
-    // UNKNOWN cited id, in first-seen order, its Quality Check Reconciliation(s) carrying the
-    // outcome `cites-unknown-scenario` (and the evidence observation's locator, ruling Q5), verdict
-    // ALWAYS out-of-balance. Grouped AFTER the scenario rows.
-    //
-    // `phantomIds` was ROUTED ABOVE (3F-2202) — this block only ASSEMBLES the rows. The scan that
-    // stood here re-stated the citation index's four routing decisions verbatim, including the
-    // fail-safe arms (a BROKEN credit mints no phantom row; an uncited credit is suspense, never
-    // phantom); both now come from the one `postingOf` call.
     for (const scnId of citations.phantomIds) {
-        const credits = citations.creditsFor(scnId);
-        // ASKED, not decided (3F-2204).
-        const items = citesUnknownScenarioReconciliationsOf(credits);
+        const observations = citations.observationsFor(scnId);
+        const items = citesUnknownScenarioReconciliationsOf(observations);
         rows.push({
             scnId,
             kind: "phantom-scenario",
-            // ASKED, not restated (3F-2204, the close-gate read). Canon says a phantom row is ALWAYS
-            // out-of-balance, and it is — BY CONSTRUCTION, because a phantom row exists only where a
-            // credit minted it, so it always carries ≥1 `cites-unknown-scenario` item. Deriving the
-            // verdict from the items keeps that a consequence of the rule rather than a constant asserted
-            // beside it: a hardcoded verdict would go on reading `out-of-balance` even if the row ever
-            // came to carry none, which is precisely the drift the verdict/items lock-step exists to stop.
             verdict: verdictFor(items),
-            // The credits that CITE this invented scenario post to it — canon organises the ledger by
-            // "real or INVENTED scenario", so a phantom account holds its postings like any other.
-            evidenceObservations: [...credits],
-            // A phantom account is MINTED BY A CREDIT — no scenario raises it, so nothing can have
-            // been named of it. Its debit side is empty by construction (@SCN-LDG-023); the asymmetry
-            // with the credit side is real, not an omission.
+            evidenceObservations: [...observations],
             evidenceObligations: [],
             qualityCheckReconciliations: items,
             reconcilingItems: items,
@@ -246,33 +98,15 @@ function phantomScenarioRows(citations) {
     }
     return rows;
 }
-/**
- * THE SUSPENSE ROW, assembled (@SCN-LDG-007) — nil rows or one. Extracted beside its siblings at
- * 3F-3472; what lands on it is `routeCredits`' decision, and unchanged.
- */
-function suspenseScenarioRows(brokenEvidence, uncited, noEvidenceObligationGuards) {
+function suspenseScenarioRows(brokenEvidence, uncited, uncitedFitnessFunctions) {
     const rows = [];
-    // THE SUSPENSE ROW (@SCN-LDG-007) — every entry that names no scenario aggregates into ONE row
-    // (sentinel scnId `(no scenario)`), grouped LAST, verdict always out-of-balance.
-    //
-    // Its three streams were ROUTED by the posting rule (3F-2202); their OUTCOMES and their ORDER
-    // are the item concept's (3F-2204, `suspenseReconciliationsOf` — rule + rationale there). What
-    // is decided HERE is only whether the row exists at all: suspense is minted by a credit landing
-    // on it, so no credit means no row.
-    if (brokenEvidence.length > 0 || uncited.length > 0 || noEvidenceObligationGuards.length > 0) {
-        const items = suspenseReconciliationsOf(brokenEvidence, uncited, noEvidenceObligationGuards);
+    if (brokenEvidence.length > 0 || uncited.length > 0 || uncitedFitnessFunctions.length > 0) {
+        const items = suspenseReconciliationsOf(brokenEvidence, uncited, uncitedFitnessFunctions);
         rows.push({
-            scnId: "(no scenario)",
+            scnId: CORE_MESSAGES[CoreMessage.SuspenseScenarioId],
             kind: "suspense-scenario",
-            // ASKED, not restated — same reason as the phantom row. The `if` above is what makes this
-            // out-of-balance by construction: the row exists only when a credit landed on it.
             verdict: verdictFor(items),
-            // The credits citing NO scenario post here (@SCN-LDG-022) — the uncited, the broken (it
-            // named no test, so it cites nothing whatever scnId it structurally carries), and the
-            // no-evidence-obligation static checks. With the citation index this exhausts the credit stream.
-            evidenceObservations: [...brokenEvidence, ...uncited, ...noEvidenceObligationGuards],
-            // Suspense is MINTED BY A CREDIT too — it raises nothing, so it names nothing
-            // (@SCN-LDG-023). It can therefore carry no Pending Item either.
+            evidenceObservations: [...brokenEvidence, ...uncited, ...uncitedFitnessFunctions],
             evidenceObligations: [],
             qualityCheckReconciliations: items,
             reconcilingItems: items,
@@ -281,32 +115,15 @@ function suspenseScenarioRows(brokenEvidence, uncited, noEvidenceObligationGuard
     }
     return rows;
 }
-/**
- * THE UNCODED-WORK ROWS, assembled (@SCN-LDG-021). Extracted beside its siblings at 3F-3472.
- */
 function untaggedScenarioRows(untaggedScenarios) {
     const rows = [];
-    // UNCODED WORK (@SCN-LDG-021) — a scenario carrying no @SCN. It is REAL and ORDINARY
-    // (`kind: "scenario"`, never phantom or suspense: it exists, and cucumber runs it); what is
-    // absent is the CODE its obligation needs in order to link to an observation. It gets its own
-    // out-of-balance row so the verdict can see it at all.
-    //
-    // The item's outcome, its scenario-scope shape and the synthesised `{}` obligation it carries
-    // are the item concept's (3F-2204, `noScnCodeReconciliations` — rule + rationale there).
     for (const name of untaggedScenarios) {
         const items = noScnCodeReconciliations();
         rows.push({
-            // The scenario's NAME is its only handle — it has no code. (Precedent: the suspense row's
-            // "(no scenario)" sentinel; `featureCodeOf` falls back to the raw id when it cannot parse.)
             scnId: name,
             kind: "scenario",
-            // ASKED, not restated — `noScnCodeReconciliations` always returns the one `no-scn-code`
-            // item, so the verdict follows from it rather than being asserted alongside it.
             verdict: verdictFor(items),
-            // An untagged scenario carries no @SCN, so no credit can cite it — nothing can post here.
             evidenceObservations: [],
-            // It reaches the ledger by NAME, carrying no parsed obligations — so it posts no debits
-            // either (@SCN-LDG-023).
             evidenceObligations: [],
             qualityCheckReconciliations: items,
             reconcilingItems: items,
@@ -315,184 +132,53 @@ function untaggedScenarioRows(untaggedScenarios) {
     }
     return rows;
 }
-/**
- * THE ROWS A CONFIGURED ROW WITH NO SCENARIO EARNS, assembled (@SCN-LNT-027, 3F-3472).
- */
-function unspecifiedFitnessRowRows(unspecifiedFitnessRows) {
-    const rows = [];
-    // A CONFIGURED ROW THE CORPUS CARRIES NO SCENARIO FOR (@SCN-LNT-027, 3F-3472) — a check the
-    // target's manifest declares and nothing in its corpus specifies. The obligations travel with
-    // the scenarios, so such a row raised NOTHING: it was not `missing`, not phantom, not suspense,
-    // and a tree carrying one reconciled balanced at exit 0 over a check declared and never written.
-    // `features/fitness-checks.feature` promises the opposite in terms — "a row whose scenario the
-    // corpus does not carry as an Evidence Obligation nothing observed" — and this is that promise.
-    //
-    // THE PRECEDENT IS UNCODED WORK, three lines up: a fact the ordinary obligation path cannot raise
-    // reaches the ledger by a reading of its own and gets its own out-of-balance row so the verdict
-    // can see it at all. There the CORPUS supplies a row the obligations cannot; here the MANIFEST
-    // does.
-    //
-    // THE ROW IS NOT IN `scenarioIds`, WHICH IS WHAT MAKES IT UNDISCHARGEABLE. That set was built
-    // from `scenarios` alone and is not widened here, so a credit citing this row's code still mints
-    // a PHANTOM row (@SCN-LDG-006, @SCN-LNT-009) and a broken credit still lands on SUSPENSE — and
-    // there is no route left by which any credit settles this debit. Synthesising a `Scenario` for
-    // the row instead would have put it INTO that set, so a run whose CI step cited a declared-but-
-    // unwritten check would reconcile BALANCED: a new false green, in the case the phantom row
-    // already covers.
-    for (const row of unspecifiedFitnessRows) {
-        const items = unspecifiedRowReconciliations(row.characteristic);
-        rows.push({
-            scnId: row.scnId,
-            kind: "scenario",
-            // ASKED, not restated — the phantom and suspense rows' rule. `unspecifiedRowReconciliations`
-            // always returns the one `missing` item, so the verdict follows from it.
-            verdict: verdictFor(items),
-            // No scenario carries this code, so the citation router posts no credit here — see above.
-            evidenceObservations: [],
-            // THE DEBIT IS REAL AND IS POSTED (@SCN-LDG-023). Unlike the untagged row above, which
-            // reaches the ledger by name and names no check, this row names exactly one characteristic:
-            // that is the obligation, and the manifest is what raised it.
-            evidenceObligations: [...items.map((item) => item.evidenceObligation)],
-            qualityCheckReconciliations: items,
-            reconcilingItems: items,
-            pendingItems: [],
-        });
-    }
-    return rows;
-}
-export function reconcile(scenarios, evidenceObservations, untaggedScenarios = [], 
-/**
- * The CONFIGURED ROWS the target's corpus carries no scenario for (@SCN-LNT-027, 3F-3472) — the
- * fourth population, minted below.
- *
- * IT DEFAULTS, WHERE THE TWO GATES BELOW DELIBERATELY DO NOT (3F-2875). A gate that defaults is a
- * gate a caller can forget and thereby CHANGE what the summary claims. This is a population, and
- * an omitted population is indistinguishable from an empty one in the only way that matters:
- * both mint no rows, and neither says anything about a manifest. Every caller that constructs
- * `Scenario[]` by hand has no manifest to read rows from, which is `untaggedScenarios`' own
- * argument for the default it already carries.
- */
-unspecifiedFitnessRows = []) {
-    // THE OBLIGATION SIDE, prepared once — the three sets the posting rule and the outcome rules read.
-    // Each is already the MODEL's own rule (never re-derived here), and each is built ONCE and
-    // shared, so no two consumers can drift: `scenarioIds` is which scenarios exist,
-    // and `evidenceObligationPairs` is what they name at each quality-check (3F-1858).
+export function reconcile(scenarios, evidenceObservations, untaggedScenarios = []) {
     const scenarioIds = new Set(scenarios.map((d) => d.scnId));
-    // The NAMED pairs — the model's rule, built ONCE and shared with the census (3F-1858).
-    // Pending obligations are excluded: a pending obligation names nothing.
     const evidenceObligationPairs = evidenceObligationPairsOf(scenarios);
-    // THE ONE ROUTING PASS (3F-2202) — asked of the posting rule, in one place, and read back as
-    // four streams. What each of them then RECONCILES to is the fold's, below.
-    const { citations, brokenEvidence, uncited, noEvidenceObligationGuards } = routeCredits(evidenceObservations, scenarioIds);
-    // THE ORDER THE POPULATIONS ARE FILED IN IS THE LEDGER'S GROUPING, and it is the whole of what
-    // this function decides now: the real scenario rows, then the phantom rows a credit invented,
-    // then the one suspense row, then uncoded work, then the configured rows no scenario specifies.
+    const observations = inEvidenceOrder(evidenceObservations);
+    const { citations, brokenEvidence, uncited, uncitedFitnessFunctions } = routeObservations(observations, scenarioIds);
     return {
         scenarioReconciliations: [
-            ...scenarios.map((d) => scenarioRow(d, evidenceObservations, citations, evidenceObligationPairs)),
+            ...accountsByCode(scenarios).map((sharers) => sharers.length === 1
+                ? scenarioRow(sharers[0], observations, citations, evidenceObligationPairs)
+                : duplicateScnCodeRow(sharers, citations)),
             ...phantomScenarioRows(citations),
-            ...suspenseScenarioRows(brokenEvidence, uncited, noEvidenceObligationGuards),
+            ...suspenseScenarioRows(brokenEvidence, uncited, uncitedFitnessFunctions),
             ...untaggedScenarioRows(untaggedScenarios),
-            ...unspecifiedFitnessRowRows(unspecifiedFitnessRows),
         ],
     };
 }
-/**
- * Materialise the summary totals from the balance — the aggregate the markdown's trial-balance
- * table derives, carried AS DATA so a later render-from-saved-JSON rebuilds it with zero
- * computation (the MATERIALISE ruling). THIN COMPOSITION (3F-2000): the LEDGER-PURE totals
- * (`scenarioReconciliations`, `evidenceObligations`, `pending`, `lint`) come from `ledgerTally`
- * — the Ledger owns its own totals ("the summary is its totals") — and are MERGED here with the
- * census pass-throughs (`testVolume`, `staticChecks`), which are NOT Ledger-pure. The keys are
- * assembled in DOCUMENT ORDER (…, testVolume?, staticChecks?, lint) so the JSON stays
- * byte-identical.
- */
-export function summaryOf(ledger, withRuntimeObservations, withStaticChecks) {
+export function tiersWithoutRunnerOf(runnerTiers) {
+    return RUNTIME_QUALITY_CHECKS.filter((tier) => typeof runnerTiers[tier] !== "string").map((tier) => ({
+        tier,
+        namesNone: Object.hasOwn(runnerTiers, tier),
+    }));
+}
+export function summaryOf(ledger, withRuntimeObservations, withFitnessFunctions) {
     const tally = ledgerTally(ledger);
-    // The runtime evidence-observation totals are a FOLD OVER THE LEDGER (@SCN-RMD-003, 3F-2102) —
-    // the Ledger counts its own posted credits; the parallel census is RETIRED. `testVolume` and the
-    // re-homed `rawByRuntimeQualityCheck` derive from THIS fold. The `withRuntimeObservations` flag is
-    // now only the GATE (is the runtime-observation axis in play?) — the caller no longer threads a
-    // census object at all (the assembler folds the Ledger it already has).
     const observations = runtimeObservationTally(ledger);
-    // The static-check totals are a FOLD OVER THE LEDGER too (3F-2118) — the Ledger counts its own
-    // posted static-check credits; the parallel static census is RETIRED. `staticChecks` derives from
-    // THIS fold. The `withStaticChecks` flag is now only the GATE (is the static-check axis in play?) —
-    // the caller no longer threads a census object at all (the assembler folds the Ledger it holds).
-    const staticChecks = staticObservationTally(ledger);
+    const fitnessFunctions = fitnessFunctionTally(ledger);
     return {
         scenarioReconciliations: tally.scenarioReconciliations,
         evidenceObligations: tally.evidenceObligations,
         pending: tally.pending,
-        // The runtime test-volume kind-counts (RMD-005), materialised only when the evidenceObservations
-        // read is threaded. The surface reads the fold's per-scenario-kind counts DIRECTLY (an identity
-        // — the fold already groups by the scenario-kind the credit posted to). `onScenario` is every
-        // credit posted to a scenario's account, which INCLUDES no-evidence-obligation as a subset
-        // (matched-pair + no-evidence-obligation) — a DIFFERENT number from the reconciliation-matched-attributed
-        // (the retired section's `attributed[]` sum, which excluded no-evidence-obligation). Keeping no-evidence-obligation
-        // inside this count preserves the 3-termed identity `totalEvidenceObservations = onScenario +
-        // onPhantomScenario + onSuspenseScenario` (no-evidence-obligation is a subset here, NOT a 4th identity term)
-        // — the same shape the markdown's `### Test volume` line derives. `onPhantomScenario` /
-        // `onSuspenseScenario` are the credits posted to the phantom / suspense accounts (suspense
-        // includes `broken`).
         ...(withRuntimeObservations
             ? {
                 testVolume: {
-                    // ASKED, not re-derived (3F-2231) — the Ledger's fold computes this total and now
-                    // returns it. The assembler summed the same record again for it, which is an adapter
-                    // owning a model number by copied arithmetic.
                     totalEvidenceObservations: observations.total,
                     onScenario: observations.onScenario,
                     onPhantomScenario: observations.onPhantomScenario,
                     onSuspenseScenario: observations.onSuspenseScenario,
                 },
-                // The re-homed raw per-quality-check headline (@SCN-RMD-003) — a materialised Ledger
-                // fold, sibling of `testVolume` and present on the SAME gate.
                 rawByRuntimeQualityCheck: observations.rawByRuntimeQualityCheck,
             }
             : {}),
-        // The static-check kind-counts (RMD-005), materialised only when the static-check axis is in
-        // play — now a FOLD OVER THE LEDGER (3F-2118, `staticObservationTally`), symmetric with the
-        // runtime `testVolume` fold. The surface keeps the census shape exactly
-        // (`{ runningStaticCheckCount, uncitedStaticCheckCount }`; named is implicit). The member detail
-        // lives in the rows (named → each scenario's `@lint` sub-row; no-evidence-obligation → the suspense
-        // row) — there is no census section (2.4).
-        ...(withStaticChecks ? { staticChecks } : {}),
-        // The static-only lint tally (RMD-005), a LEDGER-PURE derive from `ledgerTally` — LAST key in
-        // document order (after the census pass-throughs).
-        lint: tally.lint,
+        ...(withFitnessFunctions ? { fitnessFunctions } : {}),
+        fitness: tally.fitness,
     };
 }
-/**
- * BUILD the Evidence Reconciliation from the journal — THE FACTORY (3F-2233).
- *
- * Journal inputs in, whole concept out: the fold posts every entry into the Ledger, and the tally
- * totals it. They are ONE act, not two stages a caller sequences — which is the point. While
- * `reconcile()` and `buildSummary()` were separate, an adapter held a Ledger and derived its own
- * totals, so "the procedure can sum the wrong rows" (`why-ddd-for-spec-controller.md`) was a
- * REACHABLE state. Here there is no such seam: you cannot obtain a summary except from the concept
- * that owns the rows it counts.
- *
- * The two flags are GATES, not data — they state whether the runtime-observation and static-check
- * axes are in play for this run; the counts themselves are always folded from the Ledger.
- *
- * WHY THE TRAILING THREE ARE REQUIRED AND CARRY NO DEFAULTS (3F-2875). A gate that defaults to
- * `false` is a gate a caller can forget to state, and forgetting it CHANGES THE REPORT — the
- * summary then claims neither axis is in play, silently and plausibly. That is not a hypothetical:
- * when the defaults were removed, eleven call sites turned out to have been leaning on them. Every
- * one wanted exactly what it had been getting, so nothing moved; what changed is that each now says
- * so. A default is the wrong shape for an argument whose omission is indistinguishable from a
- * deliberate `false`.
- */
-export function evidenceReconciliationOf(scenarios, evidenceObservations, untaggedScenarios, withRuntimeObservations, withStaticChecks, 
-/**
- * The CONFIGURED ROWS the corpus carries no scenario for (@SCN-LNT-027, 3F-3472) — passed
- * through to `reconcile`, which mints one row apiece. It defaults for the reason given there, and
- * that reason is NOT the trailing three's: a population omitted mints nothing and claims nothing,
- * where a gate omitted silently changes what the summary says is in play.
- */
-unspecifiedFitnessRows = []) {
-    const ledger = reconcile(scenarios, evidenceObservations, untaggedScenarios, unspecifiedFitnessRows);
-    return { summary: summaryOf(ledger, withRuntimeObservations, withStaticChecks), ledger };
+export function evidenceReconciliationOf(scenarios, evidenceObservations, untaggedScenarios, withRuntimeObservations, withFitnessFunctions) {
+    const ledger = reconcile(scenarios, evidenceObservations, untaggedScenarios);
+    return { summary: summaryOf(ledger, withRuntimeObservations, withFitnessFunctions), ledger };
 }
 //# sourceMappingURL=evidenceReconciliation.js.map

package/dist/domain/evidenceReconciliation.js.map

@@ -1 +1 @@
-{"version":3,"file":"evidenceReconciliation.js","sourceRoot":"","sources":["../../src/domain/evidenceReconciliation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAaH,OAAO,EACL,yBAAyB;AACzB,6FAA6F;AAC7F,qBAAqB,EACrB,cAAc,GACf,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,2BAA2B;AAC3B,2FAA2F;AAC3F,kFAAkF;AAClF,qCAAqC,EACrC,qCAAqC,EACrC,yBAAyB,EACzB,wBAAwB,EACxB,6BAA6B,GAC9B,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EACL,WAAW,EACX,uBAAuB,EACvB,sBAAsB,GACvB,MAAM,aAAa,CAAC;AAOrB,OAAO,EACL,UAAU,EACV,kBAAkB;AAClB,uFAAuF;AACvF,6BAA6B,GAC9B,MAAM,6BAA6B,CAAC;AACrC,kGAAkG;AAClG,gFAAgF;AAChF,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,mGAAmG;AACnG,sCAAsC;AACtC,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AAyBvD,SAAS,aAAa;IACpB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiC,CAAC;IACvD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,OAAO;QACL,IAAI,CAAC,OAAO,EAAE,WAAW;YACvB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAC5C,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACvB,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC/B,IAAI,OAAO,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC/E,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;QACD,UAAU,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE;QAC7C,UAAU;KACX,CAAC;AACJ,CAAC;AAiBD;;;;;;;;;;;;;;GAcG;AACH,SAAS,YAAY,CACnB,oBAAoD,EACpD,WAAgC;IAEhC,yFAAyF;IACzF,uFAAuF;IACvF,MAAM,SAAS,GAAG,aAAa,EAAE,CAAC;IAClC,+FAA+F;IAC/F,gGAAgG;IAChG,sEAAsE;IACtE,+FAA+F;IAC/F,gGAAgG;IAChG,6FAA6F;IAC7F,MAAM,cAAc,GAA8D,EAAE,CAAC;IACrF,MAAM,OAAO,GAAiC,EAAE,CAAC;IACjD,MAAM,0BAA0B,GAAiC,EAAE,CAAC;IACpE,KAAK,MAAM,CAAC,IAAI,oBAAoB,EAAE,CAAC;QACrC,8FAA8F;QAC9F,gGAAgG;QAChG,oBAAoB;QACpB,IAAI,CAAC,CAAC,YAAY,KAAK,MAAM,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;YAC1C,uFAAuF;YACvF,0FAA0F;YAC1F,yFAAyF;YACzF,0FAA0F;YAC1F,EAAE;YACF,0FAA0F;YAC1F,uFAAuF;YACvF,2FAA2F;YAC3F,yFAAyF;YACzF,qEAAqE;YACrE,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACzC,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,wBAAwB,CAAC,CAAC,CAAC;oBAAE,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;;oBAClF,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC1C,CAAC;YACD,oFAAoF;YACpF,mFAAmF;;gBAC9E,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAChC,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;QAC1C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,UAAU,CAAC;YAChB,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,wFAAwF;gBACxF,6EAA6E;gBAC7E,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBAC3B,MAAM;YACR,CAAC;YACD,KAAK,mBAAmB;gBACtB,wFAAwF;gBACxF,0FAA0F;gBAC1F,2FAA2F;gBAC3F,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ;oBAAE,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;;oBACnD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACrB,MAAM;QACV,CAAC;IACH,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,OAAO,EAAE,0BAA0B,EAAE,CAAC;AAC5E,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,WAAW,CAClB,CAAW,EACX,oBAA2C,EAC3C,SAAwB,EACxB,uBAA4C;IAE5C,sFAAsF;IACtF,8FAA8F;IAC9F,qDAAqD;IACrD,MAAM,YAAY,GAAkB,cAAc,CAAC,CAAC,CAAC,CAAC;IAEtD,mFAAmF;IACnF,MAAM,6BAA6B,GAAG,qBAAqB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAC7F,2BAA2B,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,oBAAoB,CAAC,CAChE,CAAC;IAEF,mGAAmG;IACnG,uFAAuF;IACvF,MAAM,yBAAyB,GAAG,qCAAqC,CACrE,CAAC,CAAC,KAAK,EACP,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,EAC7B,uBAAuB,CACxB,CAAC;IAEF,yFAAyF;IACzF,wFAAwF;IACxF,MAAM,2BAA2B,GAAG,6BAA6B,CAC/D,6BAA6B,EAC7B,yBAAyB,EACzB,YAAY,CACb,CAAC;IACF,OAAO;QACL,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,UAAU,CAAC,2BAA2B,CAAC;QAChD,qFAAqF;QACrF,mGAAmG;QACnG,sGAAsG;QACtG,4FAA4F;QAC5F,0FAA0F;QAC1F,4FAA4F;QAC5F,+FAA+F;QAC/F,oBAAoB,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC;QACnD,wFAAwF;QACxF,uFAAuF;QACvF,yFAAyF;QACzF,6FAA6F;QAC7F,8DAA8D;QAC9D,mBAAmB,EAAE,CAAC,GAAG,CAAC,CAAC,mBAAmB,CAAC;QAC/C,2BAA2B;QAC3B,gBAAgB,EAAE,kBAAkB,CAAC,2BAA2B,CAAC;QACjE,YAAY;KACb,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAAC,SAAwB;IACnD,MAAM,IAAI,GAA6B,EAAE,CAAC;IAC1C,0FAA0F;IAC1F,0FAA0F;IAC1F,gGAAgG;IAChG,0DAA0D;IAC1D,EAAE;IACF,8FAA8F;IAC9F,2FAA2F;IAC3F,6FAA6F;IAC7F,yDAAyD;IACzD,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC5C,gCAAgC;QAChC,MAAM,KAAK,GAAG,qCAAqC,CAAC,OAAO,CAAC,CAAC;QAC7D,IAAI,CAAC,IAAI,CAAC;YACR,KAAK;YACL,IAAI,EAAE,kBAAkB;YACxB,yFAAyF;YACzF,yFAAyF;YACzF,wFAAwF;YACxF,8FAA8F;YAC9F,2FAA2F;YAC3F,+FAA+F;YAC/F,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC;YAC1B,0FAA0F;YAC1F,uFAAuF;YACvF,oBAAoB,EAAE,CAAC,GAAG,OAAO,CAAC;YAClC,uFAAuF;YACvF,0FAA0F;YAC1F,iDAAiD;YACjD,mBAAmB,EAAE,EAAE;YACvB,2BAA2B,EAAE,KAAK;YAClC,gBAAgB,EAAE,KAAK;YACvB,YAAY,EAAE,EAAE;SACjB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAC3B,cAAkF,EAClF,OAA8C,EAC9C,0BAAiE;IAEjE,MAAM,IAAI,GAA6B,EAAE,CAAC;IAC1C,+FAA+F;IAC/F,iFAAiF;IACjF,EAAE;IACF,8FAA8F;IAC9F,+FAA+F;IAC/F,gGAAgG;IAChG,oCAAoC;IACpC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,0BAA0B,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7F,MAAM,KAAK,GAAG,yBAAyB,CAAC,cAAc,EAAE,OAAO,EAAE,0BAA0B,CAAC,CAAC;QAC7F,IAAI,CAAC,IAAI,CAAC;YACR,KAAK,EAAE,eAAe;YACtB,IAAI,EAAE,mBAAmB;YACzB,0FAA0F;YAC1F,kFAAkF;YAClF,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC;YAC1B,wFAAwF;YACxF,sFAAsF;YACtF,iGAAiG;YACjG,oBAAoB,EAAE,CAAC,GAAG,cAAc,EAAE,GAAG,OAAO,EAAE,GAAG,0BAA0B,CAAC;YACpF,8EAA8E;YAC9E,iEAAiE;YACjE,mBAAmB,EAAE,EAAE;YACvB,2BAA2B,EAAE,KAAK;YAClC,gBAAgB,EAAE,KAAK;YACvB,YAAY,EAAE,EAAE;SACjB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,iBAAoC;IAChE,MAAM,IAAI,GAA6B,EAAE,CAAC;IAC1C,qFAAqF;IACrF,4FAA4F;IAC5F,8FAA8F;IAC9F,uDAAuD;IACvD,EAAE;IACF,8FAA8F;IAC9F,yFAAyF;IACzF,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,wBAAwB,EAAE,CAAC;QACzC,IAAI,CAAC,IAAI,CAAC;YACR,0FAA0F;YAC1F,4FAA4F;YAC5F,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,UAAU;YAChB,wFAAwF;YACxF,gFAAgF;YAChF,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC;YAC1B,0FAA0F;YAC1F,oBAAoB,EAAE,EAAE;YACxB,wFAAwF;YACxF,yBAAyB;YACzB,mBAAmB,EAAE,EAAE;YACvB,2BAA2B,EAAE,KAAK;YAClC,gBAAgB,EAAE,KAAK;YACvB,YAAY,EAAE,EAAE;SACjB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAS,yBAAyB,CAChC,sBAAwD;IAExD,MAAM,IAAI,GAA6B,EAAE,CAAC;IAC1C,4FAA4F;IAC5F,8FAA8F;IAC9F,gGAAgG;IAChG,iGAAiG;IACjG,+FAA+F;IAC/F,gGAAgG;IAChG,EAAE;IACF,kGAAkG;IAClG,gGAAgG;IAChG,+FAA+F;IAC/F,QAAQ;IACR,EAAE;IACF,8FAA8F;IAC9F,iGAAiG;IACjG,+FAA+F;IAC/F,+FAA+F;IAC/F,gGAAgG;IAChG,2FAA2F;IAC3F,kBAAkB;IAClB,KAAK,MAAM,GAAG,IAAI,sBAAsB,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,6BAA6B,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAChE,IAAI,CAAC,IAAI,CAAC;YACR,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,IAAI,EAAE,UAAU;YAChB,6FAA6F;YAC7F,yEAAyE;YACzE,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC;YAC1B,0FAA0F;YAC1F,oBAAoB,EAAE,EAAE;YACxB,uFAAuF;YACvF,4FAA4F;YAC5F,8DAA8D;YAC9D,mBAAmB,EAAE,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,kBAAmB,CAAC,CAAC;YACvE,2BAA2B,EAAE,KAAK;YAClC,gBAAgB,EAAE,KAAK;YACvB,YAAY,EAAE,EAAE;SACjB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,SAAqB,EACrB,oBAA2C,EAC3C,oBAAuC,EAAE;AACzC;;;;;;;;;;GAUG;AACH,yBAA2D,EAAE;IAE7D,mGAAmG;IACnG,2FAA2F;IAC3F,iFAAiF;IACjF,mFAAmF;IACnF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3D,uFAAuF;IACvF,wEAAwE;IACxE,MAAM,uBAAuB,GAAG,yBAAyB,CAAC,SAAS,CAAC,CAAC;IACrE,6FAA6F;IAC7F,2EAA2E;IAC3E,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,OAAO,EAAE,0BAA0B,EAAE,GAAG,YAAY,CACrF,oBAAoB,EACpB,WAAW,CACZ,CAAC;IACF,+FAA+F;IAC/F,8FAA8F;IAC9F,gGAAgG;IAChG,OAAO;QACL,uBAAuB,EAAE;YACvB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACrB,WAAW,CAAC,CAAC,EAAE,oBAAoB,EAAE,SAAS,EAAE,uBAAuB,CAAC,CACzE;YACD,GAAG,mBAAmB,CAAC,SAAS,CAAC;YACjC,GAAG,oBAAoB,CAAC,cAAc,EAAE,OAAO,EAAE,0BAA0B,CAAC;YAC5E,GAAG,oBAAoB,CAAC,iBAAiB,CAAC;YAC1C,GAAG,yBAAyB,CAAC,sBAAsB,CAAC;SACrD;KACF,CAAC;AACJ,CAAC;AAqWD;;;;;;;;;GASG;AACH,MAAM,UAAU,SAAS,CACvB,MAAc,EACd,uBAAgC,EAChC,gBAAyB;IAEzB,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAClC,+FAA+F;IAC/F,iGAAiG;IACjG,mGAAmG;IACnG,gGAAgG;IAChG,wEAAwE;IACxE,MAAM,YAAY,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IACrD,+FAA+F;IAC/F,kGAAkG;IAClG,oGAAoG;IACpG,iGAAiG;IACjG,MAAM,YAAY,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACpD,OAAO;QACL,uBAAuB,EAAE,KAAK,CAAC,uBAAuB;QACtD,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;QAC9C,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,iGAAiG;QACjG,gGAAgG;QAChG,8FAA8F;QAC9F,2FAA2F;QAC3F,0GAA0G;QAC1G,oHAAoH;QACpH,8FAA8F;QAC9F,6GAA6G;QAC7G,wFAAwF;QACxF,2FAA2F;QAC3F,sBAAsB;QACtB,GAAG,CAAC,uBAAuB;YACzB,CAAC,CAAC;gBACE,UAAU,EAAE;oBACV,kFAAkF;oBAClF,qFAAqF;oBACrF,8CAA8C;oBAC9C,yBAAyB,EAAE,YAAY,CAAC,KAAK;oBAC7C,UAAU,EAAE,YAAY,CAAC,UAAU;oBACnC,iBAAiB,EAAE,YAAY,CAAC,iBAAiB;oBACjD,kBAAkB,EAAE,YAAY,CAAC,kBAAkB;iBACpD;gBACD,qFAAqF;gBACrF,8DAA8D;gBAC9D,wBAAwB,EAAE,YAAY,CAAC,wBAAwB;aAChE;YACH,CAAC,CAAC,EAAE,CAAC;QACP,6FAA6F;QAC7F,4FAA4F;QAC5F,wEAAwE;QACxE,iGAAiG;QACjG,oGAAoG;QACpG,2CAA2C;QAC3C,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,8FAA8F;QAC9F,mDAAmD;QACnD,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,wBAAwB,CACtC,SAAqB,EACrB,oBAA2C,EAC3C,iBAAoC,EACpC,uBAAgC,EAChC,gBAAyB;AACzB;;;;;GAKG;AACH,yBAA2D,EAAE;IAE7D,MAAM,MAAM,GAAG,SAAS,CACtB,SAAS,EACT,oBAAoB,EACpB,iBAAiB,EACjB,sBAAsB,CACvB,CAAC;IACF,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,uBAAuB,EAAE,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;AAC3F,CAAC"}
+{"version":3,"file":"evidenceReconciliation.js","sourceRoot":"","sources":["../../src/domain/evidenceReconciliation.ts"],"names":[],"mappings":"AAUA,OAAO,EACL,yBAAyB,EACzB,qBAAqB,EACrB,cAAc,GACf,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,2BAA2B,EAC3B,qCAAqC,EACrC,qCAAqC,EACrC,yBAAyB,EACzB,wBAAwB,EACxB,iCAAiC,GAClC,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,WAAW,EACX,uBAAuB,EACvB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,aAAa,CAAC;AAOrB,OAAO,EACL,UAAU,EACV,kBAAkB,EAClB,6BAA6B,GAC9B,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAUpD,SAAS,aAAa;IACpB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiC,CAAC;IACvD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,OAAO;QACL,IAAI,CAAC,OAAO,EAAE,WAAW;YACvB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAC5C,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACvB,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC/B,IAAI,OAAO,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC/E,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;QACD,eAAe,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE;QAClD,UAAU;KACX,CAAC;AACJ,CAAC;AASD,SAAS,iBAAiB,CACxB,oBAAoD,EACpD,WAAgC;IAEhC,MAAM,SAAS,GAAG,aAAa,EAAE,CAAC;IAClC,MAAM,cAAc,GAA0B,EAAE,CAAC;IACjD,MAAM,OAAO,GAAiC,EAAE,CAAC;IACjD,MAAM,uBAAuB,GAAiC,EAAE,CAAC;IACjE,KAAK,MAAM,CAAC,IAAI,oBAAoB,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;QAC1C,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB;YAAE,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;aAChE,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ;YAAE,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;aACxD,IAAI,oBAAoB,CAAC,CAAC,CAAC;YAAE,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;;YAC7D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,WAAW,CAClB,CAAW,EACX,oBAA2C,EAC3C,SAAwB,EACxB,uBAA4C;IAE5C,MAAM,YAAY,GAAkB,cAAc,CAAC,CAAC,CAAC,CAAC;IAEtD,MAAM,6BAA6B,GAAG,qBAAqB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CACpG,2BAA2B,CAAC,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,oBAAoB,CAAC,CACvE,CAAC;IAEF,MAAM,yBAAyB,GAAG,qCAAqC,CACrE,CAAC,CAAC,KAAK,EACP,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,EAClC,uBAAuB,CACxB,CAAC;IAEF,MAAM,2BAA2B,GAAG,6BAA6B,CAC/D,6BAA6B,EAC7B,yBAAyB,EACzB,YAAY,CACb,CAAC;IACF,OAAO;QACL,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,UAAU,CAAC,2BAA2B,CAAC;QAChD,oBAAoB,EAAE,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC;QACxD,mBAAmB,EAAE,CAAC,GAAG,CAAC,CAAC,mBAAmB,CAAC;QAC/C,2BAA2B;QAC3B,gBAAgB,EAAE,kBAAkB,CAAC,2BAA2B,CAAC;QACjE,YAAY;KACb,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,SAA8B;IACpD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACjD,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,mBAAmB,CAC1B,OAA4B,EAC5B,SAAwB;IAExB,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC;IAChC,MAAM,mBAAmB,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,iCAAiC,CAAC,mBAAmB,CAAC,CAAC;IACrE,OAAO;QACL,KAAK;QACL,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC;QAC1B,oBAAoB,EAAE,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC;QACtD,mBAAmB;QACnB,2BAA2B,EAAE,KAAK;QAClC,gBAAgB,EAAE,kBAAkB,CAAC,KAAK,CAAC;QAC3C,YAAY,EAAE,EAAE;KACjB,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,SAAwB;IACnD,MAAM,IAAI,GAA6B,EAAE,CAAC;IAC1C,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;QACzC,MAAM,YAAY,GAAG,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,qCAAqC,CAAC,YAAY,CAAC,CAAC;QAClE,IAAI,CAAC,IAAI,CAAC;YACR,KAAK;YACL,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC;YAC1B,oBAAoB,EAAE,CAAC,GAAG,YAAY,CAAC;YACvC,mBAAmB,EAAE,EAAE;YACvB,2BAA2B,EAAE,KAAK;YAClC,gBAAgB,EAAE,KAAK;YACvB,YAAY,EAAE,EAAE;SACjB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAC3B,cAAoF,EACpF,OAA8C,EAC9C,uBAA8D;IAE9D,MAAM,IAAI,GAA6B,EAAE,CAAC;IAC1C,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1F,MAAM,KAAK,GAAG,yBAAyB,CAAC,cAAc,EAAE,OAAO,EAAE,uBAAuB,CAAC,CAAC;QAC1F,IAAI,CAAC,IAAI,CAAC;YACR,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,kBAAkB,CAAC;YACpD,IAAI,EAAE,mBAAmB;YACzB,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC;YAC1B,oBAAoB,EAAE,CAAC,GAAG,cAAc,EAAE,GAAG,OAAO,EAAE,GAAG,uBAAuB,CAAC;YACjF,mBAAmB,EAAE,EAAE;YACvB,2BAA2B,EAAE,KAAK;YAClC,gBAAgB,EAAE,KAAK;YACvB,YAAY,EAAE,EAAE;SACjB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAC,iBAAoC;IAChE,MAAM,IAAI,GAA6B,EAAE,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,wBAAwB,EAAE,CAAC;QACzC,IAAI,CAAC,IAAI,CAAC;YACR,KAAK,EAAE,IAAI;YACX,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC;YAC1B,oBAAoB,EAAE,EAAE;YACxB,mBAAmB,EAAE,EAAE;YACvB,2BAA2B,EAAE,KAAK;YAClC,gBAAgB,EAAE,KAAK;YACvB,YAAY,EAAE,EAAE;SACjB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,SAA8B,EAC9B,oBAA2C,EAC3C,oBAAuC,EAAE;IAEzC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3D,MAAM,uBAAuB,GAAG,yBAAyB,CAAC,SAAS,CAAC,CAAC;IACrE,MAAM,YAAY,GAAG,eAAe,CAAC,oBAAoB,CAAC,CAAC;IAC3D,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,OAAO,EAAE,uBAAuB,EAAE,GAAG,iBAAiB,CACvF,YAAY,EACZ,WAAW,CACZ,CAAC;IACF,OAAO;QACL,uBAAuB,EAAE;YACvB,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAC3C,OAAO,CAAC,MAAM,KAAK,CAAC;gBAClB,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAE,EAAE,YAAY,EAAE,SAAS,EAAE,uBAAuB,CAAC;gBAC5E,CAAC,CAAC,mBAAmB,CAAC,OAAO,EAAE,SAAS,CAAC,CAC5C;YACD,GAAG,mBAAmB,CAAC,SAAS,CAAC;YACjC,GAAG,oBAAoB,CAAC,cAAc,EAAE,OAAO,EAAE,uBAAuB,CAAC;YACzE,GAAG,oBAAoB,CAAC,iBAAiB,CAAC;SAC3C;KACF,CAAC;AACJ,CAAC;AAoDD,MAAM,UAAU,oBAAoB,CAAC,WAAoD;IACvF,OAAO,sBAAsB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,WAAW,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACnG,IAAI;QACJ,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC;KAC5C,CAAC,CAAC,CAAC;AACN,CAAC;AA6BD,MAAM,UAAU,SAAS,CACvB,MAAc,EACd,uBAAgC,EAChC,oBAA6B;IAE7B,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,YAAY,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IACrD,MAAM,gBAAgB,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACtD,OAAO;QACL,uBAAuB,EAAE,KAAK,CAAC,uBAAuB;QACtD,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;QAC9C,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,CAAC,uBAAuB;YACzB,CAAC,CAAC;gBACE,UAAU,EAAE;oBACV,yBAAyB,EAAE,YAAY,CAAC,KAAK;oBAC7C,UAAU,EAAE,YAAY,CAAC,UAAU;oBACnC,iBAAiB,EAAE,YAAY,CAAC,iBAAiB;oBACjD,kBAAkB,EAAE,YAAY,CAAC,kBAAkB;iBACpD;gBACD,wBAAwB,EAAE,YAAY,CAAC,wBAAwB;aAChE;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,SAA8B,EAC9B,oBAA2C,EAC3C,iBAAoC,EACpC,uBAAgC,EAChC,oBAA6B;IAE7B,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,EAAE,oBAAoB,EAAE,iBAAiB,CAAC,CAAC;IAC7E,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,uBAAuB,EAAE,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;AAC/F,CAAC"}

package/dist/domain/featureCode.d.ts

@@ -0,0 +1,4 @@
+export declare function featureCodeOf(scnId: string): string | null;
+export declare const SCN_ID_SOURCE = "SCN-[A-Z0-9]{2,5}-\\d+";
+export declare function isFeaturePart(text: string): boolean;
+//# sourceMappingURL=featureCode.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"featureCode.d.ts","sourceRoot":"","sources":["../../src/domain/featureCode.ts"],"names":[],"mappings":"AAAA,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAG1D;AAID,eAAO,MAAM,aAAa,2BAAoC,CAAC;AAM/D,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEnD"}