Proof ↔ Hypergraph Bridge

← visuals index

The proof maps (2D/3D) are annotated with artifact links: click a theorem/definition and the details pane shows the corresponding Wolfram multiway/hypergraph visualizations and interactive viewer deep-links.

How to Use

  1. Open a proof map: 2D or 3D.
  2. Search for one of: Counterexamples.CE1.not_causalInvariant, Counterexamples.CE2.not_confluentNF, WM148.causalInvariant.
  3. Click the node; in the details pane, use the Artifacts section to jump to the matching hypergraph assets.

CE1 — Confluent ∧ ¬CausalInvariant

Open proof map (2D) Open proof map (3D) Open multiway viewer

Primary nodes: HeytingLean.WPP.Wolfram.Counterexamples.CE1.confluentNF, HeytingLean.WPP.Wolfram.Counterexamples.CE1.not_causalInvariant.

CE1 combined graph

CE2 — CausalInvariant ∧ ¬Confluent

Open proof map (2D) Open proof map (3D) Open multiway viewer

Primary nodes: HeytingLean.WPP.Wolfram.Counterexamples.CE2.causalInvariant, HeytingLean.WPP.Wolfram.Counterexamples.CE2.not_confluentNF.

CE2 combined graph

WM148 — Fresh-Vertex Semantics Case Study

Open WM148 proof map (2D) Open WM148 proof map (3D) Open multiway viewer

Primary node: HeytingLean.WPP.Wolfram.WM148.causalInvariant.

WM148 multiway graph

Interactive Viewer (Embed)

The embedded viewer defaults to CE1; use the selector inside to switch systems.

Tip: nodes with attached artifacts are rendered slightly larger (and with a subtle halo) in the proof maps.