Natural Math
FROZEN FOUNDATIONInteger and developmental experiments under bounded rules.
Open projectTechnical project map
Projects are answers to questions.
No branch inherits the status of Consequential Formation or of any neighboring project.
Question: How does bounded process become measurable form?
Formation and representation
Morphology comparison and HOLD
WORKING FRAMEWORKTests what process evidence morphology carries and when unresolved evidence must remain unresolved.
Open projectAgeometrics
WORKING PAPERAsks what target-relevant value survives a geometric representation.
Open projectQuestion: Can formed history causally change later reasoning?
Cognition, authority, and the immediate build-test
Cognitive Basin
BOUNDED SOFTWARE EVIDENCEHistory-sensitive associations, contradiction scars, and recovery routes alter later reasoning access in named software fixtures.
Open projectFormationCore / Baby AI
BOUNDED SOFTWARE EVIDENCEPersistent authority, contradiction handling, retained history, and route consequences.
Open projectMinimum Formative Machine v0.1
SPECIFICATION / BUILD-TEST TARGETTests whether acquired formation causally changes recruitment, reasoning, or admissibility in the same profiled host.
Open test targetFormative Field runtime
CANDIDATE / BUILD-TEST TARGETSeparates the audit ledger from indexed susceptibilities intended to recruit a sparse active coalition.
Open runtime targetQuestion: Can formed knowledge move with fidelity?
Knowledge compilation and communication
Formation Ledger
CANDIDATEProvenance-bearing claims, relations, contradictions, conditions, and recovery routes.
Read the questionHCC / CIR / CRO
CANDIDATE ARCHITECTUREHistorical Consequential Compilation, its machine representation, and portable reachability objects.
Read the branchFormation Codec
CANDIDATECompact reconstructable state packets with explicit evidence and inference boundaries.
Read the branchQuestion: Can machines witness and use their physical formation?
Optional physical-substrate branches
Nature supplies useful routines, not a required machine implementation. Cells, metabolism, DNA, chemistry, neurons, and biological replication are not MFM requirements.
CNTM
CANDIDATE / NOT REQUIRED FOR MFMAsks whether growth history can become durable morphology and conductance, and later alter computation.
Open projectPERCEPT and reference witness
ENGINEERING INTERPRETATIONTurns thermal, electrical, aging, wear, and fault consequences into machine-usable distinctions.
Read the questionAutonomic persistence and transition
PHYSICAL TEST WORKInvestigates bounded maintenance and transition in physical apparatus.
Open projectQuestion: Which formed capabilities are physically reachable now?
Distributed embodiment and energy ecology
Embodiment reachability index
DEDICATED CANDIDATE PROGRAMTracks reachable capability, energy, authority, local formation, location, and connectivity without equating embodiment with identity.
Open programPartition and rejoin
BUILD-TEST PENDINGTests local formation divergence, bounded authority, provenance-aware reconciliation, and the rule that inaccessible is not erased.
Read the boundaryEnergy ecology
ACTIVE CANDIDATE BRANCHCompares generation, storage, conversion, regeneration, and exchange under the machine's actual load profile. No source is privileged.
Read the branchQuestion: What hidden formation sits inside the problem?
Methods and adversarial review
Address Regression
CANDIDATE METHODTraces inherited definitions, assumptions, variables, and evaluation rules before solving.
Read the methodAuthority Compiler
FINITE VERIFIED FRAGMENTFail-closed authority handling within an explicitly bounded formal fragment.
Open projectScientific Neighbors
PRIOR-ART DISCIPLINESubtracts established neighboring work before novelty or advantage is claimed.
Open review