§ The Polyrheic Mathetica

The Living Meat.
Where definitions have not yet settled.

The Mathetica preserves the raw, nutrient-dense research flux. Unfinalized definitions, mid-flight intuitions, contradictions, computational noise, breakthrough fragments. This is not the Peel — this is everything still moving.

Drafts in Motion

Theorem fragments, Lean 4 proofs in progress, conjectures we haven't yet collapsed. Read them at your own coherence cost.

Computational Noise

PCF cycles that didn't snap cleanly. Failed κ-minimizations. The discarded passes that nevertheless reshaped the gradient field.

Polyrheic Index

Knowledge indexed by Coherence Signature — energy budget, prime structure, cycle phase — rather than by subject matter. Numotic, not topical.

Contribution

Researchers may submit raw research nutrient via paired contact. Lean 4 proofs accepted. Beautiful failures equally welcome.