{
  "route_id": "RR7-first-independent-power-comparison",
  "base_checkpoint": "ABC-20261025-RR6",
  "base_archive_sha256": "026d1f544ba86acc3fd9d63b75b4a8fc73595407f67e15f1b9b7f7e5144d993a",
  "candidate": "Exact multiplicative power presentation compared with ordinary addition, first two powered coordinates protected",
  "discriminator_executed": "Exact commutator D_s and unique protected ordinary correction; fixed-s family(1,t,t+1)",
  "outcome": "Exact presentations and comparison proved; uniformly sublinear correction cost refuted for this candidate and norm",
  "evidence_label": "proved scoped identities and cost obstruction",
  "disposition": "specific free-gain candidate closed; other arithmetic comparisons open",
  "proof_path": "FIRST_COMPARISON.md",
  "proof_sha256": "c75896f1cd724e47f03958b023f1ea89424ee96c57f17dbef5db6e7af3f78523",
  "review_path": "reviews/power_comparison_review.md",
  "review_sha256": "222d91ad32bcb6853a8f03b2150f273a1a932e6e237816f571b528c05bd565a2",
  "not_a_full_IUT_model": true,
  "no_ABC_conclusion": true,
  "lean_run": false
}