Repository navigation
types ratchet red on master: four ported types collide with corpus types (CounterState, LRUCache, TestCase, TestRunner) #5810
Description
Defect
Corpus Ratchet is red on master. Step "A type name may not gain a second definition" runs ./target/debug/tri types ratchet and fails at 17f09865a (run https://github.com/gHashTag/t27/actions/runs/37147322541):
ledger 77 name(s), observed 81
+ CounterState NEW conflict
+ LRUCache NEW conflict
+ TestCase NEW conflict
+ TestRunner NEW conflict
Reproduced locally on a fresh checkout of origin/master (cargo build -p tri && ./target/debug/tri types ratchet, rc 1). Every open PR inherits the red check.
tri types ratchet walks specs/ only (skipping scratch/; cli/tri/src/types_dup.rs read_specs) and counts a name when two definitions have different field lists. compiler/*.t27 is not walked, so its six TestCase definitions are not part of this.
The definitions (origin/master)
| Name | Older definition | Newer definition | Introduced by |
|---|---|---|---|
CounterState |
specs/port/fpga/vivado/uart_echo_top.t27:43 { value: u32 } (#5009) |
specs/port/trinity/fpga/openxc7-synth/d_f19_test.t27:17 { value: u32, cycles: u32 } |
#5797 (03a9a0a) |
specs/port/trinity/fpga/openxc7-synth/d_slow_blink.t27:29 { value: [24]u32 } |
#5798 (188884e) | ||
LRUCache |
specs/tri/collections/lru_cache.t27:13 |
specs/port/trinity/src/tri/gen_cache.t27:3 { capacity, data: [100][2]u8, size } |
#5794 (aa59672) |
TestCase |
specs/port/tools/wp18_gate_selfconsistent_selftest.t27:36 (#4343) |
specs/port/trinity/src/tri/gen_test_runner.t27:3 { name, passes } |
#5792 (8bcc41b) |
TestRunner |
specs/test_framework/runner.t27:90 |
specs/port/trinity/src/tri/gen_test_runner.t27:8 { tests: [16]TestCase, len, allocator } |
#5792 (8bcc41b) |
All five newer definitions arrive from the 2026-10-03 batch of automated "Port gHashTag/trinity:..." PRs. None of the four names is a deliberate shared type: each pair is two unrelated concepts that met on a name.
Repair
Same as #5504 (Refs #5497): rename the newer definition inside its own file and leave the ledger at 77, rather than blessing four new conflicts. The porter (tools/queen/feed_roadmap.py, pick) skips any target that already exists or is already named by an issue, so it will not regenerate these files and undo a hand rename.
Acceptance: tri types ratchet RATCHET: CLEAN at 77; tri types classified OK; t27c suite --repo-root . --ratchet --corpus-only RATCHET CLEAN; tools/dupe_scan.py ok.
φ² + 1/φ² = 3 | TRINITY
Activity
fix(specs): integrate corpus type renames without losing executable t…