The build seat's ask run and the checker seat's verb input: a checking program built from a change (issue 1921, B0) #170

Merged
mesh-tools merged 6 commits from feat/b0-checking-program into main 2026-11-07 00:32:40 +00:00
2 changed files with 4 additions and 4 deletions
Showing only changes of commit 5cd8bf9520 - Show all commits
+1 -1
View File
@@ -95,7 +95,7 @@ func TestAComposeAskIsRefusedWhereItDoesNotBelong(t *testing.T) {
}
// The asker refuses an input over its bound before it asks, naming its size; the build module refuses bytes that
// are not the input named.
if _, err := RunInputOf("mesh-delivery-checker.inputs", make([]byte, RunInputBound+1)); err == nil || !strings.Contains(err.Error(), "786433 bytes") {
if _, err := RunInputOf("mesh-delivery-checker.inputs", make([]byte, RunInputBound+1)); err == nil || !strings.Contains(err.Error(), "262145 bytes") {
t.Errorf("an input over its bound: %v", err)
}
in := runAsk().Run.Input
+3 -3
View File
@@ -58,9 +58,9 @@ type RunInput struct {
Size int `json:"size"`
}
// RunInputBound is the most bytes a run's input may hold: under the bus's message limit, so the asker can keep it as
// one value.
const RunInputBound = 768 << 10
// RunInputBound is the most bytes a run's input may hold: the bus's value limit the design already uses (256 KiB), so
// the asker keeps it as one value (the lead's ruling on milestone 47/B0, 2026-11-06).
const RunInputBound = 256 << 10
// RunHeadsEnv names, for the program, the directory its heads are laid in; RunInputEnv the file its input is written to.
const (