the quantities pyramidsDecodeIntoTheorems computes for this theorem (sites, bandFraction, slopeDeg, count), drawn from its own run — no other proof returns them

The pyramids decode into theorems

pyramidsDecodeIntoTheorems · src/6/4 · finite-complete

6/4 finite-complete self-contained anim/polytope

Theorem.The pyramids decode into theorems.

Proof.the Great Pyramid's slope is integer masonry (seked 5½ → arctan(14/11) matching the surveyed 72²/100 degrees), and BOTH famous ratios fall out of that one choice — perimeter/(2·height) = 22/7 exactly and slant/half-base within 0.05% of φ; the 10 documented sites span a computed latitude band covering 40.7% of Earth, s.

The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎

src/6/4/index.ts#pyramidsDecodeIntoTheorems

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 pyramids decode into theorems" 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 pyramidsDecodeIntoTheorems.

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 (pyramidsDecodeIntoTheorems @ src/6/4) 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 pyramidsDecodeIntoTheorems (src/6/4/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.