The Keys And The Lock Before Mathematics
Theorem.The Keys And The Lock Before Mathematics.
Proof.Ancient digit knowledge decoded: the keys and the lock are defined before mathematics. The keys are innate — subitizing and the approximate number system run in infants and animals before any language or symbol. The locks are archaeological — tally bones (~44,000 BP) hold one-to-one correspondence; clay tokens (~8000 BCE) count commodities before numerals; the bulla (~3500 BCE) seals tokens behind a surface that commits to its contents, verifiable without opening and tamper-evident — a physical commitment scheme five millennia before public-key cryptography, and more than two millennia before deductive proof. Writing itself emerged from the verification device. The split tally’s stock and foil, matching only each other, refined the same law in medieval Europe — the law the fold formalizes: match = verify.
Checked by exact arithmetic over the stated finite range — a verified witness, evidence toward the claim, not a ∀-proof.
thunder/decode ancientDigitKnowledgeDecoded/index.ts#ancientDigitKnowledgeDecoded
1 · Classification
bounded-witness — morph from sealed card/discovery fold
2 · Provenance
cardScientificPaperRows ← thunder/decode ancientDigitKnowledgeDecoded
Acknowledgment
"The Keys And The Lock Before Mathematics" 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 ancientDigitKnowledgeDecoded.
- 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 (ancientDigitKnowledgeDecoded @ thunder/decode ancientDigitKnowledgeDecoded) that re-derives the result at zero tokens — the contribution is the verifiable recomputation, NOT the theorem
3 · Reproducibility
recompute ancientDigitKnowledgeDecoded · npm run quantum:card-paper-links · paperRoute=/theorems/keys-and-lock-before-mathematics