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
Cross-World Transaction / Coordinator Transfer
—
Peer Registry / Certificates
Terms / Quorum / Failover
—
Bridge Topology
v1.1 的真正邊界
Protocol Initiator、Agreement Owner、Scope Coordinator、World Authority 與 Globality 現在是不同層。v1.1 進一步讓 Agreement Owner 也不再永久綁定原 initiator:Agreement replica + takeover term + participant-majority 允許協議在 initiator 消失後繼續;Scope 本地 quorum authority 仍不轉移。這是 Cross-Globality Evolution != Permanent Protocol Initiator 的第一個可執行版本。