[apoursh]

Resolves the r=24 case of #6653 Open next question 1: a nonmonic general source frame gives an optimal three-query dyadic repair of the fixed cubic reader. All 24 children remain in order, and the explicit five-shear repair restores both arbitrary dirty sources without scratch registers.

The new identity is

D24 = -(23/1024)(11A+19B)^3
      +(1679/64)(A+9B)^3
      +(3749/1024)(A+25B)^3.

The proof specializes #6200/#6212's rational two-query comparison to show that two queries would require a rational square equal to 1103/3. Three queries are therefore optimal even over Q. Five shears is an upper bound; the complete symbolic event invoice is included, but physical prices and caller overhead remain unknown. No κ improvement or supplier admission is claimed.

Only research/cubic-r24-general-frame/ is added. Source pins retain Nick Petalas's #6200/#6653 and apoursh's #6212 attribution, with the earlier #6215/#6246/#6250 coverage credited. The original task card, changed scope, narrow family decision, overlap limitations and concrete next questions are recorded. Prepared by apoursh with substantial OpenAI Codex assistance; independent implementation is not independent human/formal review.

Validation on CPython 3.12.14 (macOS arm64):

• Registered metadata/source checks and both exact verifiers pass normally and under -O.
• Exact elimination, symbolic arbitrary-input execution, all source-frame determinants and the full 3-query/5-shear inventory pass; independent checker imports neither the primary checker nor the certificate.
• 12 dirty rational examples, 10 primary program/domain rejection controls, 8 independent rejection controls and 3 source-byte mutation controls pass.
• Committed bytes/modes and declared source history pass for all 11 package/input files.
• Official committed export passes integrity checks; all four direct runs pass in a fresh read-only export with Git absent from PATH, leaving all 12 exported files unchanged.

Canonical main was refreshed to e545235 before this round and again before publication. Source-bound selected-baseline orientation passed; selected-supplier cold replay was not run because the selected construction is unchanged. Hosted CI remains separate from these local checks.

Task: joint-query-controller, scope key 58d8c9133832c5149bdc, changed scope. Exact task and source pins.

Open next questions: test the remaining arities with primitive general source rows; separately price the complete r=24 repair, starting with its large weighted b query. Global dyadic integrality and an unpaid physical backend remain the respective blockers.