ABC: global RR8 branch

Download original file

This is the original source text. Reading it does not run or verify the program.

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

Back to source controls

Back to ABC: global RR8 branch