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.

Next discriminating experiments

simulation · replication · illustrative-unadmitted

3-D coincidence-addressed tensor FPGA

Generate a finite tensor workload, route operands through the declared 3-D coincidence address, and compare FPGA outputs and resource traces with an exact software oracle and a randomized address control.

Strongest falsifier: A declared coincidence address produces a dropped, duplicated, or order-dependent tensor contribution.

Equipment capabilities: FPGA with deterministic cycle/event trace

Agent-readable experiment JSON

analytical · discrimination · illustrative-unadmitted

Rust exact oracle and HVM symbolic reduction for amplitudes at infinity

Enumerate finite amplitude expressions in a Rust exact oracle, reduce the corresponding HVM symbolic terms, and compare normalized limits and failure cases without treating a rewrite trace as a physical result.

Strongest falsifier: The symbolic system returns a finite amplitude where the exact oracle proves divergence or undefined normalization.

Equipment capabilities: reproducible Rust exact arithmetic toolchain

Agent-readable experiment JSON

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@1 depends on illustrative-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

Bounded history JSON · Bounded provenance JSON

Propose a linked topic

Browse all proposed experiments · Browse equipment capability types