The equation library
Every recovered mathematical record has an individual page. Browse original equations, code expressions, indexed components, parameter definitions, and explicitly unresolved source slots.
Counts refer to mathematical records, including implemented expressions and generated instances. They are not counts of independently validated theories. Exact occurrences and unresolved slots remain traceable. Read the complete 1–516 source index ↗ · Inspect the scan decisions ↗
MEGAMIND source index 478: Binding field
The technical specification reserves equation number 478 in its Binding field group. The recovered text does not supply an unambiguous formula-to-number mapping for this slot. This page preserves that source entry and its research gap; no equation has been reconstructed from the number alone.