Encyclopedia/All topics/Recognition
Recognition
Articles 1–12 of 12. Alphabetical by title.
Recog Geom Composition
When two observers each see part of a scene, putting their reports together reveals more than either alone, a fact Recognition Science proves in a machine-checked library.
Recog Geom Core
Recognition geometry builds space from the act of recognizing, and its core module lays the first two stones: something exists, and it can be told apart.
Recog Geom Indistinguishable
When a recognizer maps many configurations to one event, those configurations become indistinguishable, and the resulting equivalence classes are the smallest units of reality the
Recog Geom Quotient
A quotient construction that collapses configurations a recognizer cannot tell apart, proving the observable structure is exactly what remains.
Recog Spec Bands
A recognition band is a tolerance window for matching a value, and the module proves the simplest window always contains its own center.
Recog Spec Closure Shim
A small bridge in a machine-checked library that connects two inevitability statements to the recognition closure property they jointly force.
Recog Spec Core
A small set of formal definitions lets Recognition Science state exactly what a physical theory must predict, without building any physics in by hand.
Recog Spec Inevitability Scaffold
A working scaffold that demonstrates how the framework's core results fit together, explicitly marked as not yet a certified proof surface.
Recog Spec Observable Payloads
The module replaces raw lists of numbers with named, typed records for lepton mass ratios and quark mixing angles, so the framework's predictions carry their meaning with them
Recog Spec Phi Selection Core
A single rule picks the golden ratio out of all possible numbers: the one that satisfies φ² = φ + 1 and is positive.
Recog Spec Rsledger
A machine-checked structure that places particle masses on discrete rungs, with generation offsets derived from cube geometry.
Recog Spec Spec
A machine-checked specification showing that any recognition ledger has exactly one way to set its units.