Illustrative · unadmitted fixture
Define a minimal conservative formal fragment for the proposed junction rewrite
- theoretical
Open problem
Can the proposed two-junction 2→2 rewrite be stated as a finite typed local rule with an explicit conserved boundary and no hidden global selector?
Why it remains open
The cited defect algebra and observed reconnections do not supply an interaction-net signature, typing discipline, or reduction semantics.
Scope
A formal candidate language for typed trivalent junction states, distinguished arms, four-boundary interfaces, and one bounded rewrite family.
Next discriminating criticism or test
Attempt to construct two indistinguishable local inputs whose allowed outputs differ only because of global context; such a pair criticizes locality of the formal fragment.
Explicit non-claims
This topic does not claim that the formal rule exists in chiral nematics, is universal, confluent, computationally complete, or physically implementable.
Exact origins
illustrative-chiral-nematic-interaction-net-conjecture@1· derived from · illustrative conjecture revision
Search coordinate
Unclassified. No prospective coordinate is published or admitted for this topic.
Typed topic relations
illustrative-conditional-locality-diamond-tests@1depends onillustrative-minimal-conservative-formal-fragment@1
History and provenance
- Topic
illustrative-minimal-conservative-formal-fragment- Revision
- 1
- Authority
- illustrative-unadmitted-fixture
- Canonical admission
- no
- History rows
- 2
- Provenance claims
- 0