Repository navigation

Import the Apollonian classification of integer superharmonic matrices - #805

Open

Vilin97 wants to merge 23 commits into

mainfrom

codex/daily-superharmonic-20261111

Open

Import the Apollonian classification of integer superharmonic matrices#805
Vilin97 wants to merge 23 commits into
mainfrom
codex/daily-superharmonic-20261111

Commits on Nov 12, 2026
- Checkpoint compiling Apollonian superharmonic port
  Vilin97
  committed
  2de1cf4
- Optimize Apollonian superharmonic formalization and finish validation
  Vilin97
  committed
  6f2ef60
- Simplify finite ownership selection proof
  Vilin97
  committed
  6713da1
- Share the tile odometer domain proof
  Vilin97
  committed
  e38241e
- Finish shared odometer API and document retained scope
  Vilin97
  committed
  2fe2f14
- Reuse shared Apollonian geometry proofs and narrow helper contracts
  Vilin97
  committed
  d805f57
- Share recurring geometric facts and remove duplicate private proofs
  Vilin97
  committed
  dfd58c0
- Narrow private helper captures and strengthen boundary concatenation
  Vilin97
  committed
  5e970f1
- Share lattice geometry facts and narrow proof interfaces
  Vilin97
  committed
  381f4fe
- Share remaining Apollonian infrastructure and localize elementary proofs
  Vilin97
  committed
  12372a9
Commits on Nov 13, 2026
- Share grid path reversal and remove redundant proof interfaces
  Vilin97
  committed
  2257e80
- Share prototile invariants and document vector initialization
  Vilin97
  committed
  07f2252
- Reduce private proof context and reuse repeated facts
  Vilin97
  committed
  c311c3b
- Refine helper interfaces and share geometric facts
  Vilin97
  committed
  6f193e8
- Share Ford geometry facts and isolate vector negation dependencies
  Vilin97
  committed
  e96e708
- Remove unused proof scaffolding and narrow geometry helpers
  Vilin97
  committed
  991527a
- Generalize touching-to-bordering to nonempty tiles
  Vilin97
  committed
  ce59cd5
- Share tile-string construction and remove unused geometric setup
  Vilin97
  committed
  bafbfeb
- Reuse canonical sector, tile and face-path constructions
  Vilin97
  committed
  f6c11c9
- Remove dead private scaffolding and share lattice primitives
  Vilin97
  committed
  65a99d6
- Share adjacent-cell geometry and simplify forwarding proofs
  Vilin97
  committed
  81d23d7
- Share frame algebra and boundary incidence proofs
  Vilin97
  committed
  ae250f7
- Generalize Gaussian coordinates and neighbor selection proofs
  Vilin97
  committed
  7eff471

Commits

Commits on Nov 12, 2026

Commits on Nov 13, 2026