audit-tools 0.40.1 → 0.41.0

package/dist/audit/cli/laneValidators.js

@@ -0,0 +1,145 @@
+import { CharterSubmissionSchema, CharterDeltaSubmissionSchema, ClarificationAnswersSubmissionSchema, CriticalFlowFallbackResultSchema, SynthesisNarrativeSchema, SystemicChallengeSubmissionSchema, } from "audit-tools/shared";
+import { IntentEquivalenceVerdictSchema } from "../orchestrator/intentEquivalenceExecutor.js";
+import { CONCEPTUAL_PERSPECTIVE_LANE_PREFIX, GATE_LANES, charterKindForLane, } from "./laneSubmissions.js";
+/** Human-readable description of why a submission is neither an array nor a single-array-wrapped object. */
+export function describeSubmissionShapeMismatch(value) {
+    if (value === null)
+        return "null";
+    if (Array.isArray(value))
+        return "an array";
+    const t = typeof value;
+    if (t !== "object")
+        return `a bare ${t}`;
+    const entries = Object.entries(value);
+    if (entries.length === 0)
+        return "an empty object";
+    const arrayKeys = entries.filter(([, v]) => Array.isArray(v)).map(([k]) => k);
+    const allKeys = entries.map(([k]) => k).join(", ");
+    if (arrayKeys.length === 0) {
+        return `an object with no array-valued properties (keys: ${allKeys})`;
+    }
+    return (`an object with ${arrayKeys.length} array-valued propert${arrayKeys.length === 1 ? "y" : "ies"} ` +
+        `out of ${entries.length} total key(s) (${allKeys}) — exactly one top-level array property is ` +
+        `required for the tolerant unwrap`);
+}
+/**
+ * The single tolerant-unwrap rule: a bare array is accepted as-is; a top-level
+ * object wrapping exactly one array-valued property is unambiguous and is
+ * accepted as that array. Anything else fails with a shape description.
+ * Single-sourced so the design-review gate, the edge-reasoning gate, and the
+ * recovery verb cannot drift on what shapes are accepted.
+ */
+export function unwrapSubmissionArray(value) {
+    if (Array.isArray(value))
+        return { ok: true, array: value };
+    if (value !== null && typeof value === "object") {
+        const entries = Object.entries(value);
+        if (entries.length === 1 && Array.isArray(entries[0][1])) {
+            return { ok: true, array: entries[0][1] };
+        }
+    }
+    return { ok: false, reason: describeSubmissionShapeMismatch(value) };
+}
+/** True for a plain top-level key → value map (the decisions-file shape). */
+export function isSubmissionObjectMap(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value);
+}
+/**
+ * The charter lane schema: the submission shape PLUS the two refinements that
+ * make a blind lane trustworthy — kind purity (a lane may only carry its own
+ * kind; anything else is a mis-routed submission) and scope grounding (a
+ * teleology node citing files the repo does not contain is refused whole,
+ * naming them, never silently narrowed).
+ *
+ * `repoFiles` is the manifest's path set. It is a parameter rather than a
+ * capture so the gate and the recovery verb apply the identical refinement
+ * against the identical universe.
+ */
+export function charterLaneSchema(kind, repoFiles) {
+    return CharterSubmissionSchema.superRefine((submission, ctx) => {
+        submission.nodes.forEach((node, ni) => {
+            if (node.kind !== kind) {
+                ctx.addIssue({
+                    code: "custom",
+                    path: ["nodes", ni, "kind"],
+                    message: `lane '${kind}' may only carry kind '${kind}', got '${node.kind}'`,
+                });
+            }
+            const unknownFiles = node.files.filter((f) => !repoFiles.has(f));
+            if (unknownFiles.length > 0) {
+                ctx.addIssue({
+                    code: "custom",
+                    path: ["nodes", ni, "files"],
+                    message: `teleology node cites file(s) outside the repo: ${unknownFiles.sort().join(", ")} — ` +
+                        "scopes must be repo-relative paths exactly as the evidence packet names them",
+                });
+            }
+        });
+    });
+}
+/**
+ * Lanes whose contract is a zod schema, keyed by lane id. The gate descriptors
+ * read this table; so does the recovery verb.
+ */
+export const LANE_SUBMISSION_SCHEMAS = {
+    [GATE_LANES.synthesis_narrative]: SynthesisNarrativeSchema,
+    [GATE_LANES.critical_flow_fallback]: CriticalFlowFallbackResultSchema,
+    [GATE_LANES.charter_delta]: CharterDeltaSubmissionSchema,
+    [GATE_LANES.charter_clarification]: ClarificationAnswersSubmissionSchema,
+    [GATE_LANES.systemic_challenge]: SystemicChallengeSubmissionSchema,
+    [GATE_LANES.intent_equivalence]: IntentEquivalenceVerdictSchema,
+};
+function schemaIssue(schema, value) {
+    const parsed = schema.safeParse(value);
+    if (parsed.success)
+        return null;
+    return {
+        code: "submission_contract_invalid",
+        message: parsed.error.issues
+            .map((issue) => `${issue.path.join(".") || "(root)"}: ${issue.message}`)
+            .join("; "),
+    };
+}
+function arrayIssue(value) {
+    const unwrapped = unwrapSubmissionArray(value);
+    return unwrapped.ok
+        ? null
+        : { code: "submission_contract_invalid", message: unwrapped.reason };
+}
+function objectMapIssue(value) {
+    return isSubmissionObjectMap(value)
+        ? null
+        : {
+            code: "submission_contract_invalid",
+            message: `expected a JSON object, got ${describeSubmissionShapeMismatch(value)}`,
+        };
+}
+/**
+ * The validator the normal lane applies to `lane`, or `null` when the lane id
+ * is not one this tool knows. Callers that cannot supply a validator must
+ * REFUSE rather than accept — an unknown lane has no contract to check against,
+ * and "no contract" must never read as "passes".
+ */
+export function laneSubmissionValidator(lane, context) {
+    const schema = LANE_SUBMISSION_SCHEMAS[lane];
+    if (schema)
+        return (value) => schemaIssue(schema, value);
+    const charterKind = charterKindForLane(lane);
+    if (charterKind) {
+        const laneSchema = charterLaneSchema(charterKind, context.repoFiles);
+        return (value) => schemaIssue(laneSchema, value);
+    }
+    if (lane === GATE_LANES.design_review_legacy ||
+        lane === GATE_LANES.design_review_contract ||
+        lane === GATE_LANES.design_review_conceptual ||
+        lane === GATE_LANES.edge_reasoning ||
+        lane.startsWith(CONCEPTUAL_PERSPECTIVE_LANE_PREFIX)) {
+        return arrayIssue;
+    }
+    if (lane === GATE_LANES.analyzer_consent ||
+        lane === GATE_LANES.analyzer_decisions) {
+        return objectMapIssue;
+    }
+    return null;
+}
+//# sourceMappingURL=laneValidators.js.map

package/dist/audit/cli/laneValidators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"laneValidators.js","sourceRoot":"","sources":["../../../src/audit/cli/laneValidators.ts"],"names":[],"mappings":"AAiBA,OAAO,EACL,uBAAuB,EACvB,4BAA4B,EAC5B,oCAAoC,EACpC,gCAAgC,EAChC,wBAAwB,EACxB,iCAAiC,GAGlC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,8BAA8B,EAAE,MAAM,8CAA8C,CAAC;AAC9F,OAAO,EACL,kCAAkC,EAClC,UAAU,EACV,kBAAkB,GACnB,MAAM,sBAAsB,CAAC;AAE9B,4GAA4G;AAC5G,MAAM,UAAU,+BAA+B,CAAC,KAAc;IAC5D,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IAC5C,MAAM,CAAC,GAAG,OAAO,KAAK,CAAC;IACvB,IAAI,CAAC,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC,EAAE,CAAC;IACzC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAC;IACjE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,iBAAiB,CAAC;IACnD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,oDAAoD,OAAO,GAAG,CAAC;IACxE,CAAC;IACD,OAAO,CACL,kBAAkB,SAAS,CAAC,MAAM,wBAAwB,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG;QACjG,UAAU,OAAO,CAAC,MAAM,kBAAkB,OAAO,8CAA8C;QAC/F,kCAAkC,CACnC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAc;IAEd,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC5D,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAC;QACjE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACzD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,+BAA+B,CAAC,KAAK,CAAC,EAAE,CAAC;AACvE,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,qBAAqB,CACnC,KAAc;IAEd,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAiB,EACjB,SAA8B;IAE9B,OAAO,uBAAuB,CAAC,WAAW,CAAC,CAAC,UAAU,EAAE,GAAG,EAAE,EAAE;QAC7D,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE;YACpC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBACvB,GAAG,CAAC,QAAQ,CAAC;oBACX,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC;oBAC3B,OAAO,EAAE,SAAS,IAAI,0BAA0B,IAAI,WAAW,IAAI,CAAC,IAAI,GAAG;iBAC5E,CAAC,CAAC;YACL,CAAC;YACD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACjE,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,GAAG,CAAC,QAAQ,CAAC;oBACX,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC;oBAC5B,OAAO,EACL,kDAAkD,YAAY,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;wBACrF,8EAA8E;iBACjF,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAyC;IAC3E,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,wBAAwB;IAC1D,CAAC,UAAU,CAAC,sBAAsB,CAAC,EAAE,gCAAgC;IACrE,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,4BAA4B;IACxD,CAAC,UAAU,CAAC,qBAAqB,CAAC,EAAE,oCAAoC;IACxE,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,iCAAiC;IAClE,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,8BAA8B;CAChE,CAAC;AAEF,SAAS,WAAW,CAAC,MAAkB,EAAE,KAAc;IACrD,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,MAAM,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO;QACL,IAAI,EAAE,6BAA6B;QACnC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM;aACzB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,QAAQ,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;aACvE,IAAI,CAAC,IAAI,CAAC;KACd,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,MAAM,SAAS,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAC/C,OAAO,SAAS,CAAC,EAAE;QACjB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,EAAE,IAAI,EAAE,6BAA6B,EAAE,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,OAAO,qBAAqB,CAAC,KAAK,CAAC;QACjC,CAAC,CAAC,IAAI;QACN,CAAC,CAAC;YACE,IAAI,EAAE,6BAA6B;YACnC,OAAO,EAAE,+BAA+B,+BAA+B,CAAC,KAAK,CAAC,EAAE;SACjF,CAAC;AACR,CAAC;AAQD;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAAY,EACZ,OAA8B;IAE9B,MAAM,MAAM,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,MAAM;QAAE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAEzD,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,UAAU,GAAG,iBAAiB,CAAC,WAAW,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;QACrE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACnD,CAAC;IAED,IACE,IAAI,KAAK,UAAU,CAAC,oBAAoB;QACxC,IAAI,KAAK,UAAU,CAAC,sBAAsB;QAC1C,IAAI,KAAK,UAAU,CAAC,wBAAwB;QAC5C,IAAI,KAAK,UAAU,CAAC,cAAc;QAClC,IAAI,CAAC,UAAU,CAAC,kCAAkC,CAAC,EACnD,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,IACE,IAAI,KAAK,UAAU,CAAC,gBAAgB;QACpC,IAAI,KAAK,UAAU,CAAC,kBAAkB,EACtC,CAAC;QACD,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/audit/cli/nextStepCommand.d.ts

@@ -1,3 +1,3 @@
-export { tryConsumeIncoming, consumeArrayIncoming, consumeObjectIncoming, renderDesignReviewRejectionNotice, renderEdgeReasoningRejectionNotice, buildTerminalStep, handleGraphEnrichmentBranch, handleDesignReviewBranch, handleSynthesisNarrativeBranch, executeAndRecord, checkFinalizationCycle, checkNoProgressBeforeDispatch, runDeterministicForNextStep, } from "./nextStepHelpers.js";
+export { tryConsumeSubmission, consumeArraySubmission, consumeObjectSubmission, renderDesignReviewRejectionNotice, renderEdgeReasoningRejectionNotice, buildTerminalStep, handleGraphEnrichmentBranch, handleDesignReviewBranch, handleSynthesisNarrativeBranch, executeAndRecord, checkFinalizationCycle, checkNoProgressBeforeDispatch, runDeterministicForNextStep, } from "./nextStepHelpers.js";
 export declare function cmdNextStep(argv: string[]): Promise<void>;
 //# sourceMappingURL=nextStepCommand.d.ts.map

package/dist/audit/cli/nextStepCommand.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"nextStepCommand.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/nextStepCommand.ts"],"names":[],"mappings":"AA2EA,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,qBAAqB,EACrB,iCAAiC,EACjC,kCAAkC,EAClC,iBAAiB,EACjB,2BAA2B,EAC3B,wBAAwB,EACxB,8BAA8B,EAC9B,gBAAgB,EAChB,sBAAsB,EACtB,6BAA6B,EAC7B,2BAA2B,GAC5B,MAAM,sBAAsB,CAAC;AA0H9B,wBAAsB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAuB/D"}
+{"version":3,"file":"nextStepCommand.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/nextStepCommand.ts"],"names":[],"mappings":"AAuFA,OAAO,EACL,oBAAoB,EACpB,sBAAsB,EACtB,uBAAuB,EACvB,iCAAiC,EACjC,kCAAkC,EAClC,iBAAiB,EACjB,2BAA2B,EAC3B,wBAAwB,EACxB,8BAA8B,EAC9B,gBAAgB,EAChB,sBAAsB,EACtB,6BAA6B,EAC7B,2BAA2B,GAC5B,MAAM,sBAAsB,CAAC;AA4I9B,wBAAsB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAuB/D"}