# Independent proof arbitration

Dispositions apply only to listed targets in the original frozen edition. A broken proof is not a refuted theorem. Later-edition decisions are separate.

Usable arbitration: 0/1. Author response: not_supplied.

Prior accounting $7.025565; arbitration accounted/reserved $0.239386; campaign budget $25.00.

Uncovered queued targets: eq:cI3bnd, eq:cI41bnd, eq:cI42bnd, eq:cIQ12bnd, eq:cIQ1def, eq:cIQ2bnd, eq:cIQ3def, eq:cKzBnd, eq:cRfuIs, eq:cSfbnd1, eq:decayMtrx, eq:eqeq, eq:fincK, eq:gls, eq:hatRfuBnd, eq:modBndaEqAp, eq:modBndaNeqAp, eq:nmUpToM, eq:vgIs, lem:GGq, lem:kEllD, lem:spec0, lem:spec1, lem:spec2, lem:spec3, lm_generation, lm_local, lm_transference, narrative:103198, narrative:104579, narrative:105898, narrative:109314, narrative:110408, narrative:112352, narrative:114852, narrative:115416, narrative:118709, narrative:119956, narrative:122162, narrative:123431, narrative:123918, narrative:13050, narrative:144695, narrative:47002, narrative:55546, narrative:68030, narrative:71322, narrative:86590, narrative:92045, narrative:93454, narrative:98161, narrative:99181, th_sg, thm:CircMeth, thm:IQ0, thm:IQM, thm:IQX, thm:Main, thm:RNU, thm:Vin, thm:cMNis, thm:cMNtoMNU, thm:specGap

## eq:cIQ11bnd — gemini-4-argon

Delivery: invalid_assessment. Scoped proof disposition: unresolved. Statement: unresolved.