2 Commits

Include renames

Author	SHA1	Message	Date
jschoubben	5cd8bf9520	Bound a run's input by the bus's value limit, 256 KiB (issue 1921) ... The lead's ruling on milestone 47/B0: each referenced input is bounded by the value limit the design already uses. Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-06 22:10:10 +01:00
jschoubben	ceb319fb86	Add the build seat's ask run: a program built from a change, run over the heads (issue 1921) ... A run ask has a program built at a commit and run in the build seat's sandbox over named heads, its input kept by the asker by digest and measured against a bound before asking (ADR 0644, ADR 0656; design 47's ask run). The checker asks it for the checking program in milestone 47/B0. Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-06 22:06:09 +01:00