Research: F17 block-scale scan bill at the exact entry width (no new kappa)

[VictorLiwentao]

Change and scope

One unpaid term from #3374, under priority revision 6, card joint-query-controller. That pull request already binds the F17 pair kernel and the 464-field bit count at λ=1, f=64, e=0, β=64, W=532. This package prices the common block-scale scan at those same parameters.

The incorporated scan polynomial, with w=W-3=529 and p=k=137, gives one owner-local line 4232 D + 2415 gates. Across the 336-line decoder the scan subtotal is at most

1421952 N D + 811440 N

gate evaluations. The published W=456 control stays 1217664 N D + 666624 N.

Partial bill. No new kappa. Selected κ stays 0.001672660197076918. Scalar ADDs, wrappers, maps, addressing, movement and cleanup remain unpaid. The pair-kernel and field-bit coefficients are not recomputed.

Result

Package: research/qq16-f17-scan-bill/.
Tip: 7e48a92a3f6e8dba9b4b7450251c3bbe98e7d484.
Base: 6f100d4bb5083f8c35d96fd95a539811c62f245c.

Validation

python3.12 -I -B research/qq16-f17-scan-bill/verify.py
python3.12 -I -O -B research/qq16-f17-scan-bill/verify.py
python3.12 -I -B research/qq16-f17-scan-bill/independent.py
python3.12 -I -B research/qq16-f17-scan-bill/test_package.py
python3.12 -B scripts/research_package.py --package research/qq16-f17-scan-bill

Expected:

PASS_QQ16_F17_SCAN_BILL W=532 scan=1421952*N*D+811440*N control=1217664*N*D+666624*N no_new_kappa
PASS_QQ16_F17_SCAN_BILL_INDEPENDENT W=532 scan=1421952*N*D+811440*N control=1217664*N*D+666624*N no_new_kappa
PASS_REGISTERED_RESEARCH_PACKAGE research/qq16-f17-scan-bill outcome=partial

Default verify is read-only. Admission uses need() and still fires under -O.

Overlap and credit

research/qq16-block-scale-scan evaluates the same polynomial at W=456. W=532 is the published example in research/qq16-producer-entry-contract. This package does not reopen #3374, #3349, the deferred V45 histogram, or the merged readout series through #2883.

Credit Arham Tahir for the block-scale scan polynomial and Nick Petalas for the entry contract. Prepared by Wentao Li (VictorLiwentao, @Is__Victor) with substantial AI assistance, under Apache-2.0.