Issues

damage_repair.py DEFAULT_SNAPSHOT points at docs/corpus/, which does not exist in master

#2327

· gHashTag opened

on Aug 21, 2026

fpga-lint reports 32/32 green on files that do not elaborate — `hierarchy` never enters an uncalled function body

#2326

· gHashTag opened

on Aug 21, 2026

gen-verilog: 26 of 32 modules reference struct fields under a prefix declared nowhere — no single prefix can be correct

#2325

· gHashTag opened

on Aug 21, 2026

coq-kernel step 8: no gate compares PhiFloat.v's binary64 literals against IEEE 754

#2324

· gHashTag opened

on Aug 21, 2026

gen-verilog: is_lowerable_scalar_struct accepts a named-const array extent that field_type_width sizes as 0 — TernaryWord declared 40 bits, correct is 3712

#2319

· gHashTag opened

on Aug 20, 2026

smoke-gate: theorem_matrix_ok is a hardcoded true (false green), and validate_lean_standalone has no phase body

#2306

· gHashTag opened

on Aug 20, 2026

proxy.rs tests are stripped before type-checking — no workflow passes --features server

#2301

· gHashTag opened

on Aug 20, 2026

cargo test -p t27c landed red on master: the 1221-pass measurement was taken on the wrong tree

#2292

· gHashTag opened

on Aug 20, 2026

CI: t27c's 1221 tests have never run on master — land the gate (fixes #2288)

#2289

· gHashTag opened

on Aug 20, 2026

suite.rs unit tests are compiled by nothing — 33 tests plus 3 new ones never type-checked

#2288

· gHashTag opened

on Aug 20, 2026

Unbreak FPGA CI and correct two unbacked hardware claims

#2279

· gHashTag opened

on Aug 20, 2026

emit-bitexact is red on master and nothing was watching: no push: trigger, so it has never run there

#2278

· gHashTag opened

on Aug 20, 2026

Navigation Menu

All issues

damage_repair.py DEFAULT_SNAPSHOT points at docs/corpus/, which does not exist in master

fpga-lint reports 32/32 green on files that do not elaborate — `hierarchy` never enters an uncalled function body

gen-verilog: 26 of 32 modules reference struct fields under a prefix declared nowhere — no single prefix can be correct

coq-kernel step 8: no gate compares PhiFloat.v's binary64 literals against IEEE 754

gen-verilog: is_lowerable_scalar_struct accepts a named-const array extent that field_type_width sizes as 0 — TernaryWord declared 40 bits, correct is 3712

smoke-gate: theorem_matrix_ok is a hardcoded true (false green), and validate_lean_standalone has no phase body

proxy.rs tests are stripped before type-checking — no workflow passes --features server

cargo test -p t27c landed red on master: the 1221-pass measurement was taken on the wrong tree

CI: t27c's 1221 tests have never run on master — land the gate (fixes #2288)

suite.rs unit tests are compiled by nothing — 33 tests plus 3 new ones never type-checked

Unbreak FPGA CI and correct two unbacked hardware claims

emit-bitexact is red on master and nothing was watching: no push: trigger, so it has never run there

Search results