Issues

• OI-COMP-1: Can deterministic OI efficiently classically simulate quantum computation?

  readiness: partly readytier: exploratory
  amaybaum/incompleteness#1220 · Filter by author amaybaum opened on Nov 9, 2026
  3

• COMPLEX-CARRIER-1: the complex structure on the six-link carrier as an explicit premise of the SM gauge decomposition

  readiness: blockedtier: foundational
  amaybaum/incompleteness#1217 · Filter by author amaybaum opened on Nov 9, 2026
  1

• OI-QM-APPROX-1: operational equivalence at arbitrary finite precision

  readiness: readytier: foundational
  amaybaum/incompleteness#1216 · Filter by author amaybaum opened on Nov 9, 2026
  12

• OI-SM-QM-BRIDGE: trace quantum prerequisites through the Substratum-to-Standard-Model chain

  readiness: readytier: foundational
  amaybaum/incompleteness#1211 · Filter by author amaybaum opened on Nov 9, 2026
  6

• QPHEN: one OI mechanism for seven quantum phenomena (planning)

  readiness: blockedtier: exploratorytier: provisional
  amaybaum/incompleteness#1210 · Filter by author amaybaum opened on Nov 9, 2026
  16

• WAVE-SIGN-1: Main's displayed wave rule (+v memory term) differs from Substratum/SM at odd q

  readiness: partly readytier: provisionaltier: supporting
  amaybaum/incompleteness#1193 · Filter by author amaybaum opened on Nov 8, 2026
  6

• SHOULD-FIX-RT: Chapter 18 corrections and parked release-3.2 owner questions

  readiness: partly readytier: provisionaltier: supporting
  amaybaum/incompleteness#1190 · Filter by author amaybaum opened on Nov 7, 2026
  13

• KERNEL-VAC-1: ReadWriteSourced is vacuous; repair or retire readWriteSourced_not_qm/_not_control and repoint their citations

  tier: foundational
  amaybaum/incompleteness#1188 · Filter by author amaybaum opened on Nov 7, 2026

• OI-QM-EXT-1: establish conditional equivalence with explicit added conditions, then minimize and source them

  readiness: partly readytier: foundational
  amaybaum/incompleteness#1169 · Filter by author amaybaum opened on Nov 6, 2026
  160

• BSEL-2 B3: general lift feasibility, time-dependent lifts and GL2 placement

  readiness: blockedtier: exploratorytier: provisional
  amaybaum/incompleteness#1163 · Filter by author amaybaum opened on Nov 6, 2026
  1

• Axiom-checker integrity: short-name matching and non-ASCII identifiers in tools/lean_axiom_check.py

  readiness: partly readytier: provisionaltier: supporting
  amaybaum/incompleteness#1162 · Filter by author amaybaum opened on Nov 6, 2026
  15

• MAIN-GR-DEP follow-ups: downstream GR pointers, Main ll.586–590 root dependency, unnamed companion references, Substratum A1–A6

  amaybaum/incompleteness#1155 · Filter by author amaybaum opened on Nov 6, 2026
  1

• O-RDY: native ready-state preparation (general obligation)

  readiness: blockedtier: hightier: provisional
  amaybaum/incompleteness#1147 · Filter by author amaybaum opened on Nov 5, 2026
  2

• OI-QM-SEL: finite-dimensional operational selection and native distinguishability

  readiness: partly readytier: foundationaltier: provisional
  amaybaum/incompleteness#1143 · Filter by author amaybaum opened on Nov 5, 2026
  30

• GR-C4-RELAX: GR §7.2 corollary "under (C1)–(C4)" vs undischarged C4 at the horizon; running-vacuum "relax" claim vs recorded |ν| (candidate defect)

  readiness: readytier: provisionaltier: supporting
  amaybaum/incompleteness#1142 · Filter by author amaybaum opened on Nov 5, 2026

• BOOK-COINDIE: book ch01 §1.5 coin-and-die: C2 persistence vs slow-timescale form, and "the die does not evolve" (candidate defect)

  readiness: readytier: provisionaltier: supporting
  amaybaum/incompleteness#1141 · Filter by author amaybaum opened on Nov 5, 2026

• Independent review and census disposition of the four kernel-only Lean families the Introduction cites

  readiness: blockedtier: provisionaltier: supporting
  amaybaum/incompleteness#1118 · Filter by author amaybaum opened on Nov 5, 2026

• ARROW-1: is the arrow of time derived, or inherited from time-asymmetric initial conditions? (cross-document disagreement)

  amaybaum/incompleteness#1112 · Filter by author amaybaum opened on Nov 4, 2026
  9

• OI-PE-1: remaining stages PE-02, PE-03 and PE-04, and the first-milestone close (planning)

  tier: provisionaltier: supporting
  amaybaum/incompleteness#1092 · Filter by author amaybaum opened on Nov 4, 2026
  1

• REX-1: generalized, governed research-execution launcher (planning)

  amaybaum/incompleteness#1091 · Filter by author amaybaum opened on Nov 4, 2026

• READ-1: Corpus readability and explanatory clarity

  amaybaum/incompleteness#1090 · Filter by author amaybaum opened on Nov 4, 2026

• REC-GLUE: recurrent multi-time-law gluing and pre-recurrence-window approximation (parked)

  readiness: readytier: exploratorytier: provisional
  amaybaum/incompleteness#1073 · Filter by author amaybaum opened on Nov 3, 2026

• P0-GEOM: product-stratum and K₃,₃ geometry directions (parked)

  readiness: blockedtier: exploratorytier: provisional
  amaybaum/incompleteness#1072 · Filter by author amaybaum opened on Nov 3, 2026

• HYD: hydrodynamics programme — H-B admissibility and H3 closure

  readiness: blockedtier: exploratorytier: provisional
  amaybaum/incompleteness#1071 · Filter by author amaybaum opened on Nov 3, 2026
  1

• KINF-V4: seed-orbit availability (V4′)

  readiness: readytier: provisionaltier: supporting
  amaybaum/incompleteness#1070 · Filter by author amaybaum opened on Nov 3, 2026