Illustrative · unadmitted fixture

Simulate conditional locality and diamond tests for overlapping rewrites

Open problem

Do independently enabled local junction rewrites commute, or does their outcome depend on update order, remote state, or the applied pulse history?

Neither cited source tests interaction-net confluence, conditional locality, or critical-pair behavior.

Finite defect-graph simulations over explicitly declared local states, boundaries, drive schedules, and overlapping redexes.

Enumerate bounded overlapping rewrite pairs and run a diamond test; record any pair whose terminal boundary state depends on reduction order.

Passing a finite simulation suite would not establish physical realization, general confluence, or computation beyond the simulated fragment.

illustrative-chiral-nematic-interaction-net-conjecture@1 · tests · illustrative conjecture revision

Unclassified. No prospective coordinate is published or admitted for this topic.

illustrative-conditional-locality-diamond-tests@1 depends on illustrative-minimal-conservative-formal-fragment@1

History and provenance