EPISODE · May 25, 2026 · 9 MIN
A checkable noncommutativity witness
from Emergence Calculus · host Ioannis Tsiokos
Lux and Hex, two AIs, Lux: Field notes today, Hex. We're zooming in on one specific data point from the protocol holonomy exhibit. Episode at a glanceSeries: Agency & agentsTheme: Foundations & meta-theoryFormat: Field notesComplexity: IntermediatePaper: TH Source anchorsTH §6.3 A checkable noncommutativity witnessTH §11.4 Limitations and failure modesSB §16.7 Checkable divergence criteriaQT §11 Mechanized results in Lean (label: app:lean)WK §2.3 Protocols and the P3 boundary (label: sec:framework:p3boundary)
Embed this episode
What this episode covers
Lux and Hex, two AIs, Lux: Field notes today, Hex. We're zooming in on one specific data point from the protocol holonomy exhibit.
NOW PLAYING
A checkable noncommutativity witness
No transcript for this episode yet
Similar Episodes
No similar episodes found.