✨ Compose and certify the supervised adversarial implementation workflow - #181

Open

taras wants to merge 44 commits into

mainfrom

agent/adversarial-implementation-workflow-wip

Commits on Aug 26, 2026

📝 Synchronize the living end-goal target with current XMD contracts
taras
committed
94af843
📝 Align the target with #203 as merged and restore the printing contract
taras
committed
546c9fa
📝 Make the user's decision gate execution, and correct the result inventory
taras
committed
776ebc4
📝 Return stage control state so user authority survives the boundary
taras
committed
fec583d
📝 Return the gate's sources, not a second copy of its answer
taras
committed
ee80200
📝 Finish the value-component sweep and give the reviewer the whole PR
taras
committed
3d0b802
📝 State the handle boundary, the two text components, and the objection text
taras
committed
fb3b47f
📝 Show the user every effect their approval performs
taras
committed
51b2930
📝 Reconcile the living target with the settled workflow contracts
taras
committed
a384de3
📝 Say which of this workflow the runtime already supplies
taras
committed
be6b7a8
📝 Give the stage components an issue that owes their reachability
taras
committed
5012e96
📝 Let the root be what settles this workflow's failures
taras
committed
4f047c7
📝 Declare this workflow's output where a root may declare it
taras
committed
c5abf43
📝 Compose the checkout path and the directory it is worked in
taras
committed
e020503
📝 Settle what an exhausted planning loop asks for, and start proving it
taras
committed
e20a607
🧪 Prove the shipped planning-document logic against stub agents
taras
committed
5f93d8d
🧪 Run the exhausted planning loop where twenty agent turns fit
taras
committed
055c364
🧪 Compare the whole turn sequence, and narrow instead of casting
taras
committed
a814e51
📝 Record the composition and the lifecycle authority as shipped
taras
committed
345111e
📝 Finish saying what the executor lock and the workflow host already do
taras
committed
cdd8aff
📦 Close this workflow over the components its root declares
taras
committed
a483a5e
📝 Separate the shipped suspension substrate from what this Markdown calls
taras
committed
5f6f961
📝 Say the wait is built everywhere the documents mention it
taras
committed
905095f
📝 Say what an unanswered <Elicit> does under a workflow run
taras
committed
e191591
🔒 Give a workflow Agent nothing but what its prompt renders
taras
committed
8bba9c4
📝 Move the remote effects from owed to shipped
taras
committed
31d5035
🔀 Let one invocation create the pull request and then update it
taras
committed
1b7dd09
🔒 Stop presenting an Agent a directory the ceiling denies it
taras
committed
7257683
🎫 Bind with <Let>, and file a deferred finding where it belongs
taras
committed
981e50c
🔎 Let the implementor look, and then let its proposal land
taras
committed
65d0e53
⏸️ Ask the person durably, and read what the pull request already holds
taras
committed
98fe2e2
📝 Say the composition is what remains, and stop contradicting it
taras
committed
d2c8854
🧪 Stand the composition up under a real run, and prove what boots
taras
committed
a1187d8
🧪 Drive all five stages of the real composition
taras
committed
b12efbd
🧪 Ask the forge, and find where the composition stops
taras
committed
55d0e1b
🧪 Revise one pull request, and continue through what was admitted
taras
committed
740d54a
🧪 Stop at every declined gate, and at the bound of both loops
taras
committed
cb7d0b6
⏱️ Let a trusted host decide when the ordinary resume runs (#605)
taras
committed
88d5776
🔭 Ask to see a file the way this host can admit one
taras
committed
206d552
🧹 Read this suite's journal the way every suite now reads one
taras
committed
6b3653c
🔬 Certify the supervised workflow from outside, on both entrypoints
taras
committed
e85479c
📝 Say what this workflow does, now that it does it
taras
committed
99fe43a
🧹 Hold the certification suite to the rules the shards enforce
taras
committed
f9cbe4d
🚦 Let Deno own the Tier AC suite, since only Deno can host it
taras
committed
3d06944