Keep native mathematics
Removing a noun is not permission to flatten domain-specific equations or discard established controls.
The method
A temporary subtraction test for inherited categories.
Some lines mark real cliffs. Some mark useful trails. Some carry historical assumptions or compress several phenomena into one label. We erase one line temporarily and look at the territory again.
Name the inherited category and the work we expect it to do.
Set the noun aside without discarding measurements, mechanisms, constraints, or domain knowledge.
Reconstruct only the relations and operations still required by the evidence.
Record whether the boundary returned, moved, divided, weakened, or remained unresolved.
State a prediction, intervention, comparison, or kill condition.
Removing a noun is not permission to flatten domain-specific equations or discard established controls.
Two domains may share a signature while lacking a valid mapping. "Incomparable" is a legitimate result.
The method succeeds when it discovers the inherited category was already doing useful, evidence-backed work.