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

package/README.md

@@ -34,11 +34,11 @@ const ledger = reconcile(scenarios, observed);
 isBalanced(ledger); // false while any scenario names evidence that did not arrive
 ```
 
-`parseScenarios` reads the `@SCN` code and the quality-check tags off each scenario and turns them into the **obligations** it names. `parseVitestEvidenceObservations` turns a test report into the **observations** that posted back, each citing the `@SCN` it proves. `reconcile` puts the two sides against each other and answers per scenario. Everything else on the barrel is a variation on those three moves.
+`parseScenarios` reads the `@SCN` code and the quality-check tags off each scenario and turns them into the **obligations** it names. `parseVitestEvidenceObservations` turns a test report into the **observations** that posted back, each citing the `@SCN` it claims. `reconcile` puts the two sides against each other and answers per scenario. Everything else on the barrel is a variation on those three moves.
 
 ## What is on the barrel
 
-- **Parse** — `parseScenarios` and its untagged/prose-only companions; `parseVitestEvidenceObservations`, `parseCucumberEvidenceObservations`; the readers for static checks and for what a pipeline's steps actually ran.
+- **Parse** — `parseScenarios`, `parseUntaggedScenarios` and `countScnOccurrences`; `parseVitestEvidenceObservations`, `parseCucumberEvidenceObservations`; the readers for fitness functions and for what a pipeline's steps actually ran.
 - **Reconcile** — `reconcile` for the ledger itself, `evidenceReconciliationOf` for the ledger plus its summary, and `evidenceReconciliationFromSources` for the whole composition over sources you have already read.
 - **Ask the ledger** — `isBalanced`, `hasPendingItems`, `hasBrokenEvidence`, `hasNothingToReconcile`. These are the four questions a caller decides on: the CLI's own balanced / out-of-balance / unsound / pending-under-strict / nothing-to-reconcile verdicts are built out of these four and nothing else.
 - **Render** — `renderMarkdown`, `renderJson`, `renderReport`, `renderReportFromJson`, and `assembleRenderInput` if you want the payload rather than a string.
@@ -48,7 +48,7 @@ The types these functions take and return are exported alongside them, so a cons
 
 ## The surface is a contract
 
-This barrel is the whole public surface — the package publishes exactly one entrypoint, and what that entrypoint exports is the contract you build on. **Nothing checks it for drift.** A symbol quietly added to the barrel, or quietly dropped from it, reds no build today: the surface is not held against a written-down list, and a generated API report will be adopted at `1.0`, where the compatibility promise comes back. Until then: the package is at a `0.x` version and makes no compatibility promise — see [`doc/compatibility.md`](https://github.com/3f-consulting/spec-controller/blob/main/doc/compatibility.md). Pin an exact version.
+This barrel is the whole public surface — the package publishes exactly one entrypoint, and what that entrypoint exports is the contract you build on. **Nothing checks it for drift.** A symbol quietly added to the barrel, or quietly dropped from it, reds no build today: the surface is not held against a written-down list, and a generated API report will be adopted at `1.0`, where the compatibility promise comes back. Before `1.0`, the package is at a `0.x` version and makes no compatibility promise — see [`doc/compatibility.md`](https://github.com/3f-consulting/spec-controller/blob/main/doc/compatibility.md). Pin an exact version.
 
 Source, issues and history: [github.com/3f-consulting/spec-controller](https://github.com/3f-consulting/spec-controller).
 

package/dist/assemble/evidenceReconciliationFromSources.d.ts

@@ -1,56 +1,17 @@
-/**
- * THE RECONCILE COMPOSITION — a target's already-read sources reconciled into its Evidence
- * Reconciliation. The ONE entry point core's `.` barrel gains at 3F-3086, and the last step of
- * moving the composition off the app's ingest edge (3F-3087, 3F-3088).
- *
- * WHY IT IS ONE FUNCTION AND NOT A SURFACE. `ingestQualityChecks.ts` is a published module, and it
- * reached nine core symbols through the unpublished `./internal` subpath to assemble this — which
- * is why an installed `spec-controller balance --help` threw ERR_PACKAGE_PATH_NOT_EXPORTED while
- * every gate in the workspace stayed green. Promoting those nine onto the public barrel would fix
- * the crash by freezing exactly the surface `3F-2837` un-published, and the registry-home question
- * (increment D) still governs their shape. So the CALLERS move to core's side of the boundary
- * instead, and the app reaches the whole composition through this one membership decision
- * (`3F-2804`). Nothing here is re-exported: the nine stay internal.
- *
- * WHY THE ARGUMENTS ARE DATA AND NOT READERS. Everything below is already in memory by the time
- * the edge calls this — the feature bytes, the manifest object, the CI bytes, the CI run's own
- * record, the runtime observations. Handing a reader for any of them would move I/O into the
- * engine wearing a callback, and `lint:boundaries`' `core-imports-io` rule reds over exactly that
- * (@SCN-EPG-001's `io-import` arm until 3F-3437).
- *
- * THE TARGET ROOT DOES NOT CROSS. It is resolved at the edge and every remaining use of it is
- * there: relativising the runtime observations before they arrive.
- * Threading it in as well would put `node:child_process` and `process.cwd()`'s answer inside the
- * engine to be read by nothing.
- *
- * THE INPUT IS AN INLINE OBJECT TYPE, deliberately. A named exported interface would be a second
- * symbol on the public v1 surface for a shape only this function takes — one entry point means one
- * name. Nothing has reconciled that surface against a written-down list since 3F-3449, so the
- * restraint is a judgement rather than something a guard would catch.
- */
 import type { EvidenceObservation } from "../model.js";
 import type { PackageJsonScripts } from "../parse/checkScriptsRunInCI.js";
 import { type CiStepRecord } from "../parse/ciStepRecord.js";
 import type { EvidenceReconciliation } from "./renderInput.js";
-/** A target's manifest as this composition reads it — its scripts, and its `specController` block. */
 type TargetManifest = PackageJsonScripts & {
     specController?: {
         deferralTags?: unknown;
-        staticChecks?: unknown;
-        fitnessChecks?: unknown;
         runners?: unknown;
         notChecks?: unknown;
     };
 };
-/**
- * EVERYTHING A `balance` RUN IS HANDED — the target's bytes, its manifest, and the two things the
- * application layer owns rather than the engine. Named rather than written inline on the function
- * below, so the function stays under the `max-lines-per-function` ceiling by being smaller rather
- * than by an exception, and so the contract a caller writes against has somewhere to be read. Each
- * member is documented on the function's own `@param` list, where it has always been.
- */
 export interface EvidenceReconciliationSources {
     featureSources: readonly string[];
+    featureFiles?: readonly FeatureFileHeader[];
     untaggedScenarios: readonly string[];
     packageJson: TargetManifest;
     ciSources: readonly string[];
@@ -60,6 +21,10 @@ export interface EvidenceReconciliationSources {
     deferralTags: readonly string[];
     ciStepRecord?: CiStepRecord;
 }
+interface FeatureFileHeader {
+    readonly slug: string;
+    readonly featureCode: string | null;
+}
 export declare function evidenceReconciliationFromSources(input: EvidenceReconciliationSources): EvidenceReconciliation;
 export {};
 //# sourceMappingURL=evidenceReconciliationFromSources.d.ts.map

package/dist/assemble/evidenceReconciliationFromSources.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evidenceReconciliationFromSources.d.ts","sourceRoot":"","sources":["../../src/assemble/evidenceReconciliationFromSources.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAIH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,KAAK,EAAkB,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAC1F,OAAO,EAAuB,KAAK,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAiBlF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAE/D,sGAAsG;AACtG,KAAK,cAAc,GAAG,kBAAkB,GAAG;IACzC,cAAc,CAAC,EAAE;QACf,YAAY,CAAC,EAAE,OAAO,CAAC;QACvB,YAAY,CAAC,EAAE,OAAO,CAAC;QACvB,aAAa,CAAC,EAAE,OAAO,CAAC;QACxB,OAAO,CAAC,EAAE,OAAO,CAAC;QAClB,SAAS,CAAC,EAAE,OAAO,CAAC;KACrB,CAAC;CACH,CAAC;AA4EF;;;;;;GAMG;AACH,MAAM,WAAW,6BAA6B;IAC5C,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,WAAW,EAAE,cAAc,CAAC;IAC5B,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,mBAAmB,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACpD,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AAqGD,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,6BAA6B,GACnC,sBAAsB,CA4CxB"}
+{"version":3,"file":"evidenceReconciliationFromSources.d.ts","sourceRoot":"","sources":["../../src/assemble/evidenceReconciliationFromSources.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,KAAK,EAAkB,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAC1F,OAAO,EAAuB,KAAK,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAgBlF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAE/D,KAAK,cAAc,GAAG,kBAAkB,GAAG;IACzC,cAAc,CAAC,EAAE;QACf,YAAY,CAAC,EAAE,OAAO,CAAC;QACvB,OAAO,CAAC,EAAE,OAAO,CAAC;QAClB,SAAS,CAAC,EAAE,OAAO,CAAC;KACrB,CAAC;CACH,CAAC;AA4BF,MAAM,WAAW,6BAA6B;IAC5C,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,YAAY,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC5C,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,WAAW,EAAE,cAAc,CAAC;IAC5B,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,mBAAmB,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACpD,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,YAAY,CAAC,EAAE,YAAY,CAAC;CAC7B;AAED,UAAU,iBAAiB;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CACrC;AAkCD,wBAAgB,iCAAiC,CAC/C,KAAK,EAAE,6BAA6B,GACnC,sBAAsB,CAuBxB"}

package/dist/assemble/evidenceReconciliationFromSources.js

@@ -1,126 +1,26 @@
-/**
- * THE RECONCILE COMPOSITION — a target's already-read sources reconciled into its Evidence
- * Reconciliation. The ONE entry point core's `.` barrel gains at 3F-3086, and the last step of
- * moving the composition off the app's ingest edge (3F-3087, 3F-3088).
- *
- * WHY IT IS ONE FUNCTION AND NOT A SURFACE. `ingestQualityChecks.ts` is a published module, and it
- * reached nine core symbols through the unpublished `./internal` subpath to assemble this — which
- * is why an installed `spec-controller balance --help` threw ERR_PACKAGE_PATH_NOT_EXPORTED while
- * every gate in the workspace stayed green. Promoting those nine onto the public barrel would fix
- * the crash by freezing exactly the surface `3F-2837` un-published, and the registry-home question
- * (increment D) still governs their shape. So the CALLERS move to core's side of the boundary
- * instead, and the app reaches the whole composition through this one membership decision
- * (`3F-2804`). Nothing here is re-exported: the nine stay internal.
- *
- * WHY THE ARGUMENTS ARE DATA AND NOT READERS. Everything below is already in memory by the time
- * the edge calls this — the feature bytes, the manifest object, the CI bytes, the CI run's own
- * record, the runtime observations. Handing a reader for any of them would move I/O into the
- * engine wearing a callback, and `lint:boundaries`' `core-imports-io` rule reds over exactly that
- * (@SCN-EPG-001's `io-import` arm until 3F-3437).
- *
- * THE TARGET ROOT DOES NOT CROSS. It is resolved at the edge and every remaining use of it is
- * there: relativising the runtime observations before they arrive.
- * Threading it in as well would put `node:child_process` and `process.cwd()`'s answer inside the
- * engine to be read by nothing.
- *
- * THE INPUT IS AN INLINE OBJECT TYPE, deliberately. A named exported interface would be a second
- * symbol on the public v1 surface for a shape only this function takes — one entry point means one
- * name. Nothing has reconciled that surface against a written-down list since 3F-3449, so the
- * restraint is a judgement rather than something a guard would catch.
- */
 import { evidenceReconciliationOf } from "../domain/evidenceReconciliation.js";
-import { bareTerm } from "../lib/bareTerm.js";
 import { ciStepRecordCredits } from "../parse/ciStepRecord.js";
-import { recognisedRunners, runningStaticChecks } from "../parse/runningStaticChecks.js";
+import { recognisedRunners, runningFitnessFunctions } from "../parse/runningFitnessFunctions.js";
 import { readTargetCorpus } from "../parse/targetCorpus.js";
 import { stepExclusions } from "../parse/stepExclusions.js";
 import { discoveryScope } from "../parse/discoveryScope.js";
 import { stepAccounting } from "../parse/stepAccounting.js";
+import { scenarioCodeErrorsOf, scenarioCodePopulationOf } from "../parse/scenarioCodeErrors.js";
 import { reconcilerSteps } from "../parse/reconcilerSteps.js";
-import { resolveDeferralTags, resolveNotChecks, resolveRetiredKeys, resolveRunners, resolveFitnessChecks, } from "../parse/targetManifest.js";
-/**
- * THE THREE OBSERVATION STREAMS a `balance` run reconciles, in one place — a fourth, the
- * measurements, left with the measured axis (3F-3516).
- *
- * ITS OWN FUNCTION, extracted when the consumer's exclusion seam (@SCN-USG-015) took the
- * composition past the `max-lines-per-function` ceiling — `withUnconfiguredFitnessScenarios`'s
- * precedent, and the same seam: the streams are one idea with a name, and what is left above is
- * the composition that reads a target and hands them to the factory. Nothing about any of them
- * changed in the move.
- */
-function observationStreams(input, corpus, packageJson, fitnessChecks, runnerTiers, isExcluded) {
-    // WHICH ROWS THE RUN'S OWN RECORD ANSWERS FOR, so the derivation reader does not answer them
-    // again (@SCN-LNT-021, @SCN-LNT-030; forced by @SCN-USG-004). A converted check
-    // used to be one no discovery reader could SEE — its command is not a script of the manifest, so
-    // no prefix reached it — and that accident is what kept one check from being observed twice.
-    // Under the inverted membership rule every step is discovered, so the guarantee has to be a
-    // mechanism: where a run is handed its own record, the CONFIGURED rows are answered by that
-    // record, and derivation answers the residue — the steps citing no configured row at all.
-    //
-    // IT IS THE ROWS AND NOT THE ENTRIES, because the record answers for a row it holds NO entry for
-    // too: that is broken evidence naming the row (@SCN-LNT-027), and a derivation credit landing
-    // beside it would soften the loudest thing this axis can say into an ordinary green.
-    //
-    // NOT A FIFTH DISPOSITION AND NOT A DROP. The step is on the books either way; what this decides
-    // is WHICH stream credits it, and the streams differ in what they know — the record carries what
-    // the step DID, and a derivation credit carries only that it is wired in. Two credits on one row
-    // let the poorer one win, which is measurable: a `continue-on-error` step the record says failed
-    // reconciles `watermelon` rather than `failing` when both are posted.
-    const answeredByTheRecord = input.ciStepRecord === undefined ? new Set() : new Set(fitnessChecks.keys());
+import { configurationNotRead, resolveDeferralTags, resolveNotChecks, resolveRunners, } from "../parse/targetManifest.js";
+function observationStreams(input, corpus, packageJson, runnerTiers, isExcluded) {
+    const recordAnswersCitingSteps = input.ciStepRecord !== undefined;
     return [
         ...input.runtimeObservations,
-        ...checkObservations(corpus, input.ciSources, packageJson, runnerTiers, isExcluded, answeredByTheRecord),
-        // THE CONVERTED CHECKS' CREDITS (@SCN-LNT-021, @SCN-LNT-028) — the CI RUN'S OWN RECORD, the
-        // observation side, beside the workflow FILE the two config-reading observers above already
-        // read. Two documents and two questions: the file says a check is wired into this pipeline
-        // and which row its step cites, the record says what that step DID on this run. Neither can
-        // be got from the other's document, which is why both are read and neither replaces the
-        // other.
-        //
-        // THEY JOIN THE STATIC STREAM BESIDE THE TWO CONFIG-READING OBSERVERS RATHER THAN REPLACING
-        // EITHER: a target mid-conversion runs both kinds at once, and a converted check is simply
-        // one no script-handle observer can see — it is never discovered, so nothing double-observes
-        // it. The rows are the SAME reading the obligations were raised from, taken from `corpus`'s
-        // own registry, so a credit can never cite a characteristic the debit side never owed.
-        //
-        // THE OPTIONALITY IS PASSED THROUGH RATHER THAN FLATTENED (@SCN-LNT-027). A run handed NO
-        // record is not a run handed a record carrying nothing, and those are opposite facts. The
-        // first is a consumer whose pipeline dumps no record, or a run nobody recorded: its rows
-        // reconcile missing and the run is out of balance. The second is a run that happened and
-        // named not one of these steps, which is every configured check broken. The reader tells
-        // them apart; nothing here may.
-        ...ciStepRecordCredits(input.ciStepRecord, fitnessChecks),
+        ...checkObservations(corpus, input.ciSources, packageJson, runnerTiers, isExcluded, recordAnswersCitingSteps),
+        ...ciStepRecordCredits(input.ciStepRecord),
     ];
 }
 function pipelineReadings(input) {
     const { packageJson } = input;
-    // THE CONSUMER'S OWN EXCLUSIONS, RESOLVED ONCE (@SCN-USG-015), and both things this run does
-    // with them come off that one reading: the seam the discovery reader is asked through, and the
-    // account the report carries. Two resolutions would be free to describe two different manifests
-    // in one report — a step excluded from the books and named nowhere, or named as excluded while
-    // still on them, and each of those is a report that lies in a different direction.
     const exclusions = stepExclusions(input.ciSources, input.ciSourceNames ?? [], resolveNotChecks(packageJson));
-    // THE TARGET'S OWN RUNNERS, RESOLVED ONCE (@SCN-USG-004, @SCN-USG-011), for the reason the two
-    // readings beside them are: what a run does with them is the membership rule the discovery
-    // observer asks AND the account the report carries, and two resolutions would be free to name a
-    // step the unit runner in one section while the books posted it as an uncited check in another.
     const runners = resolveRunners(packageJson);
-    // THE RECONCILER'S OWN STEPS (@SCN-USG-014), read off the same bytes and the same manifest, and
-    // read whatever the target configured — it is the one exclusion no consumer writes, and the one
-    // that has to hold over a manifest saying nothing. Like the exclusions above, both things this
-    // run does with it come off ONE reading: the seam discovery is asked through, and the account
-    // the report carries.
     const reconciler = reconcilerSteps(input.ciSources, input.ciSourceNames ?? [], input.reconcilerInvocation ?? "", packageJson);
-    // THE TWO EXCLUSIONS, COMPOSED HERE AND NOWHERE ELSE. Discovery needs one answer per step, and
-    // the precedence between "the reconciler" and "the consumer said so" is the report's business
-    // rather than an observer's: both take the step out of the books, and each says so in its own
-    // section. The reconciler is asked first because it holds whatever the manifest says. The
-    // runner is NOT one of them: it is the membership rule itself and the observer applies it, so
-    // folding it in here would put the same question in two places.
-    //
-    // ONE COMPOSITION, TWO READERS (@SCN-USG-020). The observer posts a check for every step this
-    // leaves in, and the scope census counts them per job — so a second composition would let the
-    // report state a number of candidates for a job that the books beneath it never posted.
     return {
         runners,
         exclusions,
@@ -130,88 +30,35 @@ function pipelineReadings(input) {
 }
 export function evidenceReconciliationFromSources(input) {
     const { packageJson } = input;
-    // ONE READING OF THE CONFIGURED ROWS, shared by both sides of this axis. The DEBIT reads them for
-    // the characteristic a converted scenario owes and the CREDIT for the characteristic its reported
-    // scenario answers, and two resolutions would be free to disagree about a manifest neither of
-    // them wrote — the same guarantee `readTargetCorpus` composes its three readings for.
-    const fitnessChecks = resolveFitnessChecks(packageJson);
-    const corpus = readTargetCorpus(input.featureSources, resolveDeferralTags(packageJson, input.deferralTags), fitnessChecks);
-    // WHAT THE TARGET SAID ABOUT ITS OWN PIPELINE, read once (see `pipelineReadings`).
+    const corpus = readTargetCorpus(input.featureSources, resolveDeferralTags(packageJson, input.deferralTags));
     const { runners, exclusions, reconciler, isExcluded } = pipelineReadings(input);
-    // The feature corpus is BOTH halves: the @SCN-tagged scenarios AND the untagged ones
-    // (@SCN-LDG-021). An untagged scenario cannot be linked to an observation, so it reconciles
-    // `no-scn-code` on its own out-of-balance row — never silently dropped from the debit side.
-    // THE CONCEPT, BUILT BY ITS OWN FACTORY (3F-2233) — nobody assembles a Ledger and leaves someone
-    // downstream to total it. The two axis GATES are always on for a `balance` run: both the
-    // runtime-observation and the static-check streams are threaded.
-    const reconciliation = evidenceReconciliationOf(corpus.scenarios, observationStreams(input, corpus, packageJson, fitnessChecks, runners.tiers, isExcluded), [...input.untaggedScenarios], true, true, 
-    // THE FOURTH POPULATION (@SCN-LNT-027, 3F-3472) — the configured rows this corpus carries no
-    // scenario for, taken from the SAME corpus reading the obligations were raised from. A row
-    // with no scenario raises nothing on the corpus side, so without this the check it declares
-    // reaches the books nowhere and the run reads balanced over it.
-    corpus.unspecifiedFitnessRows);
-    return withReaderAccounts(reconciliation, corpus, input, packageJson, runners, exclusions, reconciler, isExcluded);
+    const reconciliation = evidenceReconciliationOf(corpus.scenarios, observationStreams(input, corpus, packageJson, runners.tiers, isExcluded), [...input.untaggedScenarios], true, true);
+    return withScenarioCodeErrors(withConfigurationAccount(withReaderAccounts(reconciliation, corpus, input, packageJson, runners, exclusions, reconciler, isExcluded), packageJson), input);
 }
-/**
- * EVERYTHING THE READER SAW THAT THE JOURNAL CANNOT HOLD, grafted onto the summary the factory
- * built — the corpus's half-converted checks, what the target said about its runners and what a
- * run recognised off that, the reconciler's own steps, and the consumer's own exclusions.
- *
- * ITS OWN FUNCTION, extracted when the reconciler account (@SCN-USG-014) took the composition past
- * the `max-lines-per-function` ceiling — `observationStreams`'s precedent, and the same seam. Each
- * graft states its own reason for being a graft; what they share, and what this name says, is that
- * none of them is an obligation or an observation, so no row exists for any of them to be derived
- * from. Nothing about any of them changed in the move.
- *
- * THE ORDER IS THE REPORT'S, NOT A PREFERENCE. Each graft only adds its own member, so no two can
- * overwrite one another and the composition is free to read in the order a reader meets the
- * sections: what the corpus said, what ran the suites, what this tool took out of its own books,
- * then what the consumer took out.
- */
-function withReaderAccounts(reconciliation, corpus, input, packageJson, runners, exclusions, reconciler, isExcluded) {
-    return withStepAccounting(withScopeAccount(withExclusionAccount(withReconcilerAccount(withRunnerAccount(withRetiredKeysAccount(withUnconfiguredFitnessScenarios(reconciliation, corpus), packageJson), input.ciSources, packageJson, runners), reconciler), exclusions), input, packageJson, runners.tiers, isExcluded), input.ciSources, packageJson, runners.tiers, reconciler, exclusions);
+function withConfigurationAccount(reconciliation, packageJson) {
+    const { wrongKinds, unknownKeys } = configurationNotRead(packageJson);
+    return {
+        ...reconciliation,
+        summary: {
+            ...reconciliation.summary,
+            ...(wrongKinds.length > 0 ? { wrongKindConfiguration: wrongKinds } : {}),
+            ...(unknownKeys.length > 0 ? { unknownConfigurationKeys: unknownKeys } : {}),
+        },
+    };
 }
-/**
- * THE RETIRED-KEY ACCOUNT (@SCN-USG-021) — the target's own `specController.*` keys this reader
- * no longer reads, carried onto the summary the factory built rather than threaded through it,
- * for the reason the half-converted scenarios beside it are: the factory's inputs are the
- * JOURNAL, and a retired key is neither an obligation nor an observation. Nothing reads it, so
- * there is no row for it to be derived from — only a name for the report to carry.
- *
- * READ OFF THE SAME MANIFEST EVERY OTHER GRAFT IN THIS MODULE COMES FROM, and nothing else: a
- * retired key is a fact about what the target WROTE, not about its pipeline, so it needs no CI
- * bytes and no corpus reading to resolve.
- *
- * ONLY WHEN THERE IS SOMETHING TO SAY, so a target that has never written a retired key — every
- * target today — renders and serialises byte-identically to before.
- */
-function withRetiredKeysAccount(reconciliation, packageJson) {
-    const retiredKeys = resolveRetiredKeys(packageJson);
-    if (retiredKeys.length === 0)
+function withScenarioCodeErrors(reconciliation, input) {
+    if (input.featureFiles === undefined)
         return reconciliation;
+    const files = input.featureFiles.map((header, i) => ({ ...header, source: input.featureSources[i] ?? "" }));
     return {
         ...reconciliation,
-        summary: { ...reconciliation.summary, retiredKeys },
+        scenarioCodeErrors: scenarioCodeErrorsOf(files),
+        scenarioCodePopulation: scenarioCodePopulationOf(files),
     };
 }
-/**
- * THE ACCOUNTING IDENTITY (@SCN-USG-018) — what became of every step this run read, carried onto
- * the summary the factory built for the reason the four accounts beside it are: the factory's
- * inputs are the JOURNAL, and three of the four dispositions post no row at all.
- *
- * LAST OF THE GRAFTS, because it is the one that counts what the others named. It takes the
- * reconciler and the exclusions as their two SEPARATE seams rather than as the composed answer the
- * observer is asked through: the observer needs one answer per step and cannot tell the two facts
- * apart, while this reader has to, because a report that folded them would tell a consumer who
- * configured nothing that their configuration took two steps out.
- *
- * IT ASKS THE PRODUCT'S OWN RULES rather than re-deriving any of them, and `parse/stepAccounting`
- * states why: a count that decided membership for itself would agree with itself over books that
- * said something else, which is the one disagreement a reader of a total cannot see.
- *
- * ONLY WHEN A STEP WAS READ, so a run handed no CI configuration renders and serialises
- * byte-identically to before.
- */
+function withReaderAccounts(reconciliation, corpus, input, packageJson, runners, exclusions, reconciler, isExcluded) {
+    return withStepAccounting(withScopeAccount(withExclusionAccount(withReconcilerAccount(withRunnerAccount(reconciliation, input.ciSources, packageJson, runners), reconciler), exclusions), input, packageJson, runners.tiers, isExcluded), input.ciSources, packageJson, runners.tiers, reconciler, exclusions);
+}
 function withStepAccounting(reconciliation, ciSources, packageJson, runnerTiers, reconciler, exclusions) {
     const accounting = stepAccounting(ciSources, packageJson, runnerTiers, reconciler.isReconciler, exclusions.isExcluded);
     if (accounting.stepsRead === 0)
@@ -221,42 +68,12 @@ function withStepAccounting(reconciliation, ciSources, packageJson, runnerTiers,
         summary: { ...reconciliation.summary, stepAccounting: accounting },
     };
 }
-/**
- * THE SCOPE ACCOUNT (@SCN-USG-020) — which workflow files and which of their jobs this run read,
- * with the steps each held and how many became candidates, carried onto the summary the factory
- * built for the reason the three accounts beside it are: the factory's inputs are the JOURNAL, and
- * a job is neither an obligation nor an observation. It is where the steps CAME FROM, so there is
- * no row for it to be derived from.
- *
- * LAST OF THE GRAFTS AND FIRST OF THE SECTIONS, and that is not a contradiction. It is grafted
- * last because it is the only one needing the composed exclusion seam the observer was asked
- * through — the same seam, so the candidates it counts per job are the candidates the books
- * posted. It renders first because it is the pipeline every figure under it was read from.
- *
- * ONLY WHEN THERE IS SOMETHING TO SAY, so a run handed no CI configuration renders and serialises
- * byte-identically to before.
- */
 function withScopeAccount(reconciliation, input, packageJson, runnerTiers, isExcluded) {
     const scope = discoveryScope(input.ciSources, input.ciSourceNames ?? [], packageJson, runnerTiers, isExcluded);
     if (scope.length === 0)
         return reconciliation;
     return { ...reconciliation, summary: { ...reconciliation.summary, discoveryScope: scope } };
 }
-/**
- * THE RECONCILER ACCOUNT (@SCN-USG-014) — the steps of the target's pipeline that ARE this
- * reconciliation, carried onto the summary the factory built rather than threaded through it, for
- * the reason the two accounts beside it are: the factory's inputs are the JOURNAL, and the
- * reconciler is neither an obligation nor an observation. It is the disposition a step got INSTEAD
- * of reaching the books, so there is no row for it to be derived from.
- *
- * SEPARATE FROM THE EXCLUSION ACCOUNT, deliberately, though both end as steps that are off the
- * books. That one is a list the consumer wrote; this one is nobody's. Folding them would tell a
- * consumer who configured nothing that their configuration took two steps out — and a consumer who
- * then went looking for the entries would find none.
- *
- * ONLY WHEN THERE IS SOMETHING TO SAY, so a target whose pipeline does not run this tool renders
- * and serialises byte-identically to before.
- */
 function withReconcilerAccount(reconciliation, reconciler) {
     if (reconciler.steps.length === 0)
         return reconciliation;
@@ -265,24 +82,8 @@ function withReconcilerAccount(reconciliation, reconciler) {
         summary: { ...reconciliation.summary, reconcilerSteps: reconciler.steps },
     };
 }
-/**
- * THE EXCLUSION ACCOUNT (@SCN-USG-015) — the steps the target named non-checks and the entries of
- * its list that named none, carried onto the summary the factory built rather than threaded
- * through it, for the reason the runner account beside it is: the factory's inputs are the
- * JOURNAL, and an excluded step is neither an obligation nor an observation. It is the disposition
- * a step got INSTEAD of reaching the books, so there is no row for it to be derived from.
- *
- * BOTH HALVES OFF ONE PARTITION, which is why they are grafted together. They are the two sides of
- * the same list and their totals have to add up to it — an entry in neither is an exclusion the
- * consumer wrote that nothing anywhere accounts for.
- *
- * EACH ONLY WHEN THERE IS SOMETHING TO SAY, so a target that names no non-checks renders and
- * serialises byte-identically to before.
- */
 function withExclusionAccount(reconciliation, exclusions) {
     const { excluded, unmatchedEntries } = exclusions;
-    if (excluded.length === 0 && unmatchedEntries.length === 0)
-        return reconciliation;
     return {
         ...reconciliation,
         summary: {
@@ -292,44 +93,9 @@ function withExclusionAccount(reconciliation, exclusions) {
         },
     };
 }
-/**
- * THE RUNNER ACCOUNT — what the target SAID about each tier (@SCN-USG-016) and which steps a run
- * RECOGNISED off it (@SCN-USG-011), carried onto the summary the factory built rather than threaded
- * through it, for the reason the half-converted scenarios beside them are: the factory's inputs are
- * the JOURNAL, and a runner is neither an obligation nor an observation. It is the disposition a
- * step gets INSTEAD of reaching the books, so there is no row for it to be derived from.
- *
- * ONE READING OF THE BLOCK BEHIND BOTH, which is why they are one function and not two. They are
- * opposite facts — one about the manifest, one about the pipeline — and the interesting cases are
- * exactly where they fail to line up: a tier the target says it has NO runner for is recognised at
- * no step, and so is a tier it never mentioned. Two resolutions would be free to describe two
- * different manifests in one report, and the report would read as though it had found something.
- *
- * EACH ONLY WHEN THERE IS SOMETHING TO SAY, so a target that has named no runners — no block, or a
- * block nothing could be read out of — renders and serialises byte-identically to before.
- *
- * AND THAT IS WHAT A `new-client` IS OWED, settled by the scenario that was still open when this
- * graft was written (@SCN-USG-017). Such a target has named nothing, so nothing is taken out of
- * discovery and every step of its pipeline reaches the books as a candidate — which is the whole of
- * the report that state is sold on. It is the OBSERVER that owes them that, not this graft: there
- * is no runner to account for, and an account of four tiers nobody named would read as the tool
- * asking for configuration before it will answer.
- */
 function withRunnerAccount(reconciliation, ciSources, packageJson, { tiers: runnerTiers, unrecognisedKeys }) {
-    // THE PARTITION, NOT THE BLOCK (@SCN-USG-019). Only the entries keyed by a canon tier reach the
-    // recognition below; a key outside the four is carried to the report instead, where it is named.
-    // Reading the whole block would let a consumer take their own checks out of discovery one
-    // invented key at a time, which is the closure's whole subject — and since @SCN-USG-004 that is
-    // no longer only a reporting question: these tiers ARE the membership rule.
-    //
-    // RULE D, over the SAME manifest and the SAME CI bytes every other reading in this module comes
-    // from (@SCN-USG-011), and through the same `namedRunnersAt` the discovery observer asks. So a
-    // step named here as a runner is the same step that is not on the books as a fitness check.
     const behaviouralRunners = recognisedRunners(ciSources, packageJson, runnerTiers);
     const named = Object.keys(runnerTiers).length > 0;
-    if (behaviouralRunners.length === 0 && !named && unrecognisedKeys.length === 0) {
-        return reconciliation;
-    }
     return {
         ...reconciliation,
         summary: {
@@ -340,70 +106,9 @@ function withRunnerAccount(reconciliation, ciSources, packageJson, { tiers: runn
         },
     };
 }
-/**
- * THE CORPUS'S HALF-CONVERTED CHECKS (@SCN-LNT-020), carried onto the summary the factory built
- * rather than threaded through it. The factory's inputs are the JOURNAL — obligations and
- * observations — and this is neither: it is what the corpus said about itself that no row answered,
- * so a scenario naming it raises nothing for a Ledger to hold. It is grafted where the corpus
- * reading and the reconciliation are both in hand, and only when there is something to name, so a
- * target that has converted nothing serialises exactly as before.
- *
- * ITS OWN FUNCTION, extracted when the credit stream (@SCN-LNT-021) took the composition past the
- * `max-lines-per-function` ceiling. The graft is one idea with a name; nothing about it changed.
- */
-function withUnconfiguredFitnessScenarios(reconciliation, corpus) {
-    if (corpus.unconfiguredFitnessScenarios.length === 0)
-        return reconciliation;
-    return {
-        ...reconciliation,
-        summary: {
-            ...reconciliation.summary,
-            unconfiguredFitnessScenarios: corpus.unconfiguredFitnessScenarios,
-        },
-    };
-}
-/**
- * The COMPLETE static stream the reconciliation consumes, from the RUNNING-check observer — the
- * static analogue of a runner emitting every test result, so nothing a gate runs is off the books.
- *
- * THE OBLIGATION-SIDE OBSERVER THIS COMPOSED ALONGSIDE IS RETIRED (3F-3161, @SCN-LNT-017). It
- * answered for every check the corpus obliged by a REGISTERED handle (`corpus.checkHandles`), and
- * that discovery went with the registry it was keyed from: every check now either states its own
- * row's code on its CI step, which the running-check observer already reads, or is a converted
- * `@fitness` row with no runnable script handle to be discovered by. There is no second observer
- * left to double-observe against.
- *
- * WHAT A SURVIVOR CITES IS THE TARGET'S OWN ANSWER (@SCN-LNT-031). A check whose CI step states the
- * code of the configured row it runs posts to that row; one whose step states none cites no
- * scenario and the reconciliation folds it into the suspense row (@SCN-USG-001), which is where an
- * unattributed check is meant to surface. That is the state a consumer starts in, and it is the
- * report this axis's first useful sentence is made of.
- */
-function checkObservations(corpus, ciSources, packageJson, 
-// @SCN-USG-004 — the target's declared behavioural runners, resolved ONCE by the composition and
-// read by both the account the report carries and the membership rule below. Two resolutions
-// would be free to name a step the unit runner in one section while the books posted it as a
-// fitness check in the other.
-runnerTiers, 
-// @SCN-USG-015 — the consumer's own exclusions, reaching the DISCOVERY observer.
-isExcluded, 
-// The configured rows this run's own record answers for — none when it was handed no record.
-// Stated at the composition (`observationStreams`), because which STREAM answers a row is a
-// question about the run's inputs and not one an observer has any business holding.
-answeredByTheRecord) {
+function checkObservations(corpus, ciSources, packageJson, runnerTiers, isExcluded, recordAnswersCitingSteps) {
     return [
-        ...runningStaticChecks(ciSources, packageJson, runnerTiers, 
-        // THE CONSUMER'S OWN CITATION, WIRED (@SCN-LNT-031). The walk carries a check step's `id:`
-        // and this observer reads it, and until this seam was passed the two met nowhere: every
-        // discovered check on the live path cited nothing, so a fully annotated pipeline reconciled
-        // exactly as an unannotated one — `new-client` reported over a target in `annotated`.
-        //
-        // THE HANDLE IS DELIBERATELY NOT CONSULTED. The row a step's code names carries the
-        // characteristic, so both terms come off ONE configured row; reaching for the script's
-        // spelling to supply the half a CI step cannot state is the name-match this axis retired.
-        // A step with no code, or one naming no configured row, reaches no citation and posts to
-        // suspense — which is `new-client`, unnarrowed.
-        (_script, citedByStep) => corpus.citedRow(citedByStep), isExcluded).filter((o) => !(o.scnId !== undefined && answeredByTheRecord.has(bareTerm(o.scnId)))),
+        ...runningFitnessFunctions(ciSources, packageJson, runnerTiers, (_script, citedByStep) => corpus.citedRow(citedByStep), isExcluded).filter((o) => !(recordAnswersCitingSteps && o.scnId !== undefined)),
     ];
 }
 //# sourceMappingURL=evidenceReconciliationFromSources.js.map

package/dist/assemble/evidenceReconciliationFromSources.js.map

@@ -1 +1 @@
-{"version":3,"file":"evidenceReconciliationFromSources.js","sourceRoot":"","sources":["../../src/assemble/evidenceReconciliationFromSources.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,EAAE,wBAAwB,EAAE,MAAM,qCAAqC,CAAC;AAC/E,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAG9C,OAAO,EAAE,mBAAmB,EAAqB,MAAM,0BAA0B,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACzF,OAAO,EAAE,gBAAgB,EAAqB,MAAM,0BAA0B,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAuB,MAAM,4BAA4B,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAwB,MAAM,6BAA6B,CAAC;AAEpF,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,kBAAkB,EAClB,cAAc,EAEd,oBAAoB,GACrB,MAAM,4BAA4B,CAAC;AAepC;;;;;;;;;GASG;AACH,SAAS,kBAAkB,CACzB,KAIC,EACD,MAAoB,EACpB,WAA2B,EAC3B,aAAgC,EAChC,WAAoD,EACpD,UAAwC;IAExC,6FAA6F;IAC7F,gFAAgF;IAChF,iGAAiG;IACjG,6FAA6F;IAC7F,4FAA4F;IAC5F,4FAA4F;IAC5F,0FAA0F;IAC1F,EAAE;IACF,iGAAiG;IACjG,8FAA8F;IAC9F,qFAAqF;IACrF,EAAE;IACF,iGAAiG;IACjG,iGAAiG;IACjG,iGAAiG;IACjG,iGAAiG;IACjG,sEAAsE;IACtE,MAAM,mBAAmB,GACvB,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,EAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC;IACvF,OAAO;QACL,GAAG,KAAK,CAAC,mBAAmB;QAC5B,GAAG,iBAAiB,CAClB,MAAM,EACN,KAAK,CAAC,SAAS,EACf,WAAW,EACX,WAAW,EACX,UAAU,EACV,mBAAmB,CACpB;QACD,4FAA4F;QAC5F,4FAA4F;QAC5F,2FAA2F;QAC3F,4FAA4F;QAC5F,wFAAwF;QACxF,SAAS;QACT,EAAE;QACF,4FAA4F;QAC5F,2FAA2F;QAC3F,6FAA6F;QAC7F,4FAA4F;QAC5F,uFAAuF;QACvF,EAAE;QACF,0FAA0F;QAC1F,0FAA0F;QAC1F,yFAAyF;QACzF,yFAAyF;QACzF,yFAAyF;QACzF,gCAAgC;QAChC,GAAG,mBAAmB,CAAC,KAAK,CAAC,YAAY,EAAE,aAAa,CAAC;KAC1D,CAAC;AACJ,CAAC;AAuED,SAAS,gBAAgB,CAAC,KAAoC;IAC5D,MAAM,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IAC9B,6FAA6F;IAC7F,+FAA+F;IAC/F,gGAAgG;IAChG,+FAA+F;IAC/F,mFAAmF;IACnF,MAAM,UAAU,GAAG,cAAc,CAC/B,KAAK,CAAC,SAAS,EACf,KAAK,CAAC,aAAa,IAAI,EAAE,EACzB,gBAAgB,CAAC,WAAW,CAAC,CAC9B,CAAC;IAEF,+FAA+F;IAC/F,2FAA2F;IAC3F,gGAAgG;IAChG,gGAAgG;IAChG,MAAM,OAAO,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC;IAE5C,gGAAgG;IAChG,gGAAgG;IAChG,+FAA+F;IAC/F,8FAA8F;IAC9F,sBAAsB;IACtB,MAAM,UAAU,GAAG,eAAe,CAChC,KAAK,CAAC,SAAS,EACf,KAAK,CAAC,aAAa,IAAI,EAAE,EACzB,KAAK,CAAC,oBAAoB,IAAI,EAAE,EAChC,WAAW,CACZ,CAAC;IAEF,+FAA+F;IAC/F,8FAA8F;IAC9F,8FAA8F;IAC9F,0FAA0F;IAC1F,8FAA8F;IAC9F,gEAAgE;IAChE,EAAE;IACF,8FAA8F;IAC9F,8FAA8F;IAC9F,wFAAwF;IACxF,OAAO;QACL,OAAO;QACP,UAAU;QACV,UAAU;QACV,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;KACnF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,KAAoC;IAEpC,MAAM,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IAC9B,kGAAkG;IAClG,kGAAkG;IAClG,8FAA8F;IAC9F,sFAAsF;IACtF,MAAM,aAAa,GAAG,oBAAoB,CAAC,WAAW,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,gBAAgB,CAC7B,KAAK,CAAC,cAAc,EACpB,mBAAmB,CAAC,WAAW,EAAE,KAAK,CAAC,YAAY,CAAC,EACpD,aAAa,CACd,CAAC;IAEF,mFAAmF;IACnF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAEhF,qFAAqF;IACrF,4FAA4F;IAC5F,4FAA4F;IAC5F,iGAAiG;IACjG,yFAAyF;IACzF,iEAAiE;IACjE,MAAM,cAAc,GAAG,wBAAwB,CAC7C,MAAM,CAAC,SAAS,EAChB,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,EACxF,CAAC,GAAG,KAAK,CAAC,iBAAiB,CAAC,EAC5B,IAAI,EACJ,IAAI;IACJ,6FAA6F;IAC7F,2FAA2F;IAC3F,4FAA4F;IAC5F,gEAAgE;IAChE,MAAM,CAAC,sBAAsB,CAC9B,CAAC;IACF,OAAO,kBAAkB,CACvB,cAAc,EACd,MAAM,EACN,KAAK,EACL,WAAW,EACX,OAAO,EACP,UAAU,EACV,UAAU,EACV,UAAU,CACX,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAS,kBAAkB,CACzB,cAAsC,EACtC,MAAoB,EACpB,KAA0E,EAC1E,WAA2B,EAC3B,OAAwB,EACxB,UAA0B,EAC1B,UAA2B,EAC3B,UAA6C;IAE7C,OAAO,kBAAkB,CACvB,gBAAgB,CACd,oBAAoB,CAClB,qBAAqB,CACnB,iBAAiB,CACf,sBAAsB,CACpB,gCAAgC,CAAC,cAAc,EAAE,MAAM,CAAC,EACxD,WAAW,CACZ,EACD,KAAK,CAAC,SAAS,EACf,WAAW,EACX,OAAO,CACR,EACD,UAAU,CACX,EACD,UAAU,CACX,EACD,KAAK,EACL,WAAW,EACX,OAAO,CAAC,KAAK,EACb,UAAU,CACX,EACD,KAAK,CAAC,SAAS,EACf,WAAW,EACX,OAAO,CAAC,KAAK,EACb,UAAU,EACV,UAAU,CACX,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,sBAAsB,CAC7B,cAAsC,EACtC,WAA2B;IAE3B,MAAM,WAAW,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;IACpD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC;IACpD,OAAO;QACL,GAAG,cAAc;QACjB,OAAO,EAAE,EAAE,GAAG,cAAc,CAAC,OAAO,EAAE,WAAW,EAAE;KACpD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAS,kBAAkB,CACzB,cAAsC,EACtC,SAA4B,EAC5B,WAA2B,EAC3B,WAAoD,EACpD,UAA2B,EAC3B,UAA0B;IAE1B,MAAM,UAAU,GAAG,cAAc,CAC/B,SAAS,EACT,WAAW,EACX,WAAW,EACX,UAAU,CAAC,YAAY,EACvB,UAAU,CAAC,UAAU,CACtB,CAAC;IACF,IAAI,UAAU,CAAC,SAAS,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC;IACtD,OAAO;QACL,GAAG,cAAc;QACjB,OAAO,EAAE,EAAE,GAAG,cAAc,CAAC,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE;KACnE,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,gBAAgB,CACvB,cAAsC,EACtC,KAA0E,EAC1E,WAA2B,EAC3B,WAAoD,EACpD,UAA6C;IAE7C,MAAM,KAAK,GAAG,cAAc,CAC1B,KAAK,CAAC,SAAS,EACf,KAAK,CAAC,aAAa,IAAI,EAAE,EACzB,WAAW,EACX,WAAW,EACX,UAAU,CACX,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC;IAC9C,OAAO,EAAE,GAAG,cAAc,EAAE,OAAO,EAAE,EAAE,GAAG,cAAc,CAAC,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,EAAE,CAAC;AAC9F,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,qBAAqB,CAC5B,cAAsC,EACtC,UAA2B;IAE3B,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC;IACzD,OAAO;QACL,GAAG,cAAc;QACjB,OAAO,EAAE,EAAE,GAAG,cAAc,CAAC,OAAO,EAAE,eAAe,EAAE,UAAU,CAAC,KAAK,EAAE;KAC1E,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,oBAAoB,CAC3B,cAAsC,EACtC,UAA0B;IAE1B,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,UAAU,CAAC;IAClD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC;IAClF,OAAO;QACL,GAAG,cAAc;QACjB,OAAO,EAAE;YACP,GAAG,cAAc,CAAC,OAAO;YACzB,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3D,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACjF;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,SAAS,iBAAiB,CACxB,cAAsC,EACtC,SAA4B,EAC5B,WAA2B,EAC3B,EAAE,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAmB;IAEzD,gGAAgG;IAChG,iGAAiG;IACjG,0FAA0F;IAC1F,gGAAgG;IAChG,4EAA4E;IAC5E,EAAE;IACF,gGAAgG;IAChG,+FAA+F;IAC/F,4FAA4F;IAC5F,MAAM,kBAAkB,GAAiC,iBAAiB,CACxE,SAAS,EACT,WAAW,EACX,WAAW,CACZ,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IAClD,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/E,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,OAAO;QACL,GAAG,cAAc;QACjB,OAAO,EAAE;YACP,GAAG,cAAc,CAAC,OAAO;YACzB,GAAG,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjC,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACrF;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,gCAAgC,CACvC,cAAsC,EACtC,MAAoB;IAEpB,IAAI,MAAM,CAAC,4BAA4B,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC;IAC5E,OAAO;QACL,GAAG,cAAc;QACjB,OAAO,EAAE;YACP,GAAG,cAAc,CAAC,OAAO;YACzB,4BAA4B,EAAE,MAAM,CAAC,4BAA4B;SAClE;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,SAAS,iBAAiB,CACxB,MAAoB,EACpB,SAA4B,EAC5B,WAA2B;AAC3B,iGAAiG;AACjG,6FAA6F;AAC7F,6FAA6F;AAC7F,8BAA8B;AAC9B,WAAoD;AACpD,iFAAiF;AACjF,UAAwC;AACxC,6FAA6F;AAC7F,4FAA4F;AAC5F,oFAAoF;AACpF,mBAAwC;IAExC,OAAO;QACL,GAAG,mBAAmB,CACpB,SAAS,EACT,WAAW,EACX,WAAW;QACX,2FAA2F;QAC3F,wFAAwF;QACxF,4FAA4F;QAC5F,sFAAsF;QACtF,EAAE;QACF,oFAAoF;QACpF,uFAAuF;QACvF,0FAA0F;QAC1F,yFAAyF;QACzF,gDAAgD;QAChD,CAAC,OAAO,EAAE,WAAW,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,EACtD,UAAU,CACX,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;KACxF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"evidenceReconciliationFromSources.js","sourceRoot":"","sources":["../../src/assemble/evidenceReconciliationFromSources.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,qCAAqC,CAAC;AAI/E,OAAO,EAAE,mBAAmB,EAAqB,MAAM,0BAA0B,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AACjG,OAAO,EAAE,gBAAgB,EAAqB,MAAM,0BAA0B,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAuB,MAAM,4BAA4B,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,EAAE,oBAAoB,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAChG,OAAO,EAAE,eAAe,EAAwB,MAAM,6BAA6B,CAAC;AACpF,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,gBAAgB,EAChB,cAAc,GAEf,MAAM,4BAA4B,CAAC;AAYpC,SAAS,kBAAkB,CACzB,KAIC,EACD,MAAoB,EACpB,WAA2B,EAC3B,WAAoD,EACpD,UAAwC;IAExC,MAAM,wBAAwB,GAAG,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC;IAClE,OAAO;QACL,GAAG,KAAK,CAAC,mBAAmB;QAC5B,GAAG,iBAAiB,CAClB,MAAM,EACN,KAAK,CAAC,SAAS,EACf,WAAW,EACX,WAAW,EACX,UAAU,EACV,wBAAwB,CACzB;QACD,GAAG,mBAAmB,CAAC,KAAK,CAAC,YAAY,CAAC;KAC3C,CAAC;AACJ,CAAC;AA2BD,SAAS,gBAAgB,CAAC,KAAoC;IAC5D,MAAM,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IAC9B,MAAM,UAAU,GAAG,cAAc,CAC/B,KAAK,CAAC,SAAS,EACf,KAAK,CAAC,aAAa,IAAI,EAAE,EACzB,gBAAgB,CAAC,WAAW,CAAC,CAC9B,CAAC;IAEF,MAAM,OAAO,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC;IAE5C,MAAM,UAAU,GAAG,eAAe,CAChC,KAAK,CAAC,SAAS,EACf,KAAK,CAAC,aAAa,IAAI,EAAE,EACzB,KAAK,CAAC,oBAAoB,IAAI,EAAE,EAChC,WAAW,CACZ,CAAC;IAEF,OAAO;QACL,OAAO;QACP,UAAU;QACV,UAAU;QACV,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;KACnF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,KAAoC;IAEpC,MAAM,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IAC9B,MAAM,MAAM,GAAG,gBAAgB,CAC7B,KAAK,CAAC,cAAc,EACpB,mBAAmB,CAAC,WAAW,EAAE,KAAK,CAAC,YAAY,CAAC,CACrD,CAAC;IAEF,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAEhF,MAAM,cAAc,GAAG,wBAAwB,CAC7C,MAAM,CAAC,SAAS,EAChB,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,EACzE,CAAC,GAAG,KAAK,CAAC,iBAAiB,CAAC,EAC5B,IAAI,EACJ,IAAI,CACL,CAAC;IACF,OAAO,sBAAsB,CAC3B,wBAAwB,CACtB,kBAAkB,CAAC,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,EAC3G,WAAW,CACZ,EACD,KAAK,CACN,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,cAAsC,EACtC,WAA2B;IAE3B,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,oBAAoB,CAAC,WAAW,CAAC,CAAC;IACtE,OAAO;QACL,GAAG,cAAc;QACjB,OAAO,EAAE;YACP,GAAG,cAAc,CAAC,OAAO;YACzB,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,sBAAsB,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxE,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,wBAAwB,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC7E;KACF,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,cAAsC,EACtC,KAAoC;IAEpC,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,cAAc,CAAC;IAC5D,MAAM,KAAK,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IAC5G,OAAO;QACL,GAAG,cAAc;QACjB,kBAAkB,EAAE,oBAAoB,CAAC,KAAK,CAAC;QAC/C,sBAAsB,EAAE,wBAAwB,CAAC,KAAK,CAAC;KACxD,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,cAAsC,EACtC,MAAoB,EACpB,KAA0E,EAC1E,WAA2B,EAC3B,OAAwB,EACxB,UAA0B,EAC1B,UAA2B,EAC3B,UAA6C;IAE7C,OAAO,kBAAkB,CACvB,gBAAgB,CACd,oBAAoB,CAClB,qBAAqB,CACnB,iBAAiB,CAAC,cAAc,EAAE,KAAK,CAAC,SAAS,EAAE,WAAW,EAAE,OAAO,CAAC,EACxE,UAAU,CACX,EACD,UAAU,CACX,EACD,KAAK,EACL,WAAW,EACX,OAAO,CAAC,KAAK,EACb,UAAU,CACX,EACD,KAAK,CAAC,SAAS,EACf,WAAW,EACX,OAAO,CAAC,KAAK,EACb,UAAU,EACV,UAAU,CACX,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,cAAsC,EACtC,SAA4B,EAC5B,WAA2B,EAC3B,WAAoD,EACpD,UAA2B,EAC3B,UAA0B;IAE1B,MAAM,UAAU,GAAG,cAAc,CAC/B,SAAS,EACT,WAAW,EACX,WAAW,EACX,UAAU,CAAC,YAAY,EACvB,UAAU,CAAC,UAAU,CACtB,CAAC;IACF,IAAI,UAAU,CAAC,SAAS,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC;IACtD,OAAO;QACL,GAAG,cAAc;QACjB,OAAO,EAAE,EAAE,GAAG,cAAc,CAAC,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE;KACnE,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,cAAsC,EACtC,KAA0E,EAC1E,WAA2B,EAC3B,WAAoD,EACpD,UAA6C;IAE7C,MAAM,KAAK,GAAG,cAAc,CAC1B,KAAK,CAAC,SAAS,EACf,KAAK,CAAC,aAAa,IAAI,EAAE,EACzB,WAAW,EACX,WAAW,EACX,UAAU,CACX,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC;IAC9C,OAAO,EAAE,GAAG,cAAc,EAAE,OAAO,EAAE,EAAE,GAAG,cAAc,CAAC,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,EAAE,CAAC;AAC9F,CAAC;AAED,SAAS,qBAAqB,CAC5B,cAAsC,EACtC,UAA2B;IAE3B,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC;IACzD,OAAO;QACL,GAAG,cAAc;QACjB,OAAO,EAAE,EAAE,GAAG,cAAc,CAAC,OAAO,EAAE,eAAe,EAAE,UAAU,CAAC,KAAK,EAAE;KAC1E,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,cAAsC,EACtC,UAA0B;IAE1B,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,UAAU,CAAC;IAClD,OAAO;QACL,GAAG,cAAc;QACjB,OAAO,EAAE;YACP,GAAG,cAAc,CAAC,OAAO;YACzB,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3D,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACjF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,cAAsC,EACtC,SAA4B,EAC5B,WAA2B,EAC3B,EAAE,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAmB;IAEzD,MAAM,kBAAkB,GAAiC,iBAAiB,CACxE,SAAS,EACT,WAAW,EACX,WAAW,CACZ,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IAClD,OAAO;QACL,GAAG,cAAc;QACjB,OAAO,EAAE;YACP,GAAG,cAAc,CAAC,OAAO;YACzB,GAAG,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjC,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACrF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAoB,EACpB,SAA4B,EAC5B,WAA2B,EAC3B,WAAoD,EACpD,UAAwC,EACxC,wBAAiC;IAEjC,OAAO;QACL,GAAG,uBAAuB,CACxB,SAAS,EACT,WAAW,EACX,WAAW,EACX,CAAC,OAAO,EAAE,WAAW,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,EACtD,UAAU,CACX,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,wBAAwB,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;KACtE,CAAC;AACJ,CAAC"}