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

package/dist/domain/ledger.js

@@ -1,212 +1,41 @@
-/**
- * THE LEDGER — the accounts with their posted entries, co-located with its OWN whole-run
- * behaviour: `isBalanced`, `hasPendingItems`, `hasBrokenEvidence` (module, not class). These
- * three pure predicates are the whole-run verdict surface the CLI edge maps to exit codes;
- * they were the reconcile orchestration's exports and now live WITH the concept they fold over.
- */
-// The row-level static-check cut (3F-2203) — the Ledger-wide lint list is built ON it, so the
-// obligation-side rule is stated once, at the row.
-import { staticCheckReconciliationsOf, isScenario } from "./scenarioReconciliation.js";
-/**
- * The WHOLE-RUN verdict — is the ENTIRE reconciliation balanced? A pure domain
- * derivation over the WHOLE `Ledger`: balanced IFF NO reconciling
- * item exists ANYWHERE, across every Scenario Reconciliation row — scenario,
- * phantom, and suspense alike. Out-of-balance iff ANY row carries a reconciling
- * item: a scenario's out-of-balance items (failing / missing /
- * no-evidence-obligation / both-missing) AND the credit-side suspense/phantom rows (a
- * no-evidence-obligation static-check watermelon, an uncited credit, a phantom scenario).
- *
- * It is deliberately NOT a scan of scenario verdicts alone — that would
- * let a watermelon-only run (every scenario balanced, yet a no-evidence-obligation
- * static check sitting unreconciled in the suspense row) read as balanced, the
- * false pass a CI gate must never give. Every row's `reconcilingItems` is
- * consulted, so the suspense/phantom rows (verdict ALWAYS out-of-balance) count.
- *
- * The CLI edge maps this boolean to the process exit code — balanced → 0,
- * out-of-balance → EXACTLY 1 — an ENUMERATED status, never a count (a count would
- * 8-bit `& 0xFF` wrap → false pass).
- */
+import { fitnessFunctionReconciliationsOf, isScenario } from "./scenarioReconciliation.js";
 export function isBalanced(reconciliation) {
     return reconciliation.scenarioReconciliations.every((row) => row.reconcilingItems.length === 0);
 }
-/**
- * Does the WHOLE reconciliation carry any Pending Item? A pure domain predicate over the
- * WHOLE `Ledger`, SYMMETRIC with `isBalanced` — together they are the
- * whole-run verdict surface. True iff ANY Scenario Reconciliation row carries a Pending
- * Item (a deferred `<quality-check>pending` obligation partitioned off before reconciliation,
- * @SCN-PND-004). Pending Items are run-neutral by default (@SCN-PND-008); the CLI edge
- * consults this ALONGSIDE `isBalanced` to escalate an otherwise-balanced run to the distinct
- * exit code 3 under `--strict` (@SCN-CLI-011) — an OPT-IN gate on deferred obligations,
- * checked only when `isBalanced` is true (out-of-balance dominates, exit 1).
- */
 export function hasPendingItems(reconciliation) {
     return reconciliation.scenarioReconciliations.some((row) => row.pendingItems.length > 0);
 }
-/**
- * Does the WHOLE reconciliation carry BROKEN evidence — i.e. is the run UNSOUND? The THIRD
- * whole-run predicate (@SCN-LDG-018), beside `isBalanced` and `hasPendingItems`, and the
- * EXISTENTIAL TWIN of the latter: the same `some(row => some(item => item.outcome === X))` scan.
- *
- * Soundness is a property of the RUN, not of a scenario. If any PROOF NEVER RAN — a vitest suite
- * that failed to collect (@SCN-LDG-017), or a cucumber step matched by two or more definitions
- * (@SCN-LDG-019) — the evidence never fully materialised, so every `missing` in that run is
- * SUSPECT: it may be a broken proof rather than an absent one, and the remedies differ (fix the
- * harness vs write a test). The scenario's own row stays honest at its own resolution (`missing`);
- * the RUN is what is stamped unsound.
- *
- * DERIVED, NEVER STORED — no soundness flag is written onto `Ledger`, the same
- * no-drift reason `isBalanced` and `hasPendingItems` derive. Machine consumers read soundness off
- * `summary.byOutcome.broken > 0` (type-forced into the JSON the moment `broken` joined the
- * `Outcome` union); the markdown renderer prints the HEADLINE word — "unsound" is the render word,
- * never the predicate's name, exactly as "out-of-balance" is for `isBalanced`.
- *
- * Keyed on the `broken` OUTCOME specifically, never on `!isBalanced`: an ordinary out-of-balance
- * run (an honest `missing`, no broken evidence) is perfectly SOUND. The three whole-run
- * predicates are INDEPENDENT — a run may carry Pending Items and be sound; a run may carry broken
- * evidence and no Pending Items. (A broken run is ALWAYS out-of-balance, since the `broken` item
- * sits on the suspense row — which is why the CLI edge must consult THIS predicate BEFORE the
- * balance verdict, @SCN-CLI-012, or its exit code would be unreachable.)
- */
 export function hasBrokenEvidence(reconciliation) {
     return brokenItemsOf(reconciliation).length > 0;
 }
-/**
- * Does the WHOLE run have NOTHING TO RECONCILE — no accounts at all? The FOURTH whole-run
- * predicate (@SCN-CLI-019), beside `isBalanced` / `hasPendingItems` / `hasBrokenEvidence`, and the
- * one shape the other three cannot speak about.
- *
- * THE FAULT IT EXISTS TO NAME. `isBalanced` is `.every()` over the rows, so on an EMPTY ledger it
- * is VACUOUSLY TRUE; `hasPendingItems` and `hasBrokenEvidence` are `.some()`, so they are
- * vacuously FALSE. A target that declared nothing and produced nothing therefore satisfied every
- * existing predicate in the direction that reads as a pass, and was told "BALANCED … (exit 0)" — a
- * green over silence, from the tool whose whole claim is that silence is not the same as nothing
- * wrong. No combination of the three separates an empty run from a clean one, which is why this is
- * a predicate and not a derivation of one.
- *
- * ITS OWN ENUMERATED STATE, exit 5 (taxonomy: 0 balanced / 1 out-of-balance / 2 usage / 3
- * pending-under-strict / 4 unsound / 5 nothing to reconcile). Not balanced — there are no accounts
- * to agree. Not out-of-balance — nothing disagrees. Not a usage fault — the invocation was valid
- * and `new-client` is a supported adoption state, not a degraded one. Not unsound — no proof
- * failed; none was owed.
- *
- * KEYED ON THE EMPTY LEDGER, NEVER ON THE EMPTY CORPUS, and that is load-bearing rather than
- * pedantic: a target with no corpus but uncited credits HAS a row — its suspense row — and is an
- * ordinary out-of-balance report at exit 1 (@SCN-CLI-020). Keyed on "no corpus" instead, the modal
- * first run's whole report would disappear behind exit 5.
- *
- * DERIVED, NEVER STORED — no emptiness flag is written onto `Ledger`, the same no-drift reason its
- * three siblings derive, and the reason no JSON-schema change is owed: a machine consumer reads
- * the row count off the ledger it already has. The markdown renderer prints the HEADLINE word —
- * "NOTHING TO RECONCILE" is the render word, never the predicate's name, exactly as "unsound" is
- * for `hasBrokenEvidence`.
- *
- * WHERE IT MUST BE ASKED, MEASURED RATHER THAN ARGUED (3F-3344). The ticket predicted this would
- * be @SCN-CLI-012's pre-emption one code further on — ask it after `isBalanced` and the branch
- * goes unreachable. IT IS NOT, and the plant that was supposed to prove it stayed GREEN. An empty
- * ledger is MUTUALLY EXCLUSIVE with all three siblings: with no rows there is no row to carry a
- * broken item, a reconciling item or a Pending Item, so it fires NONE of them and its position
- * AMONG them is unobservable. Moving it below `!isBalanced` in the CLI ladder still exits 5
- * (measured).
- *
- * WHAT IS LOAD-BEARING is its position against the chain's DEFAULT. "Balanced" is not a predicate
- * branch — it is the fall-through — so there is no "after the balanced case" to append a fifth
- * code to, and a chain that reaches its default has already called the run balanced. Appended
- * after the default the branch is dead code and the run exits 0 (measured: the plant that DID red).
- * That is also why the fault survived: a fifth code cannot be ADDED to this chain, it has to
- * DISPLACE the default, and nothing about the other three predicates says so.
- */
 export function hasNothingToReconcile(reconciliation) {
     return reconciliation.scenarioReconciliations.length === 0;
 }
-/**
- * The BROKEN reconciling items across the WHOLE run (3F-2203) — every proof that never ran, in row
- * order, each carrying its WHERE-to-fix (locator) and WHAT-broke (the runner's message).
- *
- * The QUANTITATIVE twin of `hasBrokenEvidence`, which is now derived FROM it: "is this run
- * unsound?" and "which proofs never ran?" are one question at two resolutions, so they are one
- * scan. The markdown's Run-integrity section listed these by re-deriving the scan itself — a model
- * query living in the renderer, and a second statement of which outcome means broken.
- *
- * The renderer READS this list and takes its length for the count-phrase; asking a list you were
- * given how long it is is projection, not derivation.
- */
 export function brokenItemsOf(reconciliation) {
     return reconciliation.scenarioReconciliations.flatMap((row) => row.reconcilingItems.filter((item) => item.outcome === "broken"));
 }
-/**
- * The OBLIGATION-SIDE static-check sub-rows across the whole Ledger (3F-2203) — each `lint` Quality
- * Check Reconciliation with the scnId of the row that names it, in row-then-document order.
- *
- * SCENARIO ROWS ONLY. A `lint` obligation is obligation-side, so a phantom or suspense row can carry
- * none; the suspense row's lint CREDIT (a no-evidence-obligation static check, `cites-no-scenario`) is an
- * observation, not an obligation, and must never inflate the obligation-side lint total.
- *
- * ONE COPY, BY CONSTRUCTION. That scenario-rows-only filter plus the lint cut existed TWICE,
- * character-identical — here in `lintTally` and in the markdown's `### Lint evidence obligations`
- * table. They agreed by copy-paste, not construction: either could have grown a clause alone and
- * nothing would have redded. Same anaemia, same cure as `evidenceObligationPairsOf` and
- * the corpus's own fitness obligations; the tally and the table are now two readings of ONE list.
- */
-export function lintReconciliationsOf(reconciliation) {
+export function fitnessReconciliationsOf(reconciliation) {
     return reconciliation.scenarioReconciliations
         .filter(isScenario)
-        .flatMap((row) => staticCheckReconciliationsOf(row).map((r) => ({ scnId: row.scnId, reconciliation: r })));
+        .flatMap((row) => fitnessFunctionReconciliationsOf(row).map((r) => ({ scnId: row.scnId, reconciliation: r })));
 }
-/** The canonical quality-check subject order (lint first, then the runtime quality-checks). */
-const QUALITY_CHECK_ORDER = ["lint", "unit", "integration", "e2e", "performance"];
-/**
- * Tally the LEDGER-PURE 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). The census pass-throughs (`testVolume`,
- * `staticChecks`) are not Ledger-pure and are merged in by the assembler.
- */
+const QUALITY_CHECK_ORDER = ["fitness", "unit", "integration", "e2e", "performance"];
 export function ledgerTally(balance) {
     const { scenarioReconciliations, pending } = scenarioReconciliationTally(balance);
     return {
         scenarioReconciliations,
         evidenceObligations: evidenceObligationTotals(balance),
-        // The Pending Items tally (@SCN-PND-011) — its OWN summary count, SEPARATE from the
-        // scenario verdict counts and the evidence-obligation counts. A Pending Item is deferred,
-        // not out-of-balance, so it is never one of the `OUT_OF_BALANCE_OUTCOMES` (never a `byOutcome`
-        // leaf of its own, at any leaf count). Always present (a pure balance derive, like `lint`);
-        // reads 0 when no scenario raises a pending obligation.
         pending,
-        // The static-only lint tally (RMD-005) — replicates markdown's `countStaticEvidenceObligations`
-        // (static evidenceObligations balanced / total). Always present (a pure balance derive); `byOutcome`
-        // is kind-agnostic and cannot evidenceObservations this static-only cut.
-        lint: lintTally(balance),
+        fitness: fitnessTally(balance),
     };
 }
-/**
- * The row-level half of `ledgerTally` — the Scenario Reconciliation verdict totals and the
- * Pending Items count, both read off one pass over the rows.
- */
 function scenarioReconciliationTally(balance) {
-    // The headline verdict tally counts EVERY Scenario Reconciliation (@SCN-RMD-001, 3F-1724):
-    // the summary is the totals over ALL rows (double-entry-manifesto), and phantom / suspense
-    // reconciliations are ALWAYS out-of-balance, so they count into the tally like any other row.
-    // `phantom` / `suspense` are kept as SUB-COUNTS — a breakdown OF the total, not a bucket
-    // outside it. (The retracted "ruling Q3" tallied scenario rows only, which is what let the
-    // tally read 0 out-of-balance on a run `isBalanced` correctly failed → exit 1: 3F-1703.)
     const verdict = { balanced: 0, "out-of-balance": 0 };
     let phantom = 0;
     let suspense = 0;
-    // The Pending Items tally (@SCN-PND-011) — the count of Pending Items across the
-    // reconciliation, one per deferred `<quality-check>pending` obligation. Counts ITEMS, not
-    // scenarios-carrying-pending (a scenario may raise several), mirroring the out-of-balance
-    // decomposition, which counts obligations, not scenarios. A Pending Item is a structurally
-    // distinct category (never a reconciling item / evidence obligation), so it is tallied
-    // SEPARATELY here — never folded into `byOutcome` (the out-of-balance leaves).
     let pending = 0;
     for (const s of balance.scenarioReconciliations) {
-        // Pending Items ride every row's `pendingItems` (only scenario rows carry them; a
-        // phantom / suspense row has none — as an EMPTY array, never an absent one), so the tally is
-        // a plain sum across all rows. `pendingItems` is required on `ScenarioReconciliation`, so
-        // there is no absent case to fall back from; `hasPendingItems` above already reads it bare.
         pending += s.pendingItems.length;
-        // The kind sub-counts, tallied ALONGSIDE the verdict (never instead of it) — the row still
-        // falls through to the verdict tally below, so a phantom / suspense reconciliation counts
-        // into `total` and (being always out-of-balance) into `outOfBalance`.
         if (s.kind === "phantom-scenario")
             phantom++;
         if (s.kind === "suspense-scenario")
@@ -215,25 +44,16 @@ function scenarioReconciliationTally(balance) {
     }
     return {
         scenarioReconciliations: {
-            // Every row's verdict is tallied, so this IS the count of all Scenario Reconciliations
-            // (scenario + phantom + suspense) — the manifesto's "the summary is the totals".
             total: verdict.balanced + verdict["out-of-balance"],
             balanced: verdict.balanced,
             outOfBalance: verdict["out-of-balance"],
-            // Sub-counts: a breakdown OF the totals above (scenario = total − phantom − suspense).
             phantom,
             suspense,
         },
         pending,
     };
 }
-/**
- * The obligation-level half of `ledgerTally` — every Quality Check Reconciliation tallied by
- * outcome, with the `missing` ones split by quality-check.
- */
 function evidenceObligationTotals(balance) {
-    // byOutcome tallies EVERY Quality Check Reconciliation across ALL rows (scenario AND
-    // phantom), so `cites-unknown-scenario` reflects the real phantom count.
     const byOutcome = {
         satisfied: 0,
         "missing": 0,
@@ -241,28 +61,16 @@ function evidenceObligationTotals(balance) {
         "watermelon": 0,
         "cites-unknown-scenario": 0,
         "cites-no-scenario": 0,
-        // The debit twin of cites-no-scenario (@SCN-LDG-021) — a scenario with no @SCN code to link.
         "no-scn-code": 0,
-        // The broken reconciling item — a proof that NEVER RAN: a vitest suite that failed to collect
-        // (@SCN-LDG-017), or a cucumber step matched by two or more definitions (@SCN-LDG-019). A
-        // machine consumer reads run-soundness off this count: `byOutcome.broken > 0` ⇒ any `missing`
-        // in the run may be a BROKEN proof rather than an absent one.
+        "duplicate-scn-code": 0,
         "broken": 0,
-        // The no-evidence-obligation reconciling item (@SCN-LDG-008) — a credit citing a real
-        // scenario at a quality-check it never named. Shown here so a reader sees it break out of
-        // the reconciliation-matched-attributed count (ruling Q1).
         "no-evidence-obligation": 0,
-        // The both-missing reconciling item (@SCN-LDG-009) — the NEITHER-side outcome:
-        // a scenario reconciling to zero rows on both sides. `byOutcome` is now 8-valued.
         "both-missing": 0,
     };
     const missing = new Map();
     for (const s of balance.scenarioReconciliations) {
         for (const o of s.qualityCheckReconciliations) {
             byOutcome[o.outcome]++;
-            // The subject IS the flat quality-check — `lint` or a runtime quality-check. The
-            // both-missing item carries no quality-check (it is not a `missing` evidence obligation), so the
-            // guard both narrows the type and keeps it out of the missing split.
             if (o.outcome === "missing" && o.qualityCheck) {
                 missing.set(o.qualityCheck, (missing.get(o.qualityCheck) ?? 0) + 1);
             }
@@ -276,60 +84,14 @@ function evidenceObligationTotals(balance) {
         missingByQualityCheck: QUALITY_CHECK_ORDER.filter((s) => (missing.get(s) ?? 0) > 0).map((subject) => ({ subject, count: missing.get(subject) })),
     };
 }
-/**
- * The static-only lint tally (RMD-005) — how many `@lint` (static) evidence obligations reconcile
- * satisfied (`balanced`), out of the total raised. Byte-for-byte the markdown's
- * `countStaticEvidenceObligations` (`src/render/markdown.ts`), so slice 2 can read `satisfied` / `total`
- * with zero byte change. `summary.byOutcome` counts ALL kinds, so the static-only total is derived
- * here explicitly.
- */
-export function lintTally(balance) {
-    // TWO READINGS OF ONE LIST (3F-2203) — the obligation-side lint sub-rows come from
-    // `lintReconciliationsOf`, the same list the markdown's lint table renders. The
-    // scenario-rows-only cut lives there, once, so the tally and the table cannot disagree.
-    const lint = lintReconciliationsOf(balance);
+export function fitnessTally(balance) {
+    const fitness = fitnessReconciliationsOf(balance);
     return {
-        satisfied: lint.filter(({ reconciliation }) => reconciliation.outcome === "satisfied").length,
-        total: lint.length,
+        satisfied: fitness.filter(({ reconciliation }) => reconciliation.outcome === "satisfied").length,
+        total: fitness.length,
     };
 }
-// ---------------------------------------------------------------------------
-// THE RUNTIME-OBSERVATION TALLY (3F-2102, Read @SCN-RMD-003) — the credit-side
-// headline the report's `### Test volume` cut derives, a FOLD OVER THE LEDGER co-located here
-// beside `ledgerTally` for the same reason: "the summary is the totals" — the Ledger counts its
-// OWN posted credits because it IS the balance. This RETIRES the runtime evidence-observation
-// census (`census/evidenceObservations.ts`): "census" and "collection of evidence observations"
-// are not manifesto concepts, so the counting folds onto the Ledger rather than living in a
-// parallel store. Only the AGGREGATE headlines survive (the raw per-quality-check totals and the
-// per-scenario-kind counts) — the per-`(scnId, quality-check)` `attributed[]` list did not, being
-// a re-representation of the Ledger's own posted credits (retire, don't relocate).
-// ---------------------------------------------------------------------------
-/** The canonical runtime quality-check order, in reading order. */
 export const RUNTIME_QUALITY_CHECKS = ["unit", "integration", "e2e", "performance"];
-/**
- * Tally the runtime evidence observations from the Ledger — a FOLD OVER THE POSTED CREDITS
- * (@SCN-RMD-003), the credit-side twin of `ledgerTally`'s debit-side fold. It walks the POSTED
- * CREDITS on each Scenario Reconciliation row (@SCN-LDG-022) and reads each credit's account off
- * THE ROW IT POSTED TO — a scenario row ⇒ `onScenario`, a phantom row ⇒ `onPhantomScenario`,
- * the suspense row ⇒ `onSuspenseScenario` — summing the raw per-quality-check total in lockstep.
- *
- * It RE-DERIVES NOTHING and it does NOT classify: the reconciler already decided which account
- * every credit posts to (the account IS the citation, @SCN-LDG-022), so asking the row is asking
- * that decision. There is ONE place that decides what a credit is, so this tally can never disagree
- * with the verdict — the views (Test volume, the per-quality-check table) are projections of the
- * same rows, not a parallel opinion kept in step.
- *
- * Static check (`lint`) credits are SKIPPED, ON THE CHECK and never on the absence of a citation
- * (@SCN-RPT-023). A fitness credit now CITES its own scenario and posts to an ordinary
- * scenario row, so to a naive walk it is indistinguishable from a runtime credit by the account it
- * landed on; the `qualityCheck` is the only thing that tells them apart. Counting one would fold
- * the static axis into the Test volume, which must not see it at all.
- *
- * The per-scenario-kind counts feed `summary.testVolume` directly (`onScenario` counts credits
- * citing a scenario, INCLUDING no-evidence-obligation — so the 3-termed identity
- * `total = onScenario + onPhantomScenario + onSuspenseScenario` holds); `rawByRuntimeQualityCheck`
- * is the re-homed per-quality-check headline the by-level table renders.
- */
 export function runtimeObservationTally(ledger) {
     const rawByRuntimeQualityCheck = {
         unit: 0,
@@ -340,15 +102,11 @@ export function runtimeObservationTally(ledger) {
     let onScenario = 0;
     let onPhantomScenario = 0;
     let onSuspenseScenario = 0;
-    // THE FOLD (@SCN-RMD-003). Walk the POSTED CREDITS and read each credit's ACCOUNT off the row it
-    // posted to — the reconciler's own ruling, never re-classified here.
     for (const row of ledger.scenarioReconciliations) {
-        for (const obs of row.evidenceObservations) {
-            // THE RUNTIME SCOPING — a static check credit rides the `lint` quality-check and is not a
-            // runtime observation, so it is not counted (see the docstring).
-            if (obs.qualityCheck === "lint")
+        for (const observation of row.evidenceObservations) {
+            if (observation.qualityCheck === "fitness")
                 continue;
-            rawByRuntimeQualityCheck[obs.qualityCheck]++;
+            rawByRuntimeQualityCheck[observation.qualityCheck]++;
             if (row.kind === "phantom-scenario")
                 onPhantomScenario++;
             else if (row.kind === "suspense-scenario")
@@ -357,86 +115,25 @@ export function runtimeObservationTally(ledger) {
                 onScenario++;
         }
     }
-    // THE COMPLETENESS IDENTITY — `Σ raw = onScenario + onPhantomScenario + onSuspenseScenario` —
-    // holds BY CONSTRUCTION: the single walk above increments a per-quality-check counter and exactly
-    // one per-scenario-kind counter in the SAME iteration, so the two sides cannot diverge. It is
-    // COMPLETENESS ONLY: invariant under a misfile BETWEEN its own terms, so it catches a credit
-    // VANISHING, never a credit in the wrong account (the `@SCN`s and the rows are that).
-    //
-    // THE RUNTIME `throw` THAT STOOD HERE IS GONE (3F-2231). It could not fire — both sides move
-    // together in one loop — so it was dead code asserting an invariant the structure already
-    // guarantees, which is precisely the scar-tissue shape `why-ddd-for-spec-controller.md` names as
-    // the anemic tell ("kept honest by hand-written identity assertions"); the goal is that summing
-    // the wrong rows "stops being POSSIBLE, not merely asserted-against". The invariant is not
-    // unguarded by its removal: `runtimeObservationTally.test.ts` pins it over a spanning corpus,
-    // which is where an invariant belongs. If this fold is ever split into two walks the identity
-    // becomes a real risk again — and that test, not a throw in a pure function, is what will red.
     const total = RUNTIME_QUALITY_CHECKS.reduce((n, qc) => n + rawByRuntimeQualityCheck[qc], 0);
     return { rawByRuntimeQualityCheck, total, onScenario, onPhantomScenario, onSuspenseScenario };
 }
-/**
- * Tally the static-check observations from the Ledger — a FOLD OVER THE POSTED static-check CREDITS
- * (3F-2118), the static-axis twin of `runtimeObservationTally`. It walks the POSTED CREDITS on each
- * Scenario Reconciliation row (@SCN-LDG-022), reads each credit off THE ROW IT POSTED TO, and — like
- * its runtime sibling — RE-DERIVES NOTHING: the reconciler already decided which account every credit
- * posts to, so this can never disagree with the verdict.
- *
- * `uncitedStaticCheckCount` is the count of RUNNING lint credits on the SUSPENSE row — the
- * no-evidence-obligation static checks the reconciler folded there (a static check running with no
- * scenario citing it, `cites-no-scenario` on the credit side). THE RUNNING QUALIFIER IS APPLIED
- * HERE RATHER THAN ASSUMED (@SCN-LNT-033): the uncited count is the running count's suspense-row
- * subset, so the two take one membership rule. A severed check nobody cites RAN, and is in both
- * (3F-3280). A BROKEN credit reaches the same row by a different route (@SCN-LNT-026) and is
- * excluded: it is a check a scenario DID name, which did not run.
- *
- * `runningStaticCheckCount` is the count of lint credits that RAN, across ALL rows. One care-move
- * the runtime axis does not need (see the block comment above):
- *   - FILTER TO WHAT RAN (`exists`): a missing (absent) or broken check STILL posts (posting is not
- *     classifying), but it did not run, so it is excluded — as the retired census's running-only
- *     `continue` excluded it. A severed check (wired, and the job's verdict does not depend on it)
- *     ran and is counted; its row reads the watermelon (3F-3280, ruled 2026-09-17).
- *
- * The named (implicit) count is `runningStaticCheckCount − uncitedStaticCheckCount`, and it cannot
- * go below nil: the uncited count is drawn from inside the running one.
- */
-export function staticObservationTally(ledger) {
-    // The static-check credits that RAN, across ALL rows. Only checks that ran (`exists`) are
-    // counted — a missing or broken check, which posts but did not run, is filtered out (the
-    // census's running-only `continue`). A severed check ran, so it counts (3F-3280).
-    let runningStaticCheckCount = 0;
-    // The uncited static checks — the RUNNING lint credits the reconciler folded onto the SUSPENSE
-    // row (a no-evidence-obligation running check, `cites-no-scenario`). Not a plain count of that
-    // row's lint credits: a broken credit lands there too and did not run (@SCN-LNT-026), so this
-    // count takes the running count's rule rather than a rule of its own (@SCN-LNT-033).
-    let uncitedStaticCheckCount = 0;
+export function fitnessFunctionTally(ledger) {
+    let runningFitnessFunctionCount = 0;
+    let uncitedFitnessFunctionCount = 0;
     for (const row of ledger.scenarioReconciliations) {
-        for (const obs of row.evidenceObservations) {
-            // THE STATIC SCOPING — only static-check credits ride the `lint` quality-check; a runtime
-            // credit (the uncited/broken ones the suspense row also holds) is not a static observation.
-            if (obs.qualityCheck !== "lint")
+        for (const observation of row.evidenceObservations) {
+            if (observation.qualityCheck !== "fitness")
                 continue;
-            // A BROKEN CREDIT IS NEITHER COUNT (@SCN-LNT-026). It reaches the suspense row for a reason
-            // the uncited count does not name: the check DID have a scenario naming it, and it did not
-            // run. Counting it as uncited would report a check nobody named, sending the reader to write
-            // an obligation that is already written — the misdirection the `broken` outcome exists to
-            // avoid. It is not a running static check either, and `exists` reads false so the clause
-            // below already says so; this one is what keeps the sentence true rather than incidental.
-            if (obs.broken === true)
+            if (observation.broken === true)
                 continue;
-            // ONE MEMBERSHIP RULE, NESTED RATHER THAN REPEATED (@SCN-LNT-033). The uncited count is the
-            // running count's suspense-row SUBSET, so the two cannot be given different rules by a later
-            // edit to one of them, and the figure a reader takes from the pair — `running − uncited`,
-            // the named count neither of them prints — cannot go below nil. Two sibling `if`s reading
-            // the same credit under different conditions is exactly the arrangement that let a severed
-            // uncited check leave one count and stay in the other. The rule is `exists` alone: a check
-            // whose red its job survives RAN, and the census counts what ran (3F-3280).
-            if (!obs.exists)
+            if (!observation.exists)
                 continue;
-            runningStaticCheckCount++;
+            runningFitnessFunctionCount++;
             if (row.kind === "suspense-scenario")
-                uncitedStaticCheckCount++;
+                uncitedFitnessFunctionCount++;
         }
     }
-    return { runningStaticCheckCount, uncitedStaticCheckCount };
+    return { runningFitnessFunctionCount, uncitedFitnessFunctionCount };
 }
 //# sourceMappingURL=ledger.js.map

package/dist/domain/ledger.js.map

@@ -1 +1 @@
-{"version":3,"file":"ledger.js","sourceRoot":"","sources":["../../src/domain/ledger.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,8FAA8F;AAC9F,mDAAmD;AACnD,OAAO,EAAE,4BAA4B,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAuCvF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,UAAU,CAAC,cAAsB;IAC/C,OAAO,cAAc,CAAC,uBAAuB,CAAC,KAAK,CACjD,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,CAC3C,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAAC,cAAsB;IACpD,OAAO,cAAc,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,iBAAiB,CAAC,cAAsB;IACtD,OAAO,aAAa,CAAC,cAAc,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AACH,MAAM,UAAU,qBAAqB,CAAC,cAAsB;IAC1D,OAAO,cAAc,CAAC,uBAAuB,CAAC,MAAM,KAAK,CAAC,CAAC;AAC7D,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,aAAa,CAAC,cAAsB;IAClD,OAAO,cAAc,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAC5D,GAAG,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CACjE,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,qBAAqB,CACnC,cAAsB;IAEtB,OAAO,cAAc,CAAC,uBAAuB;SAC1C,MAAM,CAAC,UAAU,CAAC;SAClB,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CACf,4BAA4B,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,CACxF,CAAC;AACN,CAAC;AA2FD,+FAA+F;AAC/F,MAAM,mBAAmB,GAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;AAErG;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,OAAe;IACzC,MAAM,EAAE,uBAAuB,EAAE,OAAO,EAAE,GAAG,2BAA2B,CAAC,OAAO,CAAC,CAAC;IAClF,OAAO;QACL,uBAAuB;QACvB,mBAAmB,EAAE,wBAAwB,CAAC,OAAO,CAAC;QACtD,oFAAoF;QACpF,0FAA0F;QAC1F,+FAA+F;QAC/F,4FAA4F;QAC5F,wDAAwD;QACxD,OAAO;QACP,gGAAgG;QAChG,qGAAqG;QACrG,yEAAyE;QACzE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC;KACzB,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,2BAA2B,CAAC,OAAe;IAIlD,2FAA2F;IAC3F,2FAA2F;IAC3F,8FAA8F;IAC9F,yFAAyF;IACzF,2FAA2F;IAC3F,yFAAyF;IACzF,MAAM,OAAO,GAAkD,EAAE,QAAQ,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,CAAC;IACpG,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,iFAAiF;IACjF,0FAA0F;IAC1F,0FAA0F;IAC1F,2FAA2F;IAC3F,uFAAuF;IACvF,+EAA+E;IAC/E,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,uBAAuB,EAAE,CAAC;QAChD,kFAAkF;QAClF,6FAA6F;QAC7F,0FAA0F;QAC1F,4FAA4F;QAC5F,OAAO,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC;QACjC,2FAA2F;QAC3F,0FAA0F;QAC1F,sEAAsE;QACtE,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB;YAAE,OAAO,EAAE,CAAC;QAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB;YAAE,QAAQ,EAAE,CAAC;QAC/C,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACvB,CAAC;IACD,OAAO;QACL,uBAAuB,EAAE;YACvB,uFAAuF;YACvF,iFAAiF;YACjF,KAAK,EAAE,OAAO,CAAC,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC;YACnD,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,YAAY,EAAE,OAAO,CAAC,gBAAgB,CAAC;YACvC,uFAAuF;YACvF,OAAO;YACP,QAAQ;SACT;QACD,OAAO;KACR,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,wBAAwB,CAAC,OAAe;IAC/C,qFAAqF;IACrF,yEAAyE;IACzE,MAAM,SAAS,GAA4B;QACzC,SAAS,EAAE,CAAC;QACZ,SAAS,EAAE,CAAC;QACZ,SAAS,EAAE,CAAC;QACZ,YAAY,EAAE,CAAC;QACf,wBAAwB,EAAE,CAAC;QAC3B,mBAAmB,EAAE,CAAC;QACtB,6FAA6F;QAC7F,aAAa,EAAE,CAAC;QAChB,8FAA8F;QAC9F,0FAA0F;QAC1F,8FAA8F;QAC9F,8DAA8D;QAC9D,QAAQ,EAAE,CAAC;QACX,sFAAsF;QACtF,0FAA0F;QAC1F,2DAA2D;QAC3D,wBAAwB,EAAE,CAAC;QAC3B,+EAA+E;QAC/E,kFAAkF;QAClF,cAAc,EAAE,CAAC;KAClB,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,uBAAuB,EAAE,CAAC;QAChD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,2BAA2B,EAAE,CAAC;YAC9C,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YACvB,iFAAiF;YACjF,iGAAiG;YACjG,qEAAqE;YACrE,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;gBAC9C,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAI,MAAM,CAAC,MAAM,CAAC,SAAS,CAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAChF,OAAO;QACL,KAAK;QACL,SAAS;QACT,YAAY,EAAE,KAAK,GAAG,SAAS,CAAC,SAAS;QACzC,qBAAqB,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CACrF,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAE,EAAE,CAAC,CACzD;KACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAC,OAAe;IACvC,mFAAmF;IACnF,gFAAgF;IAChF,wFAAwF;IACxF,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAC5C,OAAO;QACL,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC,MAAM;QAC7F,KAAK,EAAE,IAAI,CAAC,MAAM;KACnB,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,+EAA+E;AAC/E,8FAA8F;AAC9F,gGAAgG;AAChG,8FAA8F;AAC9F,gGAAgG;AAChG,4FAA4F;AAC5F,iGAAiG;AACjG,kGAAkG;AAClG,mFAAmF;AACnF,8EAA8E;AAE9E,mEAAmE;AACnE,MAAM,CAAC,MAAM,sBAAsB,GAAmC,CAAC,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;AAmCpH;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,uBAAuB,CAAC,MAAc;IACpD,MAAM,wBAAwB,GAAwC;QACpE,IAAI,EAAE,CAAC;QACP,WAAW,EAAE,CAAC;QACd,GAAG,EAAE,CAAC;QACN,WAAW,EAAE,CAAC;KACf,CAAC;IACF,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAE3B,iGAAiG;IACjG,qEAAqE;IACrE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,uBAAuB,EAAE,CAAC;QACjD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,oBAAoB,EAAE,CAAC;YAC3C,0FAA0F;YAC1F,iEAAiE;YACjE,IAAI,GAAG,CAAC,YAAY,KAAK,MAAM;gBAAE,SAAS;YAC1C,wBAAwB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7C,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB;gBAAE,iBAAiB,EAAE,CAAC;iBACpD,IAAI,GAAG,CAAC,IAAI,KAAK,mBAAmB;gBAAE,kBAAkB,EAAE,CAAC;;gBAC3D,UAAU,EAAE,CAAC;QACpB,CAAC;IACH,CAAC;IAED,8FAA8F;IAC9F,kGAAkG;IAClG,8FAA8F;IAC9F,6FAA6F;IAC7F,sFAAsF;IACtF,EAAE;IACF,6FAA6F;IAC7F,0FAA0F;IAC1F,iGAAiG;IACjG,gGAAgG;IAChG,2FAA2F;IAC3F,8FAA8F;IAC9F,8FAA8F;IAC9F,+FAA+F;IAC/F,MAAM,KAAK,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,wBAAwB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAE5F,OAAO,EAAE,wBAAwB,EAAE,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,CAAC;AAChG,CAAC;AAmED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAc;IACnD,0FAA0F;IAC1F,yFAAyF;IACzF,kFAAkF;IAClF,IAAI,uBAAuB,GAAG,CAAC,CAAC;IAChC,+FAA+F;IAC/F,+FAA+F;IAC/F,8FAA8F;IAC9F,qFAAqF;IACrF,IAAI,uBAAuB,GAAG,CAAC,CAAC;IAChC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,uBAAuB,EAAE,CAAC;QACjD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,oBAAoB,EAAE,CAAC;YAC3C,0FAA0F;YAC1F,4FAA4F;YAC5F,IAAI,GAAG,CAAC,YAAY,KAAK,MAAM;gBAAE,SAAS;YAC1C,4FAA4F;YAC5F,2FAA2F;YAC3F,6FAA6F;YAC7F,0FAA0F;YAC1F,yFAAyF;YACzF,0FAA0F;YAC1F,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI;gBAAE,SAAS;YAClC,4FAA4F;YAC5F,6FAA6F;YAC7F,0FAA0F;YAC1F,0FAA0F;YAC1F,2FAA2F;YAC3F,2FAA2F;YAC3F,4EAA4E;YAC5E,IAAI,CAAC,GAAG,CAAC,MAAM;gBAAE,SAAS;YAC1B,uBAAuB,EAAE,CAAC;YAC1B,IAAI,GAAG,CAAC,IAAI,KAAK,mBAAmB;gBAAE,uBAAuB,EAAE,CAAC;QAClE,CAAC;IACH,CAAC;IAED,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,CAAC;AAC9D,CAAC"}
+{"version":3,"file":"ledger.js","sourceRoot":"","sources":["../../src/domain/ledger.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gCAAgC,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAO3F,MAAM,UAAU,UAAU,CAAC,cAAsB;IAC/C,OAAO,cAAc,CAAC,uBAAuB,CAAC,KAAK,CACjD,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,CAC3C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,cAAsB;IACpD,OAAO,cAAc,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,cAAsB;IACtD,OAAO,aAAa,CAAC,cAAc,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,cAAsB;IAC1D,OAAO,cAAc,CAAC,uBAAuB,CAAC,MAAM,KAAK,CAAC,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,cAAsB;IAClD,OAAO,cAAc,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAC5D,GAAG,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CACjE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,cAAsB;IAEtB,OAAO,cAAc,CAAC,uBAAuB;SAC1C,MAAM,CAAC,UAAU,CAAC;SAClB,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CACf,gCAAgC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,CAC5F,CAAC;AACN,CAAC;AAkCD,MAAM,mBAAmB,GAAsB,CAAC,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;AAExG,MAAM,UAAU,WAAW,CAAC,OAAe;IACzC,MAAM,EAAE,uBAAuB,EAAE,OAAO,EAAE,GAAG,2BAA2B,CAAC,OAAO,CAAC,CAAC;IAClF,OAAO;QACL,uBAAuB;QACvB,mBAAmB,EAAE,wBAAwB,CAAC,OAAO,CAAC;QACtD,OAAO;QACP,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC;KAC/B,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,OAAe;IAIlD,MAAM,OAAO,GAAkD,EAAE,QAAQ,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,CAAC;IACpG,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,uBAAuB,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC;QACjC,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB;YAAE,OAAO,EAAE,CAAC;QAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB;YAAE,QAAQ,EAAE,CAAC;QAC/C,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACvB,CAAC;IACD,OAAO;QACL,uBAAuB,EAAE;YACvB,KAAK,EAAE,OAAO,CAAC,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC;YACnD,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,YAAY,EAAE,OAAO,CAAC,gBAAgB,CAAC;YACvC,OAAO;YACP,QAAQ;SACT;QACD,OAAO;KACR,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAe;IAC/C,MAAM,SAAS,GAA4B;QACzC,SAAS,EAAE,CAAC;QACZ,SAAS,EAAE,CAAC;QACZ,SAAS,EAAE,CAAC;QACZ,YAAY,EAAE,CAAC;QACf,wBAAwB,EAAE,CAAC;QAC3B,mBAAmB,EAAE,CAAC;QACtB,aAAa,EAAE,CAAC;QAChB,oBAAoB,EAAE,CAAC;QACvB,QAAQ,EAAE,CAAC;QACX,wBAAwB,EAAE,CAAC;QAC3B,cAAc,EAAE,CAAC;KAClB,CAAC;IACF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,uBAAuB,EAAE,CAAC;QAChD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,2BAA2B,EAAE,CAAC;YAC9C,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;gBAC9C,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAI,MAAM,CAAC,MAAM,CAAC,SAAS,CAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAChF,OAAO;QACL,KAAK;QACL,SAAS;QACT,YAAY,EAAE,KAAK,GAAG,SAAS,CAAC,SAAS;QACzC,qBAAqB,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CACrF,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAE,EAAE,CAAC,CACzD;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,OAAe;IAC1C,MAAM,OAAO,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAClD,OAAO;QACL,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC,MAAM;QAChG,KAAK,EAAE,OAAO,CAAC,MAAM;KACtB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAmC,CAAC,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;AAUpH,MAAM,UAAU,uBAAuB,CAAC,MAAc;IACpD,MAAM,wBAAwB,GAAwC;QACpE,IAAI,EAAE,CAAC;QACP,WAAW,EAAE,CAAC;QACd,GAAG,EAAE,CAAC;QACN,WAAW,EAAE,CAAC;KACf,CAAC;IACF,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAE3B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,uBAAuB,EAAE,CAAC;QACjD,KAAK,MAAM,WAAW,IAAI,GAAG,CAAC,oBAAoB,EAAE,CAAC;YACnD,IAAI,WAAW,CAAC,YAAY,KAAK,SAAS;gBAAE,SAAS;YACrD,wBAAwB,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,CAAC;YACrD,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB;gBAAE,iBAAiB,EAAE,CAAC;iBACpD,IAAI,GAAG,CAAC,IAAI,KAAK,mBAAmB;gBAAE,kBAAkB,EAAE,CAAC;;gBAC3D,UAAU,EAAE,CAAC;QACpB,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,wBAAwB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAE5F,OAAO,EAAE,wBAAwB,EAAE,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,CAAC;AAChG,CAAC;AAOD,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,IAAI,2BAA2B,GAAG,CAAC,CAAC;IACpC,IAAI,2BAA2B,GAAG,CAAC,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,uBAAuB,EAAE,CAAC;QACjD,KAAK,MAAM,WAAW,IAAI,GAAG,CAAC,oBAAoB,EAAE,CAAC;YACnD,IAAI,WAAW,CAAC,YAAY,KAAK,SAAS;gBAAE,SAAS;YACrD,IAAI,WAAW,CAAC,MAAM,KAAK,IAAI;gBAAE,SAAS;YAC1C,IAAI,CAAC,WAAW,CAAC,MAAM;gBAAE,SAAS;YAClC,2BAA2B,EAAE,CAAC;YAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,mBAAmB;gBAAE,2BAA2B,EAAE,CAAC;QACtE,CAAC;IACH,CAAC;IAED,OAAO,EAAE,2BAA2B,EAAE,2BAA2B,EAAE,CAAC;AACtE,CAAC"}