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

package/dist/parse/targetManifest.d.ts

@@ -1,166 +1,28 @@
-/**
- * The TARGET's `specController.*` configuration, read into the rows and mints the
- * reconciler takes — the `resolve*` family, moved here from the app's ingest edge (3F-3087).
- *
- * WHY THEY LIVE IN THE ENGINE. Every one of them is a pure function of a manifest object
- * somebody else already read off disk, and every one of them is the ONE reading of the key it
- * names — `fitnessChecksOf` and `bareTerm` are both core's, so the reader and the
- * thing it reads through belonged on the same side of the package boundary. Sitting at the app
- * edge they were the reason a PUBLISHED module imported core's unpublished `/internal` subpath,
- * which is the fault 3F-3086 repairs; nothing about reading a parsed manifest ever needed the
- * edge that produced it.
- *
- * WHAT THE EDGE STILL OWES THEM, AND WHY IT IS A PARAMETER. One of these readings depends on
- * something the engine must not know: the deferral-tag STARTER SET is product policy the
- * application layer single-sources (`DEFAULT_DEFERRAL_TAGS`). It arrives as an argument, as data,
- * so the engine keeps knowing nothing about files (`lint:boundaries`' `core-imports-io` rule,
- * which was @SCN-EPG-001's `io-import` arm until 3F-3437; and 3F-2841's pattern: a project-owned
- * term arrives as an input).
- *
- * DEFENSIVE THROUGHOUT, AND THAT IS THE FAMILY'S STANCE RATHER THAN LOCAL CHOICES PER RESOLVER.
- * Config is data from outside: a missing, non-object or array-shaped value resolves EMPTY, and a
- * malformed entry is dropped by the reading function it is handed to rather than thrown. A check
- * that throws on a typo produces no verdict at all.
- */
-import { type FitnessCheckIndex } from "../domain/fitnessChecks.js";
-/**
- * The steps the TARGET names NON-CHECKS (@SCN-USG-015, 3F-3343) — `specController.notChecks`, read
- * as the fully-qualified `<workflow file>:<job id>:<step name>` entries the target wrote.
- *
- * IT IS THE CONSUMER'S OWN LIST, and that is the whole reason it may exist at all. Not everything
- * that is not a behavioural runner is a fitness check — a checkout, a dependency install, a deploy
- * — and this axis's standing rule is that a list of check NAMES is the drift. A list of the
- * consumer's own STEPS is the opposite thing: it is about their pipeline, it is written once, and
- * nothing in this tree has an opinion about what is on it.
- *
- * The seventh of this family's `specController.*` resolvers, and defensive like the six above it:
- * a missing or non-array value resolves EMPTY and a non-string entry is dropped rather than
- * thrown. Deduplicated, as the configured-static-check list beside it is, so a target that wrote
- * one line twice is reported one line — the account below is per ENTRY, and the same entry twice
- * is one thing the consumer said.
- *
- * WHAT AN ENTRY MEANS IS NOT DECIDED HERE. This reader takes the list off the manifest; matching it
- * against a pipeline, and saying which entries matched nothing, is `parse/stepExclusions`.
- */
+import type { WrongKindEntry } from "../domain/evidenceReconciliation.js";
 export declare function resolveNotChecks(packageJson: {
     specController?: {
         notChecks?: unknown;
     };
 }): readonly string[];
-/**
- * Resolve the recognised deferral-tag set for the target (@SCN-PND-021) — the app's single-sourced
- * starter set EXTENDED by the target `package.json`'s `specController.deferralTags`. Config
- * EXTENDS, never replaces: a project cannot un-recognise a built-in (`@wip` always defers).
- * Configured tags are bare names, `@`-stripped, consistent with the starter set; non-string /
- * non-array config is ignored defensively. `parseScenarios` then takes the union as its injected
- * `deferralTags` param.
- *
- * THE STARTER SET ARRIVES AS AN ARGUMENT AND IS NOT THE ENGINE'S TO HOLD (3F-3087). Which
- * community tags defer is product policy — an evolvable list of strings the application layer
- * single-sources as `DEFAULT_DEFERRAL_TAGS` — and a core-held copy would be a second statement of
- * it. So the union is computed here, where the config read is, and the policy is handed in.
- */
 export declare function resolveDeferralTags(packageJson: {
     specController?: {
         deferralTags?: unknown;
     };
-}, 
-/** The application layer's starter set — the built-ins a target's config may only extend. */
-starterTags: readonly string[]): readonly string[];
-/**
- * The TARGET's CONFIGURED FITNESS ROWS (@SCN-LNT-018) — `specController.fitnessChecks`, read as
- * `@SCN → the characteristic that scenario asserts` through the engine's own `fitnessChecksOf`.
- *
- * THE DEBIT SIDE OF A CONVERTED CHECK. A converted scenario carries `@fitness` and nothing about
- * its subject, so the characteristic it owes comes from here — and from the row whose `scn` is that
- * scenario's own, which is what removes the registry hop an unconverted static check needs.
- *
- * IT IS THE TARGET'S, for the reason the check registry and the ceilings are (@SCN-LNT-005): a
- * characteristic means what the target says it means, and a row resolved from this tool's own
- * manifest would put an obligation on a target's books under a word it never wrote.
- *
- * The fifth of this family's `specController.*` resolvers, and defensive like the four above it: a
- * missing or wrongly-shaped config resolves EMPTY, and a malformed row is dropped by
- * `fitnessChecksOf` rather than thrown. There is no starter set: a target that has converted
- * nothing owes nothing on this route, which is what keeps the reading inert on an unswept corpus.
- */
-export declare function resolveFitnessChecks(packageJson: {
-    specController?: {
-        fitnessChecks?: unknown;
-    };
-}): FitnessCheckIndex;
-/**
- * WHAT A TARGET'S RUNNER BLOCK YIELDED — the entries keyed by a canon tier, and the keys that are
- * not one (@SCN-USG-019).
- *
- * TWO HALVES RATHER THAN ONE RECORD, because the two are used for opposite things and neither may
- * be reached for the other. `tiers` is what a recognition can be run against; `unrecognisedKeys` is
- * what the report has to SAY, and it recognises nothing by construction — there is no tier for it
- * to be the runner of. Returning one record and filtering downstream would leave every caller free
- * to honour a key the block's closure rules out, which is the fault this partition forecloses.
- */
+}, starterTags: readonly string[]): readonly string[];
 export interface ResolvedRunners {
-    /** The runner named for each canon tier the block names one for — `null` where it says it has none. */
     readonly tiers: Readonly<Record<string, string | null>>;
-    /** The block's keys that are not one of the four canon tiers, in the order the manifest wrote them. */
     readonly unrecognisedKeys: readonly string[];
 }
-/**
- * The TARGET's BEHAVIOURAL RUNNERS (@SCN-USG-011, 3F-3343) — `specController.runners`, read as
- * `tier → the name of the binary that tier's suite runs under`.
- *
- * THE SMALL CLOSED THING, NAMED, so the open one can be inferred. The set of names a quality check
- * might go by is unbounded and belongs to the consumer; the set of behavioural runners is one per
- * tier tag and the tiers are canon. Naming the closed set and deriving the rest is the move the
- * `@fitness` collapse already made one level in (3F-3139), and it cannot go stale by omission.
- *
- * IT IS THE TARGET'S, for the reason the check registry and the ceilings are (@SCN-LNT-005): which
- * command runs a repository's unit suite is a fact about that repository, and a runner resolved
- * from this tool's own manifest would answer for a pipeline this run never looked at.
- *
- * The sixth of this family's `specController.*` resolvers, and defensive like the five above it: a
- * missing, non-object or array-shaped config resolves EMPTY, and an entry whose value is neither a
- * runner's NAME nor `null` is dropped rather than thrown. A manifest naming no runners is not an
- * error — it is a `new-client`, which is the state this axis is sold on.
- *
- * A NULL IS KEPT, AND IT IS THE THIRD STATE (@SCN-USG-016, 3F-3343). `"performance": null` is
- * something the target SAID — we have no performance suite — and a tier the block omits is
- * something it never said. Dropping the null folds the first into the second and loses a fact we
- * were given, in the one direction nothing downstream can recover: after the fold, silence and a
- * stated absence are indistinguishable. Nothing else in this reader's contract moves — a null
- * recognises no step, exactly as a missing key recognises none — so the ONLY place the two can be
- * told apart is this return value and the report rendered off it.
- *
- * THE KEY SET IS CLOSED, AND THE PARTITION IS THIS READER'S (@SCN-USG-019, 3F-3343). The block is
- * keyed by TIER and the tiers are canon, which is exactly what makes the whole inversion possible:
- * the closed set is named because it is enumerable, and the open one is inferred from what is left.
- * A key outside the four is therefore not a runner for anything, and both obvious answers to it are
- * wrong. HONOURING it is the smuggling the closure forbids — `"lint": "eslint"` is a consumer taking
- * their own checks out of discovery one key at a time, and it reinstates the silence this axis
- * exists to remove. DROPPING it silently is the same class of fault one layer along: the consumer
- * wrote something, believes it took effect, and has no line anywhere to correct it from. So the key
- * is partitioned out of the runners AND handed back to be named, and the run is not aborted over it.
- *
- * THE FOUR TIERS ARE READ, NEVER RESTATED. `RUNTIME_QUALITY_CHECKS` is the ledger's own enumeration
- * of the runtime tiers; a second copy here would agree with it by coincidence, and a list of names
- * is the drift this ticket is about.
- *
- * THE PARTITION IS ON THE KEY AND THE DEFENSIVE DROP IS ON THE VALUE, and the two are different
- * questions kept apart. A canon tier whose value is neither a runner's NAME nor `null` is malformed
- * config and is dropped, which is this family's stance about data from outside. A key that is not a
- * tier at all is not malformed — there is no tier for any value of it to name a runner for — so its
- * value is beside the point and the key is the fact worth reporting, whatever it was set to.
- */
 export declare function resolveRunners(packageJson: {
     specController?: {
         runners?: unknown;
     };
 }): ResolvedRunners;
-/**
- * ONE ACCOUNT FOR BOTH KINDS, in the order the manifest wrote them: a retired top-level key names
- * itself, and `fitnessChecks` names each bar its rows still carry.
- */
-export declare function resolveRetiredKeys(packageJson: {
+export interface ConfigurationNotRead {
+    readonly wrongKinds: readonly WrongKindEntry[];
+    readonly unknownKeys: readonly string[];
+}
+export declare function configurationNotRead(packageJson: {
     specController?: unknown;
-}): readonly string[];
+}): ConfigurationNotRead;
 //# sourceMappingURL=targetManifest.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"targetManifest.d.ts","sourceRoot":"","sources":["../../src/parse/targetManifest.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,EAAmB,KAAK,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAWrF;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,gBAAgB,CAAC,WAAW,EAAE;IAC5C,cAAc,CAAC,EAAE;QAAE,SAAS,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;CAC1C,GAAG,SAAS,MAAM,EAAE,CAIpB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CACjC,WAAW,EAAE;IACX,cAAc,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;CAC7C;AACD,6FAA6F;AAC7F,WAAW,EAAE,SAAS,MAAM,EAAE,GAC7B,SAAS,MAAM,EAAE,CAcnB;AAGD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,oBAAoB,CAAC,WAAW,EAAE;IAChD,cAAc,CAAC,EAAE;QAAE,aAAa,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;CAC9C,GAAG,iBAAiB,CAEpB;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,eAAe;IAC9B,uGAAuG;IACvG,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;IACxD,uGAAuG;IACvG,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AACH,wBAAgB,cAAc,CAAC,WAAW,EAAE;IAC1C,cAAc,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;CACxC,GAAG,eAAe,CAclB;AAiDD;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,WAAW,EAAE;IAAE,cAAc,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,SAAS,MAAM,EAAE,CAO/F"}
+{"version":3,"file":"targetManifest.d.ts","sourceRoot":"","sources":["../../src/parse/targetManifest.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAa1E,wBAAgB,gBAAgB,CAAC,WAAW,EAAE;IAC5C,cAAc,CAAC,EAAE;QAAE,SAAS,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;CAC1C,GAAG,SAAS,MAAM,EAAE,CAIpB;AAED,wBAAgB,mBAAmB,CACjC,WAAW,EAAE;IACX,cAAc,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;CAC7C,EACD,WAAW,EAAE,SAAS,MAAM,EAAE,GAC7B,SAAS,MAAM,EAAE,CASnB;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;IACxD,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C;AAED,wBAAgB,cAAc,CAAC,WAAW,EAAE;IAC1C,cAAc,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;CACxC,GAAG,eAAe,CAWlB;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAC;IAC/C,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAiCD,wBAAgB,oBAAoB,CAAC,WAAW,EAAE;IAAE,cAAc,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,oBAAoB,CAUpG"}

package/dist/parse/targetManifest.js

@@ -1,227 +1,77 @@
-/**
- * The TARGET's `specController.*` configuration, read into the rows and mints the
- * reconciler takes — the `resolve*` family, moved here from the app's ingest edge (3F-3087).
- *
- * WHY THEY LIVE IN THE ENGINE. Every one of them is a pure function of a manifest object
- * somebody else already read off disk, and every one of them is the ONE reading of the key it
- * names — `fitnessChecksOf` and `bareTerm` are both core's, so the reader and the
- * thing it reads through belonged on the same side of the package boundary. Sitting at the app
- * edge they were the reason a PUBLISHED module imported core's unpublished `/internal` subpath,
- * which is the fault 3F-3086 repairs; nothing about reading a parsed manifest ever needed the
- * edge that produced it.
- *
- * WHAT THE EDGE STILL OWES THEM, AND WHY IT IS A PARAMETER. One of these readings depends on
- * something the engine must not know: the deferral-tag STARTER SET is product policy the
- * application layer single-sources (`DEFAULT_DEFERRAL_TAGS`). It arrives as an argument, as data,
- * so the engine keeps knowing nothing about files (`lint:boundaries`' `core-imports-io` rule,
- * which was @SCN-EPG-001's `io-import` arm until 3F-3437; and 3F-2841's pattern: a project-owned
- * term arrives as an input).
- *
- * DEFENSIVE THROUGHOUT, AND THAT IS THE FAMILY'S STANCE RATHER THAN LOCAL CHOICES PER RESOLVER.
- * Config is data from outside: a missing, non-object or array-shaped value resolves EMPTY, and a
- * malformed entry is dropped by the reading function it is handed to rather than thrown. A check
- * that throws on a typo produces no verdict at all.
- */
 import { bareTerm } from "../lib/bareTerm.js";
-import { fitnessChecksOf } from "../domain/fitnessChecks.js";
-// THE FOUR CANON TIERS, read from the ledger's own enumeration rather than restated here
-// (@SCN-USG-019). A second list of the same four would agree by coincidence, and this axis's
-// whole argument is that a list of names is the drift.
 import { RUNTIME_QUALITY_CHECKS } from "../domain/ledger.js";
-/** Whether a value read out of a manifest is a block of named fields, rather than a list or scalar. */
+import { CORE_MESSAGES, CoreMessage } from "../domain/messages.js";
 function isBlock(value) {
     return typeof value === "object" && value !== null && !Array.isArray(value);
 }
-/**
- * The steps the TARGET names NON-CHECKS (@SCN-USG-015, 3F-3343) — `specController.notChecks`, read
- * as the fully-qualified `<workflow file>:<job id>:<step name>` entries the target wrote.
- *
- * IT IS THE CONSUMER'S OWN LIST, and that is the whole reason it may exist at all. Not everything
- * that is not a behavioural runner is a fitness check — a checkout, a dependency install, a deploy
- * — and this axis's standing rule is that a list of check NAMES is the drift. A list of the
- * consumer's own STEPS is the opposite thing: it is about their pipeline, it is written once, and
- * nothing in this tree has an opinion about what is on it.
- *
- * The seventh of this family's `specController.*` resolvers, and defensive like the six above it:
- * a missing or non-array value resolves EMPTY and a non-string entry is dropped rather than
- * thrown. Deduplicated, as the configured-static-check list beside it is, so a target that wrote
- * one line twice is reported one line — the account below is per ENTRY, and the same entry twice
- * is one thing the consumer said.
- *
- * WHAT AN ENTRY MEANS IS NOT DECIDED HERE. This reader takes the list off the manifest; matching it
- * against a pipeline, and saying which entries matched nothing, is `parse/stepExclusions`.
- */
+const isTier = (key) => RUNTIME_QUALITY_CHECKS.includes(key);
+const isRunner = (value) => typeof value === "string" || value === null;
+const isListEntry = (value) => typeof value === "string";
 export function resolveNotChecks(packageJson) {
     const configured = packageJson.specController?.notChecks;
     if (!Array.isArray(configured))
         return [];
-    return [...new Set(configured.filter((entry) => typeof entry === "string"))];
+    return [...new Set(configured.filter(isListEntry))];
 }
-/**
- * Resolve the recognised deferral-tag set for the target (@SCN-PND-021) — the app's single-sourced
- * starter set EXTENDED by the target `package.json`'s `specController.deferralTags`. Config
- * EXTENDS, never replaces: a project cannot un-recognise a built-in (`@wip` always defers).
- * Configured tags are bare names, `@`-stripped, consistent with the starter set; non-string /
- * non-array config is ignored defensively. `parseScenarios` then takes the union as its injected
- * `deferralTags` param.
- *
- * THE STARTER SET ARRIVES AS AN ARGUMENT AND IS NOT THE ENGINE'S TO HOLD (3F-3087). Which
- * community tags defer is product policy — an evolvable list of strings the application layer
- * single-sources as `DEFAULT_DEFERRAL_TAGS` — and a core-held copy would be a second statement of
- * it. So the union is computed here, where the config read is, and the policy is handed in.
- */
-export function resolveDeferralTags(packageJson, 
-/** The application layer's starter set — the built-ins a target's config may only extend. */
-starterTags) {
+export function resolveDeferralTags(packageJson, starterTags) {
     const configured = packageJson.specController?.deferralTags;
     const extras = Array.isArray(configured)
         ? configured
-            .filter((tag) => typeof tag === "string")
-            // Through the ONE reading of what a term bare is (@SCN-TRM-001). This port had no trim at
-            // all, so `"@wip  "` failed as well as `"  @wip"`, and a term that is nothing but
-            // whitespace and a sigil is dropped here as an empty one already is.
+            .filter(isListEntry)
             .map(bareTerm)
             .filter((tag) => tag !== "")
         : [];
-    // Union: the starter set FIRST (extends, never replaces — a project cannot un-recognise a
-    // built-in), then the configured extras; de-duplicated to keep the set clean.
     return [...new Set([...starterTags, ...extras])];
 }
-/**
- * The TARGET's CONFIGURED FITNESS ROWS (@SCN-LNT-018) — `specController.fitnessChecks`, read as
- * `@SCN → the characteristic that scenario asserts` through the engine's own `fitnessChecksOf`.
- *
- * THE DEBIT SIDE OF A CONVERTED CHECK. A converted scenario carries `@fitness` and nothing about
- * its subject, so the characteristic it owes comes from here — and from the row whose `scn` is that
- * scenario's own, which is what removes the registry hop an unconverted static check needs.
- *
- * IT IS THE TARGET'S, for the reason the check registry and the ceilings are (@SCN-LNT-005): a
- * characteristic means what the target says it means, and a row resolved from this tool's own
- * manifest would put an obligation on a target's books under a word it never wrote.
- *
- * The fifth of this family's `specController.*` resolvers, and defensive like the four above it: a
- * missing or wrongly-shaped config resolves EMPTY, and a malformed row is dropped by
- * `fitnessChecksOf` rather than thrown. There is no starter set: a target that has converted
- * nothing owes nothing on this route, which is what keeps the reading inert on an unswept corpus.
- */
-export function resolveFitnessChecks(packageJson) {
-    return fitnessChecksOf(packageJson.specController?.fitnessChecks);
-}
-/**
- * The TARGET's BEHAVIOURAL RUNNERS (@SCN-USG-011, 3F-3343) — `specController.runners`, read as
- * `tier → the name of the binary that tier's suite runs under`.
- *
- * THE SMALL CLOSED THING, NAMED, so the open one can be inferred. The set of names a quality check
- * might go by is unbounded and belongs to the consumer; the set of behavioural runners is one per
- * tier tag and the tiers are canon. Naming the closed set and deriving the rest is the move the
- * `@fitness` collapse already made one level in (3F-3139), and it cannot go stale by omission.
- *
- * IT IS THE TARGET'S, for the reason the check registry and the ceilings are (@SCN-LNT-005): which
- * command runs a repository's unit suite is a fact about that repository, and a runner resolved
- * from this tool's own manifest would answer for a pipeline this run never looked at.
- *
- * The sixth of this family's `specController.*` resolvers, and defensive like the five above it: a
- * missing, non-object or array-shaped config resolves EMPTY, and an entry whose value is neither a
- * runner's NAME nor `null` is dropped rather than thrown. A manifest naming no runners is not an
- * error — it is a `new-client`, which is the state this axis is sold on.
- *
- * A NULL IS KEPT, AND IT IS THE THIRD STATE (@SCN-USG-016, 3F-3343). `"performance": null` is
- * something the target SAID — we have no performance suite — and a tier the block omits is
- * something it never said. Dropping the null folds the first into the second and loses a fact we
- * were given, in the one direction nothing downstream can recover: after the fold, silence and a
- * stated absence are indistinguishable. Nothing else in this reader's contract moves — a null
- * recognises no step, exactly as a missing key recognises none — so the ONLY place the two can be
- * told apart is this return value and the report rendered off it.
- *
- * THE KEY SET IS CLOSED, AND THE PARTITION IS THIS READER'S (@SCN-USG-019, 3F-3343). The block is
- * keyed by TIER and the tiers are canon, which is exactly what makes the whole inversion possible:
- * the closed set is named because it is enumerable, and the open one is inferred from what is left.
- * A key outside the four is therefore not a runner for anything, and both obvious answers to it are
- * wrong. HONOURING it is the smuggling the closure forbids — `"lint": "eslint"` is a consumer taking
- * their own checks out of discovery one key at a time, and it reinstates the silence this axis
- * exists to remove. DROPPING it silently is the same class of fault one layer along: the consumer
- * wrote something, believes it took effect, and has no line anywhere to correct it from. So the key
- * is partitioned out of the runners AND handed back to be named, and the run is not aborted over it.
- *
- * THE FOUR TIERS ARE READ, NEVER RESTATED. `RUNTIME_QUALITY_CHECKS` is the ledger's own enumeration
- * of the runtime tiers; a second copy here would agree with it by coincidence, and a list of names
- * is the drift this ticket is about.
- *
- * THE PARTITION IS ON THE KEY AND THE DEFENSIVE DROP IS ON THE VALUE, and the two are different
- * questions kept apart. A canon tier whose value is neither a runner's NAME nor `null` is malformed
- * config and is dropped, which is this family's stance about data from outside. A key that is not a
- * tier at all is not malformed — there is no tier for any value of it to name a runner for — so its
- * value is beside the point and the key is the fact worth reporting, whatever it was set to.
- */
 export function resolveRunners(packageJson) {
     const configured = packageJson.specController?.runners;
     if (!isBlock(configured))
         return { tiers: {}, unrecognisedKeys: [] };
-    const isTier = (key) => RUNTIME_QUALITY_CHECKS.includes(key);
     return {
-        tiers: Object.fromEntries(Object.entries(configured).filter((entry) => isTier(entry[0]) && (typeof entry[1] === "string" || entry[1] === null))),
+        tiers: Object.fromEntries(Object.entries(configured).filter((entry) => isTier(entry[0]) && isRunner(entry[1]))),
         unrecognisedKeys: Object.keys(configured).filter((key) => !isTier(key)),
     };
 }
-/**
- * THE specController.* KEYS THIS READER HAS RETIRED (@SCN-USG-021, @SCN-USG-022, @SCN-USG-023) —
- * the top-level keys a manifest carries whose reading this tool has removed, in the order the
- * manifest wrote them.
- *
- * NAMED, NOT SILENTLY GONE. Retiring a route is not the same act as never having had one: a
- * consumer who wrote `checkRegistry` once, when it was read, believes it still routes their
- * checks. Ceasing to read it without saying so leaves them holding a manifest that no longer
- * does what they think, with nothing on the report to correct it from — the same fault as a
- * dropped step, reached from the retirement side rather than the discovery side.
- *
- * APPEND-ONLY, the family's own append-only key set (RUNTIME_QUALITY_CHECKS beside it). A key
- * retires once and is never re-read; the set only grows as this reader retires more of them
- * (`checkRegistry` first, 3F-3398; `staticChecks` second, 3F-3399 — the tiebreak
- * `parse/runningStaticChecks.ts`'s `handleOf` used to settle among several invoked scripts,
- * 3F-3396 deleted; `thresholds` third, 3F-3517 — the ceilings the measured axis held a scenario
- * to, 3F-3516 deleted).
- *
- * DEFENSIVE LIKE THE READERS ABOVE IT: a missing or non-object `specController` names no
- * retired key, never throws.
- */
-const RETIRED_SPEC_CONTROLLER_KEYS = ["checkRegistry", "staticChecks", "thresholds"];
-/**
- * THE BAR A CONFIGURED ROW STILL CARRIES (@SCN-LNT-035) — the row-level keys this reader has
- * retired, append-only like the top-level set above. Nothing reads a row's bar since 3F-3510: a
- * row is credited by its own step's outcome, so a bar left on it holds the check to nothing. A
- * `mutationGate` is a value of `atLeast`, so the key it sits under is what names it.
- *
- * NAMED WITH ITS ROW, `fitnessChecks[<@SCN>].<key>`, because a row-level key alone says nothing a
- * consumer could find it by. A row stating no usable `@SCN` names no bar: the row reader drops it
- * whole, and there is no handle to name its bar by.
- */
-const RETIRED_ROW_KEYS = ["atLeast", "atMost"];
-function retiredRowKeysOf(rows) {
-    if (!Array.isArray(rows))
-        return [];
-    return rows.flatMap((row) => {
-        if (!isBlock(row) || typeof row["scn"] !== "string")
-            return [];
-        const scnId = bareTerm(row["scn"]);
-        if (scnId === "")
-            return [];
-        return Object.keys(row)
-            .filter((key) => RETIRED_ROW_KEYS.includes(key))
-            .map((key) => `fitnessChecks[${scnId}].${key}`);
-    });
+function kindOf(value) {
+    if (value === null)
+        return "null";
+    if (Array.isArray(value))
+        return CORE_MESSAGES[CoreMessage.ManifestKindList];
+    if (typeof value === "object")
+        return CORE_MESSAGES[CoreMessage.ManifestKindObject];
+    return CORE_MESSAGES[CoreMessage.ManifestKindOfType](typeof value);
 }
-/**
- * ONE ACCOUNT FOR BOTH KINDS, in the order the manifest wrote them: a retired top-level key names
- * itself, and `fitnessChecks` names each bar its rows still carry.
- */
-export function resolveRetiredKeys(packageJson) {
-    const configured = packageJson.specController;
-    if (!isBlock(configured))
-        return [];
-    return Object.entries(configured).flatMap(([key, value]) => {
-        if (key === "fitnessChecks")
-            return retiredRowKeysOf(value);
-        return RETIRED_SPEC_CONTROLLER_KEYS.includes(key) ? [key] : [];
-    });
+const wrongKind = (entry, value, reads) => ({
+    entry,
+    is: kindOf(value),
+    reads,
+});
+function wrongKindsInList(value, at) {
+    if (!Array.isArray(value))
+        return [wrongKind(at, value, CORE_MESSAGES[CoreMessage.ManifestKindList])];
+    return value.flatMap((entry, i) => (isListEntry(entry) ? [] : [wrongKind(`${at}[${i}]`, entry, CORE_MESSAGES[CoreMessage.ManifestKindString])]));
+}
+function wrongKindsInRunners(value, at) {
+    if (!isBlock(value))
+        return [wrongKind(at, value, CORE_MESSAGES[CoreMessage.ManifestKindObject])];
+    return Object.entries(value)
+        .filter(([key, runner]) => isTier(key) && !isRunner(runner))
+        .map(([key, runner]) => wrongKind(`${at}.${key}`, runner, CORE_MESSAGES[CoreMessage.ManifestKindStringOrNull]));
+}
+const BLOCK_READS = {
+    runners: wrongKindsInRunners,
+    notChecks: wrongKindsInList,
+    deferralTags: wrongKindsInList,
+};
+export function configurationNotRead(packageJson) {
+    const block = packageJson.specController;
+    if (block === undefined)
+        return { wrongKinds: [], unknownKeys: [] };
+    if (!isBlock(block))
+        return { wrongKinds: [wrongKind("specController", block, CORE_MESSAGES[CoreMessage.ManifestKindObject])], unknownKeys: [] };
+    return {
+        unknownKeys: Object.keys(block).filter((key) => !Object.hasOwn(BLOCK_READS, key)),
+        wrongKinds: Object.entries(block).flatMap(([key, value]) => Object.hasOwn(BLOCK_READS, key) ? BLOCK_READS[key](value, `specController.${key}`) : []),
+    };
 }
 //# sourceMappingURL=targetManifest.js.map

package/dist/parse/targetManifest.js.map

@@ -1 +1 @@
-{"version":3,"file":"targetManifest.js","sourceRoot":"","sources":["../../src/parse/targetManifest.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,eAAe,EAA0B,MAAM,4BAA4B,CAAC;AACrF,yFAAyF;AACzF,6FAA6F;AAC7F,uDAAuD;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAE7D,uGAAuG;AACvG,SAAS,OAAO,CAAC,KAAc;IAC7B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,gBAAgB,CAAC,WAEhC;IACC,MAAM,UAAU,GAAG,WAAW,CAAC,cAAc,EAAE,SAAS,CAAC;IACzD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC;AAChG,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,mBAAmB,CACjC,WAEC;AACD,6FAA6F;AAC7F,WAA8B;IAE9B,MAAM,UAAU,GAAG,WAAW,CAAC,cAAc,EAAE,YAAY,CAAC;IAC5D,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QACtC,CAAC,CAAC,UAAU;aACP,MAAM,CAAC,CAAC,GAAG,EAAiB,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC;YACxD,0FAA0F;YAC1F,kFAAkF;YAClF,qEAAqE;aACpE,GAAG,CAAC,QAAQ,CAAC;aACb,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC;QAChC,CAAC,CAAC,EAAE,CAAC;IACP,0FAA0F;IAC1F,8EAA8E;IAC9E,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,WAAW,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC;AAGD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,oBAAoB,CAAC,WAEpC;IACC,OAAO,eAAe,CAAC,WAAW,CAAC,cAAc,EAAE,aAAa,CAAC,CAAC;AACpE,CAAC;AAmBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AACH,MAAM,UAAU,cAAc,CAAC,WAE9B;IACC,MAAM,UAAU,GAAG,WAAW,CAAC,cAAc,EAAE,OAAO,CAAC;IACvD,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC;IACrE,MAAM,MAAM,GAAG,CAAC,GAAW,EAAW,EAAE,CACrC,sBAA4C,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC9D,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,MAAM,CAC/B,CAAC,KAAK,EAAoC,EAAE,CAC1C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAC1E,CACF;QACD,gBAAgB,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;KACxE,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,4BAA4B,GAAG,CAAC,eAAe,EAAE,cAAc,EAAE,YAAY,CAAU,CAAC;AAE9F;;;;;;;;;GASG;AACH,MAAM,gBAAgB,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAU,CAAC;AAExD,SAAS,gBAAgB,CAAC,IAAa;IACrC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACpC,OAAQ,IAA2B,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;QAClD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAC;QAC/D,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,EAAE;YAAE,OAAO,EAAE,CAAC;QAC5B,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;aACpB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAE,gBAAsC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;aACtE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,iBAAiB,KAAK,KAAK,GAAG,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,WAAyC;IAC1E,MAAM,UAAU,GAAG,WAAW,CAAC,cAAc,CAAC;IAC9C,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,CAAC;IACpC,OAAO,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;QACzD,IAAI,GAAG,KAAK,eAAe;YAAE,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC5D,OAAQ,4BAAkD,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,CAAC,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"targetManifest.js","sourceRoot":"","sources":["../../src/parse/targetManifest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAE7D,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEnE,SAAS,OAAO,CAAC,KAAc;IAC7B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,GAAW,EAAW,EAAE,CAAE,sBAA4C,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AAErG,MAAM,QAAQ,GAAG,CAAC,KAAc,EAA0B,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC;AAEzG,MAAM,WAAW,GAAG,CAAC,KAAc,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;AAEnF,MAAM,UAAU,gBAAgB,CAAC,WAEhC;IACC,MAAM,UAAU,GAAG,WAAW,CAAC,cAAc,EAAE,SAAS,CAAC;IACzD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,WAEC,EACD,WAA8B;IAE9B,MAAM,UAAU,GAAG,WAAW,CAAC,cAAc,EAAE,YAAY,CAAC;IAC5D,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QACtC,CAAC,CAAC,UAAU;aACP,MAAM,CAAC,WAAW,CAAC;aACnB,GAAG,CAAC,QAAQ,CAAC;aACb,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC;QAChC,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,WAAW,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC;AAOD,MAAM,UAAU,cAAc,CAAC,WAE9B;IACC,MAAM,UAAU,GAAG,WAAW,CAAC,cAAc,EAAE,OAAO,CAAC;IACvD,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC;IACrE,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,MAAM,CAC/B,CAAC,KAAK,EAAoC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CACpF,CACF;QACD,gBAAgB,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;KACxE,CAAC;AACJ,CAAC;AAOD,SAAS,MAAM,CAAC,KAAc;IAC5B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,aAAa,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC;IAC7E,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,aAAa,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC;IACpF,OAAO,aAAa,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,KAAa,EAAE,KAAc,EAAE,KAAa,EAAkB,EAAE,CAAC,CAAC;IACnF,KAAK;IACL,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC;IACjB,KAAK;CACN,CAAC,CAAC;AAEH,SAAS,gBAAgB,CAAC,KAAc,EAAE,EAAU;IAClD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACtG,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnJ,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc,EAAE,EAAU;IACrD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;IAClG,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SACzB,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;SAC3D,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC;AACpH,CAAC;AAED,MAAM,WAAW,GAA+E;IAC9F,OAAO,EAAE,mBAAmB;IAC5B,SAAS,EAAE,gBAAgB;IAC3B,YAAY,EAAE,gBAAgB;CAC/B,CAAC;AAEF,MAAM,UAAU,oBAAoB,CAAC,WAAyC;IAC5E,MAAM,KAAK,GAAG,WAAW,CAAC,cAAc,CAAC;IACzC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IACpE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,UAAU,EAAE,CAAC,SAAS,CAAC,gBAAgB,EAAE,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IACjJ,OAAO;QACL,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QACjF,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CACzD,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,CAAE,WAAW,CAAC,GAAG,CAAkD,CAAC,KAAK,EAAE,kBAAkB,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAC1I;KACF,CAAC;AACJ,CAAC"}

package/dist/parse/vitest.d.ts

@@ -1,50 +1,8 @@
-/**
- * The `ingest/vitest` reader — one of the two named observed-evidence readers
- * (the embryonic adapters, deliberately not a registry in v1). Reads Vitest's
- * JSON reporter output and normalises each assertion that cites an @SCN id into
- * an EvidenceObservation at the `unit` level.
- *
- * The level is supplied by the CALLER, not inferred: the caller states the level this Vitest
- * source yields, and the reader stamps it — no Vitest⇒unit assumption baked into the parser. The
- * JS-ecosystem default (unit) is set at the CLI edge.
- *
- * The @SCN id is the bracketed `[SCN-<FFF>-<NNN>]` token carried in the test's
- * `describe`/`it` name (the bidirectional-link rule). The bracket is what makes it a
- * citation and not a mention: this module's regex used to match any SCN-shaped token
- * anywhere in the name, so fixture data and prose cross-references cited scenarios nobody
- * meant to cite (@SCN-LDG-033, 3F-2368). The form now lives in `lib/scnCitation.ts`,
- * shared with the scn-subissue gate's cite scan so one answer serves both readers.
- *
- * Vitest surfaces the assertion's OWN name as `assertionResults[].title` and its
- * ANCESTOR PATH (describe → it) as `fullName`;
- * the citation belongs to the assertion, so the reader reads the leaf's title FIRST and
- * falls back to the ancestor path only when the leaf does not self-cite — most-specific-
- * citation-wins (@SCN-LDG-016).
- *
- * The reader classifies THREE-WAY (@SCN-PND-015), uniform with the cucumber reader
- * (@SCN-PND-013): a `passed` assertion → a `passed` observation (satisfied); a `failed`
- * assertion → a `failed` observation (failing); an INCONCLUSIVE vitest status (`skipped`/`todo`,
- * and any status ∉ {passed, failed}) → the assertion is DROPPED (no observation), so its
- * obligation reconciles missing by absence — pending is never inferred from status. A skipped/todo
- * unit test is a GAP, not a failure.
- *
- * Parent: @SCN-LDG-001 (the foundation seam; balanced path).
- */
 import type { RuntimeQualityCheck, EvidenceObservation } from "../model.js";
-/** The minimal shape of Vitest's JSON reporter output this reader depends on. */
 export interface VitestJsonReport {
     testResults?: Array<{
-        /** The test-file path — the locator for the evidenceObservations reconciliation. */
         name?: string;
-        /**
-         * The FILE-level status (@SCN-LDG-017) — previously read and discarded. A file that failed to
-         * COLLECT reports `"failed"` here WITH a `message` and ZERO `assertionResults`: it errored
-         * before naming a test. That pair (failed + zero assertions) is the collection-failure
-         * signature the reader now emits as a `broken` observation. (A file whose tests merely FAILED
-         * also reports `"failed"` here — but it carries assertions, so it is not broken.)
-         */
         status?: string;
-        /** The FILE-level error message a collection failure reports (@SCN-LDG-017). */
         message?: string;
         assertionResults?: Array<{
             fullName?: string;
@@ -53,23 +11,5 @@ export interface VitestJsonReport {
         }>;
     }>;
 }
-/**
- * Parse a Vitest JSON report into observed results at the CALLER-SUPPLIED level. One result per
- * EMITTED assertion: those carrying an @SCN id cite that scenario; those with NO id emit a
- * null-scnId credit (@SCN-LDG-007 — previously DROPPED). A null-scnId credit cites no scenario,
- * so the reconciler folds it into the SUSPENSE row. Every result carries its test-file locator.
- *
- * THREE-WAY classification (@SCN-PND-015), uniform with the cucumber reader (@SCN-PND-013) —
- * pending is NEVER inferred from status:
- *   - `passed` → a `passed` observation → satisfied.
- *   - `failed` → a `failed` observation → failing.
- *   - otherwise (`skipped`/`todo`, and any status ∉ {passed, failed}) → INCONCLUSIVE: an assertion
- *     that RAN but proved nothing. Emit NOTHING — the evidence obligation then finds no matching
- *     observation and reconciles missing BY ABSENCE.
- * Treating any non-pass-non-fail status as inconclusive keeps the reader robust to vitest's status
- * spelling (`skipped`/`todo`/`pending`). `EvidenceStatus` stays binary (no new status, no reconciler
- * change): the DROP is what realises inconclusive→missing. The uncited (null-scnId) SUSPENSE credit
- * is preserved for genuine passed/failed results — only inconclusive assertions are dropped.
- */
 export declare function parseVitestEvidenceObservations(report: VitestJsonReport, qualityCheck: RuntimeQualityCheck, root?: string): EvidenceObservation[];
 //# sourceMappingURL=vitest.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"vitest.d.ts","sourceRoot":"","sources":["../../src/parse/vitest.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAI5E,iFAAiF;AACjF,MAAM,WAAW,gBAAgB;IAC/B,WAAW,CAAC,EAAE,KAAK,CAAC;QAClB,oFAAoF;QACpF,IAAI,CAAC,EAAE,MAAM,CAAC;QACd;;;;;;WAMG;QACH,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,gFAAgF;QAChF,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,gBAAgB,CAAC,EAAE,KAAK,CAAC;YACvB,QAAQ,CAAC,EAAE,MAAM,CAAC;YAClB,KAAK,CAAC,EAAE,MAAM,CAAC;YACf,MAAM,CAAC,EAAE,MAAM,CAAC;SACjB,CAAC,CAAC;KACJ,CAAC,CAAC;CACJ;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,+BAA+B,CAC7C,MAAM,EAAE,gBAAgB,EACxB,YAAY,EAAE,mBAAmB,EACjC,IAAI,CAAC,EAAE,MAAM,GACZ,mBAAmB,EAAE,CA4DvB"}
+{"version":3,"file":"vitest.d.ts","sourceRoot":"","sources":["../../src/parse/vitest.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAK5E,MAAM,WAAW,gBAAgB;IAC/B,WAAW,CAAC,EAAE,KAAK,CAAC;QAClB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,gBAAgB,CAAC,EAAE,KAAK,CAAC;YACvB,QAAQ,CAAC,EAAE,MAAM,CAAC;YAClB,KAAK,CAAC,EAAE,MAAM,CAAC;YACf,MAAM,CAAC,EAAE,MAAM,CAAC;SACjB,CAAC,CAAC;KACJ,CAAC,CAAC;CACJ;AAED,wBAAgB,+BAA+B,CAC7C,MAAM,EAAE,gBAAgB,EACxB,YAAY,EAAE,mBAAmB,EACjC,IAAI,CAAC,EAAE,MAAM,GACZ,mBAAmB,EAAE,CA8BvB"}