{"checked_values":12582912,"errors":[],"exhaustive":true,"finite_trace_gate":{"bound_violation_count":0,"checked_policy_states":1572864,"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":13,"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":"755450aea529f9dc19754bb4e56ab38a8ecd817927891a274881c0cf67cc37e1","config_sha256":"9abb506488988731076c02964a9a8f2307210091d7375a85f658f56c641cb213","deontic_adapter_provenance_sha256":"a2c773b441ec04ca8dbb086d96ba9bde58de88e96c9057e398c7ceb068c96f15","deontic_constraints_sha256":"33b7702bc4f3798b2dc91b2697d2978a08b0a2347195b3d1621a8f8862851607","input_sha256":"e5345ac21cf026c504bb68c55e6ef91795a0c65adcb6c3e01fb700014c0f6d1e","recurrence_sha256":"e1e755a711962f9f7f4b359b01d2b9e58e563daed7fa800b46f8653c10b30994","required_decisions_sha256":"9d7082f6f666c4823c41407959294ec02f011b85df84d5c1aff80c2f92b40141","snapshot_sha256":"dd780e0e0f67f42d77d6b22b1e61035bb9f34e5d8d41e965b3b13915e46dbc39","utility_model_sha256":"32cdfa3998d980e7b2e4ca089f79a8b9d5d475b3592f149494c4a7e4a3cdef68"},"raw_data_bytes":50331648,"replayed_layers":256,"shape":[256,6144,8],"table_sha256":"39b26a62f096011efe0b8ec444cff917b736f5713fcf7221665a7c9d10790c2e"}