opensquid 0.5.395

package/dist/runtime/wedge/schedule_outcome.d.ts

@@ -0,0 +1,107 @@
+/**
+ * Two-stage wedge gate applied to schedule outcomes (SCHED.4).
+ *
+ * Authoritative source: `docs/tasks/scheduling.md` §"Task SCHED.4" +
+ * `docs/opensquid-real-design.md` §"Two-stage wedge gate" + the Phase 7
+ * capture/promote pattern (see `./capture.ts` + `./promote.ts`).
+ *
+ * What this module is:
+ *
+ *   - A new lesson type, `schedule_outcome`, that captures one (fire, signal)
+ *     pair per scheduled run. Each capture is Stage 1 — surfaced to the user
+ *     via the same Phase 7.2 buffer (`automation_buffer.ts`) under the
+ *     `potential-lessons` category. Nothing auto-promotes from Stage 1.
+ *
+ *   - A Stage 2 evaluator (`evaluateSchedulePromotion`) that reads the
+ *     append-only outcome log and recommends one of three actions based on
+ *     EXTERNAL user signals only:
+ *       * `promote`             → schedule has earned permanent status.
+ *       * `retire`              → schedule is doing harm; user should remove.
+ *       * `keep_probationary`   → not enough signal yet.
+ *
+ *   - A persistence helper (`applyScheduleVerdict`) that gates the status
+ *     change behind eviction-immunity: once a schedule is `permanent`, it
+ *     cannot auto-retire (matches `feedback_user_authored_lessons_immune`).
+ *     The recommend → status transition is intentionally a separate function
+ *     so the audit log can record (recommendation, applied?, reason) without
+ *     the evaluator making policy calls.
+ *
+ * Why a separate file (not extending promote.ts):
+ *
+ *   - `promote.ts` is a PURE function over `OutcomeSignal`. It has no I/O,
+ *     no clock, no filesystem. Schedule outcomes are inherently time-series
+ *     (N events over the lifetime of a schedule) and need persistence. Mixing
+ *     would muddy the audit grep for "no LLM call in promote.ts" — the audit
+ *     pattern is module-scoped.
+ *
+ *   - The new lesson type is additive in `types.ts`; the existing wedge gate
+ *     remains untouched. SCHED.4 reuses the Phase 7.2 buffer for Stage 1
+ *     capture but owns its own Stage 2 evaluator.
+ *
+ * Anti-self-grading invariant (the moat):
+ *
+ *   - This module MUST NOT call an LLM primitive. The decision inputs are
+ *     EXTERNAL: `userSignal.kind` ('redo' | 'approve' | 'manual_override').
+ *     `redo` is sourced from `full_stop_and_redo` (AUTO.4); `approve` from
+ *     the user's buffer walk; `manual_override` from explicit CLI.
+ *
+ *   - The schedule does NOT promote itself based on its own verdict counts.
+ *     `resultKind` (pass/block/warn/surface/error) is recorded for the audit
+ *     log but is NOT a promotion input — only the user signal is.
+ *
+ * Imports from: node:fs/promises, node:path, ../paths, ./automation_buffer,
+ *               ./capture, ./types.
+ * Imported by: src/runtime/wedge/index.ts, daemon dispatch path (SCHED.1 +
+ *              user signal hooks).
+ */
+export interface ScheduleOutcome {
+    scheduleId: string;
+    runId: string;
+    fireTime: string;
+    durationMs: number;
+    resultKind: 'pass' | 'block' | 'warn' | 'surface' | 'error';
+    userSignal?: {
+        kind: 'redo';
+        redoneAt: string;
+    } | {
+        kind: 'approve';
+        approvedAt: string;
+    } | {
+        kind: 'manual_override';
+        overriddenAt: string;
+        reason: string;
+    };
+}
+export interface ScheduleVerdict {
+    scheduleId: string;
+    status: 'probationary' | 'permanent' | 'retired';
+    runCount: number;
+    approvedCount: number;
+    redoCount: number;
+    manualOverrideCount: number;
+    recommend: 'promote' | 'retire' | 'keep_probationary';
+}
+export interface SchedulePromotionThreshold {
+    windowN: number;
+    minApproved: number;
+    minRedoRetire: number;
+}
+export declare const DEFAULT_SCHEDULE_THRESHOLD: SchedulePromotionThreshold;
+export declare function scheduleOutcomeDir(sessionId: string): string;
+export declare function captureScheduleOutcome(sessionId: string, outcome: ScheduleOutcome): Promise<void>;
+export declare function evaluateSchedulePromotion(sessionId: string, scheduleId: string, threshold?: SchedulePromotionThreshold): Promise<ScheduleVerdict>;
+export interface ApplyVerdictOpts {
+    /** If true, force-apply even on eviction-immune statuses. ONLY set this
+     *  from a user-initiated path (CLI / cycle UI). Library code never sets
+     *  it. The flag exists so the helper has a single audit-able entry point;
+     *  user actions go through the same function as auto-recommendations but
+     *  are distinguishable in the audit log. */
+    userOverride?: boolean;
+}
+export interface ApplyVerdictResult {
+    applied: boolean;
+    newStatus: 'probationary' | 'permanent' | 'retired';
+    reason?: string;
+}
+export declare function applyScheduleVerdict(sessionId: string, verdict: ScheduleVerdict, opts?: ApplyVerdictOpts): Promise<ApplyVerdictResult>;
+//# sourceMappingURL=schedule_outcome.d.ts.map

package/dist/runtime/wedge/schedule_outcome.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schedule_outcome.d.ts","sourceRoot":"","sources":["../../../src/runtime/wedge/schedule_outcome.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AA2BH,MAAM,WAAW,eAAe;IAC9B,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;IAC5D,UAAU,CAAC,EACP;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,GAClC;QAAE,IAAI,EAAE,SAAS,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,GACvC;QAAE,IAAI,EAAE,iBAAiB,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CACvE;AAiBD,MAAM,WAAW,eAAe;IAC9B,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,cAAc,GAAG,WAAW,GAAG,SAAS,CAAC;IACjD,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,SAAS,EAAE,SAAS,GAAG,QAAQ,GAAG,mBAAmB,CAAC;CACvD;AAcD,MAAM,WAAW,0BAA0B;IACzC,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,eAAO,MAAM,0BAA0B,EAAE,0BAIxC,CAAC;AAgBF,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAE5D;AAyBD,wBAAsB,sBAAsB,CAC1C,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,eAAe,GACvB,OAAO,CAAC,IAAI,CAAC,CA8Bf;AAmCD,wBAAsB,yBAAyB,CAC7C,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,SAAS,GAAE,0BAAuD,GACjE,OAAO,CAAC,eAAe,CAAC,CAgC1B;AA2DD,MAAM,WAAW,gBAAgB;IAC/B;;;;gDAI4C;IAC5C,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,cAAc,GAAG,WAAW,GAAG,SAAS,CAAC;IACpD,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,wBAAsB,oBAAoB,CACxC,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,eAAe,EACxB,IAAI,GAAE,gBAAqB,GAC1B,OAAO,CAAC,kBAAkB,CAAC,CA0B7B"}

package/dist/runtime/wedge/schedule_outcome.js

@@ -0,0 +1,287 @@
+/**
+ * Two-stage wedge gate applied to schedule outcomes (SCHED.4).
+ *
+ * Authoritative source: `docs/tasks/scheduling.md` §"Task SCHED.4" +
+ * `docs/opensquid-real-design.md` §"Two-stage wedge gate" + the Phase 7
+ * capture/promote pattern (see `./capture.ts` + `./promote.ts`).
+ *
+ * What this module is:
+ *
+ *   - A new lesson type, `schedule_outcome`, that captures one (fire, signal)
+ *     pair per scheduled run. Each capture is Stage 1 — surfaced to the user
+ *     via the same Phase 7.2 buffer (`automation_buffer.ts`) under the
+ *     `potential-lessons` category. Nothing auto-promotes from Stage 1.
+ *
+ *   - A Stage 2 evaluator (`evaluateSchedulePromotion`) that reads the
+ *     append-only outcome log and recommends one of three actions based on
+ *     EXTERNAL user signals only:
+ *       * `promote`             → schedule has earned permanent status.
+ *       * `retire`              → schedule is doing harm; user should remove.
+ *       * `keep_probationary`   → not enough signal yet.
+ *
+ *   - A persistence helper (`applyScheduleVerdict`) that gates the status
+ *     change behind eviction-immunity: once a schedule is `permanent`, it
+ *     cannot auto-retire (matches `feedback_user_authored_lessons_immune`).
+ *     The recommend → status transition is intentionally a separate function
+ *     so the audit log can record (recommendation, applied?, reason) without
+ *     the evaluator making policy calls.
+ *
+ * Why a separate file (not extending promote.ts):
+ *
+ *   - `promote.ts` is a PURE function over `OutcomeSignal`. It has no I/O,
+ *     no clock, no filesystem. Schedule outcomes are inherently time-series
+ *     (N events over the lifetime of a schedule) and need persistence. Mixing
+ *     would muddy the audit grep for "no LLM call in promote.ts" — the audit
+ *     pattern is module-scoped.
+ *
+ *   - The new lesson type is additive in `types.ts`; the existing wedge gate
+ *     remains untouched. SCHED.4 reuses the Phase 7.2 buffer for Stage 1
+ *     capture but owns its own Stage 2 evaluator.
+ *
+ * Anti-self-grading invariant (the moat):
+ *
+ *   - This module MUST NOT call an LLM primitive. The decision inputs are
+ *     EXTERNAL: `userSignal.kind` ('redo' | 'approve' | 'manual_override').
+ *     `redo` is sourced from `full_stop_and_redo` (AUTO.4); `approve` from
+ *     the user's buffer walk; `manual_override` from explicit CLI.
+ *
+ *   - The schedule does NOT promote itself based on its own verdict counts.
+ *     `resultKind` (pass/block/warn/surface/error) is recorded for the audit
+ *     log but is NOT a promotion input — only the user signal is.
+ *
+ * Imports from: node:fs/promises, node:path, ../paths, ./automation_buffer,
+ *               ./capture, ./types.
+ * Imported by: src/runtime/wedge/index.ts, daemon dispatch path (SCHED.1 +
+ *              user signal hooks).
+ */
+import { appendFile, mkdir, readFile, writeFile } from 'node:fs/promises';
+import { join } from 'node:path';
+import { OPENSQUID_HOME } from '../paths.js';
+import { appendBufferEntry } from './automation_buffer.js';
+export const DEFAULT_SCHEDULE_THRESHOLD = {
+    windowN: 5,
+    minApproved: 4,
+    minRedoRetire: 3,
+};
+// ---------------------------------------------------------------------------
+// scheduleOutcomeDir — `<OPENSQUID_HOME>/sessions/<id>/scheduling/`.
+//
+// Each schedule owns two files inside:
+//   `<scheduleId>.jsonl`      — append-only outcome log (one line per
+//                                ScheduleOutcome).
+//   `<scheduleId>.status.json` — current status sentinel ({ status,
+//                                updatedAt, reason? }). Absent file means
+//                                "probationary by default" (new schedule).
+//
+// Both files are session-scoped because schedules live inside a session's
+// pack context. Cross-session schedule durability is DURABLE.1's concern.
+// ---------------------------------------------------------------------------
+export function scheduleOutcomeDir(sessionId) {
+    return join(OPENSQUID_HOME(), 'sessions', sessionId, 'scheduling');
+}
+function outcomeLogPath(sessionId, scheduleId) {
+    return join(scheduleOutcomeDir(sessionId), `${scheduleId}.jsonl`);
+}
+function statusPath(sessionId, scheduleId) {
+    return join(scheduleOutcomeDir(sessionId), `${scheduleId}.status.json`);
+}
+// ---------------------------------------------------------------------------
+// captureScheduleOutcome — Stage 1. Append to the outcome log AND surface as
+// a `potential-lessons` buffer entry so the user walks it at end-of-run.
+//
+// The two writes are independent on purpose:
+//   - The JSONL log is the SOURCE OF TRUTH for evaluation (Stage 2 reads it).
+//   - The buffer entry is the USER-FACING surface (the buffer walk shows it).
+//
+// If the buffer write fails (e.g. fs full), the JSONL append already
+// succeeded — the outcome is still recorded for audit + evaluation.
+//
+// Throws on missing required fields (no silent acceptance — same contract as
+// `capturePendingLesson`).
+// ---------------------------------------------------------------------------
+export async function captureScheduleOutcome(sessionId, outcome) {
+    if (!outcome.scheduleId)
+        throw new Error('captureScheduleOutcome: scheduleId required');
+    if (!outcome.runId)
+        throw new Error('captureScheduleOutcome: runId required');
+    if (Number.isNaN(Date.parse(outcome.fireTime))) {
+        throw new Error(`captureScheduleOutcome: fireTime not parseable: ${outcome.fireTime}`);
+    }
+    const dir = scheduleOutcomeDir(sessionId);
+    await mkdir(dir, { recursive: true });
+    // JSONL append — one line, atomic at the OS level for writes < PIPE_BUF
+    // (typically 4 KiB), well above a single ScheduleOutcome JSON blob.
+    const line = JSON.stringify(outcome) + '\n';
+    await appendFile(outcomeLogPath(sessionId, outcome.scheduleId), line, 'utf8');
+    // Stage 1 buffer entry — user walks this at end-of-run via the cycle UI.
+    // `proposedCategory: 'schedule_outcome'` records the lesson type even
+    // though the entry lives under `potential-lessons` (buffer categories are
+    // physical directories; lesson type is metadata).
+    await appendBufferEntry(sessionId, {
+        id: outcome.runId,
+        category: 'potential-lessons',
+        body: renderOutcomeBody(outcome),
+        frontmatter: {
+            timestamp: outcome.fireTime,
+            proposedCategory: 'schedule_outcome',
+            sourceContext: `schedule ${outcome.scheduleId} fired (${outcome.resultKind})`,
+            confidence: 0,
+        },
+    });
+}
+function renderOutcomeBody(o) {
+    const sig = o.userSignal === undefined
+        ? '(none — awaiting user signal)'
+        : o.userSignal.kind === 'manual_override'
+            ? `manual_override at ${o.userSignal.overriddenAt} — ${o.userSignal.reason}`
+            : o.userSignal.kind === 'approve'
+                ? `approve at ${o.userSignal.approvedAt}`
+                : `redo at ${o.userSignal.redoneAt}`;
+    return [
+        '## Schedule outcome',
+        '',
+        `- schedule: \`${o.scheduleId}\``,
+        `- runId: \`${o.runId}\``,
+        `- fireTime: ${o.fireTime}`,
+        `- durationMs: ${o.durationMs}`,
+        `- resultKind: ${o.resultKind}`,
+        `- userSignal: ${sig}`,
+        '',
+    ].join('\n');
+}
+// ---------------------------------------------------------------------------
+// evaluateSchedulePromotion — Stage 2. Reads the outcome log + current
+// status; returns a recommendation. PURE w.r.t. its inputs (status + log) —
+// does not mutate disk. `applyScheduleVerdict` is the writer.
+//
+// Window semantics: we look at the MOST RECENT `threshold.windowN` outcomes
+// that carry an `approve` or `redo` signal. `manual_override` and unsigned
+// entries are skipped from the approve/redo counts BUT are counted in the
+// runCount (which is the total of approve + redo + manual_override).
+// ---------------------------------------------------------------------------
+export async function evaluateSchedulePromotion(sessionId, scheduleId, threshold = DEFAULT_SCHEDULE_THRESHOLD) {
+    const status = await readStatus(sessionId, scheduleId);
+    const outcomes = await readOutcomes(sessionId, scheduleId);
+    // Most-recent-first; we want the trailing window.
+    const signaled = outcomes.filter((o) => o.userSignal !== undefined);
+    const window = signaled.slice(-threshold.windowN);
+    let approvedCount = 0;
+    let redoCount = 0;
+    let manualOverrideCount = 0;
+    let runCount = 0;
+    for (const o of window) {
+        runCount++;
+        const k = o.userSignal?.kind;
+        if (k === 'approve')
+            approvedCount++;
+        else if (k === 'redo')
+            redoCount++;
+        else if (k === 'manual_override')
+            manualOverrideCount++;
+    }
+    return {
+        scheduleId,
+        status,
+        runCount,
+        approvedCount,
+        redoCount,
+        manualOverrideCount,
+        recommend: decideRecommend({ runCount, approvedCount, redoCount, manualOverrideCount }, threshold),
+    };
+}
+// ---------------------------------------------------------------------------
+// decideRecommend — pure decision function.
+//
+// Precedence (locked per spec §"learn"):
+//
+//   1. `redoCount >= minRedoRetire` → `retire` (this schedule is doing harm).
+//      Independent of `approvedCount`: a schedule that pleased the user 100
+//      times but recently caused 3 redoes should be retired, regardless.
+//      This is the "harm-detection" gate.
+//
+//   2. `runCount >= windowN AND approvedCount >= minApproved AND
+//       redoCount === 0 AND manualOverrideCount === 0` → `promote`.
+//      Per spec test fixture: "4 approve + 1 manual_override →
+//      keep_probationary" — manual_override is signal-neutral toward retire
+//      (user explicitly chose NOT to retire) but BLOCKS promotion (user
+//      stepped in; promoting would be premature). This is a stricter
+//      reading than the spec's prose ("approvedCount >= 4 and redoCount ==
+//      0 → promote"); the test fixture takes precedence per the spec
+//      precedence rules.
+//
+//   3. otherwise → `keep_probationary`.
+// ---------------------------------------------------------------------------
+function decideRecommend(counts, threshold) {
+    if (counts.redoCount >= threshold.minRedoRetire)
+        return 'retire';
+    if (counts.runCount >= threshold.windowN &&
+        counts.approvedCount >= threshold.minApproved &&
+        counts.redoCount === 0 &&
+        counts.manualOverrideCount === 0) {
+        return 'promote';
+    }
+    return 'keep_probationary';
+}
+export async function applyScheduleVerdict(sessionId, verdict, opts = {}) {
+    const current = verdict.status;
+    const recommend = verdict.recommend;
+    if (recommend === 'promote' && current === 'probationary') {
+        await writeStatus(sessionId, verdict.scheduleId, 'permanent', 'auto-promoted');
+        return { applied: true, newStatus: 'permanent' };
+    }
+    if (recommend === 'retire') {
+        if (current === 'permanent' && !opts.userOverride) {
+            // Eviction-immune. Refuse, audit reason.
+            return {
+                applied: false,
+                newStatus: current,
+                reason: 'permanent schedule is eviction-immune (user-action-only retire)',
+            };
+        }
+        if (current !== 'retired') {
+            const reason = opts.userOverride ? 'user-retired' : 'auto-retired';
+            await writeStatus(sessionId, verdict.scheduleId, 'retired', reason);
+            return { applied: true, newStatus: 'retired' };
+        }
+    }
+    return { applied: false, newStatus: current };
+}
+// ---------------------------------------------------------------------------
+// Disk I/O helpers — kept private. Status file is JSON for human-readability
+// and quick CLI inspection; outcomes are JSONL for append efficiency.
+// ---------------------------------------------------------------------------
+async function readStatus(sessionId, scheduleId) {
+    try {
+        const raw = await readFile(statusPath(sessionId, scheduleId), 'utf8');
+        const parsed = JSON.parse(raw);
+        if (parsed.status === 'permanent' || parsed.status === 'retired')
+            return parsed.status;
+        return 'probationary';
+    }
+    catch (e) {
+        if (e.code === 'ENOENT')
+            return 'probationary';
+        throw e;
+    }
+}
+async function writeStatus(sessionId, scheduleId, status, reason) {
+    const dir = scheduleOutcomeDir(sessionId);
+    await mkdir(dir, { recursive: true });
+    const body = JSON.stringify({ status, updatedAt: new Date().toISOString(), reason }, null, 2);
+    await writeFile(statusPath(sessionId, scheduleId), body, 'utf8');
+}
+async function readOutcomes(sessionId, scheduleId) {
+    try {
+        const raw = await readFile(outcomeLogPath(sessionId, scheduleId), 'utf8');
+        return raw
+            .split('\n')
+            .filter((l) => l.length > 0)
+            .map((l) => JSON.parse(l));
+    }
+    catch (e) {
+        if (e.code === 'ENOENT')
+            return [];
+        throw e;
+    }
+}
+//# sourceMappingURL=schedule_outcome.js.map

package/dist/runtime/wedge/schedule_outcome.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schedule_outcome.js","sourceRoot":"","sources":["../../../src/runtime/wedge/schedule_outcome.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AAEH,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AA2E3D,MAAM,CAAC,MAAM,0BAA0B,GAA+B;IACpE,OAAO,EAAE,CAAC;IACV,WAAW,EAAE,CAAC;IACd,aAAa,EAAE,CAAC;CACjB,CAAC;AAEF,8EAA8E;AAC9E,qEAAqE;AACrE,EAAE;AACF,uCAAuC;AACvC,sEAAsE;AACtE,mDAAmD;AACnD,oEAAoE;AACpE,0EAA0E;AAC1E,2EAA2E;AAC3E,EAAE;AACF,0EAA0E;AAC1E,0EAA0E;AAC1E,8EAA8E;AAE9E,MAAM,UAAU,kBAAkB,CAAC,SAAiB;IAClD,OAAO,IAAI,CAAC,cAAc,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,cAAc,CAAC,SAAiB,EAAE,UAAkB;IAC3D,OAAO,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,GAAG,UAAU,QAAQ,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,UAAU,CAAC,SAAiB,EAAE,UAAkB;IACvD,OAAO,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,GAAG,UAAU,cAAc,CAAC,CAAC;AAC1E,CAAC;AAED,8EAA8E;AAC9E,6EAA6E;AAC7E,yEAAyE;AACzE,EAAE;AACF,6CAA6C;AAC7C,8EAA8E;AAC9E,8EAA8E;AAC9E,EAAE;AACF,qEAAqE;AACrE,oEAAoE;AACpE,EAAE;AACF,6EAA6E;AAC7E,2BAA2B;AAC3B,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,SAAiB,EACjB,OAAwB;IAExB,IAAI,CAAC,OAAO,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACxF,IAAI,CAAC,OAAO,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC9E,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CAAC,mDAAmD,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;IACzF,CAAC;IAED,MAAM,GAAG,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAEtC,wEAAwE;IACxE,oEAAoE;IACpE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC;IAC5C,MAAM,UAAU,CAAC,cAAc,CAAC,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAE9E,yEAAyE;IACzE,sEAAsE;IACtE,0EAA0E;IAC1E,kDAAkD;IAClD,MAAM,iBAAiB,CAAC,SAAS,EAAE;QACjC,EAAE,EAAE,OAAO,CAAC,KAAK;QACjB,QAAQ,EAAE,mBAAmB;QAC7B,IAAI,EAAE,iBAAiB,CAAC,OAAO,CAAC;QAChC,WAAW,EAAE;YACX,SAAS,EAAE,OAAO,CAAC,QAAQ;YAC3B,gBAAgB,EAAE,kBAAkB;YACpC,aAAa,EAAE,YAAY,OAAO,CAAC,UAAU,WAAW,OAAO,CAAC,UAAU,GAAG;YAC7E,UAAU,EAAE,CAAC;SACd;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,CAAkB;IAC3C,MAAM,GAAG,GACP,CAAC,CAAC,UAAU,KAAK,SAAS;QACxB,CAAC,CAAC,+BAA+B;QACjC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,iBAAiB;YACvC,CAAC,CAAC,sBAAsB,CAAC,CAAC,UAAU,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE;YAC5E,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS;gBAC/B,CAAC,CAAC,cAAc,CAAC,CAAC,UAAU,CAAC,UAAU,EAAE;gBACzC,CAAC,CAAC,WAAW,CAAC,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;IAC7C,OAAO;QACL,qBAAqB;QACrB,EAAE;QACF,iBAAiB,CAAC,CAAC,UAAU,IAAI;QACjC,cAAc,CAAC,CAAC,KAAK,IAAI;QACzB,eAAe,CAAC,CAAC,QAAQ,EAAE;QAC3B,iBAAiB,CAAC,CAAC,UAAU,EAAE;QAC/B,iBAAiB,CAAC,CAAC,UAAU,EAAE;QAC/B,iBAAiB,GAAG,EAAE;QACtB,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,8EAA8E;AAC9E,uEAAuE;AACvE,4EAA4E;AAC5E,8DAA8D;AAC9D,EAAE;AACF,4EAA4E;AAC5E,2EAA2E;AAC3E,0EAA0E;AAC1E,qEAAqE;AACrE,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,SAAiB,EACjB,UAAkB,EAClB,YAAwC,0BAA0B;IAElE,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,MAAM,YAAY,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAE3D,kDAAkD;IAClD,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAElD,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAC5B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,QAAQ,EAAE,CAAC;QACX,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC;QAC7B,IAAI,CAAC,KAAK,SAAS;YAAE,aAAa,EAAE,CAAC;aAChC,IAAI,CAAC,KAAK,MAAM;YAAE,SAAS,EAAE,CAAC;aAC9B,IAAI,CAAC,KAAK,iBAAiB;YAAE,mBAAmB,EAAE,CAAC;IAC1D,CAAC;IAED,OAAO;QACL,UAAU;QACV,MAAM;QACN,QAAQ;QACR,aAAa;QACb,SAAS;QACT,mBAAmB;QACnB,SAAS,EAAE,eAAe,CACxB,EAAE,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,mBAAmB,EAAE,EAC3D,SAAS,CACV;KACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,4CAA4C;AAC5C,EAAE;AACF,yCAAyC;AACzC,EAAE;AACF,8EAA8E;AAC9E,4EAA4E;AAC5E,yEAAyE;AACzE,0CAA0C;AAC1C,EAAE;AACF,iEAAiE;AACjE,oEAAoE;AACpE,+DAA+D;AAC/D,4EAA4E;AAC5E,wEAAwE;AACxE,qEAAqE;AACrE,2EAA2E;AAC3E,qEAAqE;AACrE,yBAAyB;AACzB,EAAE;AACF,wCAAwC;AACxC,8EAA8E;AAE9E,SAAS,eAAe,CACtB,MAKC,EACD,SAAqC;IAErC,IAAI,MAAM,CAAC,SAAS,IAAI,SAAS,CAAC,aAAa;QAAE,OAAO,QAAQ,CAAC;IACjE,IACE,MAAM,CAAC,QAAQ,IAAI,SAAS,CAAC,OAAO;QACpC,MAAM,CAAC,aAAa,IAAI,SAAS,CAAC,WAAW;QAC7C,MAAM,CAAC,SAAS,KAAK,CAAC;QACtB,MAAM,CAAC,mBAAmB,KAAK,CAAC,EAChC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,mBAAmB,CAAC;AAC7B,CAAC;AA8BD,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,SAAiB,EACjB,OAAwB,EACxB,OAAyB,EAAE;IAE3B,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC/B,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;IAEpC,IAAI,SAAS,KAAK,SAAS,IAAI,OAAO,KAAK,cAAc,EAAE,CAAC;QAC1D,MAAM,WAAW,CAAC,SAAS,EAAE,OAAO,CAAC,UAAU,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;QAC/E,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC;IACnD,CAAC;IAED,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC3B,IAAI,OAAO,KAAK,WAAW,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;YAClD,yCAAyC;YACzC,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,SAAS,EAAE,OAAO;gBAClB,MAAM,EAAE,iEAAiE;aAC1E,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC;YACnE,MAAM,WAAW,CAAC,SAAS,EAAE,OAAO,CAAC,UAAU,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;YACpE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;QACjD,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;AAChD,CAAC;AAED,8EAA8E;AAC9E,6EAA6E;AAC7E,sEAAsE;AACtE,8EAA8E;AAE9E,KAAK,UAAU,UAAU,CACvB,SAAiB,EACjB,UAAkB;IAElB,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;QACtE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAwB,CAAC;QACtD,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC,MAAM,CAAC;QACvF,OAAO,cAAc,CAAC;IACxB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAK,CAA2B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,cAAc,CAAC;QAC1E,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,KAAK,UAAU,WAAW,CACxB,SAAiB,EACjB,UAAkB,EAClB,MAAgD,EAChD,MAAc;IAEd,MAAM,GAAG,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC9F,MAAM,SAAS,CAAC,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;AACnE,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,SAAiB,EAAE,UAAkB;IAC/D,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,cAAc,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1E,OAAO,GAAG;aACP,KAAK,CAAC,IAAI,CAAC;aACX,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;aAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAoB,CAAC,CAAC;IAClD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAK,CAA2B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAC;QAC9D,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC"}

package/dist/runtime/wedge/types.d.ts

@@ -0,0 +1,43 @@
+/**
+ * Shared types for the wedge-gate runtime (Phase 7).
+ *
+ * Authoritative source: `docs/opensquid-real-design.md` §"Two-stage wedge gate"
+ * + §"Three lesson types × two gates" + §"Context-clearing cycle".
+ *
+ * The wedge gate is opensquid's strategic moat: lessons captured during the
+ * context-clearing cycle (Stage 1, user-validated) only ever mutate a skill
+ * if outcome metrics confirm sustained improvement (Stage 2,
+ * outcome-validated). Self-grading by an LLM is explicitly disallowed —
+ * promotion signals are external (verdict pass rate, user explicit confirm).
+ *
+ * Four lesson types, two gates (per the design doc + SCHED.4):
+ *
+ *   workflow         — Stage 1 only (user-validated at capture).
+ *   preference       — Stage 1 only (user-validated at capture).
+ *   skill_upgrade    — Stage 1 + Stage 2 (outcome-validated on top of capture).
+ *   schedule_outcome — Stage 1 + Stage 2. Stage 1 capture writes the
+ *                      schedule outcome event to the Phase 7.2 buffer; Stage 2
+ *                      lives in `schedule_outcome.ts` (separate from
+ *                      `promote.ts`'s `OutcomeSignal` because schedules are a
+ *                      time-series across N fires, not a single lesson +
+ *                      pass-rate-delta).
+ *
+ * The `PendingLesson` shape is what `capture.ts` writes to disk; downstream
+ * promotion (`promote.ts`) consumes outcome signals keyed by the lesson id.
+ *
+ * Imports from: nothing (leaf type module).
+ * Imported by: src/runtime/wedge/capture.ts, src/runtime/wedge/promote.ts,
+ *              src/runtime/wedge/automation_buffer.ts,
+ *              src/runtime/wedge/schedule_outcome.ts.
+ */
+export type LessonType = 'workflow' | 'preference' | 'skill_upgrade' | 'schedule_outcome';
+export interface PendingLesson {
+    id: string;
+    type: LessonType;
+    content: string;
+    sourceContext: string;
+    confidence: number;
+    proposedAt: string;
+    author?: 'user' | 'agent';
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/runtime/wedge/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/runtime/wedge/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAkBH,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,YAAY,GAAG,eAAe,GAAG,kBAAkB,CAAC;AAqB1F,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC3B"}

package/dist/runtime/wedge/types.js

@@ -0,0 +1,34 @@
+/**
+ * Shared types for the wedge-gate runtime (Phase 7).
+ *
+ * Authoritative source: `docs/opensquid-real-design.md` §"Two-stage wedge gate"
+ * + §"Three lesson types × two gates" + §"Context-clearing cycle".
+ *
+ * The wedge gate is opensquid's strategic moat: lessons captured during the
+ * context-clearing cycle (Stage 1, user-validated) only ever mutate a skill
+ * if outcome metrics confirm sustained improvement (Stage 2,
+ * outcome-validated). Self-grading by an LLM is explicitly disallowed —
+ * promotion signals are external (verdict pass rate, user explicit confirm).
+ *
+ * Four lesson types, two gates (per the design doc + SCHED.4):
+ *
+ *   workflow         — Stage 1 only (user-validated at capture).
+ *   preference       — Stage 1 only (user-validated at capture).
+ *   skill_upgrade    — Stage 1 + Stage 2 (outcome-validated on top of capture).
+ *   schedule_outcome — Stage 1 + Stage 2. Stage 1 capture writes the
+ *                      schedule outcome event to the Phase 7.2 buffer; Stage 2
+ *                      lives in `schedule_outcome.ts` (separate from
+ *                      `promote.ts`'s `OutcomeSignal` because schedules are a
+ *                      time-series across N fires, not a single lesson +
+ *                      pass-rate-delta).
+ *
+ * The `PendingLesson` shape is what `capture.ts` writes to disk; downstream
+ * promotion (`promote.ts`) consumes outcome signals keyed by the lesson id.
+ *
+ * Imports from: nothing (leaf type module).
+ * Imported by: src/runtime/wedge/capture.ts, src/runtime/wedge/promote.ts,
+ *              src/runtime/wedge/automation_buffer.ts,
+ *              src/runtime/wedge/schedule_outcome.ts.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/runtime/wedge/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/runtime/wedge/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG"}

package/dist/runtime/workflow_fsm.d.ts

@@ -0,0 +1,21 @@
+/**
+ * T-PACK-FSM-STANDARDIZATION slice A — the 7-phase workflow as a declared FSM.
+ *
+ * This models `chain_state.ts`'s pipeline (the same 7 stages, same forward
+ * order) as data the generic `fsm.ts` engine runs — the preset slice A2 will
+ * wire in to REPLACE the hardcoded `transitionChainStage` + its 5 scattered
+ * call-sites. Two things it gains over `chain_state` immediately:
+ *
+ *   1. TOTALITY — `validateFsm` proves every transition lands on a real state;
+ *      the runner defines an outcome for every (state, event). `chain_state`'s
+ *      `transitionChainStage` accepts ANY target with no legality check.
+ *   2. LOOP-BACK — `researched --guess_found--> scoping` is an explicit edge.
+ *      `chain_state` is forward-only (its `idle→scoping` writer even guards
+ *      AGAINST regression), so it structurally cannot re-enter research when an
+ *      unresolved guess is found. That backward edge is exactly what the scope
+ *      guess-prevention gate (slice C) loops on.
+ */
+import type { Fsm } from './fsm.js';
+/** Stage order matches `chain_state.ts` CHAIN_STAGES (parity-tested). */
+export declare const WORKFLOW_FSM: Fsm;
+//# sourceMappingURL=workflow_fsm.d.ts.map

package/dist/runtime/workflow_fsm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow_fsm.d.ts","sourceRoot":"","sources":["../../src/runtime/workflow_fsm.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAEpC,yEAAyE;AACzE,eAAO,MAAM,YAAY,EAAE,GAsB1B,CAAC"}

package/dist/runtime/workflow_fsm.js

@@ -0,0 +1,25 @@
+/** Stage order matches `chain_state.ts` CHAIN_STAGES (parity-tested). */
+export const WORKFLOW_FSM = {
+    initial: 'idle',
+    states: [
+        'idle',
+        'scoping',
+        'researched',
+        'spec_authored',
+        'tasks_loaded',
+        'phases_in_flight',
+        'phases_complete',
+    ],
+    transitions: [
+        { from: 'idle', on: 'scope_start', to: 'scoping' },
+        { from: 'scoping', on: 'research_done', to: 'researched' },
+        // The loop-back chain_state cannot express: an unresolved guess sends the
+        // workflow back to scoping/research (slice C drives this edge).
+        { from: 'researched', on: 'guess_found', to: 'scoping' },
+        { from: 'researched', on: 'spec_authored', to: 'spec_authored' },
+        { from: 'spec_authored', on: 'tasks_loaded', to: 'tasks_loaded' },
+        { from: 'tasks_loaded', on: 'phase_started', to: 'phases_in_flight' },
+        { from: 'phases_in_flight', on: 'phases_done', to: 'phases_complete' },
+    ],
+};
+//# sourceMappingURL=workflow_fsm.js.map

package/dist/runtime/workflow_fsm.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow_fsm.js","sourceRoot":"","sources":["../../src/runtime/workflow_fsm.ts"],"names":[],"mappings":"AAmBA,yEAAyE;AACzE,MAAM,CAAC,MAAM,YAAY,GAAQ;IAC/B,OAAO,EAAE,MAAM;IACf,MAAM,EAAE;QACN,MAAM;QACN,SAAS;QACT,YAAY;QACZ,eAAe;QACf,cAAc;QACd,kBAAkB;QAClB,iBAAiB;KAClB;IACD,WAAW,EAAE;QACX,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,SAAS,EAAE;QAClD,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,YAAY,EAAE;QAC1D,0EAA0E;QAC1E,gEAAgE;QAChE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,SAAS,EAAE;QACxD,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,eAAe,EAAE;QAChE,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,cAAc,EAAE;QACjE,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,kBAAkB,EAAE;QACrE,EAAE,IAAI,EAAE,kBAAkB,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,iBAAiB,EAAE;KACvE;CACF,CAAC"}

package/dist/runtime/workflow_map.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Workflow forward-map (T-FLOW-COHESION FC.2) — the SINGLE source of "given the
+ * current chain-stage, what is the next step." When a gate blocks, the hook
+ * folds this map into the deny message so the agent is pointed FORWARD at the
+ * wall (current stage + next step) instead of bouncing backward through
+ * prerequisites. Reads the chain-state FSM, which FC.1 made atomic/trustworthy,
+ * so no degradation branch is needed — `idle` is a real, correct stage.
+ *
+ * `STAGE_NEXT` is the canonical stage→next-step text. The `chain-handoffs` skill
+ * (prompt_submit reinforcement) describes the same pipeline; this is the
+ * authoritative source — keep that skill's rationale consistent with it.
+ *
+ * Imports from: ./chain_state.js.
+ * Imported by: src/runtime/hooks/pre-tool-use.ts (block path).
+ */
+import { type ChainStage } from './chain_state.js';
+/** Canonical next step for each pipeline stage. Exhaustive over `ChainStage`
+ *  (the compiler enforces every stage has an entry). */
+export declare const STAGE_NEXT: Record<ChainStage, string>;
+/**
+ * The compact forward map for a session's current stage: the path, where you
+ * are, and the single next step. Fail-open: a read error resolves to `idle`
+ * (the correct fresh-session stage), never throws.
+ */
+export declare function forwardMap(sessionId: string): Promise<string>;
+//# sourceMappingURL=workflow_map.d.ts.map

package/dist/runtime/workflow_map.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow_map.d.ts","sourceRoot":"","sources":["../../src/runtime/workflow_map.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,KAAK,UAAU,EAAkB,MAAM,kBAAkB,CAAC;AAEnE;wDACwD;AACxD,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CASjD,CAAC;AAIF;;;;GAIG;AACH,wBAAsB,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAGnE"}

package/dist/runtime/workflow_map.js

@@ -0,0 +1,38 @@
+/**
+ * Workflow forward-map (T-FLOW-COHESION FC.2) — the SINGLE source of "given the
+ * current chain-stage, what is the next step." When a gate blocks, the hook
+ * folds this map into the deny message so the agent is pointed FORWARD at the
+ * wall (current stage + next step) instead of bouncing backward through
+ * prerequisites. Reads the chain-state FSM, which FC.1 made atomic/trustworthy,
+ * so no degradation branch is needed — `idle` is a real, correct stage.
+ *
+ * `STAGE_NEXT` is the canonical stage→next-step text. The `chain-handoffs` skill
+ * (prompt_submit reinforcement) describes the same pipeline; this is the
+ * authoritative source — keep that skill's rationale consistent with it.
+ *
+ * Imports from: ./chain_state.js.
+ * Imported by: src/runtime/hooks/pre-tool-use.ts (block path).
+ */
+import { readChainState } from './chain_state.js';
+/** Canonical next step for each pipeline stage. Exhaustive over `ChainStage`
+ *  (the compiler enforces every stage has an entry). */
+export const STAGE_NEXT = {
+    idle: 'no active scope — scope it first: write the pre-research doc (docs/research/<slug>-pre-research-*.md)',
+    scoping: 'write the pre-research doc (docs/research/<slug>-pre-research-*.md)',
+    researched: 'author the track spec via the task-spec-author profession (consume the pre-research)',
+    spec_authored: 'TaskCreate each "### Task" with metadata.spec = the spec\'s absolute path',
+    tasks_loaded: 'set the task in_progress, then log_phase through the 7 phases as you work',
+    phases_in_flight: 'resume at the next unlogged phase; log_phase as each of the 7 completes',
+    phases_complete: 'workflow complete for the active task — the terminal action is allowed',
+};
+const PATH_LINE = 'Workflow: pre_research → spec → tasks → 7 phases → commit';
+/**
+ * The compact forward map for a session's current stage: the path, where you
+ * are, and the single next step. Fail-open: a read error resolves to `idle`
+ * (the correct fresh-session stage), never throws.
+ */
+export async function forwardMap(sessionId) {
+    const stage = (await readChainState(sessionId).catch(() => null))?.stage ?? 'idle';
+    return `${PATH_LINE}\nYou are at: ${stage}\nNext: ${STAGE_NEXT[stage]}`;
+}
+//# sourceMappingURL=workflow_map.js.map

package/dist/runtime/workflow_map.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow_map.js","sourceRoot":"","sources":["../../src/runtime/workflow_map.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAmB,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEnE;wDACwD;AACxD,MAAM,CAAC,MAAM,UAAU,GAA+B;IACpD,IAAI,EAAE,uGAAuG;IAC7G,OAAO,EAAE,qEAAqE;IAC9E,UAAU,EACR,sFAAsF;IACxF,aAAa,EAAE,2EAA2E;IAC1F,YAAY,EAAE,2EAA2E;IACzF,gBAAgB,EAAE,yEAAyE;IAC3F,eAAe,EAAE,wEAAwE;CAC1F,CAAC;AAEF,MAAM,SAAS,GAAG,2DAA2D,CAAC;AAE9E;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,SAAiB;IAChD,MAAM,KAAK,GAAe,CAAC,MAAM,cAAc,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI,MAAM,CAAC;IAC/F,OAAO,GAAG,SAAS,iBAAiB,KAAK,WAAW,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;AAC1E,CAAC"}