From 222b3cbff2401cb9a9290015d9efe810a4cb4c50 Mon Sep 17 00:00:00 2001 From: phaedrus Date: Tue, 1 Sep 2026 18:16:02 -0500 Subject: [PATCH] docs(budget): state measured kernel ceiling --- modules.budget | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/modules.budget b/modules.budget index 920309d..d148829 100644 --- a/modules.budget +++ b/modules.budget @@ -9,9 +9,9 @@ # errors join the primary failure instead of blank assignment. # Unlock-after-success: do not convert a landed write or captured snapshot # into lock_failed; tests inject release failure. -# PRs #43-45: distinguish a missing committed path from an unavailable -# snapshot across kernel and MCP while retaining the sole-publisher and -# fail-closed proof documentation; measured 58,683 after delete-or-split. +# PRs #43-45: missing committed paths require kernel and MCP coverage. +# The sole-publisher and fail-closed proof comments remain because they state +# non-obvious invariants. Restored tree measured 58,683; ceiling is 58,700. kernel internal/kernel 58700 # FlagSet-driven splitArgs: VisitAll replaces per-command value-flag maps. cli internal/cli 16200