audit-tools 0.50.21 → 0.51.1

package/dist/shared/submission/ingestionChecks.js

@@ -0,0 +1,157 @@
+/**
+ * The ONE declared list of checks result ingestion performs before it accepts a
+ * host result — the source `docs/audit-pkg/contracts.md`'s check block is
+ * RENDERED from (`scripts/shared/generate-ingestion-checks.mjs`).
+ *
+ * WHY THIS EXISTS. The check set used to be written out by hand in three docs
+ * (the contracts page, the operator guide, the concurrent-runs design), and the
+ * three lists disagreed: only one named the result path, only one the strict
+ * result schema, only one the workload version. Nothing reconciled them, so
+ * whoever added a check added it to whichever doc they had open. Owner decision
+ * 2026-09-05 (nightly item l1-4): derive the list from the validator itself.
+ *
+ * The registry is LOAD-BEARING, not a fourth prose copy: every refusal a draw's
+ * ingestion emits cites one of these ids (`refuse(check, detail)`,
+ * `invalidResult(check, reason)`, a `check:` on an issue), the id type below
+ * refuses an unregistered citation at compile time, and
+ * `tests/shared/ingestion-checks-drift.test.ts` extracts the citations
+ * structurally and pins them against the declared `draws` in both directions —
+ * a row nothing cites is dead, and a citation nothing declares is an
+ * undocumented check.
+ *
+ * `cited_by` says WHERE the citation lives. The shared submission scan
+ * (`submissionScan.ts`) owns the path, read and duplicate checks for both
+ * draws; everything else is cited from the draw's own host-handoff module. Row
+ * order is the render order: envelope and binding first, then per-draw content
+ * checks, then corroboration, then the ledger.
+ *
+ * Keep every field a plain literal: the generator reads this file as TEXT
+ * through the TypeScript compiler API (no build, no import), and refuses a
+ * value it cannot read rather than rendering without it.
+ */
+export const INGESTION_DRAWS = [
+    { id: "audit", source: "src/audit/cli/dispatch/hostHandoff.ts" },
+    { id: "remediate", source: "src/remediate/steps/dispatch/hostHandoff.ts" },
+];
+/** Where the shared-cited checks live. */
+export const INGESTION_SHARED_SOURCE = "src/shared/submission/submissionScan.ts";
+export const INGESTION_CHECKS = [
+    {
+        id: "result_path",
+        verifies: "The submission is read only from the tool-derived bound path (`<run dir>/<sha256(work item id)>.json`) inside the run's artifacts directory; a result written anywhere else is never consulted.",
+        draws: ["audit", "remediate"],
+        cited_by: "shared",
+    },
+    {
+        id: "result_json",
+        verifies: "The bytes at the bound path parse as JSON.",
+        draws: ["audit", "remediate"],
+        cited_by: "shared",
+    },
+    {
+        id: "result_envelope",
+        verifies: "The top-level key set is exactly the draw's result contract and `contract_version` is the version the workload was issued under.",
+        draws: ["audit", "remediate"],
+        cited_by: "draw",
+    },
+    {
+        id: "identity_binding",
+        verifies: "`run_id` is the run that emitted the workload, `work_item_id` is the work item the result was read for, and `prompt_sha256` is the digest of the prompt that work item was issued with — an answer to another run, item or a stale prompt is refused.",
+        draws: ["audit", "remediate"],
+        cited_by: "draw",
+    },
+    {
+        id: "workload_binding",
+        verifies: "The persisted workload, result map and task bindings still derive from this run (versions, bound paths, prompt digests, scopes); a result cannot be accepted against a binding the tool cannot re-derive.",
+        draws: ["audit", "remediate"],
+        cited_by: "draw",
+    },
+    {
+        id: "file_coverage",
+        verifies: "`file_coverage` names exactly the assigned files, each fully reviewed, with `total_lines` equal to the line count bound at dispatch.",
+        draws: ["audit"],
+        cited_by: "draw",
+    },
+    {
+        id: "findings_contract",
+        verifies: "Every finding satisfies the audit finding contract (lens, ids, evidence shape).",
+        draws: ["audit"],
+        cited_by: "draw",
+    },
+    {
+        id: "result_schema",
+        verifies: "The bound result converts to the persisted `AuditResult` schema (`schemas/audit_result.schema.json`).",
+        draws: ["audit"],
+        cited_by: "draw",
+    },
+    {
+        id: "result_validation",
+        verifies: "The per-result content rules hold before acceptance (evidence present, line spans inside the file, line counts matching disk); warnings ride an advisory channel and never refuse.",
+        draws: ["audit"],
+        cited_by: "draw",
+    },
+    {
+        id: "outcome_shape",
+        verifies: "A decision result's `outcome` carries exactly the fields its status requires (`resolved_no_change` evidence, `blocked` failure reason, `needs_clarification` question).",
+        draws: ["remediate"],
+        cited_by: "draw",
+    },
+    {
+        id: "write_scope",
+        verifies: "`changed_files` is non-empty, sorted, unique and normalized, lies within the prompt-bound `allowed_files`, and equals the files the landed commit actually changed.",
+        draws: ["remediate"],
+        cited_by: "draw",
+    },
+    {
+        id: "commit_evidence",
+        verifies: "`commit_evidence` binds the workload baseline to a distinct landed commit; both exist, the baseline is an ancestor of the landed commit (waived only under a genuinely orphaned baseline in recovery), and the landed commit is reachable from HEAD.",
+        draws: ["remediate"],
+        cited_by: "draw",
+    },
+    {
+        id: "test_evidence",
+        verifies: "`test_evidence` carries exactly one passed entry per required test echoing the bound command, and the tool's own mechanical rerun of those tests passes.",
+        draws: ["remediate"],
+        cited_by: "draw",
+    },
+    {
+        id: "obligation_evidence",
+        verifies: "`obligation_evidence` cites non-empty evidence for every prompt-bound obligation, none twice, and none the work item does not bind.",
+        draws: ["remediate"],
+        cited_by: "draw",
+    },
+    {
+        id: "worktree_evidence",
+        verifies: "`worktree_evidence` binds the workload baseline and the same changed-file list, and no landed file overlaps dirt that pre-dated the run.",
+        draws: ["remediate"],
+        cited_by: "draw",
+    },
+    {
+        id: "landing_attestation",
+        verifies: "`acceptance` and `merge` both attest a completed landing.",
+        draws: ["remediate"],
+        cited_by: "draw",
+    },
+    {
+        id: "no_change_corroboration",
+        verifies: "A `resolved_no_change` claim is corroborated against git and the persisted write-scope binding; attestation-only acceptance is refused.",
+        draws: ["remediate"],
+        cited_by: "draw",
+    },
+    {
+        id: "duplicate_result",
+        verifies: "`result_id` has not already been accepted this run: a byte-identical replay is a no-op, a different body under an accepted id is refused.",
+        draws: ["audit", "remediate"],
+        cited_by: "shared",
+    },
+];
+/** The ids a draw declares, in registry order — draw-cited and shared-cited alike. */
+export function ingestionCheckIdsFor(draw) {
+    return INGESTION_CHECKS.filter((check) => check.draws.includes(draw)).map((check) => check.id);
+}
+/** The ids whose citation lives in the given place, in registry order. */
+export function ingestionCheckIdsCitedBy(citedBy, draw) {
+    return INGESTION_CHECKS.filter((check) => check.cited_by === citedBy &&
+        (draw === undefined || check.draws.includes(draw))).map((check) => check.id);
+}
+//# sourceMappingURL=ingestionChecks.js.map

package/dist/shared/submission/ingestionChecks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ingestionChecks.js","sourceRoot":"","sources":["../../../src/shared/submission/ingestionChecks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,uCAAuC,EAAE;IAChE,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,6CAA6C,EAAE;CAClE,CAAC;AAIX,0CAA0C;AAC1C,MAAM,CAAC,MAAM,uBAAuB,GAAG,yCAAyC,CAAC;AAWjF,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B;QACE,EAAE,EAAE,aAAa;QACjB,QAAQ,EACN,iMAAiM;QACnM,KAAK,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC;QAC7B,QAAQ,EAAE,QAAQ;KACnB;IACD;QACE,EAAE,EAAE,aAAa;QACjB,QAAQ,EAAE,4CAA4C;QACtD,KAAK,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC;QAC7B,QAAQ,EAAE,QAAQ;KACnB;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,QAAQ,EACN,kIAAkI;QACpI,KAAK,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC;QAC7B,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,QAAQ,EACN,uPAAuP;QACzP,KAAK,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC;QAC7B,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,QAAQ,EACN,2MAA2M;QAC7M,KAAK,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC;QAC7B,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,EAAE,EAAE,eAAe;QACnB,QAAQ,EACN,sIAAsI;QACxI,KAAK,EAAE,CAAC,OAAO,CAAC;QAChB,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,QAAQ,EAAE,iFAAiF;QAC3F,KAAK,EAAE,CAAC,OAAO,CAAC;QAChB,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,EAAE,EAAE,eAAe;QACnB,QAAQ,EACN,uGAAuG;QACzG,KAAK,EAAE,CAAC,OAAO,CAAC;QAChB,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,QAAQ,EACN,oLAAoL;QACtL,KAAK,EAAE,CAAC,OAAO,CAAC;QAChB,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,EAAE,EAAE,eAAe;QACnB,QAAQ,EACN,yKAAyK;QAC3K,KAAK,EAAE,CAAC,WAAW,CAAC;QACpB,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,EAAE,EAAE,aAAa;QACjB,QAAQ,EACN,qKAAqK;QACvK,KAAK,EAAE,CAAC,WAAW,CAAC;QACpB,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,QAAQ,EACN,sPAAsP;QACxP,KAAK,EAAE,CAAC,WAAW,CAAC;QACpB,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,EAAE,EAAE,eAAe;QACnB,QAAQ,EACN,0JAA0J;QAC5J,KAAK,EAAE,CAAC,WAAW,CAAC;QACpB,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,QAAQ,EACN,qIAAqI;QACvI,KAAK,EAAE,CAAC,WAAW,CAAC;QACpB,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,QAAQ,EACN,0IAA0I;QAC5I,KAAK,EAAE,CAAC,WAAW,CAAC;QACpB,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,QAAQ,EAAE,2DAA2D;QACrE,KAAK,EAAE,CAAC,WAAW,CAAC;QACpB,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,QAAQ,EACN,yIAAyI;QAC3I,KAAK,EAAE,CAAC,WAAW,CAAC;QACpB,QAAQ,EAAE,MAAM;KACjB;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,QAAQ,EACN,2IAA2I;QAC7I,KAAK,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC;QAC7B,QAAQ,EAAE,QAAQ;KACnB;CAC2C,CAAC;AAI/C,sFAAsF;AACtF,MAAM,UAAU,oBAAoB,CAAC,IAAmB;IACtD,OAAO,gBAAgB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CACtC,KAAK,CAAC,KAAkC,CAAC,QAAQ,CAAC,IAAI,CAAC,CACzD,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,wBAAwB,CACtC,OAAmC,EACnC,IAAoB;IAEpB,OAAO,gBAAgB,CAAC,MAAM,CAC5B,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,QAAQ,KAAK,OAAO;QAC1B,CAAC,IAAI,KAAK,SAAS,IAAK,KAAK,CAAC,KAAkC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CACnF,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC7B,CAAC"}

package/dist/shared/submission/submissionClassifier.d.ts

@@ -1,3 +1,4 @@
+import type { IngestionCheckId } from "./ingestionChecks.js";
 export declare const SUBMISSION_ISSUE_CODES: readonly ["submission_missing", "submission_malformed", "submission_contract_invalid", "submission_rejected", "duplicate_submission_id"];
 export type SubmissionIssueCode = (typeof SUBMISSION_ISSUE_CODES)[number];
 /**
@@ -15,6 +16,13 @@ export type SubmissionIssueCode = (typeof SUBMISSION_ISSUE_CODES)[number];
 export interface SubmissionIssue<TCode extends string = SubmissionIssueCode> {
     readonly code: TCode;
     readonly message: string;
+    /**
+     * The registered ingestion check this issue failed
+     * (`INGESTION_CHECKS`, ./ingestionChecks.ts) — the structured twin of the
+     * category the message opens with, so a host repairing the result does not
+     * have to parse prose to learn which check to fix.
+     */
+    readonly check?: IngestionCheckId;
     readonly submission_id?: string;
     readonly submission_path?: string;
     readonly work_item_id?: string;

package/dist/shared/submission/submissionClassifier.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"submissionClassifier.d.ts","sourceRoot":"","sources":["../../../src/shared/submission/submissionClassifier.ts"],"names":[],"mappings":"AAiBA,eAAO,MAAM,sBAAsB,0IAWzB,CAAC;AAEX,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1E;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,eAAe,CAAC,KAAK,SAAS,MAAM,GAAG,mBAAmB;IACzE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,gFAAgF;AAChF,MAAM,MAAM,qBAAqB,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC;AAExD;;;;;GAKG;AACH,wBAAsB,sBAAsB,CAC1C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CAqBhC;AAED,+EAA+E;AAC/E,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAC1B,OAAO,EAAE,qBAAqB,EAC9B,OAAO,EAAE,qBAAqB,GAC7B,eAAe,GAAG,IAAI,CAkBxB"}
+{"version":3,"file":"submissionClassifier.d.ts","sourceRoot":"","sources":["../../../src/shared/submission/submissionClassifier.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAE7D,eAAO,MAAM,sBAAsB,0IAWzB,CAAC;AAEX,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1E;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,eAAe,CAAC,KAAK,SAAS,MAAM,GAAG,mBAAmB;IACzE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;;;;;OAKG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,gFAAgF;AAChF,MAAM,MAAM,qBAAqB,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC;AAExD;;;;;GAKG;AACH,wBAAsB,sBAAsB,CAC1C,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,qBAAqB,CAAC,CAqBhC;AAED,+EAA+E;AAC/E,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAC1B,OAAO,EAAE,qBAAqB,EAC9B,OAAO,EAAE,qBAAqB,GAC7B,eAAe,GAAG,IAAI,CAkBxB"}

package/dist/shared/submission/submissionClassifier.js.map

@@ -1 +1 @@
-{"version":3,"file":"submissionClassifier.js","sourceRoot":"","sources":["../../../src/shared/submission/submissionClassifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,wCAAwC;IACxC,oBAAoB;IACpB,0DAA0D;IAC1D,sBAAsB;IACtB,kEAAkE;IAClE,6BAA6B;IAC7B,8DAA8D;IAC9D,qBAAqB;IACrB,yEAAyE;IACzE,yBAAyB;CACjB,CAAC;AA+BX;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,YAAoB;IAEpB,IAAI,MAAc,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACvD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7B,CAAC;QACD,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC/D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAY,EAAE,CAAC;IACjE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC/D,CAAC;IACJ,CAAC;AACH,CAAC;AASD;;;GAGG;AACH,MAAM,UAAU,YAAY,CAC1B,OAA8B,EAC9B,OAA8B;IAE9B,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,QAAQ,GAAG;QACf,aAAa,EAAE,OAAO,CAAC,YAAY;QACnC,eAAe,EAAE,OAAO,CAAC,cAAc;KAC/B,CAAC;IACX,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,SAAS,OAAO,CAAC,IAAI,uCAAuC;YACrE,GAAG,QAAQ;SACZ,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,OAAO,EAAE,SAAS,OAAO,CAAC,IAAI,wCAAwC,OAAO,CAAC,MAAM,EAAE;QACtF,GAAG,QAAQ;KACZ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"submissionClassifier.js","sourceRoot":"","sources":["../../../src/shared/submission/submissionClassifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAG5C,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,wCAAwC;IACxC,oBAAoB;IACpB,0DAA0D;IAC1D,sBAAsB;IACtB,kEAAkE;IAClE,6BAA6B;IAC7B,8DAA8D;IAC9D,qBAAqB;IACrB,yEAAyE;IACzE,yBAAyB;CACjB,CAAC;AAsCX;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,YAAoB;IAEpB,IAAI,MAAc,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACvD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7B,CAAC;QACD,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC/D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAY,EAAE,CAAC;IACjE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC/D,CAAC;IACJ,CAAC;AACH,CAAC;AASD;;;GAGG;AACH,MAAM,UAAU,YAAY,CAC1B,OAA8B,EAC9B,OAA8B;IAE9B,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,QAAQ,GAAG;QACf,aAAa,EAAE,OAAO,CAAC,YAAY;QACnC,eAAe,EAAE,OAAO,CAAC,cAAc;KAC/B,CAAC;IACX,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,SAAS,OAAO,CAAC,IAAI,uCAAuC;YACrE,GAAG,QAAQ;SACZ,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,OAAO,EAAE,SAAS,OAAO,CAAC,IAAI,wCAAwC,OAAO,CAAC,MAAM,EAAE;QACtF,GAAG,QAAQ;KACZ,CAAC;AACJ,CAAC"}

package/dist/shared/submission/submissionLedger.d.ts

@@ -1,7 +1,17 @@
+import type { MeasuredOutcome } from "../measurement/measuredOutcome.js";
 import type { SubmissionIssueCode } from "./submissionClassifier.js";
 export declare const SUBMISSION_LEDGER_EVENT_CONTRACT_VERSION: "submission-ledger-event/v1alpha1";
-export declare const SUBMISSION_EVENT_KINDS: readonly ["expected", "accepted", "rejected", "recovered_by_hand", "accepted_via_recovery", "removed_by_operator"];
+export declare const SUBMISSION_EVENT_KINDS: readonly ["expected", "accepted", "rejected", "recovered_by_hand", "accepted_via_recovery", "removed_by_operator", "dispatched", "lane_outcome"];
 export type SubmissionEventKind = (typeof SUBMISSION_EVENT_KINDS)[number];
+/** The kinds {@link isIngestEvent} admits, in declaration order. */
+export declare const INGEST_EVENT_KINDS: readonly SubmissionEventKind[];
+/**
+ * True when this kind records the tool having ingested something. The ONE home
+ * for "which events change a submission's trailing state": every
+ * last-event-per-submission reader asks it here rather than re-spelling an
+ * exclusion list that the next new kind would fall through.
+ */
+export declare function isIngestEvent(kind: SubmissionEventKind): boolean;
 /**
  * One ledger event. Generic over the DRAW's issue-code vocabulary: the base
  * parameterization carries the shared submission codes, and a draw extending
@@ -17,6 +27,19 @@ export interface SubmissionLedgerEvent<TIssueCode extends string = SubmissionIss
     readonly kind: SubmissionEventKind;
     readonly issue_code?: TIssueCode;
     readonly message?: string;
+    /**
+     * What a `lane_outcome` row observed at the bound path. Absent on every other
+     * kind — an ingest event's decision is its `kind`.
+     */
+    readonly outcome?: MeasuredOutcome;
+    /**
+     * The ROUND a `dispatched` (and its matching `lane_outcome`) row belongs to,
+     * when the emitter has one. Carried as DATA rather than parsed back out of a
+     * lane id, so a delivery rate is reported per round and a superseded round's
+     * lanes never drag the current round's rate down. Absent for lane families
+     * with no round of their own.
+     */
+    readonly round_id?: string;
     /** ISO-8601. A faithful event record is allowed to say when. */
     readonly recorded_at: string;
 }

package/dist/shared/submission/submissionLedger.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"submissionLedger.d.ts","sourceRoot":"","sources":["../../../src/shared/submission/submissionLedger.ts"],"names":[],"mappings":"AAyBA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAErE,eAAO,MAAM,wCAAwC,EACnD,kCAA2C,CAAC;AAE9C,eAAO,MAAM,sBAAsB,oHA0BzB,CAAC;AAEX,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1E;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB,CACpC,UAAU,SAAS,MAAM,GAAG,mBAAmB;IAE/C,QAAQ,CAAC,gBAAgB,EAAE,OAAO,wCAAwC,CAAC;IAC3E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,gEAAgE;IAChE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,4DAA4D;AAC5D,wBAAgB,oBAAoB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAEjE;AAcD;;;;GAIG;AACH,wBAAsB,qBAAqB,CACzC,UAAU,SAAS,MAAM,GAAG,mBAAmB,EAC/C,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,qBAAqB,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAQ/E;AAED,mDAAmD;AACnD,MAAM,MAAM,0BAA0B;AACpC,yEAAyE;AACvE,YAAY;AACd,sEAAsE;GACpE,yBAAyB,CAAC;AAE9B,uEAAuE;AACvE,MAAM,WAAW,oBAAoB;IACnC,uDAAuD;IACvD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAC;CAC7C;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,oBAAoB,GAAG,SAAS,qBAAqB,EAAE,GAAG;IACpE,QAAQ,CAAC,MAAM,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAClD,QAAQ,CAAC,OAAO,EAAE,SAAS,oBAAoB,EAAE,CAAC;CACnD,CAAC;AAqBF;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAsB,oBAAoB,CACxC,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,oBAAoB,CAAC,CA4C/B"}
+{"version":3,"file":"submissionLedger.d.ts","sourceRoot":"","sources":["../../../src/shared/submission/submissionLedger.ts"],"names":[],"mappings":"AAyBA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAErE,eAAO,MAAM,wCAAwC,EACnD,kCAA2C,CAAC;AAE9C,eAAO,MAAM,sBAAsB,kJAkDzB,CAAC;AAEX,MAAM,MAAM,mBAAmB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AA6B1E,oEAAoE;AACpE,eAAO,MAAM,kBAAkB,EAAE,SAAS,mBAAmB,EACQ,CAAC;AAEtE;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAEhE;AAED;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB,CACpC,UAAU,SAAS,MAAM,GAAG,mBAAmB;IAE/C,QAAQ,CAAC,gBAAgB,EAAE,OAAO,wCAAwC,CAAC;IAC3E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B;;;OAGG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IACnC;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,gEAAgE;IAChE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,4DAA4D;AAC5D,wBAAgB,oBAAoB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAEjE;AAcD;;;;GAIG;AACH,wBAAsB,qBAAqB,CACzC,UAAU,SAAS,MAAM,GAAG,mBAAmB,EAC/C,YAAY,EAAE,MAAM,EAAE,KAAK,EAAE,qBAAqB,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAQ/E;AAED,mDAAmD;AACnD,MAAM,MAAM,0BAA0B;AACpC,yEAAyE;AACvE,YAAY;AACd,sEAAsE;GACpE,yBAAyB,CAAC;AAE9B,uEAAuE;AACvE,MAAM,WAAW,oBAAoB;IACnC,uDAAuD;IACvD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAC;CAC7C;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,oBAAoB,GAAG,SAAS,qBAAqB,EAAE,GAAG;IACpE,QAAQ,CAAC,MAAM,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAClD,QAAQ,CAAC,OAAO,EAAE,SAAS,oBAAoB,EAAE,CAAC;CACnD,CAAC;AAqBF;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAsB,oBAAoB,CACxC,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,oBAAoB,CAAC,CA4C/B"}

package/dist/shared/submission/submissionLedger.js

@@ -48,7 +48,68 @@ export const SUBMISSION_EVENT_KINDS = [
      * is: a second event after a recorded withdrawal.
      */
     "removed_by_operator",
+    /**
+     * The tool WROTE this lane's prompt and declared its bound path — the lane
+     * was dispatched.
+     *
+     * Deliberately disjoint from `expected`. *Expecting* an artifact is a claim
+     * the tool will be owed something and will re-ask until it arrives;
+     * *dispatching* is a fact about the past. The perspective lanes of a deep
+     * conceptual pass are un-expected by design (P25: the tool never reads their
+     * findings, so an expectation against one could never be satisfied or
+     * dropped and accumulated as a permanent, false shortfall) — and were
+     * therefore invisible, so a lane that exited 0 having written nothing left no
+     * trace in any artifact. A dispatch row can never become a shortfall:
+     * shortfall is a diff over the expected SET, a path that never reads ledger
+     * events.
+     */
+    "dispatched",
+    /**
+     * What a dispatched lane actually delivered, observed once at the fold that
+     * ingests its round's terminal submission. Carries `outcome`. A `dispatched`
+     * row with no terminal row at all is the record of a lane that never
+     * delivered — the absence IS the statement — so nothing here ever mints a
+     * terminal row nobody observed.
+     */
+    "lane_outcome",
 ];
+/**
+ * Which kinds mean "the TOOL ingested this submission and decided about it".
+ *
+ * Exhaustive by construction, so a new kind must be classified rather than
+ * defaulting into either answer. This exists because several readers asked the
+ * question as `kind !== "expected"` — a partition that silently absorbed every
+ * future kind. Under it, a `dispatched` row appended when a refused lane is
+ * re-materialized would have become that submission's trailing event, deleting
+ * the refusal from `lastRefusals` (so a host whose submission was received and
+ * REJECTED is told it "submitted nothing") and making the report claim the
+ * refusal "was later accepted or re-landed by hand" when nothing had been.
+ */
+const EVENT_KIND_IS_INGEST = {
+    // A declaration, not an ingest.
+    expected: false,
+    // Facts about dispatch and delivery; the tool consumed nothing.
+    dispatched: false,
+    lane_outcome: false,
+    accepted: true,
+    rejected: true,
+    recovered_by_hand: true,
+    accepted_via_recovery: true,
+    // A withdrawal is a decision ABOUT an ingested submission, and it ends a
+    // refusal's trailing state exactly as an acceptance does.
+    removed_by_operator: true,
+};
+/** The kinds {@link isIngestEvent} admits, in declaration order. */
+export const INGEST_EVENT_KINDS = SUBMISSION_EVENT_KINDS.filter((kind) => EVENT_KIND_IS_INGEST[kind]);
+/**
+ * True when this kind records the tool having ingested something. The ONE home
+ * for "which events change a submission's trailing state": every
+ * last-event-per-submission reader asks it here rather than re-spelling an
+ * exclusion list that the next new kind would fall through.
+ */
+export function isIngestEvent(kind) {
+    return EVENT_KIND_IS_INGEST[kind];
+}
 /** `<artifactsDir>/submissions/submission-ledger.jsonl`. */
 export function submissionLedgerPath(artifactsDir) {
     return join(submissionsDir(artifactsDir), "submission-ledger.jsonl");

package/dist/shared/submission/submissionLedger.js.map

@@ -1 +1 @@
-{"version":3,"file":"submissionLedger.js","sourceRoot":"","sources":["../../../src/shared/submission/submissionLedger.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,8BAA8B,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAG1D,MAAM,CAAC,MAAM,wCAAwC,GACnD,kCAA2C,CAAC;AAE9C,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,yDAAyD;IACzD,UAAU;IACV,kDAAkD;IAClD,UAAU;IACV,oEAAoE;IACpE,UAAU;IACV,4EAA4E;IAC5E,mBAAmB;IACnB;;;;;;OAMG;IACH,uBAAuB;IACvB;;;;;;;OAOG;IACH,qBAAqB;CACb,CAAC;AAyBX,4DAA4D;AAC5D,MAAM,UAAU,oBAAoB,CAAC,YAAoB;IACvD,OAAO,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,EAAE,yBAAyB,CAAC,CAAC;AACvE,CAAC;AAED,+EAA+E;AAC/E,kFAAkF;AAClF,gFAAgF;AAChF,2EAA2E;AAC3E,gFAAgF;AAChF,+EAA+E;AAC/E,4EAA4E;AAC5E,uCAAuC;AACvC,SAAS,cAAc,CAAC,UAAkB;IACxC,OAAO,eAAe,CAAC,UAAU,CAAC,CAAC;AACrC,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAEzC,YAAoB,EAAE,KAAwC;IAC9D,MAAM,UAAU,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAC;IACtD,MAAM,YAAY,CAChB,cAAc,CAAC,UAAU,CAAC,EAC1B,KAAK,IAAI,EAAE;QACT,MAAM,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC,CACF,CAAC;AACJ,CAAC;AAqCD,SAAS,UAAU,CACjB,MAA+B,EAC/B,OAA+B;IAE/B,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,QAAQ,EAAE;QACtC,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,KAAK;KAClB,CAAC,CAAC;IACH,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,EAAE;QACvC,KAAK,EAAE,OAAO;QACd,UAAU,EAAE,KAAK;KAClB,CAAC,CAAC;IACH,2EAA2E;IAC3E,6EAA6E;IAC7E,sEAAsE;IACtE,mEAAmE;IACnE,OAAO,MAAyC,CAAC;AACnD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,YAAoB;IAEpB,IAAI,OAAe,CAAC;IACpB,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,QAAQ,CAAC,oBAAoB,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC,CAAC;IACvE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC5B,CAAC;IACD,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,8EAA8E;IAC9E,uEAAuE;IACvE,oBAAoB;IACpB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3C,UAAU,IAAI,CAAC,CAAC;QAChB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACvC,IAAI,MAA6B,CAAC;QAClC,IAAI,CAAC;YACH,MAAM,KAAK,GAAY,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACxC,yEAAyE;YACzE,wEAAwE;YACxE,sEAAsE;YACtE,uEAAuE;YACvE,+CAA+C;YAC/C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;gBACzD,SAAS;YACX,CAAC;YACD,MAAM,GAAG,KAA8B,CAAC;QAC1C,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;YACzD,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,8BAA8B,CAC1C,MAAM,EACN,wCAAwC,CACzC,CAAC;QACF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,yBAAyB,EAAE,CAAC,CAAC;YACtE,SAAS;QACX,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AACrC,CAAC"}
+{"version":3,"file":"submissionLedger.js","sourceRoot":"","sources":["../../../src/shared/submission/submissionLedger.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,8BAA8B,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAI1D,MAAM,CAAC,MAAM,wCAAwC,GACnD,kCAA2C,CAAC;AAE9C,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,yDAAyD;IACzD,UAAU;IACV,kDAAkD;IAClD,UAAU;IACV,oEAAoE;IACpE,UAAU;IACV,4EAA4E;IAC5E,mBAAmB;IACnB;;;;;;OAMG;IACH,uBAAuB;IACvB;;;;;;;OAOG;IACH,qBAAqB;IACrB;;;;;;;;;;;;;;OAcG;IACH,YAAY;IACZ;;;;;;OAMG;IACH,cAAc;CACN,CAAC;AAIX;;;;;;;;;;;GAWG;AACH,MAAM,oBAAoB,GAAyC;IACjE,gCAAgC;IAChC,QAAQ,EAAE,KAAK;IACf,gEAAgE;IAChE,UAAU,EAAE,KAAK;IACjB,YAAY,EAAE,KAAK;IACnB,QAAQ,EAAE,IAAI;IACd,QAAQ,EAAE,IAAI;IACd,iBAAiB,EAAE,IAAI;IACvB,qBAAqB,EAAE,IAAI;IAC3B,yEAAyE;IACzE,0DAA0D;IAC1D,mBAAmB,EAAE,IAAI;CAC1B,CAAC;AAEF,oEAAoE;AACpE,MAAM,CAAC,MAAM,kBAAkB,GAC7B,sBAAsB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;AAEtE;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,IAAyB;IACrD,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAoCD,4DAA4D;AAC5D,MAAM,UAAU,oBAAoB,CAAC,YAAoB;IACvD,OAAO,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,EAAE,yBAAyB,CAAC,CAAC;AACvE,CAAC;AAED,+EAA+E;AAC/E,kFAAkF;AAClF,gFAAgF;AAChF,2EAA2E;AAC3E,gFAAgF;AAChF,+EAA+E;AAC/E,4EAA4E;AAC5E,uCAAuC;AACvC,SAAS,cAAc,CAAC,UAAkB;IACxC,OAAO,eAAe,CAAC,UAAU,CAAC,CAAC;AACrC,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAEzC,YAAoB,EAAE,KAAwC;IAC9D,MAAM,UAAU,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAC;IACtD,MAAM,YAAY,CAChB,cAAc,CAAC,UAAU,CAAC,EAC1B,KAAK,IAAI,EAAE;QACT,MAAM,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC,CACF,CAAC;AACJ,CAAC;AAqCD,SAAS,UAAU,CACjB,MAA+B,EAC/B,OAA+B;IAE/B,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,QAAQ,EAAE;QACtC,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,KAAK;KAClB,CAAC,CAAC;IACH,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,EAAE;QACvC,KAAK,EAAE,OAAO;QACd,UAAU,EAAE,KAAK;KAClB,CAAC,CAAC;IACH,2EAA2E;IAC3E,6EAA6E;IAC7E,sEAAsE;IACtE,mEAAmE;IACnE,OAAO,MAAyC,CAAC;AACnD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,YAAoB;IAEpB,IAAI,OAAe,CAAC;IACpB,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,QAAQ,CAAC,oBAAoB,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC,CAAC;IACvE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC5B,CAAC;IACD,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,8EAA8E;IAC9E,uEAAuE;IACvE,oBAAoB;IACpB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3C,UAAU,IAAI,CAAC,CAAC;QAChB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACvC,IAAI,MAA6B,CAAC;QAClC,IAAI,CAAC;YACH,MAAM,KAAK,GAAY,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACxC,yEAAyE;YACzE,wEAAwE;YACxE,sEAAsE;YACtE,uEAAuE;YACvE,+CAA+C;YAC/C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;gBACzD,SAAS;YACX,CAAC;YACD,MAAM,GAAG,KAA8B,CAAC;QAC1C,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;YACzD,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,8BAA8B,CAC1C,MAAM,EACN,wCAAwC,CACzC,CAAC;QACF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,yBAAyB,EAAE,CAAC,CAAC;YACtE,SAAS;QACX,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AACrC,CAAC"}

package/dist/shared/submission/submissionScan.d.ts

@@ -26,6 +26,7 @@
  *   fresh per-call set and consumes at parse. This scan only CHECKS.
  */
 import { type SubmissionIssue } from "./submissionClassifier.js";
+import type { IngestionCheckId } from "./ingestionChecks.js";
 /**
  * The domain parser's answer, normalized. `detail` is handed straight to the
  * draw's `contractInvalid` renderer — the scan never composes refusal prose of
@@ -36,6 +37,7 @@ export type SubmissionParse<TParsed> = {
     readonly parsed: TParsed;
 } | {
     readonly ok: false;
+    readonly check: IngestionCheckId;
     readonly detail: string;
 };
 /**

package/dist/shared/submission/submissionScan.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"submissionScan.d.ts","sourceRoot":"","sources":["../../../src/shared/submission/submissionScan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAIH,OAAO,EAEL,KAAK,eAAe,EACrB,MAAM,2BAA2B,CAAC;AAGnC;;;;GAIG;AACH,MAAM,MAAM,eAAe,CAAC,OAAO,IAC/B;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpD;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,wCAAwC;IACxC,QAAQ,CAAC,OAAO,EAAE,MAAM,MAAM,CAAC;IAC/B,qEAAqE;IACrE,QAAQ,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC;IAC/C,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC;IACrD,yEAAyE;IACzE,QAAQ,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC;CAClD;AAED,yEAAyE;AACzE,MAAM,MAAM,qBAAqB,CAAC,OAAO,IACrC;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAA;CAAE,CAAC;AAE5D;;;;GAIG;AACH,wBAAsB,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE;IACzD,wEAAwE;IACxE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,oEAAoE;IACpE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,4EAA4E;IAC5E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,6EAA6E;IAC7E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,2CAA2C;IAC3C,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,eAAe,CAAC,OAAO,CAAC,CAAC;IAC7D,iEAAiE;IACjE,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,MAAM,CAAC;IAC/C,wEAAwE;IACxE,QAAQ,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;CAC3C,GAAG,OAAO,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CA2D1C"}
+{"version":3,"file":"submissionScan.d.ts","sourceRoot":"","sources":["../../../src/shared/submission/submissionScan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAIH,OAAO,EAEL,KAAK,eAAe,EACrB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAE7D;;;;GAIG;AACH,MAAM,MAAM,eAAe,CAAC,OAAO,IAC/B;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtF;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,wCAAwC;IACxC,QAAQ,CAAC,OAAO,EAAE,MAAM,MAAM,CAAC;IAC/B,qEAAqE;IACrE,QAAQ,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC;IAC/C,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC;IACrD,yEAAyE;IACzE,QAAQ,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC;CAClD;AAED,yEAAyE;AACzE,MAAM,MAAM,qBAAqB,CAAC,OAAO,IACrC;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAA;CAAE,CAAC;AAE5D;;;;GAIG;AACH,wBAAsB,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE;IACzD,wEAAwE;IACxE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,oEAAoE;IACpE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,4EAA4E;IAC5E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,6EAA6E;IAC7E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,2CAA2C;IAC3C,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,eAAe,CAAC,OAAO,CAAC,CAAC;IAC7D,iEAAiE;IACjE,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,MAAM,CAAC;IAC/C,wEAAwE;IACxE,QAAQ,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC;CAC3C,GAAG,OAAO,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CA+D1C"}

package/dist/shared/submission/submissionScan.js

@@ -51,6 +51,7 @@ export async function scanBoundSubmission(params) {
             ok: false,
             issue: {
                 code: "submission_missing",
+                check: "result_path",
                 message: params.messages.missing(),
                 ...locators,
             },
@@ -61,6 +62,7 @@ export async function scanBoundSubmission(params) {
             ok: false,
             issue: {
                 code: "submission_malformed",
+                check: "result_json",
                 message: params.messages.malformed(read.detail),
                 ...locators,
             },
@@ -72,6 +74,7 @@ export async function scanBoundSubmission(params) {
             ok: false,
             issue: {
                 code: "submission_contract_invalid",
+                check: parsed.check,
                 message: params.messages.contractInvalid(parsed.detail),
                 ...locators,
             },
@@ -83,6 +86,7 @@ export async function scanBoundSubmission(params) {
             ok: false,
             issue: {
                 code: "duplicate_submission_id",
+                check: "duplicate_result",
                 message: params.messages.duplicate(resultId),
                 ...locators,
             },

package/dist/shared/submission/submissionScan.js.map

@@ -1 +1 @@
-{"version":3,"file":"submissionScan.js","sourceRoot":"","sources":["../../../src/shared/submission/submissionScan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,2EAA2E;AAC3E,2EAA2E;AAC3E,gEAAgE;AAChE,OAAO,EACL,sBAAsB,GAEvB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAgC/D;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAU,MAgBlD;IACC,MAAM,QAAQ,GAAG;QACf,YAAY,EAAE,MAAM,CAAC,UAAU;QAC/B,WAAW,EAAE,MAAM,CAAC,UAAU;KACtB,CAAC;IACX,MAAM,KAAK,GAAG,mBAAmB,MAAM,CAAC,UAAU,EAAE,CAAC;IACrD,MAAM,YAAY,GAAG,oBAAoB,CACvC,MAAM,CAAC,IAAI,EACX,MAAM,CAAC,UAAU,EACjB,KAAK,CACN,CAAC;IACF,2EAA2E;IAC3E,6EAA6E;IAC7E,oBAAoB,CAAC,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;IAE/D,MAAM,IAAI,GAAG,MAAM,sBAAsB,CAAC,YAAY,CAAC,CAAC;IACxD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE;gBACL,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE;gBAClC,GAAG,QAAQ;aACZ;SACF,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE;gBACL,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC;gBAC/C,GAAG,QAAQ;aACZ;SACF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE;gBACL,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC;gBACvD,GAAG,QAAQ;aACZ;SACF,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE;gBACL,IAAI,EAAE,yBAAyB;gBAC/B,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC;gBAC5C,GAAG,QAAQ;aACZ;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;AAC7C,CAAC"}
+{"version":3,"file":"submissionScan.js","sourceRoot":"","sources":["../../../src/shared/submission/submissionScan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,2EAA2E;AAC3E,2EAA2E;AAC3E,gEAAgE;AAChE,OAAO,EACL,sBAAsB,GAEvB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAiC/D;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAU,MAgBlD;IACC,MAAM,QAAQ,GAAG;QACf,YAAY,EAAE,MAAM,CAAC,UAAU;QAC/B,WAAW,EAAE,MAAM,CAAC,UAAU;KACtB,CAAC;IACX,MAAM,KAAK,GAAG,mBAAmB,MAAM,CAAC,UAAU,EAAE,CAAC;IACrD,MAAM,YAAY,GAAG,oBAAoB,CACvC,MAAM,CAAC,IAAI,EACX,MAAM,CAAC,UAAU,EACjB,KAAK,CACN,CAAC;IACF,2EAA2E;IAC3E,6EAA6E;IAC7E,oBAAoB,CAAC,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;IAE/D,MAAM,IAAI,GAAG,MAAM,sBAAsB,CAAC,YAAY,CAAC,CAAC;IACxD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE;gBACL,IAAI,EAAE,oBAAoB;gBAC1B,KAAK,EAAE,aAAa;gBACpB,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE;gBAClC,GAAG,QAAQ;aACZ;SACF,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE;gBACL,IAAI,EAAE,sBAAsB;gBAC5B,KAAK,EAAE,aAAa;gBACpB,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC;gBAC/C,GAAG,QAAQ;aACZ;SACF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE;gBACL,IAAI,EAAE,6BAA6B;gBACnC,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC;gBACvD,GAAG,QAAQ;aACZ;SACF,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE;gBACL,IAAI,EAAE,yBAAyB;gBAC/B,KAAK,EAAE,kBAAkB;gBACzB,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC;gBAC5C,GAAG,QAAQ;aACZ;SACF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;AAC7C,CAAC"}

package/dist/shared/tooling/projectFacts.d.ts

@@ -0,0 +1,71 @@
+import { type ClosingAction } from "../types/closingActions.js";
+import { type ProjectCommands } from "./testCommand.js";
+/**
+ * Deterministic project facts a remediation run detects at intake (owner
+ * decision 92b0e2dd7cfdc06d, 2026-08-31): the project type and the closing
+ * actions the repository's shape makes APPROPRIATE. These are candidates the
+ * tool PRESENTS at the intent checkpoint; the user always chooses. Nothing
+ * here selects a closing action, and no caller may treat the first candidate
+ * as a default — an unchosen action is `none`.
+ *
+ * Signals are recorded so the presentation can say WHY a candidate is offered
+ * ("a remote named origin exists", "package.json is private"). Remote NAMES
+ * only, never URLs: a remote URL may carry a token.
+ */
+export interface ProjectSignals {
+    /** `root` is inside a git working tree. */
+    git_repo: boolean;
+    /** Configured git remote names (never URLs). Empty when not a repo. */
+    remotes: string[];
+    /** Manifest files present at the root, repo-relative. */
+    manifests: string[];
+    /** package.json `private`; null when there is no package.json. */
+    package_private: boolean | null;
+    /** package.json carries a name and a version and is not private. */
+    package_publishable: boolean;
+    /** npm scripts whose name starts with `release` or `publish`. */
+    release_scripts: string[];
+    /** CI configuration present at the root, repo-relative. */
+    ci_config: string[];
+}
+export interface ProjectFacts {
+    /**
+     * Ecosystem label derived from the manifests present — `node`, `python`,
+     * `go`, `rust`, a `+`-joined mix of those in that order, or `unknown`.
+     */
+    project_type: string;
+    /**
+     * The closing actions the detected facts make appropriate, in
+     * `CLOSING_ACTIONS` order. `none` and `custom` are always present: doing
+     * nothing and running an operator command are appropriate for every repo.
+     */
+    candidate_closing_actions: ClosingAction[];
+    /** One line per candidate saying which fact offers it. */
+    candidate_rationale: Partial<Record<ClosingAction, string>>;
+    signals: ProjectSignals;
+    /** Test / e2e / build / lint argv discovered from the manifests. */
+    commands: ProjectCommands;
+}
+/**
+ * Derive the candidate closing actions from the signals. Pure, so the rule is
+ * testable without a filesystem; `detectProjectFacts` is the only production
+ * caller.
+ */
+export declare function candidateClosingActions(signals: ProjectSignals): {
+    candidates: ClosingAction[];
+    rationale: Partial<Record<ClosingAction, string>>;
+};
+/**
+ * Detect the project facts for `root`. Deterministic and degrade-to-empty:
+ * a missing manifest, an unreadable one, or an absent git binary narrows the
+ * facts; it never throws.
+ */
+export declare function detectProjectFacts(root: string): Promise<ProjectFacts>;
+/**
+ * The facts a run has when nothing was detected — an unknown type and only
+ * the two actions appropriate for every repository. Planning falls back to
+ * this when no persisted facts exist; it never detects on its own, because
+ * detection spawns git and planning is backend-independent by contract.
+ */
+export declare function neutralProjectFacts(): ProjectFacts;
+//# sourceMappingURL=projectFacts.d.ts.map

package/dist/shared/tooling/projectFacts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"projectFacts.d.ts","sourceRoot":"","sources":["../../../src/shared/tooling/projectFacts.ts"],"names":[],"mappings":"AAGA,OAAO,EAAmB,KAAK,aAAa,EAAE,MAAM,4BAA4B,CAAC;AACjF,OAAO,EAA2B,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEjF;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,cAAc;IAC7B,2CAA2C;IAC3C,QAAQ,EAAE,OAAO,CAAC;IAClB,uEAAuE;IACvE,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,yDAAyD;IACzD,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,kEAAkE;IAClE,eAAe,EAAE,OAAO,GAAG,IAAI,CAAC;IAChC,oEAAoE;IACpE,mBAAmB,EAAE,OAAO,CAAC;IAC7B,iEAAiE;IACjE,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,2DAA2D;IAC3D,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,YAAY;IAC3B;;;OAGG;IACH,YAAY,EAAE,MAAM,CAAC;IACrB;;;;OAIG;IACH,yBAAyB,EAAE,aAAa,EAAE,CAAC;IAC3C,0DAA0D;IAC1D,mBAAmB,EAAE,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5D,OAAO,EAAE,cAAc,CAAC;IACxB,oEAAoE;IACpE,QAAQ,EAAE,eAAe,CAAC;CAC3B;AAwDD;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,cAAc,GACtB;IAAE,UAAU,EAAE,aAAa,EAAE,CAAC;IAAC,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAA;CAAE,CA+BpF;AAED;;;;GAIG;AACH,wBAAsB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CA8B5E;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,IAAI,YAAY,CAkBlD"}

package/dist/shared/tooling/projectFacts.js

@@ -0,0 +1,153 @@
+import { existsSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+import { gitRemotes, isGitRepo } from "../git.js";
+import { CLOSING_ACTIONS } from "../types/closingActions.js";
+import { discoverProjectCommands } from "./testCommand.js";
+const MANIFESTS = [
+    { file: "package.json", ecosystem: "node" },
+    { file: "pyproject.toml", ecosystem: "python" },
+    { file: "setup.py", ecosystem: "python" },
+    { file: "pytest.ini", ecosystem: "python" },
+    { file: "go.mod", ecosystem: "go" },
+    { file: "Cargo.toml", ecosystem: "rust" },
+];
+const ECOSYSTEM_ORDER = ["node", "python", "go", "rust"];
+const CI_CONFIG = [
+    ".github/workflows",
+    ".gitlab-ci.yml",
+    "azure-pipelines.yml",
+    "Jenkinsfile",
+    ".circleci/config.yml",
+    "bitbucket-pipelines.yml",
+];
+/** The manifests that mark a package as publishable to a registry by shape alone. */
+const PUBLISHABLE_MANIFESTS = new Set(["pyproject.toml", "Cargo.toml"]);
+function readPackageJson(root) {
+    const path = join(root, "package.json");
+    if (!existsSync(path))
+        return null;
+    try {
+        const parsed = JSON.parse(readFileSync(path, "utf8"));
+        return parsed !== null && typeof parsed === "object" && !Array.isArray(parsed)
+            ? parsed
+            : null;
+    }
+    catch {
+        // A malformed manifest degrades to "no manifest facts", never a throw —
+        // detection must not fail an intake.
+        return null;
+    }
+}
+function releaseScripts(pkg) {
+    const scripts = pkg?.scripts;
+    if (scripts === null || typeof scripts !== "object")
+        return [];
+    return Object.keys(scripts)
+        .filter((name) => /^(release|publish)/.test(name))
+        .sort();
+}
+function projectTypeFrom(manifests) {
+    const present = new Set(MANIFESTS.filter((m) => manifests.includes(m.file)).map((m) => m.ecosystem));
+    const ordered = ECOSYSTEM_ORDER.filter((e) => present.has(e));
+    return ordered.length === 0 ? "unknown" : ordered.join("+");
+}
+/**
+ * Derive the candidate closing actions from the signals. Pure, so the rule is
+ * testable without a filesystem; `detectProjectFacts` is the only production
+ * caller.
+ */
+export function candidateClosingActions(signals) {
+    const rationale = {};
+    const offered = new Set(["none", "custom"]);
+    rationale.none = "do nothing after the fixes land in the working tree";
+    rationale.custom = "run an operator-supplied command; attach it when the close phase asks for confirmation";
+    if (signals.git_repo) {
+        offered.add("commit");
+        rationale.commit = "the root is a git working tree";
+        offered.add("tag");
+        rationale.tag = "the root is a git working tree";
+        if (signals.remotes.length > 0) {
+            const named = signals.remotes.join(", ");
+            offered.add("push");
+            rationale.push = `a git remote exists (${named})`;
+            offered.add("open-pr");
+            rationale["open-pr"] = `a git remote exists (${named})`;
+        }
+    }
+    const publishableManifest = signals.manifests.find((m) => PUBLISHABLE_MANIFESTS.has(m));
+    if (signals.package_publishable) {
+        offered.add("publish");
+        rationale.publish = "package.json carries a name and a version and is not private";
+    }
+    else if (publishableManifest) {
+        offered.add("publish");
+        rationale.publish = `${publishableManifest} is present`;
+    }
+    else if (signals.release_scripts.length > 0) {
+        offered.add("publish");
+        rationale.publish = `release scripts exist (${signals.release_scripts.join(", ")})`;
+    }
+    const candidates = CLOSING_ACTIONS.filter((action) => offered.has(action));
+    return { candidates, rationale };
+}
+/**
+ * Detect the project facts for `root`. Deterministic and degrade-to-empty:
+ * a missing manifest, an unreadable one, or an absent git binary narrows the
+ * facts; it never throws.
+ */
+export async function detectProjectFacts(root) {
+    const manifests = MANIFESTS.map((m) => m.file).filter((file) => existsSync(join(root, file)));
+    const pkg = readPackageJson(root);
+    const packagePrivate = pkg === null ? null : pkg.private === true;
+    const packagePublishable = pkg !== null &&
+        packagePrivate === false &&
+        typeof pkg.name === "string" &&
+        pkg.name.length > 0 &&
+        typeof pkg.version === "string" &&
+        pkg.version.length > 0;
+    const gitRepo = await isGitRepo(root);
+    const remotes = gitRepo ? await gitRemotes(root) : [];
+    const signals = {
+        git_repo: gitRepo,
+        remotes,
+        manifests,
+        package_private: packagePrivate,
+        package_publishable: packagePublishable,
+        release_scripts: releaseScripts(pkg),
+        ci_config: CI_CONFIG.filter((entry) => existsSync(join(root, entry))),
+    };
+    const { candidates, rationale } = candidateClosingActions(signals);
+    return {
+        project_type: projectTypeFrom(manifests),
+        candidate_closing_actions: candidates,
+        candidate_rationale: rationale,
+        signals,
+        commands: discoverProjectCommands(root),
+    };
+}
+/**
+ * The facts a run has when nothing was detected — an unknown type and only
+ * the two actions appropriate for every repository. Planning falls back to
+ * this when no persisted facts exist; it never detects on its own, because
+ * detection spawns git and planning is backend-independent by contract.
+ */
+export function neutralProjectFacts() {
+    const signals = {
+        git_repo: false,
+        remotes: [],
+        manifests: [],
+        package_private: null,
+        package_publishable: false,
+        release_scripts: [],
+        ci_config: [],
+    };
+    const { candidates, rationale } = candidateClosingActions(signals);
+    return {
+        project_type: "unknown",
+        candidate_closing_actions: candidates,
+        candidate_rationale: rationale,
+        signals,
+        commands: {},
+    };
+}
+//# sourceMappingURL=projectFacts.js.map