← Formal Protocol Theory

January 9, 2026

SIGFPT 2026 Kickoff Meeting

Simplifying the definition of protocolization for broader accessibilityThe concept of 'tangles' and their relationship to Kafka protocolsAtomic protocols versus protocol molecules and interface interactionsProtocol invisibility as a framework for understanding formal systemsData-driven approaches to studying protocol emergence and evolutionPractical applications of protocol theory (concrete/water utilities, digital administrative surfaces)

Participants: _vgr, rafa_0x, nattfrosten, maparent, brianskinner3057, velitchkov.eu, ediblebadger, timber1997, plague_year, simpalaxy, senthil_d1sc0rd

The SIGFPT group convened for their 2026 kickoff to orient new and returning members and brainstorm research directions. The group discussed simplifying how protocolization is communicated, with participants noting that existing definitions are unnecessarily complex. A key insight emerged around protocol 'invisibility'—the idea that protocols are most effective when they operate as reliable, repeatable structures in the background, enabling visible creative/emergent activity on top. The group engaged with the tension between studying atomic protocols versus the more interesting interactions at protocol interfaces (molecules), with participants like maparent arguing the richer research space lies in how protocols compose. Several domain-specific applications were raised, including green concrete specifications in water utilities and digital administrative systems. The group identified a strategic goal for 2026: developing data-driven approaches to protocol analysis, including quantifying maintenance requirements and understanding how protocols emerge and evolve empirically, thereby grounding formal protocol theory in measurable outcomes.

  • A simpler micro-definition of protocols—'reliably repeatable behavior'—may be more intuitive than existing formulations, with the 'tangle' concept resonating as particularly approachable.
  • Protocol invisibility frames the distinction between what's organizationally possible 'off-protocol' (visible) versus the formal constraints (invisible), bridging the tension between formality and emergent/creative systems.
  • Protocol interactions of greatest interest occur at interfaces between protocols ('molecules') rather than at atomic levels, suggesting focus should shift from isolated protocols to their compositional relationships.
  • Quantifying minimum practice requirements for protocol maintenance (e.g., through fire drills) and developing data-driven methods to analyze protocol evolution could ground formal protocol theory in empirical validation.
  • Power asymmetries between agents with unequal leverage can create Kafka protocols, where high-leverage agents cannot exit despite imbalance when low-leverage agents operate collectively.
Links discussed
View discussion in Discord →