From 6eca30c109c6b444fd77565535bc7ea35761068b Mon Sep 17 00:00:00 2001 From: Dmitrii Vasilev Date: Mon, 19 Oct 2026 09:14:53 +0700 Subject: [PATCH] verilog widths: why_card and deps_card edge buffers are exact widths, ledgered (Closes #10774) Master's absurd-width check has been red since #10719 and #10725. Measured on the lab: the only absurd signal in either spec is main's stdin buffer `edges : [262144]u8` = 2,097,152 bits -> [2097151:0], which is exact, not an accident. It holds the whole `t27c use-edges` output, already 138,986 bytes (past the 2^20-bit gate), so the buffer cannot shrink under the gate. Both mains are host text plumbing with no hardware form, the same class as suggest_feed.t27 (#10373) and token_floor.t27 (#10443). Co-Authored-By: Claude Opus 5.5 --- tools/verilog_width_baseline.txt | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/tools/verilog_width_baseline.txt b/tools/verilog_width_baseline.txt index c9ab527525..0f17307398 100644 --- a/tools/verilog_width_baseline.txt +++ b/tools/verilog_width_baseline.txt @@ -60,3 +60,19 @@ specs/claw/suggest_feed.t27 # renders 1080x1920 and 1920x1080 video on a host; it has no hardware form. # Same class as big_frame.t27 and suggest_feed.t27. specs/t27f/token_floor.t27 +# +# specs/t27f/why_card.t27 and specs/t27f/deps_card.t27 -- not buses: each +# card's main reads the whole `t27c use-edges --specs-dir specs` output from +# stdin into one buffer, and that buffer is the only absurd signal in either +# spec. The width is exact: +# +# edges : [262144]u8 = 262144*8 = 2,097,152 bits -> [2097151:0] +# +# It cannot shrink under the gate: on master at #10774 the edge list was +# 2,490 lines, 138,986 bytes, already past 131,072 bytes (2^20 bits), and +# it grows with the corpus. Both mains are host text plumbing (std.c.read on +# fd 0, getenv, an ffmpeg filter graph on stderr) with no hardware form. +# Same class and same arithmetic as suggest_feed.t27; t27f precedent is +# token_floor.t27 (#10443). +specs/t27f/deps_card.t27 +specs/t27f/why_card.t27