All issues

Search results

tnf16's phi_distance is the value for a mantissa it does not have, and the field means three different things

Status: Open.

#2787 In gHashTag/t27;

· gHashTag opened on Aug 29, 2026

Four workflows are red on master today, and two of them are green by not running

Status: Open.

#2783 In gHashTag/t27;

· gHashTag opened on Aug 29, 2026

A recovered assertion that actually fails: trits_to_bits round-trip in ternary_encoding

Status: Open.

#2778 In gHashTag/t27;

· gHashTag opened on Aug 29, 2026

69% of the remaining discard is one construct the parser does not implement: quantified invariants

Status: Open.

#2774 In gHashTag/t27;

· gHashTag opened on Aug 29, 2026

547 specs carry TWO seals, and seal --save writes only one of them

Status: Open.

#2767 In gHashTag/t27;

· gHashTag opened on Aug 28, 2026

gen-c uses Trit 141 times and declares it zero times: the C backend does not follow "use"

Status: Open.

#2764 In gHashTag/t27;

· gHashTag opened on Aug 28, 2026

Eight gates were green because nobody asked them: the readings are in

Status: Open.

#2762 In gHashTag/t27;

· gHashTag opened on Aug 28, 2026

secret-scan and cli-tri are red on master, and a paths: filter has been hiding it

Status: Open.

#2754 In gHashTag/t27;

· gHashTag opened on Aug 28, 2026

Nothing in this repository builds the Lean proofs

Status: Open.

#2747 In gHashTag/t27;

· gHashTag opened on Aug 28, 2026

cli-tri has been red on master for three days; the path filter meant it never ran to say so

Status: Open.

#2729 In gHashTag/t27;

· gHashTag opened on Aug 27, 2026

The formal workflow has never run, and my count of the converter keys was wrong in both directions

Status: Open.

#2725 In gHashTag/t27;

· gHashTag opened on Aug 27, 2026

The gate I added could never have run, and enum was not the only key the converter drops

Status: Open.

#2724 In gHashTag/t27;

· gHashTag opened on Aug 27, 2026