the Sothic cycle meshes the Egyptian civil year exactly — 1461 civil = 1460 Julian
Theorem.the Sothic cycle meshes the Egyptian civil year exactly — 1461 civil = 1460 Julian — 1461 × 365 = 1460 × 365.25 = 533 265 days.
Proof.the vague year is exactly 365 = 12·30 + 5 epagomenal = 36 decans of 10 + 5; slipping one day per four years against the Sirius rising it laps in 1461 civil years = 1460 Julian years = 533 265 days exact (Censorinus 238 CE) — recomputed as a coupled-cycle torus; the discredited 4241 BC long chronology stays flagged.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/thunder/decode/index.ts#coupledCalendarTori
1 · Classification
finite-complete — self-contained computation, no external lean
2 · Provenance
Documented theorem re-derived by exhaustive computation (humanityNovel=false); first-in-this-registry is the only sense of discovered.
Acknowledgment
"the Sothic cycle meshes the Egyptian civil year exactly — 1461 civil = 1460 Julian" is a re-derivation, acknowledged to documented mathematics — the original proof is the prior art this re-derivation acknowledges; not new to humanity — the contribution is the reproducible computation coupledCalendarTori.
- Prior art
- documented mathematics — the original proof is the prior art this re-derivation acknowledges
- Novelty
- not new to humanity — a re-derivation (humanityNovel = false)
- Contribution
- a reproducible computation (coupledCalendarTori @ src/thunder/decode) that re-derives the result at zero tokens — the contribution is the verifiable recomputation, NOT the theorem
3 · Reproducibility
Recompute from source: npm run theorems:verify recomputes coupledCalendarTori (src/thunder/decode/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.