Skip to content

dupe ledger: re-bless after #11359 removed copies -- master Duplicate Body Ratchet green (Closes #11104) #11401

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
gHashTag merged 80 commits into from
Oct 20, 2026
Merged

dupe ledger: re-bless after #11359 removed copies -- master Duplicate Body Ratchet green (Closes #11104) #11401

Changes from all commits
Commits
Show all changes
80 commits
Select commit Hold shift + click to select a range
6d060fd
widgets: catalogue all 82 widget folders and the factory law -- 28 to…
claude Oct 19, 2026
9d714ff
widgets: gatle rules ported to .t27 -- 3 tests, 19 asserts; gen-js lo…
claude Oct 19, 2026
749e318
widgets: gallery rules as scalar .t27 -- 195 widgets, refusal verdict…
claude Oct 19, 2026
ddcabdf
widgets: the gallery reader as pure .t27 -- meta tags, entities, loca…
claude Oct 19, 2026
def022a
widgets: the logic stage runs through wasm -- gatle_rule built with g…
claude Oct 19, 2026
d4d8ccd
widgets: html_out -- the one HTML writer for native widget views, bou…
claude Oct 19, 2026
45af0f3
widgets: jtag-verdict is the first widget drawn natively -- words, ru…
claude Oct 19, 2026
b337706
widgets: json_scan reads data.json as bytes -- 284965 values of 143 w…
claude Oct 19, 2026
e83cc48
widgets: race-the-bee drawn natively from data.json -- 13014-byte was…
claude Oct 19, 2026
30e1744
widgets: lut-treemap logic ported to .t27 -- 9 tests, 14667449 compar…
claude Oct 19, 2026
f595a17
widgets: lut-explain logic ported to .t27 -- 9 tests, 1395124 compari…
claude Oct 19, 2026
e5117d0
widgets: rename the lut logic specs to underscores (Closes #10960)
claude Oct 19, 2026
f972b81
widgets: lut-depth logic ported to .t27 -- 7 tests, 12125 comparisons…
claude Oct 19, 2026
a8fe710
widgets: stat-card logic ported to .t27 -- 8 tests, 30827 comparisons…
claude Oct 19, 2026
76893bd
widgets: fasm-skyline logic ported to .t27 -- 7 tests, 384784 compari…
claude Oct 19, 2026
7fce749
widgets: catalog records five more logic files at PORT_LOGIC -- lut-d…
claude Oct 19, 2026
b85de66
Merge branch 'claude/t27-widgets-catalog-3e2d7f' into worktree-agent-…
claude Oct 19, 2026
fceb821
Merge remote-tracking branch 'origin/master' into claude/t27-widgets-…
claude Oct 19, 2026
dc6c5c9
widgets: js_num -- JavaScript's number text rules in .t27, 1256209 co…
claude Oct 19, 2026
c6757b6
widgets: bit-diff logic ported to .t27 -- 8 tests, 275620 comparisons…
claude Oct 19, 2026
9edd1ac
widgets: vcd-wrapped logic ported to .t27 -- 6 tests, 76076 compariso…
claude Oct 19, 2026
ab4dc8f
widgets: catalog records bit-diff and vcd-wrapped at PORT_LOGIC (Clos…
claude Oct 19, 2026
0607333
widgets: js_val -- String(), Number(), truthiness, fill() and JSON.pa…
claude Oct 19, 2026
bce2d42
widgets: t27-vs-nvfp4 drawn natively -- 28660-byte wasm, 1517 DOM com…
claude Oct 19, 2026
62d1f03
widgets: pin-map logic ported to .t27 -- 8 tests, 180587 comparisons …
claude Oct 19, 2026
0a8fb13
widgets: synth-smells logic ported to .t27 -- 9 tests, 87094 comparis…
claude Oct 19, 2026
a57396a
widgets: fsm-sketch logic ported to .t27 -- 10 tests, 91657 compariso…
claude Oct 19, 2026
183003f
widgets: bit-autopsy logic ported to .t27 -- 7 tests, 96007 compariso…
claude Oct 19, 2026
160796f
widgets: catalog records all 12 logic files at PORT_LOGIC -- pin-map,…
claude Oct 19, 2026
ae2ab4a
widgets: js_val reads Number(text) like JavaScript (white space, 0x/0…
claude Oct 19, 2026
6aa5565
widgets: t27-cell drawn natively -- 31401-byte wasm, 3098 DOM compari…
claude Oct 19, 2026
6a2fc5a
widgets: build-receipt drawn natively -- 32541-byte wasm, 951 DOM com…
claude Oct 19, 2026
9ec6328
widgets: js_val gains jv_fill_raw, the filler without escaping, for a…
claude Oct 19, 2026
55741ca
widgets: uart-bucket drawn natively -- 32562-byte wasm, 3288 DOM comp…
claude Oct 19, 2026
518a182
widgets: test-touch drawn natively -- 35775-byte wasm, V8's TimSort p…
claude Oct 19, 2026
e01aecf
Merge branch 'worktree-agent-a019d686a52279b4d' into claude/t27-widge…
claude Oct 19, 2026
4f99467
Merge remote-tracking branch 'origin/master' into claude/t27-widgets-…
claude Oct 19, 2026
cb66747
widgets: native-only constants of the seven pages are W_-prefixed, th…
claude Oct 19, 2026
afbad2c
widgets: pin-map drawn natively -- 41095-byte wasm, 2582 DOM comparis…
claude Oct 19, 2026
a3d78db
widgets: lut-depth drawn natively -- 19862-byte wasm, 3603 DOM compar…
claude Oct 19, 2026
178d7d6
widgets: lut-explain drawn natively -- 64924-byte wasm, 3055 DOM comp…
claude Oct 19, 2026
8883041
widgets: gf16-calc drawn natively -- 30292-byte wasm, 4544 DOM compar…
claude Oct 19, 2026
629fd11
widgets: catalog records pin-map, lut-depth, lut-explain, gf16-calc a…
claude Oct 19, 2026
ef0433d
widgets: resource-bars drawn natively -- 21381-byte wasm, 1956 DOM co…
claude Oct 19, 2026
c5f85fc
widgets: catalog records resource-bars at PORT_DRAW (Closes #11016)
claude Oct 19, 2026
0526845
widgets: canvas_out -- the draw-list protocol for native pages that d…
claude Oct 19, 2026
bde1dd2
widgets: fits-on drawn natively -- 30952-byte wasm, 4317 DOM comparis…
claude Oct 19, 2026
b04c7ca
widgets: catalog records fits-on, the first canvas page, at PORT_DRAW…
claude Oct 19, 2026
39d49f4
widgets: fsm-sketch drawn natively -- 62941-byte wasm, 2612 DOM compa…
claude Oct 19, 2026
a05e822
widgets: catalog records fsm-sketch at PORT_DRAW (Closes #11016)
claude Oct 19, 2026
ad79175
widgets: cost-curves drawn natively -- 36644-byte wasm, 2576 DOM comp…
claude Oct 19, 2026
83407be
widgets: catalog records cost-curves at PORT_DRAW (Closes #11016)
claude Oct 19, 2026
c23daab
dupe ledger: bless the widget factory's helper copies -- a `use` carr…
claude Oct 19, 2026
8ed852f
widgets: synth-smells drawn natively -- 43594-byte wasm, 2867 DOM com…
claude Oct 19, 2026
769fba9
widgets: text_meas -- a memo of host text widths for native cards (Cl…
claude Oct 19, 2026
17b2806
widgets: text_meas -- helpers are pub so a page can import them; wrap…
claude Oct 19, 2026
a17a5af
widgets: vcd-wrapped drawn natively -- 51721-byte wasm, 2078 DOM comp…
claude Oct 19, 2026
2bd34e9
widgets: stat-card drawn natively -- 36671-byte wasm, 1530 DOM and ca…
claude Oct 19, 2026
48d90d6
widgets: lut-treemap drawn natively -- 41208-byte wasm, 2055 DOM comp…
claude Oct 19, 2026
1b6b075
widgets: catalog records four canvas pages at PORT_DRAW; dupe ledger …
claude Oct 19, 2026
20418b2
widgets: fasm-skyline drawn natively -- 52245-byte wasm, 2271 DOM and…
claude Oct 19, 2026
c1fcfff
widgets: catalog records fasm-skyline at PORT_DRAW; dupe ledger re-bl…
claude Oct 19, 2026
bfc9d4a
widgets: text_meas -- tm_fit_right, the cut-from-the-right fit with t…
claude Oct 19, 2026
25438af
widgets: sha256_hex -- SHA-256 as 64 hex digits for the native pages …
claude Oct 19, 2026
9d74fe5
widgets: bit-diff drawn natively -- 55742-byte wasm, 2025 DOM compari…
claude Oct 19, 2026
b80c685
widgets: bit-autopsy drawn natively -- 58804-byte wasm, 1491 DOM comp…
claude Oct 19, 2026
8a19d21
widgets: catalog records bit-diff and bit-autopsy at PORT_DRAW; dupe …
claude Oct 19, 2026
f374fdc
Merge remote-tracking branch 'origin/master' into claude/t27-widgets-…
claude Oct 19, 2026
133c026
widgets: idcode drawn natively -- 39368-byte wasm, 7446 DOM compariso…
claude Oct 19, 2026
b736334
widgets: slack-waterfall drawn natively -- 42255-byte wasm, 4151 DOM …
claude Oct 19, 2026
8535c67
widgets: test-waves drawn natively -- 55128-byte wasm, 10903 DOM comp…
claude Oct 19, 2026
20f09c2
widgets: catalog records idcode, slack-waterfall and test-waves at PO…
claude Oct 19, 2026
78a4e39
widgets: placement-map drawn natively -- 37328-byte wasm, 10869 DOM c…
claude Oct 19, 2026
3ec920b
widgets: catalog records placement-map at PORT_DRAW; dupe ledger re-b…
claude Oct 19, 2026
d11f8c1
widths ledger: bit_diff and lut_treemap carry 256 KiB text arrays (2^…
claude Oct 19, 2026
1489fb6
widgets: t27c-stages drawn natively -- 29515-byte wasm, 3431 DOM comp…
claude Oct 19, 2026
3e3df1c
widgets: gatle drawn natively -- 38685-byte wasm, 1632 DOM comparison…
claude Oct 19, 2026
8e15c2d
widgets: catalog records gatle and t27c-stages at PORT_DRAW -- every …
claude Oct 19, 2026
6702fd8
Merge remote-tracking branch 'origin/master' into claude/t27-widgets-…
claude Oct 20, 2026
3f37261
Merge remote-tracking branch 'origin/master' into claude/t27-widgets-…
claude Oct 20, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 1 addition & 2 deletions tools/duplicate_bodies_baseline.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -72,7 +72,6 @@ block_seen_before 3
bw_text 3
category 3,2
check_balanced_braces 3
clamp01 3
concat 3,2
copy_bytes_at 3
copy_to 3
Expand Down Expand Up @@ -203,6 +202,7 @@ cl_copy 2
cl_data 2
cl_sel 2
cl_start 2
clamp01 2
clear_m 2
cmd_match 2
cmd_prompt 2
Expand Down Expand Up @@ -507,7 +507,6 @@ same_text 2
same_totals 2
sample_imm 2
sample_reg 2
scale 2
seg_set 2
seg_value 2
session_status_str 2
Expand Down
Loading