@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.
- package/dist/cli/guard.js +91 -0
- package/dist/cli/guard.js.map +1 -0
- package/dist/cli/mcp_install.js +302 -0
- package/dist/cli/mcp_install.js.map +1 -0
- package/dist/cli/query_gate.js +316 -0
- package/dist/cli/query_gate.js.map +1 -0
- package/dist/cli/stratum.js +291 -0
- package/dist/cli/stratum.js.map +1 -0
- package/dist/connectors/background.js +531 -0
- package/dist/connectors/background.js.map +1 -0
- package/dist/connectors/base.js +12 -0
- package/dist/connectors/base.js.map +1 -0
- package/dist/connectors/claude-bg-worker.js +99 -0
- package/dist/connectors/claude-bg-worker.js.map +1 -0
- package/dist/connectors/claude.js +170 -0
- package/dist/connectors/claude.js.map +1 -0
- package/dist/connectors/codex.js +319 -0
- package/dist/connectors/codex.js.map +1 -0
- package/dist/connectors/index.js +7 -0
- package/dist/connectors/index.js.map +1 -0
- package/dist/connectors/proc_identity.js +90 -0
- package/dist/connectors/proc_identity.js.map +1 -0
- package/dist/connectors/runner.js +63 -0
- package/dist/connectors/runner.js.map +1 -0
- package/dist/contracts/events.json +65 -0
- package/dist/contracts/mcp-surface.json +215 -0
- package/dist/engine/checkpoint.js +50 -0
- package/dist/engine/checkpoint.js.map +1 -0
- package/dist/engine/engine.js +2356 -0
- package/dist/engine/engine.js.map +1 -0
- package/dist/engine/ledger.js +36 -0
- package/dist/engine/ledger.js.map +1 -0
- package/dist/engine/state.js +42 -0
- package/dist/engine/state.js.map +1 -0
- package/dist/eval/expr.js +679 -0
- package/dist/eval/expr.js.map +1 -0
- package/dist/eval/files.js +130 -0
- package/dist/eval/files.js.map +1 -0
- package/dist/guard/canonical.js +116 -0
- package/dist/guard/canonical.js.map +1 -0
- package/dist/guard/errors.js +80 -0
- package/dist/guard/errors.js.map +1 -0
- package/dist/guard/evidence.js +475 -0
- package/dist/guard/evidence.js.map +1 -0
- package/dist/guard/fingerprint.js +13 -0
- package/dist/guard/fingerprint.js.map +1 -0
- package/dist/guard/lock.js +360 -0
- package/dist/guard/lock.js.map +1 -0
- package/dist/guard/store.js +396 -0
- package/dist/guard/store.js.map +1 -0
- package/dist/guard/transition.js +477 -0
- package/dist/guard/transition.js.map +1 -0
- package/dist/ir/refs.js +69 -0
- package/dist/ir/refs.js.map +1 -0
- package/dist/ir/schema.js +123 -0
- package/dist/ir/schema.js.map +1 -0
- package/dist/ir/validate.js +595 -0
- package/dist/ir/validate.js.map +1 -0
- package/dist/judge/codex_judged.js +85 -0
- package/dist/judge/codex_judged.js.map +1 -0
- package/dist/judge/fixture_judged.js +62 -0
- package/dist/judge/fixture_judged.js.map +1 -0
- package/dist/judge/judged.js +89 -0
- package/dist/judge/judged.js.map +1 -0
- package/dist/judge/pricing.js +22 -0
- package/dist/judge/pricing.js.map +1 -0
- package/dist/mcp/contracts.js +162 -0
- package/dist/mcp/contracts.js.map +1 -0
- package/dist/mcp/main.js +7 -0
- package/dist/mcp/main.js.map +1 -0
- package/dist/mcp/server.js +370 -0
- package/dist/mcp/server.js.map +1 -0
- package/dist/migrate/check.js +164 -0
- package/dist/migrate/check.js.map +1 -0
- package/dist/parallel/certificate.js +37 -0
- package/dist/parallel/certificate.js.map +1 -0
- package/dist/parallel/evaluate.js +73 -0
- package/dist/parallel/evaluate.js.map +1 -0
- package/dist/speckit/compiler.js +162 -0
- package/dist/speckit/compiler.js.map +1 -0
- 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"}
|