agentskeptic 4.1.1 → 5.0.0

package/dist/evidenceCompleteness.js

@@ -0,0 +1,285 @@
+/**
+ * Canonical evidence completeness object (schemas/evidence-completeness-v1.schema.json).
+ */
+import { deriveActionableFailureWorkflow } from "./actionableFailure.js";
+import { RESOLVE_FAILURE_CODES } from "./verificationDiagnostics.js";
+import { REGISTRY_RESOLVER_CODE, SQL_VERIFICATION_OUTCOME_CODE as SQL } from "./wireReasonCodes.js";
+import { userPhraseForReasonCode } from "./verificationUserPhrases.js";
+import { redactEvidenceString } from "./redactEvidenceString.js";
+const REGISTRY_CODES = new Set(Object.values(REGISTRY_RESOLVER_CODE));
+function capList(lines, max, eachMax) {
+    const out = [];
+    for (let i = 0; i < lines.length && out.length < max; i++) {
+        out.push(redactEvidenceString(lines[i], eachMax));
+    }
+    return out;
+}
+function collectWorkflowCodes(result) {
+    const s = new Set();
+    for (const r of result.runLevelReasons)
+        s.add(r.code);
+    if (result.eventSequenceIntegrity.kind === "irregular") {
+        for (const r of result.eventSequenceIntegrity.reasons)
+            s.add(r.code);
+    }
+    for (const step of result.steps) {
+        for (const r of step.reasons)
+            s.add(r.code);
+    }
+    return s;
+}
+function classifyWorkflowBlocker(result) {
+    const C = collectWorkflowCodes(result);
+    if (C.has("NO_STEPS_FOR_WORKFLOW"))
+        return "ingest_empty";
+    if (C.has("MALFORMED_EVENT_LINE"))
+        return "ingest_unstructured";
+    if (result.eventSequenceIntegrity.kind === "irregular")
+        return "event_sequence";
+    const ctx = result.verificationRunContext;
+    if (ctx.toolSkippedEvents.length > 0)
+        return "control_flow_context";
+    if (ctx.controlEvents.some((e) => e.decision === "skipped"))
+        return "control_flow_context";
+    if (ctx.modelTurnEvents.some((e) => e.status !== "completed"))
+        return "control_flow_context";
+    if (C.has(SQL.UNKNOWN_TOOL))
+        return "registry_unknown_tool";
+    for (const c of C) {
+        if (REGISTRY_CODES.has(c) || RESOLVE_FAILURE_CODES.has(c))
+            return "registry_resolution";
+    }
+    if (C.has(SQL.STATE_WITNESS_UNAVAILABLE_IN_SQLITE_FILE_MODE) ||
+        C.has(SQL.STATE_WITNESS_SETUP_ERROR)) {
+        return "witness_unavailable";
+    }
+    if (C.has(SQL.CONNECTOR_ERROR) ||
+        C.has(SQL.ROW_SHAPE_MISMATCH) ||
+        C.has(SQL.UNREADABLE_VALUE) ||
+        C.has(SQL.VECTOR_PROVIDER_ERROR) ||
+        C.has(SQL.HTTP_WITNESS_NETWORK_ERROR)) {
+        return "database_access";
+    }
+    if (C.has(SQL.ROW_NOT_OBSERVED_WITHIN_WINDOW) ||
+        C.has(SQL.MULTI_EFFECT_UNCERTAIN_WITHIN_WINDOW) ||
+        C.has(SQL.FORBIDDEN_ROWS_STILL_PRESENT_WITHIN_WINDOW) ||
+        C.has(SQL.BOUNDED_WINDOW_EXPIRED_WITHOUT_OBSERVATION)) {
+        return "timing_or_window";
+    }
+    if (result.status === "inconsistent")
+        return "state_mismatch";
+    if (result.status === "incomplete")
+        return "verification_incomplete";
+    return "none";
+}
+const REMEDIATION_LINE = {
+    none: "No further verification action is required for this outcome under the configured rules.",
+    manual_review: "Review the evidence completeness block and workflow truth report, then decide on a manual fix path.",
+    deduplicate: "Resolve duplicate or conflicting rows that matched the same verification key, then rerun verify.",
+    reconcile_downstream_state: "Fix downstream database or service state to match declared expectations, then rerun verify.",
+    correct_verification_inputs: "Correct registry, events, or tool parameters so expectations resolve, then rerun verify.",
+    improve_read_connectivity: "Restore read-only database or witness connectivity and credentials, then rerun verify.",
+    resolve_multi_effect_failures: "Align multi-effect registry coverage or split steps so each effect is verifiable, then rerun verify.",
+    align_tool_observations: "Align repeated tool observations so canonical params agree, then rerun verify.",
+    fix_event_ingest_and_steps: "Repair NDJSON event capture so each line is schema-valid tool_observed for this workflow, then rerun verify.",
+    fix_event_sequence_order: "Fix capture ordering or timestamps so the event sequence is coherent, then rerun verify.",
+    fix_run_context_controls: "Fix model/retrieval/control ordering so observations are fairly evaluated, then rerun verify.",
+    fix_cli_usage: "Fix CLI flags or paths (events, registry, database URL), then rerun verify.",
+    fix_registry_events_or_compare_files: "Align registry JSON with events and database, then rerun verify.",
+    fix_verification_database_connection: "Point verify at a reachable read-only database URL (not SQLite file mode for remote witnesses), then rerun verify.",
+    fix_saved_workflow_json: "Repair saved workflow JSON used for compare or replay, then rerun verify.",
+    fix_compare_workflow_inputs: "Fix compare inputs so both runs are compatible, then rerun compare.",
+    fix_execution_trace_structure: "Repair execution trace structure used for analysis, then retry.",
+    fix_verification_policy_and_hook: "Adjust verification policy timing or hooks, then rerun verify.",
+    fix_plan_document_and_patterns: "Fix plan document patterns referenced by plan-transition verification.",
+    fix_plan_transition_cli_and_refs: "Fix plan-transition CLI arguments and git refs, then rerun.",
+    upgrade_git_or_retry_git: "Upgrade git tooling or retry after git transient errors.",
+};
+function nextActionsFromRemediation(code) {
+    const text = redactEvidenceString(REMEDIATION_LINE[code] ?? REMEDIATION_LINE.manual_review, 500);
+    return [{ id: code, text }];
+}
+function syntheticFailureBase(result) {
+    const codes = [...collectWorkflowCodes(result)].sort((a, b) => a.localeCompare(b)).slice(0, 12);
+    return {
+        summary: "Synthetic failure analysis for evidence completeness fallback.",
+        primaryOrigin: "workflow_flow",
+        confidence: "medium",
+        unknownReasonCodes: [],
+        evidence: codes.length > 0
+            ? [{ scope: "run_level", codes }]
+            : [{ scope: "step", codes: ["UNCLASSIFIED_GAP"], seq: 0, toolId: "" }],
+        alternativeHypotheses: undefined,
+    };
+}
+export function workflowResultToEngineSlice(result) {
+    const { workflowTruthReport: _omit, schemaVersion: _sv, ...rest } = result;
+    return { ...rest, schemaVersion: 8 };
+}
+export function buildEvidenceCompletenessFromWorkflowResult(result) {
+    const truth = result.workflowTruthReport;
+    const verified = [];
+    const unverified = [];
+    for (const st of truth.steps) {
+        const label = `${st.toolId}:seq=${st.seq}`;
+        if (st.outcomeLabel === "VERIFIED") {
+            verified.push(redactEvidenceString(`${label}: verified`, 160));
+        }
+        else {
+            const msg = st.reasons[0]?.message ?? st.outcomeLabel;
+            unverified.push(redactEvidenceString(`${label}: ${msg}`, 160));
+        }
+    }
+    const blockerCategory = classifyWorkflowBlocker(result);
+    const fa = truth.failureAnalysis;
+    let recommended = "manual_review";
+    const engineSlice = workflowResultToEngineSlice(result);
+    if (fa === null && result.status === "complete") {
+        recommended = "none";
+    }
+    else {
+        const base = fa ?? syntheticFailureBase(result);
+        recommended = deriveActionableFailureWorkflow(engineSlice, base).recommendedAction;
+    }
+    const primaryCodes = [...collectWorkflowCodes(result)].sort((a, b) => a.localeCompare(b)).slice(0, 8);
+    const missingInputs = primaryCodes.map((code) => {
+        const phrase = userPhraseForReasonCode(code);
+        return {
+            code: redactEvidenceString(code, 72),
+            hint: phrase ? redactEvidenceString(phrase, 400) : redactEvidenceString(code, 400),
+        };
+    });
+    const nextActions = result.status === "complete" && fa === null ? nextActionsFromRemediation("none") : nextActionsFromRemediation(recommended);
+    return {
+        schemaVersion: 1,
+        blockerCategory,
+        quickSignal: "na",
+        verifiedClaims: capList(verified, 24, 160),
+        unverifiedClaims: capList(unverified, 24, 160),
+        missingInputs,
+        nextActions,
+    };
+}
+function classifyQuickBlocker(signal, verdict) {
+    if (signal === "no_actions")
+        return "ingest_empty";
+    if (signal === "no_structured_activity")
+        return "ingest_unstructured";
+    if (signal === "no_sql_candidates")
+        return "registry_resolution";
+    if (signal === "sql_ran_failed")
+        return "state_mismatch";
+    if (verdict === "uncertain")
+        return "verification_incomplete";
+    return "preview_lane";
+}
+export function buildEvidenceCompletenessFromQuickReport(input) {
+    const { ingest, units, verdict } = input;
+    let quickSignal = "sql_ran_uncertain";
+    if (ingest.reasonCodes.includes("INGEST_NO_ACTIONS")) {
+        quickSignal = "no_actions";
+    }
+    else if (ingest.reasonCodes.includes("INGEST_NO_STRUCTURED_TOOL_ACTIVITY")) {
+        quickSignal = "no_structured_activity";
+    }
+    else if (units.length === 0) {
+        quickSignal = "no_sql_candidates";
+    }
+    else {
+        const mappedOk = units.filter((u) => !u.reasonCodes.includes("MAPPING_FAILED")).length > 0;
+        if (!mappedOk) {
+            quickSignal = "no_sql_candidates";
+        }
+        else if (verdict === "pass")
+            quickSignal = "sql_ran_passed";
+        else if (verdict === "fail")
+            quickSignal = "sql_ran_failed";
+        else
+            quickSignal = "sql_ran_uncertain";
+    }
+    const verified = [];
+    const unverified = [];
+    for (const u of units) {
+        if (u.verdict === "verified") {
+            verified.push(redactEvidenceString(`unit=${u.unitId} tool=${u.sourceAction.toolName}`, 160));
+        }
+        else {
+            unverified.push(redactEvidenceString(`unit=${u.unitId} tool=${u.sourceAction.toolName}: ${u.reconciliation.verification_verdict}`, 160));
+        }
+    }
+    let missingInputs = [];
+    if (ingest.reasonCodes.length > 0) {
+        missingInputs.push({
+            code: redactEvidenceString("ingest", 72),
+            hint: redactEvidenceString(ingest.reasonCodes.join(","), 400),
+        });
+    }
+    else if (units.length > 0) {
+        const firstFailed = units.find((u) => u.reasonCodes.length > 0);
+        if (firstFailed) {
+            missingInputs.push({
+                code: redactEvidenceString(firstFailed.reasonCodes[0], 72),
+                hint: redactEvidenceString(`${firstFailed.unitId}:${firstFailed.sourceAction.toolName}`, 400),
+            });
+        }
+    }
+    missingInputs = missingInputs.slice(0, 8);
+    const blockerCategory = classifyQuickBlocker(quickSignal, verdict);
+    const nextActions = [];
+    nextActions.push({
+        id: "rerun_quick_or_promote_contract",
+        text: redactEvidenceString("For decision-grade reliance, export registry and events then run agentskeptic check (contract mode).", 500),
+    });
+    if (quickSignal !== "sql_ran_passed") {
+        nextActions.push({
+            id: "fix_ingest_or_mapping",
+            text: redactEvidenceString("Fix ingest shape or mapping failures shown in units, then rerun quick verify.", 500),
+        });
+    }
+    return {
+        schemaVersion: 1,
+        blockerCategory,
+        quickSignal,
+        verifiedClaims: capList(verified, 24, 160),
+        unverifiedClaims: capList(unverified, 24, 160),
+        missingInputs: missingInputs.length > 0
+            ? missingInputs
+            : [{ code: redactEvidenceString("none_reported", 72), hint: redactEvidenceString("No structured missing-field entries.", 400) }],
+        nextActions,
+    };
+}
+/** LangGraph checkpoint trust ineligible: no runnable verification trace. */
+export function buildEvidenceCompletenessForIneligibleLangGraph(params) {
+    const { headline, details } = params;
+    return {
+        schemaVersion: 1,
+        blockerCategory: "verification_incomplete",
+        quickSignal: "na",
+        verifiedClaims: [],
+        unverifiedClaims: [redactEvidenceString(headline, 200)],
+        missingInputs: details.slice(0, 8).map((d) => ({
+            code: redactEvidenceString(d.code, 72),
+            hint: redactEvidenceString(d.message, 400),
+        })),
+        nextActions: [
+            {
+                id: "fix_langgraph_eligibility",
+                text: redactEvidenceString("Repair NDJSON capture so checkpoint trust receives schema-valid schemaVersion 3 tool_observed lines for this workflow, then rerun verify.", 500),
+            },
+        ],
+    };
+}
+/** Deterministic completeness object for minimal tests and fixtures (normative blocker `none`). */
+export function minimalEvidenceCompletenessFixture(overrides) {
+    const base = {
+        schemaVersion: 1,
+        blockerCategory: "none",
+        quickSignal: "na",
+        verifiedClaims: [],
+        unverifiedClaims: [],
+        missingInputs: [{ code: redactEvidenceString("fixture", 72), hint: redactEvidenceString("Test fixture completeness row.", 400) }],
+        nextActions: [{ id: "none", text: redactEvidenceString("No further action required.", 500) }],
+    };
+    return { ...base, ...overrides };
+}
+//# sourceMappingURL=evidenceCompleteness.js.map

package/dist/evidenceCompleteness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidenceCompleteness.js","sourceRoot":"","sources":["../src/evidenceCompleteness.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,+BAA+B,EAAE,MAAM,wBAAwB,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,sBAAsB,EAAE,6BAA6B,IAAI,GAAG,EAAE,MAAM,sBAAsB,CAAC;AACpG,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAsCjE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAS,MAAM,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC;AAE9E,SAAS,OAAO,CAAC,KAAe,EAAE,GAAW,EAAE,OAAe;IAC5D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1D,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAsB;IAClD,MAAM,CAAC,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,eAAe;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,MAAM,CAAC,sBAAsB,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACvD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,sBAAsB,CAAC,OAAO;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAsB;IACrD,MAAM,CAAC,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,CAAC,CAAC,GAAG,CAAC,uBAAuB,CAAC;QAAE,OAAO,cAAc,CAAC;IAC1D,IAAI,CAAC,CAAC,GAAG,CAAC,sBAAsB,CAAC;QAAE,OAAO,qBAAqB,CAAC;IAChE,IAAI,MAAM,CAAC,sBAAsB,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,gBAAgB,CAAC;IAEhF,MAAM,GAAG,GAAG,MAAM,CAAC,sBAAsB,CAAC;IAC1C,IAAI,GAAG,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,sBAAsB,CAAC;IACpE,IAAI,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC;QAAE,OAAO,sBAAsB,CAAC;IAC3F,IAAI,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC;QAAE,OAAO,sBAAsB,CAAC;IAE7F,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC;QAAE,OAAO,uBAAuB,CAAC;IAC5D,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,qBAAqB,CAAC;IAC1F,CAAC;IACD,IACE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,6CAA6C,CAAC;QACxD,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,yBAAyB,CAAC,EACpC,CAAC;QACD,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IAED,IACE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC;QAC1B,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,kBAAkB,CAAC;QAC7B,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,gBAAgB,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,qBAAqB,CAAC;QAChC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,0BAA0B,CAAC,EACrC,CAAC;QACD,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IAED,IACE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,8BAA8B,CAAC;QACzC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,oCAAoC,CAAC;QAC/C,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,0CAA0C,CAAC;QACrD,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,0CAA0C,CAAC,EACrD,CAAC;QACD,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,cAAc;QAAE,OAAO,gBAAgB,CAAC;IAC9D,IAAI,MAAM,CAAC,MAAM,KAAK,YAAY;QAAE,OAAO,yBAAyB,CAAC;IACrE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,gBAAgB,GAA0C;IAC9D,IAAI,EAAE,yFAAyF;IAC/F,aAAa,EAAE,qGAAqG;IACpH,WAAW,EAAE,kGAAkG;IAC/G,0BAA0B,EAAE,6FAA6F;IACzH,2BAA2B,EAAE,0FAA0F;IACvH,yBAAyB,EAAE,wFAAwF;IACnH,6BAA6B,EAAE,sGAAsG;IACrI,uBAAuB,EAAE,gFAAgF;IACzG,0BAA0B,EAAE,8GAA8G;IAC1I,wBAAwB,EAAE,0FAA0F;IACpH,wBAAwB,EAAE,+FAA+F;IACzH,aAAa,EAAE,6EAA6E;IAC5F,oCAAoC,EAAE,kEAAkE;IACxG,oCAAoC,EAClC,oHAAoH;IACtH,uBAAuB,EAAE,2EAA2E;IACpG,2BAA2B,EAAE,qEAAqE;IAClG,6BAA6B,EAAE,iEAAiE;IAChG,gCAAgC,EAAE,gEAAgE;IAClG,8BAA8B,EAAE,wEAAwE;IACxG,gCAAgC,EAAE,6DAA6D;IAC/F,wBAAwB,EAAE,0DAA0D;CACrF,CAAC;AAEF,SAAS,0BAA0B,CAAC,IAA2B;IAC7D,MAAM,IAAI,GAAG,oBAAoB,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;IACjG,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAsB;IAClD,MAAM,KAAK,GAAG,CAAC,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAChG,OAAO;QACL,OAAO,EAAE,gEAAgE;QACzE,aAAa,EAAE,eAAwB;QACvC,UAAU,EAAE,QAAiB;QAC7B,kBAAkB,EAAE,EAAc;QAClC,QAAQ,EACN,KAAK,CAAC,MAAM,GAAG,CAAC;YACd,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAoB,EAAE,KAAK,EAAE,CAAC;YAC1C,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAe,EAAE,KAAK,EAAE,CAAC,kBAAkB,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QACnF,qBAAqB,EAAE,SAAsB;KAC9C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,MAAsB;IAChE,MAAM,EAAE,mBAAmB,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC;IAC3E,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,2CAA2C,CAAC,MAAsB;IAChF,MAAM,KAAK,GAAG,MAAM,CAAC,mBAAmB,CAAC;IACzC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC,MAAM,QAAQ,EAAE,CAAC,GAAG,EAAE,CAAC;QAC3C,IAAI,EAAE,CAAC,YAAY,KAAK,UAAU,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,KAAK,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC;QACjE,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC,YAAY,CAAC;YACtD,UAAU,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,KAAK,KAAK,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,MAAM,eAAe,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,EAAE,GAAG,KAAK,CAAC,eAAe,CAAC;IACjC,IAAI,WAAW,GAA0B,eAAe,CAAC;IAEzD,MAAM,WAAW,GAAG,2BAA2B,CAAC,MAAM,CAAC,CAAC;IACxD,IAAI,EAAE,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAChD,WAAW,GAAG,MAAM,CAAC;IACvB,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,GAAG,EAAE,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC;QAChD,WAAW,GAAG,+BAA+B,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,iBAAiB,CAAC;IACrF,CAAC;IAED,MAAM,YAAY,GAAG,CAAC,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtG,MAAM,aAAa,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC9C,MAAM,MAAM,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QAC7C,OAAO;YACL,IAAI,EAAE,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC;YACpC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,EAAE,GAAG,CAAC;SACnF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,WAAW,GACf,MAAM,CAAC,MAAM,KAAK,UAAU,IAAI,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC,WAAW,CAAC,CAAC;IAE7H,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,eAAe;QACf,WAAW,EAAE,IAAI;QACjB,cAAc,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC;QAC1C,gBAAgB,EAAE,OAAO,CAAC,UAAU,EAAE,EAAE,EAAE,GAAG,CAAC;QAC9C,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC;AAeD,SAAS,oBAAoB,CAAC,MAA2B,EAAE,OAAe;IACxE,IAAI,MAAM,KAAK,YAAY;QAAE,OAAO,cAAc,CAAC;IACnD,IAAI,MAAM,KAAK,wBAAwB;QAAE,OAAO,qBAAqB,CAAC;IACtE,IAAI,MAAM,KAAK,mBAAmB;QAAE,OAAO,qBAAqB,CAAC;IACjE,IAAI,MAAM,KAAK,gBAAgB;QAAE,OAAO,gBAAgB,CAAC;IACzD,IAAI,OAAO,KAAK,WAAW;QAAE,OAAO,yBAAyB,CAAC;IAC9D,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,wCAAwC,CAAC,KAA+B;IACtF,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAEzC,IAAI,WAAW,GAAwB,mBAAmB,CAAC;IAC3D,IAAI,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACrD,WAAW,GAAG,YAAY,CAAC;IAC7B,CAAC;SAAM,IAAI,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,oCAAoC,CAAC,EAAE,CAAC;QAC7E,WAAW,GAAG,wBAAwB,CAAC;IACzC,CAAC;SAAM,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,WAAW,GAAG,mBAAmB,CAAC;IACpC,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QAC3F,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,WAAW,GAAG,mBAAmB,CAAC;QACpC,CAAC;aAAM,IAAI,OAAO,KAAK,MAAM;YAAE,WAAW,GAAG,gBAAgB,CAAC;aACzD,IAAI,OAAO,KAAK,MAAM;YAAE,WAAW,GAAG,gBAAgB,CAAC;;YACvD,WAAW,GAAG,mBAAmB,CAAC;IACzC,CAAC;IAED,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;QAC/F,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CACb,oBAAoB,CAAC,QAAQ,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,YAAY,CAAC,QAAQ,KAAK,CAAC,CAAC,cAAc,CAAC,oBAAoB,EAAE,EAAE,GAAG,CAAC,CACxH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,aAAa,GAA0C,EAAE,CAAC;IAC9D,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,aAAa,CAAC,IAAI,CAAC;YACjB,IAAI,EAAE,oBAAoB,CAAC,QAAQ,EAAE,EAAE,CAAC;YACxC,IAAI,EAAE,oBAAoB,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;SAC9D,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAChE,IAAI,WAAW,EAAE,CAAC;YAChB,aAAa,CAAC,IAAI,CAAC;gBACjB,IAAI,EAAE,oBAAoB,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC;gBAC3D,IAAI,EAAE,oBAAoB,CAAC,GAAG,WAAW,CAAC,MAAM,IAAI,WAAW,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC;aAC9F,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,aAAa,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAE1C,MAAM,eAAe,GAAG,oBAAoB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAEnE,MAAM,WAAW,GAAwC,EAAE,CAAC;IAC5D,WAAW,CAAC,IAAI,CAAC;QACf,EAAE,EAAE,iCAAiC;QACrC,IAAI,EAAE,oBAAoB,CACxB,sGAAsG,EACtG,GAAG,CACJ;KACF,CAAC,CAAC;IACH,IAAI,WAAW,KAAK,gBAAgB,EAAE,CAAC;QACrC,WAAW,CAAC,IAAI,CAAC;YACf,EAAE,EAAE,uBAAuB;YAC3B,IAAI,EAAE,oBAAoB,CAAC,+EAA+E,EAAE,GAAG,CAAC;SACjH,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,eAAe;QACf,WAAW;QACX,cAAc,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC;QAC1C,gBAAgB,EAAE,OAAO,CAAC,UAAU,EAAE,EAAE,EAAE,GAAG,CAAC;QAC9C,aAAa,EACX,aAAa,CAAC,MAAM,GAAG,CAAC;YACtB,CAAC,CAAC,aAAa;YACf,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,eAAe,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,sCAAsC,EAAE,GAAG,CAAC,EAAE,CAAC;QACpI,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,+CAA+C,CAAC,MAG/D;IACC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IACrC,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,eAAe,EAAE,yBAAyB;QAC1C,WAAW,EAAE,IAAI;QACjB,cAAc,EAAE,EAAE;QAClB,gBAAgB,EAAE,CAAC,oBAAoB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACvD,aAAa,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7C,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACtC,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC;SAC3C,CAAC,CAAC;QACH,WAAW,EAAE;YACX;gBACE,EAAE,EAAE,2BAA2B;gBAC/B,IAAI,EAAE,oBAAoB,CACxB,2IAA2I,EAC3I,GAAG,CACJ;aACF;SACF;KACF,CAAC;AACJ,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,kCAAkC,CAAC,SAA6C;IAC9F,MAAM,IAAI,GAA6B;QACrC,aAAa,EAAE,CAAC;QAChB,eAAe,EAAE,MAAM;QACvB,WAAW,EAAE,IAAI;QACjB,cAAc,EAAE,EAAE;QAClB,gBAAgB,EAAE,EAAE;QACpB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,gCAAgC,EAAE,GAAG,CAAC,EAAE,CAAC;QACjI,WAAW,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,oBAAoB,CAAC,6BAA6B,EAAE,GAAG,CAAC,EAAE,CAAC;KAC9F,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,SAAS,EAAE,CAAC;AACnC,CAAC"}

package/dist/execution-identity.v1.json

@@ -4,7 +4,7 @@
   "identityVersion": "1.0.0",
   "mergeGateFingerprintSha256": "64b5ae2ed5025c08c7c9d7b601958cc90edc32c0d80ea207fdaa373de5b9c2fc",
   "nodeEnginesDeclared": "22.x || 24.x",
-  "npmPackageVersion": "4.1.1",
+  "npmPackageVersion": "5.0.0",
   "pythonPipExtrasFragment": "dev,postgres",
   "verificationContractManifest": {
     "manifestSha256": "c5f23ec43576716c4b9a13e752cd2962a78bb4b4da1f9e521f911e15dfd80268",

package/dist/formatEvidenceCompletenessHuman.d.ts

@@ -0,0 +1,12 @@
+import type { EvidenceCompletenessJson } from "./evidenceCompleteness.js";
+/** Mirrors certificate `runKind` (avoid importing outcomeCertificate — circular). */
+export type EvidenceCompletenessRunKind = "contract_sql" | "contract_sql_langgraph_checkpoint_trust" | "quick_preview";
+export declare const EVIDENCE_COMPLETENESS_BEGIN: "=== evidence_completeness ===";
+export declare const EVIDENCE_COMPLETENESS_END: "=== end evidence_completeness ===";
+/** Max body lines between anchors (excluding boundary lines). */
+export declare const EVIDENCE_COMPLETENESS_MAX_LINES: 22;
+export declare function formatEvidenceCompletenessHuman(ec: EvidenceCompletenessJson, ctx: {
+    runKind: EvidenceCompletenessRunKind;
+    highStakesReliance: "permitted" | "prohibited";
+}): string;
+//# sourceMappingURL=formatEvidenceCompletenessHuman.d.ts.map

package/dist/formatEvidenceCompletenessHuman.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatEvidenceCompletenessHuman.d.ts","sourceRoot":"","sources":["../src/formatEvidenceCompletenessHuman.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAG1E,qFAAqF;AACrF,MAAM,MAAM,2BAA2B,GACnC,cAAc,GACd,yCAAyC,GACzC,eAAe,CAAC;AAEpB,eAAO,MAAM,2BAA2B,EAAG,+BAAwC,CAAC;AACpF,eAAO,MAAM,yBAAyB,EAAG,mCAA4C,CAAC;AAEtF,iEAAiE;AACjE,eAAO,MAAM,+BAA+B,EAAG,EAAW,CAAC;AAE3D,wBAAgB,+BAA+B,CAC7C,EAAE,EAAE,wBAAwB,EAC5B,GAAG,EAAE;IAAE,OAAO,EAAE,2BAA2B,CAAC;IAAC,kBAAkB,EAAE,WAAW,GAAG,YAAY,CAAA;CAAE,GAC5F,MAAM,CAsCR"}

package/dist/formatEvidenceCompletenessHuman.js

@@ -0,0 +1,47 @@
+import { redactEvidenceString } from "./redactEvidenceString.js";
+export const EVIDENCE_COMPLETENESS_BEGIN = "=== evidence_completeness ===";
+export const EVIDENCE_COMPLETENESS_END = "=== end evidence_completeness ===";
+/** Max body lines between anchors (excluding boundary lines). */
+export const EVIDENCE_COMPLETENESS_MAX_LINES = 22;
+export function formatEvidenceCompletenessHuman(ec, ctx) {
+    const lines = [EVIDENCE_COMPLETENESS_BEGIN];
+    lines.push(`Blocker: ${ec.blockerCategory}`);
+    lines.push(`Quick signal: ${ec.quickSignal}`);
+    if (ec.verifiedClaims.length > 0) {
+        lines.push("Verified:");
+        for (const v of ec.verifiedClaims.slice(0, 8)) {
+            if (lines.length >= 1 + EVIDENCE_COMPLETENESS_MAX_LINES)
+                break;
+            lines.push(`  - ${v}`);
+        }
+    }
+    if (ec.unverifiedClaims.length > 0) {
+        lines.push("Not verified:");
+        for (const v of ec.unverifiedClaims.slice(0, 8)) {
+            if (lines.length >= 1 + EVIDENCE_COMPLETENESS_MAX_LINES)
+                break;
+            lines.push(`  - ${v}`);
+        }
+    }
+    if (ec.missingInputs.length > 0) {
+        lines.push("Missing input:");
+        for (const m of ec.missingInputs.slice(0, 4)) {
+            if (lines.length >= 1 + EVIDENCE_COMPLETENESS_MAX_LINES)
+                break;
+            lines.push(`  - ${m.code}: ${m.hint}`);
+        }
+    }
+    lines.push("Next:");
+    for (const n of ec.nextActions) {
+        if (lines.length >= 1 + EVIDENCE_COMPLETENESS_MAX_LINES)
+            break;
+        lines.push(`  - ${n.text}`);
+    }
+    lines.push(`Trust boundary: runKind=${ctx.runKind} highStakesReliance=${ctx.highStakesReliance} (see certificate fields for normative meaning).`);
+    while (lines.length > 1 + EVIDENCE_COMPLETENESS_MAX_LINES) {
+        lines.pop();
+    }
+    lines.push(EVIDENCE_COMPLETENESS_END);
+    return lines.map((l) => redactEvidenceString(l, 2048)).join("\n");
+}
+//# sourceMappingURL=formatEvidenceCompletenessHuman.js.map

package/dist/formatEvidenceCompletenessHuman.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatEvidenceCompletenessHuman.js","sourceRoot":"","sources":["../src/formatEvidenceCompletenessHuman.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAQjE,MAAM,CAAC,MAAM,2BAA2B,GAAG,+BAAwC,CAAC;AACpF,MAAM,CAAC,MAAM,yBAAyB,GAAG,mCAA4C,CAAC;AAEtF,iEAAiE;AACjE,MAAM,CAAC,MAAM,+BAA+B,GAAG,EAAW,CAAC;AAE3D,MAAM,UAAU,+BAA+B,CAC7C,EAA4B,EAC5B,GAA6F;IAE7F,MAAM,KAAK,GAAa,CAAC,2BAA2B,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,eAAe,EAAE,CAAC,CAAC;IAC7C,KAAK,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IAC9C,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC9C,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;gBAAE,MAAM;YAC/D,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAChD,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;gBAAE,MAAM;YAC/D,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC7C,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;gBAAE,MAAM;YAC/D,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,+BAA+B;YAAE,MAAM;QAC/D,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9B,CAAC;IACD,KAAK,CAAC,IAAI,CACR,2BAA2B,GAAG,CAAC,OAAO,uBAAuB,GAAG,CAAC,kBAAkB,kDAAkD,CACtI,CAAC;IACF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,GAAG,+BAA+B,EAAE,CAAC;QAC1D,KAAK,CAAC,GAAG,EAAE,CAAC;IACd,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACtC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpE,CAAC"}

package/dist/governanceEvidence.d.ts

@@ -1,4 +1,5 @@
 import type { OutcomeCertificateV1 } from "./outcomeCertificate.js";
+import type { EvidenceCompletenessJson } from "./evidenceCompleteness.js";
 type MaterialTruthStep = {
     seq: number;
     toolId: string;
@@ -11,17 +12,22 @@ type MaterialTruthCheckpointVerdict = {
     verdict: "verified" | "inconsistent" | "incomplete";
     seqs: number[];
 };
-export type MaterialTruthV1 = {
-    schemaVersion: 1;
+export type MaterialTruthV2 = {
+    schemaVersion: 2;
     workflowId: string;
     runKind: OutcomeCertificateV1["runKind"];
     stateRelation: OutcomeCertificateV1["stateRelation"];
     reasonCodes: string[];
+    evidenceGapPrimary: EvidenceCompletenessJson["blockerCategory"];
     steps: MaterialTruthStep[];
     checkpointVerdicts: MaterialTruthCheckpointVerdict[];
 };
+/** @deprecated Prefer `MaterialTruthV2` / `materialTruthProjectionFromCertificate`. */
+export type MaterialTruthV1 = MaterialTruthV2;
 export declare function canonicalCertificateSha256(certificate: OutcomeCertificateV1): string;
-export declare function materialTruthProjectionV1(certificate: OutcomeCertificateV1): MaterialTruthV1;
+export declare function materialTruthProjectionFromCertificate(certificate: OutcomeCertificateV1): MaterialTruthV2;
+/** @deprecated Use `materialTruthProjectionFromCertificate`. */
+export declare function materialTruthProjectionV1(certificate: OutcomeCertificateV1): MaterialTruthV2;
 export declare function materialTruthSha256(certificate: OutcomeCertificateV1): string;
 export {};
 //# sourceMappingURL=governanceEvidence.d.ts.map

package/dist/governanceEvidence.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"governanceEvidence.d.ts","sourceRoot":"","sources":["../src/governanceEvidence.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAMpE,KAAK,iBAAiB,GAAG;IACvB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,KAAK,8BAA8B,GAAG;IACpC,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,UAAU,GAAG,cAAc,GAAG,YAAY,CAAC;IACpD,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,aAAa,EAAE,CAAC,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACzC,aAAa,EAAE,oBAAoB,CAAC,eAAe,CAAC,CAAC;IACrD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC3B,kBAAkB,EAAE,8BAA8B,EAAE,CAAC;CACtD,CAAC;AA+CF,wBAAgB,0BAA0B,CAAC,WAAW,EAAE,oBAAoB,GAAG,MAAM,CAEpF;AAED,wBAAgB,yBAAyB,CAAC,WAAW,EAAE,oBAAoB,GAAG,eAAe,CAE5F;AAED,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,oBAAoB,GAAG,MAAM,CAE7E"}
+{"version":3,"file":"governanceEvidence.d.ts","sourceRoot":"","sources":["../src/governanceEvidence.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAM1E,KAAK,iBAAiB,GAAG;IACvB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,KAAK,8BAA8B,GAAG;IACpC,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,UAAU,GAAG,cAAc,GAAG,YAAY,CAAC;IACpD,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,aAAa,EAAE,CAAC,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACzC,aAAa,EAAE,oBAAoB,CAAC,eAAe,CAAC,CAAC;IACrD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,kBAAkB,EAAE,wBAAwB,CAAC,iBAAiB,CAAC,CAAC;IAChE,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC3B,kBAAkB,EAAE,8BAA8B,EAAE,CAAC;CACtD,CAAC;AAEF,uFAAuF;AACvF,MAAM,MAAM,eAAe,GAAG,eAAe,CAAC;AAgD9C,wBAAgB,0BAA0B,CAAC,WAAW,EAAE,oBAAoB,GAAG,MAAM,CAEpF;AAED,wBAAgB,sCAAsC,CAAC,WAAW,EAAE,oBAAoB,GAAG,eAAe,CAEzG;AAED,gEAAgE;AAChE,wBAAgB,yBAAyB,CAAC,WAAW,EAAE,oBAAoB,GAAG,eAAe,CAE5F;AAED,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,oBAAoB,GAAG,MAAM,CAE7E"}

package/dist/governanceEvidence.js

@@ -6,7 +6,7 @@ import { CLI_OPERATIONAL_CODES } from "./cliOperationalCodes.js";
 function sortedUniqueStrings(values) {
     return [...new Set(values)].sort((a, b) => a.localeCompare(b));
 }
-function buildMaterialTruthProjectionV1(certificate) {
+function buildMaterialTruthProjectionFromCertificate(certificate) {
     const reasonCodes = sortedUniqueStrings(certificate.explanation.details.map((d) => d.code));
     const steps = [...certificate.steps]
         .map((s) => ({
@@ -25,15 +25,16 @@ function buildMaterialTruthProjectionV1(certificate) {
     }))
         .sort((a, b) => a.checkpointKey.localeCompare(b.checkpointKey));
     const out = {
-        schemaVersion: 1,
+        schemaVersion: 2,
         workflowId: certificate.workflowId,
         runKind: certificate.runKind,
         stateRelation: certificate.stateRelation,
         reasonCodes,
+        evidenceGapPrimary: certificate.evidenceCompleteness.blockerCategory,
         steps,
         checkpointVerdicts,
     };
-    const validate = loadSchemaValidator("material-truth-v1");
+    const validate = loadSchemaValidator("material-truth-v2");
     if (!validate(out)) {
         throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, `material_truth_invalid: ${JSON.stringify(validate.errors ?? [])}`);
     }
@@ -45,10 +46,14 @@ function sha256HexUtf8(input) {
 export function canonicalCertificateSha256(certificate) {
     return sha256HexUtf8(stableStringify(certificate));
 }
+export function materialTruthProjectionFromCertificate(certificate) {
+    return buildMaterialTruthProjectionFromCertificate(certificate);
+}
+/** @deprecated Use `materialTruthProjectionFromCertificate`. */
 export function materialTruthProjectionV1(certificate) {
-    return buildMaterialTruthProjectionV1(certificate);
+    return buildMaterialTruthProjectionFromCertificate(certificate);
 }
 export function materialTruthSha256(certificate) {
-    return sha256HexUtf8(stableStringify(buildMaterialTruthProjectionV1(certificate)));
+    return sha256HexUtf8(stableStringify(buildMaterialTruthProjectionFromCertificate(certificate)));
 }
 //# sourceMappingURL=governanceEvidence.js.map

package/dist/governanceEvidence.js.map

@@ -1 +1 @@
-{"version":3,"file":"governanceEvidence.js","sourceRoot":"","sources":["../src/governanceEvidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AA0BjE,SAAS,mBAAmB,CAAC,MAAgB;IAC3C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,8BAA8B,CAAC,WAAiC;IACvE,MAAM,WAAW,GAAG,mBAAmB,CAAC,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5F,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC;SACjC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE;QACtB,cAAc,EAAE,CAAC,CAAC,cAAc;QAChC,eAAe,EAAE,CAAC,CAAC,eAAe;QAClC,eAAe,EAAE,CAAC,CAAC,eAAe;KACnC,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACrE,MAAM,kBAAkB,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC;SACnE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,aAAa,EAAE,CAAC,CAAC,aAAa;QAC9B,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,IAAI,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;KACjD,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;IAClE,MAAM,GAAG,GAAoB;QAC3B,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,OAAO,EAAE,WAAW,CAAC,OAAO;QAC5B,aAAa,EAAE,WAAW,CAAC,aAAa;QACxC,WAAW;QACX,KAAK;QACL,kBAAkB;KACnB,CAAC;IACF,MAAM,QAAQ,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,CAAC;IAC1D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,2BAA2B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,CACnE,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,WAAiC;IAC1E,OAAO,aAAa,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,WAAiC;IACzE,OAAO,8BAA8B,CAAC,WAAW,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,WAAiC;IACnE,OAAO,aAAa,CAAC,eAAe,CAAC,8BAA8B,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;AACrF,CAAC"}
+{"version":3,"file":"governanceEvidence.js","sourceRoot":"","sources":["../src/governanceEvidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGzC,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AA8BjE,SAAS,mBAAmB,CAAC,MAAgB;IAC3C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,2CAA2C,CAAC,WAAiC;IACpF,MAAM,WAAW,GAAG,mBAAmB,CAAC,WAAW,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5F,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC;SACjC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE;QACtB,cAAc,EAAE,CAAC,CAAC,cAAc;QAChC,eAAe,EAAE,CAAC,CAAC,eAAe;QAClC,eAAe,EAAE,CAAC,CAAC,eAAe;KACnC,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACrE,MAAM,kBAAkB,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC;SACnE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,aAAa,EAAE,CAAC,CAAC,aAAa;QAC9B,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,IAAI,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;KACjD,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;IAClE,MAAM,GAAG,GAAoB;QAC3B,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,OAAO,EAAE,WAAW,CAAC,OAAO;QAC5B,aAAa,EAAE,WAAW,CAAC,aAAa;QACxC,WAAW;QACX,kBAAkB,EAAE,WAAW,CAAC,oBAAoB,CAAC,eAAe;QACpE,KAAK;QACL,kBAAkB;KACnB,CAAC;IACF,MAAM,QAAQ,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,CAAC;IAC1D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,2BAA2B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,CACnE,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,WAAiC;IAC1E,OAAO,aAAa,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,sCAAsC,CAAC,WAAiC;IACtF,OAAO,2CAA2C,CAAC,WAAW,CAAC,CAAC;AAClE,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,yBAAyB,CAAC,WAAiC;IACzE,OAAO,2CAA2C,CAAC,WAAW,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,WAAiC;IACnE,OAAO,aAAa,CAAC,eAAe,CAAC,2CAA2C,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;AAClG,CAAC"}

package/dist/governanceEvidence.test.js

@@ -1,14 +1,17 @@
 import { describe, expect, it } from "vitest";
-import { canonicalCertificateSha256, materialTruthProjectionV1, materialTruthSha256 } from "./governanceEvidence.js";
+import { minimalEvidenceCompletenessFixture } from "./evidenceCompleteness.js";
+import { canonicalCertificateSha256, materialTruthProjectionFromCertificate, materialTruthSha256, } from "./governanceEvidence.js";
 function fixture(overrides) {
+    const ec = minimalEvidenceCompletenessFixture({ blockerCategory: "none" });
     return {
-        schemaVersion: 1,
+        schemaVersion: 2,
         workflowId: "wf_test",
         runKind: "contract_sql",
         stateRelation: "matches_expectations",
         highStakesReliance: "permitted",
         relianceRationale: "rationale",
         intentSummary: "summary",
+        evidenceCompleteness: ec,
         explanation: {
             headline: "headline",
             details: [
@@ -31,7 +34,7 @@ function fixture(overrides) {
                 observedOutcome: "observed 1",
             },
         ],
-        humanReport: "human body",
+        humanReport: "human body\n\n=== evidence_completeness ===\nstub\n=== end evidence_completeness ===",
         checkpointVerdicts: [
             {
                 checkpointKey: "cp_b",
@@ -51,8 +54,9 @@ function fixture(overrides) {
 }
 describe("governanceEvidence", () => {
     it("builds stable, normalized material truth projection", () => {
-        const p = materialTruthProjectionV1(fixture());
+        const p = materialTruthProjectionFromCertificate(fixture());
         expect(p.reasonCodes).toEqual(["CODE_A", "CODE_B"]);
+        expect(p.evidenceGapPrimary).toBe("none");
         expect(p.steps.map((s) => s.seq)).toEqual([1, 2]);
         expect(p.steps[0]?.toolId).toBe("");
         expect(p.checkpointVerdicts.map((c) => c.checkpointKey)).toEqual(["cp_a", "cp_b"]);
@@ -70,6 +74,10 @@ describe("governanceEvidence", () => {
                     { code: "CODE_A", message: "different message a" },
                 ],
             },
+            evidenceCompleteness: minimalEvidenceCompletenessFixture({
+                blockerCategory: "none",
+                unverifiedClaims: ["other"],
+            }),
         });
         expect(materialTruthSha256(a)).toBe(materialTruthSha256(b));
         expect(canonicalCertificateSha256(a)).not.toBe(canonicalCertificateSha256(b));

package/dist/governanceEvidence.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"governanceEvidence.test.js","sourceRoot":"","sources":["../src/governanceEvidence.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,0BAA0B,EAAE,yBAAyB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAErH,SAAS,OAAO,CAAC,SAAyC;IACxD,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,SAAS;QACrB,OAAO,EAAE,cAAc;QACvB,aAAa,EAAE,sBAAsB;QACrC,kBAAkB,EAAE,WAAW;QAC/B,iBAAiB,EAAE,WAAW;QAC9B,aAAa,EAAE,SAAS;QACxB,WAAW,EAAE;YACX,QAAQ,EAAE,UAAU;YACpB,OAAO,EAAE;gBACP,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE;gBACpC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE;aACrC;SACF;QACD,KAAK,EAAE;YACL;gBACE,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,QAAQ;gBAChB,cAAc,EAAE,UAAU;gBAC1B,eAAe,EAAE,YAAY;gBAC7B,eAAe,EAAE,YAAY;aAC9B;YACD;gBACE,GAAG,EAAE,CAAC;gBACN,cAAc,EAAE,UAAU;gBAC1B,eAAe,EAAE,YAAY;gBAC7B,eAAe,EAAE,YAAY;aAC9B;SACF;QACD,WAAW,EAAE,YAAY;QACzB,kBAAkB,EAAE;YAClB;gBACE,aAAa,EAAE,MAAM;gBACrB,OAAO,EAAE,UAAU;gBACnB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBACf,iBAAiB,EAAE,2BAA2B;aAC/C;YACD;gBACE,aAAa,EAAE,MAAM;gBACrB,OAAO,EAAE,cAAc;gBACvB,IAAI,EAAE,CAAC,CAAC,CAAC;gBACT,iBAAiB,EAAE,2BAA2B;aAC/C;SACF;QACD,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,yBAAyB,CAAC,OAAO,EAAE,CAAC,CAAC;QAC/C,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACnF,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,OAAO,CAAC;YAChB,WAAW,EAAE,sBAAsB;YACnC,iBAAiB,EAAE,mBAAmB;YACtC,WAAW,EAAE;gBACX,QAAQ,EAAE,kBAAkB;gBAC5B,OAAO,EAAE;oBACP,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,qBAAqB,EAAE;oBAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,qBAAqB,EAAE;iBACnD;aACF;SACF,CAAC,CAAC;QACH,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"governanceEvidence.test.js","sourceRoot":"","sources":["../src/governanceEvidence.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,kCAAkC,EAAE,MAAM,2BAA2B,CAAC;AAC/E,OAAO,EACL,0BAA0B,EAC1B,sCAAsC,EACtC,mBAAmB,GACpB,MAAM,yBAAyB,CAAC;AAEjC,SAAS,OAAO,CAAC,SAAyC;IACxD,MAAM,EAAE,GAAG,kCAAkC,CAAC,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3E,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,UAAU,EAAE,SAAS;QACrB,OAAO,EAAE,cAAc;QACvB,aAAa,EAAE,sBAAsB;QACrC,kBAAkB,EAAE,WAAW;QAC/B,iBAAiB,EAAE,WAAW;QAC9B,aAAa,EAAE,SAAS;QACxB,oBAAoB,EAAE,EAAE;QACxB,WAAW,EAAE;YACX,QAAQ,EAAE,UAAU;YACpB,OAAO,EAAE;gBACP,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE;gBACpC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE;aACrC;SACF;QACD,KAAK,EAAE;YACL;gBACE,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,QAAQ;gBAChB,cAAc,EAAE,UAAU;gBAC1B,eAAe,EAAE,YAAY;gBAC7B,eAAe,EAAE,YAAY;aAC9B;YACD;gBACE,GAAG,EAAE,CAAC;gBACN,cAAc,EAAE,UAAU;gBAC1B,eAAe,EAAE,YAAY;gBAC7B,eAAe,EAAE,YAAY;aAC9B;SACF;QACD,WAAW,EAAE,sFAAsF;QACnG,kBAAkB,EAAE;YAClB;gBACE,aAAa,EAAE,MAAM;gBACrB,OAAO,EAAE,UAAU;gBACnB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBACf,iBAAiB,EAAE,2BAA2B;aAC/C;YACD;gBACE,aAAa,EAAE,MAAM;gBACrB,OAAO,EAAE,cAAc;gBACvB,IAAI,EAAE,CAAC,CAAC,CAAC;gBACT,iBAAiB,EAAE,2BAA2B;aAC/C;SACF;QACD,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,sCAAsC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5D,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACnF,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,OAAO,CAAC;YAChB,WAAW,EAAE,sBAAsB;YACnC,iBAAiB,EAAE,mBAAmB;YACtC,WAAW,EAAE;gBACX,QAAQ,EAAE,kBAAkB;gBAC5B,OAAO,EAAE;oBACP,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,qBAAqB,EAAE;oBAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,qBAAqB,EAAE;iBACnD;aACF;YACD,oBAAoB,EAAE,kCAAkC,CAAC;gBACvD,eAAe,EAAE,MAAM;gBACvB,gBAAgB,EAAE,CAAC,OAAO,CAAC;aAC5B,CAAC;SACH,CAAC,CAAC;QACH,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/index.d.ts

@@ -1,8 +1,8 @@
 export { workflowResultToCiLockV1, quickReportToCiLockV1, toCiLockV1, ciLocksEqualStable, assertCiLockSchemaValid, } from "./ciLock.js";
 export type { CiLockV1, CiLockBatchV1, CiLockQuickV1 } from "./ciLock.js";
 export { runBatchVerifyToValidatedResult, runBatchVerifyToValidatedCertificate, emitOutcomeCertificateCliAndExitByStateRelation, } from "./standardVerifyWorkflowCli.js";
-export { buildOutcomeCertificateFromWorkflowResult, buildOutcomeCertificateFromQuickReport, buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult, buildIneligibleLangGraphCheckpointTrustCertificate, computeCheckpointVerdictsFromWorkflowResult, deriveHighStakesReliance, assertOutcomeCertificateInvariants, formatOutcomeCertificateHuman, workflowResultToStateRelation, LANGGRAPH_CHECKPOINT_TRUST_INELIGIBLE_HEADLINE, } from "./outcomeCertificate.js";
-export type { OutcomeCertificateV1, OutcomeCertificateRunKind, OutcomeCertificateStateRelation, OutcomeCertificateHighStakesReliance, OutcomeCertificateStep, OutcomeCertificateExplanationDetail, OutcomeCertificateCheckpointVerdict, BuildQuickOutcomeCertificateOptions, } from "./outcomeCertificate.js";
+export { buildOutcomeCertificateFromWorkflowResult, buildOutcomeCertificateFromQuickReport, buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult, buildIneligibleLangGraphCheckpointTrustCertificate, computeCheckpointVerdictsFromWorkflowResult, deriveHighStakesReliance, assertOutcomeCertificateInvariants, formatOutcomeCertificateHuman, truthCheckVerdictFromCertificate, workflowResultToStateRelation, LANGGRAPH_CHECKPOINT_TRUST_INELIGIBLE_HEADLINE, } from "./outcomeCertificate.js";
+export type { OutcomeCertificateV1, OutcomeCertificateV2, OutcomeCertificateRunKind, OutcomeCertificateStateRelation, OutcomeCertificateHighStakesReliance, OutcomeCertificateStep, OutcomeCertificateExplanationDetail, OutcomeCertificateCheckpointVerdict, BuildQuickOutcomeCertificateOptions, TruthCheckVerdictLabel, } from "./outcomeCertificate.js";
 export { loadToolsRegistry, verifyRunStateFromEvents } from "./pipeline.js";
 export type { VerifyRunStateFromEventsInput } from "./pipeline.js";
 export { assertLangGraphCheckpointProductionGate, createLangGraphCheckpointTrustGate, } from "./langGraphCheckpointTrustGate.js";
@@ -11,7 +11,7 @@ export { classifyLangGraphCheckpointTrustEligibility } from "./langGraphCheckpoi
 export type { CreateLangGraphCheckpointTrustGateOptions, LangGraphCheckpointTrustEligibility, LangGraphCheckpointTrustGate, } from "./langGraphCheckpointTrustGate.js";
 export { trustDecisionFromCertificate } from "./trustDecision.js";
 export type { TrustDecision } from "./trustDecision.js";
-export { formatDecisionBlockerForHumans, firstProblemStepForCertificate } from "./decisionBlocker.js";
+export { firstProblemStepForCertificate } from "./decisionBlocker.js";
 export { TrustDecisionBlockedError } from "./trustDecisionBlockedError.js";
 export type { TrustDecisionRecordV1, TrustCertificateSnapshotV1, TrustGateKind, } from "./commercial/trustDecisionRecord.js";
 export { loadSchemaValidator } from "./schemaLoad.js";
@@ -30,7 +30,7 @@ export { TruthLayerError } from "./truthLayerError.js";
 export { AgentSkepticError, agentSkepticErrorEntries, lookupErrorCodeMeta } from "./sdk/errors.js";
 export type { ErrorCodeEntry, AgentSkepticErrorCode } from "./sdk/errors.js";
 export { AgentSkeptic } from "./sdk/AgentSkeptic.js";
-export type { AgentSkepticOptions } from "./sdk/AgentSkeptic.js";
+export type { AgentSkepticCheckOptions, AgentSkepticOptions } from "./sdk/AgentSkeptic.js";
 export { CanonicalEventEmitter, BufferSink, NdjsonFileSink } from "./sdk/events/index.js";
 export type { EventSink, EventEmitterInit } from "./sdk/events/index.js";
 export { CLI_OPERATIONAL_CODES, OPERATIONAL_MESSAGE_MAX_CHARS, formatOperationalMessage, cliErrorEnvelope, CLI_ERROR_KIND, CLI_ERROR_SCHEMA_VERSION, eventSequenceIssue, EVENT_SEQUENCE_MESSAGES, RETRY_OBSERVATIONS_DIVERGE_MESSAGE, } from "./failureCatalog.js";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EACL,+BAA+B,EAC/B,oCAAoC,EACpC,+CAA+C,GAChD,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,yCAAyC,EACzC,sCAAsC,EACtC,iEAAiE,EACjE,kDAAkD,EAClD,2CAA2C,EAC3C,wBAAwB,EACxB,kCAAkC,EAClC,6BAA6B,EAC7B,6BAA6B,EAC7B,8CAA8C,GAC/C,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,oBAAoB,EACpB,yBAAyB,EACzB,+BAA+B,EAC/B,oCAAoC,EACpC,sBAAsB,EACtB,mCAAmC,EACnC,mCAAmC,EACnC,mCAAmC,GACpC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5E,YAAY,EAAE,6BAA6B,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EACL,uCAAuC,EACvC,kCAAkC,GACnC,MAAM,mCAAmC,CAAC;AAC3C,YAAY,EAAE,yBAAyB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,2CAA2C,EAAE,MAAM,mCAAmC,CAAC;AAChG,YAAY,EACV,yCAAyC,EACzC,mCAAmC,EACnC,4BAA4B,GAC7B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAClE,YAAY,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,8BAA8B,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtG,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,YAAY,EACV,qBAAqB,EACrB,0BAA0B,EAC1B,aAAa,GACd,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,YAAY,EACV,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,kCAAkC,EAClC,4BAA4B,EAC5B,KAAK,uBAAuB,GAC7B,MAAM,0CAA0C,CAAC;AAClD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iDAAiD,CAAC;AAC3F,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,gBAAgB,EAChB,wBAAwB,EACxB,eAAe,EACf,iBAAiB,EACjB,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,4CAA4C,EAAE,MAAM,iBAAiB,CAAC;AACtG,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACnG,YAAY,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,YAAY,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC1F,YAAY,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzE,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EACL,0CAA0C,EAC1C,sCAAsC,EACtC,iCAAiC,EACjC,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AACrF,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACnG,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,8BAA8B,EAAE,MAAM,qBAAqB,CAAC;AAC1F,YAAY,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AACtD,YAAY,EACV,iBAAiB,EACjB,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACrB,eAAe,EACf,0BAA0B,EAC1B,kBAAkB,EAClB,8BAA8B,EAC9B,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,EACjB,MAAM,EACN,iBAAiB,EACjB,QAAQ,EACR,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,aAAa,EACb,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,sBAAsB,EACtB,cAAc,EACd,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EACL,kBAAkB,EAClB,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,eAAe,EACf,wBAAwB,EACxB,wBAAwB,EACxB,kCAAkC,EAClC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC9F,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AACnC,YAAY,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,YAAY,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,eAAe,EACf,UAAU,EACV,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,kBAAkB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,UAAU,EACV,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EACL,+BAA+B,EAC/B,oCAAoC,EACpC,+CAA+C,GAChD,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,yCAAyC,EACzC,sCAAsC,EACtC,iEAAiE,EACjE,kDAAkD,EAClD,2CAA2C,EAC3C,wBAAwB,EACxB,kCAAkC,EAClC,6BAA6B,EAC7B,gCAAgC,EAChC,6BAA6B,EAC7B,8CAA8C,GAC/C,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,oBAAoB,EACpB,oBAAoB,EACpB,yBAAyB,EACzB,+BAA+B,EAC/B,oCAAoC,EACpC,sBAAsB,EACtB,mCAAmC,EACnC,mCAAmC,EACnC,mCAAmC,EACnC,sBAAsB,GACvB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAC5E,YAAY,EAAE,6BAA6B,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EACL,uCAAuC,EACvC,kCAAkC,GACnC,MAAM,mCAAmC,CAAC;AAC3C,YAAY,EAAE,yBAAyB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,2CAA2C,EAAE,MAAM,mCAAmC,CAAC;AAChG,YAAY,EACV,yCAAyC,EACzC,mCAAmC,EACnC,4BAA4B,GAC7B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AAClE,YAAY,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,YAAY,EACV,qBAAqB,EACrB,0BAA0B,EAC1B,aAAa,GACd,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,YAAY,EACV,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,kCAAkC,EAClC,4BAA4B,EAC5B,KAAK,uBAAuB,GAC7B,MAAM,0CAA0C,CAAC;AAClD,YAAY,EAAE,mBAAmB,EAAE,MAAM,iDAAiD,CAAC;AAC3F,OAAO,EACL,mCAAmC,EACnC,oCAAoC,EACpC,qBAAqB,GACtB,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,gBAAgB,EAChB,wBAAwB,EACxB,eAAe,EACf,iBAAiB,EACjB,eAAe,GAChB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,8BAA8B,EAC9B,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,4CAA4C,EAAE,MAAM,iBAAiB,CAAC;AACtG,OAAO,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACnG,YAAY,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,YAAY,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC3F,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC1F,YAAY,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzE,OAAO,EACL,qBAAqB,EACrB,6BAA6B,EAC7B,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,wBAAwB,EACxB,kBAAkB,EAClB,uBAAuB,EACvB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,iCAAiC,EACjC,sBAAsB,EACtB,wBAAwB,EACxB,kCAAkC,EAClC,+BAA+B,EAC/B,sBAAsB,EACtB,oBAAoB,EACpB,4CAA4C,EAC5C,qCAAqC,GACtC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,sBAAsB,EACtB,kCAAkC,EAClC,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oBAAoB,EACpB,uCAAuC,EACvC,uBAAuB,EACvB,oCAAoC,EACpC,uBAAuB,GACxB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACpE,OAAO,EACL,0CAA0C,EAC1C,sCAAsC,EACtC,iCAAiC,EACjC,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,mCAAmC,EACnC,0BAA0B,EAC1B,wBAAwB,EACxB,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,iCAAiC,EACjC,iBAAiB,EACjB,uBAAuB,EACvB,mBAAmB,EACnB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,mCAAmC,EAAE,MAAM,gCAAgC,CAAC;AACrF,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACnG,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,mBAAmB,EAAE,8BAA8B,EAAE,MAAM,qBAAqB,CAAC;AAC1F,YAAY,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AACjH,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EACL,sCAAsC,EACtC,gCAAgC,EAChC,iCAAiC,EACjC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AACtD,YAAY,EACV,iBAAiB,EACjB,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACrB,eAAe,EACf,0BAA0B,EAC1B,kBAAkB,EAClB,8BAA8B,EAC9B,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,gBAAgB,EAChB,iBAAiB,EACjB,MAAM,EACN,iBAAiB,EACjB,QAAQ,EACR,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,aAAa,EACb,iBAAiB,EACjB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,sBAAsB,EACtB,cAAc,EACd,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EACL,kBAAkB,EAClB,4BAA4B,EAC5B,SAAS,EACT,eAAe,EACf,eAAe,EACf,wBAAwB,EACxB,wBAAwB,EACxB,kCAAkC,EAClC,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC9F,OAAO,EACL,mCAAmC,EACnC,+BAA+B,EAC/B,iCAAiC,EACjC,6CAA6C,EAC7C,iCAAiC,EACjC,oCAAoC,EACpC,oCAAoC,EACpC,gCAAgC,EAChC,qCAAqC,EACrC,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AACnC,YAAY,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,YAAY,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,eAAe,EACf,UAAU,EACV,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,kBAAkB,CAAC"}

package/dist/index.js

@@ -1,11 +1,11 @@
 export { workflowResultToCiLockV1, quickReportToCiLockV1, toCiLockV1, ciLocksEqualStable, assertCiLockSchemaValid, } from "./ciLock.js";
 export { runBatchVerifyToValidatedResult, runBatchVerifyToValidatedCertificate, emitOutcomeCertificateCliAndExitByStateRelation, } from "./standardVerifyWorkflowCli.js";
-export { buildOutcomeCertificateFromWorkflowResult, buildOutcomeCertificateFromQuickReport, buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult, buildIneligibleLangGraphCheckpointTrustCertificate, computeCheckpointVerdictsFromWorkflowResult, deriveHighStakesReliance, assertOutcomeCertificateInvariants, formatOutcomeCertificateHuman, workflowResultToStateRelation, LANGGRAPH_CHECKPOINT_TRUST_INELIGIBLE_HEADLINE, } from "./outcomeCertificate.js";
+export { buildOutcomeCertificateFromWorkflowResult, buildOutcomeCertificateFromQuickReport, buildOutcomeCertificateLangGraphCheckpointTrustFromWorkflowResult, buildIneligibleLangGraphCheckpointTrustCertificate, computeCheckpointVerdictsFromWorkflowResult, deriveHighStakesReliance, assertOutcomeCertificateInvariants, formatOutcomeCertificateHuman, truthCheckVerdictFromCertificate, workflowResultToStateRelation, LANGGRAPH_CHECKPOINT_TRUST_INELIGIBLE_HEADLINE, } from "./outcomeCertificate.js";
 export { loadToolsRegistry, verifyRunStateFromEvents } from "./pipeline.js";
 export { assertLangGraphCheckpointProductionGate, createLangGraphCheckpointTrustGate, } from "./langGraphCheckpointTrustGate.js";
 export { classifyLangGraphCheckpointTrustEligibility } from "./langGraphCheckpointTrustGate.js";
 export { trustDecisionFromCertificate } from "./trustDecision.js";
-export { formatDecisionBlockerForHumans, firstProblemStepForCertificate } from "./decisionBlocker.js";
+export { firstProblemStepForCertificate } from "./decisionBlocker.js";
 export { TrustDecisionBlockedError } from "./trustDecisionBlockedError.js";
 export { loadSchemaValidator } from "./schemaLoad.js";
 export { quickReportToStdoutLine } from "./quickVerify/runQuickVerify.js";