Required configured interpreters, not caller-supplied success predicates. Recompute the precise existing sign bytes and historical profile/context from the actual canonical source/proposal and retained authorization. In particular HotStuff chain/set/height alone does not authenticate a manifest. initialHistory independently proves complete prior key use; an old key may not be initialized with a fabricated empty history. Unresolved historical writes/signing/enforcements require their original controller recovery; this completed seed format cannot silently drop them or invent signatures. It parses original proof bytes and retains all observed signatures, canonical writes and fences. These methods run under the controller gate and must not reacquire it or any outer voting gate already held by their caller.
Current permission for actual key use. Historical replay calls signing only; it must not depend on current finality, ancestry or readiness. This mandatory check runs after the full intent is forced and directly before each new or retried uncertain key use. It must not reenter gates.
Current permission for actual key use. Historical replay calls signing only; it must not depend on current finality, ancestry or readiness. This mandatory check runs after the full intent is forced and directly before each new or retried uncertain key use. It must not reenter gates.