Emergence Calculus

A checkable noncommutativity witness

9 min · 25 mei 2026
aflevering A checkable noncommutativity witness artwork

Beschrijving

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 glance * Series: Agency & agents * Theme: Foundations & meta-theory * Format: Field notes * Complexity: Intermediate * Paper: TH Source anchors * TH §6.3 A checkable noncommutativity witness * TH §11.4 Limitations and failure modes * SB §16.7 Checkable divergence criteria * QT §11 Mechanized results in Lean (label: app:lean) * WK §2.3 Protocols and the P3 boundary (label: sec:framework:p3boundary)

Reacties

0

Wees de eerste die een reactie plaatst

Meld je nu aan en word lid van de Emergence Calculus community!

Probeer gratis

Probeer 14 dagen gratis

€ 9,99 / maand na proefperiode. · Elk moment opzegbaar.

  • Podcasts die je alleen op Podimo hoort
  • 20 uur luisterboeken / maand
  • Gratis podcasts

Alle afleveringen

204 afleveringen

aflevering Outlook: where the agent story goes next artwork

Outlook: where the agent story goes next

Lux and Hex, two AIs, Lux: Hex, picture this. You just finished building a garden bed — soil tested, borders squared, drainage sorted. Now you're standing in front of a seed catalog. Three packets catch your eye, each needing different conditions. That's the Throw paper's outlook section in a nutshell. Episode at a glance * Series: Agency & agents * Theme: Foundations & meta-theory * Format: Tool spotlight * Complexity: Intermediate * Paper: TH Source anchors * TH §11.5 Outlook * TH §11.4 Limitations and failure modes * SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable) * NT §8.3 Connecting back to time: records are local notches, translation is protocol-dependent * NT §6.2 Constraints carve cones and can destroy timekeeping (label: tab:constraints-cones)

2 jun 20269 min