tools: ledger the three LinkSection constructor copies (Refs #7490) by gHashTag · Pull Request #7864 · gHashTag/t27

gHashTag · 2026-10-08T17:19:46Z

What

Duplicate Body Ratchet is red on master (16:45Z / 16:57Z / 17:10Z pushes, first failing SHA a6d4e558e3). Three fresh 2-copy groups:

LinkSection_bss 2
LinkSection_data 2
LinkSection_text 2

This PR ledgers them — diff is exactly three lines in tools/duplicate_bodies_baseline.txt.

Cause

#7490 unified LinkSection in specs/port/bootstrap/src/compiler/LinkSection_text.t27; its three constructors return byte-identical bodies to specs/fpga/linker.t27's link_text / link_data / link_bss — the same ELF section facts (.text flags 5, .data flags 3, .bss flags 2, align 4) written as per-module helpers in two places. Both copies are correct and deliberate; the group is ledgered, not deduped.

Verification

dupe_scan.py --bless on master head 14e1c7be9; ledger diff verified to contain only the three intended lines.

🤖 Generated with Claude Code

Duplicate Body Ratchet is red on master (16:45Z, 16:57Z, 17:10Z pushes): three fresh 2-copy groups, LinkSection_text / LinkSection_data / LinkSection_bss. Cause: #7490 (a6d4e55) unified LinkSection in specs/port/bootstrap/src/compiler/LinkSection_text.t27, whose three constructors return byte-identical bodies to specs/fpga/linker.t27's link_text / link_data / link_bss -- the same ELF section facts (.text flags 5, .data flags 3, .bss flags 2, align 4) written as per-module helpers in two places. Both copies are correct and deliberate; the group is ledgered, not deduped. Ledger diff = exactly three lines. Verified with dupe_scan.py on master head 14e1c7b. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

github-actions · 2026-10-08T17:35:30Z

PR Dashboard

Generated at: 2026-10-08 17:35:21 UTC

gen-ts: lower the bodies of pure functions #7872 gen-ts: lower the bodies of pure functions | Created: 2026-10-08 | Updated: 2026-10-08 | 30 failing / 32 total
t27b: @floatFromInt of a comptime_int rounds to nearest, as Zig does, from coerce_plan.t27 (Closes #7803) #7870 t27b: @floatFromInt of a comptime_int rounds to nearest, as Zig does, from coerce_plan.t27 (Closes #7803) | Created: 2026-10-08 | Updated: 2026-10-08 | 28 failing / 31 total
docs(agents): actors, not threads -- the owner's rule; the fork holds the extension only (Closes #7852) #7869 docs(agents): actors, not threads -- the owner's rule; the fork holds the extension only (Closes #7852) | Created: 2026-10-08 | Updated: 2026-10-08 | 22 failing / 23 total
fix(dupe): record the LinkSection port's deliberate copy of the linker constructors (Closes #7867) #7868 fix(dupe): record the LinkSection port's deliberate copy of the linker constructors (Closes #7867) | Created: 2026-10-08 | Updated: 2026-10-08 | 15 failing / 23 total
spec(queen): bit 63 of the control lane holds under gen-c (Closes #7865) #7866 spec(queen): bit 63 of the control lane holds under gen-c (Closes #7865) | Created: 2026-10-08 | Updated: 2026-10-08 | 16 failing / 28 total
tools: ledger the three LinkSection constructor copies (Refs #7490) #7864 tools: ledger the three LinkSection constructor copies (Refs #7490) | Created: 2026-10-08 | Updated: 2026-10-08 | 10 failing / 23 total
t27b: @floor, @ceil, @round, @trunc and @rem of an f32 call t27 ports of compiler_rt (Closes #7819) #7863 t27b: @floor, @ceil, @round, @trunc and @rem of an f32 call t27 ports of compiler_rt (Closes #7819) | Created: 2026-10-08 | Updated: 2026-10-08 | 27 failing / 30 total
fix(t27b): the ledger stores no total over its entries -- counts are derived, as steward.t27 decides (Closes #7859) #7862 fix(t27b): the ledger stores no total over its entries -- counts are derived, as steward.t27 decides (Closes #7859) | Created: 2026-10-08 | Updated: 2026-10-08 | 23 failing / 30 total
t27b: _ = e; with e not a bare name is deleted where the reference deletes it and run everywhere else (Closes #7810) #7853 t27b: _ = e; with e not a bare name is deleted where the reference deletes it and run everywhere else (Closes #7810) | Created: 2026-10-08 | Updated: 2026-10-08 | 29 failing / 30 total
t27b: == and != between pointers and optional pointers compare addresses, from a t27 plan (Closes #7742) #7831 t27b: == and != between pointers and optional pointers compare addresses, from a t27 plan (Closes #7742) | Created: 2026-10-08 | Updated: 2026-10-08 | 28 failing / 30 total
Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized #7797 Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i #7795 Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
t27b: ?*anyopaque and @ptrFromInt to an optional pointer lower from a t27 plan (Closes #7737) #7744 t27b: ?*anyopaque and @ptrFromInt to an optional pointer lower from a t27 plan (Closes #7737) | Created: 2026-10-08 | Updated: 2026-10-08 | 29 failing / 30 total
Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf #7734 Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) #7719 fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) | Created: 2026-10-08 | Updated: 2026-10-08 | 5 failing / 37 total
Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 #7709 Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 #7708 Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy #7707 Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri #7689 Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs #7644 Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- #7643 Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
fpga: RGMII timing arithmetic and Ethernet FCS specs (for the buses course) #7626 fpga: RGMII timing arithmetic and Ethernet FCS specs (for the buses course) | Created: 2026-10-07 | Updated: 2026-10-08 | 8 failing / 37 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity #7624 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t #7623 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 #7613 Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 #7612 Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po #7582 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 #7568 Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ #7567 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
ci: test only the specs a change can affect -- t27c use-edges feeds specs/ci/affected.t27 (Closes #7565) #7566 ci: test only the specs a change can affect -- t27c use-edges feeds specs/ci/affected.t27 (Closes #7565) | Created: 2026-10-07 | Updated: 2026-10-08 | 4 failing / 40 total
Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 #7555 Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w372.py (Python, 1 function) to specs/port/scripts/gen_w372.t27 #7554 Port scripts/gen_w372.py (Python, 1 function) to specs/port/scripts/gen_w372.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/depin/swarm_watch.zig (Zig, 2 functions) to specs/port/trinity/src/depin/swarm_watch.t27 #7553 Port gHashTag/trinity:src/depin/swarm_watch.zig (Zig, 2 functions) to specs/port/trinity/src/depin/swarm_watch.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:tools/acm_ae_check/src/main.rs (Rust, 1 function) to specs/port/trios/tools/acm_ae_check/src/main.t2 #7552 Port gHashTag/trios:tools/acm_ae_check/src/main.rs (Rust, 1 function) to specs/port/trios/tools/acm_ae_check/src/main.t2 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port fpga/verilog/gft_kat_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_kat_jtag.t27 #7540 Port fpga/verilog/gft_kat_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_kat_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/trios:crates/trios-trainer/src/data.rs (Rust, 7 functions) to specs/port/trios/crates/trios-trainer/src/da #7539 Port gHashTag/trios:crates/trios-trainer/src/data.rs (Rust, 7 functions) to specs/port/trios/crates/trios-trainer/src/da | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
fix(gen-c): a local nested array is declared as a C matrix (Closes #7441) #7495 fix(gen-c): a local nested array is declared as a C matrix (Closes #7441) | Created: 2026-10-07 | Updated: 2026-10-08 | 6 failing / 41 total
specs(port trios, browseros): unify LockGuard; rename 11 port-only types (Closes #7486) #7491 specs(port trios, browseros): unify LockGuard; rename 11 port-only types (Closes #7486) | Created: 2026-10-07 | Updated: 2026-10-08 | 3 failing / 36 total
t27core: for over one range and switch as a value, byte-identical to gen-c (Closes #7429) #7436 t27core: for over one range and switch as a value, byte-identical to gen-c (Closes #7429) | Created: 2026-10-07 | Updated: 2026-10-07 | 10 failing / 47 total
t27c: refuse a malformed number literal by name, read 0o as octal (Closes #7319, Closes #2645) #7421 t27c: refuse a malformed number literal by name, read 0o as octal (Closes #7319, Closes #2645) | Created: 2026-10-07 | Updated: 2026-10-07 | 14 failing / 43 total
gen-c: run defer at every exit of its block (Closes #7352) #7406 gen-c: run defer at every exit of its block (Closes #7352) | Created: 2026-10-07 | Updated: 2026-10-07 | 36 failing / 42 total
tri: test runs the tests; mutate plant names what a one-line mutant turns red #7400 tri: test runs the tests; mutate plant names what a one-line mutant turns red | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 37 total
t27b: an array length written as a constant expression (Closes #7347) #7382 t27b: an array length written as a constant expression (Closes #7347) | Created: 2026-10-07 | Updated: 2026-10-07 | 12 failing / 42 total
Port scripts/gen_w370.py (Python, 1 function) to specs/port/scripts/gen_w370.t27 #7335 Port scripts/gen_w370.py (Python, 1 function) to specs/port/scripts/gen_w370.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 7 failing / 29 total
Port fpga/verilog/gft_signed_mac_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_signed_mac_jtag.t27 #7333 Port fpga/verilog/gft_signed_mac_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_signed_mac_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 0 failing / 1 total
t27c gen-c: size_t range counter, refuse an integer switch without else (Closes #7307, Closes #7308) #7331 t27c gen-c: size_t range counter, refuse an integer switch without else (Closes #7307, Closes #7308) | Created: 2026-10-07 | Updated: 2026-10-08 | 19 failing / 44 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp #7286 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 30 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse #7285 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 30 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows #7284 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 30 total
Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 #7280 Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	39
PRs with All Checks Green	11
READY	1
FAILING	39
PENDING	0
NO CHECKS YET	0

These columns do not partition: 1 + 39 + 0 + 0 = 40, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

⚠️ STALE -- sha256(compiler.rs)=39fa3908f9fd != manifest seal=87e5cbd3ad94.
The committed NMSE numbers were certified against an older compiler.rs.
Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

duplicate-bodies stays red on master after #7864 because of `assign 3`; the same line as #7874, which no-ops once it lands. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01ScHVrGSr6zZUdwkdC8DR9k

The previous commit wrote an empty tools/duplicate_bodies_baseline.txt (a git show of a branch that was not fetched). This restores it: master's ledger plus the four lines of #7864 and #7874, nothing else (dupe_scan: ok). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01ScHVrGSr6zZUdwkdC8DR9k

…7887) Duplicate Body Ratchet went red on master again within minutes of #7864: the assign group grew to 3. specs/port/trios/crates/trios-server/src/mcp_endpoints/tasks.t27 (port of the trios server MCP endpoints, #7102) stubs all three of assign / status / update_status with the same canned reply, TaskReply{task_id: "task-123", status: "assigned"}. #7491's type renames unified the reply type so the three bodies became identical text for the scanner. The copy is the port as written -- three endpoints, one stub each. Ledgered, not deduped: giving each endpoint a distinct body is the port lane's work (#7102 follow-up), and when they diverge the group shrinks out of the ledger. Ledger diff = exactly one line (assign 3). Verified with dupe_scan.py on master head 7c88448. Co-authored-by: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

The ledger takes master's entries; dump_ledger drops the counts. The duplicate-bodies lines this branch carried are on master now (#7864, #7887). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01ScHVrGSr6zZUdwkdC8DR9k

gHashTag enabled auto-merge (squash) October 8, 2026 17:20

This was referenced Oct 8, 2026

fix(dupe): record the LinkSection port's deliberate copy of the linker constructors (Closes #7867) #7868

Closed

fix(t27b): the ledger stores no total over its entries -- counts are derived, as steward.t27 decides (Closes #7859) #7862

Draft

gHashTag mentioned this pull request Oct 8, 2026

duplicate-bodies red on master since #7490: the LinkSection port copies the linker constructors on purpose #7867

Closed

This was referenced Oct 8, 2026

docs(agents): actors, not threads -- the owner's rule; the fork holds the extension only (Closes #7852) #7869

Merged

t27b: == and != between pointers and optional pointers compare addresses, from a t27 plan (Closes #7742) #7831

Open

This was referenced Oct 8, 2026

duplicate-bodies stays red after #7864: three identical stubs in the trios tasks port (assign/status/update_status) #7873

Closed

fix(dupe): record the trios tasks port's three identical stubs (Closes #7873) #7874

Closed

github-actions Bot mentioned this pull request Oct 8, 2026

t27b: @floatFromInt of a comptime_int rounds to nearest, as Zig does, from coerce_plan.t27 (Closes #7803) #7870

Merged

gHashTag merged commit eda79f0 into master Oct 8, 2026
24 checks passed

gHashTag mentioned this pull request Oct 8, 2026

tools: ledger the trios tasks port's three stub replies (Refs #7491) #7887

Merged

gHashTag mentioned this pull request Oct 8, 2026

t27b: anytype and [*]T in the signature of a fn no test reaches, from a t27 plan (Closes #7857) #7875

Open

Navigation Menu

Repository navigation

tools: ledger the three LinkSection constructor copies (Refs #7490) - #7864

tools: ledger the three LinkSection constructor copies (Refs #7490)#7864
gHashTag merged 1 commit into
masterfrom
claude/night-dupe-linksection

gHashTag commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 8, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 8, 2026

What

Cause

Verification

Uh oh!

github-actions Bot commented Oct 8, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant