IIP-026: AFT formal verification and simulations

IIP-026 Roadmap Record

IIP-026: AFT formal verification and simulations is an IOI roadmap record for the IOI L1 surface. Its status is Active implementation in Horizon 0 — contract convergence and it belongs to the Settlement track. Implementation is underway and has current code anchors, but the stated scope is not complete. The canonical scope is: TLA+ formal models, traces, and devnet-style simulation of AFT consensus assumptions.

Surface Context

This record should be read as part of the IOI L1 roadmap, not as a replacement for source papers or product pages. The parent surface gives the broader context for why this milestone exists, what it depends on, and which IOI surfaces it supports. The parent IOI L1 surface depends on dcrypt, aft. The parent surface does not currently unblock another roadmap surface directly.

• IOI L1

Evidence And Verification

The record is designed to make roadmap evidence crawlable and separable from research claims. No item-level dependencies are listed for this record. Evidence links below point to the paper, release, repository, developer documentation, or product page that supports this milestone.

• IOI L1 canon
• Consensus crate

Canonical Relationship

This page is the canonical roadmap record for IIP-026, while the parent roadmap surface and linked research pages remain the canonical sources for broader product and protocol context. Internal links point here when the milestone status, horizon, dependencies, or evidence trail for AFT formal verification and simulations matters.

Roadmap Role

IIP-026 exists to clarify roadmap status, bounded scope, horizon placement, and evidence relationships. Technical concepts flow through this page to canonical research pages, while product or runtime context flows to the relevant surface page. This preserves a complete status and evidence trail without making roadmap records compete with deeper IOI papers.