Exact law induction
Reasoner (3,8) passed all 743,184 sealed decisions after approximate raw transfer failed.
Active scientific line
Reason first.
Seal before language.
Reasoner gathers structured evidence, chooses verified actions, commits a sealed answer, and gives language no path back into the completed trace.
Current frontierReasoner (3,9)
EvidenceExternal public
Active experimentNone
Current claim
Active compositional law induction inside a fixed language.
Reasoner (3,9) identified all 744 fresh sealed laws, made all 2,844 active evidence queries exactly, and passed every registered control. This does not establish open-ended reasoning or invention outside the typed integer program language.
Boundary evidence
Raw observation transfer
Reasoner (3,7) missed 336 of 482,304 decisions. No retry or post-seal tuning followed.
Relational minimality
The relational arm solved every program but used eight non-minimal traces.
Proposed next question
Reasoner 4.0 · representation transfer
Can the frozen (3,9) core infer a structured input adapter from examples, then solve a fresh sealed representation without a task label, hand-coded domain switch, or core change?
No contract or run is authorized by this page.