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

package/dist/render/runVerdict.js

@@ -2,8 +2,9 @@
  * THE RUN VERDICT — the headline sentence a reader meets first, and the exit code it names.
  *
  * Its own module rather than a further section in `markdown.ts`, which sits at a `max-lines`
- * exception — and an exception excuses existing debt, never headroom (complexity-threshold.feature).
- * The precedent is `measuredItem.ts`, moved out for the same reason; the move was forced here by
+ * exception — and an exception excuses existing debt, never headroom.
+ * The precedent was `measuredItem.ts` (retired with the measured axis, 3F-3516), moved out for
+ * the same reason; the move was forced here by
  * @SCN-CLI-019 adding a fifth verdict, and it is the emitter this file is named for.
  */
 import { hasBrokenEvidence, isBalanced, hasPendingItems, hasNothingToReconcile, } from "../domain/ledger.js";
@@ -21,8 +22,14 @@ const DEFAULT_CORPUS_DIR = "features";
  * READ FROM `runProvenance`, WHICH IS WHY NO NEW FIELD IS OWED. `provenanceSection` derives both
  * the Inputs list and the "Not supplied" line from this same object, so the verdict names the
  * directory the header already accounts for and the two cannot disagree. A `process.cwd()` here
- * would be the obvious alternative and is barred twice over: this package is pure and the
- * domain-purity guard enforces it, and a resolved absolute path is not the fact a reader needs.
+ * would be the obvious alternative and is barred twice over: this package is pure and
+ * `lint:boundaries`'s `no-restricted-globals` rule enforces it over every non-test file under
+ * `packages/core/src`, and a resolved absolute path is not the fact a reader needs.
+ *
+ * THE RULE NAMED HERE WAS WRONG UNTIL 3F-3438 AND IS CORRECTED RATHER THAN RE-WORDED. It read "the
+ * domain-purity guard enforces it", and that guard never scanned `render/` — its population was
+ * `packages/core/src/domain` — nor did it look at a global at all, only at `from` specifiers. The
+ * bar was real; the mechanism cited for it was not.
  */
 function corpusExamined(provenance) {
     return provenance.inputs.features ?? DEFAULT_CORPUS_DIR;

package/dist/render/runVerdict.js.map

@@ -1 +1 @@
-{"version":3,"file":"runVerdict.js","sourceRoot":"","sources":["../../src/render/runVerdict.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAKH,OAAO,EACL,iBAAiB,EACjB,UAAU,EACV,eAAe,EACf,qBAAqB,GACtB,MAAM,qBAAqB,CAAC;AAE7B;;;;;GAKG;AACH,MAAM,kBAAkB,GAAG,UAAU,CAAC;AAKtC;;;;;;;;;GASG;AACH,SAAS,cAAc,CAAC,UAA4B;IAClD,OAAO,UAAU,CAAC,MAAM,CAAC,QAAQ,IAAI,kBAAkB,CAAC;AAC1D,CAAC;AAED,oFAAoF;AACpF,SAAS,SAAS,CAAC,cAAsB,EAAE,SAAiB;IAC1D,+FAA+F;IAC/F,8FAA8F;IAC9F,6FAA6F;IAC7F,EAAE;IACF,8FAA8F;IAC9F,6FAA6F;IAC7F,8FAA8F;IAC9F,+FAA+F;IAC/F,iGAAiG;IACjG,gGAAgG;IAChG,+FAA+F;IAC/F,qCAAqC;IACrC,MAAM,OAAO,GAAG,qBAAqB,CAAC,cAAc,CAAC;QACnD,CAAC,CAAC;YACE,QAAQ,EAAE,0BAA0B;YACpC,IAAI,EAAE,QAAQ;YACd,yFAAyF;YACzF,2FAA2F;YAC3F,EAAE;YACF,4FAA4F;YAC5F,sFAAsF;YACtF,yFAAyF;YACzF,2FAA2F;YAC3F,qFAAqF;YACrF,KAAK,EACH,oFAAoF;gBACpF,2EAA2E,SAAS,KAAK;gBACzF,uFAAuF;SAC1F;QACH,CAAC,CAAC,iBAAiB,CAAC,cAAc,CAAC;YACnC,CAAC,CAAC;gBACE,QAAQ,EAAE,aAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,yFAAyF;gBACzF,wFAAwF;gBACxF,oFAAoF;gBACpF,KAAK,EACH,sFAAsF;oBACtF,qFAAqF;oBACrF,WAAW;aACd;YACH,CAAC,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC;gBAC3B,CAAC,CAAC;oBACE,QAAQ,EAAE,oBAAoB;oBAC9B,IAAI,EAAE,QAAQ;oBACd,KAAK,EACH,4EAA4E;wBAC5E,oCAAoC;iBACvC;gBACH,CAAC,CAAC;oBACE,QAAQ,EAAE,cAAc;oBACxB,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,+EAA+E;iBACvF,CAAC;IACR,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAmB,EAAY,EAAE;IACjE,MAAM,cAAc,GAAG,EAAE,uBAAuB,EAAE,MAAM,CAAC,MAAM,CAAC,uBAAuB,EAAE,CAAC;IAC1F,MAAM,OAAO,GAAG,SAAS,CAAC,cAAc,EAAE,cAAc,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;IAChF,MAAM,KAAK,GAAG;QACZ,iBAAiB;QACjB,EAAE;QACF,GAAG,OAAO,CAAC,QAAQ,MAAM,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,IAAI,GAAG;KAC3D,CAAC;IACF,+FAA+F;IAC/F,4FAA4F;IAC5F,4FAA4F;IAC5F,6FAA6F;IAC7F,oFAAoF;IACpF,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,eAAe,CAAC,cAAc,CAAC,EAAE,CAAC;QACjE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CACR,yFAAyF;YACvF,0EAA0E,CAC7E,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}
+{"version":3,"file":"runVerdict.js","sourceRoot":"","sources":["../../src/render/runVerdict.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAKH,OAAO,EACL,iBAAiB,EACjB,UAAU,EACV,eAAe,EACf,qBAAqB,GACtB,MAAM,qBAAqB,CAAC;AAE7B;;;;;GAKG;AACH,MAAM,kBAAkB,GAAG,UAAU,CAAC;AAKtC;;;;;;;;;;;;;;;GAeG;AACH,SAAS,cAAc,CAAC,UAA4B;IAClD,OAAO,UAAU,CAAC,MAAM,CAAC,QAAQ,IAAI,kBAAkB,CAAC;AAC1D,CAAC;AAED,oFAAoF;AACpF,SAAS,SAAS,CAAC,cAAsB,EAAE,SAAiB;IAC1D,+FAA+F;IAC/F,8FAA8F;IAC9F,6FAA6F;IAC7F,EAAE;IACF,8FAA8F;IAC9F,6FAA6F;IAC7F,8FAA8F;IAC9F,+FAA+F;IAC/F,iGAAiG;IACjG,gGAAgG;IAChG,+FAA+F;IAC/F,qCAAqC;IACrC,MAAM,OAAO,GAAG,qBAAqB,CAAC,cAAc,CAAC;QACnD,CAAC,CAAC;YACE,QAAQ,EAAE,0BAA0B;YACpC,IAAI,EAAE,QAAQ;YACd,yFAAyF;YACzF,2FAA2F;YAC3F,EAAE;YACF,4FAA4F;YAC5F,sFAAsF;YACtF,yFAAyF;YACzF,2FAA2F;YAC3F,qFAAqF;YACrF,KAAK,EACH,oFAAoF;gBACpF,2EAA2E,SAAS,KAAK;gBACzF,uFAAuF;SAC1F;QACH,CAAC,CAAC,iBAAiB,CAAC,cAAc,CAAC;YACnC,CAAC,CAAC;gBACE,QAAQ,EAAE,aAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,yFAAyF;gBACzF,wFAAwF;gBACxF,oFAAoF;gBACpF,KAAK,EACH,sFAAsF;oBACtF,qFAAqF;oBACrF,WAAW;aACd;YACH,CAAC,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC;gBAC3B,CAAC,CAAC;oBACE,QAAQ,EAAE,oBAAoB;oBAC9B,IAAI,EAAE,QAAQ;oBACd,KAAK,EACH,4EAA4E;wBAC5E,oCAAoC;iBACvC;gBACH,CAAC,CAAC;oBACE,QAAQ,EAAE,cAAc;oBACxB,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,+EAA+E;iBACvF,CAAC;IACR,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAmB,EAAY,EAAE;IACjE,MAAM,cAAc,GAAG,EAAE,uBAAuB,EAAE,MAAM,CAAC,MAAM,CAAC,uBAAuB,EAAE,CAAC;IAC1F,MAAM,OAAO,GAAG,SAAS,CAAC,cAAc,EAAE,cAAc,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;IAChF,MAAM,KAAK,GAAG;QACZ,iBAAiB;QACjB,EAAE;QACF,GAAG,OAAO,CAAC,QAAQ,MAAM,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,IAAI,GAAG;KAC3D,CAAC;IACF,+FAA+F;IAC/F,4FAA4F;IAC5F,4FAA4F;IAC5F,6FAA6F;IAC7F,oFAAoF;IACpF,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,eAAe,CAAC,cAAc,CAAC,EAAE,CAAC;QACjE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CACR,yFAAyF;YACvF,0EAA0E,CAC7E,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"staticChecks.d.ts","sourceRoot":"","sources":["../../src/render/staticChecks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAmB9D;;;;;;;;;GASG;AACH,eAAO,MAAM,mBAAmB,GAAI,QAAQ,WAAW,KAAG,MAAM,EAyB/D,CAAC"}
+{"version":3,"file":"staticChecks.d.ts","sourceRoot":"","sources":["../../src/render/staticChecks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AA+B9D;;;;;;;;;GASG;AACH,eAAO,MAAM,mBAAmB,GAAI,QAAQ,WAAW,KAAG,MAAM,EAyB/D,CAAC"}

package/dist/render/staticChecks.js

@@ -8,6 +8,13 @@
  * exactly this reason. NOTHING about the section changed in the move: same emitter, same lines,
  * same omit-when-absent.
  */
+/**
+ * A BAR A CONFIGURED ROW STILL CARRIES (@SCN-LNT-035), named `fitnessChecks[<@SCN>].<key>` by the
+ * resolver. Its line says something different from a retired top-level key's, because its
+ * consequence is different: the row still reaches the books, credited by its own step's outcome;
+ * only the number on it is unread.
+ */
+const isRowBar = (key) => key.startsWith("fitnessChecks[");
 /**
  * THE RETIRED-KEY ACCOUNT (@SCN-USG-021) — one line per `specController.*` key this reader has
  * retired that the target's manifest still carries, naming the key and saying what became of it.
@@ -19,7 +26,9 @@
  * citation — so the only remaining question is whether they get to find that out, and this is
  * the answer.
  */
-const retiredKeyAccount = (keys) => (keys ?? []).map((key) => `- specController.${key} — retired: this reader no longer reads it, and none of its entries reach the books.`);
+const retiredKeyAccount = (keys) => (keys ?? []).map((key) => `- specController.${key} — retired: ${isRowBar(key)
+    ? "this reader no longer reads a row's bar, and the row is credited by its step's outcome."
+    : "this reader no longer reads it, and none of its entries reach the books."}`);
 /**
  * Static checks (@SCN-USG-001) — the STATIC-check evidence observation side under
  * Summary views, the mirror of `### Test volume` on the runtime axis. Renders the counts line

package/dist/render/staticChecks.js.map

@@ -1 +1 @@
-{"version":3,"file":"staticChecks.js","sourceRoot":"","sources":["../../src/render/staticChecks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH;;;;;;;;;;GAUG;AACH,MAAM,iBAAiB,GAAG,CAAC,IAAmC,EAAY,EAAE,CAC1E,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CACd,CAAC,GAAG,EAAE,EAAE,CACN,oBAAoB,GAAG,sFAAsF,CAChH,CAAC;AAEJ;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,MAAmB,EAAY,EAAE;IACnE,iGAAiG;IACjG,8FAA8F;IAC9F,kGAAkG;IAClG,iGAAiG;IACjG,gFAAgF;IAChF,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,4BAA4B,EAAE,aAAa,GAAG,EAAE,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC;IAClG,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,yFAAyF;IACzF,8FAA8F;IAC9F,4FAA4F;IAC5F,qBAAqB;IACrB,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC9D,8EAA8E;IAC9E,4FAA4F;IAC5F,sGAAsG;IACtG,6FAA6F;IAC7F,uEAAuE;IACvE,OAAO;QACL,mBAAmB,EAAE,EAAE;QACvB,GAAG,MAAM,CAAC,uBAAuB,yBAAyB,MAAM,CAAC,uBAAuB,2BAA2B;QACnH,EAAE;QACF,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,MAAM,kDAAkD,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/I,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAChD,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"staticChecks.js","sourceRoot":"","sources":["../../src/render/staticChecks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH;;;;;GAKG;AACH,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAW,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;AAE5E;;;;;;;;;;GAUG;AACH,MAAM,iBAAiB,GAAG,CAAC,IAAmC,EAAY,EAAE,CAC1E,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CACd,CAAC,GAAG,EAAE,EAAE,CACN,oBAAoB,GAAG,eACrB,QAAQ,CAAC,GAAG,CAAC;IACX,CAAC,CAAC,yFAAyF;IAC3F,CAAC,CAAC,0EACN,EAAE,CACL,CAAC;AAEJ;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,MAAmB,EAAY,EAAE;IACnE,iGAAiG;IACjG,8FAA8F;IAC9F,kGAAkG;IAClG,iGAAiG;IACjG,gFAAgF;IAChF,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,4BAA4B,EAAE,aAAa,GAAG,EAAE,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC;IAClG,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,yFAAyF;IACzF,8FAA8F;IAC9F,4FAA4F;IAC5F,qBAAqB;IACrB,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC9D,8EAA8E;IAC9E,4FAA4F;IAC5F,sGAAsG;IACtG,6FAA6F;IAC7F,uEAAuE;IACvE,OAAO;QACL,mBAAmB,EAAE,EAAE;QACvB,GAAG,MAAM,CAAC,uBAAuB,yBAAyB,MAAM,CAAC,uBAAuB,2BAA2B;QACnH,EAAE;QACF,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,MAAM,kDAAkD,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/I,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAChD,CAAC;AACJ,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@3f-consulting/spec-controller-core",
-  "version": "0.1.0-alpha.3",
+  "version": "0.1.0-alpha.5",
   "description": "The pure, embeddable reconciliation core behind spec-controller — Gherkin/@SCN parse, the evidence model, reconcile primitives, and renderers. No CLI, no I/O.",
   "keywords": [
     "reconciliation",
@@ -10,11 +10,6 @@
     "double-entry",
     "spec-controller"
   ],
-  "repository": {
-    "type": "git",
-    "url": "git+https://github.com/3f-consulting/spec-controller.git",
-    "directory": "packages/core"
-  },
   "license": "MIT",
   "type": "module",
   "engines": {

package/dist/domain/thresholds.d.ts

@@ -1,123 +0,0 @@
-/**
- * THE THRESHOLD INDEX — what ceiling a MEASURED fitness check is held to on a given scenario.
- *
- * The debit-side twin of the (now-retired) check registry, and the input that makes the measured
- * axis possible at all:
- *
- *     @SCN + bare check tag  ──thresholds──▶  the ceiling
- *     SCN-CIP-001  ci-run-time                75
- *
- * WHY THE CEILING IS AUTHORED HERE AND NOT CARRIED BY THE RUN. A static check decides pass from
- * fail itself and the ledger reconciles what it decided; its threshold is binary and never written
- * down. A measured check produces a NUMBER, and if the run supplied both the number and the bar it
- * was judged against, the runner would be grading its own homework — the ledger would transcribe a
- * verdict rather than reconcile one. Double entry wants the two sides independently sourced, so the
- * ceiling is the obligation's and the measurement is only ever a number.
- *
- * KEYED BY @SCN, THEN BY CHECK, and both halves are load-bearing. Keyed by the tag alone it could
- * not express what canon asks of this axis — several checks of one characteristic are several
- * stepless scenarios sharing the tag, told apart by @SCN, with ceilings of their own. Flat under
- * the @SCN it would re-open on the debit side the non-uniqueness @SCN-LNT-012 closed on the credit
- * side: a stepless scenario may carry more than one bare check, so one @SCN can owe two measured
- * obligations, and one number under it would answer for both — whichever was read first silently
- * setting the other's bar.
- *
- * PURE AND INJECTED — the index arrives as data, read from the TARGET's own manifest at the app
- * edge (`specController.thresholds`). A ceiling means what the target says it means (@SCN-LNT-005);
- * resolved from spec-controller's own manifest it would answer for a repository the run never read.
- *
- * NOT A SECOND HOME FOR THE CORPUS. This says what a scenario's ceiling IS, never which scenarios
- * exist: the corpus stays the one place a fitness scenario is named, so a ceiling keyed against an
- * @SCN nobody wrote reaches no obligation, and an obligation whose ceiling nobody wrote reads loud
- * rather than unbounded (@SCN-CIP-002).
- */
-export interface ThresholdBar {
-    /** The number the measurement is compared against. */
-    threshold: number;
-    /** The bar is a FLOOR — `measured >= threshold`. Absent on an ordinary ceiling. */
-    atLeast?: true;
-}
-/**
- * The index as the rule reads it — `@SCN` → bare check tag → the bar it is held to.
- *
- * THE BAR IS NULLABLE AND THE TAG IS NOT (@SCN-MUT-003). A manifest entry makes two claims — that
- * this scenario holds this check, and what bar it holds it to — and only the second can fail to
- * read. An entry whose value this cannot read keeps its key here with a `null` beside it, so the
- * check stays measured and the missing bar is reported by the arm that exists for exactly that
- * (@SCN-CIP-002) rather than by the tag grammar complaining about a check nobody wrote.
- */
-export type ThresholdIndex = ReadonlyMap<string, ReadonlyMap<string, ThresholdBar | null>>;
-/**
- * The bar a manifest entry authors, or `null` where it authors none this reads (@SCN-MUT-002).
- *
- * TWO FORMS, ONE OF WHICH NAMES ITS COMPARISON. A bare number is read at-most and carries nothing
- * else, so the entries already written that way keep saying what they say. An object names the
- * comparison with the KEY beside the number — `atLeast` or `atMost` — which is what makes an
- * entry in this form unwritable without a direction, and leaves no third value anybody has to
- * validate or that could come to mean something surprising. `atMost` is the explicit long form of
- * the bare number and is deliberately recognised though it adds nothing: a recognised set of one
- * is not a set, and it is the set an unrecognised entry is unrecognised AGAINST.
- *
- * A RECOGNISED KEY IS NOT A LICENCE FOR THE VALUE BESIDE IT. Both forms reach the same number
- * reading, so a floor of `NaN` is dropped exactly as a ceiling of `NaN` is — `measured >= NaN` is
- * false, and a bar nothing can clear reds an honest suite and blames the suite.
- *
- * EXPORTED BECAUSE A CONVERTED CHECK'S ROW NAMES ITS BAR IN THESE SAME TWO KEYS (@SCN-LNT-019), and
- * one bar grammar is the point: a second reader over `atLeast` / `atMost` would be a second opinion
- * about what a target wrote, and the first entry either read differently would be a silent one. The
- * row is handed in whole — the other terms beside the direction are none of this reader's business.
- */
-export declare function barOf(entry: unknown): ThresholdBar | null;
-/**
- * Build an index from a manifest's `{ "<@SCN>": { "<check>": <bar> } }` entries.
- *
- * BOTH KEYS ARE STORED BARE. A manifest written by hand will sooner or later spell either the way
- * a feature file does (`@SCN-CIP-001`, `@ci-run-time`), and both lookups match bare — so the `@` is
- * stripped once here rather than at every call site, where one reader would eventually forget and
- * the miss would be silent.
- *
- * A MALFORMED BAR IS DROPPED, NOT TRUSTED AND NOT THROWN ON — the same defensive stance
- * `resolveDeferralTags` takes, and for a sharper reason here. A ceiling of
- * `NaN` fails every comparison, so `measured <= NaN` is false and an honestly-fast suite would read
- * `failing` with the blame on the suite rather than on the manifest. Throwing instead would turn one
- * bad character into a run that produces no verdict at all, which is loud nowhere; a dropped bar
- * leaves the obligation with no ceiling, which is loud on the ledger.
- *
- * WHAT IS DROPPED IS THE BAR, NEVER THE CHECK (@SCN-MUT-003). The key still names a pair the target
- * authored, and that naming is the whole of what makes a check MEASURED — a measured check has no
- * script handle, so this index's key set is the only place the tag is known at all. Dropping the
- * key with the value would take the obligation down with the bar: the stepless scenario carrying
- * that tag would raise nothing, and the only complaint left would come from the tag grammar, about
- * a check nobody wrote rather than about a bar nobody authored. So a value this cannot read is kept
- * as `null` — indistinguishable, to every reader downstream, from a pair the manifest never named,
- * which is the honest reading of both.
- *
- * A KEY THAT NAMES NO CHECK IS STILL DROPPED WHOLE. An empty tag names no pair, so there is no
- * check to hold measured and nothing to report a missing bar against.
- */
-export declare function thresholdsOf(entries: Readonly<Record<string, unknown>>): ThresholdIndex;
-/**
- * The BAR this scenario holds this check to, or `null` when there is none to read — the manifest
- * named no such pair, or it named the pair and authored no bar this could read (@SCN-MUT-003). The
- * two arrive here as one answer on purpose: a reader deciding what to do about a missing bar has
- * the same thing to say either way, and telling them apart would be an invitation to say something
- * different about one of them.
- *
- * `null` rather than a default, and the choice is the whole of @SCN-CIP-002. `Infinity` would put
- * every measurement under its bar and produce a green row for a check nobody set a bar for — the
- * watermelon this axis exists to refuse, manufactured by the engine. Zero would read as a ceiling
- * of zero, a far louder claim than "nobody set one", and would red a suite for taking any time at
- * all. The honest answer is that there is no rule, and the obligation carries that absence.
- */
-export declare function thresholdFor(index: ThresholdIndex, scnId: string, checkTag: string): ThresholdBar | null;
-/**
- * The bare check tags this index knows to be MEASURED — unique and sorted.
- *
- * The reason a measured check is visible to the obligation rule at all. A measured check has no
- * runnable script handle, so it is never discoverable by one; were the obligation-raising tag
- * set built from discovered handles alone, a stepless scenario
- * tagged with one would raise nothing and the axis would be silent rather than wrong. The two sets
- * are unioned at the edge that reads both.
- */
-export declare function measuredCheckTags(index: ThresholdIndex): string[];
-//# sourceMappingURL=thresholds.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"thresholds.d.ts","sourceRoot":"","sources":["../../src/domain/thresholds.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAmBH,MAAM,WAAW,YAAY;IAC3B,sDAAsD;IACtD,SAAS,EAAE,MAAM,CAAC;IAClB,mFAAmF;IACnF,OAAO,CAAC,EAAE,IAAI,CAAC;CAChB;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,GAAG,IAAI,CAAC,CAAC,CAAC;AAyB3F;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,YAAY,GAAG,IAAI,CAYzD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,cAAc,CAcvF;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,MAAM,GACf,YAAY,GAAG,IAAI,CAErB;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,EAAE,CAIjE"}

package/dist/domain/thresholds.js

@@ -1,185 +0,0 @@
-/**
- * THE THRESHOLD INDEX — what ceiling a MEASURED fitness check is held to on a given scenario.
- *
- * The debit-side twin of the (now-retired) check registry, and the input that makes the measured
- * axis possible at all:
- *
- *     @SCN + bare check tag  ──thresholds──▶  the ceiling
- *     SCN-CIP-001  ci-run-time                75
- *
- * WHY THE CEILING IS AUTHORED HERE AND NOT CARRIED BY THE RUN. A static check decides pass from
- * fail itself and the ledger reconciles what it decided; its threshold is binary and never written
- * down. A measured check produces a NUMBER, and if the run supplied both the number and the bar it
- * was judged against, the runner would be grading its own homework — the ledger would transcribe a
- * verdict rather than reconcile one. Double entry wants the two sides independently sourced, so the
- * ceiling is the obligation's and the measurement is only ever a number.
- *
- * KEYED BY @SCN, THEN BY CHECK, and both halves are load-bearing. Keyed by the tag alone it could
- * not express what canon asks of this axis — several checks of one characteristic are several
- * stepless scenarios sharing the tag, told apart by @SCN, with ceilings of their own. Flat under
- * the @SCN it would re-open on the debit side the non-uniqueness @SCN-LNT-012 closed on the credit
- * side: a stepless scenario may carry more than one bare check, so one @SCN can owe two measured
- * obligations, and one number under it would answer for both — whichever was read first silently
- * setting the other's bar.
- *
- * PURE AND INJECTED — the index arrives as data, read from the TARGET's own manifest at the app
- * edge (`specController.thresholds`). A ceiling means what the target says it means (@SCN-LNT-005);
- * resolved from spec-controller's own manifest it would answer for a repository the run never read.
- *
- * NOT A SECOND HOME FOR THE CORPUS. This says what a scenario's ceiling IS, never which scenarios
- * exist: the corpus stays the one place a fitness scenario is named, so a ceiling keyed against an
- * @SCN nobody wrote reaches no obligation, and an obligation whose ceiling nobody wrote reads loud
- * rather than unbounded (@SCN-CIP-002).
- */
-/**
- * A BAR a measurement is held to — the number, and the side of it that satisfies.
- *
- * The index's value is this rather than the number alone, because a number cannot carry a
- * comparison and "91.87" says nothing until somebody says which side of it passes. The direction is
- * half of the bar, so it is authored in the same manifest entry as the number and cannot disagree
- * with the number it qualifies.
- *
- * SPARSE, AND ABSENT MEANS AT-MOST (@SCN-MUT-001). A bare-number entry sets no comparison at all,
- * so the bar it produces holds exactly what it held before this direction existed — which is what
- * lets the two live `@ci-run-time` rows keep saying what they already say without a sweep somebody
- * has to get right. A `false` here would be the same sentence in a term every existing row would
- * have to grow.
- */
-import { bareTerm } from "../lib/bareTerm.js";
-/** A bar's number is finite and non-negative. Zero is legal — canon's binary fitness function. */
-function isCeiling(value) {
-    // A SURVIVING MUTANT LIVES ON THE FIRST CLAUSE, KEPT DELIBERATELY (3F-2237). Stryker replaces
-    // `typeof value === "number"` ALONE — the column range says so, not the line — leaving
-    // `Number.isFinite(value) && value >= 0`. `Number.isFinite` DOES NOT COERCE: per spec it returns
-    // `false` whenever its argument is not a Number, so it ENTAILS the clause before it and the
-    // result cannot move. Probed against 27 values (strings, booleans, `null`, `undefined`, bigint,
-    // arrays, boxed `new Number(5)`, a `valueOf` object, a `Symbol.toPrimitive` object, a `Proxy`, a
-    // `Date`, `-0`, `NaN`, both infinities): none separates the two, and neither clause has a side
-    // effect, so evaluation order is unobservable too.
-    //
-    // The ground is LANGUAGE SEMANTICS OVER `unknown`, not a type contract — which is why, unlike
-    // `locatorOf` and `fitnessCheckTagOf` (both killed by 3F-2879 / 3F-2898), there is no
-    // published-surface escape. `value` is already `unknown`, so a JavaScript consumer over the
-    // frozen barrel may hand in literally anything, and for every one of those things the two
-    // expressions agree.
-    //
-    // Kept because it is load-bearing for the compiler: delete it and `pnpm typecheck` reds with
-    // `TS18046: 'value' is of type 'unknown'` — both `value >= 0` and the `value is number`
-    // predicate rest on this narrowing.
-    return typeof value === "number" && Number.isFinite(value) && value >= 0;
-}
-/**
- * The bar a manifest entry authors, or `null` where it authors none this reads (@SCN-MUT-002).
- *
- * TWO FORMS, ONE OF WHICH NAMES ITS COMPARISON. A bare number is read at-most and carries nothing
- * else, so the entries already written that way keep saying what they say. An object names the
- * comparison with the KEY beside the number — `atLeast` or `atMost` — which is what makes an
- * entry in this form unwritable without a direction, and leaves no third value anybody has to
- * validate or that could come to mean something surprising. `atMost` is the explicit long form of
- * the bare number and is deliberately recognised though it adds nothing: a recognised set of one
- * is not a set, and it is the set an unrecognised entry is unrecognised AGAINST.
- *
- * A RECOGNISED KEY IS NOT A LICENCE FOR THE VALUE BESIDE IT. Both forms reach the same number
- * reading, so a floor of `NaN` is dropped exactly as a ceiling of `NaN` is — `measured >= NaN` is
- * false, and a bar nothing can clear reds an honest suite and blames the suite.
- *
- * EXPORTED BECAUSE A CONVERTED CHECK'S ROW NAMES ITS BAR IN THESE SAME TWO KEYS (@SCN-LNT-019), and
- * one bar grammar is the point: a second reader over `atLeast` / `atMost` would be a second opinion
- * about what a target wrote, and the first entry either read differently would be a silent one. The
- * row is handed in whole — the other terms beside the direction are none of this reader's business.
- */
-export function barOf(entry) {
-    if (isCeiling(entry))
-        return { threshold: entry };
-    if (typeof entry !== "object" || entry === null)
-        return null;
-    const named = entry;
-    const floor = "atLeast" in named;
-    // Neither key, or both at once — an entry naming no comparison this recognises, and no bar this
-    // can hold anything to (@SCN-MUT-003). Both at once is a contradiction rather than more
-    // information: whichever key were read first would silently settle it.
-    if (floor === "atMost" in named)
-        return null;
-    const number = floor ? named["atLeast"] : named["atMost"];
-    if (!isCeiling(number))
-        return null;
-    return floor ? { threshold: number, atLeast: true } : { threshold: number };
-}
-/**
- * Build an index from a manifest's `{ "<@SCN>": { "<check>": <bar> } }` entries.
- *
- * BOTH KEYS ARE STORED BARE. A manifest written by hand will sooner or later spell either the way
- * a feature file does (`@SCN-CIP-001`, `@ci-run-time`), and both lookups match bare — so the `@` is
- * stripped once here rather than at every call site, where one reader would eventually forget and
- * the miss would be silent.
- *
- * A MALFORMED BAR IS DROPPED, NOT TRUSTED AND NOT THROWN ON — the same defensive stance
- * `resolveDeferralTags` takes, and for a sharper reason here. A ceiling of
- * `NaN` fails every comparison, so `measured <= NaN` is false and an honestly-fast suite would read
- * `failing` with the blame on the suite rather than on the manifest. Throwing instead would turn one
- * bad character into a run that produces no verdict at all, which is loud nowhere; a dropped bar
- * leaves the obligation with no ceiling, which is loud on the ledger.
- *
- * WHAT IS DROPPED IS THE BAR, NEVER THE CHECK (@SCN-MUT-003). The key still names a pair the target
- * authored, and that naming is the whole of what makes a check MEASURED — a measured check has no
- * script handle, so this index's key set is the only place the tag is known at all. Dropping the
- * key with the value would take the obligation down with the bar: the stepless scenario carrying
- * that tag would raise nothing, and the only complaint left would come from the tag grammar, about
- * a check nobody wrote rather than about a bar nobody authored. So a value this cannot read is kept
- * as `null` — indistinguishable, to every reader downstream, from a pair the manifest never named,
- * which is the honest reading of both.
- *
- * A KEY THAT NAMES NO CHECK IS STILL DROPPED WHOLE. An empty tag names no pair, so there is no
- * check to hold measured and nothing to report a missing bar against.
- */
-export function thresholdsOf(entries) {
-    const index = new Map();
-    for (const [scnKey, checks] of Object.entries(entries)) {
-        const scnId = bareTerm(scnKey);
-        if (scnId === "" || typeof checks !== "object" || checks === null)
-            continue;
-        const bars = new Map();
-        for (const [checkKey, entry] of Object.entries(checks)) {
-            const checkTag = bareTerm(checkKey);
-            if (checkTag === "")
-                continue;
-            bars.set(checkTag, barOf(entry));
-        }
-        if (bars.size > 0)
-            index.set(scnId, bars);
-    }
-    return index;
-}
-/**
- * The BAR this scenario holds this check to, or `null` when there is none to read — the manifest
- * named no such pair, or it named the pair and authored no bar this could read (@SCN-MUT-003). The
- * two arrive here as one answer on purpose: a reader deciding what to do about a missing bar has
- * the same thing to say either way, and telling them apart would be an invitation to say something
- * different about one of them.
- *
- * `null` rather than a default, and the choice is the whole of @SCN-CIP-002. `Infinity` would put
- * every measurement under its bar and produce a green row for a check nobody set a bar for — the
- * watermelon this axis exists to refuse, manufactured by the engine. Zero would read as a ceiling
- * of zero, a far louder claim than "nobody set one", and would red a suite for taking any time at
- * all. The honest answer is that there is no rule, and the obligation carries that absence.
- */
-export function thresholdFor(index, scnId, checkTag) {
-    return index.get(scnId)?.get(checkTag) ?? null;
-}
-/**
- * The bare check tags this index knows to be MEASURED — unique and sorted.
- *
- * The reason a measured check is visible to the obligation rule at all. A measured check has no
- * runnable script handle, so it is never discoverable by one; were the obligation-raising tag
- * set built from discovered handles alone, a stepless scenario
- * tagged with one would raise nothing and the axis would be silent rather than wrong. The two sets
- * are unioned at the edge that reads both.
- */
-export function measuredCheckTags(index) {
-    const tags = new Set();
-    for (const bars of index.values())
-        for (const tag of bars.keys())
-            tags.add(tag);
-    return [...tags].sort();
-}
-//# sourceMappingURL=thresholds.js.map

package/dist/domain/thresholds.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"thresholds.js","sourceRoot":"","sources":["../../src/domain/thresholds.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAoB9C,kGAAkG;AAClG,SAAS,SAAS,CAAC,KAAc;IAC/B,8FAA8F;IAC9F,uFAAuF;IACvF,iGAAiG;IACjG,4FAA4F;IAC5F,gGAAgG;IAChG,iGAAiG;IACjG,+FAA+F;IAC/F,mDAAmD;IACnD,EAAE;IACF,8FAA8F;IAC9F,sFAAsF;IACtF,4FAA4F;IAC5F,0FAA0F;IAC1F,qBAAqB;IACrB,EAAE;IACF,6FAA6F;IAC7F,wFAAwF;IACxF,oCAAoC;IACpC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAC3E,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,KAAK,CAAC,KAAc;IAClC,IAAI,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC7D,MAAM,KAAK,GAAG,KAAgC,CAAC;IAC/C,MAAM,KAAK,GAAG,SAAS,IAAI,KAAK,CAAC;IACjC,gGAAgG;IAChG,wFAAwF;IACxF,uEAAuE;IACvE,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC1D,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC9E,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,UAAU,YAAY,CAAC,OAA0C;IACrE,MAAM,KAAK,GAAG,IAAI,GAAG,EAA4C,CAAC;IAClE,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,EAAE,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI;YAAE,SAAS;QAC5E,MAAM,IAAI,GAAG,IAAI,GAAG,EAA+B,CAAC;QACpD,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAiC,CAAC,EAAE,CAAC;YAClF,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACpC,IAAI,QAAQ,KAAK,EAAE;gBAAE,SAAS;YAC9B,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAqB,EACrB,KAAa,EACb,QAAgB;IAEhB,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC;AACjD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAqB;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE;QAAE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChF,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1B,CAAC"}

package/dist/parse/checkStaticEvidenceObligations.d.ts

@@ -1,32 +0,0 @@
-/**
- * The OBLIGATION-side static-check observer (the watermelon input).
- * Per runnable handle the corpus obliges it reports `{ staticCheck, exists, enforcedOverRealSource }`,
- * where `enforcedOverRealSource` means the static check's command appears as a CI `run:` step over the
- * real tree WHOSE RED IS THAT JOB'S VERDICT — so a named static check that exists but is not wired,
- * or is wired to a step the job survives, reconciles as the WATERMELON.
- *
- * WHERE ITS HANDLES COME FROM, SINCE IT IS NOT WHAT THIS DOCBLOCK USED TO SAY (3F-3083). They are
- * `corpus.checkHandles` — the check registry's inverse, narrowed to the checks the corpus actually
- * carries a scenario for (`parse/targetCorpus`). The `@lint=<handle>` rider that once fed this
- * reader went with the by-name route at 3F-2590 and raises no obligation at all now
- * (@SCN-LNT-007), so it is an input this function can no longer receive.
- *
- * One of the two static-check observers: this one reads the OBLIGATION side; the running-check
- * observer (`runningStaticChecks`) reads every static check CI runs. Both share the
- * watermelon-critical CI-parse primitive (`ciRunSteps` / `commandInvokesScript`) from
- * `checkScriptsRunInCI`, so the structural parse lives in ONE place — and since @SCN-LNT-032 both
- * read the same field off it, so the two cannot come to disagree about what enforcement is.
- *
- * Parent: @SCN-LNT-001 (the seam-bearing first sub-issue; satisfied path).
- */
-import type { GuardEvidenceObservation } from "../model.js";
-import { type PackageJsonScripts } from "./checkScriptsRunInCI.js";
-import type { ScriptCitation } from "./fitnessCitations.js";
-/**
- * Read each named static check's evidenceObservation from the CI config source + package.json:
- *   - `exists` — the static check is a `package.json` `scripts` entry.
- *   - `enforcedOverRealSource` — its command is a CI `run:` step over the real tree AND that step's
- *     red is its job's verdict.
- */
-export declare function checkStaticEvidenceObligations(guards: string[], ciSources: readonly string[], packageJson: PackageJsonScripts, citedScn?: (script: string) => ScriptCitation | null): GuardEvidenceObservation[];
-//# sourceMappingURL=checkStaticEvidenceObligations.d.ts.map

package/dist/parse/checkStaticEvidenceObligations.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"checkStaticEvidenceObligations.d.ts","sourceRoot":"","sources":["../../src/parse/checkStaticEvidenceObligations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,EAAoC,KAAK,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACrG,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D;;;;;GAKG;AACH,wBAAgB,8BAA8B,CAC5C,MAAM,EAAE,MAAM,EAAE,EAChB,SAAS,EAAE,SAAS,MAAM,EAAE,EAC5B,WAAW,EAAE,kBAAkB,EAuB/B,QAAQ,GAAE,CAAC,MAAM,EAAE,MAAM,KAAK,cAAc,GAAG,IAAiB,GAC/D,wBAAwB,EAAE,CA2B5B"}

package/dist/parse/checkStaticEvidenceObligations.js

@@ -1,78 +0,0 @@
-/**
- * The OBLIGATION-side static-check observer (the watermelon input).
- * Per runnable handle the corpus obliges it reports `{ staticCheck, exists, enforcedOverRealSource }`,
- * where `enforcedOverRealSource` means the static check's command appears as a CI `run:` step over the
- * real tree WHOSE RED IS THAT JOB'S VERDICT — so a named static check that exists but is not wired,
- * or is wired to a step the job survives, reconciles as the WATERMELON.
- *
- * WHERE ITS HANDLES COME FROM, SINCE IT IS NOT WHAT THIS DOCBLOCK USED TO SAY (3F-3083). They are
- * `corpus.checkHandles` — the check registry's inverse, narrowed to the checks the corpus actually
- * carries a scenario for (`parse/targetCorpus`). The `@lint=<handle>` rider that once fed this
- * reader went with the by-name route at 3F-2590 and raises no obligation at all now
- * (@SCN-LNT-007), so it is an input this function can no longer receive.
- *
- * One of the two static-check observers: this one reads the OBLIGATION side; the running-check
- * observer (`runningStaticChecks`) reads every static check CI runs. Both share the
- * watermelon-critical CI-parse primitive (`ciRunSteps` / `commandInvokesScript`) from
- * `checkScriptsRunInCI`, so the structural parse lives in ONE place — and since @SCN-LNT-032 both
- * read the same field off it, so the two cannot come to disagree about what enforcement is.
- *
- * Parent: @SCN-LNT-001 (the seam-bearing first sub-issue; satisfied path).
- */
-import { ciRunSteps, commandInvokesScript } from "./checkScriptsRunInCI.js";
-/**
- * Read each named static check's evidenceObservation from the CI config source + package.json:
- *   - `exists` — the static check is a `package.json` `scripts` entry.
- *   - `enforcedOverRealSource` — its command is a CI `run:` step over the real tree AND that step's
- *     red is its job's verdict.
- */
-export function checkStaticEvidenceObligations(guards, ciSources, packageJson, 
-// @SCN-LNT-002 (3F-2569) — THIS READER STAMPS THE CITATION TOO, and it is the only one that can
-// stamp it for the watermelon. The running-check observer emits what CI RUNS, so a check that
-// runs nowhere is exactly what its filter removes; the exists-but-unwired fact has always come
-// from this side, and under citation-routing it has to arrive here already carrying the `@SCN`.
-//
-// Without it a fitness obligation could not reconcile at all: its `staticCheck` is the BARE check
-// tag its stepless scenario carries (`planted-watermelon`) while this observation names the
-// runnable handle (`lint:planted-watermelon`), so the two can never meet by name and the
-// obligation reads `missing` — a check that exists and enforces nothing, reported as one nobody
-// wrote. The citation is what joins them (`qualityCheckReconciliation`, citation-first).
-//
-// BOTH TERMS, not just the @SCN — the same widening, and the same reason, as the running-check
-// observer's. The bare check tag is what an Evidence Obligation NAMES, so it is what the
-// reconciler compares against; without it a row carrying two bare check tags hands the first
-// credit it finds to both of its fitness obligations (@SCN-LNT-012).
-//
-// Trailing, optional, and defaulting to citing NOTHING — so a target that has registered nothing
-// observes exactly what it observed before. There is no name-match left to fall back to: an
-// uncited credit posts to suspense and answers no obligation (3F-2590 removed the posting arm;
-// 3F-2625 the by-handle half in `domain/qualityCheckReconciliation`). The same shape and the same
-// reasoning as `runningStaticChecks`' parameter: what a reader needs is one answer per handle,
-// never a registry's shape.
-citedScn = () => null) {
-    const scripts = packageJson.scripts ?? {};
-    // THE STEPS, NOT THEIR COMMANDS (@SCN-LNT-032). `ciRunCommands` is this walk's projection, so
-    // reading the steps is the SAME parse rather than a second one — and `abortsJob` is the field the
-    // projection discarded. It has been read off both carriers of the severance correctly since
-    // 3F-3042 and reached no published consumer until now, which is how this reader came to certify
-    // as satisfied a check whose red its target's job swallows.
-    const runSteps = ciRunSteps(ciSources);
-    return guards.map((guard) => {
-        const citation = citedScn(guard);
-        return {
-            qualityCheck: "lint",
-            staticCheck: guard,
-            exists: Object.prototype.hasOwnProperty.call(scripts, guard),
-            // ANY step that both invokes the check and aborts its job on a red — `some`, not `every`,
-            // because a check a second step runs unsevered IS one the job's verdict depends on. The same
-            // rule in the same shape as `runningStaticChecks`', deliberately: two observers answering one
-            // question differently is the disagreement this shared primitive exists to foreclose.
-            enforcedOverRealSource: runSteps.some((step) => commandInvokesScript(step.command, guard) && step.abortsJob),
-            // Spread rather than two `?? undefined` assignments, so an observation that cites nothing
-            // carries neither key and its JSON stays byte-identical. Both terms or neither — the seam
-            // resolves them together, and a half-citation would be a shape no reader knows how to read.
-            ...(citation !== null ? { scnId: citation.scnId, checkTag: citation.checkTag } : {}),
-        };
-    });
-}
-//# sourceMappingURL=checkStaticEvidenceObligations.js.map

package/dist/parse/checkStaticEvidenceObligations.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"checkStaticEvidenceObligations.js","sourceRoot":"","sources":["../../src/parse/checkStaticEvidenceObligations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAA2B,MAAM,0BAA0B,CAAC;AAGrG;;;;;GAKG;AACH,MAAM,UAAU,8BAA8B,CAC5C,MAAgB,EAChB,SAA4B,EAC5B,WAA+B;AAC/B,gGAAgG;AAChG,8FAA8F;AAC9F,+FAA+F;AAC/F,gGAAgG;AAChG,EAAE;AACF,kGAAkG;AAClG,4FAA4F;AAC5F,yFAAyF;AACzF,gGAAgG;AAChG,yFAAyF;AACzF,EAAE;AACF,+FAA+F;AAC/F,yFAAyF;AACzF,6FAA6F;AAC7F,qEAAqE;AACrE,EAAE;AACF,iGAAiG;AACjG,4FAA4F;AAC5F,+FAA+F;AAC/F,kGAAkG;AAClG,+FAA+F;AAC/F,4BAA4B;AAC5B,WAAsD,GAAG,EAAE,CAAC,IAAI;IAEhE,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC;IAC1C,8FAA8F;IAC9F,kGAAkG;IAClG,4FAA4F;IAC5F,gGAAgG;IAChG,4DAA4D;IAC5D,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;IACvC,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC1B,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QACjC,OAAO;YACL,YAAY,EAAE,MAAe;YAC7B,WAAW,EAAE,KAAK;YAClB,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC;YAC5D,0FAA0F;YAC1F,6FAA6F;YAC7F,8FAA8F;YAC9F,sFAAsF;YACtF,sBAAsB,EAAE,QAAQ,CAAC,IAAI,CACnC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,SAAS,CACtE;YACD,0FAA0F;YAC1F,0FAA0F;YAC1F,4FAA4F;YAC5F,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACrF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}