oh-my-codex 0.20.3 → 0.21.0

package/dist/state/namespace-owners.js

@@ -0,0 +1,127 @@
+/**
+ * Published owner map for durable `.omx/state/` namespaces (#3498 follow-up).
+ *
+ * The original "sole writer" claim was that `src/state/operations.ts` is the only module that
+ * persists durable state. That claim was false: roughly a dozen production paths write their own
+ * projections directly, and the lexical invariant test only recognized one path-construction
+ * pattern (`getStateFilename` + `writeFile`), so it never saw them.
+ *
+ * Rather than migrate every writer — deliberately out of scope, because paths like the multi-file
+ * cancel and native hook-cancel transactions carry identity checks, rollback, and atomicity that a
+ * naive single-file write would lose — this map states the truth: the **workflow** namespace has one
+ * sanctioned writer, and every other namespace has a declared owner.
+ *
+ * The audit in `src/state/__tests__/single-writer-invariant.test.ts` consumes this map. Adding a new
+ * module that writes a `{mode}-state.json` fails that audit until the module is either routed
+ * through the sanctioned workflow writer or declared here with a reason. The map is therefore a
+ * contract, not documentation: it is only accurate because a test enforces it.
+ */
+/** The single sanctioned writer for workflow-mode projections. */
+export const WORKFLOW_STATE_WRITER = 'state/operations.ts';
+export const STATE_NAMESPACE_OWNERS = [
+    {
+        namespace: 'workflow',
+        owners: [
+            WORKFLOW_STATE_WRITER,
+            'modes/base.ts',
+            'state/workflow-transition-reconcile.ts',
+        ],
+        reason: 'Workflow-mode projections route through writeStateFile in operations.ts; modes/base.ts and '
+            + 'the reconciler call that writer rather than persisting on their own.',
+    },
+    {
+        namespace: 'workflow-companion',
+        owners: ['state/skill-active.ts', 'runtime/run-state.ts'],
+        reason: 'skill-active-state.json and run-state.json are derived companions with their own transactional '
+            + 'writers; they are not mode projections.',
+    },
+    {
+        namespace: 'session-pointer',
+        owners: ['hooks/session.ts'],
+        reason: 'Owns the session pointer and its lock transaction, including quarantine and lineage evidence. '
+            + 'Routing it through the workflow writer would discard the pointer-lock protocol.',
+    },
+    {
+        namespace: 'lifecycle-hooks',
+        owners: [
+            'scripts/notify-hook.ts',
+            'scripts/notify-hook/team-worker.ts',
+            'scripts/notify-hook/team-leader-nudge.ts',
+            'scripts/notify-hook/state-io.ts',
+            'scripts/notify-fallback-watcher.ts',
+            'scripts/hook-derived-watcher.ts',
+            'scripts/codex-native-hook.ts',
+        ],
+        reason: 'Hook processes terminalize and nudge projections out-of-band from the agent loop. Declared as '
+            + 'acknowledged direct writers; migrating them is explicitly out of scope.',
+    },
+    {
+        namespace: 'cli-lifecycle',
+        owners: ['cli/index.ts', 'cli/doctor.ts', 'cli/team.ts', 'team/runtime.ts'],
+        reason: 'Post-launch cleanup, explicit doctor repair archiving, and team shutdown own multi-file '
+            + 'transactions whose identity checks and rollback must not be flattened.',
+    },
+    {
+        namespace: 'autoresearch',
+        owners: ['autoresearch/runtime.ts'],
+        reason: 'Writes autoresearch-state.json at the resolved project root immediately after startMode.',
+    },
+    {
+        namespace: 'team',
+        owners: ['team/state.ts', 'team/leader-activity.ts'],
+        reason: 'Team namespace owns its own locks, task/worker/dispatch records, and leader activity.',
+    },
+    {
+        namespace: 'hud',
+        owners: ['hud/authority.ts', 'hud/reconcile.ts'],
+        reason: 'HUD authority state and its locks are a separate domain with their own reconciliation.',
+    },
+    {
+        namespace: 'question',
+        owners: ['question/state.ts', 'question/events.ts', 'question/renderer.ts'],
+        reason: 'Question records, events, and locks are domain-owned.',
+    },
+    {
+        namespace: 'subagents',
+        owners: ['subagents/tracker.ts', 'subagents/role-routing-marker.ts'],
+        reason: 'Subagent tracking and routing markers are domain-owned.',
+    },
+    {
+        namespace: 'notifications',
+        owners: [
+            'notifications/dispatch-cooldown.ts',
+            'notifications/idle-cooldown.ts',
+            'notifications/lifecycle-dedupe.ts',
+            'exec/followup.ts',
+        ],
+        reason: 'Notification receipts and the follow-up queue are domain-owned sidecars.',
+    },
+    {
+        namespace: 'extensibility',
+        owners: ['hooks/triage-state.ts', 'hooks/extensibility/sdk/plugin-state.ts'],
+        reason: 'Prompt-routing triage plus the plugin SDK. The SDK is deliberately open-ended: installed '
+            + 'plugins write their own state, so a universal sole-writer claim is impossible by design.',
+    },
+    {
+        namespace: 'test-fixtures',
+        owners: ['scripts/smoke-packed-install.ts'],
+        reason: 'Packed-install smoke harness seeds projection fixtures in throwaway trees. It never runs in a '
+            + 'user session, but it is declared rather than excluded so the audit stays total.',
+    },
+    {
+        namespace: 'coordination',
+        owners: ['mcp/hermes-bridge.ts', 'cli/update.ts', 'cli/star-prompt.ts', 'ralph/persistence.ts'],
+        reason: 'Coordination, update cadence, UI prompt, and ralph artifact state.',
+    },
+];
+/** Every module permitted to persist durable state in any declared namespace. */
+export function declaredStateWriters() {
+    return new Set(STATE_NAMESPACE_OWNERS.flatMap((entry) => entry.owners));
+}
+/** The namespaces a module owns, for audit reporting. */
+export function namespacesOwnedBy(srcRelativeModule) {
+    return STATE_NAMESPACE_OWNERS
+        .filter((entry) => entry.owners.includes(srcRelativeModule))
+        .map((entry) => entry.namespace);
+}
+//# sourceMappingURL=namespace-owners.js.map

package/dist/state/namespace-owners.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"namespace-owners.js","sourceRoot":"","sources":["../../src/state/namespace-owners.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAWH,kEAAkE;AAClE,MAAM,CAAC,MAAM,qBAAqB,GAAG,qBAAqB,CAAC;AAE3D,MAAM,CAAC,MAAM,sBAAsB,GAAmC;IACpE;QACE,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE;YACN,qBAAqB;YACrB,eAAe;YACf,wCAAwC;SACzC;QACD,MAAM,EACJ,6FAA6F;cAC3F,sEAAsE;KAC3E;IACD;QACE,SAAS,EAAE,oBAAoB;QAC/B,MAAM,EAAE,CAAC,uBAAuB,EAAE,sBAAsB,CAAC;QACzD,MAAM,EACJ,iGAAiG;cAC/F,yCAAyC;KAC9C;IACD;QACE,SAAS,EAAE,iBAAiB;QAC5B,MAAM,EAAE,CAAC,kBAAkB,CAAC;QAC5B,MAAM,EACJ,gGAAgG;cAC9F,iFAAiF;KACtF;IACD;QACE,SAAS,EAAE,iBAAiB;QAC5B,MAAM,EAAE;YACN,wBAAwB;YACxB,oCAAoC;YACpC,0CAA0C;YAC1C,iCAAiC;YACjC,oCAAoC;YACpC,iCAAiC;YACjC,8BAA8B;SAC/B;QACD,MAAM,EACJ,gGAAgG;cAC9F,yEAAyE;KAC9E;IACD;QACE,SAAS,EAAE,eAAe;QAC1B,MAAM,EAAE,CAAC,cAAc,EAAE,eAAe,EAAE,aAAa,EAAE,iBAAiB,CAAC;QAC3E,MAAM,EACJ,0FAA0F;cACxF,wEAAwE;KAC7E;IACD;QACE,SAAS,EAAE,cAAc;QACzB,MAAM,EAAE,CAAC,yBAAyB,CAAC;QACnC,MAAM,EAAE,0FAA0F;KACnG;IACD;QACE,SAAS,EAAE,MAAM;QACjB,MAAM,EAAE,CAAC,eAAe,EAAE,yBAAyB,CAAC;QACpD,MAAM,EAAE,uFAAuF;KAChG;IACD;QACE,SAAS,EAAE,KAAK;QAChB,MAAM,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;QAChD,MAAM,EAAE,wFAAwF;KACjG;IACD;QACE,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,CAAC,mBAAmB,EAAE,oBAAoB,EAAE,sBAAsB,CAAC;QAC3E,MAAM,EAAE,uDAAuD;KAChE;IACD;QACE,SAAS,EAAE,WAAW;QACtB,MAAM,EAAE,CAAC,sBAAsB,EAAE,kCAAkC,CAAC;QACpE,MAAM,EAAE,yDAAyD;KAClE;IACD;QACE,SAAS,EAAE,eAAe;QAC1B,MAAM,EAAE;YACN,oCAAoC;YACpC,gCAAgC;YAChC,mCAAmC;YACnC,kBAAkB;SACnB;QACD,MAAM,EAAE,0EAA0E;KACnF;IACD;QACE,SAAS,EAAE,eAAe;QAC1B,MAAM,EAAE,CAAC,uBAAuB,EAAE,yCAAyC,CAAC;QAC5E,MAAM,EACJ,2FAA2F;cACzF,0FAA0F;KAC/F;IACD;QACE,SAAS,EAAE,eAAe;QAC1B,MAAM,EAAE,CAAC,iCAAiC,CAAC;QAC3C,MAAM,EACJ,gGAAgG;cAC9F,iFAAiF;KACtF;IACD;QACE,SAAS,EAAE,cAAc;QACzB,MAAM,EAAE,CAAC,sBAAsB,EAAE,eAAe,EAAE,oBAAoB,EAAE,sBAAsB,CAAC;QAC/F,MAAM,EAAE,oEAAoE;KAC7E;CACF,CAAC;AAEF,iFAAiF;AACjF,MAAM,UAAU,oBAAoB;IAClC,OAAO,IAAI,GAAG,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,iBAAiB,CAAC,iBAAyB;IACzD,OAAO,sBAAsB;SAC1B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;SAC3D,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;AACrC,CAAC"}

package/dist/state/operations.d.ts

@@ -1,3 +1,4 @@
+import { type BeforeWritableCommit, type ResolvedStateScope } from '../mcp/state-paths.js';
 export declare const SUPPORTED_STATE_READ_MODES: readonly ['autopilot', 'autoresearch', 'team', 'ralph', 'ultrawork', 'ultraqa', 'ralplan', 'deep-interview', 'skill-active'];
 export type SupportedStateReadMode = (typeof SUPPORTED_STATE_READ_MODES)[number];
 export type StateOperationName = 'state_read' | 'state_write' | 'state_clear' | 'state_list_active' | 'state_get_status';
@@ -5,15 +6,19 @@ export interface StateOperationResponse {
     payload: unknown;
     isError?: boolean;
 }
-export declare function validateRalplanTerminalConsensus(cwd: string, state: Record<string, unknown>, sessionId: string | undefined, options?: {
-    requireNativeSubagents?: boolean;
-}): string | null;
+/**
+ * The sole writer primitive for `.omx/state/` session-scoped workflow state.
+ * Every module that persists `{mode}-state.json` MUST route through this function
+ * so that the single-writer invariant is preserved.
+ */
+export declare function writeStateFile(path: string, data: string): Promise<void>;
 export declare function completeRalplanSession(options: {
     cwd: string;
     baseStateDir: string;
     state: Record<string, unknown>;
     explicitSessionId?: string;
-    requireNativeSubagents?: boolean;
+    beforeCommit?: BeforeWritableCommit;
+    capturedScope?: ResolvedStateScope;
 }): Promise<boolean>;
 export declare function listStateStatuses(cwd: string, explicitSessionId?: string, mode?: string, options?: {
     authoritativeActiveDecision?: boolean;

package/dist/state/operations.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"operations.d.ts","sourceRoot":"","sources":["../../src/state/operations.ts"],"names":[],"mappings":"AA2GA,eAAO,MAAM,0BAA0B,YACrC,WAAW,EACX,cAAc,EACd,MAAM,EACN,OAAO,EACP,WAAW,EACX,SAAS,EACT,SAAS,EACT,gBAAgB,EAChB,cAAc,CACN,CAAC;AAEX,MAAM,MAAM,sBAAsB,GAAG,CAAC,OAAO,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC;AACjF,MAAM,MAAM,kBAAkB,GAC1B,YAAY,GACZ,aAAa,GACb,aAAa,GACb,mBAAmB,GACnB,kBAAkB,CAAC;AAEvB,MAAM,WAAW,sBAAsB;IACrC,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAwOD,wBAAgB,gCAAgC,CAC9C,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,SAAS,EAAE,MAAM,GAAG,SAAS,EAC7B,OAAO,GAAE;IAAE,sBAAsB,CAAC,EAAE,OAAO,CAAA;CAAO,GACjD,MAAM,GAAG,IAAI,CA2Bf;AAmJD,wBAAsB,sBAAsB,CAAC,OAAO,EAAE;IACpD,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,sBAAsB,CAAC,EAAE,OAAO,CAAC;CAClC,GAAG,OAAO,CAAC,OAAO,CAAC,CAqDnB;AAED,wBAAsB,iBAAiB,CACrC,GAAG,EAAE,MAAM,EACX,iBAAiB,CAAC,EAAE,MAAM,EAC1B,IAAI,CAAC,EAAE,MAAM,EACb,OAAO,GAAE;IAAE,2BAA2B,CAAC,EAAE,OAAO,CAAA;CAAO,GACtD,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA6ClC;AAGD,wBAAsB,oBAAoB,CACxC,gBAAgB,CAAC,EAAE,MAAM,EACzB,iBAAiB,CAAC,EAAE,MAAM,GACzB,OAAO,CAAC,MAAM,EAAE,CAAC,CAsBnB;AA8CD,wBAAsB,qBAAqB,CACzC,IAAI,EAAE,kBAAkB,EACxB,OAAO,GAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM,GACpC,OAAO,CAAC,sBAAsB,CAAC,CA+YjC"}
+{"version":3,"file":"operations.d.ts","sourceRoot":"","sources":["../../src/state/operations.ts"],"names":[],"mappings":"AAMA,OAAO,EAgBL,KAAK,oBAAoB,EACzB,KAAK,kBAAkB,EAExB,MAAM,uBAAuB,CAAC;AAkC/B,eAAO,MAAM,0BAA0B,YACrC,WAAW,EACX,cAAc,EACd,MAAM,EACN,OAAO,EACP,WAAW,EACX,SAAS,EACT,SAAS,EACT,gBAAgB,EAChB,cAAc,CACN,CAAC;AAEX,MAAM,MAAM,sBAAsB,GAAG,CAAC,OAAO,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC;AACjF,MAAM,MAAM,kBAAkB,GAC1B,YAAY,GACZ,aAAa,GACb,aAAa,GACb,mBAAmB,GACnB,kBAAkB,CAAC;AAEvB,MAAM,WAAW,sBAAsB;IACrC,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAwBD;;;;GAIG;AACH,wBAAsB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAE9E;AAoVD,wBAAsB,sBAAsB,CAAC,OAAO,EAAE;IACpD,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,YAAY,CAAC,EAAE,oBAAoB,CAAC;IACpC,aAAa,CAAC,EAAE,kBAAkB,CAAC;CACpC,GAAG,OAAO,CAAC,OAAO,CAAC,CAwEnB;AAED,wBAAsB,iBAAiB,CACrC,GAAG,EAAE,MAAM,EACX,iBAAiB,CAAC,EAAE,MAAM,EAC1B,IAAI,CAAC,EAAE,MAAM,EACb,OAAO,GAAE;IAAE,2BAA2B,CAAC,EAAE,OAAO,CAAA;CAAO,GACtD,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA6ClC;AAGD,wBAAsB,oBAAoB,CACxC,gBAAgB,CAAC,EAAE,MAAM,EACzB,iBAAiB,CAAC,EAAE,MAAM,GACzB,OAAO,CAAC,MAAM,EAAE,CAAC,CAsBnB;AA8CD,wBAAsB,qBAAqB,CACzC,IAAI,EAAE,kBAAkB,EACxB,OAAO,GAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM,GACpC,OAAO,CAAC,sBAAsB,CAAC,CAqYjC"}