@aperant/framework 0.16.0 → 0.19.0

package/dist/cli/produce/done-gate.mjs

@@ -0,0 +1,200 @@
+/**
+ * @internal
+ * produce/done-gate.mjs — the real two-gate done adjudication + canary (M2,
+ * ID-M2-04 / AC8-AC11).
+ *
+ * A milestone flips to `done` ONLY when the VISIBLE oracle AND the BLIND probe
+ * both agree — otherwise it stays open and the reward-hacking canary logs the
+ * gap. The Showrunner still cannot self-attest: `done` is reachable ONLY through
+ * recorded external evidence + a blind cross-family probe (ID-03 preserved). Any
+ * missing / same-family / stale seal fails closed.
+ *
+ * The CLI is deterministic — it reads recorded evidence (verify-proof's verdict
+ * file + the recorded `produce.oracle.judged` / `produce.probe.run` /
+ * `produce.probe.frozen` seals) and computes the gate. The (LLM) oracle-judge +
+ * probe-run steps are driven cross-family by the skill; the CLI records + gates.
+ */
+import { appendProduceEvent, readImplementerFamily, readProduceRunEventsMatching, } from './events.mjs';
+import { prepareOracleInput } from './evidence-oracle.mjs';
+import { normalizeFamily } from './probe-family.mjs';
+import { projectRoadmap, writeProjectionCache } from './projection.mjs';
+/** The last event matching `matchOp` for a milestone, or null. */
+function latestForMilestone(projectDir, runId, milestoneId, matchOp) {
+    const events = readProduceRunEventsMatching(projectDir, runId, matchOp);
+    let last = null;
+    for (const e of events) {
+        if (e.data && e.data.milestone_id === milestoneId)
+            last = e;
+    }
+    return last;
+}
+/** Whether any event matching `matchOp` (with a cross-family predicate) exists. */
+function anyForMilestone(projectDir, runId, milestoneId, matchOp, predicate) {
+    const events = readProduceRunEventsMatching(projectDir, runId, matchOp);
+    return events.some((e) => e.data && e.data.milestone_id === milestoneId && predicate(e.data));
+}
+/**
+ * Evaluate the RECORDED gate seals for a milestone (no verify-proof file read —
+ * that live half is added by `adjudicateDone`). Pure read.
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @param {string} milestoneId
+ * @returns {{
+ *   implementer_family: string | null,
+ *   oracle_pass_cross_family: boolean,
+ *   probe_pass_cross_family: boolean,
+ *   frozen_cross_family: boolean,
+ *   blind_gate: boolean,
+ * }}
+ */
+export function evaluateRecordedGates(projectDir, runId, milestoneId) {
+    const implementer = readImplementerFamily(projectDir, runId, milestoneId);
+    const impl = implementer ? normalizeFamily(implementer) : null;
+    const oracle = latestForMilestone(projectDir, runId, milestoneId, (op) => op === 'produce.oracle.judged');
+    const oracle_pass_cross_family = !!impl &&
+        !!oracle &&
+        oracle.data.verdict === 'pass' &&
+        normalizeFamily(oracle.data.oracle_family) !== impl;
+    const probeRun = latestForMilestone(projectDir, runId, milestoneId, (op) => op === 'produce.probe.run');
+    const probe_pass_cross_family = !!impl &&
+        !!probeRun &&
+        probeRun.data.result === 'pass' &&
+        normalizeFamily(probeRun.data.probe_family) !== impl;
+    const frozen_cross_family = !!impl &&
+        anyForMilestone(projectDir, runId, milestoneId, (op) => op === 'produce.probe.frozen', (d) => normalizeFamily(d.author_family) !== impl);
+    return {
+        implementer_family: implementer,
+        oracle_pass_cross_family,
+        probe_pass_cross_family,
+        frozen_cross_family,
+        blind_gate: probe_pass_cross_family && frozen_cross_family,
+    };
+}
+/**
+ * Adjudicate a milestone `done` (ID-M2-04). `done` accepted iff:
+ *   visible_gate = verify-proof verdict === 'approved' AND recorded
+ *     produce.oracle.judged.verdict === 'pass' with oracle_family !== implementer;
+ *   blind_gate = recorded produce.probe.run.result === 'pass' with
+ *     probe_family !== implementer AND a produce.probe.frozen exists with
+ *     author_family !== implementer.
+ * visible && blind → append produce.oracle.verdict{done} +
+ *   produce.roadmap.milestone_status_changed{done} + refresh the cache → ok.
+ * visible && !blind → append produce.oracle.probe_gap → err (stays open).
+ * !visible → err not-adjudicable. Absent implementer → err fail-closed.
+ *
+ * @param {{ projectDir: string, runId: string, milestoneId: string, verdictPath: string }} args
+ * @returns {{ ok: true, milestone_id: string, roadmap: object }
+ *   | { ok: false, reason: string, visible_gate: boolean, blind_gate: boolean, detail?: object }}
+ */
+export function adjudicateDone({ projectDir, runId, milestoneId, verdictPath }) {
+    const gates = evaluateRecordedGates(projectDir, runId, milestoneId);
+    if (!gates.implementer_family)
+        return { ok: false, reason: 'no_recorded_implementer', visible_gate: false, blind_gate: false };
+    // The live half of the visible gate: verify-proof's v2 verdict === 'approved'.
+    const prepared = prepareOracleInput(verdictPath);
+    const visible_gate = prepared.approved && gates.oracle_pass_cross_family;
+    const blind_gate = gates.blind_gate;
+    if (!visible_gate)
+        return {
+            ok: false,
+            reason: 'not_adjudicable',
+            visible_gate,
+            blind_gate,
+            detail: {
+                verify_proof_verdict: prepared.verdict,
+                verify_proof_approved: prepared.approved,
+                oracle_pass_cross_family: gates.oracle_pass_cross_family,
+            },
+        };
+    if (!blind_gate) {
+        // Visible passed, blind failed — the reward-hacking near-miss. Log the
+        // canary event; the milestone STAYS OPEN (AC9).
+        appendProduceEvent(projectDir, 'produce.oracle.probe_gap', {
+            run_id: runId,
+            milestone_id: milestoneId,
+        });
+        return {
+            ok: false,
+            reason: 'probe_gap',
+            visible_gate,
+            blind_gate,
+            detail: {
+                probe_pass_cross_family: gates.probe_pass_cross_family,
+                frozen_cross_family: gates.frozen_cross_family,
+            },
+        };
+    }
+    // Both gates agree — the ONLY path to done. Record the verdict + flip status.
+    appendProduceEvent(projectDir, 'produce.oracle.verdict', {
+        run_id: runId,
+        milestone_id: milestoneId,
+        verdict: 'done',
+    });
+    appendProduceEvent(projectDir, 'produce.roadmap.milestone_status_changed', {
+        run_id: runId,
+        milestone_id: milestoneId,
+        status: 'done',
+    });
+    const roadmap = writeProjectionCache(projectDir, runId);
+    return { ok: true, milestone_id: milestoneId, roadmap };
+}
+/**
+ * The reward-hacking canary (ID-M2-06 / AC10): green-on-visible MINUS
+ * green-on-blind over the run's milestones, from RECORDED seals. Each
+ * `produce.oracle.probe_gap` is one visible-pass + blind-fail near-miss. The
+ * metric surfaces the divergence — it does not average it away.
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @returns {{
+ *   run_id: string,
+ *   green_on_visible: number,
+ *   green_on_blind: number,
+ *   gap: number,
+ *   probe_gap_events: number,
+ *   per_milestone: Array<{ milestone_id: string, title: string, status: string, visible: boolean, blind: boolean, probe_gaps: number }>,
+ * }}
+ */
+export function computeCanary(projectDir, runId) {
+    const roadmap = projectRoadmap(projectDir, runId);
+    const gapEvents = readProduceRunEventsMatching(projectDir, runId, (op) => op === 'produce.oracle.probe_gap');
+    const gapCountByMilestone = new Map();
+    for (const e of gapEvents) {
+        const id = e.data && typeof e.data.milestone_id === 'string' ? e.data.milestone_id : null;
+        if (id)
+            gapCountByMilestone.set(id, (gapCountByMilestone.get(id) || 0) + 1);
+    }
+    let greenOnVisible = 0;
+    let greenOnBlind = 0;
+    const perMilestone = roadmap.milestones.map((m) => {
+        const gates = evaluateRecordedGates(projectDir, runId, m.id);
+        // The recorded (append-log) half of the visible gate — a recorded
+        // cross-family oracle pass. In the production flow the oracle is recorded
+        // only after verify-proof `approved` (the skill gates `oracle prepare` on
+        // it), so this is the durable visible-gate signal for the canary.
+        const visible = gates.oracle_pass_cross_family;
+        const blind = gates.blind_gate;
+        if (visible)
+            greenOnVisible += 1;
+        if (blind)
+            greenOnBlind += 1;
+        return {
+            milestone_id: m.id,
+            title: m.title,
+            status: m.status,
+            visible,
+            blind,
+            probe_gaps: gapCountByMilestone.get(m.id) || 0,
+        };
+    });
+    return {
+        run_id: runId,
+        green_on_visible: greenOnVisible,
+        green_on_blind: greenOnBlind,
+        gap: greenOnVisible - greenOnBlind,
+        probe_gap_events: gapEvents.length,
+        per_milestone: perMilestone,
+    };
+}
+//# sourceMappingURL=done-gate.mjs.map

package/dist/cli/produce/done-gate.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"done-gate.mjs","sourceRoot":"","sources":["../../../src/cli/produce/done-gate.mjs"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EACN,kBAAkB,EAClB,qBAAqB,EACrB,4BAA4B,GAC5B,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AACpD,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAA;AAEvE,kEAAkE;AAClE,SAAS,kBAAkB,CAAC,UAAU,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO;IAClE,MAAM,MAAM,GAAG,4BAA4B,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IACvE,IAAI,IAAI,GAAG,IAAI,CAAA;IACf,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,KAAK,WAAW;YAAE,IAAI,GAAG,CAAC,CAAA;IAC5D,CAAC;IACD,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,mFAAmF;AACnF,SAAS,eAAe,CAAC,UAAU,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS;IAC1E,MAAM,MAAM,GAAG,4BAA4B,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IACvE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,KAAK,WAAW,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;AAC9F,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,qBAAqB,CAAC,UAAU,EAAE,KAAK,EAAE,WAAW;IACnE,MAAM,WAAW,GAAG,qBAAqB,CAAC,UAAU,EAAE,KAAK,EAAE,WAAW,CAAC,CAAA;IACzE,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IAE9D,MAAM,MAAM,GAAG,kBAAkB,CAChC,UAAU,EACV,KAAK,EACL,WAAW,EACX,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,uBAAuB,CACtC,CAAA;IACD,MAAM,wBAAwB,GAC7B,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,MAAM;QACR,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,MAAM;QAC9B,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,IAAI,CAAA;IAEpD,MAAM,QAAQ,GAAG,kBAAkB,CAClC,UAAU,EACV,KAAK,EACL,WAAW,EACX,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,mBAAmB,CAClC,CAAA;IACD,MAAM,uBAAuB,GAC5B,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,QAAQ;QACV,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM;QAC/B,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,IAAI,CAAA;IAErD,MAAM,mBAAmB,GACxB,CAAC,CAAC,IAAI;QACN,eAAe,CACd,UAAU,EACV,KAAK,EACL,WAAW,EACX,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,sBAAsB,EACrC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,IAAI,CAChD,CAAA;IAEF,OAAO;QACN,kBAAkB,EAAE,WAAW;QAC/B,wBAAwB;QACxB,uBAAuB;QACvB,mBAAmB;QACnB,UAAU,EAAE,uBAAuB,IAAI,mBAAmB;KAC1D,CAAA;AACF,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,cAAc,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE;IAC7E,MAAM,KAAK,GAAG,qBAAqB,CAAC,UAAU,EAAE,KAAK,EAAE,WAAW,CAAC,CAAA;IACnE,IAAI,CAAC,KAAK,CAAC,kBAAkB;QAC5B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,yBAAyB,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAA;IAEhG,+EAA+E;IAC/E,MAAM,QAAQ,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAA;IAChD,MAAM,YAAY,GAAG,QAAQ,CAAC,QAAQ,IAAI,KAAK,CAAC,wBAAwB,CAAA;IACxE,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAA;IAEnC,IAAI,CAAC,YAAY;QAChB,OAAO;YACN,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,iBAAiB;YACzB,YAAY;YACZ,UAAU;YACV,MAAM,EAAE;gBACP,oBAAoB,EAAE,QAAQ,CAAC,OAAO;gBACtC,qBAAqB,EAAE,QAAQ,CAAC,QAAQ;gBACxC,wBAAwB,EAAE,KAAK,CAAC,wBAAwB;aACxD;SACD,CAAA;IAEF,IAAI,CAAC,UAAU,EAAE,CAAC;QACjB,uEAAuE;QACvE,gDAAgD;QAChD,kBAAkB,CAAC,UAAU,EAAE,0BAA0B,EAAE;YAC1D,MAAM,EAAE,KAAK;YACb,YAAY,EAAE,WAAW;SACzB,CAAC,CAAA;QACF,OAAO;YACN,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,WAAW;YACnB,YAAY;YACZ,UAAU;YACV,MAAM,EAAE;gBACP,uBAAuB,EAAE,KAAK,CAAC,uBAAuB;gBACtD,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;aAC9C;SACD,CAAA;IACF,CAAC;IAED,8EAA8E;IAC9E,kBAAkB,CAAC,UAAU,EAAE,wBAAwB,EAAE;QACxD,MAAM,EAAE,KAAK;QACb,YAAY,EAAE,WAAW;QACzB,OAAO,EAAE,MAAM;KACf,CAAC,CAAA;IACF,kBAAkB,CAAC,UAAU,EAAE,0CAA0C,EAAE;QAC1E,MAAM,EAAE,KAAK;QACb,YAAY,EAAE,WAAW;QACzB,MAAM,EAAE,MAAM;KACd,CAAC,CAAA;IACF,MAAM,OAAO,GAAG,oBAAoB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;IACvD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,OAAO,EAAE,CAAA;AACxD,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,aAAa,CAAC,UAAU,EAAE,KAAK;IAC9C,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;IACjD,MAAM,SAAS,GAAG,4BAA4B,CAC7C,UAAU,EACV,KAAK,EACL,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,0BAA0B,CACzC,CAAA;IACD,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAE,CAAA;IACrC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,CAAC,IAAI,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAA;QACzF,IAAI,EAAE;YAAE,mBAAmB,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IAC5E,CAAC;IAED,IAAI,cAAc,GAAG,CAAC,CAAA;IACtB,IAAI,YAAY,GAAG,CAAC,CAAA;IACpB,MAAM,YAAY,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACjD,MAAM,KAAK,GAAG,qBAAqB,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;QAC5D,kEAAkE;QAClE,0EAA0E;QAC1E,0EAA0E;QAC1E,kEAAkE;QAClE,MAAM,OAAO,GAAG,KAAK,CAAC,wBAAwB,CAAA;QAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAA;QAC9B,IAAI,OAAO;YAAE,cAAc,IAAI,CAAC,CAAA;QAChC,IAAI,KAAK;YAAE,YAAY,IAAI,CAAC,CAAA;QAC5B,OAAO;YACN,YAAY,EAAE,CAAC,CAAC,EAAE;YAClB,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,OAAO;YACP,KAAK;YACL,UAAU,EAAE,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC;SAC9C,CAAA;IACF,CAAC,CAAC,CAAA;IAEF,OAAO;QACN,MAAM,EAAE,KAAK;QACb,gBAAgB,EAAE,cAAc;QAChC,cAAc,EAAE,YAAY;QAC5B,GAAG,EAAE,cAAc,GAAG,YAAY;QAClC,gBAAgB,EAAE,SAAS,CAAC,MAAM;QAClC,aAAa,EAAE,YAAY;KAC3B,CAAA;AACF,CAAC"}

package/dist/cli/produce/events.d.mts

@@ -0,0 +1,77 @@
+/**
+ * Append one produce event through the schema-gated, O_APPEND coordination
+ * store. `data.run_id` also tags the event's top-level `task` field so the
+ * forensic trail is queryable by run. Returns the store's append result (null
+ * on schema violation — fail-closed).
+ *
+ * @param {string} projectDir
+ * @param {string} op
+ * @param {Record<string, unknown>} data
+ */
+export function appendProduceEvent(projectDir: string, op: string, data: Record<string, unknown>): {
+    file: string;
+    record: {
+        t: string;
+        agent: any;
+        pid: any;
+        hostname: any;
+        incarnation: any;
+        op: any;
+        task: any;
+        data: any;
+    };
+} | null;
+/**
+ * Fold the run's produce events matching `opMatches(op)` in chronological
+ * (append) order. The window starts at the setpoint's frozen day and ends today
+ * (UTC). Events are filtered to `data.run_id === runId`.
+ *
+ * This is the shared reader over the run's day-bucket window. `matchOp` selects
+ * which produce ops to fold — the roadmap projection folds ONLY the
+ * `produce.roadmap.*` prefix (see `readProduceEventsForRun`), while the M2
+ * oracle/probe consumers select `produce.milestone.implemented` /
+ * `produce.probe.*` / `produce.oracle.*`. It reads ONLY the append-only event
+ * log — it NEVER opens the frozen probe-content file (probe-blindness, ID-M2-03).
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @param {(op: string) => boolean} matchOp
+ * @returns {Array<{ op: string, data: Record<string, unknown>, t?: string }>}
+ */
+export function readProduceRunEventsMatching(projectDir: string, runId: string, matchOp: (op: string) => boolean): Array<{
+    op: string;
+    data: Record<string, unknown>;
+    t?: string;
+}>;
+/**
+ * Fold the run's `produce.roadmap.*` events in chronological (append) order.
+ * The projection consumes ONLY this reader, so the roadmap the Showrunner
+ * re-reads each tick can never surface a `produce.probe.*` / `produce.oracle.*`
+ * event (structural probe-blindness, AC5).
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @returns {Array<{ op: string, data: Record<string, unknown>, t?: string }>}
+ */
+export function readProduceEventsForRun(projectDir: string, runId: string): Array<{
+    op: string;
+    data: Record<string, unknown>;
+    t?: string;
+}>;
+/**
+ * Read the recorded implementer family for a run + milestone from the
+ * append-only `produce.milestone.implemented` trail (ID-M2-02 — the recorded
+ * disjointness anchor the cross-family rule is enforced against). Returns the
+ * LATEST recorded `implementer_family` for the milestone, or null when none is
+ * recorded (fail-closed — you cannot enforce disjointness against an unknown
+ * implementer).
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @param {string} milestoneId
+ * @returns {string | null}
+ */
+export function readImplementerFamily(projectDir: string, runId: string, milestoneId: string): string | null;
+/** The op-prefix the projection folds. */
+export const ROADMAP_OP_PREFIX: "produce.roadmap.";
+//# sourceMappingURL=events.d.mts.map

package/dist/cli/produce/events.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"events.d.mts","sourceRoot":"","sources":["../../../src/cli/produce/events.mjs"],"names":[],"mappings":"AAsBA;;;;;;;;;GASG;AACH,+CAJW,MAAM,MACN,MAAM,QACN,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;;;;;;;;;;;;SAMjC;AAkBD;;;;;;;;;;;;;;;;GAgBG;AACH,yDALW,MAAM,SACN,MAAM,WACN,CAAC,EAAE,EAAE,MAAM,KAAK,OAAO,GACrB,KAAK,CAAC;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAAC,CAAC,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,CAiB5E;AAED;;;;;;;;;GASG;AACH,oDAJW,MAAM,SACN,MAAM,GACJ,KAAK,CAAC;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAAC,CAAC,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,CAI5E;AAED;;;;;;;;;;;;GAYG;AACH,kDALW,MAAM,SACN,MAAM,eACN,MAAM,GACJ,MAAM,GAAG,IAAI,CAiBzB;AA/GD,0CAA0C;AAC1C,gCAAiC,kBAAkB,CAAA"}

package/dist/cli/produce/events.mjs

@@ -0,0 +1,126 @@
+/**
+ * @internal
+ * produce/events.mjs — append + read the run-scoped produce event trail (M1).
+ *
+ * Writes go through `createCoordinationStore(dir).appendEvent` → the O_APPEND
+ * `.aperant/events/*.jsonl` log, schema-gated by event-schema.mjs (ID-04). The
+ * append is atomic across concurrent writers (POSIX O_APPEND under PIPE_BUF),
+ * so N parallel `add-milestone` writers never lose updates (parent TD-06).
+ *
+ * Reads fold the run's `produce.roadmap.*` events across the day buckets from
+ * the run's start day (setpoint.json.frozen_at) to today (UTC), filtered by
+ * `data.run_id`. Bounded + deterministic (ID-06).
+ */
+import { readLifecycleEventsForDay } from '../coordination/event-log.mjs';
+import { createCoordinationStore } from '../coordination/store.mjs';
+import { resolveRunDir } from './run-id.mjs';
+import { readSetpoint } from './setpoint.mjs';
+/** The op-prefix the projection folds. */
+export const ROADMAP_OP_PREFIX = 'produce.roadmap.';
+/**
+ * Append one produce event through the schema-gated, O_APPEND coordination
+ * store. `data.run_id` also tags the event's top-level `task` field so the
+ * forensic trail is queryable by run. Returns the store's append result (null
+ * on schema violation — fail-closed).
+ *
+ * @param {string} projectDir
+ * @param {string} op
+ * @param {Record<string, unknown>} data
+ */
+export function appendProduceEvent(projectDir, op, data) {
+    const store = createCoordinationStore(projectDir);
+    const runId = data && typeof data.run_id === 'string' ? data.run_id : null;
+    return store.appendEvent({ op, task: runId, data: data || {} });
+}
+/** Inclusive list of 'YYYY-MM-DD' UTC day buckets from startDay to endDay. */
+function dayBucketsInclusive(startDay, endDay) {
+    const cur = new Date(`${startDay}T00:00:00.000Z`);
+    const end = new Date(`${endDay}T00:00:00.000Z`);
+    // Inverted / malformed range → just today's bucket (defensive).
+    if (Number.isNaN(cur.getTime()) || Number.isNaN(end.getTime()) || cur > end)
+        return [endDay];
+    const out = [];
+    while (cur <= end) {
+        out.push(cur.toISOString().slice(0, 10));
+        cur.setUTCDate(cur.getUTCDate() + 1);
+        // Safety cap — a real run's window is days, not a decade.
+        if (out.length > 3660)
+            break;
+    }
+    return out;
+}
+/**
+ * Fold the run's produce events matching `opMatches(op)` in chronological
+ * (append) order. The window starts at the setpoint's frozen day and ends today
+ * (UTC). Events are filtered to `data.run_id === runId`.
+ *
+ * This is the shared reader over the run's day-bucket window. `matchOp` selects
+ * which produce ops to fold — the roadmap projection folds ONLY the
+ * `produce.roadmap.*` prefix (see `readProduceEventsForRun`), while the M2
+ * oracle/probe consumers select `produce.milestone.implemented` /
+ * `produce.probe.*` / `produce.oracle.*`. It reads ONLY the append-only event
+ * log — it NEVER opens the frozen probe-content file (probe-blindness, ID-M2-03).
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @param {(op: string) => boolean} matchOp
+ * @returns {Array<{ op: string, data: Record<string, unknown>, t?: string }>}
+ */
+export function readProduceRunEventsMatching(projectDir, runId, matchOp) {
+    const setpoint = readSetpoint(resolveRunDir(projectDir, runId));
+    const today = new Date().toISOString().slice(0, 10);
+    const startDay = setpoint && typeof setpoint.frozen_at === 'string' ? setpoint.frozen_at.slice(0, 10) : today;
+    const out = [];
+    for (const day of dayBucketsInclusive(startDay, today)) {
+        for (const e of readLifecycleEventsForDay(projectDir, day)) {
+            if (typeof e.op !== 'string')
+                continue;
+            if (!matchOp(e.op))
+                continue;
+            if (!e.data || e.data.run_id !== runId)
+                continue;
+            out.push(e);
+        }
+    }
+    return out;
+}
+/**
+ * Fold the run's `produce.roadmap.*` events in chronological (append) order.
+ * The projection consumes ONLY this reader, so the roadmap the Showrunner
+ * re-reads each tick can never surface a `produce.probe.*` / `produce.oracle.*`
+ * event (structural probe-blindness, AC5).
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @returns {Array<{ op: string, data: Record<string, unknown>, t?: string }>}
+ */
+export function readProduceEventsForRun(projectDir, runId) {
+    return readProduceRunEventsMatching(projectDir, runId, (op) => op.startsWith(ROADMAP_OP_PREFIX));
+}
+/**
+ * Read the recorded implementer family for a run + milestone from the
+ * append-only `produce.milestone.implemented` trail (ID-M2-02 — the recorded
+ * disjointness anchor the cross-family rule is enforced against). Returns the
+ * LATEST recorded `implementer_family` for the milestone, or null when none is
+ * recorded (fail-closed — you cannot enforce disjointness against an unknown
+ * implementer).
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @param {string} milestoneId
+ * @returns {string | null}
+ */
+export function readImplementerFamily(projectDir, runId, milestoneId) {
+    const events = readProduceRunEventsMatching(projectDir, runId, (op) => op === 'produce.milestone.implemented');
+    let family = null;
+    for (const e of events) {
+        const d = e.data || {};
+        if (d.milestone_id !== milestoneId)
+            continue;
+        if (typeof d.implementer_family === 'string' && d.implementer_family.length > 0) {
+            family = d.implementer_family;
+        }
+    }
+    return family;
+}
+//# sourceMappingURL=events.mjs.map

package/dist/cli/produce/events.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"events.mjs","sourceRoot":"","sources":["../../../src/cli/produce/events.mjs"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAA;AACzE,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAA;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAE7C,0CAA0C;AAC1C,MAAM,CAAC,MAAM,iBAAiB,GAAG,kBAAkB,CAAA;AAEnD;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAAC,UAAU,EAAE,EAAE,EAAE,IAAI;IACtD,MAAM,KAAK,GAAG,uBAAuB,CAAC,UAAU,CAAC,CAAA;IACjD,MAAM,KAAK,GAAG,IAAI,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA;IAC1E,OAAO,KAAK,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,IAAI,EAAE,EAAE,CAAC,CAAA;AAChE,CAAC;AAED,8EAA8E;AAC9E,SAAS,mBAAmB,CAAC,QAAQ,EAAE,MAAM;IAC5C,MAAM,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,QAAQ,gBAAgB,CAAC,CAAA;IACjD,MAAM,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,MAAM,gBAAgB,CAAC,CAAA;IAC/C,gEAAgE;IAChE,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,IAAI,GAAG,GAAG,GAAG;QAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IAC5F,MAAM,GAAG,GAAG,EAAE,CAAA;IACd,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC;QACnB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;QACxC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAA;QACpC,0DAA0D;QAC1D,IAAI,GAAG,CAAC,MAAM,GAAG,IAAI;YAAE,MAAK;IAC7B,CAAC;IACD,OAAO,GAAG,CAAA;AACX,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,4BAA4B,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO;IACtE,MAAM,QAAQ,GAAG,YAAY,CAAC,aAAa,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAA;IAC/D,MAAM,KAAK,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IACnD,MAAM,QAAQ,GACb,QAAQ,IAAI,OAAO,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;IAC7F,MAAM,GAAG,GAAG,EAAE,CAAA;IACd,KAAK,MAAM,GAAG,IAAI,mBAAmB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC;QACxD,KAAK,MAAM,CAAC,IAAI,yBAAyB,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC;YAC5D,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ;gBAAE,SAAQ;YACtC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAE,SAAQ;YAC5B,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,KAAK;gBAAE,SAAQ;YAChD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACZ,CAAC;IACF,CAAC;IACD,OAAO,GAAG,CAAA;AACX,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,uBAAuB,CAAC,UAAU,EAAE,KAAK;IACxD,OAAO,4BAA4B,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAA;AACjG,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,qBAAqB,CAAC,UAAU,EAAE,KAAK,EAAE,WAAW;IACnE,MAAM,MAAM,GAAG,4BAA4B,CAC1C,UAAU,EACV,KAAK,EACL,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,+BAA+B,CAC9C,CAAA;IACD,IAAI,MAAM,GAAG,IAAI,CAAA;IACjB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAA;QACtB,IAAI,CAAC,CAAC,YAAY,KAAK,WAAW;YAAE,SAAQ;QAC5C,IAAI,OAAO,CAAC,CAAC,kBAAkB,KAAK,QAAQ,IAAI,CAAC,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjF,MAAM,GAAG,CAAC,CAAC,kBAAkB,CAAA;QAC9B,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAA;AACd,CAAC"}

package/dist/cli/produce/evidence-oracle.d.mts

@@ -0,0 +1,63 @@
+/**
+ * Read verify-proof's `verification.json` at `verdictPath` and extract the
+ * v2 verdict + the tests[] {surface, evidence, result} rows into a structured
+ * judge-input payload. The verdict is read from `meta.verdict` (or a top-level
+ * `verdict`) and must be EXACTLY `approved` — anything else (or a
+ * missing/unreadable artifact) is NOT approved (fail-closed).
+ *
+ * @param {string} verdictPath — absolute/relative path to verification.json.
+ * @returns {{
+ *   ok: boolean,
+ *   approved: boolean,
+ *   verdict: string | null,
+ *   reason: string | null,
+ *   tests: Array<{ id: string | null, surface: string | null, evidence: string | null, result: string | null }>,
+ *   judge_input: { verdict: string | null, task_id: string | null, spec: string | null, tests: Array<object> } | null,
+ * }}
+ */
+export function prepareOracleInput(verdictPath: string): {
+    ok: boolean;
+    approved: boolean;
+    verdict: string | null;
+    reason: string | null;
+    tests: Array<{
+        id: string | null;
+        surface: string | null;
+        evidence: string | null;
+        result: string | null;
+    }>;
+    judge_input: {
+        verdict: string | null;
+        task_id: string | null;
+        spec: string | null;
+        tests: Array<object>;
+    } | null;
+};
+/**
+ * Record the independent evidence-quality oracle's verdict. REFUSES fail-closed
+ * when the oracle family equals the recorded implementer family (cross-family
+ * enforcement, ID-08) or when no implementer family is recorded (ID-M2-02). On
+ * acceptance appends `produce.oracle.judged {run_id, milestone_id, verdict,
+ * oracle_family}`.
+ *
+ * @param {string} projectDir
+ * @param {{ runId: string, milestoneId: string, verdict: string, oracleFamily: string }} args
+ * @returns {{ ok: true, verdict: string, oracle_family: string, implementer_family: string }
+ *   | { ok: false, reason: string, implementer_family?: string | null }}
+ */
+export function recordOracleVerdict(projectDir: string, { runId, milestoneId, verdict, oracleFamily }: {
+    runId: string;
+    milestoneId: string;
+    verdict: string;
+    oracleFamily: string;
+}): {
+    ok: true;
+    verdict: string;
+    oracle_family: string;
+    implementer_family: string;
+} | {
+    ok: false;
+    reason: string;
+    implementer_family?: string | null;
+};
+//# sourceMappingURL=evidence-oracle.d.mts.map

package/dist/cli/produce/evidence-oracle.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-oracle.d.mts","sourceRoot":"","sources":["../../../src/cli/produce/evidence-oracle.mjs"],"names":[],"mappings":"AAyBA;;;;;;;;;;;;;;;;GAgBG;AACH,gDAVW,MAAM,GACJ;IACR,EAAE,EAAE,OAAO,CAAC;IACZ,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,KAAK,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAAC;IAC5G,WAAW,EAAE;QAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;KAAE,GAAG,IAAI,CAAC;CACnH,CA0DH;AAED;;;;;;;;;;;GAWG;AACH,gDALW,MAAM,iDACN;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,GAC3E;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAC;IAAC,kBAAkB,EAAE,MAAM,CAAA;CAAE,GACtF;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,kBAAkB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAsBvE"}

package/dist/cli/produce/evidence-oracle.mjs

@@ -0,0 +1,122 @@
+/**
+ * @internal
+ * produce/evidence-oracle.mjs — the independent evidence-quality oracle (M2, AC7).
+ *
+ * verify-proof issues a deterministic two-gate verdict over captured evidence;
+ * the evidence-oracle is a SECOND opinion — a cross-family judge deciding
+ * whether that captured evidence actually supports "done" (US-3 / ID-06). The
+ * CLI is deterministic: `prepareOracleInput` extracts the verdict + the tests[]
+ * evidence into a structured judge payload the skill sends to the cross-family
+ * model; `recordOracleVerdict` records the judge's pass/fail, refusing
+ * fail-closed when the oracle family equals the implementer family (the oracle
+ * that judged the work must not be the family that produced it — ID-08).
+ *
+ * The verify-proof verdict is read as the v2 closed-set `approved` ONLY
+ * (ID-M2-05): a legacy middle-band verdict, `needs_human`, `rejected`, or a
+ * missing/unreadable artifact is NOT `approved` → not adjudicable (fail-closed).
+ */
+import { readJsonIfExists } from '../util/io.mjs';
+import { appendProduceEvent, readImplementerFamily } from './events.mjs';
+import { normalizeFamily } from './probe-family.mjs';
+/** The single verdict verify-proof v2 treats as a pass (ID-M2-05). */
+const APPROVED = 'approved';
+/**
+ * Read verify-proof's `verification.json` at `verdictPath` and extract the
+ * v2 verdict + the tests[] {surface, evidence, result} rows into a structured
+ * judge-input payload. The verdict is read from `meta.verdict` (or a top-level
+ * `verdict`) and must be EXACTLY `approved` — anything else (or a
+ * missing/unreadable artifact) is NOT approved (fail-closed).
+ *
+ * @param {string} verdictPath — absolute/relative path to verification.json.
+ * @returns {{
+ *   ok: boolean,
+ *   approved: boolean,
+ *   verdict: string | null,
+ *   reason: string | null,
+ *   tests: Array<{ id: string | null, surface: string | null, evidence: string | null, result: string | null }>,
+ *   judge_input: { verdict: string | null, task_id: string | null, spec: string | null, tests: Array<object> } | null,
+ * }}
+ */
+export function prepareOracleInput(verdictPath) {
+    if (!verdictPath)
+        return {
+            ok: false,
+            approved: false,
+            verdict: null,
+            reason: 'no_verdict_path',
+            tests: [],
+            judge_input: null,
+        };
+    const doc = readJsonIfExists(verdictPath);
+    if (!doc || typeof doc !== 'object')
+        return {
+            ok: false,
+            approved: false,
+            verdict: null,
+            reason: 'verdict_unreadable',
+            tests: [],
+            judge_input: null,
+        };
+    const meta = doc.meta && typeof doc.meta === 'object' ? doc.meta : {};
+    const verdict = typeof meta.verdict === 'string'
+        ? meta.verdict
+        : typeof doc.verdict === 'string'
+            ? doc.verdict
+            : null;
+    const tests = Array.isArray(doc.tests)
+        ? doc.tests.map((t) => ({
+            id: t && typeof t.id === 'string' ? t.id : null,
+            surface: t && typeof t.surface === 'string' ? t.surface : null,
+            evidence: t && typeof t.evidence === 'string' ? t.evidence : null,
+            result: t && typeof t.result === 'string' ? t.result : null,
+        }))
+        : [];
+    // EXACTLY `approved` — the legacy middle-band verdict is NOT
+    // approved (verify-proof v2 deleted it; ID-M2-05).
+    const approved = verdict === APPROVED;
+    return {
+        ok: approved,
+        approved,
+        verdict,
+        reason: approved ? null : 'verdict_not_approved',
+        tests,
+        judge_input: {
+            verdict,
+            task_id: typeof meta.task_id === 'string' ? meta.task_id : null,
+            spec: typeof meta.spec === 'string' ? meta.spec : null,
+            tests,
+        },
+    };
+}
+/**
+ * Record the independent evidence-quality oracle's verdict. REFUSES fail-closed
+ * when the oracle family equals the recorded implementer family (cross-family
+ * enforcement, ID-08) or when no implementer family is recorded (ID-M2-02). On
+ * acceptance appends `produce.oracle.judged {run_id, milestone_id, verdict,
+ * oracle_family}`.
+ *
+ * @param {string} projectDir
+ * @param {{ runId: string, milestoneId: string, verdict: string, oracleFamily: string }} args
+ * @returns {{ ok: true, verdict: string, oracle_family: string, implementer_family: string }
+ *   | { ok: false, reason: string, implementer_family?: string | null }}
+ */
+export function recordOracleVerdict(projectDir, { runId, milestoneId, verdict, oracleFamily }) {
+    if (verdict !== 'pass' && verdict !== 'fail')
+        return { ok: false, reason: 'invalid_verdict' };
+    if (!oracleFamily)
+        return { ok: false, reason: 'no_oracle_family' };
+    const implementerFamily = readImplementerFamily(projectDir, runId, milestoneId);
+    if (!implementerFamily)
+        return { ok: false, reason: 'no_recorded_implementer', implementer_family: null };
+    // Cross-family enforcement (normalized so claude-code === claude).
+    if (normalizeFamily(oracleFamily) === normalizeFamily(implementerFamily))
+        return { ok: false, reason: 'same_family_oracle', implementer_family: implementerFamily };
+    appendProduceEvent(projectDir, 'produce.oracle.judged', {
+        run_id: runId,
+        milestone_id: milestoneId,
+        verdict,
+        oracle_family: oracleFamily,
+    });
+    return { ok: true, verdict, oracle_family: oracleFamily, implementer_family: implementerFamily };
+}
+//# sourceMappingURL=evidence-oracle.mjs.map

package/dist/cli/produce/evidence-oracle.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-oracle.mjs","sourceRoot":"","sources":["../../../src/cli/produce/evidence-oracle.mjs"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AACjD,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAA;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAA;AAEpD,sEAAsE;AACtE,MAAM,QAAQ,GAAG,UAAU,CAAA;AAE3B;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,kBAAkB,CAAC,WAAW;IAC7C,IAAI,CAAC,WAAW;QACf,OAAO;YACN,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,iBAAiB;YACzB,KAAK,EAAE,EAAE;YACT,WAAW,EAAE,IAAI;SACjB,CAAA;IAEF,MAAM,GAAG,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAA;IACzC,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;QAClC,OAAO;YACN,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,oBAAoB;YAC5B,KAAK,EAAE,EAAE;YACT,WAAW,EAAE,IAAI;SACjB,CAAA;IAEF,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;IACrE,MAAM,OAAO,GACZ,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ;QAC/B,CAAC,CAAC,IAAI,CAAC,OAAO;QACd,CAAC,CAAC,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;YAChC,CAAC,CAAC,GAAG,CAAC,OAAO;YACb,CAAC,CAAC,IAAI,CAAA;IAET,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;QACrC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACtB,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI;YAC/C,OAAO,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;YAC9D,QAAQ,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;YACjE,MAAM,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;SAC3D,CAAC,CAAC;QACJ,CAAC,CAAC,EAAE,CAAA;IAEL,6DAA6D;IAC7D,mDAAmD;IACnD,MAAM,QAAQ,GAAG,OAAO,KAAK,QAAQ,CAAA;IAErC,OAAO;QACN,EAAE,EAAE,QAAQ;QACZ,QAAQ;QACR,OAAO;QACP,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,sBAAsB;QAChD,KAAK;QACL,WAAW,EAAE;YACZ,OAAO;YACP,OAAO,EAAE,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;YAC/D,IAAI,EAAE,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;YACtD,KAAK;SACL;KACD,CAAA;AACF,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE;IAC5F,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAA;IAC7F,IAAI,CAAC,YAAY;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAA;IAEnE,MAAM,iBAAiB,GAAG,qBAAqB,CAAC,UAAU,EAAE,KAAK,EAAE,WAAW,CAAC,CAAA;IAC/E,IAAI,CAAC,iBAAiB;QACrB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAA;IAElF,mEAAmE;IACnE,IAAI,eAAe,CAAC,YAAY,CAAC,KAAK,eAAe,CAAC,iBAAiB,CAAC;QACvE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,CAAA;IAE1F,kBAAkB,CAAC,UAAU,EAAE,uBAAuB,EAAE;QACvD,MAAM,EAAE,KAAK;QACb,YAAY,EAAE,WAAW;QACzB,OAAO;QACP,aAAa,EAAE,YAAY;KAC3B,CAAC,CAAA;IAEF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,CAAA;AACjG,CAAC"}