Skip to content

feat(Schonhage): make native box products callable from ET records #2335

Closed

Description

@edemaine

Continue #1394 from the complete routed box product #2332. Owner/session codex-root-3sum-20261102-continuation; branch work/three-sum-callable-box-20261102 from341bca745. Existing supplier branches stay unchanged.

Implement an actual callable standard WordRAM box product above a runtime caller base, using the checked memory-window compiler. Its input is original zero/one matrices, raw query occurrences and the ordinary threshold. Compute the virtual modulus from original dimensions; derive logarithmic width/polynomial window from the block regime rather than assuming source fits. Normalize the restored original input including the threshold and the exact answer span. Prove caller-safe execution with arbitrary dirty scratch, exact request-order products, full original-input restoration, caller frame, charged setup/translation/normalization/halt and the finite D^(-8/125) bound. Reuse existing native setup/return code where its semantics match. Add meaningful initialized/dirty-memory clients.

If the existing prepared-record APIs permit a bounded adapter, connect one actual prepared ET record by executing the changed level/threshold/length writes and real invocation; otherwise preserve that concrete next dependency prominently. The complete ET controller/callee replacement, aggregate cost and asymptotic absorption, native parameter retuning and ordinary-3SUM1.9992 remain open in #1394. Do not claim a callable milestone completes that endpoint. Independent correctness/API/resource review and all six project gates are required before integration; no curated abstract change expected.

Two read-only workers investigate the source admission bound and the existing record ABI. All source edits/build outputs are owned by root in this checkout. AI assistance: OpenAI Codex.

Activity

  1. self-assigned this
    on Nov 2, 2026
  2. edemaine commented on Nov 2, 2026

    @edemaine
    CollaboratorAuthor

    Awaiting maintainer review/integration: #2340 completes the callable box product and genuine original-input producer-to-record connection, including the finite charged per-record saving and positive-block clients. The PR owns final validation and independent-review evidence; full CI is pending there. Existing supplier #2332 is unchanged and all six of its hosted gates pass.

    Next #1394 work is to switch the actual RecordWitness/FixedPrime/ET callee to the new consumer, migrate its original-data width/frame and aggregate ledgers, then prove native parameter tuning and polynomial absorption before tightening the ordinary 3SUM transfer. The full controller still uses the old backend; 1.9992 is not claimed. This milestone issue stays open until integration.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions