{
  "record_type": "teleon_decisioning_cot_and_proof_summary/v1",
  "observed_model_calls": 0,
  "priority_tiers": {
    "safety_and_formal_proof": 5,
    "policy_and_legal_floor": 4,
    "explicit_user_contract": 3,
    "task_acceptance_rubric": 2,
    "advisory_heuristic": 1
  },
  "counts": {
    "elections": 2,
    "conflicts": 3,
    "cot_audits": 1,
    "proof_certificates": 2
  },
  "recent_elections": [
    {
      "election_id": "elec_4f054594c38676",
      "candidates_json": "[\"cand_wasm\",\"cand_py\",\"cand_js\"]",
      "voter_count": 3,
      "distinct_model_families": 3,
      "distinct_harnesses": 3,
      "n_effective": 2.7273,
      "monoculture_warning": 0,
      "schulze_winner": "cand_wasm",
      "dawid_skene_winner": "cand_wasm",
      "ranked_order_json": "[\"cand_wasm\",\"cand_py\",\"cand_js\"]",
      "posterior_scores_json": "{\"cand_wasm\":0.9467,\"cand_py\":0.0354,\"cand_js\":0.0179}",
      "ballots_json": "[{\"voter_id\":\"v1\",\"model_family\":\"claude\",\"harness_profile\":\"claude-code\",\"ranking\":[\"cand_wasm\",\"cand_py\",\"cand_js\"],\"brier_skill\":0.91},{\"voter_id\":\"v2\",\"model_family\":\"gemini\",\"harness_profile\":\"antigravity\",\"ranking\":[\"cand_wasm\",\"cand_js\",\"cand_py\"],\"brier_skill\":0.89},{\"voter_id\":\"v3\",\"model_family\":\"qwen\",\"harness_profile\":\"muse\",\"ranking\":[\"cand_py\",\"cand_wasm\",\"cand_js\"],\"brier_skill\":0.72}]",
      "created_at": "2026-10-25T05:23:02.452Z"
    },
    {
      "election_id": "elec_2358c14f6b07f0",
      "candidates_json": "[\"cand_a\",\"cand_b\"]",
      "voter_count": 4,
      "distinct_model_families": 1,
      "distinct_harnesses": 1,
      "n_effective": 1,
      "monoculture_warning": 1,
      "schulze_winner": "cand_a",
      "dawid_skene_winner": "cand_a",
      "ranked_order_json": "[\"cand_a\",\"cand_b\"]",
      "posterior_scores_json": "{\"cand_a\":0.8781,\"cand_b\":0.1219}",
      "ballots_json": "[{\"voter_id\":\"m0\",\"model_family\":\"gemma4\",\"harness_profile\":\"muse\",\"ranking\":[\"cand_a\",\"cand_b\"],\"error_signature\":[\"e_same\"]},{\"voter_id\":\"m1\",\"model_family\":\"gemma4\",\"harness_profile\":\"muse\",\"ranking\":[\"cand_a\",\"cand_b\"],\"error_signature\":[\"e_same\"]},{\"voter_id\":\"m2\",\"model_family\":\"gemma4\",\"harness_profile\":\"muse\",\"ranking\":[\"cand_a\",\"cand_b\"],\"error_signature\":[\"e_same\"]},{\"voter_id\":\"m3\",\"model_family\":\"gemma4\",\"harness_profile\":\"muse\",\"ranking\":[\"cand_a\",\"cand_b\"],\"error_signature\":[\"e_same\"]}]",
      "created_at": "2026-10-25T05:23:02.364Z"
    }
  ],
  "recent_conflicts": [
    {
      "conflict_id": "conf_3df349508fefb8",
      "argument_count": 2,
      "defeat_count": 2,
      "grounded_accepted_json": "[]",
      "grounded_rejected_json": "[]",
      "undecided_json": "[\"f1\",\"f2\"]",
      "resolution_mode": "escalate_probe",
      "pareto_frontier_ids_json": "[]",
      "bare_baseline_preserved": 1,
      "escalated_probe_queue_id": "aq15_attribute_verify",
      "spawned_probe_task_id": "atask_bf6d7e2e5aba48a1",
      "created_at": "2026-10-25T05:23:02.708Z"
    },
    {
      "conflict_id": "conf_d73fd8ab5e1bd8",
      "argument_count": 2,
      "defeat_count": 2,
      "grounded_accepted_json": "[]",
      "grounded_rejected_json": "[]",
      "undecided_json": "[\"a_acc\",\"a_fast\"]",
      "resolution_mode": "pareto_split",
      "pareto_frontier_ids_json": "[\"a_acc\",\"a_fast\"]",
      "bare_baseline_preserved": 1,
      "escalated_probe_queue_id": "",
      "spawned_probe_task_id": "",
      "created_at": "2026-10-25T05:23:02.598Z"
    },
    {
      "conflict_id": "conf_e92cd59d8d3f6f",
      "argument_count": 2,
      "defeat_count": 1,
      "grounded_accepted_json": "[\"a_safe\"]",
      "grounded_rejected_json": "[\"a_heur\"]",
      "undecided_json": "[]",
      "resolution_mode": "consensus",
      "pareto_frontier_ids_json": "[]",
      "bare_baseline_preserved": 1,
      "escalated_probe_queue_id": "",
      "spawned_probe_task_id": "",
      "created_at": "2026-10-25T05:23:02.515Z"
    }
  ],
  "recent_cot_audits": [
    {
      "audit_id": "cot_2b920199ae5791",
      "trace_a_steps": 4,
      "trace_b_steps": 4,
      "ungrounded_step_indices_json": "[]",
      "swap_faithful": 1,
      "first_divergence_step_idx": 2,
      "divergence_reason": "step_2_value_mismatch",
      "cot_faithfulness_0_100": 100,
      "style_penalty_applied": 0,
      "created_at": "2026-10-25T05:23:02.800Z"
    }
  ],
  "recent_proof_certificates": [
    {
      "cert_id": "cert_69860d97313dbd",
      "proof_tier": "EAT-1_deterministic_wasm_replay",
      "validator_passed": 1,
      "clover_equiv_passed": 1,
      "shrunk_counterexample_seed": "",
      "witness_swhid": "swh:1:cnt:4069e4152f25a4fb0ac12a6ee612030c0505f4be",
      "detail_json": "{\"fuel_consumed\":4200,\"fuel_budget\":100000,\"deterministic_match\":true}",
      "created_at": "2026-10-25T05:23:02.932Z"
    },
    {
      "cert_id": "cert_c24ac78a9151af",
      "proof_tier": "EAT-0_formal_kernel_proof",
      "validator_passed": 0,
      "clover_equiv_passed": 0,
      "shrunk_counterexample_seed": "",
      "witness_swhid": "swh:1:cnt:468755f7fd07b56e9a2cb85b69b420dd112ecce1",
      "detail_json": "{\"kernel\":\"lean4_or_z3\",\"vacuous_antecedent_detected\":true}",
      "created_at": "2026-10-25T05:23:02.863Z"
    }
  ]
}