Finite JP8 refinement: direct integer updates save 2,848 primitives per orientation (no new kappa)

[zewelor]

Historical PR626 JP8 coefficients +/-2 and +/-3 can use repeated signed target additions followed by the retained paid work clear.

Status: finite scalar construction with independent JP8 coverage; no new kappa or runtime claim.

Forward: 200,380 -> 197,532 real primitives. Backward: 200,396 -> 197,548. All 1,424 eligible macros per orientation are covered. Full exact replay checks 725 arbitrary columns, 492 dirty helper restorations and nine private clears. Exact prefix magnitudes, denominator depths and the paid profile stay unchanged. Every source access and clear is charged.

Concurrent credit: Hanson Sun / bbMisk #1036 checks the same elementary routes on CK; this separately implemented package adds complete JP8 coverage. Seb / ZK-Snarky #999 uses a broader coefficient compiler, but its pinned menu retains old costs 4/5 for +/-2/3 versus 3/4 here. No mechanism-priority, full #999 audit or combined global saving is claimed.

Reproduce offline (Python 3.11+, standard library):

python3 -I -O -B research/jp8-direct-small-integers/verify.py
python3 -I -O -B research/jp8-direct-small-integers/test_package.py

Expected: PASS_JP8_DIRECT_SMALL_INTEGERS macros=1424+1424 saved=2848/2848 columns=725 no_new_kappa; then six tests pass. Linux CPython 3.12.14 validation includes 13 rejection controls, source/receipt corruption, optimized minimal relocation, exact integer/Fraction crosschecks, selected-record checks and clean patch application.

Exact base: 0076643. Seed 29, complex track. All six consumed inputs remain unchanged in refreshed main 1b59b62. Exact pins, proof, census, controls, scope and concurrent attribution are in research/jp8-direct-small-integers/.

Only this directory is added. Production/native/global admission and inherited compiler, hosting, precision/tape and analytic obligations remain. No full repository/cold supplier, hosted CI or Lean proof is claimed.

Prepared by Michal Ciemiega / zewelor with substantial OpenAI Codex assistance. Apache-2.0; no independent human review claimed. Credit PR696/622/626/882, the retained lineage and concurrent PR999/1036/1064.

[Mister-Meeseeks]

100-PR batch review at cfbb318e1f000df8d32a4adfaa4df9006adce50a.

Merged to main, preserving the original contributor commits and package attribution.

Reviewed scope: Direct ±2/±3 JP8 accumulation saves2848 scalar primitives per orientation while retaining workspace clears and all macro boundaries; exact full-state replay and independent Fraction comparison, no recursive-moment improvement.

The pinned scoped command passed; the batch ledger contains its command, input hashes, environment and log. This incorporates the research/tooling contribution and does not change the selected κ or discharge the inherited multiplication-theorem assumptions.

Batch review, attribution and evidence. Thank you for the contribution.