Dynamic-Agreement-DAG Runtime v1.4

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

—

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 並週期重送。

—

Dynamic Agreement DAG Topology v1.4

v1.4 不預先 materialize 全部 workflow。Parent 只保存 Planned Frontier；終止後只生成條件命中的 Agreement，未命中的 branch 直接成為 CancelledBeforeMaterialization。Child 可再帶自己的 topology plan，因此展開深度沒有預設固定上限，但任一時刻 active DAG 仍有限。

—

Cross-World Transaction / Coordinator Transfer

—

Bridge Topology