fix(goal): stamp tool results in every host, so Goals can prove anything - #10175

Merged

qqqys merged 3 commits into

QwenLM:mainfrom

qqqys:goal/stamp-tool-results

Aug 27, 2026

Commits on Aug 26, 2026

fix(goal): stamp tool results in every host, so Goals can prove anything
qqqys
committed
c1c39bc

Commits on Aug 27, 2026

fix(goal): keep inherited permits out of automatic turns, one rule at every site
qqqys
committed
eea2367
test(goal): pin the cron exit guard, and assert the stamp's absence, not the arity
qqqys
committed
c0281be