role posture binds at 10 — pool: worst of 7 roles — PauseAdmin single-key GA6MA6… (1 signer(s), high-threshold 0), 44 op(s) in 30d; RewardsAdmin single-key GCXYKA… (1 signer(s), high-threshold 0), 200 op(s) in 30d; SystemFeeAdmin single-key GB57YD… (1 signer(s), high-threshold 0), 200 op(s) in 30d | router: worst of 7 roles — PauseAdmin single-key GA6MA6… (1 signer(s), high-threshold 0), 44 op(s) in 30d; RewardsAdmin single-key GCXYKA… (1 signer(s), high-threshold 0), 200 op(s) in 30d; SystemFeeAdmin single-key GB57YD… (1 signer(s), high-threshold 0), 200 op(s) in 30d
- Privileged role posture10
pool: worst of 7 roles — PauseAdmin single-key GA6MA6… (1 signer(s), high-threshold 0), 44 op(s) in 30d; RewardsAdmin single-key GCXYKA… (1 signer(s), high-threshold 0), 200 op(s) in 30d; SystemFeeAdmin single-key GB57YD… (1 signer(s), high-threshold 0), 200 op(s) in 30d | router: worst of 7 roles — PauseAdmin single-key GA6MA6… (1 signer(s), high-threshold 0), 44 op(s) in 30d; RewardsAdmin single-key GCXYKA… (1 signer(s), high-threshold 0), 200 op(s) in 30d; SystemFeeAdmin single-key GB57YD… (1 signer(s), high-threshold 0), 200 op(s) in 30d
- Upgrade reaction window100
pool UpgradeDeadline = 0 — no code change scheduled (FutureWASM d691135a… matches the running code) | router UpgradeDeadline = 0 — no code change scheduled (FutureWASM c99539b0… matches the running code)
- Timelock durationnot scored
ADMIN_ACTIONS_DELAY is a compile-time constant with no getter, confirmed absent from all four deployed wasms, so the LENGTH of the upgrade window is not readable from the contract. The deadline and the current time are, which is why the window is graded as a state and never as a fraction remaining.
- Emergency Admin bypassnot scored
Aquarius's own response to Certora H-01: "In the case of system vulnerability fixes, delay may be bypassed by the Emergency Admin role." So the reaction window is conditional on one single-signer key choosing not to skip it. Disclosed rather than folded in, because "a window exists" and "the window is unconditional" are different claims and only the first is true.