feat(runtime): bounded execution — resource governor, task ledger, honest cancellation - #27

Open

m-szymanska wants to merge 28 commits into

mainfrom

agent/08-bounded-execution

Commits on Aug 24, 2026

[codex/vc-implement] test: freeze repo-backed API corpus
vetcoders
committed
3e33714
feat: add revision-backed file source
vetcoders
committed
16cc728
feat: model Rust API from repository revisions
vetcoders
committed
85c2e9a
feat: derive API views from revision delta

codex
authored and
vetcoders
committed
7bebd53
feat: adopt 0.8 API policy semantics

codex
authored and
vetcoders
committed
6429b20

Commits on Aug 25, 2026

feat(ledger): add task ledger data model
vetcoders-agents
committed
bf73874
feat(ledger): register check outcomes in task ledger
vetcoders-agents
committed
7e669b1
fix(context): produce 30_context artifacts from the reviewed tree

vetcoders-agents
and
claude
committed
a5f46f7
fix(context): stop compensating for gates the run ruled out

vetcoders-agents
and
claude
committed
14cd45e
fix(context): dedup the tsc trace against the TypeScript gate

vetcoders-agents
and
claude
committed
ccaacd2
feat(ledger): publish the task ledger in RUN.json

vetcoders-agents
and
claude
committed
4bab374
feat(cache): report how old a replayed result is

vetcoders-agents
and
claude
committed
ab1f410
feat(gate): date the evidence behind a blocking verdict

vetcoders-agents
and
claude
committed
d5f7d72
feat(governor): add a machine-wide budget for bounded execution

vetcoders-agents
and
claude
committed
e6ed205
feat(checks): run gates under the machine budget, and say which are queued

vetcoders-agents
and
claude
committed
65be25d
feat(context): put the context stage on the same budget as the gates

vetcoders-agents
and
claude
committed
71ebcad
feat(run): cancel on Ctrl-C instead of leaving the machine mid-flight

vetcoders-agents
and
claude
committed
0293b70
fix(context): snapshot the reviewed tree even when no gate needs one

vetcoders-agents
and
claude
committed
c79c253
fix(run): watch for Ctrl-C from a task the run cannot block

vetcoders-agents
and
claude
committed
b5325b5
fix(watch): end the watch on the first interrupt, and reach the venv build

vetcoders-agents
and
claude
committed
6d57631
fix(ledger): adopt each skipped gate under the tree its own tool reads

vetcoders-agents
and
claude
committed
5f63e8c
fix(cancel): close the two ways a cancelled run still reached a verdict

vetcoders-agents
and
claude
committed
5dadb84

Commits on Aug 26, 2026

fix(cancel): close late child registration race
vetcoders
committed
2c80aa0
fix(api): neutralize unchanged unknown proofs
vetcoders
committed
7ba61b9
fix(api): break on exhaustive struct field additions
vetcoders
committed
5737611
fix(api): alpha-normalize signature binders
vetcoders
committed
17ea7d4
docs(cache): attach helper docs to their owners
vetcoders
committed
a38ff2d
docs(release): keep Action examples on published pins
vetcoders
committed
4d91c19