All issues

Search results

O-T0-R4-PREACTIVATION-PR-STATUS-GAP: worker receipts exist without trusted admission triggers

Status: Open.

#264 In Kitahl/Project-supernova-;

· Kitahl opened on Aug 27, 2026

O-T0-GEN13-ACCEL-STAGE-BASE-ROOT-CAS: accelerated replacement candidate built from stale R

Status: Open.

#260 In Kitahl/Project-supernova-;

· Kitahl opened on Aug 26, 2026

T0: Root11 pointer-only STAGE is rejected by frozen test invariants

Status: Open.

#252 In Kitahl/Project-supernova-;

· Kitahl opened on Aug 25, 2026

T0: scheduler admission / preactivation root-TCB repair after Gen12 zero-credit

Status: Open.

#225 In Kitahl/Project-supernova-;

· Kitahl opened on Aug 23, 2026

Gen11 queued control findings — pending MM06 adjudication, no mid-cohort repair

Status: Open.

#221 In Kitahl/Project-supernova-;

· Kitahl opened on Aug 22, 2026

O-T0-GEN10-ZERO-CREDIT-PR-ADMISSION-GAP: trusted open-PR gate lacks terminal nonclean successor predicate

Status: Open.

#211 In Kitahl/Project-supernova-;

· Kitahl opened on Aug 22, 2026

O-T0-GEN10-HISTORICAL-INTEGRATION-SCHEMA: frozen clean-only schema rejects valid epoch6 diagnostic integration

Status: Open.

#209 In Kitahl/Project-supernova-;

· Kitahl opened on Aug 22, 2026

O-T0-MM06-QUARANTINE-TERMINALIZATION: verifier must emit terminal receipt for exhaustive nonclean partition

Status: Open.

#199 In Kitahl/Project-supernova-;

· Kitahl opened on Aug 22, 2026

EGB-006: execute exact Lean 4.31 formal build matrix on non-authoritative GitHub runner

Status: Open.

#198 In Kitahl/Project-supernova-;

· Kitahl opened on Aug 22, 2026

O-T0-GEN10-MM02-TRANSPORT-SERIALIZATION: MM02 create-once receipt violates deterministic stored JSON

Status: Open.

#197 In Kitahl/Project-supernova-;

· Kitahl opened on Aug 22, 2026

O-T0-REASONING-BINDING-NONBLOCKING: runtime reasoning-effort attestation must not gate admission or scientific credit

Status: Open.

#195 In Kitahl/Project-supernova-;

· Kitahl opened on Aug 22, 2026

O-T0-GEN10-HISTORICAL-GUARD-ABSENT: epoch5 reconciler cannot execute new generation guard from frozen Gen10 tree

Status: Open.

#194 In Kitahl/Project-supernova-;

· Kitahl opened on Aug 22, 2026