Accept governed boolean leaves in memo envelopes.

type() excluded bool even though bool subclasses int, so schema fields
requires_new_bind, required_ack, and sealed failed as invalid_type.
Unknown leaves still fail closed. No submitter, token, or write-back change.

Assistant: grok
Assistant-Session: 01a10286-9185-7bb2-b411-89cf6ab4c0c6

api/services/informed_decision_contract.py

@@ -359,7 +359,8 @@ def _bounded_tree(value: Any) -> None:
         elif isinstance(node, list):
             for child in node:
                 walk(child, key)
-        elif type(node) in (int, float) or node is None:
+        elif isinstance(node, bool) or type(node) in (int, float) or node is None:
+            # type() excludes bool; bool subclasses int, so it must be named first.
             return
         else:
             raise ContractError("invalid_type")