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

package/dist/domain/posting.d.ts

@@ -1,70 +1,14 @@
-/**
- * POSTING — the rule for WHERE an entry lands. Canon gives Posting its own glossary group
- * (`strategy/double-entry-manifesto.md`, "### Posting") beside Journal, Ledger and Reconciling,
- * and this module is that group's home (module, not class), co-locating the destination type with
- * the pure rule that decides it.
- *
- * It sits BETWEEN the journal and the Ledger, which is why it is neither's: `domain/ledger` folds
- * over an ASSEMBLED Ledger, and the posting rule runs BEFORE a Ledger exists; `domain/journal`
- * owns the entry types and what a scenario NAMES. Posting reads both sides and yields the row an
- * entry lands on. (3F-2202 — extracted from the `reconcile` fold, which decided this inline.)
- *
- * ONE CLAUSE, OVER BOTH AXES (3F-2590). THE CREDIT CITES. A test carries `@SCN-XXX`; a fitness
- * check's run carries the `@SCN` of the fitness scenario that raises its obligation. So
- * one credit names one scenario and posts to EXACTLY ONE row, and a credit posting to no real
- * scenario is PHANTOM (its `@SCN` matches no scenario) or SUSPENSE (it cites nothing).
- *
- * THE BY-NAME ROUTE IS GONE, and with it the exception it forced. `lint` used to be the axis where
- * the DEBIT cited: a scenario carried `@lint=<static-check>`, the run cited nothing, and it was
- * matched BY NAME to EVERY row whose obligation named it. That is why the invariant had to be
- * written "every evidence observation posts to AT LEAST ONE account, never to none" — not *exactly*
- * one, which was the runtime property over-generalised. With both axes citing, EXACTLY ONE is true
- * universally, and it is the stronger claim: "at least one" is silent about a double-post, and a
- * double-post is a second copy of the same fact. `Posting` is total over the `EvidenceObservation`
- * union by construction: every variant yields a destination.
- *
- * POSTING IS NOT CLASSIFYING. This rule decides WHERE an entry lands, never what it reconciles TO.
- * A credit posts to its row whatever outcome it later earns — or none at all. The outcome rules
- * are the sibling concepts' (`qualityCheckReconciliation`, `scenarioReconciliation`).
- */
-import type { EvidenceObservation, RuntimeEvidenceObservation, GuardEvidenceObservation } from "./journal.js";
-/**
- * WHERE an entry lands — the posting destination, one variant per route canon names.
- *
- * EVERY `kind` NAMES A ROW, and matches `ScenarioKind` exactly, because each IS the row kind the
- * entry posts to. A fourth member used to sit here — a SET of rows resolved by name — and it was
- * the one destination that was not a row at all. It went with the by-name route (3F-2590), so the
- * type is now exactly the row kinds, on both axes.
- *
- * Named for the ROW, never `Account`: `account` is RETIRED vocabulary (the container re-term —
- * Evidence / Scenario / Quality-Check Reconciliation replaced trial-balance / account /
- * sub-account), kept only as the bookkeeping ROOT of the metaphor in canon's glossary.
- */
-export type Posting = 
-/** BY CITATION → the row of the one real scenario this credit's `@SCN` names. */
-{
+import type { EvidenceObservation, RuntimeEvidenceObservation, FitnessEvidenceObservation } from "./journal.js";
+export type Posting = {
     kind: "scenario";
     scnId: string;
-}
-/** BY CITATION → an INVENTED row: the credit's `@SCN` is one no scenario carries. */
- | {
+} | {
     kind: "phantom-scenario";
     scnId: string;
-}
-/**
- * → the SUSPENSE row: the entry names no row at all. `posted` carries WHICH of the three
- * routes brought it here — they are genuinely different facts with different remedies, and the
- * suspense row's items distinguish them (`broken` vs `cites-no-scenario`):
- *   - `broken`                   — a proof that NEVER RAN, so it names no test and cites
- *                                  nothing, WHATEVER `scnId` / `status` it structurally carries.
- *   - `cites-nothing`            — a runtime credit that RAN and carried no `@SCN`.
- *   - `no-evidence-obligation-static-check`  — a static check that ran with no `@lint` naming it.
- */
- | {
+} | {
     kind: "suspense-scenario";
-    posted: "broken" | "cites-nothing" | "no-evidence-obligation-static-check";
+    posted: "broken" | "cites-nothing" | "no-evidence-obligation-fitness-function";
 };
-/** The destinations a RUNTIME credit can reach — it is citation-routed, so never by name. */
 export type RuntimePosting = {
     kind: "scenario";
     scnId: string;
@@ -75,23 +19,7 @@ export type RuntimePosting = {
     kind: "suspense-scenario";
     posted: "broken" | "cites-nothing";
 };
-/**
- * The destinations a STATIC-CHECK credit can reach — the citation-routed ones when the observer
- * stamped an `@SCN` on it (@SCN-LNT-001), and suspense when the check named nobody or never ran.
- * Structurally `RuntimePosting`'s shape now that the by-name member is gone (3F-2590): one posting
- * rule over both axes. The two types stay APART because their SUSPENSE reasons still differ — a
- * runtime credit reaches suspense `broken` or `cites-nothing`, a fitness credit `broken` or
- * because no obligation names its check — and collapsing them would let a caller be handed a
- * reason its axis cannot produce. `cites-nothing` is the one this axis has never had: a converted
- * credit that cites nothing is a check nobody named, which is a different fault with a different
- * remedy.
- *
- * `broken` ARRIVES HERE AT @SCN-LNT-026 AND IS NOT A NEW CONCEPT, only a newly reachable one. The
- * outcome has meant a proof that never ran since @SCN-LDG-017; what changed is that the static
- * axis can now say it, because the CI run's own step record says whether the check ran and the
- * reader had been declining to look.
- */
-export type StaticCheckPosting = {
+export type FitnessFunctionPosting = {
     kind: "scenario";
     scnId: string;
 } | {
@@ -99,34 +27,9 @@ export type StaticCheckPosting = {
     scnId: string;
 } | {
     kind: "suspense-scenario";
-    posted: "broken" | "no-evidence-obligation-static-check";
+    posted: "broken" | "no-evidence-obligation-fitness-function";
 };
-/**
- * WHERE does this evidence observation post? THE posting rule, in one place.
- *
- * `scenarioIds` is the OBLIGATION side — which scenarios exist — already the model's own rule,
- * built once by the caller and passed rather than re-derived here, so the rule stays a pure
- * decision over prepared inputs and cannot disagree with the census that shares it. A second set
- * (the named static-check handles) stood beside it for the by-name route and went with it.
- *
- * ORDER IS LOAD-BEARING — the arms are checked exactly as canon fail-safes them, and ON BOTH
- * BRANCHES since @SCN-LNT-026, which is the point of saying it once here:
- *   1. `broken` FIRST, on the FLAG, never on `scnId` / `status` (@SCN-LDG-017). A proof that never
- *      ran cannot discharge or fail an obligation, so it must never be citation-routed — not to a
- *      real row, not to a phantom one. It structurally MAY carry an `scnId` and a `status`; both
- *      are ignored here. Checking `broken` after either would misfile it.
- *   2. an uncited credit (`scnId === null`, or absent on the static axis) → suspense, never phantom.
- *   3. a cited credit whose `@SCN` no scenario carries → phantom.
- *   4. otherwise → that scenario's row.
- *
- * The two branches differ only in what step 2's suspense reason is CALLED, because the two axes
- * reach it for different reasons: a runtime credit that ran and cited nothing, a static check no
- * obligation names. Steps 1, 3 and 4 are the same rule read twice.
- *
- * The overloads keep the two axes' destinations apart at the type level, so a caller that has
- * already narrowed the union cannot be handed a destination its axis can never reach.
- */
 export declare function postingOf(observation: RuntimeEvidenceObservation, scenarioIds: ReadonlySet<string>): RuntimePosting;
-export declare function postingOf(observation: GuardEvidenceObservation, scenarioIds: ReadonlySet<string>): StaticCheckPosting;
+export declare function postingOf(observation: FitnessEvidenceObservation, scenarioIds: ReadonlySet<string>): FitnessFunctionPosting;
 export declare function postingOf(observation: EvidenceObservation, scenarioIds: ReadonlySet<string>): Posting;
 //# sourceMappingURL=posting.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"posting.d.ts","sourceRoot":"","sources":["../../src/domain/posting.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,KAAK,EAEV,mBAAmB,EACnB,0BAA0B,EAC1B,wBAAwB,EACzB,MAAM,cAAc,CAAC;AAMtB;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,OAAO;AACjB,iFAAiF;AAC/E;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AACrC,qFAAqF;GACnF;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AAC7C;;;;;;;;GAQG;GACD;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,MAAM,EAAE,QAAQ,GAAG,eAAe,GAAG,qCAAqC,CAAA;CAAE,CAAC;AAE9G,6FAA6F;AAC7F,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,MAAM,EAAE,QAAQ,GAAG,eAAe,CAAA;CAAE,CAAC;AAEtE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,kBAAkB,GAC1B;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,MAAM,EAAE,QAAQ,GAAG,qCAAqC,CAAA;CAAE,CAAC;AAE5F;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,SAAS,CACvB,WAAW,EAAE,0BAA0B,EACvC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,GAC/B,cAAc,CAAC;AAClB,wBAAgB,SAAS,CACvB,WAAW,EAAE,wBAAwB,EACrC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,GAC/B,kBAAkB,CAAC;AACtB,wBAAgB,SAAS,CACvB,WAAW,EAAE,mBAAmB,EAChC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,GAC/B,OAAO,CAAC"}
+{"version":3,"file":"posting.d.ts","sourceRoot":"","sources":["../../src/domain/posting.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,mBAAmB,EACnB,0BAA0B,EAC1B,0BAA0B,EAC3B,MAAM,cAAc,CAAC;AAGtB,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,MAAM,EAAE,QAAQ,GAAG,eAAe,GAAG,yCAAyC,CAAA;CAAE,CAAC;AAElH,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,MAAM,EAAE,QAAQ,GAAG,eAAe,CAAA;CAAE,CAAC;AAEtE,MAAM,MAAM,sBAAsB,GAC9B;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,MAAM,EAAE,QAAQ,GAAG,yCAAyC,CAAA;CAAE,CAAC;AAEhG,wBAAgB,SAAS,CACvB,WAAW,EAAE,0BAA0B,EACvC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,GAC/B,cAAc,CAAC;AAClB,wBAAgB,SAAS,CACvB,WAAW,EAAE,0BAA0B,EACvC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,GAC/B,sBAAsB,CAAC;AAC1B,wBAAgB,SAAS,CACvB,WAAW,EAAE,mBAAmB,EAChC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,GAC/B,OAAO,CAAC"}

package/dist/domain/posting.js

@@ -1,68 +1,16 @@
-/**
- * POSTING — the rule for WHERE an entry lands. Canon gives Posting its own glossary group
- * (`strategy/double-entry-manifesto.md`, "### Posting") beside Journal, Ledger and Reconciling,
- * and this module is that group's home (module, not class), co-locating the destination type with
- * the pure rule that decides it.
- *
- * It sits BETWEEN the journal and the Ledger, which is why it is neither's: `domain/ledger` folds
- * over an ASSEMBLED Ledger, and the posting rule runs BEFORE a Ledger exists; `domain/journal`
- * owns the entry types and what a scenario NAMES. Posting reads both sides and yields the row an
- * entry lands on. (3F-2202 — extracted from the `reconcile` fold, which decided this inline.)
- *
- * ONE CLAUSE, OVER BOTH AXES (3F-2590). THE CREDIT CITES. A test carries `@SCN-XXX`; a fitness
- * check's run carries the `@SCN` of the fitness scenario that raises its obligation. So
- * one credit names one scenario and posts to EXACTLY ONE row, and a credit posting to no real
- * scenario is PHANTOM (its `@SCN` matches no scenario) or SUSPENSE (it cites nothing).
- *
- * THE BY-NAME ROUTE IS GONE, and with it the exception it forced. `lint` used to be the axis where
- * the DEBIT cited: a scenario carried `@lint=<static-check>`, the run cited nothing, and it was
- * matched BY NAME to EVERY row whose obligation named it. That is why the invariant had to be
- * written "every evidence observation posts to AT LEAST ONE account, never to none" — not *exactly*
- * one, which was the runtime property over-generalised. With both axes citing, EXACTLY ONE is true
- * universally, and it is the stronger claim: "at least one" is silent about a double-post, and a
- * double-post is a second copy of the same fact. `Posting` is total over the `EvidenceObservation`
- * union by construction: every variant yields a destination.
- *
- * POSTING IS NOT CLASSIFYING. This rule decides WHERE an entry lands, never what it reconciles TO.
- * A credit posts to its row whatever outcome it later earns — or none at all. The outcome rules
- * are the sibling concepts' (`qualityCheckReconciliation`, `scenarioReconciliation`).
- */
-// The union's OWN predicate over the `lint` quality-check — asked rather than a hand-written shape
-// test, so this rule classes an observation exactly as the reconciler does.
-// A value import, hence its own statement beside the type-only one above.
-import { isStaticCheckObservation } from "./journal.js";
+import { isFitnessObservation } from "./journal.js";
 export function postingOf(observation, scenarioIds) {
-    if (observation.qualityCheck === "lint") {
-        // THE FAIL-SAFE FIRST (@SCN-LNT-026), which is the runtime arm's own arrangement one branch
-        // down and carries its reason unchanged: broken is taken on the FLAG, before `scnId` is ever
-        // consulted, so a proof that never ran can never be citation-routed — not to a real row, not
-        // to a phantom one — and so can neither discharge nor fail the obligation it cites. The
-        // observation MAY carry an `scnId` and a `checkTag`, and does; both are ignored here.
-        //
-        // Asked through the union's own predicate, so this rule and the reconciler class a static-check
-        // observation the same way.
-        if (isStaticCheckObservation(observation) && observation.broken === true) {
+    if (observation.qualityCheck === "fitness") {
+        if (isFitnessObservation(observation) && observation.broken === true) {
             return { kind: "suspense-scenario", posted: "broken" };
         }
-        // THE CITATION ROUTE (@SCN-LNT-001) — the run carries the `@SCN` of the fitness scenario that
-        // raises its obligation, so it posts by citation like every other credit: exactly one row,
-        // real or invented. This is deliberately the SAME rule the runtime arm applies below, not a
-        // static-axis variant of it — a whole-system characteristic belongs to the one scenario that
-        // holds it, and the moment the static axis is allowed its own posting rule is the moment the
-        // smear can be reintroduced under a different name.
         if (observation.scnId !== undefined) {
             return scenarioIds.has(observation.scnId)
                 ? { kind: "scenario", scnId: observation.scnId }
                 : { kind: "phantom-scenario", scnId: observation.scnId };
         }
-        // The seam reached no `@SCN` — the handle is unregistered, or no fitness scenario carries its
-        // check — so the run cites nothing and posts to SUSPENSE, the static analogue of an uncited
-        // runtime credit. There is no by-name fallback to try: a check nobody named is meant to
-        // surface, and matching it to rows by handle is exactly the smear this route replaced.
-        return { kind: "suspense-scenario", posted: "no-evidence-obligation-static-check" };
+        return { kind: "suspense-scenario", posted: "no-evidence-obligation-fitness-function" };
     }
-    // THE RUNTIME AXIS — the CREDIT cites, so exactly one row, resolved from the `@SCN` it carries.
-    // The fail-safe first: broken is taken on the FLAG, before scnId is ever consulted.
     if (observation.broken === true)
         return { kind: "suspense-scenario", posted: "broken" };
     if (observation.scnId === null)

package/dist/domain/posting.js.map

@@ -1 +1 @@
-{"version":3,"file":"posting.js","sourceRoot":"","sources":["../../src/domain/posting.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAQH,mGAAmG;AACnG,4EAA4E;AAC5E,0EAA0E;AAC1E,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AA8FxD,MAAM,UAAU,SAAS,CACvB,WAAgC,EAChC,WAAgC;IAEhC,IAAI,WAAW,CAAC,YAAY,KAAK,MAAM,EAAE,CAAC;QACxC,4FAA4F;QAC5F,6FAA6F;QAC7F,6FAA6F;QAC7F,wFAAwF;QACxF,sFAAsF;QACtF,EAAE;QACF,gGAAgG;QAChG,4BAA4B;QAC5B,IAAI,wBAAwB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACzE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACzD,CAAC;QACD,8FAA8F;QAC9F,2FAA2F;QAC3F,4FAA4F;QAC5F,6FAA6F;QAC7F,6FAA6F;QAC7F,oDAAoD;QACpD,IAAI,WAAW,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC;gBACvC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE;gBAChD,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC;QAC7D,CAAC;QACD,8FAA8F;QAC9F,4FAA4F;QAC5F,wFAAwF;QACxF,uFAAuF;QACvF,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,qCAAqC,EAAE,CAAC;IACtF,CAAC;IACD,gGAAgG;IAChG,oFAAoF;IACpF,IAAI,WAAW,CAAC,MAAM,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IACxF,IAAI,WAAW,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IAC9F,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC;IAChE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC;AACxD,CAAC"}
+{"version":3,"file":"posting.js","sourceRoot":"","sources":["../../src/domain/posting.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AA6BpD,MAAM,UAAU,SAAS,CACvB,WAAgC,EAChC,WAAgC;IAEhC,IAAI,WAAW,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QAC3C,IAAI,oBAAoB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACrE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACzD,CAAC;QACD,IAAI,WAAW,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC;gBACvC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE;gBAChD,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC;QAC7D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,yCAAyC,EAAE,CAAC;IAC1F,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IACxF,IAAI,WAAW,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IAC9F,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC;IAChE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC;AACxD,CAAC"}

package/dist/domain/qualityCheckFault.d.ts

@@ -1,59 +1,19 @@
-/**
- * The QUALITY CHECK FAULT vocabulary (@SCN-MSG-001, 3F-2872) — what a refused minting carries
- * INSTEAD of a sentence.
- *
- * Stryker mutates every string literal in the domain, so an invariant that states its refusal as
- * an interpolated template puts its prose on the mutated surface: emptying a template chunk
- * survives every test that does not pin wording, and pinning wording turns a copy-edit red. The
- * cure is to move the question rather than answer it — the throw site names a CODE and carries its
- * parameters as fields, and the prose that renders them lives in a catalogue held as data.
- *
- * THE CODE IS A NUMERIC, IMPLICITLY-VALUED ENUM, AND THAT IS THE WHOLE POINT. A string enum would
- * relocate the mutable prose onto the enum's own values — the survivors would move house rather
- * than leave it. Implicit numbering means there is no literal here for a mutator to reach, so what
- * remains on the mutated surface is exactly the logic worth mutating: WHICH fault is raised, and
- * with WHAT parameters.
- */
-import type { Outcome, SidePresence } from "./qualityCheckReconciliation.js";
-/**
- * One member per throw site in `makeQualityCheckReconciliation`.
- *
- * Numeric and implicitly valued deliberately (see the module note). The members are named for the
- * divergence they report, so a reader meets the meaning at the identifier rather than in a table.
- */
+import type { Outcome, SidePresence } from "./outcome.js";
 export declare enum QualityCheckFaultCode {
-    /** The carried evidence obligation (debit) side disagrees with the outcome's canon row. */
     ObligationSideDivergesFromCanon = 0,
-    /** The carried evidence observation (credit) side disagrees with the outcome's canon row. */
     ObservationSideDivergesFromCanon = 1
 }
-/**
- * What BOTH divergences carry: the outcome whose canon row was consulted, the side-presence that
- * row REQUIRED, and the side-presence the fields ACTUALLY carried.
- *
- * `required` and `actual` are the two halves of the comparison that failed, so a reader — and an
- * assertion — recovers the whole disagreement from the fault without reading a sentence.
- */
 interface SideDivergence {
     readonly outcome: Outcome;
     readonly required: SidePresence;
     readonly actual: SidePresence;
 }
-/** The debit side diverged: the obligation is carried where canon says None, or absent where it says Exists. */
-export interface ObligationSideDivergesFromCanonFault extends SideDivergence {
+interface ObligationSideDivergesFromCanonFault extends SideDivergence {
     readonly code: QualityCheckFaultCode.ObligationSideDivergesFromCanon;
 }
-/** The credit side diverged: the observation is carried where canon says None, or absent where it says Exists. */
-export interface ObservationSideDivergesFromCanonFault extends SideDivergence {
+interface ObservationSideDivergesFromCanonFault extends SideDivergence {
     readonly code: QualityCheckFaultCode.ObservationSideDivergesFromCanon;
 }
-/**
- * The discriminated union over every fault this concept can raise.
- *
- * Discriminated on `code` so the catalogue can be a mapped type over it (3F-2873): the compiler
- * then refuses both a code with no message and a message reaching for a parameter its fault does
- * not carry. Completeness is not asserted; it is unconstructible otherwise.
- */
 export type QualityCheckFault = ObligationSideDivergesFromCanonFault | ObservationSideDivergesFromCanonFault;
 export {};
 //# sourceMappingURL=qualityCheckFault.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"qualityCheckFault.d.ts","sourceRoot":"","sources":["../../src/domain/qualityCheckFault.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAE7E;;;;;GAKG;AACH,oBAAY,qBAAqB;IAC/B,2FAA2F;IAC3F,+BAA+B,IAAA;IAC/B,6FAA6F;IAC7F,gCAAgC,IAAA;CACjC;AAED;;;;;;GAMG;AACH,UAAU,cAAc;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;CAC/B;AAED,gHAAgH;AAChH,MAAM,WAAW,oCAAqC,SAAQ,cAAc;IAC1E,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC,+BAA+B,CAAC;CACtE;AAED,kHAAkH;AAClH,MAAM,WAAW,qCAAsC,SAAQ,cAAc;IAC3E,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC,gCAAgC,CAAC;CACvE;AAED;;;;;;GAMG;AACH,MAAM,MAAM,iBAAiB,GACzB,oCAAoC,GACpC,qCAAqC,CAAC"}
+{"version":3,"file":"qualityCheckFault.d.ts","sourceRoot":"","sources":["../../src/domain/qualityCheckFault.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE1D,oBAAY,qBAAqB;IAC/B,+BAA+B,IAAA;IAC/B,gCAAgC,IAAA;CACjC;AAED,UAAU,cAAc;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;CAC/B;AAED,UAAU,oCAAqC,SAAQ,cAAc;IACnE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC,+BAA+B,CAAC;CACtE;AAED,UAAU,qCAAsC,SAAQ,cAAc;IACpE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC,gCAAgC,CAAC;CACvE;AAED,MAAM,MAAM,iBAAiB,GACzB,oCAAoC,GACpC,qCAAqC,CAAC"}

package/dist/domain/qualityCheckFault.js

@@ -1,30 +1,6 @@
-/**
- * The QUALITY CHECK FAULT vocabulary (@SCN-MSG-001, 3F-2872) — what a refused minting carries
- * INSTEAD of a sentence.
- *
- * Stryker mutates every string literal in the domain, so an invariant that states its refusal as
- * an interpolated template puts its prose on the mutated surface: emptying a template chunk
- * survives every test that does not pin wording, and pinning wording turns a copy-edit red. The
- * cure is to move the question rather than answer it — the throw site names a CODE and carries its
- * parameters as fields, and the prose that renders them lives in a catalogue held as data.
- *
- * THE CODE IS A NUMERIC, IMPLICITLY-VALUED ENUM, AND THAT IS THE WHOLE POINT. A string enum would
- * relocate the mutable prose onto the enum's own values — the survivors would move house rather
- * than leave it. Implicit numbering means there is no literal here for a mutator to reach, so what
- * remains on the mutated surface is exactly the logic worth mutating: WHICH fault is raised, and
- * with WHAT parameters.
- */
-/**
- * One member per throw site in `makeQualityCheckReconciliation`.
- *
- * Numeric and implicitly valued deliberately (see the module note). The members are named for the
- * divergence they report, so a reader meets the meaning at the identifier rather than in a table.
- */
 export var QualityCheckFaultCode;
 (function (QualityCheckFaultCode) {
-    /** The carried evidence obligation (debit) side disagrees with the outcome's canon row. */
     QualityCheckFaultCode[QualityCheckFaultCode["ObligationSideDivergesFromCanon"] = 0] = "ObligationSideDivergesFromCanon";
-    /** The carried evidence observation (credit) side disagrees with the outcome's canon row. */
     QualityCheckFaultCode[QualityCheckFaultCode["ObservationSideDivergesFromCanon"] = 1] = "ObservationSideDivergesFromCanon";
 })(QualityCheckFaultCode || (QualityCheckFaultCode = {}));
 //# sourceMappingURL=qualityCheckFault.js.map

package/dist/domain/qualityCheckFault.js.map

@@ -1 +1 @@
-{"version":3,"file":"qualityCheckFault.js","sourceRoot":"","sources":["../../src/domain/qualityCheckFault.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAIH;;;;;GAKG;AACH,MAAM,CAAN,IAAY,qBAKX;AALD,WAAY,qBAAqB;IAC/B,2FAA2F;IAC3F,uHAA+B,CAAA;IAC/B,6FAA6F;IAC7F,yHAAgC,CAAA;AAClC,CAAC,EALW,qBAAqB,KAArB,qBAAqB,QAKhC"}
+{"version":3,"file":"qualityCheckFault.js","sourceRoot":"","sources":["../../src/domain/qualityCheckFault.ts"],"names":[],"mappings":"AAEA,MAAM,CAAN,IAAY,qBAGX;AAHD,WAAY,qBAAqB;IAC/B,uHAA+B,CAAA;IAC/B,yHAAgC,CAAA;AAClC,CAAC,EAHW,qBAAqB,KAArB,qBAAqB,QAGhC"}