diff --git a/spec/index.md b/spec/index.md index 44ba9418..2ea4fd5b 100644 --- a/spec/index.md +++ b/spec/index.md @@ -5454,17 +5454,23 @@ The management canister returns subnet metadata given a subnet ID. Conditions ```html -S.messages = Older_messages · CallMessage M · Younger_messages (M.queue = -Unordered) or (∀ CallMessage M' | FuncMessage M' ∈ Older_messages. M'.queue ≠ -M.queue) M.callee = ic_principal M.method_name = 'subnet_stats' R = - +S.messages = Older_messages · CallMessage M · Younger_messages +(M.queue = Unordered) or (∀ CallMessage M' | FuncMessage M' ∈ Older_messages. M'.queue ≠ M.queue) +M.callee = ic_principal +M.method_name = 'subnet_stats' +R = ``` State after ```html -S with messages = Older_messages · Younger_messages · ResponseMessage { origin = -M.origin response = Reply (candid(R)) refunded_cycles = M.transferred_cycles } +S with + messages = Older_messages · Younger_messages · + ResponseMessage { + origin = M.origin + response = Reply (candid(R)) + refunded_cycles = M.transferred_cycles + } ```