@aperant/framework 0.17.0 → 0.19.0

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

@@ -0,0 +1,140 @@
+/**
+ * Fold the run's acceptance-criteria ledger from the append-only log. A
+ * `produce.criteria.declared` seeds an OPEN criterion (in first-seen order); a
+ * `produce.criteria.closed` advances it to `closed`; `produce.scope.changed` is
+ * recorded on the scope-change trail. Deterministic — two folds of the same log
+ * yield the identical ledger; `updated_at` is the last folded event's timestamp.
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @returns {{
+ *   run_id: string,
+ *   criteria: Array<{ criterion_id: string, milestone_id: string | null, text: string, status: 'open' | 'closed' }>,
+ *   open_count: number,
+ *   closed_count: number,
+ *   scope_changes: Array<{ reason: string, milestone_id: string | null, t: string | null }>,
+ *   updated_at: string | null,
+ * }}
+ */
+export function projectLedger(projectDir: string, runId: string): {
+    run_id: string;
+    criteria: Array<{
+        criterion_id: string;
+        milestone_id: string | null;
+        text: string;
+        status: "open" | "closed";
+    }>;
+    open_count: number;
+    closed_count: number;
+    scope_changes: Array<{
+        reason: string;
+        milestone_id: string | null;
+        t: string | null;
+    }>;
+    updated_at: string | null;
+};
+/**
+ * V = open acceptance criteria = declared − closed, folded from the log.
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @returns {number}
+ */
+export function computeOpenCriteria(projectDir: string, runId: string): number;
+/**
+ * The write-time anti-windup guard (ID-M3-03). `declare-criteria` raises V; it is
+ * REJECTED when the run is IN DESCENT (≥1 `produce.criteria.closed` already
+ * logged) AND no scope-change is supplied. Before descent, declaration is FREE
+ * (the baseline scope-definition window). This is the ONLY hard Lyapunov
+ * enforcement and it is fail-closed.
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @param {{ hasScopeChange?: boolean }} [opts]
+ * @returns {{ allowed: boolean, reason: string, in_descent: boolean }}
+ */
+export function evaluateDeclareGuard(projectDir: string, runId: string, { hasScopeChange }?: {
+    hasScopeChange?: boolean;
+}): {
+    allowed: boolean;
+    reason: string;
+    in_descent: boolean;
+};
+/**
+ * Compute the monotone-progress report (ID-M3-02 / AC6). Folds ALL of
+ * `produce.criteria.*` + `produce.scope.changed` +
+ * `produce.roadmap.milestone_status_changed` in append order, maintaining the
+ * running V. Every `milestone_status_changed{status:'done'}` is a checkpoint: it
+ * captures `v_before`, then consumes the contiguous run of `criteria.closed`
+ * events that ship triggered (appended immediately after the done event) to
+ * capture `v_after`. `delta = v_after − v_before` (≤ 0). The series is STRICTLY
+ * DECREASING iff every ship checkpoint had `delta < 0`; a flat ship (delta === 0)
+ * is a soft STALL, not a hard violation.
+ *
+ * Read-time defense (ID-M3-03): a `produce.criteria.declared` that raised V
+ * AFTER descent WITHOUT an accompanying (immediately-preceding)
+ * `produce.scope.changed` is a HARD `lyapunov_violation`. `progress` FLAGS — it
+ * never rejects (the rejection is the write-time guard).
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @returns {{
+ *   run_id: string,
+ *   v_open_now: number,
+ *   v_series: Array<{ milestone_id: string | null, v_before: number, v_after: number, delta: number, decreased: boolean }>,
+ *   strictly_decreasing: boolean,
+ *   lyapunov_ok: boolean,
+ *   lyapunov_violations: Array<{ criterion_id: string | null, milestone_id: string | null, reason: string, t: string | null }>,
+ *   scope_changes: Array<{ reason: string, milestone_id: string | null, t: string | null }>,
+ * }}
+ */
+export function computeProgress(projectDir: string, runId: string): {
+    run_id: string;
+    v_open_now: number;
+    v_series: Array<{
+        milestone_id: string | null;
+        v_before: number;
+        v_after: number;
+        delta: number;
+        decreased: boolean;
+    }>;
+    strictly_decreasing: boolean;
+    lyapunov_ok: boolean;
+    lyapunov_violations: Array<{
+        criterion_id: string | null;
+        milestone_id: string | null;
+        reason: string;
+        t: string | null;
+    }>;
+    scope_changes: Array<{
+        reason: string;
+        milestone_id: string | null;
+        t: string | null;
+    }>;
+};
+/**
+ * Close a shipped milestone's still-open acceptance criteria — the CONSEQUENCE
+ * of a milestone flipping to `done` (ID-M3-05, wired additively in
+ * `cmdSetMilestoneDone`). Folds the ledger, finds the milestone's OPEN criteria,
+ * and appends one `produce.criteria.closed` per criterion so V strictly
+ * decreases. Idempotent — an already-closed (or criteria-less) milestone appends
+ * nothing (`closed_count: 0`), so a criteria-less ship is byte-identical to M2.
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @param {string} milestoneId
+ * @returns {{ closed_count: number, criterion_ids: string[] }}
+ */
+export function closeCriteriaForShippedMilestone(projectDir: string, runId: string, milestoneId: string): {
+    closed_count: number;
+    criterion_ids: string[];
+};
+/**
+ * Mint a criterion id: `<slug-of-text>-<rand>`. Reuses `slugFromOutcome` and a
+ * short random suffix so two criteria minted from the same text never collide.
+ *
+ * @param {string} text
+ * @returns {string}
+ */
+export function mintCriterionId(text: string): string;
+//# sourceMappingURL=ledger.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ledger.d.mts","sourceRoot":"","sources":["../../../src/cli/produce/ledger.mjs"],"names":[],"mappings":"AAyBA;;;;;;;;;;;;;;;;;GAiBG;AACH,0CAXW,MAAM,SACN,MAAM,GACJ;IACR,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,KAAK,CAAC;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,CAAA;KAAE,CAAC,CAAC;IAChH,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAAC;IACxF,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B,CA4CH;AAED;;;;;;GAMG;AACH,gDAJW,MAAM,SACN,MAAM,GACJ,MAAM,CAIlB;AAED;;;;;;;;;;;GAWG;AACH,iDALW,MAAM,SACN,MAAM,uBACN;IAAE,cAAc,CAAC,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAerE;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,4CAZW,MAAM,SACN,MAAM,GACJ;IACR,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,KAAK,CAAC;QAAE,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACvH,mBAAmB,EAAE,OAAO,CAAC;IAC7B,WAAW,EAAE,OAAO,CAAC;IACrB,mBAAmB,EAAE,KAAK,CAAC;QAAE,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAAC;IAC3H,aAAa,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAAC;CACzF,CA6FH;AAED;;;;;;;;;;;;GAYG;AACH,6DALW,MAAM,SACN,MAAM,eACN,MAAM,GACJ;IAAE,YAAY,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,EAAE,CAAA;CAAE,CAe7D;AAED;;;;;;GAMG;AACH,sCAHW,MAAM,GACJ,MAAM,CAIlB"}

package/dist/cli/produce/ledger.mjs

@@ -0,0 +1,272 @@
+/**
+ * @internal
+ * produce/ledger.mjs — the acceptance-criteria ledger + Lyapunov math (M3).
+ *
+ * V (the Lyapunov function) = open acceptance criteria = declared − closed,
+ * folded from the append-only log on every read (ID-M3-01 / ID-M3-02). Each
+ * criterion is a `produce.criteria.declared` event bound to a milestone; it
+ * closes via `produce.criteria.closed`. `produce.scope.changed` is the ONLY
+ * sanctioned way V may rise after the run has begun closing criteria (ID-M3-04).
+ *
+ * This module is a SEPARATE fold parallel to `projection.mjs` — the roadmap
+ * projection still folds `produce.roadmap.*` ONLY, so criteria/scope events
+ * never enter the roadmap the Showrunner re-reads (the M1/M2 blindness invariant
+ * is preserved). It reads ONLY the event log through `events.mjs` (no `node:`
+ * beyond what events.mjs already uses) and holds NO model id (it is pure math).
+ */
+import { appendProduceEvent, readProduceRunEventsMatching } from './events.mjs';
+import { slugFromOutcome } from './run-id.mjs';
+/** The op-match for the criteria + scope ledger fold (never `produce.roadmap.*`). */
+function isLedgerOp(op) {
+    return op.startsWith('produce.criteria.') || op === 'produce.scope.changed';
+}
+/**
+ * Fold the run's acceptance-criteria ledger from the append-only log. A
+ * `produce.criteria.declared` seeds an OPEN criterion (in first-seen order); a
+ * `produce.criteria.closed` advances it to `closed`; `produce.scope.changed` is
+ * recorded on the scope-change trail. Deterministic — two folds of the same log
+ * yield the identical ledger; `updated_at` is the last folded event's timestamp.
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @returns {{
+ *   run_id: string,
+ *   criteria: Array<{ criterion_id: string, milestone_id: string | null, text: string, status: 'open' | 'closed' }>,
+ *   open_count: number,
+ *   closed_count: number,
+ *   scope_changes: Array<{ reason: string, milestone_id: string | null, t: string | null }>,
+ *   updated_at: string | null,
+ * }}
+ */
+export function projectLedger(projectDir, runId) {
+    const events = readProduceRunEventsMatching(projectDir, runId, isLedgerOp);
+    const byId = new Map();
+    const order = [];
+    const scopeChanges = [];
+    let updatedAt = null;
+    for (const e of events) {
+        const d = e.data || {};
+        if (e.op === 'produce.criteria.declared') {
+            const cid = typeof d.criterion_id === 'string' ? d.criterion_id : null;
+            if (cid && !byId.has(cid)) {
+                byId.set(cid, {
+                    criterion_id: cid,
+                    milestone_id: typeof d.milestone_id === 'string' ? d.milestone_id : null,
+                    text: typeof d.text === 'string' ? d.text : '',
+                    status: 'open',
+                });
+                order.push(cid);
+            }
+        }
+        else if (e.op === 'produce.criteria.closed') {
+            const cid = typeof d.criterion_id === 'string' ? d.criterion_id : null;
+            if (cid && byId.has(cid))
+                byId.get(cid).status = 'closed';
+        }
+        else if (e.op === 'produce.scope.changed') {
+            scopeChanges.push({
+                reason: typeof d.reason === 'string' ? d.reason : '',
+                milestone_id: typeof d.milestone_id === 'string' ? d.milestone_id : null,
+                t: typeof e.t === 'string' ? e.t : null,
+            });
+        }
+        if (typeof e.t === 'string')
+            updatedAt = e.t;
+    }
+    const criteria = order.map((cid) => byId.get(cid));
+    return {
+        run_id: runId,
+        criteria,
+        open_count: criteria.filter((c) => c.status === 'open').length,
+        closed_count: criteria.filter((c) => c.status === 'closed').length,
+        scope_changes: scopeChanges,
+        updated_at: updatedAt,
+    };
+}
+/**
+ * V = open acceptance criteria = declared − closed, folded from the log.
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @returns {number}
+ */
+export function computeOpenCriteria(projectDir, runId) {
+    return projectLedger(projectDir, runId).open_count;
+}
+/**
+ * The write-time anti-windup guard (ID-M3-03). `declare-criteria` raises V; it is
+ * REJECTED when the run is IN DESCENT (≥1 `produce.criteria.closed` already
+ * logged) AND no scope-change is supplied. Before descent, declaration is FREE
+ * (the baseline scope-definition window). This is the ONLY hard Lyapunov
+ * enforcement and it is fail-closed.
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @param {{ hasScopeChange?: boolean }} [opts]
+ * @returns {{ allowed: boolean, reason: string, in_descent: boolean }}
+ */
+export function evaluateDeclareGuard(projectDir, runId, { hasScopeChange = false } = {}) {
+    const closes = readProduceRunEventsMatching(projectDir, runId, (op) => op === 'produce.criteria.closed');
+    const inDescent = closes.length > 0;
+    const allowed = !inDescent || !!hasScopeChange;
+    let reason;
+    if (!allowed)
+        reason = 'in_descent_no_scope_change';
+    else if (!inDescent)
+        reason = 'baseline_window';
+    else
+        reason = 'scope_change';
+    return { allowed, reason, in_descent: inDescent };
+}
+/**
+ * Compute the monotone-progress report (ID-M3-02 / AC6). Folds ALL of
+ * `produce.criteria.*` + `produce.scope.changed` +
+ * `produce.roadmap.milestone_status_changed` in append order, maintaining the
+ * running V. Every `milestone_status_changed{status:'done'}` is a checkpoint: it
+ * captures `v_before`, then consumes the contiguous run of `criteria.closed`
+ * events that ship triggered (appended immediately after the done event) to
+ * capture `v_after`. `delta = v_after − v_before` (≤ 0). The series is STRICTLY
+ * DECREASING iff every ship checkpoint had `delta < 0`; a flat ship (delta === 0)
+ * is a soft STALL, not a hard violation.
+ *
+ * Read-time defense (ID-M3-03): a `produce.criteria.declared` that raised V
+ * AFTER descent WITHOUT an accompanying (immediately-preceding)
+ * `produce.scope.changed` is a HARD `lyapunov_violation`. `progress` FLAGS — it
+ * never rejects (the rejection is the write-time guard).
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @returns {{
+ *   run_id: string,
+ *   v_open_now: number,
+ *   v_series: Array<{ milestone_id: string | null, v_before: number, v_after: number, delta: number, decreased: boolean }>,
+ *   strictly_decreasing: boolean,
+ *   lyapunov_ok: boolean,
+ *   lyapunov_violations: Array<{ criterion_id: string | null, milestone_id: string | null, reason: string, t: string | null }>,
+ *   scope_changes: Array<{ reason: string, milestone_id: string | null, t: string | null }>,
+ * }}
+ */
+export function computeProgress(projectDir, runId) {
+    const events = readProduceRunEventsMatching(projectDir, runId, (op) => op.startsWith('produce.criteria.') ||
+        op === 'produce.scope.changed' ||
+        op === 'produce.roadmap.milestone_status_changed');
+    const status = new Map();
+    let v = 0;
+    let inDescent = false;
+    const vSeries = [];
+    const violations = [];
+    const scopeChanges = [];
+    /** Apply a `criteria.closed` payload to V (idempotent; sets inDescent). */
+    const applyClose = (d) => {
+        const cid = typeof d.criterion_id === 'string' ? d.criterion_id : null;
+        if (cid && status.get(cid) === 'open') {
+            status.set(cid, 'closed');
+            v -= 1;
+        }
+        else if (cid && !status.has(cid)) {
+            // Close of a never-declared criterion — record the state, no V change.
+            status.set(cid, 'closed');
+        }
+        inDescent = true;
+    };
+    for (let i = 0; i < events.length; i++) {
+        const e = events[i];
+        const d = e.data || {};
+        if (e.op === 'produce.criteria.declared') {
+            if (inDescent) {
+                const prev = i > 0 ? events[i - 1] : null;
+                const accompanied = !!prev && prev.op === 'produce.scope.changed';
+                if (!accompanied) {
+                    violations.push({
+                        criterion_id: typeof d.criterion_id === 'string' ? d.criterion_id : null,
+                        milestone_id: typeof d.milestone_id === 'string' ? d.milestone_id : null,
+                        reason: 'declared_after_descent_without_scope_change',
+                        t: typeof e.t === 'string' ? e.t : null,
+                    });
+                }
+            }
+            const cid = typeof d.criterion_id === 'string' ? d.criterion_id : null;
+            if (cid && !status.has(cid)) {
+                status.set(cid, 'open');
+                v += 1;
+            }
+        }
+        else if (e.op === 'produce.criteria.closed') {
+            applyClose(d);
+        }
+        else if (e.op === 'produce.scope.changed') {
+            scopeChanges.push({
+                reason: typeof d.reason === 'string' ? d.reason : '',
+                milestone_id: typeof d.milestone_id === 'string' ? d.milestone_id : null,
+                t: typeof e.t === 'string' ? e.t : null,
+            });
+        }
+        else if (e.op === 'produce.roadmap.milestone_status_changed' && d.status === 'done') {
+            const vBefore = v;
+            // Consume the contiguous run of criteria.closed this ship triggered
+            // (the real flow appends them immediately after the done event).
+            let j = i + 1;
+            while (j < events.length && events[j].op === 'produce.criteria.closed') {
+                applyClose(events[j].data || {});
+                j++;
+            }
+            i = j - 1;
+            const vAfter = v;
+            const delta = vAfter - vBefore;
+            vSeries.push({
+                milestone_id: typeof d.milestone_id === 'string' ? d.milestone_id : null,
+                v_before: vBefore,
+                v_after: vAfter,
+                delta,
+                decreased: delta < 0,
+            });
+        }
+    }
+    return {
+        run_id: runId,
+        v_open_now: v,
+        v_series: vSeries,
+        strictly_decreasing: vSeries.every((s) => s.delta < 0),
+        lyapunov_ok: violations.length === 0,
+        lyapunov_violations: violations,
+        scope_changes: scopeChanges,
+    };
+}
+/**
+ * Close a shipped milestone's still-open acceptance criteria — the CONSEQUENCE
+ * of a milestone flipping to `done` (ID-M3-05, wired additively in
+ * `cmdSetMilestoneDone`). Folds the ledger, finds the milestone's OPEN criteria,
+ * and appends one `produce.criteria.closed` per criterion so V strictly
+ * decreases. Idempotent — an already-closed (or criteria-less) milestone appends
+ * nothing (`closed_count: 0`), so a criteria-less ship is byte-identical to M2.
+ *
+ * @param {string} projectDir
+ * @param {string} runId
+ * @param {string} milestoneId
+ * @returns {{ closed_count: number, criterion_ids: string[] }}
+ */
+export function closeCriteriaForShippedMilestone(projectDir, runId, milestoneId) {
+    const ledger = projectLedger(projectDir, runId);
+    const open = ledger.criteria.filter((c) => c.milestone_id === milestoneId && c.status === 'open');
+    const criterionIds = [];
+    for (const c of open) {
+        appendProduceEvent(projectDir, 'produce.criteria.closed', {
+            run_id: runId,
+            milestone_id: milestoneId,
+            criterion_id: c.criterion_id,
+        });
+        criterionIds.push(c.criterion_id);
+    }
+    return { closed_count: criterionIds.length, criterion_ids: criterionIds };
+}
+/**
+ * Mint a criterion id: `<slug-of-text>-<rand>`. Reuses `slugFromOutcome` and a
+ * short random suffix so two criteria minted from the same text never collide.
+ *
+ * @param {string} text
+ * @returns {string}
+ */
+export function mintCriterionId(text) {
+    return `${slugFromOutcome(text)}-${Math.random().toString(36).slice(2, 8)}`;
+}
+//# sourceMappingURL=ledger.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ledger.mjs","sourceRoot":"","sources":["../../../src/cli/produce/ledger.mjs"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,kBAAkB,EAAE,4BAA4B,EAAE,MAAM,cAAc,CAAA;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAE9C,qFAAqF;AACrF,SAAS,UAAU,CAAC,EAAE;IACrB,OAAO,EAAE,CAAC,UAAU,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,uBAAuB,CAAA;AAC5E,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,aAAa,CAAC,UAAU,EAAE,KAAK;IAC9C,MAAM,MAAM,GAAG,4BAA4B,CAAC,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC,CAAA;IAC1E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAE,CAAA;IACtB,MAAM,KAAK,GAAG,EAAE,CAAA;IAChB,MAAM,YAAY,GAAG,EAAE,CAAA;IACvB,IAAI,SAAS,GAAG,IAAI,CAAA;IAEpB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAA;QACtB,IAAI,CAAC,CAAC,EAAE,KAAK,2BAA2B,EAAE,CAAC;YAC1C,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAA;YACtE,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3B,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE;oBACb,YAAY,EAAE,GAAG;oBACjB,YAAY,EAAE,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI;oBACxE,IAAI,EAAE,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;oBAC9C,MAAM,EAAE,MAAM;iBACd,CAAC,CAAA;gBACF,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAChB,CAAC;QACF,CAAC;aAAM,IAAI,CAAC,CAAC,EAAE,KAAK,yBAAyB,EAAE,CAAC;YAC/C,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAA;YACtE,IAAI,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,QAAQ,CAAA;QAC1D,CAAC;aAAM,IAAI,CAAC,CAAC,EAAE,KAAK,uBAAuB,EAAE,CAAC;YAC7C,YAAY,CAAC,IAAI,CAAC;gBACjB,MAAM,EAAE,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;gBACpD,YAAY,EAAE,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI;gBACxE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;aACvC,CAAC,CAAA;QACH,CAAC;QACD,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ;YAAE,SAAS,GAAG,CAAC,CAAC,CAAC,CAAA;IAC7C,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;IAClD,OAAO;QACN,MAAM,EAAE,KAAK;QACb,QAAQ;QACR,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM;QAC9D,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM;QAClE,aAAa,EAAE,YAAY;QAC3B,UAAU,EAAE,SAAS;KACrB,CAAA;AACF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAAU,EAAE,KAAK;IACpD,OAAO,aAAa,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,UAAU,CAAA;AACnD,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE,cAAc,GAAG,KAAK,EAAE,GAAG,EAAE;IACtF,MAAM,MAAM,GAAG,4BAA4B,CAC1C,UAAU,EACV,KAAK,EACL,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,yBAAyB,CACxC,CAAA;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAA;IACnC,MAAM,OAAO,GAAG,CAAC,SAAS,IAAI,CAAC,CAAC,cAAc,CAAA;IAC9C,IAAI,MAAM,CAAA;IACV,IAAI,CAAC,OAAO;QAAE,MAAM,GAAG,4BAA4B,CAAA;SAC9C,IAAI,CAAC,SAAS;QAAE,MAAM,GAAG,iBAAiB,CAAA;;QAC1C,MAAM,GAAG,cAAc,CAAA;IAC5B,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,CAAA;AAClD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,eAAe,CAAC,UAAU,EAAE,KAAK;IAChD,MAAM,MAAM,GAAG,4BAA4B,CAC1C,UAAU,EACV,KAAK,EACL,CAAC,EAAE,EAAE,EAAE,CACN,EAAE,CAAC,UAAU,CAAC,mBAAmB,CAAC;QAClC,EAAE,KAAK,uBAAuB;QAC9B,EAAE,KAAK,0CAA0C,CAClD,CAAA;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAE,CAAA;IACxB,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,IAAI,SAAS,GAAG,KAAK,CAAA;IACrB,MAAM,OAAO,GAAG,EAAE,CAAA;IAClB,MAAM,UAAU,GAAG,EAAE,CAAA;IACrB,MAAM,YAAY,GAAG,EAAE,CAAA;IAEvB,2EAA2E;IAC3E,MAAM,UAAU,GAAG,CAAC,CAAC,EAAE,EAAE;QACxB,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAA;QACtE,IAAI,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,MAAM,EAAE,CAAC;YACvC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;YACzB,CAAC,IAAI,CAAC,CAAA;QACP,CAAC;aAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACpC,uEAAuE;YACvE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;QAC1B,CAAC;QACD,SAAS,GAAG,IAAI,CAAA;IACjB,CAAC,CAAA;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;QACnB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAA;QAEtB,IAAI,CAAC,CAAC,EAAE,KAAK,2BAA2B,EAAE,CAAC;YAC1C,IAAI,SAAS,EAAE,CAAC;gBACf,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;gBACzC,MAAM,WAAW,GAAG,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,KAAK,uBAAuB,CAAA;gBACjE,IAAI,CAAC,WAAW,EAAE,CAAC;oBAClB,UAAU,CAAC,IAAI,CAAC;wBACf,YAAY,EAAE,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI;wBACxE,YAAY,EAAE,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI;wBACxE,MAAM,EAAE,6CAA6C;wBACrD,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;qBACvC,CAAC,CAAA;gBACH,CAAC;YACF,CAAC;YACD,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAA;YACtE,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;gBACvB,CAAC,IAAI,CAAC,CAAA;YACP,CAAC;QACF,CAAC;aAAM,IAAI,CAAC,CAAC,EAAE,KAAK,yBAAyB,EAAE,CAAC;YAC/C,UAAU,CAAC,CAAC,CAAC,CAAA;QACd,CAAC;aAAM,IAAI,CAAC,CAAC,EAAE,KAAK,uBAAuB,EAAE,CAAC;YAC7C,YAAY,CAAC,IAAI,CAAC;gBACjB,MAAM,EAAE,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;gBACpD,YAAY,EAAE,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI;gBACxE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;aACvC,CAAC,CAAA;QACH,CAAC;aAAM,IAAI,CAAC,CAAC,EAAE,KAAK,0CAA0C,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YACvF,MAAM,OAAO,GAAG,CAAC,CAAA;YACjB,oEAAoE;YACpE,iEAAiE;YACjE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACb,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,yBAAyB,EAAE,CAAC;gBACxE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAA;gBAChC,CAAC,EAAE,CAAA;YACJ,CAAC;YACD,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACT,MAAM,MAAM,GAAG,CAAC,CAAA;YAChB,MAAM,KAAK,GAAG,MAAM,GAAG,OAAO,CAAA;YAC9B,OAAO,CAAC,IAAI,CAAC;gBACZ,YAAY,EAAE,OAAO,CAAC,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI;gBACxE,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,MAAM;gBACf,KAAK;gBACL,SAAS,EAAE,KAAK,GAAG,CAAC;aACpB,CAAC,CAAA;QACH,CAAC;IACF,CAAC;IAED,OAAO;QACN,MAAM,EAAE,KAAK;QACb,UAAU,EAAE,CAAC;QACb,QAAQ,EAAE,OAAO;QACjB,mBAAmB,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;QACtD,WAAW,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;QACpC,mBAAmB,EAAE,UAAU;QAC/B,aAAa,EAAE,YAAY;KAC3B,CAAA;AACF,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,gCAAgC,CAAC,UAAU,EAAE,KAAK,EAAE,WAAW;IAC9E,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;IAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAA;IACjG,MAAM,YAAY,GAAG,EAAE,CAAA;IACvB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACtB,kBAAkB,CAAC,UAAU,EAAE,yBAAyB,EAAE;YACzD,MAAM,EAAE,KAAK;YACb,YAAY,EAAE,WAAW;YACzB,YAAY,EAAE,CAAC,CAAC,YAAY;SAC5B,CAAC,CAAA;QACF,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAA;IAClC,CAAC;IACD,OAAO,EAAE,YAAY,EAAE,YAAY,CAAC,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,CAAA;AAC1E,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,IAAI;IACnC,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAA;AAC5E,CAAC"}

package/dist/cli/produce/probe-family.d.mts

@@ -0,0 +1,53 @@
+/**
+ * Normalize a provider/CLI family alias to one of KNOWN_FAMILIES. Returns null
+ * for an unrecognized family so it is excluded from selection (fail-closed).
+ *
+ * @param {unknown} family
+ * @returns {string | null}
+ */
+export function normalizeFamily(family: unknown): string | null;
+/**
+ * Resolve the probe/oracle family + LIVE model for a produce run.
+ *
+ * @param {{
+ *   implementerFamily: string,
+ *   hostFamily?: string | null,
+ *   availableFamilies?: string[],
+ *   codexDeps?: { home: string, existsSync: (p: string) => boolean, readFileSync: (p: string, enc: string) => string },
+ * }} args
+ * @returns {{
+ *   available: boolean,
+ *   probe_family: string | null,
+ *   transport_hint: { prefer_self_resolving: boolean, recommended_walk: string[] } | null,
+ *   model: string | null,
+ *   source: string | null,
+ *   reason: string | null,
+ * }}
+ */
+export function resolveProbeFamily({ implementerFamily, hostFamily, availableFamilies, codexDeps, }?: {
+    implementerFamily: string;
+    hostFamily?: string | null;
+    availableFamilies?: string[];
+    codexDeps?: {
+        home: string;
+        existsSync: (p: string) => boolean;
+        readFileSync: (p: string, enc: string) => string;
+    };
+}): {
+    available: boolean;
+    probe_family: string | null;
+    transport_hint: {
+        prefer_self_resolving: boolean;
+        recommended_walk: string[];
+    } | null;
+    model: string | null;
+    source: string | null;
+    reason: string | null;
+};
+/**
+ * The provider families M2 selects across — the same three apt:spar supports.
+ * Ordered for a deterministic tiebreak when the partner-map default is not in
+ * the available pool.
+ */
+export const KNOWN_FAMILIES: string[];
+//# sourceMappingURL=probe-family.d.mts.map

package/dist/cli/produce/probe-family.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"probe-family.d.mts","sourceRoot":"","sources":["../../../src/cli/produce/probe-family.mjs"],"names":[],"mappings":"AA6CA;;;;;;GAMG;AACH,wCAHW,OAAO,GACL,MAAM,GAAG,IAAI,CASzB;AA8BD;;;;;;;;;;;;;;;;;GAiBG;AACH,sGAfW;IACN,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,SAAS,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC;QAAC,YAAY,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,MAAM,CAAA;KAAE,CAAC;CACpH,GACS;IACR,SAAS,EAAE,OAAO,CAAC;IACnB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,cAAc,EAAE;QAAE,qBAAqB,EAAE,OAAO,CAAC;QAAC,gBAAgB,EAAE,MAAM,EAAE,CAAA;KAAE,GAAG,IAAI,CAAC;IACtF,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB,CA8DH;AA5ID;;;;GAIG;AACH,sCAA2D"}

package/dist/cli/produce/probe-family.mjs

@@ -0,0 +1,160 @@
+/**
+ * @internal
+ * produce/probe-family.mjs — resolve a probe/oracle provider family DISJOINT
+ * from the implementer's, reusing the apt-spar cross-family mechanism (M2,
+ * ID-M2-01).
+ *
+ * The framework already selects + dispatches a different provider family in
+ * `apt:spar`: `host-detect` returns the current family, a partner-map picks a
+ * different one, and `spar-resolve-partner` resolves the partner's model LIVE
+ * from the user's own CLI config with ZERO baked default. M2 does NOT invent a
+ * second cross-family path — this module consumes the SAME `resolveCodexSparModel`
+ * primitive + the same partner-map shape and adds exactly ONE new rule: the
+ * resolved probe/oracle family must be DISJOINT from the *implementer* family
+ * (not merely "≠ host").
+ *
+ * Provider is an OUTPUT of selection; Aperant NEVER holds a model id (CLAUDE.md
+ * resolver rule / ID-M2-07). For codex the live model comes from
+ * `~/.codex/config.toml`; claude / gemini self-resolve (`model: null`). A
+ * setup where no disjoint family exists (host = implementer = only CLI) returns
+ * `available: false` fail-closed — a single-family setup cannot satisfy the
+ * cross-family rule by design.
+ */
+import { existsSync, readFileSync } from 'node:fs';
+import { homedir } from 'node:os';
+import { resolveCodexSparModel } from '../host/codex-config.mjs';
+/**
+ * The provider families M2 selects across — the same three apt:spar supports.
+ * Ordered for a deterministic tiebreak when the partner-map default is not in
+ * the available pool.
+ */
+export const KNOWN_FAMILIES = ['claude', 'codex', 'gemini'];
+/**
+ * The apt-spar §3 partner-map shape: each family's natural cross-family partner.
+ * Consulted as a PREFERENCE only — the disjoint + available + non-host rules
+ * decide the final pick; this just orders ties the way spar does.
+ */
+const PARTNER_MAP = {
+    claude: 'codex',
+    codex: 'claude',
+    gemini: 'codex',
+};
+/**
+ * Normalize a provider/CLI family alias to one of KNOWN_FAMILIES. Returns null
+ * for an unrecognized family so it is excluded from selection (fail-closed).
+ *
+ * @param {unknown} family
+ * @returns {string | null}
+ */
+export function normalizeFamily(family) {
+    if (typeof family !== 'string')
+        return null;
+    const f = family.trim().toLowerCase();
+    if (f === 'claude' || f === 'claude-code' || f === 'anthropic')
+        return 'claude';
+    if (f === 'codex' || f === 'openai' || f === 'gpt')
+        return 'codex';
+    if (f === 'gemini' || f === 'google')
+        return 'gemini';
+    return null;
+}
+/**
+ * Pick the probe/oracle family: disjoint from the implementer (the ONE new
+ * rule), preferring a family that is ALSO not the host (a genuine third party),
+ * then honoring the apt-spar partner-map default, then a deterministic order.
+ *
+ * @param {string} implementerFamily — normalized implementer family.
+ * @param {string | null} hostFamily — normalized host family (or null).
+ * @param {string[]} normalizedAvailable — normalized available families.
+ * @returns {{ family: string | null, reason: string | null }}
+ */
+function pickProbeFamily(implementerFamily, hostFamily, normalizedAvailable) {
+    // The ONE new constraint over apt-spar: DISJOINT from the implementer.
+    const disjoint = normalizedAvailable.filter((f) => f !== implementerFamily);
+    if (disjoint.length === 0)
+        return { family: null, reason: 'no_disjoint_family' };
+    // Prefer a disjoint family that is ALSO not the host — a genuine third-party
+    // reviewer. Fall back to a disjoint-but-host family only if that is all
+    // that's available (still satisfies the cross-family rule, which is about the
+    // implementer, not the host).
+    const nonHost = disjoint.filter((f) => f !== hostFamily);
+    const pool = nonHost.length > 0 ? nonHost : disjoint;
+    // Honor the partner-map default when it is in the pool (apt-spar §3 shape).
+    const preferred = PARTNER_MAP[implementerFamily];
+    if (preferred && pool.includes(preferred))
+        return { family: preferred, reason: null };
+    // Deterministic tiebreak: first in KNOWN_FAMILIES order present in the pool.
+    const ordered = KNOWN_FAMILIES.filter((f) => pool.includes(f));
+    return { family: ordered[0] ?? pool[0], reason: null };
+}
+/**
+ * Resolve the probe/oracle family + LIVE model for a produce run.
+ *
+ * @param {{
+ *   implementerFamily: string,
+ *   hostFamily?: string | null,
+ *   availableFamilies?: string[],
+ *   codexDeps?: { home: string, existsSync: (p: string) => boolean, readFileSync: (p: string, enc: string) => string },
+ * }} args
+ * @returns {{
+ *   available: boolean,
+ *   probe_family: string | null,
+ *   transport_hint: { prefer_self_resolving: boolean, recommended_walk: string[] } | null,
+ *   model: string | null,
+ *   source: string | null,
+ *   reason: string | null,
+ * }}
+ */
+export function resolveProbeFamily({ implementerFamily, hostFamily = null, availableFamilies = KNOWN_FAMILIES, codexDeps, } = {}) {
+    const implementer = normalizeFamily(implementerFamily);
+    if (!implementer) {
+        return {
+            available: false,
+            probe_family: null,
+            transport_hint: null,
+            model: null,
+            source: null,
+            reason: 'unknown_implementer_family',
+        };
+    }
+    const host = normalizeFamily(hostFamily);
+    const normalizedAvailable = [...new Set(availableFamilies.map(normalizeFamily).filter(Boolean))];
+    const { family, reason } = pickProbeFamily(implementer, host, normalizedAvailable);
+    if (!family) {
+        return {
+            available: false,
+            probe_family: null,
+            transport_hint: null,
+            model: null,
+            source: null,
+            reason: reason ?? 'no_disjoint_family',
+        };
+    }
+    // Resolve the model LIVE via the reused spar primitive (provider-is-output,
+    // zero baked id). codex reads ~/.codex/config.toml; claude/gemini self-resolve.
+    if (family === 'codex') {
+        const deps = codexDeps ?? { home: homedir(), existsSync, readFileSync };
+        const res = resolveCodexSparModel(deps);
+        return {
+            available: true,
+            probe_family: 'codex',
+            transport_hint: { prefer_self_resolving: true, recommended_walk: ['plugin', 'cli', 'mcp'] },
+            model: res.model,
+            source: res.source,
+            // A codex model that fails to resolve from config does NOT make the
+            // probe family unavailable — the self-resolving plugin/CLI rungs still
+            // run without a named model. Surface the model-resolution reason.
+            reason: res.reason,
+        };
+    }
+    // claude / gemini MCP rungs take only {prompt} — no model, no staleness vector.
+    return {
+        available: true,
+        probe_family: family,
+        transport_hint: { prefer_self_resolving: false, recommended_walk: ['mcp', 'plugin', 'cli'] },
+        model: null,
+        source: null,
+        reason: 'self_resolving',
+    };
+}
+//# sourceMappingURL=probe-family.mjs.map

package/dist/cli/produce/probe-family.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"probe-family.mjs","sourceRoot":"","sources":["../../../src/cli/produce/probe-family.mjs"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAA;AAEhE;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;AAE3D;;;;GAIG;AACH,MAAM,WAAW,GAAG;IACnB,MAAM,EAAE,OAAO;IACf,KAAK,EAAE,QAAQ;IACf,MAAM,EAAE,OAAO;CACf,CAAA;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,MAAM;IACrC,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;IACrC,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,aAAa,IAAI,CAAC,KAAK,WAAW;QAAE,OAAO,QAAQ,CAAA;IAC/E,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,KAAK;QAAE,OAAO,OAAO,CAAA;IAClE,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAA;IACrD,OAAO,IAAI,CAAA;AACZ,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,eAAe,CAAC,iBAAiB,EAAE,UAAU,EAAE,mBAAmB;IAC1E,uEAAuE;IACvE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,iBAAiB,CAAC,CAAA;IAC3E,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAA;IAChF,6EAA6E;IAC7E,wEAAwE;IACxE,8EAA8E;IAC9E,8BAA8B;IAC9B,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAA;IACxD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAA;IACpD,4EAA4E;IAC5E,MAAM,SAAS,GAAG,WAAW,CAAC,iBAAiB,CAAC,CAAA;IAChD,IAAI,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;IACrF,6EAA6E;IAC7E,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9D,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;AACvD,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,kBAAkB,CAAC,EAClC,iBAAiB,EACjB,UAAU,GAAG,IAAI,EACjB,iBAAiB,GAAG,cAAc,EAClC,SAAS,GACT,GAAG,EAAE;IACL,MAAM,WAAW,GAAG,eAAe,CAAC,iBAAiB,CAAC,CAAA;IACtD,IAAI,CAAC,WAAW,EAAE,CAAC;QAClB,OAAO;YACN,SAAS,EAAE,KAAK;YAChB,YAAY,EAAE,IAAI;YAClB,cAAc,EAAE,IAAI;YACpB,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,IAAI;YACZ,MAAM,EAAE,4BAA4B;SACpC,CAAA;IACF,CAAC;IAED,MAAM,IAAI,GAAG,eAAe,CAAC,UAAU,CAAC,CAAA;IACxC,MAAM,mBAAmB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IAEhG,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,EAAE,mBAAmB,CAAC,CAAA;IAClF,IAAI,CAAC,MAAM,EAAE,CAAC;QACb,OAAO;YACN,SAAS,EAAE,KAAK;YAChB,YAAY,EAAE,IAAI;YAClB,cAAc,EAAE,IAAI;YACpB,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,IAAI;YACZ,MAAM,EAAE,MAAM,IAAI,oBAAoB;SACtC,CAAA;IACF,CAAC;IAED,4EAA4E;IAC5E,gFAAgF;IAChF,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,SAAS,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,UAAU,EAAE,YAAY,EAAE,CAAA;QACvE,MAAM,GAAG,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAA;QACvC,OAAO;YACN,SAAS,EAAE,IAAI;YACf,YAAY,EAAE,OAAO;YACrB,cAAc,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE;YAC3F,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,oEAAoE;YACpE,uEAAuE;YACvE,kEAAkE;YAClE,MAAM,EAAE,GAAG,CAAC,MAAM;SAClB,CAAA;IACF,CAAC;IAED,gFAAgF;IAChF,OAAO;QACN,SAAS,EAAE,IAAI;QACf,YAAY,EAAE,MAAM;QACpB,cAAc,EAAE,EAAE,qBAAqB,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE;QAC5F,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,IAAI;QACZ,MAAM,EAAE,gBAAgB;KACxB,CAAA;AACF,CAAC"}