@smartmemory/stratum 0.3.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (81) hide show
  1. package/dist/cli/guard.js +91 -0
  2. package/dist/cli/guard.js.map +1 -0
  3. package/dist/cli/mcp_install.js +302 -0
  4. package/dist/cli/mcp_install.js.map +1 -0
  5. package/dist/cli/query_gate.js +316 -0
  6. package/dist/cli/query_gate.js.map +1 -0
  7. package/dist/cli/stratum.js +291 -0
  8. package/dist/cli/stratum.js.map +1 -0
  9. package/dist/connectors/background.js +531 -0
  10. package/dist/connectors/background.js.map +1 -0
  11. package/dist/connectors/base.js +12 -0
  12. package/dist/connectors/base.js.map +1 -0
  13. package/dist/connectors/claude-bg-worker.js +99 -0
  14. package/dist/connectors/claude-bg-worker.js.map +1 -0
  15. package/dist/connectors/claude.js +170 -0
  16. package/dist/connectors/claude.js.map +1 -0
  17. package/dist/connectors/codex.js +319 -0
  18. package/dist/connectors/codex.js.map +1 -0
  19. package/dist/connectors/index.js +7 -0
  20. package/dist/connectors/index.js.map +1 -0
  21. package/dist/connectors/proc_identity.js +90 -0
  22. package/dist/connectors/proc_identity.js.map +1 -0
  23. package/dist/connectors/runner.js +63 -0
  24. package/dist/connectors/runner.js.map +1 -0
  25. package/dist/contracts/events.json +65 -0
  26. package/dist/contracts/mcp-surface.json +215 -0
  27. package/dist/engine/checkpoint.js +50 -0
  28. package/dist/engine/checkpoint.js.map +1 -0
  29. package/dist/engine/engine.js +2356 -0
  30. package/dist/engine/engine.js.map +1 -0
  31. package/dist/engine/ledger.js +36 -0
  32. package/dist/engine/ledger.js.map +1 -0
  33. package/dist/engine/state.js +42 -0
  34. package/dist/engine/state.js.map +1 -0
  35. package/dist/eval/expr.js +679 -0
  36. package/dist/eval/expr.js.map +1 -0
  37. package/dist/eval/files.js +130 -0
  38. package/dist/eval/files.js.map +1 -0
  39. package/dist/guard/canonical.js +116 -0
  40. package/dist/guard/canonical.js.map +1 -0
  41. package/dist/guard/errors.js +80 -0
  42. package/dist/guard/errors.js.map +1 -0
  43. package/dist/guard/evidence.js +475 -0
  44. package/dist/guard/evidence.js.map +1 -0
  45. package/dist/guard/fingerprint.js +13 -0
  46. package/dist/guard/fingerprint.js.map +1 -0
  47. package/dist/guard/lock.js +360 -0
  48. package/dist/guard/lock.js.map +1 -0
  49. package/dist/guard/store.js +396 -0
  50. package/dist/guard/store.js.map +1 -0
  51. package/dist/guard/transition.js +477 -0
  52. package/dist/guard/transition.js.map +1 -0
  53. package/dist/ir/refs.js +69 -0
  54. package/dist/ir/refs.js.map +1 -0
  55. package/dist/ir/schema.js +123 -0
  56. package/dist/ir/schema.js.map +1 -0
  57. package/dist/ir/validate.js +595 -0
  58. package/dist/ir/validate.js.map +1 -0
  59. package/dist/judge/codex_judged.js +85 -0
  60. package/dist/judge/codex_judged.js.map +1 -0
  61. package/dist/judge/fixture_judged.js +62 -0
  62. package/dist/judge/fixture_judged.js.map +1 -0
  63. package/dist/judge/judged.js +89 -0
  64. package/dist/judge/judged.js.map +1 -0
  65. package/dist/judge/pricing.js +22 -0
  66. package/dist/judge/pricing.js.map +1 -0
  67. package/dist/mcp/contracts.js +162 -0
  68. package/dist/mcp/contracts.js.map +1 -0
  69. package/dist/mcp/main.js +7 -0
  70. package/dist/mcp/main.js.map +1 -0
  71. package/dist/mcp/server.js +370 -0
  72. package/dist/mcp/server.js.map +1 -0
  73. package/dist/migrate/check.js +164 -0
  74. package/dist/migrate/check.js.map +1 -0
  75. package/dist/parallel/certificate.js +37 -0
  76. package/dist/parallel/certificate.js.map +1 -0
  77. package/dist/parallel/evaluate.js +73 -0
  78. package/dist/parallel/evaluate.js.map +1 -0
  79. package/dist/speckit/compiler.js +162 -0
  80. package/dist/speckit/compiler.js.map +1 -0
  81. package/package.json +47 -0
@@ -0,0 +1,90 @@
1
+ import { execFile } from "node:child_process";
2
+ import { readFile } from "node:fs/promises";
3
+ import { promisify } from "node:util";
4
+ const execFileAsync = promisify(execFile);
5
+ const DARWIN_PROC_INFO = String.raw `
6
+ import ctypes,json,sys
7
+ class I(ctypes.Structure):
8
+ _fields_=[('pbi_flags',ctypes.c_uint32),('pbi_status',ctypes.c_uint32),('pbi_xstatus',ctypes.c_uint32),('pbi_pid',ctypes.c_uint32),('pbi_ppid',ctypes.c_uint32),('pbi_uid',ctypes.c_uint32),('pbi_gid',ctypes.c_uint32),('pbi_ruid',ctypes.c_uint32),('pbi_rgid',ctypes.c_uint32),('pbi_svuid',ctypes.c_uint32),('pbi_svgid',ctypes.c_uint32),('rfu_1',ctypes.c_uint32),('pbi_comm',ctypes.c_char*16),('pbi_name',ctypes.c_char*32),('pbi_nfiles',ctypes.c_uint32),('pbi_pgid',ctypes.c_uint32),('pbi_pjobc',ctypes.c_uint32),('e_tdev',ctypes.c_uint32),('e_tpgid',ctypes.c_int32),('pbi_nice',ctypes.c_int32),('pbi_start_tvsec',ctypes.c_uint64),('pbi_start_tvusec',ctypes.c_uint64)]
9
+ i=I(); r=ctypes.CDLL('libproc.dylib').proc_pidinfo(int(sys.argv[1]),3,0,ctypes.byref(i),ctypes.sizeof(i))
10
+ print(json.dumps({'start':f'{i.pbi_start_tvsec}.{i.pbi_start_tvusec}','pgid':i.pbi_pgid}) if r==ctypes.sizeof(i) and i.pbi_start_tvsec else '')
11
+ `;
12
+ async function darwinStat(pid) {
13
+ try {
14
+ // Node has no libproc binding. This is the exact PROC_PIDTBSDINFO query used
15
+ // by the Python source contract; /usr/bin/python3 is present on supported
16
+ // development Macs. ps remains a compatibility fallback below.
17
+ const { stdout } = await execFileAsync("/usr/bin/python3", ["-c", DARWIN_PROC_INFO, String(pid)], { timeout: 5_000 });
18
+ const value = JSON.parse(stdout.trim());
19
+ if (typeof value !== "object" || value === null)
20
+ return undefined;
21
+ const { start, pgid } = value;
22
+ return typeof start === "string" && start && Number.isSafeInteger(pgid) && Number(pgid) > 0
23
+ ? { startTime: start, processGroupId: Number(pgid) }
24
+ : undefined;
25
+ }
26
+ catch {
27
+ return undefined;
28
+ }
29
+ }
30
+ async function linuxStat(pid) {
31
+ if (!Number.isSafeInteger(pid) || pid <= 0)
32
+ return undefined;
33
+ let value;
34
+ try {
35
+ value = await readFile(`/proc/${pid}/stat`, "utf8");
36
+ }
37
+ catch {
38
+ return undefined;
39
+ }
40
+ const close = value.lastIndexOf(")");
41
+ if (close < 0)
42
+ return undefined;
43
+ const fields = value.slice(close + 2).trim().split(/\s+/);
44
+ const processGroupId = Number(fields[2]); // rest[0] is field 3; pgrp is field 5.
45
+ const startTime = fields[19]; // starttime is field 22.
46
+ if (!startTime || !Number.isSafeInteger(processGroupId) || processGroupId <= 0)
47
+ return undefined;
48
+ return { startTime, processGroupId };
49
+ }
50
+ export async function procStartTime(pid) {
51
+ if (!Number.isSafeInteger(pid) || pid <= 0)
52
+ return undefined;
53
+ if (process.platform === "linux")
54
+ return (await linuxStat(pid))?.startTime;
55
+ if (process.platform === "darwin") {
56
+ // Fail closed like the Python reference: `ps -o lstart` has only second
57
+ // precision, too coarse to gate a killpg — no fallback when libproc is
58
+ // unreachable; the run is then treated as dead and never signalled.
59
+ return (await darwinStat(pid))?.startTime;
60
+ }
61
+ try {
62
+ const { stdout } = await execFileAsync("ps", ["-o", "lstart=", "-p", String(pid)], { timeout: 5_000 });
63
+ return stdout.trim() || undefined;
64
+ }
65
+ catch {
66
+ return undefined;
67
+ }
68
+ }
69
+ export async function processGroupId(pid) {
70
+ if (!Number.isSafeInteger(pid) || pid <= 0)
71
+ return undefined;
72
+ if (process.platform === "linux")
73
+ return (await linuxStat(pid))?.processGroupId;
74
+ if (process.platform === "darwin")
75
+ return (await darwinStat(pid))?.processGroupId;
76
+ try {
77
+ const { stdout } = await execFileAsync("ps", ["-o", "pgid=", "-p", String(pid)], { timeout: 5_000 });
78
+ const value = Number(stdout.trim());
79
+ return Number.isSafeInteger(value) && value > 0 ? value : undefined;
80
+ }
81
+ catch {
82
+ return undefined;
83
+ }
84
+ }
85
+ export async function processIdentityMatches(pid, expectedStartTime) {
86
+ if (!expectedStartTime)
87
+ return false;
88
+ return (await procStartTime(pid)) === expectedStartTime;
89
+ }
90
+ //# sourceMappingURL=proc_identity.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"proc_identity.js","sourceRoot":"","sources":["../../src/connectors/proc_identity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAO1C,MAAM,gBAAgB,GAAG,MAAM,CAAC,GAAG,CAAA;;;;;;CAMlC,CAAC;AAEF,KAAK,UAAU,UAAU,CAAC,GAAW;IACnC,IAAI,CAAC;QACH,6EAA6E;QAC7E,0EAA0E;QAC1E,+DAA+D;QAC/D,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,kBAAkB,EAAE,CAAC,IAAI,EAAE,gBAAgB,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACtH,MAAM,KAAK,GAAY,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QACjD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QAClE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAA4C,CAAC;QACrE,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,IAAI,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;YACzF,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE;YACpD,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,GAAW;IAClC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7D,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QAAC,KAAK,GAAG,MAAM,QAAQ,CAAC,SAAS,GAAG,OAAO,EAAE,MAAM,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,SAAS,CAAC;IAAC,CAAC;IACxF,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAChC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1D,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,uCAAuC;IACjF,MAAM,SAAS,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,yBAAyB;IACvD,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,cAAc,CAAC,IAAI,cAAc,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACjG,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,GAAW;IAC7C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7D,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO;QAAE,OAAO,CAAC,MAAM,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC;IAC3E,IAAI,OAAO,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAClC,wEAAwE;QACxE,uEAAuE;QACvE,oEAAoE;QACpE,OAAO,CAAC,MAAM,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC;IAC5C,CAAC;IACD,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACvG,OAAO,MAAM,CAAC,IAAI,EAAE,IAAI,SAAS,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,GAAW;IAC9C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7D,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO;QAAE,OAAO,CAAC,MAAM,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,cAAc,CAAC;IAChF,IAAI,OAAO,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,CAAC,MAAM,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,cAAc,CAAC;IAClF,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACrG,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QACpC,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,GAAW,EAAE,iBAAqC;IAC7F,IAAI,CAAC,iBAAiB;QAAE,OAAO,KAAK,CAAC;IACrC,OAAO,CAAC,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,iBAAiB,CAAC;AAC1D,CAAC"}
@@ -0,0 +1,63 @@
1
+ import { startBackgroundRun } from "./background.js";
2
+ import { ClaudeConnector } from "./claude.js";
3
+ import { CodexConnector } from "./codex.js";
4
+ // Module-level discriminant sets — created once, not per-call (intentionally isolated
5
+ // from the identical sets in background.ts to avoid a cross-module import dependency).
6
+ const VALID_AGENTS = new Set(["claude", "codex"]);
7
+ const VALID_SANDBOX_MODES = new Set(["read-only", "workspace-write"]);
8
+ export async function runAgent(options, boundaries = {}) {
9
+ // 4c: discriminant validation — reject unknown agent and sandboxMode values before
10
+ // either the background or foreground dispatch branch. Mirrors background.ts guards
11
+ // (D11) but is intentionally independent (no cross-module import).
12
+ if (!VALID_AGENTS.has(options.agent)) {
13
+ throw new Error(`Unknown agent ${JSON.stringify(options.agent)}; must be "claude" or "codex"`);
14
+ }
15
+ if (options.sandboxMode !== undefined && !VALID_SANDBOX_MODES.has(options.sandboxMode)) {
16
+ throw new Error(`Unknown sandboxMode ${JSON.stringify(options.sandboxMode)}; must be "read-only" or "workspace-write"`);
17
+ }
18
+ // D8 applies to the FOREGROUND claude path too: ClaudeConnector hardcodes
19
+ // permissionMode "acceptEdits" and cannot enforce read-only, so accepting the
20
+ // request would be a false guarantee. (The background path rejects in
21
+ // startClaudeBackgroundRun; codex enforces read-only natively.)
22
+ if (options.agent === "claude" && options.sandboxMode === "read-only") {
23
+ throw new Error('claude runs with sandboxMode="read-only" are not supported: the Claude connector ' +
24
+ 'cannot enforce read-only (D8). Omit sandboxMode or pass "workspace-write".');
25
+ }
26
+ const cwd = options.cwd ?? process.cwd();
27
+ if (options.background) {
28
+ return startBackgroundRun({
29
+ agent: options.agent,
30
+ prompt: options.prompt,
31
+ cwd,
32
+ ...(options.model !== undefined ? { model: options.model } : {}),
33
+ ...(options.sandboxMode !== undefined ? { sandboxMode: options.sandboxMode } : {}),
34
+ ...(options.budgeted !== undefined ? { budgeted: options.budgeted } : {}),
35
+ ...(options.registryRoot !== undefined ? { registryRoot: options.registryRoot } : {}),
36
+ ...(options.env !== undefined ? { env: options.env } : {}),
37
+ ...(boundaries.backgroundCommand !== undefined ? { command: boundaries.backgroundCommand } : {}),
38
+ // 4b: carry tool filters through to background runs (D5 / BG-WRITE-A)
39
+ ...(options.allowedTools !== undefined ? { allowedTools: options.allowedTools } : {}),
40
+ ...(options.disallowedTools !== undefined ? { disallowedTools: options.disallowedTools } : {}),
41
+ });
42
+ }
43
+ if (options.agent === "codex") {
44
+ return new CodexConnector({
45
+ cwd,
46
+ ...(options.model !== undefined ? { model: options.model } : {}),
47
+ ...(options.sandboxMode !== undefined ? { sandboxMode: options.sandboxMode } : {}),
48
+ ...(options.env !== undefined ? { env: options.env } : {}),
49
+ ...(boundaries.codexSpawn !== undefined ? { spawn: boundaries.codexSpawn } : {}),
50
+ ...(options.onEvent !== undefined ? { onEvent: options.onEvent } : {}),
51
+ }).run(options.prompt);
52
+ }
53
+ return new ClaudeConnector({
54
+ cwd,
55
+ ...(options.model !== undefined ? { model: options.model } : {}),
56
+ ...(options.allowedTools !== undefined ? { allowedTools: options.allowedTools } : {}),
57
+ ...(options.disallowedTools !== undefined ? { disallowedTools: options.disallowedTools } : {}),
58
+ ...(options.env !== undefined ? { env: options.env } : {}),
59
+ ...(boundaries.claudeQuery !== undefined ? { query: boundaries.claudeQuery } : {}),
60
+ ...(options.onEvent !== undefined ? { onEvent: options.onEvent } : {}),
61
+ }).run(options.prompt);
62
+ }
63
+ //# sourceMappingURL=runner.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"runner.js","sourceRoot":"","sources":["../../src/connectors/runner.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAsB,MAAM,aAAa,CAAC;AAClE,OAAO,EAAE,cAAc,EAAqB,MAAM,YAAY,CAAC;AAE/D,sFAAsF;AACtF,uFAAuF;AACvF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;AAC1D,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAS,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAC;AAyB9E,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,OAAwB,EACxB,aAAiC,EAAE;IAEnC,mFAAmF;IACnF,oFAAoF;IACpF,mEAAmE;IACnE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CACb,iBAAiB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,+BAA+B,CAC9E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QACvF,MAAM,IAAI,KAAK,CACb,uBAAuB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,WAAW,CAAC,4CAA4C,CACvG,CAAC;IACJ,CAAC;IACD,0EAA0E;IAC1E,8EAA8E;IAC9E,sEAAsE;IACtE,gEAAgE;IAChE,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,WAAW,KAAK,WAAW,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CACb,mFAAmF;YACnF,4EAA4E,CAC7E,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IACzC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvB,OAAO,kBAAkB,CAAC;YACxB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,GAAG;YACH,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClF,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzE,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrF,GAAG,CAAC,OAAO,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1D,GAAG,CAAC,UAAU,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChG,sEAAsE;YACtE,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrF,GAAG,CAAC,OAAO,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACnD,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;QAC9B,OAAO,IAAI,cAAc,CAAC;YACxB,GAAG;YACH,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClF,GAAG,CAAC,OAAO,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1D,GAAG,CAAC,UAAU,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChF,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,IAAI,eAAe,CAAC;QACzB,GAAG;QACH,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrF,GAAG,CAAC,OAAO,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9F,GAAG,CAAC,OAAO,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,GAAG,CAAC,UAAU,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AACzB,CAAC"}
@@ -0,0 +1,65 @@
1
+ {
2
+ "events": 1,
3
+ "shapeLanguage": "Each kind maps to the full event payload shape minus the implicit {at: string, type: string}. Leaf types: number|string|boolean|object|array|null|any, unions with '|', optional keys end in '?', nested objects are declared inline. Undeclared keys are contract violations.",
4
+ "kinds": {
5
+ "planned": {},
6
+ "ready": { "stepId": "string", "detail": { "attempt": "number" } },
7
+ "result": {
8
+ "stepId": "string",
9
+ "detail": {
10
+ "attempt": "number",
11
+ "result?": "any",
12
+ "failure?": { "attempt": "number", "reason": "string" },
13
+ "iterate?": { "iteration": "number", "max": "number" }
14
+ }
15
+ },
16
+ "judged": {
17
+ "stepId": "string",
18
+ "detail": {
19
+ "statement": "string",
20
+ "holds": "boolean",
21
+ "reason": "string",
22
+ "stakes": "string",
23
+ "model": "string",
24
+ "usage": { "tokens": "number", "usd": "number" },
25
+ "itemIndex?": "number",
26
+ "stage?": "number"
27
+ }
28
+ },
29
+ "routed": {
30
+ "stepId": "string",
31
+ "detail": { "target": "string", "failure": { "attempt": "number", "reason": "string" } }
32
+ },
33
+ "skipped": { "stepId": "string", "detail?": { "reason?": "string" } },
34
+ "resumed": {},
35
+ "completed": { "detail": { "output": "any" } },
36
+ "failed": { "detail": { "attempt": "number", "reason": "string" } },
37
+ "budget_exhausted": { "detail": { "attempt": "number", "reason": "string" } },
38
+ "gate_waiting": { "stepId": "string" },
39
+ "gate_resolved": { "stepId": "string", "detail": { "decision": "string", "target": "string|null" } },
40
+ "fanout_item_ready": { "stepId": "string", "detail": { "itemIndex": "number" } },
41
+ "fanout_item_dispatched": {
42
+ "stepId": "string",
43
+ "detail": { "itemIndex": "number", "stage": "number", "attempt": "number" }
44
+ },
45
+ "fanout_attempt_result": {
46
+ "stepId": "string",
47
+ "detail": {
48
+ "itemIndex": "number",
49
+ "stage": "number",
50
+ "attempt": "number",
51
+ "success": "boolean",
52
+ "failure?": { "kind": "string", "reason": "string" }
53
+ }
54
+ },
55
+ "fanout_item_skipped": { "stepId": "string", "detail": { "itemIndex": "number", "stage": "number" } },
56
+ "fanout_ledger_debit": {
57
+ "stepId": "string",
58
+ "detail": { "itemIndex": "number", "amount": "object", "source?": "string" }
59
+ },
60
+ "fanout_merge": {
61
+ "stepId": "string",
62
+ "detail": { "itemIndex": "number", "success": "boolean", "reason?": "string" }
63
+ }
64
+ }
65
+ }
@@ -0,0 +1,215 @@
1
+ {
2
+ "surface": 9,
3
+ "shapeLanguage": "Same shape language as events.json. Each tool declares its request shape and one response shape per status variant; a response's status field is implicit. Undeclared keys are contract violations.",
4
+ "errors": {
5
+ "consumer_dispatch_bg_unsupported": {
6
+ "data": {
7
+ "code": "string",
8
+ "errors": {
9
+ "$array": {
10
+ "code": "string",
11
+ "path": "string",
12
+ "message": "string"
13
+ }
14
+ }
15
+ }
16
+ }
17
+ },
18
+ "tools": {
19
+ "stratum_validate": {
20
+ "request": { "spec": "any" },
21
+ "responses": {
22
+ "valid": {},
23
+ "invalid": { "errors": "array" }
24
+ }
25
+ },
26
+ "stratum_compile_speckit": {
27
+ "request": { "tasks_dir": "string", "flow_name?": "string" },
28
+ "responses": {
29
+ "ok": { "yaml": "string", "flow_name": "string", "steps": "array" },
30
+ "error": { "error_type": "string", "message": "string" }
31
+ }
32
+ },
33
+ "stratum_plan": {
34
+ "request": { "spec": "any", "input": "any", "workspaceRoot?": "string" },
35
+ "responses": {
36
+ "ready": { "runId": "string", "ready": { "$array": { "$oneOf": [
37
+ { "id": "string", "do": "string", "agent": "string", "attempt": "number", "epoch": "number", "dispatchToken": "string", "previousFailure?": { "attempt": "number", "reason": "string" } },
38
+ { "id": "string", "do": "string", "agent": "string", "attempt": "number", "epoch": "number", "dispatchToken": "string", "previousFailure?": { "attempt": "number", "reason": "string" }, "flow": "string", "step": "string", "stage": "number", "isFinalStage": "boolean", "itemIndex": "number", "generation": "number", "contract": { "$oneOf": [{ "root": "string", "contracts": "object" }, "null"] }, "contractDigest": "string|null", "policy": { "isolation": "string", "merge": "string", "pre_merge": { "$array": "string" } }, "revisionDigest": "string" }
39
+ ] } }, "ledger": { "spent": "object", "budget?": "object" }, "revisionDigest": "string" },
40
+ "running": { "runId": "string", "ledger": { "spent": "object", "budget?": "object" }, "revisionDigest": "string" },
41
+ "completed": { "runId": "string", "output": "any", "ledger": { "spent": "object", "budget?": "object" }, "revisionDigest": "string" },
42
+ "failed": { "runId": "string", "failure": { "attempt": "number", "reason": "string" }, "ledger": { "spent": "object", "budget?": "object" }, "revisionDigest": "string" },
43
+ "budget_exhausted": { "runId": "string", "failure": { "attempt": "number", "reason": "string" }, "ledger": { "spent": "object", "budget?": "object" }, "revisionDigest": "string" }
44
+ }
45
+ },
46
+ "stratum_step_done": {
47
+ "request": { "runId": "string", "stepId": "string", "result": { "output?": "any", "failure?": "string", "usage?": "object", "telemetry?": { "durationMs": "number", "model": "string", "effort?": "string" } }, "dispatchToken": "string" },
48
+ "responses": {
49
+ "ready": { "runId": "string", "ready": { "$array": { "$oneOf": [
50
+ { "id": "string", "do": "string", "agent": "string", "attempt": "number", "epoch": "number", "dispatchToken": "string", "previousFailure?": { "attempt": "number", "reason": "string" } },
51
+ { "id": "string", "do": "string", "agent": "string", "attempt": "number", "epoch": "number", "dispatchToken": "string", "previousFailure?": { "attempt": "number", "reason": "string" }, "flow": "string", "step": "string", "stage": "number", "isFinalStage": "boolean", "itemIndex": "number", "generation": "number", "contract": { "$oneOf": [{ "root": "string", "contracts": "object" }, "null"] }, "contractDigest": "string|null", "policy": { "isolation": "string", "merge": "string", "pre_merge": { "$array": "string" } }, "revisionDigest": "string" }
52
+ ] } }, "ledger": { "spent": "object", "budget?": "object" } },
53
+ "running": { "runId": "string", "ledger": { "spent": "object", "budget?": "object" } },
54
+ "completed": { "runId": "string", "output": "any", "ledger": { "spent": "object", "budget?": "object" } },
55
+ "failed": { "runId": "string", "failure": { "attempt": "number", "reason": "string" }, "ledger": { "spent": "object", "budget?": "object" } },
56
+ "budget_exhausted": { "runId": "string", "failure": { "attempt": "number", "reason": "string" }, "ledger": { "spent": "object", "budget?": "object" } }
57
+ }
58
+ },
59
+ "stratum_commit": {
60
+ "description": "Save a named checkpoint of the current flow state; state-only; no files are touched; the caller owns file-level undo.",
61
+ "request": { "flow_id": "string", "label": "string" },
62
+ "responses": {
63
+ "committed": { "flow_id": "string", "label": "string", "step_number": "number", "current_step_id": "string|null", "checkpoints": "array" },
64
+ "error": { "error_type": "string", "message": "string", "available?": "array" }
65
+ }
66
+ },
67
+ "stratum_revert": {
68
+ "description": "Roll back flow state to a named checkpoint; state-only; no files are touched; the caller owns file-level undo.",
69
+ "request": { "flow_id": "string", "label": "string" },
70
+ "responses": {
71
+ "ready": { "runId": "string", "ready": { "$array": { "$oneOf": [
72
+ { "id": "string", "do": "string", "agent": "string", "attempt": "number", "epoch": "number", "dispatchToken": "string", "previousFailure?": { "attempt": "number", "reason": "string" } },
73
+ { "id": "string", "do": "string", "agent": "string", "attempt": "number", "epoch": "number", "dispatchToken": "string", "previousFailure?": { "attempt": "number", "reason": "string" }, "flow": "string", "step": "string", "stage": "number", "isFinalStage": "boolean", "itemIndex": "number", "generation": "number", "contract": { "$oneOf": [{ "root": "string", "contracts": "object" }, "null"] }, "contractDigest": "string|null", "policy": { "isolation": "string", "merge": "string", "pre_merge": { "$array": "string" } }, "revisionDigest": "string" }
74
+ ] } }, "ledger": { "spent": "object", "budget?": "object" }, "reverted_to": "string" },
75
+ "running": { "runId": "string", "ledger": { "spent": "object", "budget?": "object" }, "reverted_to": "string" },
76
+ "completed": { "runId": "string", "output": "any", "ledger": { "spent": "object", "budget?": "object" }, "reverted_to": "string" },
77
+ "failed": { "runId": "string", "failure": { "attempt": "number", "reason": "string" }, "ledger": { "spent": "object", "budget?": "object" }, "reverted_to": "string" },
78
+ "budget_exhausted": { "runId": "string", "failure": { "attempt": "number", "reason": "string" }, "ledger": { "spent": "object", "budget?": "object" }, "reverted_to": "string" },
79
+ "error": { "error_type": "string", "message": "string", "available?": "array" }
80
+ }
81
+ },
82
+ "stratum_resume": {
83
+ "request": { "runId": "string" },
84
+ "responses": {
85
+ "ready": { "runId": "string", "ready": { "$array": { "$oneOf": [
86
+ { "id": "string", "do": "string", "agent": "string", "attempt": "number", "epoch": "number", "dispatchToken": "string", "previousFailure?": { "attempt": "number", "reason": "string" } },
87
+ { "id": "string", "do": "string", "agent": "string", "attempt": "number", "epoch": "number", "dispatchToken": "string", "previousFailure?": { "attempt": "number", "reason": "string" }, "flow": "string", "step": "string", "stage": "number", "isFinalStage": "boolean", "itemIndex": "number", "generation": "number", "contract": { "$oneOf": [{ "root": "string", "contracts": "object" }, "null"] }, "contractDigest": "string|null", "policy": { "isolation": "string", "merge": "string", "pre_merge": { "$array": "string" } }, "revisionDigest": "string" }
88
+ ] } }, "ledger": { "spent": "object", "budget?": "object" }, "revisionDigest": "string" },
89
+ "running": { "runId": "string", "ledger": { "spent": "object", "budget?": "object" }, "revisionDigest": "string" },
90
+ "completed": { "runId": "string", "output": "any", "ledger": { "spent": "object", "budget?": "object" }, "revisionDigest": "string" },
91
+ "failed": { "runId": "string", "failure": { "attempt": "number", "reason": "string" }, "ledger": { "spent": "object", "budget?": "object" }, "revisionDigest": "string" },
92
+ "budget_exhausted": { "runId": "string", "failure": { "attempt": "number", "reason": "string" }, "ledger": { "spent": "object", "budget?": "object" }, "revisionDigest": "string" }
93
+ }
94
+ },
95
+ "stratum_audit": {
96
+ "request": { "runId": "string" },
97
+ "responses": {
98
+ "running": { "runId": "string", "events": "array", "steps": "object", "flowSpent": "object", "output?": "any" },
99
+ "completed": { "runId": "string", "events": "array", "steps": "object", "flowSpent": "object", "output?": "any" },
100
+ "failed": { "runId": "string", "events": "array", "steps": "object", "flowSpent": "object", "output?": "any" },
101
+ "budget_exhausted": { "runId": "string", "events": "array", "steps": "object", "flowSpent": "object", "output?": "any" }
102
+ }
103
+ },
104
+ "stratum_gate_resolve": {
105
+ "request": { "runId": "string", "stepId": "string", "decision": "string", "gateToken": "string" },
106
+ "responses": {
107
+ "ready": { "runId": "string", "ready": { "$array": { "$oneOf": [
108
+ { "id": "string", "do": "string", "agent": "string", "attempt": "number", "epoch": "number", "dispatchToken": "string", "previousFailure?": { "attempt": "number", "reason": "string" } },
109
+ { "id": "string", "do": "string", "agent": "string", "attempt": "number", "epoch": "number", "dispatchToken": "string", "previousFailure?": { "attempt": "number", "reason": "string" }, "flow": "string", "step": "string", "stage": "number", "isFinalStage": "boolean", "itemIndex": "number", "generation": "number", "contract": { "$oneOf": [{ "root": "string", "contracts": "object" }, "null"] }, "contractDigest": "string|null", "policy": { "isolation": "string", "merge": "string", "pre_merge": { "$array": "string" } }, "revisionDigest": "string" }
110
+ ] } }, "ledger": { "spent": "object", "budget?": "object" } },
111
+ "running": { "runId": "string", "ledger": { "spent": "object", "budget?": "object" } },
112
+ "completed": { "runId": "string", "output": "any", "ledger": { "spent": "object", "budget?": "object" } },
113
+ "failed": { "runId": "string", "failure": { "attempt": "number", "reason": "string" }, "ledger": { "spent": "object", "budget?": "object" } },
114
+ "budget_exhausted": { "runId": "string", "failure": { "attempt": "number", "reason": "string" }, "ledger": { "spent": "object", "budget?": "object" } }
115
+ }
116
+ },
117
+ "stratum_flow_poll": {
118
+ "request": { "runId": "string", "cursor?": "number" },
119
+ "responses": {
120
+ "running": { "runId": "string", "events": "array", "nextCursor": "number", "ledger": { "spent": "object", "budget?": "object" }, "output?": "any", "failure?": "object" },
121
+ "completed": { "runId": "string", "events": "array", "nextCursor": "number", "ledger": { "spent": "object", "budget?": "object" }, "output?": "any", "failure?": "object" },
122
+ "failed": { "runId": "string", "events": "array", "nextCursor": "number", "ledger": { "spent": "object", "budget?": "object" }, "output?": "any", "failure?": "object" },
123
+ "budget_exhausted": { "runId": "string", "events": "array", "nextCursor": "number", "ledger": { "spent": "object", "budget?": "object" }, "output?": "any", "failure?": "object" }
124
+ }
125
+ },
126
+ "stratum_flow_run_bg": {
127
+ "request": { "spec": "any", "input": "any", "workspaceRoot?": "string" },
128
+ "responses": {
129
+ "running": { "runId": "string" }
130
+ }
131
+ },
132
+ "stratum_flow_bg_poll": {
133
+ "request": { "runId": "string", "cursor?": "number" },
134
+ "responses": {
135
+ "running": { "runId": "string", "events": "array", "nextCursor": "number", "ledger": { "spent": "object", "budget?": "object" }, "output?": "any", "failure?": "object", "bg": { "status": "string", "cancelRequested": "boolean", "pendingGates": "array", "gateStepId?": "string" } },
136
+ "completed": { "runId": "string", "events": "array", "nextCursor": "number", "ledger": { "spent": "object", "budget?": "object" }, "output?": "any", "failure?": "object", "bg": { "status": "string", "cancelRequested": "boolean", "pendingGates": "array", "gateStepId?": "string" } },
137
+ "failed": { "runId": "string", "events": "array", "nextCursor": "number", "ledger": { "spent": "object", "budget?": "object" }, "output?": "any", "failure?": "object", "bg": { "status": "string", "cancelRequested": "boolean", "pendingGates": "array", "gateStepId?": "string" } },
138
+ "budget_exhausted": { "runId": "string", "events": "array", "nextCursor": "number", "ledger": { "spent": "object", "budget?": "object" }, "output?": "any", "failure?": "object", "bg": { "status": "string", "cancelRequested": "boolean", "pendingGates": "array", "gateStepId?": "string" } }
139
+ }
140
+ },
141
+ "stratum_flow_cancel_bg": {
142
+ "request": { "runId": "string" },
143
+ "responses": {
144
+ "running": {},
145
+ "completed": {},
146
+ "failed": {},
147
+ "budget_exhausted": {},
148
+ "cancelled": {}
149
+ }
150
+ },
151
+ "stratum_agent_run": {
152
+ "request": { "agent": "string", "prompt": "string", "cwd": "string", "model?": "string", "sandboxMode?": "string", "background?": "boolean", "allowedTools?": { "$array": "string" }, "disallowedTools?": { "$array": "string" } },
153
+ "responses": {
154
+ "complete": { "text": "string", "usage": "object", "telemetry": { "durationMs": "number", "model": "string", "effort?": "string" } },
155
+ "bg_started": { "runId": "string", "pid?": "number", "streamPath": "string" }
156
+ }
157
+ },
158
+ "stratum_agent_poll": {
159
+ "request": { "runId": "string" },
160
+ "responses": {
161
+ "not_found": { "runId": "string" },
162
+ "running": { "runId": "string", "textTail": "string", "eventsSeen": "number", "streamPath": "string" },
163
+ "complete": { "runId": "string", "text": "string", "usage": "object", "exitCode": "number", "telemetry": { "durationMs": "number", "model": "string", "effort?": "string" } },
164
+ "error": { "runId": "string", "textTail": "string", "stderrTail": "string", "reason?": "string", "exitCode?": "number", "eventsSeen?": "number", "streamPath?": "string", "telemetry?": { "durationMs": "number", "model": "string", "effort?": "string" } }
165
+ }
166
+ },
167
+ "stratum_cancel_agent_run": {
168
+ "request": { "runId": "string" },
169
+ "responses": {
170
+ "cancelled": { "runId": "string" },
171
+ "already_complete": { "runId": "string" },
172
+ "already_error": { "runId": "string" },
173
+ "not_found": { "runId": "string" }
174
+ }
175
+ },
176
+ "stratum_guard_register": {
177
+ "request": { "resource_id": "string", "graph": "object", "edge_predicates": "object", "initial": "string", "terminal?": "array|null", "stakes?": "object|null", "workspace_root?": "string|null" },
178
+ "responses": {
179
+ "registered": { "guard_id": "string", "checksum": "string" },
180
+ "exists": { "guard_id": "string", "checksum": "string" },
181
+ "error": { "error_type": "string", "message": "string" }
182
+ }
183
+ },
184
+ "stratum_guard_transition": {
185
+ "request": { "resource_id": "string", "from_state": "string", "to_state": "string", "artifacts": "object", "modified_files?": "array|null", "idempotency_key?": "string|null", "resolved_by?": "string" },
186
+ "responses": {
187
+ "applied": { "verdict": "object", "ledger_ref": "string", "current_state": "string" },
188
+ "refused": { "verdict": "object", "ledger_ref": "string", "current_state": "string" },
189
+ "replayed": { "verdict": "object", "ledger_ref": "string", "current_state": "string" },
190
+ "error": { "error_type": "string", "message": "string" }
191
+ }
192
+ },
193
+ "stratum_guard_override": {
194
+ "request": { "resource_id": "string", "from_state": "string", "to_state": "string", "override_token": "string", "rationale": "string", "resolved_by?": "string" },
195
+ "responses": {
196
+ "deviation": { "ledger_ref": "string", "current_state": "string", "rationale": "string" },
197
+ "error": { "error_type": "string", "message": "string" }
198
+ }
199
+ },
200
+ "stratum_guard_migrate": {
201
+ "request": { "resource_id": "string", "new_graph": "object", "new_edge_predicates": "object", "override_token": "string", "rationale": "string", "new_terminal?": "array|null", "new_stakes?": "object|null" },
202
+ "responses": {
203
+ "migrated": { "checksum": "string", "graph_version": "number", "ledger_ref": "string", "rationale": "string" },
204
+ "error": { "error_type": "string", "message": "string" }
205
+ }
206
+ },
207
+ "stratum_guard_history": {
208
+ "request": { "resource_id": "string" },
209
+ "responses": {
210
+ "success": { "resource_id": "string", "current_state": "string", "graph_version": "number", "ledger": "array" },
211
+ "error": { "error_type": "string", "message": "string" }
212
+ }
213
+ }
214
+ }
215
+ }
@@ -0,0 +1,50 @@
1
+ /**
2
+ * Python FlowState -> TS PersistedRun checkpoint mapping:
3
+ * step_outputs / attempts / iteration state -> steps
4
+ * records / child_audits / judge history -> events
5
+ * round / rounds -> rounds
6
+ * terminal_status -> status / output / failure
7
+ * budget state -> flowSpent
8
+ * detached/fanout mutable state -> cancelRequested / parallel
9
+ */
10
+ export const CHECKPOINT_FIELDS = [
11
+ "status", "output", "failure", "flowSpent", "rounds", "steps", "events", "cancelRequested", "parallel",
12
+ ];
13
+ /** Immutable identity/config fields plus the deliberately non-recursive checkpoint map. */
14
+ export const CHECKPOINT_EXCLUDED = {
15
+ id: "immutable run identity",
16
+ spec: "immutable validated specification",
17
+ revisionDigest: "immutable digest of the validated effective specification",
18
+ generationCounter: "monotonic issuance identity that must never roll back",
19
+ input: "immutable flow input",
20
+ flowName: "immutable flow selection",
21
+ workspaceRoot: "immutable execution configuration",
22
+ bgDriven: "ownership metadata set by background-run setup, not flow advancement",
23
+ checkpoints: "checkpoint maps are not nested inside snapshots",
24
+ };
25
+ export function commitCheckpoint(run, label) {
26
+ const snapshot = Object.fromEntries(CHECKPOINT_FIELDS.flatMap((field) => Object.hasOwn(run, field) ? [[field, structuredClone(run[field])]] : []));
27
+ run.checkpoints ??= [];
28
+ const existing = run.checkpoints.find((entry) => entry.label === label);
29
+ // Overwrite-same-label keeps the label's original position (parity with a dict
30
+ // reassignment); a new label appends.
31
+ if (existing)
32
+ existing.snapshot = snapshot;
33
+ else
34
+ run.checkpoints.push({ label, snapshot });
35
+ }
36
+ export function revertCheckpoint(run, label) {
37
+ const entry = run.checkpoints?.find((candidate) => candidate.label === label);
38
+ if (entry === undefined)
39
+ return false;
40
+ const restored = structuredClone(entry.snapshot);
41
+ const mutableRun = run;
42
+ for (const field of CHECKPOINT_FIELDS) {
43
+ if (Object.hasOwn(restored, field))
44
+ mutableRun[field] = restored[field];
45
+ else
46
+ delete mutableRun[field];
47
+ }
48
+ return true;
49
+ }
50
+ //# sourceMappingURL=checkpoint.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"checkpoint.js","sourceRoot":"","sources":["../../src/engine/checkpoint.ts"],"names":[],"mappings":"AAEA;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,UAAU;CACpD,CAAC;AAIrD,2FAA2F;AAC3F,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,EAAE,EAAE,wBAAwB;IAC5B,IAAI,EAAE,mCAAmC;IACzC,cAAc,EAAE,2DAA2D;IAC3E,iBAAiB,EAAE,uDAAuD;IAC1E,KAAK,EAAE,sBAAsB;IAC7B,QAAQ,EAAE,0BAA0B;IACpC,aAAa,EAAE,mCAAmC;IAClD,QAAQ,EAAE,sEAAsE;IAChF,WAAW,EAAE,iDAAiD;CACiB,CAAC;AAElF,MAAM,UAAU,gBAAgB,CAAC,GAAiB,EAAE,KAAa;IAC/D,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACtE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAuB,CAAC;IAClG,GAAG,CAAC,WAAW,KAAK,EAAE,CAAC;IACvB,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IACxE,+EAA+E;IAC/E,sCAAsC;IACtC,IAAI,QAAQ;QAAE,QAAQ,CAAC,QAAQ,GAAG,QAAQ,CAAC;;QACtC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,GAAiB,EAAE,KAAa;IAC/D,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IAC9E,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAqC,CAAC;IACrF,MAAM,UAAU,GAAG,GAAkD,CAAC;IACtE,KAAK,MAAM,KAAK,IAAI,iBAAiB,EAAE,CAAC;QACtC,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC;YAAE,UAAU,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;;YACnE,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}