The ISA Opcodes

Twelve operations. One language for quantum physics, topological phases, molecular computing, the geometric Langlands programme, and more — from classical Turing machines to the full Meld.

Graphical calculus legend: 🕷️ present in ZX calculus · 🕷️* partial (ZX has a related construct but not the full ISA semantics) · 🐸 present in the 731 Frog Calculus · unmarked = ISA-native

Opcode symbols (used in the LaTeX papers): filled = creation, hollow = annihilation. The symbol shape encodes the abstract arity — how many wires in, how many out. The Pachner move counts (1→4, 3→1, etc.) are the 3-manifold incarnation of this arity, not its definition; the same opcodes appear with different in/out counts in spectroscopy, finance, and quantum information. See the incarnations table below.

Opcode	Symbol	Categorical morphism	Abstract role
SPLIT	■	Comultiplication $\Delta: A \to A \otimes A$ (Frobenius/bialgebra)	1-to-many; any diagonalisation or fan-out
SPLAT	◇	Counit $\varepsilon: A \to k$ (Frobenius); evaluation map	many-to-1; any projection or evaluation
FLIP	▲	Dagger functor $(-)^\dagger$; pivotal structure $V \cong V^{**}$	orientation reversal; duality
FLOP	△	Trace $\mathrm{Tr}: \mathrm{End}(V) \to k$; cup in compact closed category	closure; trace; Born rule
TWIST	↻	Ribbon element $\theta_V: V \to V$; topological spin	phase / monodromy; 1-to-1 with memory
SPIN	⊛	$\mathbb{Z}_3$ gauge automorphism; triality $V \to S^+ \to S^- \to V$	order-3 cycling; triality gauge
LABEL	▪	Idempotent $e: A \to A$, $e^2 = e$; augmentation $\varepsilon: \mathcal{H} \to \mathbb{C}$	sector selection; idempotent projection
BIND	⋈	Associator $\alpha_{A,B,C}: (A \otimes B) \otimes C \xrightarrow{\sim} A \otimes (B \otimes C)$; $F$-matrix	non-associative fusion; recoupling
ORBIT	○	Trace in a traced monoidal category $\mathrm{Tr}^U_{A,B}: \mathcal{C}(A \otimes U, B \otimes U) \to \mathcal{C}(A,B)$	feedback loop; G-set walk; closed orbit
MELD	●	Handle operator in TQFT; filled circle = topological class creation	deepest fusion; handle attachment
FORK	⑂	Copairing / comonoid comultiplication $\delta: A \to A \otimes A$ (asymmetric)	directed 1-to-2 branching; coboundary
SUPERPOSE	⊕	Biproduct $A \oplus B$; direct sum in Ab-enriched category	linear superposition; direct sum
ENTANGLE	⊗	Tensor product $A \otimes B$; non-local correlation in compact closed category	non-local correlation; tensor product

The dagger map σ swaps creation ↔ annihilation: σ(■) = ◇, σ(▲) = △, σ(○) = ●, σ(⊕) = ⊗. The Frobenius identities are ◇∘■ = △∘▲ = id.

Opcode incarnations across domains

The same abstract opcode appears with different in/out counts depending on the domain. The Pachner move is the 3-manifold instance; spectroscopy, quantum information, and finance each have their own realisation.

Opcode	3-manifold (Pachner)	Spectroscopy / rep theory	Quantum information	Finance
SPLIT	1 tet → 4 tets	1 rep → CG sum of irreps	1 qubit → entangled register	1 exposure → risk factor legs
SPLAT	4 tets → 1 tet	CG sum → 1 rep (6j evaluation)	many states → 1 measurement outcome	risk factor legs → net P&L
FLIP	1 tri → 3 tris	coupling ↑ by one j (raising)	dagger / time-reversal	long ↔ short position
FLOP	3 tris → 1 tri	coupling ↓ by one j (lowering)	cup / partial trace	born rule on exposure
TWIST	Dehn twist	Clebsch–Gordan phase $(-1)^{j}$	Berry phase / ribbon element	convexity correction; drift
BIND	non-Pachner; obstruction	Racah recoupling ($6j → 9j$)	$F$-matrix; non-Abelian anyon	H² snap event (systemic crisis)
ORBIT	closed triangulation loop	closed G-orbit on weight lattice	feedback in quantum circuit	closed risk cycle (H¹ feedback loop)
LABEL	face/edge colouring	quantum number assignment	stabiliser projection	scenario / regime selection

Why twelve opcodes, and why these twelve?

The Origami ISA is not an arbitrary instruction set. It is the minimal magmoidal extension of the free traced symmetric monoidal category (TSMC — a monoidal category with a trace operation closing loops in the string diagram) — the smallest opcode set that is both TSMC-complete and magmoidal-complete. Every opcode except BIND is a named morphism in the TSMC + Frobenius structure (the “spider calculus”). BIND is the unique opcode that requires a magmoidal extension: it encodes a non-trivial associator, realised physically as G₂/octonion symmetry.

The twelve opcodes form a completeness hierarchy: each new opcode lifts the ISA to the next level of the cohomological (H^k) computational tower, and no opcode at level k can be simulated by any combination of opcodes at level k−1. The H^k tiers are not merely a grading — they are the homology groups of a genuine chain complex (see Theorem 3 below).

Monoidal categories underlie all of mathematical physics for the same reason: any system in which operations compose in parallel and in sequence — quantum circuits, Feynman diagrams, tensor networks, representation theory, the Langlands correspondence — is an object in some monoidal category. The twelve opcodes are the universal generating morphisms of that structure, extended to include the non-associative (magmoidal) and non-local (compact closed) regimes.

This is why the same operations appear in nuclear spectroscopy, topological quantum computing, loop quantum gravity, financial XVA, the geometric Langlands programme, protein folding, and the ribosome. They are not analogies. They are the same categorical morphisms, running on different physical hardware.

How precise are the ISA mappings across domains? The mappings range from exact algebraic theorems (Tier A: Fano commutation structure, Casimir identity, Wigner vertex theorem) to quantitative predictions verified by experiment (Tier B: MCMC optimal acceptance rates, GEV shape parameter, Shor mana = 0) to useful organisational language for hierarchies the field already knew were hierarchical (Tier C: Pearl’s causal ladder, fairness taxonomies). The programme does not claim all mappings are equally strong — see the full precision taxonomy.

The ISA is semiring-polymorphic

The Origami ISA is not tied to a specific number system. Every opcode has a semiring-polymorphic definition: the same programme computes different things depending on the semiring in which it is evaluated. The semiring is the runtime; the ISA is the programme.

Semiring	Runtime name	Hardware
$(\mathbb{R}\cup{-\infty}, \max, +)$	Tropical / Origami ISA	CPU
$(\mathbb{R}_{>0}, +, \times)$	Gibbs / Forge ISA	GPU / TPU
$(\mathbb{C}, +, \times)$	Meld ISA	Quantum processor
$(\mathbb{Z}_p, +, \times)$	p-adic / U-MGE	PPU
$(\mathbb{A}_\mathbb{Q}, +, \times)$	Adèlic / A-MGE	PPU array + quantum

Semiring	SPLIT computes	TWIST computes
Tropical	argmax fan-out	phase = sign flip
Gibbs	Boltzmann fan-out	Berry phase weight
Meld	amplitude fan-out	ribbon / Berry phase
p-adic	modular fan-out	Gauss sum $\tau_p$
Adèlic	adèlic fan-out	product of Gauss sums

This is why the ISA appears in so many domains without modification: nuclear spectroscopy, quantum information, financial risk, and protein folding are all running the same opcodes, but over different semirings suited to their physics. The Clifford group is the ISA’s Clifford sector evaluated in $(\mathbb{C},+,\times)$; tropical optimisation is the same ISA evaluated in $(\mathbb{R}\cup{-\infty},\max,+)$. The Gottesman-Knill theorem says the Clifford sector admits efficient classical simulation — equivalently, that the $(\mathbb{C},+,\times)$ ISA collapses to the $(\mathbb{R}\cup{-\infty},\max,+)$ ISA for Clifford-only programmes. Magic states are the programmes that do not collapse.

The semiring-programmable Origami processor is the long-term hardware vision: a single chip that accepts an ISA programme and a semiring specification at programme-load time, and routes to the appropriate arithmetic units — floating-point for the Forge ISA, NTT/Montgomery chain for the p-adic ISA, complex FMA for the Meld ISA. See forge-meld.md for the β-plane geometry that relates the semirings to each other.

String diagrams

Every opcode has a string diagram — the graphical calculus of monoidal categories, popularised in quantum information by Coecke and Abramsky (2004) and in topological field theory by Reshetikhin and Turaev (1991). In string diagrams:

Wires (lines) represent objects (vector spaces, representations, anyons)
Boxes (nodes) represent morphisms (linear maps, operations)
Composition is vertical stacking (sequential)
Tensor product is horizontal juxtaposition (parallel)
Orientation of a wire matters: upward = the object, downward = its dual

The diagrams below are described in text; the LaTeX figures appear in Paper 258 (Origami Calculus) and Paper 349.

The seven opcodes

SPLIT 🕷️

One wire becomes two (or one tetrahedron becomes four).

    │
    │
  ──┴──
  │   │
  │   │


String diagram	Comultiplication $\Delta: A \to A \otimes A$ — one wire splitting into two
Pachner move	$1 \to 4$ (one tetrahedron replaced by four sharing a central vertex)
Category theory	Coproduct / comultiplication of a bialgebra or Hopf algebra
Algebra	Coproduct $\Delta(E) = E \otimes K + 1 \otimes E$ in quantum group $U_q(\mathfrak{sl}_2)$

Where SPLIT appears:

Domain	Instance	What splits
Quantum mechanics	Fourier / Bogoliubov transform	Single mode → momentum modes
Angular momentum	Clebsch-Gordan decomposition	Product representation → irreducibles
Nuclear physics	Racah recoupling	3-body state → sum of 2-body products
Langlands programme	Hecke eigendecomposition	Automorphic form → Hecke eigensheaves
Quantum error correction	Stabiliser expansion	Logical qubit → physical qubit register
Finance	Factor decomposition (PCA on yield curve)	Portfolio → risk factors

Key role: SPLIT is always the diagonalisation step — the moment a composite object is resolved into its irreducible pieces. Every Fourier transform, every change of basis, every spectral decomposition is a SPLIT.

SPLAT 🕷️

Two wires become one (or four tetrahedra become one).

  │   │
  │   │
  ──┬──
    │
    │


String diagram	Multiplication $\mu: A \otimes A \to A$ — two wires merging into one (or a cap: one wire curling down to nothing)
Pachner move	$4 \to 1$ (four tetrahedra sharing a vertex collapsed to one)
Category theory	Counit $\varepsilon: A \to k$ of a Frobenius algebra; or the evaluation map $A^* \otimes A \to k$
Algebra	The $6j$-symbol / Racah coefficient; the POVM measurement map

Where SPLAT appears:

Domain	Instance	What gets projected
Angular momentum	$6j$-symbol evaluation	Recoupling amplitude → scalar
Quantum gravity	Ponzano-Regge vertex amplitude	Spin foam face → amplitude
Quantum information	Character POVM measurement	State → outcome probability
Bethe ansatz	Scalar product of Bethe states	Rapidities → norm
Langlands programme	L-function evaluation $L(s, \pi)$	Automorphic form → complex number
Finance	Portfolio valuation	Risk factor exposure → P&L scalar

Key role: SPLAT is always the evaluation step — the moment a structured object is projected to a number. Every inner product, every measurement, every partition function evaluation is a SPLAT.

The Frobenius axiom $\mathrm{SPLAT} \circ \mathrm{SPLIT} = \mathrm{id}$ (the counit-comultiplication identity) is the algebraic statement that diagonalisation followed by projection is the identity — you get back what you put in. This is the Pentagon identity in disguise, and it is simultaneously the Biedenharn-Elliott identity of angular momentum, the no-arbitrage condition in finance, and the topological invariance of Ponzano-Regge amplitudes.

TWIST 🕷️*

A wire acquires a phase (a curl or loop in the diagram).

    │
   ╭╯
   │
   ╰╮
    │


String diagram	Ribbon element $\theta_V: V \to V$ — a wire looping through a full $2\pi$ twist (a curl)
Pachner move	Gauge move (no change in triangulation topology; changes the phase of the amplitude)
Category theory	The ribbon element / twist morphism of a ribbon category; the natural isomorphism implementing the topological spin
Algebra	$\theta_j = q^{j(j+1)}$ (topological spin of a spin-$j$ anyon in $\mathrm{SU}(2)_q$)

Where TWIST appears:

Domain	Instance	What acquires the phase
Topological phases	Berry phase / Chern number	Wavefunction under adiabatic loop
Anyons	Topological spin $\theta_a = e^{2\pi i h_a}$	Anyon under $2\pi$ rotation
Phase transitions	BKT / TWIST failure at $\beta^* = \tfrac{1}{2}$	Quantum dimension $d_{1/2}(\beta) \to 0$
AZ classification	Chiral zero mode (S symmetry)	Edge state phase
Langlands programme	Monodromy of a local system	Parallel transport around a loop on the curve
Weil conjectures	Riemann hypothesis (zero-free region)	Zeta function zeros stay off the critical line

Key role: TWIST is the gap / topology check — it encodes whether the system is in a topologically non-trivial phase. TWIST failure (the amplitude $d_{1/2}(\beta)$ reaching zero) is the universal signature of a phase transition across all models in the $\mathrm{SU}(2)_q$ family. See BKT Transition / TWIST Failure for the full treatment.

FLIP 🕷️

A wire reverses orientation (arrow pointing down instead of up).

    ↑         ↓
    │   →     │
    │         │


String diagram	Dagger functor $(-)^\dagger: \mathcal{C} \to \mathcal{C}^{op}$ — all wire orientations reversed; or the pivotal structure $V \cong V^{**}$
Pachner move	$1 \to 3$ (one triangle replaced by three sharing a central vertex) — the 2D orientation reversal
Category theory	The dagger / adjoint functor; the pivotal structure on a ribbon category; an anti-involution
Algebra	Anti-unitary operator squaring to $\pm 1$; transpose of the Cartan matrix (root orientation reversal)

Where FLIP appears:

Domain	Instance	What gets reversed
Quantum mechanics (AZ)	Time reversal $T$; $T^2 = +1$ (real) or $T^2 = -1$ (quaternionic)	Time coordinate
PT symmetry	Anti-unitary $\mathcal{T}$ in Bender-Boettcher PT quantum mechanics	Time
Topological phases	Kramers degeneracy ($T^2 = -1$, class AII/CII)	Kramers pairs
Langlands programme	Langlands duality $G \leftrightarrow G^\vee$ (root-system orientation reversal)	Long roots ↔ short coroots
Braiding / anyons	Charge conjugation; anti-particle	Anyon ↔ anti-anyon
ZX-calculus	Wire reversal (upward ↔ downward arrow)	Computational direction

FLIP fixed points (self-dual groups where FLIP = identity): $GL_n$, $G_2$, $F_4$, $E_8$. The self-duality of $G_2$ under FLIP is the 731 theorem (Paper 271). In the Langlands programme, these self-dual groups are the most symmetric — and the hardest — cases.

Key role: FLIP is the duality / orientation opcode. Any time a computation has a “left–right” or “past–future” symmetry, FLIP is the operation that implements it. The distinction between real ($T^2=+1$) and quaternionic ($T^2=-1$) FLIP is the distinction between the Origami-ISA column and the Meld-ISA column of the Baez threefold way.

FLOP 🕷️*

A wire curls under into a cup (fermionisation).

  │   │
  │   │
  ╰───╯


String diagram	Frobenius co-unit evaluation / cup: $A \otimes A \to k$ — two wires meeting at the bottom in a cap
Pachner move	$3 \to 1$ (three triangles sharing a vertex collapsed to one)
Category theory	The Frobenius co-unit; the trace map $\mathrm{tr}: \mathrm{End}(V) \to k$; the Born rule
Algebra	Jordan-Wigner string; Majorana fermion creation/annihilation; particle-hole conjugation $C$

Where FLOP appears:

Domain	Instance	What gets fermionised
Condensed matter (AZ)	Particle-hole symmetry $C$; $C^2=+1$ (Majorana) or $C^2=-1$ (complex fermion)	Particle ↔ hole
1D quantum models	Jordan-Wigner transform	Spin chain ↔ fermion chain
Quantum gravity	Trace / inner product in LQG	Spin network state → amplitude
Finance	Born rule / expectation value	Density matrix → portfolio expectation
Langlands (abelian)	Class field theory / $GL_1$ reciprocity	Hecke character → Galois character

FLOP and the division algebra ladder:

FLOP producing a Majorana co-unit ($C^2=+1$): lives at the $\mathbb{R}$-rung (Origami ISA, GOE, Dyson $\beta_D=1$)
FLOP producing a complex fermion co-unit ($C^2=-1$): lives at the $\mathbb{H}$-rung (Meld ISA, GSE, Dyson $\beta_D=4$)
No FLOP: lives at the $\mathbb{C}$-rung (Forge/Meld ISA, GUE, Dyson $\beta_D=2$)

Key role: FLOP is the fermionisation / Born rule opcode. It is present in every model where particle statistics matter. Its sign ($C^2=\pm1$) is the deepest structural label in the AZ tenfold way — the distinction between Majorana (self-conjugate) and Dirac (complex) fermions.

LABEL 🕷️

A wire passes through a projector (sector selection).

    │
  ┌─┴─┐
  │ e │   (e² = e)
  └─┬─┘
    │


String diagram	Idempotent / projector $e: A \to A$ with $e^2 = e$ — a box on a wire that squares to itself
Pachner move	No direct Pachner counterpart; it is the colouring operation that labels edges/faces before Pachner moves act
Category theory	The splitting of an idempotent; the augmentation map $\varepsilon: \mathcal{H} \to \mathbb{C}$ selecting the $+1$ eigenspace
Algebra	Gauge fixing; stabiliser projection; sector selection; the Satake isomorphism

Where LABEL appears:

Domain	Instance	What gets labelled
Quantum error correction	Stabiliser projection	Logical qubit sector
Gauge theory	Gauge fixing (Lorenz, Coulomb, …)	Physical Hilbert space
Anyons	Anyon type assignment to worldlines	Topological sector
Bethe ansatz	Vacuum selection (reference state)	Pseudovacuum sector
Langlands programme	L-function / automorphic representation $\pi$	Hecke eigenvalue
PT symmetry	Parity sector projection $\mathcal{P}$	Even / odd parity eigenspace
Finance	Scenario / regime selection	Market state

LABEL failure = PT phase transition. When PT symmetry spontaneously breaks (Bender-Boettcher), eigenstates of $H$ are no longer eigenstates of $\mathcal{PT}$: LABEL can no longer project onto definite-parity sectors. The parity sectors mix at the exceptional point.

Key role: LABEL is the sector / gauge / colour opcode. It is always the operation that selects which subspace of the full Hilbert space the computation lives in. Every gauge-fixing, every stabiliser projection, every quantum number assignment is a LABEL.

BIND 🐸

Three wires enter a vertex (non-Abelian fusion; associator).

  │   │   │
  │   │   │
  └───┼───┘
      │
      │


String diagram	Associator $\alpha_{A,B,C}: (A \otimes B) \otimes C \xrightarrow{\sim} A \otimes (B \otimes C)$ — three wires, non-trivial crossing structure; or the trivalent vertex of a fusion category
Pachner move	Not a standard Pachner move — it is the obstruction to Pachner invariance; its presence signals non-associativity
Category theory	The associator of a monoidal category; non-trivial when the category is only quasi-monoidal (quasi-Hopf algebra, braided fusion category with non-trivial $F$-matrices)
Algebra	Octonion associator $[e_i, e_j, e_k] = (e_i e_j)e_k - e_i(e_j e_k)$; the $F$-matrix of a fusion category; the 4-Majorana coupling $\gamma_i\gamma_j\gamma_k\gamma_l$

Where BIND appears:

Domain	Instance	What fails to associate
Non-Abelian anyons	$F$-matrix / recoupling coefficient	$(a \times b) \times c \neq a \times (b \times c)$ in fusion
Octonions / $G_2$	Octonion associator; Furey’s ladder operators	$e_i(e_j e_k) \neq (e_i e_j)e_k$
Topological phases	Fidkowski-Kitaev $\mathbb{Z} \to \mathbb{Z}_8$ collapse	4-Majorana interaction
Interacting fermions	SYK four-body coupling	Non-factorising 4-fermion vertex
Langlands (non-Abelian)	Non-commuting Hecke operators at different primes	$[T_p, T_q] \neq 0$ for $GL_n$, $n \geq 2$
p-adic Langlands	Pentagon failure in p-adic Hodge theory	Non-associative p-adic completions

BIND in finance: The interbank network accumulates systemic risk in H¹ — the cycle topology of mutual exposures, which is non-trivial even though balance-sheet arithmetic is Abelian. BIND marks the H² snap event: the moment when those H¹ cycles become globally inconsistent and cannot be unwound bilaterally. Systemic risk is measured in H¹; systemic crises (2008 GFC, LTCM) are H² snap events. See Papers 397–398.

BIND theorem (The Opcode Rosetta Stone, Paper 447): A gapped topological phase has non-Abelian anyonic order if and only if its minimal ISA programme contains BIND. Associative phases are BIND-free; non-associative phases require BIND.

BIND and the division algebra ladder:

No BIND: associative computation — $\mathbb{R}$, $\mathbb{C}$, or $\mathbb{H}$ rung
BIND with Pentagon identity holding: quasi-associative — $\mathbb{O}$-rung (Fibonacci anyons, $G_2$, $E_8$)
BIND with Pentagon identity failing: fully non-associative — 731-ISA regime; Furey’s octonionic Standard Model programme

The Fidkowski-Kitaev collapse ($\mathbb{Z} \to \mathbb{Z}_8$) is BIND insertion: promoting a FLOP-only programme (free Majorana chain, $\mathbb{C}$-rung) to a FLOP+BIND programme ($\mathbb{O}$-rung) collapses the integer winding-number classification to $\mathbb{Z}_8$, because $8$ is the Cayley-Dickson period at the octonion rung.

Key role: BIND is the non-associative opcode. Its presence or absence is a syntactic, computable test for non-Abelian anyonic order — no modular tensor category computation required. It is the hardest opcode to implement and the most powerful: systems with BIND can encode computations that BIND-free (associative) systems cannot.

The full opcode table

Opcode	Graphical calculi	String diagram	Pachner move	AZ symmetry	Division algebra	Langlands
SPLIT	🕷️	$\Delta: A \to A \otimes A$ (split)	$1 \to 4$	—	All rungs	Hecke eigendecomposition
SPLAT	🕷️	$\varepsilon: A \to k$ (cap/cup)	$4 \to 1$	—	All rungs	L-function evaluation
TWIST	🕷️*	$\theta_V: V \to V$ (curl)	Gauge move	$S$ (chiral)	All rungs	Monodromy of local system
FLIP	🕷️	$(-)^\dagger$ (wire reversal)	$1 \to 3$	$T$ (time reversal)	$\mathbb{R}$ / $\mathbb{H}$	Langlands duality $G \leftrightarrow G^\vee$
FLOP	🕷️*	$\mathrm{tr}$ (cup)	$3 \to 1$	$C$ (particle-hole)	$\mathbb{R}$ / $\mathbb{H}$	Abelian reciprocity ($GL_1$)
LABEL	🕷️	$e^2 = e$ (projector)	Colouring	— (parity in PT)	All rungs	Automorphic representation $\pi$
BIND	🐸	Associator $\alpha_{A,B,C}$ (trivalent)	Obstruction	—	$\mathbb{O}$ only	Non-Abelian Hecke interaction

The three theorems

Everything above is a dictionary. Three theorems give it teeth.

Theorem 1 — BIND = Non-Abelian (Paper 447): A gapped topological phase has non-Abelian anyonic order if and only if its minimal ISA programme contains BIND. This is a syntactic test: inspect the Hamiltonian for three-body terms that cannot be factored into products of two-body operators.

Theorem 2 — Universal Phase Boundary (Paper 447): For any model in the $\mathrm{SU}(2)_{q}$ family at $q = e^{i\pi\beta}$, the quantum phase transition is a TWIST failure at $\beta = \tfrac{1}{2}$, where the quantum dimension $d_{1/2}(\beta) = 2\cos(\pi\beta) = 0$ exactly.

Theorem 3 — The ISA Chain Complex (Papers 357, 571, 572): The H^k tiers are not merely a grading of computational levels. They are the homology groups of a well-defined chain complex

\[0 \;\longrightarrow\; C^0 \;\xrightarrow{\partial^0}\; C^1 \;\xrightarrow{\partial^1}\; C^2 \;\longrightarrow\; 0\]

where $C^k = \bigoplus_{|v|=k} A^{\otimes c(v)}$, $A = \mathbb{Z}[x]/(x^2)$ is the Frobenius algebra of SPLIT/SPLAT opcodes, and $v$ ranges over the cube of resolutions of an ISA programme. The boundary map $\partial$ satisfies $\partial^2 = 0$ as a consequence of the Frobenius algebra axioms — which are exactly the pentagon identity and Frobenius condition proved in Paper 357.

The ORBIT count is the Euler characteristic of this complex: $\chi = \sum_k (-1)^k \mathrm{rank}(H^k) = \mathrm{ORBIT}(P)$. The Poincaré polynomial $\sum_k t^k \mathrm{rank}(H^k)$ is a strictly stronger invariant, categorifying the ORBIT count in the same way Khovanov homology categorifies the Jones polynomial. At H²: the differential $\partial^1$ is given by the BIND vertex — the trivalent generator of the Kuperberg $G_2$ spider (CMP 1996), whose completeness theorem provides a full diagrammatic axiomatisation of the H² tier.

Why this matters: earlier presentations of the ISA described H⁰, H¹, H² as three separate computational levels with no map between them — a graded direct sum, not a cohomology theory. Theorem 3 supplies the missing differential and confirms that the tiers are genuine homology groups. The ORBIT count was always correct; it now has a proof that it equals an Euler characteristic, not just a heuristic count.

The ISA trilogy and the Baez threefold way

The three ISAs in the trilogy differ only in which number system their opcodes run over, and in the value of the inverse-temperature parameter $\beta$:

ISA	$\beta$	Arithmetic	Dyson $\beta_D$	Random matrix	AZ classes
Origami	$\beta \to \infty$	Tropical $(\max,+)$	$1$ (GOE)	Time-reversal symmetric	AI, BDI, D, CI, DIII
Forge	$0 < \beta < \infty$	Real Gibbs	$2$ (GUE)	No time reversal	A, AIII
Meld	$\beta = it$	Complex amplitudes	$4$ (GSE)	Kramers-degenerate	AII, CII, C, CI

The opcodes are the same in all three; only the number system and $\beta$ change. As $\beta \to \infty$ the Gibbs softmax collapses to a tropical argmax — discrete, classical computation. At finite $\beta$ it is a smooth Gibbs distribution — the Forge ISA. The Wick rotation $\beta \to it$ turns real Boltzmann weights into complex amplitudes — quantum mechanics, the Meld ISA.

Behind all three sits the Ambient — the smooth $\beta \to 0$ limit in which the Gibbs measure is uniform, every path equally weighted, no decisions made. The Ambient is not an ISA; it is the smooth containing manifold from which the three ISAs are carved: the Origami is the tropical crystal precipitated from it as $\beta \to \infty$, the Forge is the thermodynamic engine between the Ambient and the crystal, and the Meld is a Wick slice through it.

This is Baez’s threefold way (2013): exactly three associative normed division algebras (Hurwitz’s theorem), exactly three consistent quantum-mechanical inner-product structures, exactly three Dyson $\beta_D$ values, exactly three ISA columns.

For a full treatment of $\beta$, the snap threshold, the Wick rotation, and the Ambient: see The Forge and Meld ISAs.

The 731-ISA extends beyond all three to the $\mathbb{O}$ (octonion) rung, adding BIND and SPIN. See The Non-Associative Frontier.

Relationship to other graphical calculi

The ISA opcodes did not emerge from nowhere. Two graphical calculi were the direct predecessors.

ZX calculus (Coecke and Duncan, 2008) is a complete graphical language for qubit quantum mechanics built from two spider generators (Z and X) obeying the Frobenius equations. It covers SPLIT, SPLAT, FLIP, and LABEL fully, and handles TWIST partially (phase gates exist in ZX but the full ribbon/topological twist — Berry phase, anyonic spin, BKT transition — is not expressible). FLOP is partially present as the compact structure (cups and caps) but the fermion-statistics interpretation ($C^2 = \pm 1$) is outside ZX’s scope. BIND is entirely absent: ZX is strictly associative.

The 731 Frog Calculus extends ZX to the non-associative regime by adding the frog vertex — a trivalent node with a non-trivial associator, realised physically as $G_2$/octonion symmetry. The frog vertex is exactly the BIND opcode. The two foundational papers are:

The 731 Frog Calculus, Part 1 (Paper 207) — three-dimensional spin foams, magmoidal category theory, and non-associative topology
The 731 Frog Calculus, Part 2 (Paper 281) — two-dimensional frog diagrams, ribbon-leg syntax, and $G_2$ spin foam rewriting rules

The containment is strict:

\[\text{ZX calculus} \;\subset\; \text{731 Frog Calculus} \;\subset\; \text{Origami ISA}\]

ZX lives at H¹ (Clifford/stabiliser regime, $\mathbb{C}$-rung of the division algebra ladder). The Frog Calculus adds the H² BIND opcode ($\mathbb{O}$-rung). The full Origami ISA extends both to all physical domains — spectroscopy, molecular computing, financial risk, climate economics — running the same categorical morphisms on different hardware.