{"checked_values":134217728,"errors":[],"exhaustive":true,"finite_trace_gate":{"bound_violation_count":0,"checked_policy_states":16777216,"contract":{"declared_transition_bound":256,"horizon_semantics":"remaining_decision_steps_not_chronological_time","normative_boundary":"the Q recurrence may rank only actions admitted by the external deontic mask","properties":["always_no_forbidden_action","eventually_resolve_or_abstain_or_escalate_within_declared_bound","resolution_is_terminal"],"schema":"knowledge-q-finite-trace-contract-v1","transition_measure":"each navigation decrements the layer; layer zero has terminal actions only"},"forbidden_choice_count":0,"maximum_observed_terminal_steps":15,"nonterminating_choice_count":0,"passed":true,"resolution_nonterminal_count":0},"first_mismatch":null,"max_abs_bellman_error":0.0,"mismatch_count":0,"nonfinite_count":0,"passed":true,"provenance":{"canonical_graph_sha256":"8524f26bf9d2ccc63993382e5625d05c5260af583471c631fca9d6b242119b5d","config_sha256":"28990c00fc4314be80c8cee6a5a692926544fe4ebd606f09f10b2e2b63698b5d","deontic_adapter_provenance_sha256":"a2c773b441ec04ca8dbb086d96ba9bde58de88e96c9057e398c7ceb068c96f15","deontic_constraints_sha256":"405d7aaaae6f936fe2ce1c0a61c335302e1ab5c056c09790afb0630e9d255249","input_sha256":"9623197652f95885aaa36f67d9f1046ba75e0cf975c06ceb8fd7ce28a1f073ce","recurrence_sha256":"e1e755a711962f9f7f4b359b01d2b9e58e563daed7fa800b46f8653c10b30994","required_decisions_sha256":"70e5770531f573e659274a21b80bae68b7de4cae35544169f55daed38bae0b9e","snapshot_sha256":"1fe683e88aec3624a2dbc36d39fab847440c22a034a92bb9802175059ba7b8b9","utility_model_sha256":"32cdfa3998d980e7b2e4ca089f79a8b9d5d475b3592f149494c4a7e4a3cdef68"},"raw_data_bytes":536870912,"replayed_layers":256,"shape":[256,65536,8],"table_sha256":"6d36964fe36f6882f54139304fabfcced3df19e7b690e0a0062809c7129935e8"}