audit-tools 0.51.7 → 0.51.9

package/dist/audit/orchestrator/charterClarificationExecutor.js

@@ -1,73 +1,57 @@
-import { assembleClarificationRegister, groundDesignFindings, } from "audit-tools/shared";
+import { assembleClarificationRegister, groundDesignFindings, resolveRunBoundDesignReview, } from "audit-tools/shared";
 import { resolveCharterCeiling, ceilingRequestsCharters } from "./charterExtractionExecutor.js";
-import { partitionDeltasToQuestions } from "../clarification/partition.js";
+import { partitionDifferencesToQuestions } from "../clarification/partition.js";
 import { applyRiskGate } from "../clarification/riskGate.js";
 import { splitByAttention } from "../clarification/dials.js";
 /**
- * Resolve the attention appetite (Phase D control-surface dial #3) from the
- * confirmed checkpoint. Defaults to `0` — the autonomous mode (every charter
- * question becomes a written finding, no human loop), which is the
- * conversation-first default until the user opts into attention. Exported so the
- * obligation gate + the prompt renderer resolve appetite identically (one source).
+ * Resolve the attention appetite (control-surface dial #3) from the confirmed
+ * checkpoint. Defaults to `0` — the autonomous mode (every charter question
+ * becomes a written finding, no human loop). RUN-BOUND like every other dial.
  */
 export function resolveClarificationAttention(checkpoint) {
-    const attention = checkpoint?.design_review?.attention;
+    const attention = resolveRunBoundDesignReview(checkpoint)?.attention;
     return attention ?? 0;
 }
+/** The union of the corresponding nodes' file scopes — the question's affected files. */
+function correspondenceFiles(correspondence, graphs) {
+    const files = new Set();
+    for (const member of correspondence?.members ?? []) {
+        const graph = graphs.find((g) => g.kind === member.kind);
+        for (const id of member.node_ids) {
+            for (const f of graph?.nodes.find((n) => n.node_id === id)?.files ?? [])
+                files.add(f);
+        }
+    }
+    return [...files].sort();
+}
 /**
- * Join the Phase-C charter register's routed deltas to their subsystem members +
- * (optional) goal node, producing the loop input.
- *
- * Both joins take the PRODUCER's own decision off the wire: `node_id` and
- * `goal_node_id` are explicit fields the assembler stamps, so `delta_id` is opaque
- * here and is never split to recover a node (INV-CCI-NO-DELTA-ID-PARSING). The
- * assembler mints it with a content-derived discriminator when a subsystem carries
- * two deltas on one channel pair, so its segment structure holds no recoverable
- * node id — parsing it would silently join the delta to the wrong subsystem's
- * members, which ride onto the emitted Finding's affected_files.
- *
- * `deltas` is typed `StampedCharterDelta[]`, so an unstamped delta can only arrive
- * from an artifact no schema validated (`charter_register.json` is read as plain
- * JSON). That delta is REFUSED with a validation issue rather than guessed at: a
- * question joined to the wrong subsystem is worse than a question not asked.
+ * The report's grouping key: the structure-decomposition consensus unit whose
+ * members overlap the corresponding scopes most (ties → first by id). The
+ * decomposition is the GROUPING key only, never the correspondence key.
  */
-function clarificationInputs(bundle) {
-    const register = bundle.charter_register;
-    if (!register || register.status === "omitted") {
-        return { inputs: [], validation_issues: [] };
-    }
-    const membersByNode = new Map();
-    for (const sub of register.subsystems) {
-        membersByNode.set(sub.node_id, sub.members);
-    }
-    const inputs = [];
-    const validation_issues = [];
-    for (const delta of register.deltas) {
-        // typeof, not `=== undefined`: the field is required by the type, and this
-        // guard exists precisely for data that never passed through it.
-        if (typeof delta.node_id !== "string" || delta.node_id.length === 0) {
-            validation_issues.push(`delta "${delta.delta_id}" carries no node_id — skipped; its subsystem cannot be ` +
-                `recovered from the delta id, which is opaque (regenerate charter_register.json)`);
-            continue;
-        }
-        // A well-formed node_id that matches no subsystem is the same failure wearing
-        // the right shape: the question still gets asked, but with an empty
-        // affected_files, so it reads as a finding about nothing. Say so — the delta is
-        // kept (the question may still be worth asking), and groundDesignFindings marks
-        // the resulting Finding ungrounded as the second net.
-        const members = membersByNode.get(delta.node_id);
-        if (members === undefined) {
-            validation_issues.push(`delta "${delta.delta_id}" names subsystem "${delta.node_id}", which the register ` +
-                `carries no members for — its question is kept but cites no files`);
+function placeInSubsystem(files, bundle) {
+    let best;
+    const scope = new Set(files);
+    for (const unit of bundle.structure_decomposition?.consensus ?? []) {
+        const overlap = unit.members.filter((m) => scope.has(m)).length;
+        if (overlap > 0 && (!best || overlap > best.overlap || (overlap === best.overlap && unit.node_id < best.id))) {
+            best = { id: unit.node_id, overlap };
         }
-        inputs.push({
-            delta,
-            node_id: delta.node_id,
-            members: members ?? [],
-            goal_node_id: delta.goal_node_id,
-        });
     }
-    return { inputs, validation_issues };
+    return best?.id;
+}
+/** Join the register's verified differences to their correspondence, files and subsystem. */
+function clarificationInputs(bundle) {
+    const register = bundle.charter_register;
+    if (!register || register.status === "omitted")
+        return [];
+    const corrById = new Map(register.correspondences.map((c) => [c.correspondence_id, c]));
+    return register.differences.map((difference) => {
+        const correspondence = corrById.get(difference.correspondence_id);
+        const members = correspondenceFiles(correspondence, register.lanes);
+        const subsystem_id = placeInSubsystem(members, bundle);
+        return { difference, correspondence, members, ...(subsystem_id ? { subsystem_id } : {}) };
+    });
 }
 function omittedRegister(ceiling, attention, generated_at) {
     return {
@@ -83,19 +67,15 @@ function omittedRegister(ceiling, attention, generated_at) {
     };
 }
 /**
- * Charter-clarification executor (Phase D). Deterministic: it consumes the Phase-C
- * `charter_register` deltas and runs the triangulation loop — partition → risk-gate
- * → split-by-attention → surface findings (design of record
- * spec/conceptual-design-review-design.md §"The triangulation loop"). Two modes,
- * gated by the ceiling:
+ * Charter-clarification executor (Phase D). Deterministic: it consumes the
+ * register's verified differences and runs the triangulation loop — partition →
+ * risk-gate → split-by-attention → surface findings. Two modes:
  *
- * - **omit** (`shallow` ceiling, or no non-omitted charter register): write an
- *   empty `status:omitted` register so the obligation is satisfied with no host
- *   turn (the conversation-first default; mirrors the charter-extraction omit).
- * - **run** (`deep`/`deepest` ceiling + a Phase-C register with deltas): assemble
- *   the VOI-ranked interactive queue (`asked`) + the banked findings, grounding
- *   every surfaced Finding's evidence against disk. Under attention `0` every
- *   question banks (the autonomous mode) — a valid, complete run with no human loop.
+ * - **omit** (`shallow` ceiling, or no non-omitted register, or a register still
+ *   owed a comparison or fidelity turn): write an empty `status:omitted` register.
+ * - **run**: assemble the VOI-ranked interactive queue (`asked`) + the banked
+ *   findings, grounding every surfaced Finding's evidence against disk. Under
+ *   attention `0` every question banks (the autonomous mode).
  */
 export function runCharterClarificationExecutor(bundle, answers) {
     const ceiling = resolveCharterCeiling(bundle.intent_checkpoint);
@@ -108,27 +88,23 @@ export function runCharterClarificationExecutor(bundle, answers) {
             updated: { ...bundle, charter_clarification: omitted },
             artifacts_written: ["charter_clarification.json"],
             progress_summary: ceilingRequestsCharters(ceiling)
-                ? "Charter clarification: no charter register with deltas; recorded an empty register."
+                ? "Charter clarification: no charter register with differences; recorded an empty register."
                 : `Charter clarification omitted (ceiling '${ceiling.rung}' does not request the charter layer).`,
         };
     }
-    // Resolve the prior answers into a request_id → answer map. When an answers
-    // submission is present at all, the interruptible-loop rule applies: every
-    // interactive question the host DIDN'T answer defaults to `leave_open` (a
-    // first-class decision) so the queue drains and the loop terminates. Absent a
-    // submission, no answers are applied (the first assemble that computes the queue).
+    // When an answers submission is present the interruptible-loop rule applies:
+    // every interactive question the host DIDN'T answer defaults to `leave_open`.
     const priorAnswers = new Map();
     if (answers) {
         for (const a of answers.answers)
             priorAnswers.set(a.request_id, a.answer);
         for (const q of bundle.charter_clarification?.asked ?? []) {
-            if (!priorAnswers.has(q.request_id)) {
+            if (!priorAnswers.has(q.request_id))
                 priorAnswers.set(q.request_id, "leave_open");
-            }
         }
     }
-    const { inputs, validation_issues: inputIssues } = clarificationInputs(bundle);
-    const assembled = assembleClarificationRegister(inputs, register.goal_graph, attention, { partitionDeltasToQuestions, applyRiskGate, splitByAttention }, priorAnswers);
+    const inputs = clarificationInputs(bundle);
+    const assembled = assembleClarificationRegister(inputs, register.lanes, attention, { partitionDifferencesToQuestions, applyRiskGate, splitByAttention }, priorAnswers);
     const findings = groundDesignFindings(assembled.findings, bundle.repo_manifest);
     const clarification = {
         generated_at,
@@ -138,20 +114,12 @@ export function runCharterClarificationExecutor(bundle, answers) {
         asked: assembled.asked,
         banked: assembled.banked,
         findings,
-        // Refusals from the join come first: a delta that never became a question is
-        // context for the queue that follows, not a footnote to it.
-        validation_issues: [...inputIssues, ...assembled.validation_issues],
+        validation_issues: assembled.validation_issues,
     };
-    // Surface each note's MESSAGE, not just a count — mirrors the charter-extraction
-    // pass's gate-drop summary. A refused delta (no node_id, or a node no subsystem
-    // carries) is a QUESTION THAT WILL NEVER BE ASKED; behind a bare "N note(s)" the
-    // operator cannot tell that from a routine remediator-routed skip, and would have
-    // to open charter_clarification.json to find out. The messages are bounded
-    // one-liners, so listing them is cheap.
-    const noteSummary = clarification.validation_issues.length > 0
-        ? `, ${clarification.validation_issues.length} note(s):\n` +
-            clarification.validation_issues.map((m) => `  - ${m}`).join("\n")
-        : ".";
+    const noteSummary = clarification.validation_issues.length === 0
+        ? "."
+        : `, ${clarification.validation_issues.length} note(s):\n` +
+            clarification.validation_issues.map((m) => `  - ${m}`).join("\n");
     return {
         updated: { ...bundle, charter_clarification: clarification },
         artifacts_written: ["charter_clarification.json"],

package/dist/audit/orchestrator/charterClarificationExecutor.js.map

@@ -1 +1 @@
-{"version":3,"file":"charterClarificationExecutor.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/charterClarificationExecutor.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,6BAA6B,EAC7B,oBAAoB,GAOrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAChG,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAC;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAE7D;;;;;;GAMG;AACH,MAAM,UAAU,6BAA6B,CAC3C,UAAwC;IAExC,MAAM,SAAS,GAAG,UAAU,EAAE,aAAa,EAAE,SAAS,CAAC;IACvD,OAAO,SAAS,IAAI,CAAC,CAAC;AACxB,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,SAAS,mBAAmB,CAAC,MAAsB;IAIjD,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC;IACzC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/C,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,CAAC;IAC/C,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAoB,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QACtC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,MAAM,GAA8B,EAAE,CAAC;IAC7C,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpC,2EAA2E;QAC3E,gEAAgE;QAChE,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpE,iBAAiB,CAAC,IAAI,CACpB,UAAU,KAAK,CAAC,QAAQ,0DAA0D;gBAChF,iFAAiF,CACpF,CAAC;YACF,SAAS;QACX,CAAC;QACD,8EAA8E;QAC9E,oEAAoE;QACpE,gFAAgF;QAChF,gFAAgF;QAChF,sDAAsD;QACtD,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACjD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,iBAAiB,CAAC,IAAI,CACpB,UAAU,KAAK,CAAC,QAAQ,sBAAsB,KAAK,CAAC,OAAO,wBAAwB;gBACjF,kEAAkE,CACrE,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,IAAI,CAAC;YACV,KAAK;YACL,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,OAAO,EAAE,OAAO,IAAI,EAAE;YACtB,YAAY,EAAE,KAAK,CAAC,YAAY;SACjC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,eAAe,CACtB,OAAgB,EAChB,SAAiC,EACjC,YAAoB;IAEpB,OAAO;QACL,YAAY;QACZ,MAAM,EAAE,uBAAuB;QAC/B,OAAO;QACP,SAAS;QACT,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE,EAAE;QACZ,iBAAiB,EAAE,EAAE;KACtB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,+BAA+B,CAC7C,MAAsB,EACtB,OAAwC;IAExC,MAAM,OAAO,GAAG,qBAAqB,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAChE,MAAM,SAAS,GAAG,6BAA6B,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAC1E,MAAM,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAE9C,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC;IACzC,IAAI,CAAC,uBAAuB,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACpF,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;QAClE,OAAO;YACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,qBAAqB,EAAE,OAAO,EAAE;YACtD,iBAAiB,EAAE,CAAC,4BAA4B,CAAC;YACjD,gBAAgB,EAAE,uBAAuB,CAAC,OAAO,CAAC;gBAChD,CAAC,CAAC,qFAAqF;gBACvF,CAAC,CAAC,2CAA2C,OAAO,CAAC,IAAI,wCAAwC;SACpG,CAAC;IACJ,CAAC;IAED,4EAA4E;IAC5E,2EAA2E;IAC3E,0EAA0E;IAC1E,8EAA8E;IAC9E,mFAAmF;IACnF,MAAM,YAAY,GAAG,IAAI,GAAG,EAAsC,CAAC;IACnE,IAAI,OAAO,EAAE,CAAC;QACZ,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO;YAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QAC1E,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,qBAAqB,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;YAC1D,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;gBACpC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,iBAAiB,EAAE,WAAW,EAAE,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC/E,MAAM,SAAS,GAAG,6BAA6B,CAC7C,MAAM,EACN,QAAQ,CAAC,UAAU,EACnB,SAAS,EACT,EAAE,0BAA0B,EAAE,aAAa,EAAE,gBAAgB,EAAE,EAC/D,YAAY,CACb,CAAC;IACF,MAAM,QAAQ,GAAG,oBAAoB,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;IAEhF,MAAM,aAAa,GAAiC;QAClD,YAAY;QACZ,MAAM,EAAE,uBAAuB;QAC/B,OAAO;QACP,SAAS;QACT,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,QAAQ;QACR,6EAA6E;QAC7E,4DAA4D;QAC5D,iBAAiB,EAAE,CAAC,GAAG,WAAW,EAAE,GAAG,SAAS,CAAC,iBAAiB,CAAC;KACpE,CAAC;IACF,iFAAiF;IACjF,gFAAgF;IAChF,iFAAiF;IACjF,kFAAkF;IAClF,2EAA2E;IAC3E,wCAAwC;IACxC,MAAM,WAAW,GACf,aAAa,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;QACxC,CAAC,CAAC,KAAK,aAAa,CAAC,iBAAiB,CAAC,MAAM,aAAa;YACxD,aAAa,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACnE,CAAC,CAAC,GAAG,CAAC;IACV,OAAO;QACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,qBAAqB,EAAE,aAAa,EAAE;QAC5D,iBAAiB,EAAE,CAAC,4BAA4B,CAAC;QACjD,gBAAgB,EACd,mCAAmC,aAAa,CAAC,KAAK,CAAC,MAAM,2BAA2B;YACxF,cAAc,MAAM,CAAC,SAAS,CAAC,MAAM,aAAa,CAAC,MAAM,CAAC,MAAM,YAAY;YAC5E,GAAG,aAAa,CAAC,QAAQ,CAAC,MAAM,aAAa;YAC7C,WAAW;KACd,CAAC;AACJ,CAAC"}
+{"version":3,"file":"charterClarificationExecutor.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/charterClarificationExecutor.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,6BAA6B,EAC7B,oBAAoB,EASpB,2BAA2B,GAC5B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAC;AAChG,OAAO,EAAE,+BAA+B,EAAE,MAAM,+BAA+B,CAAC;AAChF,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAE7D;;;;GAIG;AACH,MAAM,UAAU,6BAA6B,CAC3C,UAAwC;IAExC,MAAM,SAAS,GAAG,2BAA2B,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC;IACrE,OAAO,SAAS,IAAI,CAAC,CAAC;AACxB,CAAC;AAED,yFAAyF;AACzF,SAAS,mBAAmB,CAC1B,cAAiD,EACjD,MAAmC;IAEnC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,MAAM,IAAI,cAAc,EAAE,OAAO,IAAI,EAAE,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;QACzD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACjC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC,EAAE,KAAK,IAAI,EAAE;gBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,KAAwB,EAAE,MAAsB;IACxE,IAAI,IAAiD,CAAC;IACtD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,uBAAuB,EAAE,SAAS,IAAI,EAAE,EAAE,CAAC;QACnE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAChE,IAAI,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC7G,IAAI,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC;QACvC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,EAAE,EAAE,CAAC;AAClB,CAAC;AAED,6FAA6F;AAC7F,SAAS,mBAAmB,CAAC,MAAsB;IACjD,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC;IACzC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,OAAO,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE;QAC7C,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QAClE,MAAM,OAAO,GAAG,mBAAmB,CAAC,cAAc,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QACpE,MAAM,YAAY,GAAG,gBAAgB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACvD,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAC5F,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CACtB,OAAgB,EAChB,SAAiC,EACjC,YAAoB;IAEpB,OAAO;QACL,YAAY;QACZ,MAAM,EAAE,uBAAuB;QAC/B,OAAO;QACP,SAAS;QACT,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,EAAE;QACT,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE,EAAE;QACZ,iBAAiB,EAAE,EAAE;KACtB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,+BAA+B,CAC7C,MAAsB,EACtB,OAAwC;IAExC,MAAM,OAAO,GAAG,qBAAqB,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAChE,MAAM,SAAS,GAAG,6BAA6B,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAC1E,MAAM,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAE9C,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC;IACzC,IAAI,CAAC,uBAAuB,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACpF,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;QAClE,OAAO;YACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,qBAAqB,EAAE,OAAO,EAAE;YACtD,iBAAiB,EAAE,CAAC,4BAA4B,CAAC;YACjD,gBAAgB,EAAE,uBAAuB,CAAC,OAAO,CAAC;gBAChD,CAAC,CAAC,0FAA0F;gBAC5F,CAAC,CAAC,2CAA2C,OAAO,CAAC,IAAI,wCAAwC;SACpG,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,8EAA8E;IAC9E,MAAM,YAAY,GAAG,IAAI,GAAG,EAAmC,CAAC;IAChE,IAAI,OAAO,EAAE,CAAC;QACZ,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO;YAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QAC1E,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,qBAAqB,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;YAC1D,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC;gBAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,6BAA6B,CAC7C,MAAM,EACN,QAAQ,CAAC,KAAK,EACd,SAAS,EACT,EAAE,+BAA+B,EAAE,aAAa,EAAE,gBAAgB,EAAE,EACpE,YAAY,CACb,CAAC;IACF,MAAM,QAAQ,GAAG,oBAAoB,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;IAEhF,MAAM,aAAa,GAAiC;QAClD,YAAY;QACZ,MAAM,EAAE,uBAAuB;QAC/B,OAAO;QACP,SAAS;QACT,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,QAAQ;QACR,iBAAiB,EAAE,SAAS,CAAC,iBAAiB;KAC/C,CAAC;IACF,MAAM,WAAW,GACf,aAAa,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC;QAC1C,CAAC,CAAC,GAAG;QACL,CAAC,CAAC,KAAK,aAAa,CAAC,iBAAiB,CAAC,MAAM,aAAa;YACxD,aAAa,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,OAAO;QACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,qBAAqB,EAAE,aAAa,EAAE;QAC5D,iBAAiB,EAAE,CAAC,4BAA4B,CAAC;QACjD,gBAAgB,EACd,mCAAmC,aAAa,CAAC,KAAK,CAAC,MAAM,2BAA2B;YACxF,cAAc,MAAM,CAAC,SAAS,CAAC,MAAM,aAAa,CAAC,MAAM,CAAC,MAAM,YAAY;YAC5E,GAAG,aAAa,CAAC,QAAQ,CAAC,MAAM,aAAa;YAC7C,WAAW;KACd,CAAC;AACJ,CAAC"}

package/dist/audit/orchestrator/charterComparisonExecutor.d.ts

@@ -0,0 +1,24 @@
+import type { ArtifactBundle } from "../io/artifacts.js";
+import type { ExecutorRunResult } from "./executorResult.js";
+import { type CharterComparisonSubmission } from "audit-tools/shared";
+/**
+ * Charter-COMPARISON executor (steps 2–3). The comparison reader authored none
+ * of the three lane DAGs; it confirmed, rejected, widened or added
+ * correspondences over the tool's candidates and recorded the typed differences.
+ * This executor is the enforcement half: `assembleComparison` grounds every
+ * member and evidence ref, refuses malformed records with a named issue, and
+ * routes each difference by the fixed table; then the MECHANICAL half of step 4
+ * runs here — every finding candidate's cited quotes are re-read from disk and a
+ * missing quote settles the record `unverifiable` before any lane sees it.
+ *
+ * - **omit** (no register, register not `comparison_pending`, or no submission):
+ *   settle the register (`comparison_pending: false`) with no host turn. A pending
+ *   register settled with NO submission is recorded as UNCOMPARED, never as
+ *   affirmed-clean (a clean comparison submits `no_correspondences: true`).
+ * - **ingest**: assemble, pre-check, and flag `fidelity_pending` when ≥1 finding
+ *   candidate still awaits the fidelity lane.
+ */
+export declare function runCharterComparisonExecutor(bundle: ArtifactBundle, submission: CharterComparisonSubmission | undefined, options?: {
+    root?: string;
+}): ExecutorRunResult;
+//# sourceMappingURL=charterComparisonExecutor.d.ts.map

package/dist/audit/orchestrator/charterComparisonExecutor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"charterComparisonExecutor.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/charterComparisonExecutor.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAE7D,OAAO,EAIL,KAAK,2BAA2B,EAEjC,MAAM,oBAAoB,CAAC;AAG5B;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,cAAc,EACtB,UAAU,EAAE,2BAA2B,GAAG,SAAS,EACnD,OAAO,GAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAA;CAAO,GAC9B,iBAAiB,CAoEnB"}

package/dist/audit/orchestrator/charterComparisonExecutor.js

@@ -0,0 +1,110 @@
+import { assembleComparison, precheckFidelity, checkCitations, } from "audit-tools/shared";
+import { emptyCharterRegister } from "./charterExtractionExecutor.js";
+/**
+ * Charter-COMPARISON executor (steps 2–3). The comparison reader authored none
+ * of the three lane DAGs; it confirmed, rejected, widened or added
+ * correspondences over the tool's candidates and recorded the typed differences.
+ * This executor is the enforcement half: `assembleComparison` grounds every
+ * member and evidence ref, refuses malformed records with a named issue, and
+ * routes each difference by the fixed table; then the MECHANICAL half of step 4
+ * runs here — every finding candidate's cited quotes are re-read from disk and a
+ * missing quote settles the record `unverifiable` before any lane sees it.
+ *
+ * - **omit** (no register, register not `comparison_pending`, or no submission):
+ *   settle the register (`comparison_pending: false`) with no host turn. A pending
+ *   register settled with NO submission is recorded as UNCOMPARED, never as
+ *   affirmed-clean (a clean comparison submits `no_correspondences: true`).
+ * - **ingest**: assemble, pre-check, and flag `fidelity_pending` when ≥1 finding
+ *   candidate still awaits the fidelity lane.
+ */
+export function runCharterComparisonExecutor(bundle, submission, options = {}) {
+    const generated_at = new Date().toISOString();
+    const register = bundle.charter_register;
+    if (!register || register.comparison_pending !== true || !submission) {
+        const uncompared = register !== undefined && register.comparison_pending === true && !submission;
+        const settled = register
+            ? {
+                ...register,
+                generated_at,
+                comparison_pending: false,
+                ...(uncompared
+                    ? {
+                        validation_issues: [
+                            ...register.validation_issues,
+                            "comparison settled without a reader submission — the lane DAGs are UNCOMPARED, not affirmed-clean (a clean comparison submits `no_correspondences: true`).",
+                        ],
+                    }
+                    : {}),
+            }
+            : { ...emptyCharterRegister({ rung: "shallow" }, generated_at, "omitted"), comparison_pending: false };
+        return {
+            updated: { ...bundle, charter_register: settled },
+            artifacts_written: ["charter_register.json"],
+            progress_summary: !register
+                ? "Charter comparison omitted (no charter register to compare)."
+                : register.comparison_pending !== true
+                    ? "Charter comparison omitted (register not awaiting a comparison)."
+                    : "Charter comparison: no submission supplied; settled the register UNCOMPARED (recorded as a validation issue).",
+        };
+    }
+    const universe = new Set((bundle.repo_manifest?.files ?? []).map((file) => file.path));
+    const assembled = assembleComparison(submission, {
+        candidates: register.candidates,
+        graphs: register.lanes,
+        universe,
+    });
+    // Step 4, mechanical half: re-read every cited quote on every finding
+    // candidate's accounts. Without a root the check cannot run and every quote is
+    // "unknown" (undefined) — nothing is settled, everything goes to the lane, and
+    // the abstention is visible as `fidelity_pending` with no tool verdicts.
+    const quoteFound = buildQuoteOracle(assembled.differences.flatMap((d) => d.accounts.flatMap((a) => a.provenance)), options.root);
+    const pre = precheckFidelity(assembled.differences, quoteFound);
+    const updated = {
+        ...register,
+        generated_at,
+        correspondences: assembled.correspondences,
+        differences: pre.differences,
+        validation_issues: [...register.validation_issues, ...assembled.validation_issues],
+        comparison_pending: false,
+        fidelity_pending: pre.pendingLane.length > 0,
+    };
+    const settledByTool = pre.differences.filter((d) => d.fidelity?.decided_by === "tool").length;
+    return {
+        updated: { ...bundle, charter_register: updated },
+        artifacts_written: ["charter_register.json"],
+        progress_summary: `Charter comparison complete: ${updated.correspondences.length} correspondence(s), ` +
+            `${updated.differences.length} difference(s); ${pre.pendingLane.length} finding candidate(s) ` +
+            `await the fidelity lane, ${settledByTool} settled unverifiable by the quote pre-check` +
+            (assembled.validation_issues.length > 0
+                ? `, ${assembled.validation_issues.length} record(s) refused:\n` +
+                    assembled.validation_issues.map((m) => `  - ${m}`).join("\n")
+                : "."),
+    };
+}
+/**
+ * The quote oracle the pre-check consumes: `true` when the cited quote is found
+ * at its ref, `false` when the check ran and did not find it, `undefined` when
+ * no check could run (no root) or the provenance is not path-shaped.
+ */
+function buildQuoteOracle(provenance, root) {
+    if (!root)
+        return () => undefined;
+    const pathShaped = new Set(["doc", "code", "comment"]);
+    const citations = provenance
+        .filter((p) => pathShaped.has(p.kind) && p.quote !== undefined)
+        .map((p, i) => ({ owner_id: `q${i}`, ref: p.ref, quote: p.quote }));
+    const result = checkCitations({ root, corpus: new Set(), citations });
+    const verdictByKey = new Map();
+    result.checks.forEach((check, i) => {
+        const source = citations[i];
+        if (!source)
+            return;
+        verdictByKey.set(`${source.ref}\n${source.quote}`, check.verdict === "ok");
+    });
+    return (p) => {
+        if (!pathShaped.has(p.kind) || p.quote === undefined)
+            return undefined;
+        return verdictByKey.get(`${p.ref}\n${p.quote}`);
+    };
+}
+//# sourceMappingURL=charterComparisonExecutor.js.map

package/dist/audit/orchestrator/charterComparisonExecutor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"charterComparisonExecutor.js","sourceRoot":"","sources":["../../../src/audit/orchestrator/charterComparisonExecutor.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,cAAc,GAGf,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AAEtE;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAAsB,EACtB,UAAmD,EACnD,UAA6B,EAAE;IAE/B,MAAM,YAAY,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC9C,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC;IAEzC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,kBAAkB,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACrE,MAAM,UAAU,GAAG,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,kBAAkB,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC;QACjG,MAAM,OAAO,GAAoB,QAAQ;YACvC,CAAC,CAAC;gBACE,GAAG,QAAQ;gBACX,YAAY;gBACZ,kBAAkB,EAAE,KAAK;gBACzB,GAAG,CAAC,UAAU;oBACZ,CAAC,CAAC;wBACE,iBAAiB,EAAE;4BACjB,GAAG,QAAQ,CAAC,iBAAiB;4BAC7B,4JAA4J;yBAC7J;qBACF;oBACH,CAAC,CAAC,EAAE,CAAC;aACR;YACH,CAAC,CAAC,EAAE,GAAG,oBAAoB,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,YAAY,EAAE,SAAS,CAAC,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC;QACzG,OAAO;YACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE;YACjD,iBAAiB,EAAE,CAAC,uBAAuB,CAAC;YAC5C,gBAAgB,EAAE,CAAC,QAAQ;gBACzB,CAAC,CAAC,8DAA8D;gBAChE,CAAC,CAAC,QAAQ,CAAC,kBAAkB,KAAK,IAAI;oBACpC,CAAC,CAAC,kEAAkE;oBACpE,CAAC,CAAC,+GAA+G;SACtH,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,aAAa,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACvF,MAAM,SAAS,GAAG,kBAAkB,CAAC,UAAU,EAAE;QAC/C,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,MAAM,EAAE,QAAQ,CAAC,KAAK;QACtB,QAAQ;KACT,CAAC,CAAC;IAEH,sEAAsE;IACtE,+EAA+E;IAC/E,+EAA+E;IAC/E,yEAAyE;IACzE,MAAM,UAAU,GAAG,gBAAgB,CAAC,SAAS,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACjI,MAAM,GAAG,GAAG,gBAAgB,CAAC,SAAS,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IAEhE,MAAM,OAAO,GAAoB;QAC/B,GAAG,QAAQ;QACX,YAAY;QACZ,eAAe,EAAE,SAAS,CAAC,eAAe;QAC1C,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,iBAAiB,EAAE,CAAC,GAAG,QAAQ,CAAC,iBAAiB,EAAE,GAAG,SAAS,CAAC,iBAAiB,CAAC;QAClF,kBAAkB,EAAE,KAAK;QACzB,gBAAgB,EAAE,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;KAC7C,CAAC;IACF,MAAM,aAAa,GAAG,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAC9F,OAAO;QACL,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE;QACjD,iBAAiB,EAAE,CAAC,uBAAuB,CAAC;QAC5C,gBAAgB,EACd,gCAAgC,OAAO,CAAC,eAAe,CAAC,MAAM,sBAAsB;YACpF,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,mBAAmB,GAAG,CAAC,WAAW,CAAC,MAAM,wBAAwB;YAC9F,4BAA4B,aAAa,8CAA8C;YACvF,CAAC,SAAS,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;gBACrC,CAAC,CAAC,KAAK,SAAS,CAAC,iBAAiB,CAAC,MAAM,uBAAuB;oBAC9D,SAAS,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC/D,CAAC,CAAC,GAAG,CAAC;KACX,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CACvB,UAAwC,EACxC,IAAwB;IAExB,IAAI,CAAC,IAAI;QAAE,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC;IAClC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACvD,MAAM,SAAS,GAAG,UAAU;SACzB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC;SAC9D,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,cAAc,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,GAAG,EAAU,EAAE,SAAS,EAAE,CAAC,CAAC;IAC9E,MAAM,YAAY,GAAG,IAAI,GAAG,EAAmB,CAAC;IAChD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QACjC,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,YAAY,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,CAAC,EAAE,EAAE;QACX,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACvE,OAAO,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC;AACJ,CAAC"}

package/dist/audit/orchestrator/charterExtractionExecutor.d.ts

@@ -1,10 +1,15 @@
 import type { ArtifactBundle } from "../io/artifacts.js";
 import type { ExecutorRunResult } from "./executorResult.js";
-import { type CharterSubmission, type Ceiling, type IntentCheckpoint } from "audit-tools/shared";
+import { type CharterRegister } from "../types/charterRegister.js";
+import { type CharterPacketManifest, type CharterLaneGraph, type CharterLaneSubmission, type Ceiling, type CitationValidationSummary, type IntentCheckpoint } from "audit-tools/shared";
+/** The tool-merged extraction submission: every lane's DAG, in canonical kind order. */
+export interface CharterExtractionMerged {
+    lanes: CharterLaneSubmission[];
+}
 /**
  * Resolve the charter-layer ceiling from the confirmed checkpoint. The ceiling is
  * the consent dial captured at `intent_checkpoint`; when the host never set it we
- * fall back to the legacy `conceptual_depth` (deep → a `deep` ceiling) and default
+ * fall back to the run-bound `conceptual_depth` (deep → a `deep` ceiling) and default
  * to `shallow` — conversation-first, the charter layer is opt-in. Exported so the
  * obligation gate and the prompt renderer resolve depth identically (one source).
  */
@@ -12,28 +17,37 @@ export declare function resolveCharterCeiling(checkpoint: IntentCheckpoint | und
 /** Whether the ceiling authorizes a charter-extraction pass at all (deep or deeper). */
 export declare function ceilingRequestsCharters(ceiling: Ceiling): boolean;
 /**
- * Charter-extraction executor (Phase C). Two modes, gated by the ceiling:
+ * Check every path-shaped provenance citation the lane DAGs carry — on nodes AND
+ * on edges — against the repository and against the line runs the packets
+ * actually delivered. `citation_validation` is the affirmation that the check
+ * RAN: an empty issue list is only ever emitted beside a stated status and count.
+ */
+export declare function checkLaneCitations(lanes: readonly CharterLaneGraph[], options: {
+    root?: string;
+    manifests: readonly CharterPacketManifest[];
+}): {
+    issues: string[];
+    summary: CitationValidationSummary;
+};
+/** An empty register — the omit shape, shared by every charter executor's omit branch. */
+export declare function emptyCharterRegister(ceiling: Ceiling, generated_at: string, status: "omitted" | undefined): CharterRegister;
+/**
+ * Charter-extraction executor (step 1). Two modes, gated by the ceiling:
  *
  * - **omit** (`shallow` ceiling, or no submission): write an empty `status:omitted`
- *   register so the obligation is satisfied with no LLM pass. Mirrors the
- *   synthesis-narrative omit — the charter layer is opt-in at a `deep`+ ceiling.
- * - **ingest** (`deep`/`deepest` ceiling + a host submission): validate + assemble
- *   the gated CHARTERS from the submission (the deterministic enforcement half —
- *   id assignment, per-kind merge, the Phase-A True gate; `assembleCharters`),
- *   grounding every subsystem against the consensus scaffold, then CHECKING every
- *   path-shaped provenance citation against the repository and against the line
- *   runs the packets actually delivered. This pass authors charters ONLY — the
- *   deltas + goal_graph are mined by the INDEPENDENT charter_delta pass (no author
- *   marks its own homework), so the register is left with empty
- *   deltas/findings/goal_graph and `deltas_pending` set whenever it produced ≥1
- *   subsystem for the delta-miner to reason over.
+ *   register so the obligation is satisfied with no LLM pass.
+ * - **ingest** (`deep`/`deepest` ceiling + the merged lane submissions): assemble
+ *   each lane's goal DAG (ids unique, edges resolve, cycles refused, levels
+ *   derived, scopes grounded — `assembleLaneGraph`), CHECK every path-shaped
+ *   provenance citation on nodes and edges against the repository and the packets,
+ *   PROPOSE the correspondence candidates deterministically, and flag
+ *   `comparison_pending` whenever any lane produced a node — the comparison reader
+ *   (a different pass; no author marks its own homework) is owed the next turn.
  *
- * `root` and `artifactsDir` are both OPTIONAL and are passed through unchanged.
- * They are NOT required: the omit branch needs no disk at all, and forcing a root
- * would throw before the `not_run` abstention could ever be recorded — which
- * would make the abstention unreachable and the affirmation a lie.
+ * `root` and `artifactsDir` are OPTIONAL: the omit branch needs no disk, and
+ * forcing a root would throw before the `not_run` abstention could be recorded.
  */
-export declare function runCharterExtractionExecutor(bundle: ArtifactBundle, submission: CharterSubmission | undefined, options?: {
+export declare function runCharterExtractionExecutor(bundle: ArtifactBundle, submission: CharterExtractionMerged | undefined, options?: {
     root?: string;
     artifactsDir?: string;
 }): Promise<ExecutorRunResult>;

package/dist/audit/orchestrator/charterExtractionExecutor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"charterExtractionExecutor.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/charterExtractionExecutor.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAK7D,OAAO,EASL,KAAK,iBAAiB,EAEtB,KAAK,OAAO,EAGZ,KAAK,gBAAgB,EACtB,MAAM,oBAAoB,CAAC;AAI5B;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,gBAAgB,GAAG,SAAS,GACvC,OAAO,CAKT;AAED,wFAAwF;AACxF,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAEjE;AAmID;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAsB,4BAA4B,CAChD,MAAM,EAAE,cAAc,EACtB,UAAU,EAAE,iBAAiB,GAAG,SAAS,EACzC,OAAO,GAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAO,GACrD,OAAO,CAAC,iBAAiB,CAAC,CAiG5B"}
+{"version":3,"file":"charterExtractionExecutor.d.ts","sourceRoot":"","sources":["../../../src/audit/orchestrator/charterExtractionExecutor.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EAEL,KAAK,eAAe,EACrB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EASL,KAAK,qBAAqB,EAC1B,KAAK,gBAAgB,EACrB,KAAK,qBAAqB,EAC1B,KAAK,OAAO,EACZ,KAAK,yBAAyB,EAE9B,KAAK,gBAAgB,EAEtB,MAAM,oBAAoB,CAAC;AAI5B,wFAAwF;AACxF,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,qBAAqB,EAAE,CAAC;CAChC;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,gBAAgB,GAAG,SAAS,GACvC,OAAO,CAOT;AAED,wFAAwF;AACxF,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAEjE;AA2CD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,SAAS,gBAAgB,EAAE,EAClC,OAAO,EAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,SAAS,qBAAqB,EAAE,CAAA;CAAE,GACtE;IAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,yBAAyB,CAAA;CAAE,CA8D1D;AAED,0FAA0F;AAC1F,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,OAAO,EAChB,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,SAAS,GAAG,SAAS,GAC5B,eAAe,CAwBjB;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,4BAA4B,CAChD,MAAM,EAAE,cAAc,EACtB,UAAU,EAAE,uBAAuB,GAAG,SAAS,EAC/C,OAAO,GAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAO,GACrD,OAAO,CAAC,iBAAiB,CAAC,CA0D5B"}