World Identities / Local Authorities
Stable World Identity / Key Rotation
World ID 保持不變；新 active key 由舊 key 簽署 continuity proof。已知 Peer 只在 continuity chain 驗證成功後接受新 key。
—
Dynamic Peer Admission
關閉 C Auto-Admit 後，未知 World 會先進 Pending；重新開啟或人工准入後，才會取得 C 簽署的 capability certificate。
—
Autonomous Route / Duality
—
Finite Query / Local Law
—
Failure / Process Independence
—
Dynamic Federation Membership / Joint Quorum
Reconfiguration commits only when the joint phase satisfies both old-config and new-config majorities. Leader lease blocks same-term split brain; log compaction creates a durable snapshot plus retained tail.
—
Multiple Scope Globalities / Higher-Order Tension
Demo 會讓 B 同時參與三個 Globality。每兩個 Scope 對 B 只要求 2/2 coordination slots，仍相容；三個一起要求 3 slots 而 B capacity=2，因此只在三元層級產生 irreducible higher-order Tension。
—
Scope Globalities
Scope Bridges / Tensions
Globality Evolution / Scope Lifecycle (v0.9-compatible)
Fork 產生新 Scope identity 而保留母 Scope；Split 將母 Scope 標成 superseded 並產生兩個 successor；Merge 必須先 Proposal 再由來源 Scope quorum 同意；Migration 改變 membership 但不改 World identity；Cross-Scope Transaction 需要兩邊 Globality 各自完成 quorum closure。
—
Multi-Coordinator Globality Evolution v1.0
B 在這組 Demo 中不是來源 Scope coordinator。Merge / Migration / Cross-Scope Transaction 必須分別取得 A、C 或 D 自己 Scope quorum 產生的 Ed25519 Evolution Attestation。沒有共同最高 coordinator。
—
Replicated Evolution Agreement / Initiator Failover v1.1
Prepare 會把同一份 plan / participant descriptors / attestations 複寫到 A、C、D。若 B 仍在線，A 的 takeover 會被拒絕；手動停止 B process 後，A 必須取得 participant-majority 才能升高 takeover term 並接管。Saga Demo 會暫時封鎖 D，使 A/C 先提交，再以語義補償恢復其 Scope 狀態，但版本仍向前。
—
Evolution Agreements
Agreement Lifecycle / Dependency DAG v1.2
Agreement lease 只在 participant-majority ACK 後有效；lease 未過期，即使 owner process 消失也不能提早 takeover。Dependency DAG 允許不同 owner 的 Agreement 形成先後關係，但禁止 cycle。Saga 補償若遇到 participant 離線，會留下 Pending catch-up obligation，節點回來後再收束。
—
Distributed Agreement DAG Runtime v1.3
v1.3 的 downstream Agreement 可以只保存 prerequisite handle + owner identity，不必持有完整 prerequisite replica。Root 完成後，owner-to-owner wake-up 會推動 branch；Join 直到全部 predecessor Committed 才 Ready。若 downstream owner 離線，prerequisite 會保留 Pending delivery 並週期重送。
—
Cross-World Transaction / Coordinator Transfer
—
Peer Registry / Certificates
Terms / Quorum / Failover
—
Bridge Topology
v1.3 的真正邊界
Agreement DAG 現在不只描述先後關係，而能由各 owner 自己向前推進。Prerequisite 保存 dependent subscription 與 delivery state；downstream owner 保存 dependency signal 與 auto-run state。這是 Dependency Graph != Central Workflow Engine、Wake-up Loss != Permanent DAG Stall、以及 Branch/Join != Universal Agreement Owner 的第一個可執行版本。