Keep native mathematics
Removing a noun is not permission to flatten domain-specific equations or discard established controls.
CF's first operation
Suspend the inherited category. Keep the evidence.
Category suspension is constitutive of Consequential Formation, not an optional lens beside it.
Human knowledge is a map drawn on the cave wall.
Some lines mark real cliffs. Some mark useful trails. Some carry historical assumptions or compress several phenomena into one label. CF temporarily withholds a line's explanatory privilege and looks at the territory again.
A noun that was never removed cannot be said to have survived the CF filter. Removing a word does not remove observations, ban ordinary language, or prove the category false.
The current operation
SUSPENDOBSERVEDISTINGUISHTRACE CHANGETRACE RETENTIONMAP CONSTRAINTMAP REACHABILITYAUDIT INDEPENDENCERECONSTRUCTTYPE THE RETURNRENAME ONLY IF EARNED
The category must earn its way back twice
- Boundary test
Does observation or intervention force some version of the distinction back?
- Independence test
Can the returned concept be defined without importing the other relations reconstructed with it?
- Type the return
Classify it as PRIMITIVE, OFFICE, INDEX, OPERATOR, COMPOSITE / EMERGENT, COMPRESSION NOUN, or OPEN DEBT.
- Test the consequence
State a prediction, intervention, native comparison, or kill condition.
Remove the old noun. Reconstruct. Then remove our new noun too.
Try it on one system
Rules that keep the method honest
Permit incomparability and no change
Two domains may share a signature while lacking a valid mapping. INCOMPARABLE, UNSUPPORTED, METHOD FAILED, and NO CHANGE are legitimate results.
Audit our vocabulary too
Reachability, closure, access, recoverability, formation, constraint, and distinction are not immune from the same test.
Public state transfer, not hype
Latest Related Research Release
A dated reportable change linked to its original evidence package. Project authority and historical boundaries remain intact.
Research Release Sep 15, 2026
Formation Protocol Reaches the Build Threshold
Consequence -> retained distinction -> changed future selectivity. Two adversarial rounds have defined enough structure to build the smallest Formation Kernel that can prove the candidate mechanism wrong.