Formal research
Boundary Theory
A research program seeking rigorous cross-domain primitives and structure-preserving relationships around boundaries, distinctions, representation, and closure.
Active bounded research program
Testing Cross-Domain Operational Homology
A retained negative-capable research program tests whether recurring cross-domain vocabulary preserves linked operational structure rather than merely sharing words.
- 01
The unit of comparison is a tuple of roles, relations, state, transitions, invariants, boundaries, witnesses, failures, responsibility, and repair.
- 02
Mappings are graded L0 through L5; token resemblance and semantic resemblance are explicitly weaker than operational homology.
- 03
The program includes bounded invoice and research-provenance cases plus a counterexample ledger that rejects or limits mappings when structure breaks.
- 04
A negative or bounded result counts as successful research when it blocks a stronger false claim.
src/content/artifacts/testing-cross-domain-operational-homology.mdKEEP EXPLORING