bounds: bounds resolved once and re-checked between commands, run.more and extend, OUT{} as a command, and the profile error pinned - #87

Merged

ohdearquant merged 5 commits into

mainfrom

Sep 29, 2026

Commits on Sep 28, 2026

bounds: bound resolution and the checks, run.more and extend, out as a command, and the profile error pinned
ohdearquant
committed
628ab6a
bounds: RunRequest takes its fields by name, a cost that is not a number reads as spent, and a hook's rewrite of OUT{} is held to the run's outputs
ohdearquant
committed
1e5ab6d
bounds: a rewrite of out is held by the rule that held OUT{}, and accept judges it held
ohdearquant
committed
9040623

Commits on Sep 29, 2026

Merge origin/main into owed/bounds
ohdearquant
committed
d72f822
Merge origin/main into owed/bounds
ohdearquant
committed
dc63517