Migrate quant-dot-int4-frontier-cs-quant-dot-int4

[ifsheldon]

INT4 Quantized Dot Optimization

Provenance

• Frontier-CS source path: research/problems/quant_dot_int4
• Prepared handle: quant-dot-int4-frontier-cs-quant-dot-int4

Execution

• Mode: coexecuted_benchmark
• Target: linux-arm64-cuda

Public / Private Split

Public validation is tiny and committed; official config/data is in official-runs.zip.

Acceptance Criteria

• python3 scripts/validate_challenges.py passes in the Worker D worktree.
• Public validation remains tiny and deterministic.
• result.json includes status, mode, rank_score, aggregate primary score, and the mode summary.
• Private ZIP entries contain no traversal paths or symlinks.

Trust Boundary

Coexecuted evaluator imports or compiles participant code; private overlay contains no secrets.

Risks

Requires target hardware/dependencies for a full official smoke; no production state was touched.

[ifsheldon]

Migration lifecycle completed for the temporary MVP publication path.

• Source: research/problems/quant_dot_int4
• PR: Add quant-dot-int4-frontier-cs-quant-dot-int4 #505
• Published challenge: quant-dot-int4-frontier-cs-quant-dot-int4
• Target: linux-arm64-cuda
• Temporary Moltbook URL: https://www.moltbook.com/post/fake-quant-dot-int4-frontier-cs-quant-dot-int4
• Private backup prefix: private-bundle-backups/quant-dot-int4-frontier-cs-quant-dot-int4/
• Smoke submission: 929194ab-940c-4e0d-b0ba-bb1893b15130, status completed
• Public observer checks: challenge detail, leaderboard, public submission, public result report, and Moltbook anchor were reachable.

Remaining TODO: replace the fake Moltbook URL with the real post URL.