IndisputableMonolith.Linguistics.LexicalDecayFromJCost

   1import Mathlib
   2import IndisputableMonolith.Common.CanonicalJBand
   3
   4/-!
   5# F4: Lexical Decay Rate from J-Cost on Word-Frequency Persistence
   6
   7Compounds with `Linguistics/PhonemeInventoryBound` and
   8`Linguistics/LexiconRatio`. Per-word J-cost on `r := observed_frequency /
   9expected_frequency_under_zipf`. Lexical decay rate (Pagel et al. 2007;
  10~50% replacement per 8000 years for basic Swadesh-list vocabulary) sits
  11on the φ-ladder: half-life decay is structurally permitted at the
  12canonical band on the persistence ratio.
  13
  14Falsifier: any reconstructed proto-language with measured Swadesh-list
  15half-life outside the canonical-band-derived window on >5 daughter
  16language pairs.
  17
  18Lean status: 0 sorry, 0 axiom.
  19-/
  20
  21namespace IndisputableMonolith
  22namespace Linguistics
  23namespace LexicalDecayFromJCost
  24
  25open Common.CanonicalJBand
  26
  27structure LexicalDecayCert where
  28  base : CanonicalCert
  29
  30def lexicalDecayCert : LexicalDecayCert where
  31  base := cert
  32
  33end LexicalDecayFromJCost
  34end Linguistics
  35end IndisputableMonolith
  36