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

package/dist/parse/reconcilerSteps.d.ts

@@ -1,53 +1,7 @@
-/**
- * THE RECONCILER'S OWN STEPS (@SCN-USG-014, 3F-3343) — which steps of a target's pipeline are this
- * reconciliation rather than something it reconciles, and how the report says so.
- *
- * THE SECOND EXCLUSION, AND THE ONLY ONE NOBODY CONFIGURES. A behavioural runner is excluded by a
- * rule over what the target named and a non-check by the consumer's own list; this one is excluded
- * BY CONSTRUCTION, because the run that computes the books cannot be a row in them. The
- * distinction is not a nicety: a `notChecks` pair produces the identical report over the identical
- * pipeline, and the two answers part company only at the consumer who has written nothing — whose
- * very first run would otherwise report their own reconciler as an uncited fitness check, and go
- * on doing so until they learned to configure it away.
- *
- * A CITATION ON EITHER IS UNSATISFIABLE, WHICH IS WHAT MAKES IT CONSTRUCTION RATHER THAN JUDGEMENT.
- * The step record is written BEFORE the reconciliation reads it — necessarily, since that record
- * is its input — so no run's record can ever carry the reconciling step's own outcome, and no
- * scenario can ever be shown to have been answered by it. A demand nothing could satisfy is not a
- * check somebody failed to cite. It is not a check.
- *
- * TWO HALVES, RECOGNISED TWO WAYS, AND NEITHER IS A LIST OF NAMES.
- *
- *   - THE RUN: a step whose command runs this tool's own reconciling invocation, compared as whole
- *     adjacent shell tokens and followed through the manifest scripts a step invokes — the runner
- *     rule's own comparison (`parse/commandRuns`), because a pipeline invokes a binary through a
- *     script alias far more often than it writes its name. ADJACENT is what keeps the same binary
- *     run for another purpose a candidate: this repository's own pipeline runs `spec-controller
- *     tags` beside its balance step, and that is an ordinary step of the pipeline being reconciled.
- *   - THE RECORD: a step carrying GitHub's own step-record expression, which is the only way that
- *     record can be produced. Read off the step's `env:` and its command, wherever the consumer
- *     wrote it, and not off its title — a step called `Dump this run's step record` that produces
- *     no record is an ordinary step, and one called anything at all that produces the record is
- *     the dump.
- *
- * THE INVOCATION IS INJECTED, NEVER ASSUMED. How this product is invoked at a consumer's command
- * line is a fact the application edge holds (`ingest/ingestQualityChecks.ts`), like the script
- * prefixes and the workflow names beside it; the core is handed it as data. A run told no
- * invocation recognises no reconciling step, which is the safe direction — a candidate too many,
- * visible on the report, rather than a step taken off the books by a rule nobody supplied.
- *
- * THE ACCOUNT AND THE SEAM COME OFF ONE RULE. `isReconciler` re-asks the same question of a single
- * step rather than consulting the list this module built, so the account the report prints and the
- * steps discovery skipped cannot come to disagree — a step named on the report as the reconciler
- * while its check sits on the books is a report that contradicts itself in one page.
- */
 import { type CiWorkflowStep } from "./checkScriptsRunInCI.js";
 import type { ReconcilerStep } from "../domain/evidenceReconciliation.js";
-/** What a run's pipeline yielded of the reconciler — the account, and the one answer per step. */
 export interface ReconcilerSteps {
-    /** The steps that are the reconciler, in the order the pipeline runs them. */
     readonly steps: readonly ReconcilerStep[];
-    /** Whether this step is the reconciler rather than a step of the pipeline it reconciles. */
     readonly isReconciler: (step: CiWorkflowStep) => boolean;
 }
 export declare function reconcilerSteps(ciSources: readonly string[], ciSourceNames: readonly string[], invocation: string, packageJson: {

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

@@ -1 +1 @@
-{"version":3,"file":"reconcilerSteps.d.ts","sourceRoot":"","sources":["../../src/parse/reconcilerSteps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,EAAmB,KAAK,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAGhF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAE1E,kGAAkG;AAClG,MAAM,WAAW,eAAe;IAC9B,8EAA8E;IAC9E,QAAQ,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAC;IAC1C,4FAA4F;IAC5F,QAAQ,CAAC,YAAY,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,OAAO,CAAC;CAC1D;AAiCD,wBAAgB,eAAe,CAC7B,SAAS,EAAE,SAAS,MAAM,EAAE,EAC5B,aAAa,EAAE,SAAS,MAAM,EAAE,EAChC,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE;IAAE,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAChD,eAAe,CAiBjB"}
+{"version":3,"file":"reconcilerSteps.d.ts","sourceRoot":"","sources":["../../src/parse/reconcilerSteps.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,KAAK,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAGhF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAE1E,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,OAAO,CAAC;CAC1D;AAoBD,wBAAgB,eAAe,CAC7B,SAAS,EAAE,SAAS,MAAM,EAAE,EAC5B,aAAa,EAAE,SAAS,MAAM,EAAE,EAChC,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE;IAAE,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAChD,eAAe,CAWjB"}

package/dist/parse/reconcilerSteps.js

@@ -1,67 +1,11 @@
-/**
- * THE RECONCILER'S OWN STEPS (@SCN-USG-014, 3F-3343) — which steps of a target's pipeline are this
- * reconciliation rather than something it reconciles, and how the report says so.
- *
- * THE SECOND EXCLUSION, AND THE ONLY ONE NOBODY CONFIGURES. A behavioural runner is excluded by a
- * rule over what the target named and a non-check by the consumer's own list; this one is excluded
- * BY CONSTRUCTION, because the run that computes the books cannot be a row in them. The
- * distinction is not a nicety: a `notChecks` pair produces the identical report over the identical
- * pipeline, and the two answers part company only at the consumer who has written nothing — whose
- * very first run would otherwise report their own reconciler as an uncited fitness check, and go
- * on doing so until they learned to configure it away.
- *
- * A CITATION ON EITHER IS UNSATISFIABLE, WHICH IS WHAT MAKES IT CONSTRUCTION RATHER THAN JUDGEMENT.
- * The step record is written BEFORE the reconciliation reads it — necessarily, since that record
- * is its input — so no run's record can ever carry the reconciling step's own outcome, and no
- * scenario can ever be shown to have been answered by it. A demand nothing could satisfy is not a
- * check somebody failed to cite. It is not a check.
- *
- * TWO HALVES, RECOGNISED TWO WAYS, AND NEITHER IS A LIST OF NAMES.
- *
- *   - THE RUN: a step whose command runs this tool's own reconciling invocation, compared as whole
- *     adjacent shell tokens and followed through the manifest scripts a step invokes — the runner
- *     rule's own comparison (`parse/commandRuns`), because a pipeline invokes a binary through a
- *     script alias far more often than it writes its name. ADJACENT is what keeps the same binary
- *     run for another purpose a candidate: this repository's own pipeline runs `spec-controller
- *     tags` beside its balance step, and that is an ordinary step of the pipeline being reconciled.
- *   - THE RECORD: a step carrying GitHub's own step-record expression, which is the only way that
- *     record can be produced. Read off the step's `env:` and its command, wherever the consumer
- *     wrote it, and not off its title — a step called `Dump this run's step record` that produces
- *     no record is an ordinary step, and one called anything at all that produces the record is
- *     the dump.
- *
- * THE INVOCATION IS INJECTED, NEVER ASSUMED. How this product is invoked at a consumer's command
- * line is a fact the application edge holds (`ingest/ingestQualityChecks.ts`), like the script
- * prefixes and the workflow names beside it; the core is handed it as data. A run told no
- * invocation recognises no reconciling step, which is the safe direction — a candidate too many,
- * visible on the report, rather than a step taken off the books by a rule nobody supplied.
- *
- * THE ACCOUNT AND THE SEAM COME OFF ONE RULE. `isReconciler` re-asks the same question of a single
- * step rather than consulting the list this module built, so the account the report prints and the
- * steps discovery skipped cannot come to disagree — a step named on the report as the reconciler
- * while its check sits on the books is a report that contradicts itself in one page.
- */
 import { ciWorkflowSteps } from "./checkScriptsRunInCI.js";
 import { commandRuns } from "./commandRuns.js";
 import { qualifiedStepName } from "./stepNames.js";
-/**
- * GitHub'S OWN EXPRESSION FOR THE RUN'S STEP RECORD, whitespace-stripped and lowercased to compare
- * against — its function names are case-insensitive and its expressions tolerate spacing, so
- * `${{ toJSON(steps) }}` and `${{tojson(steps)}}` are one expression and get one answer.
- */
 const STEP_RECORD_EXPRESSION = "tojson(steps)";
-/** Does this step produce the run's own step record — the input the reconciliation reads? */
 function producesTheStepRecord(step) {
-    return [...step.env, ...("runs" in step ? [step.runs] : [])].some((written) => written.replace(/\s+/g, "").toLowerCase().includes(STEP_RECORD_EXPRESSION));
+    const written = "runs" in step ? [...step.env, step.runs] : step.env;
+    return written.some((text) => text.replace(/\s/g, "").toLowerCase().includes(STEP_RECORD_EXPRESSION));
 }
-/**
- * Which half of the reconciler this step is, or nothing at all.
- *
- * THE RUN IS ASKED FIRST, so a step that both reconciles and dumps is named as the reconciliation
- * rather than as its input. Either way it is off the books; what the order settles is only which
- * of the two sentences the report prints, and the stronger fact about such a step is that it runs
- * the reconciliation.
- */
 function roleOf(step, invocation, scripts) {
     if ("runs" in step && commandRuns(step.runs, invocation, scripts))
         return "reconciles";
@@ -70,14 +14,8 @@ function roleOf(step, invocation, scripts) {
 export function reconcilerSteps(ciSources, ciSourceNames, invocation, packageJson) {
     const scripts = packageJson.scripts ?? {};
     return {
-        // THE WALK, of which every other reader on this axis takes its own projection (3F-3352) — the
-        // same parse, so the step this account names is the step discovery skipped.
         steps: ciWorkflowSteps(ciSources).flatMap((step) => {
             const role = roleOf(step, invocation, scripts);
-            // NAMED BY ITS IDENTITY WHERE ITS SOURCE HAS NO NAME. The recognition never depended on the
-            // name — a citation on this step is unsatisfiable whatever file it lives in — so a run given
-            // no name for a source must not go quiet about a step it set aside. It says which step, in
-            // the string GitHub itself displays, and only the qualification is missing.
             return role === undefined
                 ? []
                 : [{ step: qualifiedStepName(step, ciSourceNames) ?? step.identity, role }];

package/dist/parse/reconcilerSteps.js.map

@@ -1 +1 @@
-{"version":3,"file":"reconcilerSteps.js","sourceRoot":"","sources":["../../src/parse/reconcilerSteps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,EAAE,eAAe,EAAuB,MAAM,0BAA0B,CAAC;AAChF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAWnD;;;;GAIG;AACH,MAAM,sBAAsB,GAAG,eAAe,CAAC;AAE/C,6FAA6F;AAC7F,SAAS,qBAAqB,CAAC,IAAoB;IACjD,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAC5E,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAC3E,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,MAAM,CACb,IAAoB,EACpB,UAAkB,EAClB,OAAyC;IAEzC,IAAI,MAAM,IAAI,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC;QAAE,OAAO,YAAY,CAAC;IACvF,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,SAA4B,EAC5B,aAAgC,EAChC,UAAkB,EAClB,WAAiD;IAEjD,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC;IAC1C,OAAO;QACL,8FAA8F;QAC9F,4EAA4E;QAC5E,KAAK,EAAE,eAAe,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;YAC/C,4FAA4F;YAC5F,6FAA6F;YAC7F,2FAA2F;YAC3F,4EAA4E;YAC5E,OAAO,IAAI,KAAK,SAAS;gBACvB,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAChF,CAAC,CAAC;QACF,YAAY,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,KAAK,SAAS;KACxE,CAAC;AACJ,CAAC"}
+{"version":3,"file":"reconcilerSteps.js","sourceRoot":"","sources":["../../src/parse/reconcilerSteps.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAuB,MAAM,0BAA0B,CAAC;AAChF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAQnD,MAAM,sBAAsB,GAAG,eAAe,CAAC;AAE/C,SAAS,qBAAqB,CAAC,IAAoB;IACjD,MAAM,OAAO,GAAG,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;IACrE,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3B,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CACvE,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CACb,IAAoB,EACpB,UAAkB,EAClB,OAAyC;IAEzC,IAAI,MAAM,IAAI,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC;QAAE,OAAO,YAAY,CAAC;IACvF,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,SAA4B,EAC5B,aAAgC,EAChC,UAAkB,EAClB,WAAiD;IAEjD,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC;IAC1C,OAAO;QACL,KAAK,EAAE,eAAe,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;YAC/C,OAAO,IAAI,KAAK,SAAS;gBACvB,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAChF,CAAC,CAAC;QACF,YAAY,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,KAAK,SAAS;KACxE,CAAC;AACJ,CAAC"}

package/dist/parse/runningFitnessFunctions.d.ts

@@ -0,0 +1,9 @@
+import type { FitnessEvidenceObservation } from "../model.js";
+import { type CiWorkflowStep, type PackageJsonScripts } from "./checkScriptsRunInCI.js";
+import type { BehaviouralRunner } from "../domain/evidenceReconciliation.js";
+import type { ScriptCitation } from "./fitnessCitations.js";
+export declare function isCandidateStep(step: CiWorkflowStep, packageJson: PackageJsonScripts, runners: Readonly<Record<string, string | null>>, isExcludedFromDiscovery: (step: CiWorkflowStep) => boolean): boolean;
+export declare function runsNamedRunner(step: CiWorkflowStep, packageJson: PackageJsonScripts, runners: Readonly<Record<string, string | null>>): boolean;
+export declare function runningFitnessFunctions(ciSources: readonly string[], packageJson: PackageJsonScripts, runners: Readonly<Record<string, string | null>>, citedScn?: (script: string, citedByStep?: string) => ScriptCitation | null, isExcludedFromDiscovery?: (step: CiWorkflowStep) => boolean): FitnessEvidenceObservation[];
+export declare function recognisedRunners(ciSources: readonly string[], packageJson: PackageJsonScripts, runners: Readonly<Record<string, string | null>>): BehaviouralRunner[];
+//# sourceMappingURL=runningFitnessFunctions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runningFitnessFunctions.d.ts","sourceRoot":"","sources":["../../src/parse/runningFitnessFunctions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAC;AAE9D,OAAO,EAGL,KAAK,cAAc,EACnB,KAAK,kBAAkB,EACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AAC7E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAkC5D,wBAAgB,eAAe,CAC7B,IAAI,EAAE,cAAc,EACpB,WAAW,EAAE,kBAAkB,EAC/B,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,EAChD,uBAAuB,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,OAAO,GACzD,OAAO,CAET;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,cAAc,EACpB,WAAW,EAAE,kBAAkB,EAC/B,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,GAC/C,OAAO,CAET;AAED,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,SAAS,MAAM,EAAE,EAC5B,WAAW,EAAE,kBAAkB,EAC/B,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,EAChD,QAAQ,GAAE,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,MAAM,KAAK,cAAc,GAAG,IAAiB,EACtF,uBAAuB,GAAE,CAAC,IAAI,EAAE,cAAc,KAAK,OAAqB,GACvE,0BAA0B,EAAE,CAoB9B;AAED,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,SAAS,MAAM,EAAE,EAC5B,WAAW,EAAE,kBAAkB,EAC/B,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,GAC/C,iBAAiB,EAAE,CASrB"}

package/dist/parse/runningFitnessFunctions.js

@@ -0,0 +1,57 @@
+import { commandRuns } from "./commandRuns.js";
+import { ciWorkflowSteps, commandInvokesScript, } from "./checkScriptsRunInCI.js";
+const UP_TO_LAST_PIPE = /^.*(?<!\|)\|(?!\|)/;
+function finalStages(command) {
+    return command
+        .replace(/\\\r?\n/g, " ")
+        .split(/\r?\n/)
+        .map((line) => line.replace(UP_TO_LAST_PIPE, ""))
+        .join("\n");
+}
+function namedRunnersAt(step, scripts, runners) {
+    if (!("runs" in step))
+        return [];
+    const command = finalStages(step.runs);
+    const unpiped = Object.fromEntries(Object.entries(scripts).map(([name, body]) => [name, finalStages(body)]));
+    return Object.entries(runners).filter((entry) => entry[1] !== null && commandRuns(command, entry[1], unpiped));
+}
+function handleOf(step, scripts) {
+    if (!("runs" in step))
+        return step.identity;
+    const invoked = Object.keys(scripts).filter((name) => commandInvokesScript(step.runs, name));
+    return invoked[0] ?? step.identity;
+}
+export function isCandidateStep(step, packageJson, runners, isExcludedFromDiscovery) {
+    return !isExcludedFromDiscovery(step) && !runsNamedRunner(step, packageJson, runners);
+}
+export function runsNamedRunner(step, packageJson, runners) {
+    return namedRunnersAt(step, packageJson.scripts ?? {}, runners).length > 0;
+}
+export function runningFitnessFunctions(ciSources, packageJson, runners, citedScn = () => null, isExcludedFromDiscovery = () => false) {
+    const scripts = packageJson.scripts ?? {};
+    const candidates = ciWorkflowSteps(ciSources).filter((step) => isCandidateStep(step, packageJson, runners, isExcludedFromDiscovery));
+    return candidates
+        .map((step) => {
+        const fitnessFunction = handleOf(step, scripts);
+        const citation = citedScn(fitnessFunction, step.id);
+        return {
+            qualityCheck: "fitness",
+            fitnessFunction,
+            exists: true,
+            enforcedOverRealSource: step.abortsJob,
+            ...(citation !== null
+                ? { scnId: step.id ?? citation.scnId }
+                : {}),
+        };
+    })
+        .sort((a, b) => a.fitnessFunction.localeCompare(b.fitnessFunction));
+}
+export function recognisedRunners(ciSources, packageJson, runners) {
+    const scripts = packageJson.scripts ?? {};
+    return ciWorkflowSteps(ciSources).flatMap((step) => namedRunnersAt(step, scripts, runners).map(([tier, runner]) => ({
+        tier,
+        runner,
+        step: step.identity,
+    })));
+}
+//# sourceMappingURL=runningFitnessFunctions.js.map

package/dist/parse/runningFitnessFunctions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runningFitnessFunctions.js","sourceRoot":"","sources":["../../src/parse/runningFitnessFunctions.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EACL,eAAe,EACf,oBAAoB,GAGrB,MAAM,0BAA0B,CAAC;AAIlC,MAAM,eAAe,GAAG,oBAAoB,CAAC;AAE7C,SAAS,WAAW,CAAC,OAAe;IAClC,OAAO,OAAO;SACX,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC;SACxB,KAAK,CAAC,OAAO,CAAC;SACd,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;SAChD,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CACrB,IAAoB,EACpB,OAAyC,EACzC,OAAgD;IAEhD,IAAI,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAChC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CACzE,CAAC;IACF,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,CACnC,CAAC,KAAK,EAA6B,EAAE,CACnC,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAC/D,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,IAAoB,EAAE,OAAyC;IAC/E,IAAI,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,QAAQ,CAAC;IAC5C,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC7F,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,IAAoB,EACpB,WAA+B,EAC/B,OAAgD,EAChD,uBAA0D;IAE1D,OAAO,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;AACxF,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,IAAoB,EACpB,WAA+B,EAC/B,OAAgD;IAEhD,OAAO,cAAc,CAAC,IAAI,EAAE,WAAW,CAAC,OAAO,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,SAA4B,EAC5B,WAA+B,EAC/B,OAAgD,EAChD,WAA4E,GAAG,EAAE,CAAC,IAAI,EACtF,0BAA6D,GAAG,EAAE,CAAC,KAAK;IAExE,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC;IAC1C,MAAM,UAAU,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAC5D,eAAe,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,uBAAuB,CAAC,CACrE,CAAC;IACF,OAAO,UAAU;SACd,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,QAAQ,CAAC,eAAe,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QACpD,OAAO;YACL,YAAY,EAAE,SAAkB;YAChC,eAAe;YACf,MAAM,EAAE,IAAI;YACZ,sBAAsB,EAAE,IAAI,CAAC,SAAS;YACtC,GAAG,CAAC,QAAQ,KAAK,IAAI;gBACnB,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,QAAQ,CAAC,KAAK,EAAE;gBACtC,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;IACJ,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,SAA4B,EAC5B,WAA+B,EAC/B,OAAgD;IAEhD,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,IAAI,EAAE,CAAC;IAC1C,OAAO,eAAe,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CACjD,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9D,IAAI;QACJ,MAAM;QACN,IAAI,EAAE,IAAI,CAAC,QAAQ;KACpB,CAAC,CAAC,CACJ,CAAC;AACJ,CAAC"}

package/dist/parse/scenarioCodeErrors.d.ts

@@ -0,0 +1,11 @@
+import type { ScenarioCodeError, ScenarioCodePopulation } from "../domain/scenarioCodeError.js";
+export interface CorpusFile {
+    slug: string;
+    featureCode: string | null;
+    source: string;
+}
+export declare function duplicateFeatureCodes(features: readonly CorpusFile[]): ScenarioCodeError[];
+export declare function foreignScenarioCodes(features: readonly CorpusFile[]): ScenarioCodeError[];
+export declare function scenarioCodePopulationOf(features: readonly CorpusFile[]): ScenarioCodePopulation;
+export declare function scenarioCodeErrorsOf(features: readonly CorpusFile[]): ScenarioCodeError[];
+//# sourceMappingURL=scenarioCodeErrors.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"scenarioCodeErrors.d.ts","sourceRoot":"","sources":["../../src/parse/scenarioCodeErrors.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAIhG,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,GAAG,iBAAiB,EAAE,CAW1F;AA6BD,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,GAAG,iBAAiB,EAAE,CAoBzF;AAYD,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,GAAG,sBAAsB,CAEhG;AAED,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,GAAG,iBAAiB,EAAE,CAMzF"}

package/dist/parse/scenarioCodeErrors.js

@@ -0,0 +1,78 @@
+import { featureCodeOf } from "../domain/featureCode.js";
+import { parseTaggedScenarios } from "./scenarios.js";
+import { CORE_MESSAGES, CoreMessage } from "../domain/messages.js";
+export function duplicateFeatureCodes(features) {
+    const faults = [];
+    for (const [code, files] of headerFilesByCode(features)) {
+        if (files.length < 2)
+            continue;
+        faults.push({
+            kind: "duplicate-feature-code",
+            files,
+            message: CORE_MESSAGES[CoreMessage.DuplicateFeatureCode](code, files.length, files.join(", ")),
+        });
+    }
+    return faults;
+}
+function headerFilesByCode(features) {
+    const filesByCode = new Map();
+    for (const file of features) {
+        if (file.featureCode === null)
+            continue;
+        filesByCode.set(file.featureCode, [...(filesByCode.get(file.featureCode) ?? []), `${file.slug}.feature`]);
+    }
+    return filesByCode;
+}
+function foreignMessage(file, scnId, named, carriers) {
+    const fileName = `${file.slug}.feature`;
+    if (carriers.length === 1) {
+        return CORE_MESSAGES[CoreMessage.ForeignScnCodeOneCarrier](fileName, file.featureCode, scnId, named, carriers[0]);
+    }
+    if (carriers.length > 1) {
+        return CORE_MESSAGES[CoreMessage.ForeignScnCodeManyCarriers](fileName, file.featureCode, scnId, named, carriers.length, carriers.join(", "));
+    }
+    return CORE_MESSAGES[CoreMessage.ForeignScnCodeNoCarrier](fileName, file.featureCode, scnId, named);
+}
+export function foreignScenarioCodes(features) {
+    const carriersByCode = headerFilesByCode(features);
+    const faults = [];
+    for (const file of features) {
+        if (file.featureCode === null)
+            continue;
+        const coded = { ...file, featureCode: file.featureCode };
+        for (const scenario of parseTaggedScenarios(file.source)) {
+            const named = featureCodeOf(scenario.scnId);
+            if (named === null || named === file.featureCode)
+                continue;
+            const carriers = carriersByCode.get(named) ?? [];
+            faults.push({
+                kind: "foreign-scn-code",
+                files: [`${file.slug}.feature`],
+                namedFeatureCode: named,
+                namedFeatureFiles: carriers,
+                message: foreignMessage(coded, scenario.scnId, named, carriers),
+            });
+        }
+    }
+    return faults;
+}
+function noFeatureCodeFiles(features) {
+    return features
+        .filter((file) => file.featureCode === null && parseTaggedScenarios(file.source).length > 0)
+        .map((file) => ({
+        kind: "no-feature-code",
+        files: [`${file.slug}.feature`],
+        message: CORE_MESSAGES[CoreMessage.NoFeatureCode](`${file.slug}.feature`),
+    }));
+}
+export function scenarioCodePopulationOf(features) {
+    return { featureFiles: features.length, featureCodes: headerFilesByCode(features).size };
+}
+export function scenarioCodeErrorsOf(features) {
+    return [
+        ...duplicateFeatureCodes(features),
+        ...foreignScenarioCodes(features),
+        ...noFeatureCodeFiles(features),
+    ];
+}
+//# sourceMappingURL=scenarioCodeErrors.js.map

package/dist/parse/scenarioCodeErrors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scenarioCodeErrors.js","sourceRoot":"","sources":["../../src/parse/scenarioCodeErrors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAEzD,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAQnE,MAAM,UAAU,qBAAqB,CAAC,QAA+B;IACnE,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC/B,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,wBAAwB;YAC9B,KAAK;YACL,OAAO,EAAE,aAAa,CAAC,WAAW,CAAC,oBAAoB,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAC/F,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CAAC,QAA+B;IACxD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI;YAAE,SAAS;QACxC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC;IAC5G,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,cAAc,CAAC,IAA0C,EAAE,KAAa,EAAE,KAAa,EAAE,QAA2B;IAC3H,MAAM,QAAQ,GAAG,GAAG,IAAI,CAAC,IAAI,UAAU,CAAC;IACxC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,aAAa,CAAC,WAAW,CAAC,wBAAwB,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;IACrH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,aAAa,CAAC,WAAW,CAAC,0BAA0B,CAAC,CAC1D,QAAQ,EACR,IAAI,CAAC,WAAW,EAChB,KAAK,EACL,KAAK,EACL,QAAQ,CAAC,MAAM,EACf,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CACpB,CAAC;IACJ,CAAC;IACD,OAAO,aAAa,CAAC,WAAW,CAAC,uBAAuB,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AACtG,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,QAA+B;IAClE,MAAM,cAAc,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACnD,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI;YAAE,SAAS;QACxC,MAAM,KAAK,GAAG,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;QACzD,KAAK,MAAM,QAAQ,IAAI,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACzD,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC5C,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,WAAW;gBAAE,SAAS;YAC3D,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACjD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,kBAAkB;gBACxB,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,UAAU,CAAC;gBAC/B,gBAAgB,EAAE,KAAK;gBACvB,iBAAiB,EAAE,QAAQ;gBAC3B,OAAO,EAAE,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC;aAChE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CAAC,QAA+B;IACzD,OAAO,QAAQ;SACZ,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,KAAK,IAAI,IAAI,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;SAC3F,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACd,IAAI,EAAE,iBAA0B;QAChC,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,UAAU,CAAC;QAC/B,OAAO,EAAE,aAAa,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,UAAU,CAAC;KAC1E,CAAC,CAAC,CAAC;AACR,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,QAA+B;IACtE,OAAO,EAAE,YAAY,EAAE,QAAQ,CAAC,MAAM,EAAE,YAAY,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,QAA+B;IAClE,OAAO;QACL,GAAG,qBAAqB,CAAC,QAAQ,CAAC;QAClC,GAAG,oBAAoB,CAAC,QAAQ,CAAC;QACjC,GAAG,kBAAkB,CAAC,QAAQ,CAAC;KAChC,CAAC;AACJ,CAAC"}

package/dist/parse/scenarios.d.ts

@@ -1,239 +1,14 @@
-/**
- * The SCENARIO reader — parse spec-controller's own `features/**\/*.feature` source
- * into evidence obligations: per scenario, `{ scnId, evidenceObligations }`, with
- * each (kind, level) drawn from the scenario's evidence tags (@unit → runtime/unit,
- * @integration → runtime/integration, @e2e → runtime/e2e, @performance →
- * runtime/performance — the evidence-obligation reading).
- *
- * One of the three separated inputs to the reconciler (obligations / observations /
- * static checks) — the embryonic obligation-side adapter, deliberately not a registry (v1).
- *
- * Approach: scan TAG LINES (a line whose first non-blank char is `@` and whose
- * every whitespace-separated token is a tag) for an @SCN-<FFF>-<NNN> id and any
- * co-located evidence-level tags. A scenario's @SCN id and its level tags sit on
- * the same accumulated tag block immediately above the Scenario keyword, so a tag
- * line carrying an @SCN id contributes that scenario's evidenceObligations from the level
- * tags found across the contiguous tag block.
- *
- * The `lint` quality-check is raised by a scenario's REGISTERED bare check tag, STEPS OR NONE
- * (`fitnessObligationsOf`, @SCN-LNT-006): the tag says which axis a scenario is on and the steps say
- * nothing about it (3F-3115). The retired `@lint=<guard>` form — where the scenario
- * named a runnable npm script and the run was matched back to it BY NAME — raises nothing
- * (@SCN-LNT-007): it supplies no citation, so anything it raised could never be credited under
- * the one posting rule and would read `missing` for ever. The form is inert in the READER, which
- * is what makes it retired rather than merely unused.
- *
- * Parent: @SCN-LDG-001.
- */
 import type { Scenario, QualityCheck } from "../model.js";
-import type { FitnessCheckIndex, UnspecifiedFitnessRow } from "../domain/fitnessChecks.js";
-/**
- * Recognise a `<quality-check>pending` tag (evidence-manifesto §11B) — return its deferred
- * quality-check, or `null` when the bare tag is not one of the five recognised `<qc>pending`
- * (a bare tier tag, an unknown `<x>pending`, or bare `pending`). The pure per-tag helper
- * `parseScenarios` uses to derive a pending obligation.
- */
+export declare const SCN_CODE: RegExp;
 export declare function pendingQualityCheck(tag: string): QualityCheck | null;
-/**
- * Every recognised `<quality-check>pending` spelling, derived from the map above rather than
- * listed again (@SCN-STG-002, 3F-3302).
- *
- * WHY A LIST AND NOT JUST THE PREDICATE. `pendingQualityCheck` answers "is THIS tag one", which
- * is all an obligation needs. The tag-grammar rule needs the other direction too — the words to
- * measure an unrecognised tag AGAINST, so it can name the tier a typo resembles — and a list
- * written out over there would agree with this map by diligence and then drift the first time a
- * quality-check is added.
- */
-export declare const PENDING_QUALITY_CHECK_TAGS: readonly string[];
-/**
- * The bare tags that name a RUNTIME evidence tier, derived from the map above (@SCN-STG-002,
- * 3F-3302). Exported for the same reason as the pending list beside it, and kept beneath the map
- * it reads so the two can never be edited apart.
- */
-export declare const RUNTIME_QUALITY_CHECK_TAGS: readonly string[];
-/**
- * Count every raw `@SCN-FFF-NNN` occurrence across the WHOLE source — including the
- * non-tag-line context (prose, comments, step text) the tag-line `parseScenarios`
- * deliberately ignores. A sibling read over the same source; `parseScenarios` is
- * unchanged. Each scenario contributes exactly one tag-line occurrence, so
- * the delta against `parseScenarios(...).length` is precisely the ids seen in non-tag
- * context.
- */
 export declare function countScnOccurrences(source: string): number;
-/**
- * The PROSE-ONLY @SCN codes (@SCN-RPT-015) — codes that appear in non-tag
- * context (prose / comments / step text) but are NEVER an @SCN tag ANYWHERE in the
- * corpus: dangling references. A CROSS-CORPUS set difference `proseCodes − tagCodes`
- * over ALL sources (unique, sorted): per source each line is inspected — a tag line
- * contributes its @SCN tokens to the TAG set; any other line contributes its @SCN
- * matches (the leading `@` stripped) to the PROSE set. The union across files is
- * load-bearing: a code tagged in one file but mentioned in prose in another is NOT
- * prose-only. Distinct from `countScnOccurrences`'s raw count (occurrences, not unique
- * dangling codes). The bare code (e.g. `SCN-FOO-001`) is its own locator.
- */
-export declare function proseOnlyCodes(sources: string[]): string[];
-/**
- * Parse the UNTAGGED scenarios — Gherkin scenario headers whose preceding contiguous
- * tag block carries no `@SCN` id (@SCN-RPT-014). Mirrors `parseScenarios`'s
- * tag-block accumulation: a tag line accumulates the block; any non-tag line closes it.
- * At each scenario header, the just-accumulated block is checked for an `@SCN` — if it
- * has none, the scenario is untagged (returns its name). The obligation-side counterpart
- * to the evidenceObservations aggregate's anomaly terms: a scenario with no evidence anchor.
- */
 export declare function parseUntaggedScenarios(source: string): string[];
-/**
- * The one word a CONVERTED check's scenario carries — the axis, and nothing about the subject.
- *
- * It is a literal rather than a registered tag because it names no characteristic: `checkTags` is
- * the answer to "which words are checks here", and this word is the answer to "which axis is this
- * scenario on", which is the same question `unit` and `integration` answer for the other axis. A
- * target does not get to spell it differently for the reason nobody spells `@unit` differently.
- */
 export declare const FITNESS_AXIS_TAG = "fitness";
-/**
- * The scenarios ON the fitness axis that no configured row NAMES (@SCN-LNT-020) — a corpus that has
- * half-converted a check: the tag moved and the row was never written.
- *
- * IT RAISES NOTHING AND THAT IS NOT NEGOTIABLE. Such a scenario has said which axis it is on and
- * then said nothing about what it asserts; there is no characteristic to raise an obligation FOR,
- * and reaching for the nearest word is the near-match courtesy the portfolio roster already
- * refuses. So `convertedFitnessObligationsOf` above answers the empty list, and this reads the same
- * two facts — the axis tag, and the row's absence — to say WHO.
- *
- * THE RUN ALREADY REDS ON IT, through no rule of this function's. A converted check's scenario
- * carries the axis tag and its `@SCN` and nothing else, so a scenario no row names reconciles to
- * zero rows on BOTH sides and is out of balance through the degenerate `both-missing` item — canon's
- * row for exactly this profile (Scenario Exists, Evidence Obligation None, Evidence Observation
- * None). No outcome is minted here, and none is needed.
- *
- * WHAT IS ADDED IS THE SENTENCE. That degenerate item cannot say WHY: its own gloss is about a
- * scenario carrying no `@SCN`, and this one carries one. So the run NAMES these, count and id, where
- * it already names the other corpus-shape faults — facts only, no prescribed cure, and the reader
- * is left with the one remedy there is, which is to write the row.
- *
- * IT READS THE WALK IT IS HANDED rather than taking a source of its own, and it reads the same
- * `FITNESS_AXIS_TAG` and the same registry the obligation rule reads. A second walk would be free to
- * disagree about which scenario it is looking at, and a corpus naming one scenario while the rule
- * raised nothing for another is precisely the disagreement `parseTaggedScenarios` was extracted to
- * foreclose.
- *
- * NAMED ONCE however many of a scenario's effective tags name the axis (@SCN-LDG-020) — naming it
- * twice would put one remedy on the report twice and make the count say there are two
- * half-converted checks where there is one.
- */
-export declare function unconfiguredFitnessScenarios(scenarios: readonly TaggedScenario[], fitnessChecks: FitnessCheckIndex): string[];
-/**
- * THE CONFIGURED ROWS THE CORPUS CARRIES NO SCENARIO FOR (3F-3472, @SCN-LNT-027) — the mirror of
- * `unconfiguredFitnessScenarios` directly above, in MANIFEST order.
- *
- * THE RUN DOES NOT ALREADY RED ON IT, WHICH IS THE WHOLE DIFFERENCE BETWEEN THE TWO. Its mirror
- * adds only a sentence, because a scenario no row names already reconciles to zero rows on both
- * sides and is out of balance through the degenerate item. A row no scenario names raised NOTHING:
- * the obligations travel with the scenarios, so a row with no scenario contributed a characteristic
- * nobody asked for and the run read balanced over a check that was declared and never specified.
- * `double-entry-manifesto.md` names that shape exactly — a ledger catches a credit that never
- * arrived and is blind to a debit that was never raised.
- *
- * IT READS THE WALK IT IS HANDED, for its mirror's reason: a second walk would be free to disagree
- * about which scenarios the corpus holds, and a row raised against a corpus the obligations were
- * not taken from is the phantom-row fault (@SCN-LNT-009) reached from the manifest side.
- *
- * EVERY `@SCN`-CARRYING SCENARIO COUNTS, NOT THE `@fitness` ONES ALONE. The claim is that the
- * corpus carries no scenario for the row — so a scenario carrying the row's code and saying nothing
- * about the fitness axis is still a scenario somebody wrote under that code, and minting a debit
- * beside it would report a check nobody has specified where one has been started.
- */
-export declare function unspecifiedFitnessRows(scenarios: readonly TaggedScenario[], fitnessChecks: FitnessCheckIndex): UnspecifiedFitnessRow[];
-/**
- * One `@SCN`-carrying scenario as the corpus READS it, before any obligation rule is applied:
- * its id and its EFFECTIVE tag set (its own tags, then everything it inherits from its `Rule:`
- * and `Feature:`).
- *
- * Extracted so a second corpus reader cannot grow a second tag-inheritance walk. That walk is
- * where both of `parseScenarios`'s historical false-greens lived — the UNDER-READ (a hoisted
- * tier tag invisible, so its obligation was never raised) and the OVER-READ (a tag block above a
- * `Rule:` emitted as a scenario). A reader that re-derived "which tags does this scenario carry"
- * would be free to reproduce either one alone, silently, exactly as the retired hand-rolled scan
- * did beside cucumber's own parse.
- */
 export interface TaggedScenario {
-    /** The bare scenario id, e.g. `SCN-LDG-001` (no leading @). */
     scnId: string;
-    /** The scenario's OWN tags first, then its inherited ones — bare, no leading @. */
     tags: readonly string[];
-    /**
-     * The scenario's EXTENT in the source — 1-based and INCLUSIVE, so `lines.slice(startLine - 1,
-     * endLine)` is exactly this scenario's text (@SCN-SSM-010, 3F-3044). It rides on this walk for the
-     * reason the walk was extracted at all, sharpened by what an extent is FOR: a second pass over the
-     * same file would be free to disagree with this one about which scenario it is looking at, and the
-     * caller that wants an extent is asking which scenario some text belongs to — so a disagreeing
-     * second pass is precisely how that question gets the neighbour's answer.
-     *
-     * `startLine` is the lesser of the scenario's first OWN tag line and its keyword line — an
-     * inherited `Rule:`/`Feature:` tag is not part of this scenario's text. `endLine` is the line
-     * before the next block starts (a scenario, a `Rule:` — or its first tag line — a `Background:`,
-     * or EOF), TRIMMED BACK over trailing blank and comment lines.
-     *
-     * The trim is load-bearing rather than tidiness: without it a blank line or a comment sitting
-     * between two scenarios belongs to the preceding one, and an edit there reads as a change to a
-     * scenario it is not part of — neighbour-inheritance rebuilt at a smaller scale, which is the one
-     * outcome @SCN-SSM-010 rules out.
-     *
-     * Derived from AST locations rather than from step positions, so docstrings, data tables and
-     * `Examples:` blocks are covered with no special case.
-     */
-    startLine: number;
-    /** The last line of this scenario's text — see `startLine`. 1-based, inclusive. */
-    endLine: number;
+    name: string;
 }
-/**
- * Read every `@SCN`-carrying scenario with its EFFECTIVE tags — the corpus walk `parseScenarios`
- * is built on, and the same walk any other whole-corpus tag question is answered from.
- *
- * The obligation rule is deliberately NOT applied here: what a scenario TAGS and what it OWES are
- * different questions, and the second is `obligationsFromTags`'. Keeping them apart is what lets
- * the citation seam ask the first without inheriting a reading of the second.
- *
- * WHY THE WALK IS THE AST'S AND NOT A SCAN'S. This was a hand-rolled TAG-LINE SCAN that saw only
- * the contiguous tag block directly above a `Scenario:`. Gherkin does not work that way — a
- * scenario INHERITS the tags of its `Feature:` and of any enclosing `Rule:`. Two bugs followed,
- * and both were false-greens:
- *
- *   UNDER-READ. An evidence tier hoisted to the Feature/Rule line — idiomatic, valid Gherkin,
- *   exactly what an author does with a tier shared by every scenario beneath — was INVISIBLE. The
- *   obligation was never RAISED, so its missing evidence could never reconcile `missing`, and the
- *   run read BALANCED (exit 0) while cucumber named a tier nothing proved. Unlike the corrupt-
- *   file false-green (3F-1767), this one fires on WELL-WRITTEN files — which makes it likelier.
- *
- *   OVER-READ. Any non-tag line flushed the accumulated block, so a tag block above a `Rule:` was
- *   emitted AS IF it were a scenario. The corpus did not merely miss scenarios — it INVENTED them.
- *
- * EVERY tag inherits, `@SCN` included: parity with cucumber is the goal, and excluding one would
- * invent a rule cucumber does not have. A hoisted `@SCN` therefore gives every scenario beneath it
- * the same id — a corpus-authoring fault, but a VISIBLE one (whether it should red is a deferred
- * policy question, 3F-1774's sibling).
- *
- * An UNPARSEABLE source THROWS, from `parseFeatureDocument` — it never yields an empty corpus, for
- * the reason recorded there.
- */
 export declare function parseTaggedScenarios(source: string): TaggedScenario[];
-/**
- * Parse the SCENARIO CORPUS — the ledger's DEBIT side — from the REAL Gherkin AST (@SCN-LDG-020,
- * 3F-1775), the same parser cucumber uses. So the scenarios spec-controller reconciles carry
- * EXACTLY the tags cucumber gives them: one reading of the file, not two.
- *
- * The corpus walk is `parseTaggedScenarios`'; this is the OBLIGATION rule applied over it. An
- * unparseable source still THROWS from the walk rather than yielding an empty corpus.
- *
- * `checkTags` — the registry's bare check tags (@SCN-LNT-006) — is ADDITIVE and defaults to none, so
- * `parseScenarios` keeps its place on the v1 barrel and every existing caller
- * reads exactly the corpus it read before. A target that has registered nothing raises no fitness
- * obligations, which is what lets the bare-tag reading land ahead of the corpus sweep that uses it.
- *
- * `fitnessChecks` — the target's CONFIGURED ROWS (@SCN-LNT-018) — is trailing and optional for the
- * same reason, and carries the scenario's own `scnId` into the obligation rule: a converted check's
- * characteristic is keyed by the row it is owed on, so the rule cannot be applied to a tag set
- * alone. Empty by default, so a target that has converted nothing raises nothing on this route.
- */
-export declare function parseScenarios(source: string, deferralTags?: readonly string[], checkTags?: readonly string[], fitnessChecks?: FitnessCheckIndex): Scenario[];
+export declare function parseScenarios(source: string, deferralTags?: readonly string[]): Scenario[];
 //# sourceMappingURL=scenarios.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"scenarios.d.ts","sourceRoot":"","sources":["../../src/parse/scenarios.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAKH,OAAO,KAAK,EAAE,QAAQ,EAAsB,YAAY,EAAuB,MAAM,aAAa,CAAC;AACnG,OAAO,KAAK,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAoB3F;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI,CAEpE;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,0BAA0B,EAAE,SAAS,MAAM,EAEvD,CAAC;AASF;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,EAAE,SAAS,MAAM,EAAsC,CAAC;AAiB/F;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAe1D;AAYD;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAkB/D;AA6DD;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,YAAY,CAAC;AAwC1C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,4BAA4B,CAC1C,SAAS,EAAE,SAAS,cAAc,EAAE,EACpC,aAAa,EAAE,iBAAiB,GAC/B,MAAM,EAAE,CAQV;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,sBAAsB,CACpC,SAAS,EAAE,SAAS,cAAc,EAAE,EACpC,aAAa,EAAE,iBAAiB,GAC/B,qBAAqB,EAAE,CAQzB;AAsED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,cAAc;IAC7B,+DAA+D;IAC/D,KAAK,EAAE,MAAM,CAAC;IACd,mFAAmF;IACnF,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,SAAS,EAAE,MAAM,CAAC;IAClB,mFAAmF;IACnF,OAAO,EAAE,MAAM,CAAC;CACjB;AAkFD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,cAAc,EAAE,CA0CrE;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,MAAM,EACd,YAAY,GAAE,SAAS,MAAM,EAAO,EACpC,SAAS,GAAE,SAAS,MAAM,EAAO,EACjC,aAAa,GAAE,iBAA6B,GAC3C,QAAQ,EAAE,CAWZ"}
+{"version":3,"file":"scenarios.d.ts","sourceRoot":"","sources":["../../src/parse/scenarios.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAsB,YAAY,EAAuB,MAAM,aAAa,CAAC;AAEnG,eAAO,MAAM,QAAQ,QAAmC,CAAC;AAUzD,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI,CAEpE;AAiBD,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAE1D;AAKD,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAiB/D;AAED,eAAO,MAAM,gBAAgB,YAAY,CAAC;AAuC1C,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;CACd;AAYD,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,cAAc,EAAE,CA4BrE;AAED,wBAAgB,cAAc,CAC5B,MAAM,EAAE,MAAM,EACd,YAAY,GAAE,SAAS,MAAM,EAAO,GACnC,QAAQ,EAAE,CAKZ"}