docs(#4718): add ADR 0072 for the pre-script output protocol - #5016

Merged

waynesun09 merged 7 commits into

mainfrom

adr-agent-pre-script-gating

Aug 4, 2026

Commits on Jul 29, 2026

docs(#4718): add ADR 0072 for the pre-script skip-flag convention
waynesun09
committed
45aa081
docs(#4718): cite ADR 0055 and fix consequences claim in ADR 0072
waynesun09
committed
fef3164
docs(#4718): rewrite ADR 0072 around the pre-script output protocol
waynesun09
committed
a395c37

Commits on Jul 30, 2026

docs(#4718): leave forge-call ownership open in ADR 0072 CEL bullet
waynesun09
committed
c80dbe7

Commits on Aug 3, 2026