All issues

Search results

A field that names its own struct needs a Box, and three tree specs are one repair from compiling

Status: Open.

#3377 In gHashTag/t27;

· gHashTag opened on Sep 6, 2026

Two more tools advise against a decision recorded where they cannot read it

Status: Open.

#3371 In gHashTag/t27;

· gHashTag opened on Sep 6, 2026

Corpus blockers, each priced in specs: 10 of 229 failures, not the corpus

Status: Open.

#3370 In gHashTag/t27;

· gHashTag opened on Sep 6, 2026

LOOP-RULES R12 denies a spelling the gate accepts, and points authors at a frozen archive

Status: Open.

#3368 In gHashTag/t27;

· gHashTag opened on Sep 6, 2026

tri reseal check fails on every clean checkout, and obeying it deletes the seal path token

Status: Open.

#3366 In gHashTag/t27;

· gHashTag opened on Sep 6, 2026

A function type is not a value: const X = fn(A) R emits const X: i32 = fn ( A ) R

Status: Open.

#3364 In gHashTag/t27;

· gHashTag opened on Sep 6, 2026

Five more confirmed defects in the required merge contexts

Status: Open.

#3337 In gHashTag/t27;

· gHashTag opened on Sep 5, 2026

int, uint, float and double reach rustc verbatim: the Rust mapper never learned the generic spellings

Status: Open.

#3333 In gHashTag/t27;

· gHashTag opened on Sep 5, 2026

Two sessions of the loop took the same three tasks, and the obvious lock does not lock

Status: Open.

#3331 In gHashTag/t27;

· gHashTag opened on Sep 5, 2026

coq: the Trinity proofs do not compile — CorePhi.v:14 uses a lemma that does not exist

Status: Open.

#3328 In gHashTag/t27;

· gHashTag opened on Sep 5, 2026

Every workflow red on master, diagnosed: 5 fixable, 4 leave, 1 wrong trigger, 0 to delete

Status: Open.

#3316 In gHashTag/t27;

· gHashTag opened on Sep 5, 2026

Generated Verilog synthesises to zero logic: 0 LUTs, 0 FFs across 361 specs

Status: Open.

#3312 In gHashTag/t27;

· gHashTag opened on Sep 5, 2026