All issues

Search results

Wave Loop 585 — two suites were never bounded at all

Status: Open.

#2011 In gHashTag/t27;

· gHashTag opened on Aug 9, 2026

Wave Loop 584 — a batch verdict is the minimum of its parts

Status: Open.

#2010 In gHashTag/t27;

· gHashTag opened on Aug 9, 2026

Wave Loop 583 — the scale ceiling: "proved" is a claim about (design, scale)

Status: Open.

#2009 In gHashTag/t27;

· gHashTag opened on Aug 9, 2026

Wave Loop 582 — the last open defect closes: right idea, wrong shape

Status: Open.

#2007 In gHashTag/t27;

· gHashTag opened on Aug 9, 2026

Wave Loop 581 — the DMA closes: a write strobe was a level, not a pulse

Status: Open.

#2006 In gHashTag/t27;

· gHashTag opened on Aug 9, 2026

Wave Loop 580 — the instrument was broken, and fixing it found the defect

Status: Open.

#2004 In gHashTag/t27;

· gHashTag opened on Aug 9, 2026

Wave Loop 579 — the write-pairing shape, enumerated across every port

Status: Open.

#2003 In gHashTag/t27;

· gHashTag opened on Aug 9, 2026

Wave Loop 578 — maximum-sized requests: two defects the bound could not see

Status: Open.

#2002 In gHashTag/t27;

· gHashTag opened on Aug 9, 2026

GF-T absent from the numeric catalog SSOT: nine rungs, zero rows

Status: Open.

#2001 In gHashTag/t27;

· gHashTag opened on Aug 9, 2026

Wave Loop 577 — gate adequacy: 13 of 13 gates bite

Status: Open.

#2000 In gHashTag/t27;

· gHashTag opened on Aug 9, 2026

Wave Loop 576 — the document recording these proofs was itself unchecked evidence

Status: Open.

#1998 In gHashTag/t27;

· gHashTag opened on Aug 9, 2026

Wave Loop 575 — zero-sized-request sweep: a 2–2 policy split, and a retraction

Status: Open.

#1997 In gHashTag/t27;

· gHashTag opened on Aug 9, 2026