audit-tools 0.42.1 → 0.44.0

package/dist/shared/analyzers/types.d.ts

@@ -111,17 +111,93 @@ export declare const ExternalAnalyzerOwnershipRootSchema: z.ZodObject<{
     confidence?: number | undefined;
     kind?: string | undefined;
 }>;
+/**
+ * The analyzer status vocabulary, single-sourced (artifact:analyzer-status-vocabulary).
+ * The zod enum below is BUILT from this tuple, so there is exactly one place a member
+ * is added — and {@link EXTERNAL_ANALYZER_STATUS_CLASSIFICATION} below is an exhaustive
+ * `Record` over it, so widening the tuple without classifying the new member is a
+ * COMPILE error rather than a silent fall-through to "the run was fine".
+ */
+export declare const EXTERNAL_ANALYZER_TOOL_STATUSES: readonly ["skipped", "success", "findings", "not_resolved", "spawn_error", "parse_error", "failed", "checksum_mismatch"];
+export type ExternalAnalyzerToolStatusValue = (typeof EXTERNAL_ANALYZER_TOOL_STATUSES)[number];
+/**
+ * What each status says about COVERAGE — the question every consumer of a status
+ * record is really asking. `clean` is the ONLY value that may be read as "this tool
+ * ran and found nothing"; `degraded` means the tool ran but its output cannot be
+ * trusted as coverage; `not_run` means no coverage was produced at all.
+ *
+ * Exhaustive by construction: adding a member to
+ * {@link EXTERNAL_ANALYZER_TOOL_STATUSES} without adding its row here fails
+ * `npm run check`, so a new status can never default into `clean`.
+ */
+/**
+ * What a status says about coverage. Named as a type so the vocabulary has ONE
+ * home and every consumer of the classification speaks it by name.
+ */
+export type ExternalAnalyzerCoverage = "clean" | "findings" | "degraded" | "not_run";
+/**
+ * True when a coverage class means NO trustworthy coverage was produced — the
+ * single member-level answer. Both consumers ask it here rather than each
+ * re-typing `=== "degraded" || === "not_run"`, so widening the coverage
+ * vocabulary is one edit guarded by a compile error, never a silent divergence
+ * between two copies of the same comparison.
+ */
+export declare function isNonCleanAnalyzerCoverage(coverage: ExternalAnalyzerCoverage): boolean;
+export declare const EXTERNAL_ANALYZER_STATUS_CLASSIFICATION: Record<ExternalAnalyzerToolStatusValue, ExternalAnalyzerCoverage>;
+/**
+ * True when a RECORD means "this tool did not produce trustworthy coverage".
+ *
+ * The status member alone cannot answer this, because degradation is not always
+ * terminal: a run can exit non-zero, fail to parse, or drop rows and STILL surface
+ * some items, which lands it on `findings` — an affirmative member describing a
+ * partially-crashed run. Asking the member in isolation reports such a run as
+ * trustworthy, which is the same success-shaped-empty mistake one level up.
+ *
+ * So the question is asked of the whole record: degraded when the member says so, OR
+ * when the record carries a marker that findings were LOST —
+ *  - a non-zero exit, or a NULL exit (killed by a signal, never exited on its own);
+ *  - `dropped_rows` (parser rows plus normalizer items the run failed to report).
+ *
+ * `source_read_failures` is deliberately NOT in that set. Provenance is optional
+ * everywhere on this contract: an item whose anchor could not be resolved is still a
+ * fully reported lead, so an unresolved anchor is a weaker join key, not lost
+ * coverage. It stays on the record because it is worth surfacing; it just does not
+ * make the run untrustworthy.
+ *
+ * {@link EXTERNAL_ANALYZER_STATUS_CLASSIFICATION} remains the status-MEMBER map and
+ * the compile gate; this is the consumer-facing answer.
+ */
+export declare function isDegradedExternalAnalyzerStatus(record: Pick<ExternalAnalyzerToolStatus, "status" | "exit_code" | "dropped_rows">): boolean;
 export declare const ExternalAnalyzerToolStatusSchema: z.ZodObject<{
     tool: z.ZodString;
     command: z.ZodOptional<z.ZodString>;
     resolved: z.ZodBoolean;
-    status: z.ZodEnum<["skipped", "success", "findings", "not_resolved", "spawn_error", "parse_error", "failed"]>;
+    status: z.ZodEnum<["skipped", "success", "findings", "not_resolved", "spawn_error", "parse_error", "failed", "checksum_mismatch"]>;
     exit_code: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
     error: z.ZodOptional<z.ZodString>;
     output_snippet: z.ZodOptional<z.ZodString>;
+    /**
+     * The tool's own stderr, bounded. Present whenever stderr carried text — it is
+     * the only post-run evidence of WHY a non-zero exit or a stderr-only run failed.
+     */
+    stderr_snippet: z.ZodOptional<z.ZodString>;
+    /**
+     * Everything this run failed to report, as ONE count: rows the parser understood
+     * the shape of but could not use (malformed CSV/JSON rows), PLUS items the
+     * normalizer discarded for a missing path or summary. The engine merges the two
+     * because they are the same question to a consumer — how much did this run lose?
+     * A non-zero count means the run under-reports; it is never a clean scan.
+     */
+    dropped_rows: z.ZodOptional<z.ZodNumber>;
+    /**
+     * Items that named a path + line but whose source could not be read, so their
+     * content-anchored provenance was dropped. Distinguishes a broken read seam from
+     * a tool that legitimately reports no line numbers.
+     */
+    source_read_failures: z.ZodOptional<z.ZodNumber>;
     duration_ms: z.ZodOptional<z.ZodNumber>;
 }, "strict", z.ZodTypeAny, {
-    status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error";
+    status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error" | "checksum_mismatch";
     resolved: boolean;
     tool: string;
     error?: string | undefined;
@@ -129,8 +205,11 @@ export declare const ExternalAnalyzerToolStatusSchema: z.ZodObject<{
     duration_ms?: number | undefined;
     exit_code?: number | null | undefined;
     output_snippet?: string | undefined;
+    stderr_snippet?: string | undefined;
+    dropped_rows?: number | undefined;
+    source_read_failures?: number | undefined;
 }, {
-    status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error";
+    status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error" | "checksum_mismatch";
     resolved: boolean;
     tool: string;
     error?: string | undefined;
@@ -138,8 +217,50 @@ export declare const ExternalAnalyzerToolStatusSchema: z.ZodObject<{
     duration_ms?: number | undefined;
     exit_code?: number | null | undefined;
     output_snippet?: string | undefined;
+    stderr_snippet?: string | undefined;
+    dropped_rows?: number | undefined;
+    source_read_failures?: number | undefined;
 }>;
 export type ExternalAnalyzerToolStatus = z.infer<typeof ExternalAnalyzerToolStatusSchema>;
+/**
+ * The generic pre-normalization item shape every analyzer parser emits. `from`/`to`
+ * are the optional dataflow-edge endpoints `normalizeGenericExternalEdges` reads.
+ */
+export interface ExternalAnalyzerParsedItem {
+    id?: string;
+    category?: string;
+    severity?: string;
+    path?: string;
+    line_start?: number;
+    line_end?: number;
+    summary?: string;
+    rule?: string;
+    raw?: unknown;
+    from?: unknown;
+    to?: unknown;
+}
+/**
+ * A parse that can SAY it degraded. A bare `[]` cannot distinguish "the tool found
+ * nothing" from "the payload was unparseable" or "half the rows were malformed", and
+ * that ambiguity is what makes a broken analyzer read as a clean scan downstream.
+ */
+export interface ExternalAnalyzerParseReport {
+    items: ExternalAnalyzerParsedItem[];
+    /** The payload could not be parsed at all (bad JSON/CSV, or the wrong top-level shape). */
+    parse_failed?: boolean;
+    /** Rows recognised but unusable — counted, never silently dropped. */
+    dropped_rows?: number;
+    /** Human-readable cause, carried onto the status record. */
+    note?: string;
+}
+/**
+ * What `ExternalAnalyzerCandidate.parse` returns. A plain array is the "nothing to
+ * report beyond the items" form; the report form is how a parser reports degradation.
+ * Read both through {@link readParseOutcome} so no consumer has to branch.
+ */
+export type ExternalAnalyzerParseOutcome = ExternalAnalyzerParsedItem[] | ExternalAnalyzerParseReport;
+/** Normalize either parse-outcome form into the report form. */
+export declare function readParseOutcome(outcome: ExternalAnalyzerParseOutcome | undefined | null): Required<Pick<ExternalAnalyzerParseReport, "items">> & Omit<ExternalAnalyzerParseReport, "items">;
 /** Imported analyzer output captured at a single generation time. */
 export declare const ExternalAnalyzerResultsSchema: z.ZodObject<{
     tool: z.ZodString;
@@ -190,13 +311,32 @@ export declare const ExternalAnalyzerResultsSchema: z.ZodObject<{
         tool: z.ZodString;
         command: z.ZodOptional<z.ZodString>;
         resolved: z.ZodBoolean;
-        status: z.ZodEnum<["skipped", "success", "findings", "not_resolved", "spawn_error", "parse_error", "failed"]>;
+        status: z.ZodEnum<["skipped", "success", "findings", "not_resolved", "spawn_error", "parse_error", "failed", "checksum_mismatch"]>;
         exit_code: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
         error: z.ZodOptional<z.ZodString>;
         output_snippet: z.ZodOptional<z.ZodString>;
+        /**
+         * The tool's own stderr, bounded. Present whenever stderr carried text — it is
+         * the only post-run evidence of WHY a non-zero exit or a stderr-only run failed.
+         */
+        stderr_snippet: z.ZodOptional<z.ZodString>;
+        /**
+         * Everything this run failed to report, as ONE count: rows the parser understood
+         * the shape of but could not use (malformed CSV/JSON rows), PLUS items the
+         * normalizer discarded for a missing path or summary. The engine merges the two
+         * because they are the same question to a consumer — how much did this run lose?
+         * A non-zero count means the run under-reports; it is never a clean scan.
+         */
+        dropped_rows: z.ZodOptional<z.ZodNumber>;
+        /**
+         * Items that named a path + line but whose source could not be read, so their
+         * content-anchored provenance was dropped. Distinguishes a broken read seam from
+         * a tool that legitimately reports no line numbers.
+         */
+        source_read_failures: z.ZodOptional<z.ZodNumber>;
         duration_ms: z.ZodOptional<z.ZodNumber>;
     }, "strict", z.ZodTypeAny, {
-        status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error";
+        status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error" | "checksum_mismatch";
         resolved: boolean;
         tool: string;
         error?: string | undefined;
@@ -204,8 +344,11 @@ export declare const ExternalAnalyzerResultsSchema: z.ZodObject<{
         duration_ms?: number | undefined;
         exit_code?: number | null | undefined;
         output_snippet?: string | undefined;
+        stderr_snippet?: string | undefined;
+        dropped_rows?: number | undefined;
+        source_read_failures?: number | undefined;
     }, {
-        status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error";
+        status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error" | "checksum_mismatch";
         resolved: boolean;
         tool: string;
         error?: string | undefined;
@@ -213,6 +356,9 @@ export declare const ExternalAnalyzerResultsSchema: z.ZodObject<{
         duration_ms?: number | undefined;
         exit_code?: number | null | undefined;
         output_snippet?: string | undefined;
+        stderr_snippet?: string | undefined;
+        dropped_rows?: number | undefined;
+        source_read_failures?: number | undefined;
     }>, "many">>;
     results: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
@@ -310,7 +456,7 @@ export declare const ExternalAnalyzerResultsSchema: z.ZodObject<{
         kind?: string | undefined;
     }[] | undefined;
     tool_statuses?: {
-        status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error";
+        status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error" | "checksum_mismatch";
         resolved: boolean;
         tool: string;
         error?: string | undefined;
@@ -318,6 +464,9 @@ export declare const ExternalAnalyzerResultsSchema: z.ZodObject<{
         duration_ms?: number | undefined;
         exit_code?: number | null | undefined;
         output_snippet?: string | undefined;
+        stderr_snippet?: string | undefined;
+        dropped_rows?: number | undefined;
+        source_read_failures?: number | undefined;
     }[] | undefined;
 }, {
     tool: string;
@@ -354,7 +503,7 @@ export declare const ExternalAnalyzerResultsSchema: z.ZodObject<{
         kind?: string | undefined;
     }[] | undefined;
     tool_statuses?: {
-        status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error";
+        status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error" | "checksum_mismatch";
         resolved: boolean;
         tool: string;
         error?: string | undefined;
@@ -362,6 +511,9 @@ export declare const ExternalAnalyzerResultsSchema: z.ZodObject<{
         duration_ms?: number | undefined;
         exit_code?: number | null | undefined;
         output_snippet?: string | undefined;
+        stderr_snippet?: string | undefined;
+        dropped_rows?: number | undefined;
+        source_read_failures?: number | undefined;
     }[] | undefined;
 }>;
 export type ExternalAnalyzerResults = z.infer<typeof ExternalAnalyzerResultsSchema>;
@@ -384,13 +536,32 @@ export declare const ExternalAnalyzerAcquisitionMarkerSchema: z.ZodObject<{
         tool: z.ZodString;
         command: z.ZodOptional<z.ZodString>;
         resolved: z.ZodBoolean;
-        status: z.ZodEnum<["skipped", "success", "findings", "not_resolved", "spawn_error", "parse_error", "failed"]>;
+        status: z.ZodEnum<["skipped", "success", "findings", "not_resolved", "spawn_error", "parse_error", "failed", "checksum_mismatch"]>;
         exit_code: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
         error: z.ZodOptional<z.ZodString>;
         output_snippet: z.ZodOptional<z.ZodString>;
+        /**
+         * The tool's own stderr, bounded. Present whenever stderr carried text — it is
+         * the only post-run evidence of WHY a non-zero exit or a stderr-only run failed.
+         */
+        stderr_snippet: z.ZodOptional<z.ZodString>;
+        /**
+         * Everything this run failed to report, as ONE count: rows the parser understood
+         * the shape of but could not use (malformed CSV/JSON rows), PLUS items the
+         * normalizer discarded for a missing path or summary. The engine merges the two
+         * because they are the same question to a consumer — how much did this run lose?
+         * A non-zero count means the run under-reports; it is never a clean scan.
+         */
+        dropped_rows: z.ZodOptional<z.ZodNumber>;
+        /**
+         * Items that named a path + line but whose source could not be read, so their
+         * content-anchored provenance was dropped. Distinguishes a broken read seam from
+         * a tool that legitimately reports no line numbers.
+         */
+        source_read_failures: z.ZodOptional<z.ZodNumber>;
         duration_ms: z.ZodOptional<z.ZodNumber>;
     }, "strict", z.ZodTypeAny, {
-        status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error";
+        status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error" | "checksum_mismatch";
         resolved: boolean;
         tool: string;
         error?: string | undefined;
@@ -398,8 +569,11 @@ export declare const ExternalAnalyzerAcquisitionMarkerSchema: z.ZodObject<{
         duration_ms?: number | undefined;
         exit_code?: number | null | undefined;
         output_snippet?: string | undefined;
+        stderr_snippet?: string | undefined;
+        dropped_rows?: number | undefined;
+        source_read_failures?: number | undefined;
     }, {
-        status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error";
+        status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error" | "checksum_mismatch";
         resolved: boolean;
         tool: string;
         error?: string | undefined;
@@ -407,11 +581,14 @@ export declare const ExternalAnalyzerAcquisitionMarkerSchema: z.ZodObject<{
         duration_ms?: number | undefined;
         exit_code?: number | null | undefined;
         output_snippet?: string | undefined;
+        stderr_snippet?: string | undefined;
+        dropped_rows?: number | undefined;
+        source_read_failures?: number | undefined;
     }>, "many">;
 }, "strict", z.ZodTypeAny, {
     enabled: boolean;
     tool_statuses: {
-        status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error";
+        status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error" | "checksum_mismatch";
         resolved: boolean;
         tool: string;
         error?: string | undefined;
@@ -419,12 +596,15 @@ export declare const ExternalAnalyzerAcquisitionMarkerSchema: z.ZodObject<{
         duration_ms?: number | undefined;
         exit_code?: number | null | undefined;
         output_snippet?: string | undefined;
+        stderr_snippet?: string | undefined;
+        dropped_rows?: number | undefined;
+        source_read_failures?: number | undefined;
     }[];
     generated_at?: string | undefined;
 }, {
     enabled: boolean;
     tool_statuses: {
-        status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error";
+        status: "failed" | "findings" | "skipped" | "spawn_error" | "success" | "not_resolved" | "parse_error" | "checksum_mismatch";
         resolved: boolean;
         tool: string;
         error?: string | undefined;
@@ -432,6 +612,9 @@ export declare const ExternalAnalyzerAcquisitionMarkerSchema: z.ZodObject<{
         duration_ms?: number | undefined;
         exit_code?: number | null | undefined;
         output_snippet?: string | undefined;
+        stderr_snippet?: string | undefined;
+        dropped_rows?: number | undefined;
+        source_read_failures?: number | undefined;
     }[];
     generated_at?: string | undefined;
 }>;

package/dist/shared/analyzers/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/shared/analyzers/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,sFAAsF;AACtF,eAAO,MAAM,gCAAgC;;;;;;;;;IAUzC,iFAAiF;;IAEjF,yEAAyE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGlE,CAAC;AACZ,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,KAAK,CAC9C,OAAO,gCAAgC,CACxC,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;EAQjC,CAAC;AACZ,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAC7C,OAAO,+BAA+B,CACvC,CAAC;AAEF,gFAAgF;AAChF,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;EAQrC,CAAC;AAEZ,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmBlC,CAAC;AACZ,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,KAAK,CAC9C,OAAO,gCAAgC,CACxC,CAAC;AAEF,qEAAqE;AACrE,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;IAKtC;;;OAGG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA5EH,iFAAiF;;QAEjF,yEAAyE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA+ElE,CAAC;AACZ,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAC3C,OAAO,6BAA6B,CACrC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,uCAAuC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMzC,CAAC;AACZ,MAAM,MAAM,iCAAiC,GAAG,CAAC,CAAC,KAAK,CACrD,OAAO,uCAAuC,CAC/C,CAAC;AAEF;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,uBAAuB,EAAE,GAAG,SAAS,EAC/C,QAAQ,EAAE,uBAAuB,GAChC,uBAAuB,EAAE,CAI3B"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/shared/analyzers/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,sFAAsF;AACtF,eAAO,MAAM,gCAAgC;;;;;;;;;IAUzC,iFAAiF;;IAEjF,yEAAyE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGlE,CAAC;AACZ,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,KAAK,CAC9C,OAAO,gCAAgC,CACxC,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;EAQjC,CAAC;AACZ,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAC7C,OAAO,+BAA+B,CACvC,CAAC;AAEF,gFAAgF;AAChF,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;EAQrC,CAAC;AAEZ;;;;;;GAMG;AACH,eAAO,MAAM,+BAA+B,0HAUlC,CAAC;AAEX,MAAM,MAAM,+BAA+B,GACzC,CAAC,OAAO,+BAA+B,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnD;;;;;;;;;GASG;AACH;;;GAGG;AACH,MAAM,MAAM,wBAAwB,GAAG,OAAO,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,CAAC;AAcrF;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,wBAAwB,GAAG,OAAO,CAEtF;AAED,eAAO,MAAM,uCAAuC,EAAE,MAAM,CAC1D,+BAA+B,EAC/B,wBAAwB,CAUzB,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,gCAAgC,CAC9C,MAAM,EAAE,IAAI,CAAC,0BAA0B,EAAE,QAAQ,GAAG,WAAW,GAAG,cAAc,CAAC,GAChF,OAAO,CAOT;AAED,eAAO,MAAM,gCAAgC;;;;;;;;IASzC;;;OAGG;;IAEH;;;;;;OAMG;;IAEH;;;;OAIG;;;;;;;;;;;;;;;;;;;;;;;;;;;EAII,CAAC;AACZ,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,KAAK,CAC9C,OAAO,gCAAgC,CACxC,CAAC;AAEF;;;GAGG;AACH,MAAM,WAAW,0BAA0B;IACzC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,EAAE,CAAC,EAAE,OAAO,CAAC;CACd;AAED;;;;GAIG;AACH,MAAM,WAAW,2BAA2B;IAC1C,KAAK,EAAE,0BAA0B,EAAE,CAAC;IACpC,2FAA2F;IAC3F,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,sEAAsE;IACtE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,4DAA4D;IAC5D,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;;;GAIG;AACH,MAAM,MAAM,4BAA4B,GACpC,0BAA0B,EAAE,GAC5B,2BAA2B,CAAC;AAEhC,gEAAgE;AAChE,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,4BAA4B,GAAG,SAAS,GAAG,IAAI,GACvD,QAAQ,CAAC,IAAI,CAAC,2BAA2B,EAAE,OAAO,CAAC,CAAC,GACrD,IAAI,CAAC,2BAA2B,EAAE,OAAO,CAAC,CAe3C;AAED,qEAAqE;AACrE,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;IAKtC;;;OAGG;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAlGH;;;WAGG;;QAEH;;;;;;WAMG;;QAEH;;;;WAIG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAlLH,iFAAiF;;QAEjF,yEAAyE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAsQlE,CAAC;AACZ,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAC3C,OAAO,6BAA6B,CACrC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,uCAAuC;;;;;;;;;;;QAxHhD;;;WAGG;;QAEH;;;;;;WAMG;;QAEH;;;;WAIG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6GI,CAAC;AACZ,MAAM,MAAM,iCAAiC,GAAG,CAAC,CAAC,KAAK,CACrD,OAAO,uCAAuC,CAC/C,CAAC;AAEF;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,uBAAuB,EAAE,GAAG,SAAS,EAC/C,QAAQ,EAAE,uBAAuB,GAChC,uBAAuB,EAAE,CAI3B"}

package/dist/shared/analyzers/types.js

@@ -45,26 +45,139 @@ export const ExternalAnalyzerOwnershipRootSchema = z
     reason: z.string().optional(),
 })
     .strict();
+/**
+ * The analyzer status vocabulary, single-sourced (artifact:analyzer-status-vocabulary).
+ * The zod enum below is BUILT from this tuple, so there is exactly one place a member
+ * is added — and {@link EXTERNAL_ANALYZER_STATUS_CLASSIFICATION} below is an exhaustive
+ * `Record` over it, so widening the tuple without classifying the new member is a
+ * COMPILE error rather than a silent fall-through to "the run was fine".
+ */
+export const EXTERNAL_ANALYZER_TOOL_STATUSES = [
+    "skipped",
+    "success",
+    "findings",
+    "not_resolved",
+    "spawn_error",
+    "parse_error",
+    "failed",
+    /** The downloaded release asset did not match the pinned release checksums. */
+    "checksum_mismatch",
+];
+/**
+ * Which coverage classes may be read as "this tool produced trustworthy
+ * coverage". Exhaustive by construction: a new coverage class without a row here
+ * fails `npm run check` rather than defaulting into either answer.
+ */
+const COVERAGE_IS_TRUSTWORTHY = {
+    clean: true,
+    findings: true,
+    degraded: false,
+    not_run: false,
+};
+/**
+ * True when a coverage class means NO trustworthy coverage was produced — the
+ * single member-level answer. Both consumers ask it here rather than each
+ * re-typing `=== "degraded" || === "not_run"`, so widening the coverage
+ * vocabulary is one edit guarded by a compile error, never a silent divergence
+ * between two copies of the same comparison.
+ */
+export function isNonCleanAnalyzerCoverage(coverage) {
+    return !COVERAGE_IS_TRUSTWORTHY[coverage];
+}
+export const EXTERNAL_ANALYZER_STATUS_CLASSIFICATION = {
+    skipped: "not_run",
+    success: "clean",
+    findings: "findings",
+    not_resolved: "not_run",
+    spawn_error: "degraded",
+    parse_error: "degraded",
+    failed: "degraded",
+    checksum_mismatch: "degraded",
+};
+/**
+ * True when a RECORD means "this tool did not produce trustworthy coverage".
+ *
+ * The status member alone cannot answer this, because degradation is not always
+ * terminal: a run can exit non-zero, fail to parse, or drop rows and STILL surface
+ * some items, which lands it on `findings` — an affirmative member describing a
+ * partially-crashed run. Asking the member in isolation reports such a run as
+ * trustworthy, which is the same success-shaped-empty mistake one level up.
+ *
+ * So the question is asked of the whole record: degraded when the member says so, OR
+ * when the record carries a marker that findings were LOST —
+ *  - a non-zero exit, or a NULL exit (killed by a signal, never exited on its own);
+ *  - `dropped_rows` (parser rows plus normalizer items the run failed to report).
+ *
+ * `source_read_failures` is deliberately NOT in that set. Provenance is optional
+ * everywhere on this contract: an item whose anchor could not be resolved is still a
+ * fully reported lead, so an unresolved anchor is a weaker join key, not lost
+ * coverage. It stays on the record because it is worth surfacing; it just does not
+ * make the run untrustworthy.
+ *
+ * {@link EXTERNAL_ANALYZER_STATUS_CLASSIFICATION} remains the status-MEMBER map and
+ * the compile gate; this is the consumer-facing answer.
+ */
+export function isDegradedExternalAnalyzerStatus(record) {
+    const classification = EXTERNAL_ANALYZER_STATUS_CLASSIFICATION[record.status];
+    if (isNonCleanAnalyzerCoverage(classification))
+        return true;
+    if (record.exit_code === null)
+        return true;
+    if (typeof record.exit_code === "number" && record.exit_code !== 0)
+        return true;
+    if ((record.dropped_rows ?? 0) > 0)
+        return true;
+    return false;
+}
 export const ExternalAnalyzerToolStatusSchema = z
     .object({
     tool: z.string(),
     command: z.string().optional(),
     resolved: z.boolean(),
-    status: z.enum([
-        "skipped",
-        "success",
-        "findings",
-        "not_resolved",
-        "spawn_error",
-        "parse_error",
-        "failed",
-    ]),
+    status: z.enum(EXTERNAL_ANALYZER_TOOL_STATUSES),
     exit_code: z.number().nullable().optional(),
     error: z.string().optional(),
     output_snippet: z.string().optional(),
+    /**
+     * The tool's own stderr, bounded. Present whenever stderr carried text — it is
+     * the only post-run evidence of WHY a non-zero exit or a stderr-only run failed.
+     */
+    stderr_snippet: z.string().optional(),
+    /**
+     * Everything this run failed to report, as ONE count: rows the parser understood
+     * the shape of but could not use (malformed CSV/JSON rows), PLUS items the
+     * normalizer discarded for a missing path or summary. The engine merges the two
+     * because they are the same question to a consumer — how much did this run lose?
+     * A non-zero count means the run under-reports; it is never a clean scan.
+     */
+    dropped_rows: z.number().optional(),
+    /**
+     * Items that named a path + line but whose source could not be read, so their
+     * content-anchored provenance was dropped. Distinguishes a broken read seam from
+     * a tool that legitimately reports no line numbers.
+     */
+    source_read_failures: z.number().optional(),
     duration_ms: z.number().optional(),
 })
     .strict();
+/** Normalize either parse-outcome form into the report form. */
+export function readParseOutcome(outcome) {
+    if (Array.isArray(outcome))
+        return { items: outcome };
+    if (!outcome || typeof outcome !== "object" || !Array.isArray(outcome.items)) {
+        return {
+            items: [],
+            parse_failed: true,
+            note: "parser returned no usable outcome",
+        };
+    }
+    return {
+        items: outcome.items,
+        ...(outcome.parse_failed !== undefined ? { parse_failed: outcome.parse_failed } : {}),
+        ...(outcome.dropped_rows !== undefined ? { dropped_rows: outcome.dropped_rows } : {}),
+        ...(outcome.note !== undefined ? { note: outcome.note } : {}),
+    };
+}
 /** Imported analyzer output captured at a single generation time. */
 export const ExternalAnalyzerResultsSchema = z
     .object({

package/dist/shared/analyzers/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/shared/analyzers/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AAE/D,sFAAsF;AACtF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC;KAC9C,MAAM,CAAC;IACN,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC/B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,iFAAiF;IACjF,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC3B,yEAAyE;IACzE,UAAU,EAAE,4BAA4B,CAAC,QAAQ,EAAE;CACpD,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC;KAC7C,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ,gFAAgF;AAChF,MAAM,CAAC,MAAM,mCAAmC,GAAG,CAAC;KACjD,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC1B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC;KAC9C,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE;IACrB,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC;QACb,SAAS;QACT,SAAS;QACT,UAAU;QACV,cAAc;QACd,aAAa;QACb,aAAa;QACb,QAAQ;KACT,CAAC;IACF,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IAC3C,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACrC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACnC,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ,qEAAqE;AACrE,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC;KAC3C,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC,QAAQ,EAAE;IACxE;;;OAGG;IACH,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC,QAAQ,EAAE;IAChE,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC,CAAC,QAAQ,EAAE;IACnE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC;CACnD,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,uCAAuC,GAAG,CAAC;KACrD,MAAM,CAAC;IACN,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;IACpB,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC;CACzD,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACvC,QAA+C,EAC/C,QAAiC;IAEjC,MAAM,IAAI,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9E,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACpB,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC3D,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/shared/analyzers/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AAE/D,sFAAsF;AACtF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC;KAC9C,MAAM,CAAC;IACN,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC/B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,iFAAiF;IACjF,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC3B,yEAAyE;IACzE,UAAU,EAAE,4BAA4B,CAAC,QAAQ,EAAE;CACpD,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC;KAC7C,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ,gFAAgF;AAChF,MAAM,CAAC,MAAM,mCAAmC,GAAG,CAAC;KACjD,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC1B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG;IAC7C,SAAS;IACT,SAAS;IACT,UAAU;IACV,cAAc;IACd,aAAa;IACb,aAAa;IACb,QAAQ;IACR,+EAA+E;IAC/E,mBAAmB;CACX,CAAC;AAqBX;;;;GAIG;AACH,MAAM,uBAAuB,GAA8C;IACzE,KAAK,EAAE,IAAI;IACX,QAAQ,EAAE,IAAI;IACd,QAAQ,EAAE,KAAK;IACf,OAAO,EAAE,KAAK;CACf,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,0BAA0B,CAAC,QAAkC;IAC3E,OAAO,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,CAAC,MAAM,uCAAuC,GAGhD;IACF,OAAO,EAAE,SAAS;IAClB,OAAO,EAAE,OAAO;IAChB,QAAQ,EAAE,UAAU;IACpB,YAAY,EAAE,SAAS;IACvB,WAAW,EAAE,UAAU;IACvB,WAAW,EAAE,UAAU;IACvB,MAAM,EAAE,UAAU;IAClB,iBAAiB,EAAE,UAAU;CAC9B,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,gCAAgC,CAC9C,MAAiF;IAEjF,MAAM,cAAc,GAAG,uCAAuC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9E,IAAI,0BAA0B,CAAC,cAAc,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,IAAI,MAAM,CAAC,SAAS,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAChF,IAAI,CAAC,MAAM,CAAC,YAAY,IAAI,CAAC,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC;KAC9C,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE;IACrB,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC;IAC/C,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IAC3C,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACrC;;;OAGG;IACH,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACrC;;;;;;OAMG;IACH,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC;;;;OAIG;IACH,oBAAoB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACnC,CAAC;KACD,MAAM,EAAE,CAAC;AA+CZ,gEAAgE;AAChE,MAAM,UAAU,gBAAgB,CAC9B,OAAwD;IAGxD,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACtD,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7E,OAAO;YACL,KAAK,EAAE,EAAE;YACT,YAAY,EAAE,IAAI;YAClB,IAAI,EAAE,mCAAmC;SAC1C,CAAC;IACJ,CAAC;IACD,OAAO;QACL,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrF,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrF,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9D,CAAC;AACJ,CAAC;AAED,qEAAqE;AACrE,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC;KAC3C,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC,QAAQ,EAAE;IACxE;;;OAGG;IACH,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC,QAAQ,EAAE;IAChE,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC,CAAC,QAAQ,EAAE;IACnE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC;CACnD,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,uCAAuC,GAAG,CAAC;KACrD,MAAM,CAAC;IACN,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;IACpB,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC;CACzD,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACvC,QAA+C,EAC/C,QAAiC;IAEjC,MAAM,IAAI,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9E,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACpB,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC3D,CAAC"}

package/dist/shared/decompose/charterClarification.d.ts

@@ -31,7 +31,18 @@ export declare const ClarificationAnswersSubmissionSchema: z.ZodObject<{
     }[] | undefined;
 }>;
 export type ClarificationAnswersSubmission = z.infer<typeof ClarificationAnswersSubmissionSchema>;
-/** A routed delta joined to its subsystem + (optional) goal node — the loop input. */
+/**
+ * A routed delta joined to its subsystem + (optional) goal node — the loop input.
+ *
+ * `node_id` is the delta's OWN node identity as Phase C stamped it, supplied by the
+ * caller that performed the join: `delta.delta_id` is an OPAQUE identity here and is
+ * never split to recover a node. Phase C mints it with a content-derived
+ * discriminator when one subsystem carries two deltas on the same channel pair, so
+ * its segment structure carries no recoverable node id — anything keyed on parsing
+ * it silently misjoins the delta to the wrong subsystem's `members`. Both joins this
+ * module performs (`members` here, and the goal graph via `goal_node_id`) stay keyed
+ * on that same node_id space.
+ */
 export interface ClarificationDeltaInput {
     delta: CharterDelta;
     node_id: string;

package/dist/shared/decompose/charterClarification.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"charterClarification.d.ts","sourceRoot":"","sources":["../../../src/shared/decompose/charterClarification.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAEL,KAAK,YAAY,EACjB,KAAK,2BAA2B,EAChC,KAAK,SAAS,EACf,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAEnD;;;;;;GAMG;AACH,eAAO,MAAM,oCAAoC;;;;;;;;;;;;;;;;;;;;;EAatC,CAAC;AACZ,MAAM,MAAM,8BAA8B,GAAG,CAAC,CAAC,KAAK,CAClD,OAAO,oCAAoC,CAC5C,CAAC;AAEF,sFAAsF;AACtF,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,YAAY,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,oFAAoF;AACpF,MAAM,MAAM,sBAAsB,GAAG,MAAM,GAAG,KAAK,CAAC;AAEpD;;;GAGG;AACH,MAAM,WAAW,qBAAqB;IACpC,0BAA0B,EAAE,CAC1B,MAAM,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,YAAY,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,EAC9E,SAAS,EAAE,SAAS,KACjB,2BAA2B,EAAE,CAAC;IACnC,aAAa,EAAE,CACb,QAAQ,EAAE,2BAA2B,EAAE,KACpC,2BAA2B,EAAE,CAAC;IACnC,gBAAgB,EAAE,CAChB,QAAQ,EAAE,2BAA2B,EAAE,EACvC,QAAQ,EAAE,sBAAsB,KAC7B;QAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;QAAC,MAAM,EAAE,2BAA2B,EAAE,CAAA;KAAE,CAAC;CACtF;AAED,iFAAiF;AACjF,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,2BAA2B,EAAE,CAAC;IACrC,MAAM,EAAE,2BAA2B,EAAE,CAAC;IACtC,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,uBAAuB,EAAE,EACjC,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,sBAAsB,EACjC,IAAI,EAAE,qBAAqB,EAC3B,YAAY,GAAE,GAAG,CAAC,MAAM,EAAE,2BAA2B,CAAC,QAAQ,CAAC,CAAa,GAC3E,uBAAuB,CA2CzB"}
+{"version":3,"file":"charterClarification.d.ts","sourceRoot":"","sources":["../../../src/shared/decompose/charterClarification.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAEL,KAAK,YAAY,EACjB,KAAK,2BAA2B,EAChC,KAAK,SAAS,EACf,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAEnD;;;;;;GAMG;AACH,eAAO,MAAM,oCAAoC;;;;;;;;;;;;;;;;;;;;;EAatC,CAAC;AACZ,MAAM,MAAM,8BAA8B,GAAG,CAAC,CAAC,KAAK,CAClD,OAAO,oCAAoC,CAC5C,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,YAAY,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,oFAAoF;AACpF,MAAM,MAAM,sBAAsB,GAAG,MAAM,GAAG,KAAK,CAAC;AAEpD;;;GAGG;AACH,MAAM,WAAW,qBAAqB;IACpC,0BAA0B,EAAE,CAC1B,MAAM,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,YAAY,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,EAC9E,SAAS,EAAE,SAAS,KACjB,2BAA2B,EAAE,CAAC;IACnC,aAAa,EAAE,CACb,QAAQ,EAAE,2BAA2B,EAAE,KACpC,2BAA2B,EAAE,CAAC;IACnC,gBAAgB,EAAE,CAChB,QAAQ,EAAE,2BAA2B,EAAE,EACvC,QAAQ,EAAE,sBAAsB,KAC7B;QAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;QAAC,MAAM,EAAE,2BAA2B,EAAE,CAAA;KAAE,CAAC;CACtF;AAED,iFAAiF;AACjF,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,2BAA2B,EAAE,CAAC;IACrC,MAAM,EAAE,2BAA2B,EAAE,CAAC;IACtC,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,uBAAuB,EAAE,EACjC,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,sBAAsB,EACjC,IAAI,EAAE,qBAAqB,EAC3B,YAAY,GAAE,GAAG,CAAC,MAAM,EAAE,2BAA2B,CAAC,QAAQ,CAAC,CAAa,GAC3E,uBAAuB,CAkDzB"}

package/dist/shared/decompose/charterClarification.js

@@ -64,10 +64,17 @@ export function assembleClarificationRegister(deltas, goalGraph, attention, deps
     })), goalGraph);
     const gated = deps.applyRiskGate(questions);
     const split = deps.splitByAttention(gated, attention);
-    // Carry any prior answers onto the re-derived questions — an answered question
-    // stays in `asked` with its `answer` set (so the loop obligation is satisfied and
-    // the queue drains). A user who tapped out mid-loop leaves the rest unanswered;
-    // the next assemble with the interruptible flag would leave-open them.
+    // Carry any prior answers onto the re-derived questions, matched by `request_id`
+    // — an answered question keeps its `answer` across re-assembly, so a round never
+    // loses a decision already recorded. Applied to BOTH sides of the split: a
+    // question the attention dial moves from `asked` to `banked` (or back) between
+    // rounds must not drop its answer for having changed buckets.
+    //
+    // A user who taps out mid-loop leaves the rest unanswered. Nothing is synthesized
+    // here: the caller decides when a submission exists at all, and on that submission
+    // defaults every still-unanswered question it previously asked to `leave_open`
+    // (a first-class decision) so the queue drains and the loop terminates in one
+    // round-trip. Absent a submission the map is empty and every question stays open.
     const applyAnswer = (r) => {
         const answer = priorAnswers.get(r.request_id);
         return answer ? { ...r, answer } : r;

package/dist/shared/decompose/charterClarification.js.map

@@ -1 +1 @@
-{"version":3,"file":"charterClarification.js","sourceRoot":"","sources":["../../../src/shared/decompose/charterClarification.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,EAAE;AACF,iFAAiF;AACjF,gFAAgF;AAChF,8EAA8E;AAC9E,qEAAqE;AACrE,gFAAgF;AAChF,kFAAkF;AAClF,mFAAmF;AACnF,mFAAmF;AACnF,iFAAiF;AACjF,4DAA4D;AAC5D,EAAE;AACF,mFAAmF;AACnF,6EAA6E;AAC7E,4DAA4D;AAE5D,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EACL,gCAAgC,GAIjC,MAAM,qBAAqB,CAAC;AAG7B;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAAC;KAClD,MAAM,CAAC;IACN,OAAO,EAAE,CAAC;SACP,KAAK,CACJ,CAAC;SACE,MAAM,CAAC;QACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;QACtB,MAAM,EAAE,gCAAgC;KACzC,CAAC;SACD,MAAM,EAAE,CACZ;SACA,OAAO,CAAC,EAAE,CAAC;CACf,CAAC;KACD,MAAM,EAAE,CAAC;AA0CZ;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,6BAA6B,CAC3C,MAAiC,EACjC,SAAoB,EACpB,SAAiC,EACjC,IAA2B,EAC3B,eAAmE,IAAI,GAAG,EAAE;IAE5E,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAoB,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IAEhE,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,KAAK,YAAY,CAC1C,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;QACjC,iBAAiB,CAAC,IAAI,CACpB,UAAU,CAAC,CAAC,KAAK,CAAC,QAAQ,qHAAqH,CAChJ,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,0BAA0B,CAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,YAAY,EAAE,CAAC,CAAC,YAAY;KAC7B,CAAC,CAAC,EACH,SAAS,CACV,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACtD,+EAA+E;IAC/E,kFAAkF;IAClF,gFAAgF;IAChF,uEAAuE;IACvE,MAAM,WAAW,GAAG,CAClB,CAA8B,EACD,EAAE;QAC/B,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC9C,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAE7C,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACtC,iBAAiB,CAAC,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CACrE,CAAC;IACF,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAElD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC;AACxD,CAAC;AAED;;;;;GAKG;AACH,SAAS,iBAAiB,CACxB,OAAoC,EACpC,OAAiB;IAEjB,MAAM,QAAQ,GACZ,OAAO,CAAC,KAAK,CAAC,YAAY,IAAI,CAAC;QAC7B,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,IAAI,CAAC;YAC/B,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,KAAK,CAAC;IACd,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,UAAU;QACtB,KAAK,EAAE,4CAA4C,OAAO,CAAC,OAAO,EAAE;QACpE,QAAQ,EAAE,uBAAuB;QACjC,QAAQ;QACR,UAAU,EAAE,QAAQ;QACpB,IAAI,EAAE,cAAc;QACpB,OAAO,EAAE,OAAO,CAAC,QAAQ;QACzB,cAAc,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QACjD,QAAQ,EAAE,IAAI;KACf,CAAC;AACJ,CAAC"}
+{"version":3,"file":"charterClarification.js","sourceRoot":"","sources":["../../../src/shared/decompose/charterClarification.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,EAAE;AACF,iFAAiF;AACjF,gFAAgF;AAChF,8EAA8E;AAC9E,qEAAqE;AACrE,gFAAgF;AAChF,kFAAkF;AAClF,mFAAmF;AACnF,mFAAmF;AACnF,iFAAiF;AACjF,4DAA4D;AAC5D,EAAE;AACF,mFAAmF;AACnF,6EAA6E;AAC7E,4DAA4D;AAE5D,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EACL,gCAAgC,GAIjC,MAAM,qBAAqB,CAAC;AAG7B;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAAC;KAClD,MAAM,CAAC;IACN,OAAO,EAAE,CAAC;SACP,KAAK,CACJ,CAAC;SACE,MAAM,CAAC;QACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;QACtB,MAAM,EAAE,gCAAgC;KACzC,CAAC;SACD,MAAM,EAAE,CACZ;SACA,OAAO,CAAC,EAAE,CAAC;CACf,CAAC;KACD,MAAM,EAAE,CAAC;AAqDZ;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,6BAA6B,CAC3C,MAAiC,EACjC,SAAoB,EACpB,SAAiC,EACjC,IAA2B,EAC3B,eAAmE,IAAI,GAAG,EAAE;IAE5E,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAoB,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IAEhE,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,KAAK,YAAY,CAC1C,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;QACjC,iBAAiB,CAAC,IAAI,CACpB,UAAU,CAAC,CAAC,KAAK,CAAC,QAAQ,qHAAqH,CAChJ,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,0BAA0B,CAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,YAAY,EAAE,CAAC,CAAC,YAAY;KAC7B,CAAC,CAAC,EACH,SAAS,CACV,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACtD,iFAAiF;IACjF,iFAAiF;IACjF,2EAA2E;IAC3E,+EAA+E;IAC/E,8DAA8D;IAC9D,EAAE;IACF,kFAAkF;IAClF,mFAAmF;IACnF,+EAA+E;IAC/E,8EAA8E;IAC9E,kFAAkF;IAClF,MAAM,WAAW,GAAG,CAClB,CAA8B,EACD,EAAE;QAC/B,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC9C,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAE7C,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACtC,iBAAiB,CAAC,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CACrE,CAAC;IACF,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAElD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC;AACxD,CAAC;AAED;;;;;GAKG;AACH,SAAS,iBAAiB,CACxB,OAAoC,EACpC,OAAiB;IAEjB,MAAM,QAAQ,GACZ,OAAO,CAAC,KAAK,CAAC,YAAY,IAAI,CAAC;QAC7B,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,IAAI,CAAC;YAC/B,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,KAAK,CAAC;IACd,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,UAAU;QACtB,KAAK,EAAE,4CAA4C,OAAO,CAAC,OAAO,EAAE;QACpE,QAAQ,EAAE,uBAAuB;QACjC,QAAQ;QACR,UAAU,EAAE,QAAQ;QACpB,IAAI,EAAE,cAAc;QACpB,OAAO,EAAE,OAAO,CAAC,QAAQ;QACzB,cAAc,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QACjD,QAAQ,EAAE,IAAI;KACf,CAAC;AACJ,CAAC"}

package/dist/shared/decompose/charterExtraction.d.ts

@@ -405,6 +405,25 @@ export interface AssembledCharters {
     subsystems: CharterSubsystem[];
     validation_issues: string[];
 }
+/**
+ * A CharterDelta with its subsystem identity carried as EXPLICIT fields
+ * (INV-CDI-EXPLICIT-NODE-FIELDS) — `delta_id` is therefore an OPAQUE identity,
+ * free to gain a per-delta discriminator (see `assembleDeltas` below) without
+ * any consumer, INCLUDING this module's own disagreement-density computation,
+ * needing to parse it apart. Declared here as an extension of `CharterDelta`
+ * rather than by widening `CharterDeltaSchema` itself
+ * (src/shared/types/charter.ts, outside this module's write scope) — this is
+ * the assembler's own return shape; the wire schema's `.strict()` boundary is
+ * a separate, differently-owned concern (the seam
+ * charter-clarification-ingestion--charter-delta-identity--node-id-recovery
+ * names charter-clarification-ingestion as the consumer that reads these
+ * fields once it stops parsing delta_id).
+ */
+export interface CharterDeltaWithIdentity extends CharterDelta {
+    node_id: string;
+    /** Present when `node_id` is linked into the mined goal graph. */
+    goal_node_id?: string;
+}
 /**
  * The assembled delta layer (Phase C.2): the routed+gated deltas across all
  * units, the deltas surfaced as Finding leads, the triangulated teloses, the
@@ -413,7 +432,7 @@ export interface AssembledCharters {
  */
 export interface AssembledDeltas {
     subsystems: CharterSubsystem[];
-    deltas: CharterDelta[];
+    deltas: CharterDeltaWithIdentity[];
     findings: Finding[];
     triangulated: TriangulatedTelos[];
     disagreement: ChannelDisagreement[];
@@ -459,14 +478,5 @@ export interface AssembleDeltasParams {
      */
     allowTrueNominations: boolean;
 }
-/**
- * Assemble the routed+gated deltas, triangulated teloses, and disagreement
- * density (Phase C.2) from the independent miner's submission, given the
- * already-joined charters. The miner never picks routing — `kind`/`routed_to`
- * derive from the channel pair (the design's fixed table). A delta whose
- * `node_id` has no joined charters, or that references a missing/dropped
- * charter kind, is dropped with an issue; so is a triangulated telos or True
- * nomination naming an unknown unit.
- */
 export declare function assembleDeltas(submission: CharterDeltaSubmission, subsystems: CharterSubsystem[], params: AssembleDeltasParams): AssembledDeltas;
 //# sourceMappingURL=charterExtraction.d.ts.map