From 5cd8bf9520ae90f2463aee2aafcc8a566fdf4400 Mon Sep 17 00:00:00 2001 From: jochen Date: Fri, 6 Nov 2026 22:10:10 +0100 Subject: [PATCH] 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 --- go/delivery/stepasks_compose_test.go | 2 +- go/delivery/stepasks_run.go | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/go/delivery/stepasks_compose_test.go b/go/delivery/stepasks_compose_test.go index f368409..36f28e1 100644 --- a/go/delivery/stepasks_compose_test.go +++ b/go/delivery/stepasks_compose_test.go @@ -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 diff --git a/go/delivery/stepasks_run.go b/go/delivery/stepasks_run.go index 8cbfb73..d828738 100644 --- a/go/delivery/stepasks_run.go +++ b/go/delivery/stepasks_run.go @@ -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 (