Agreement-Lifecycle Runtime v1.2

Stable World Identity / Key Rotation

World ID 保持不變；新 active key 由舊 key 簽署 continuity proof。已知 Peer 只在 continuity chain 驗證成功後接受新 key。

—

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。

—

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，節點回來後再收束。

—

Cross-World Transaction / Coordinator Transfer

—

Bridge Topology