Summary
Strengthen the acceptance surface so the final article claim cannot turn green unless the full Rust-only Percepta closure prerequisites are actually present.
Problem
The existing acceptance and article-parity artifacts do not encode the stricter Rust-only prerequisites needed for the full article claim.
Hypothesis
A strengthened acceptance gate that requires Rust-only sources, profile completeness, parameter-ABI closure, direct model-weight proof receipts, Hungarian and hard-Sudoku reproducers, multi-million-step throughput floors, and cross-machine validation will make the final claim auditable instead of interpretive.
Source Papers / Docs
Can LLMs Be Computers?
docs/ROADMAP_TASSADAR_INDEX.md
docs/TASSADAR_WASM_RUNBOOK.md
Target Surfaces
psionic-eval
psionic-research
psionic-serve
scripts/
Initial Scope
- Define acceptance gate v2 for the Rust-only article path.
- Add negative checks for each missing prerequisite.
- Bind the gate to the article reproduction harness and closeout audit.
Benchmark / Tests
- Gate checker tests.
- Negative tests for each missing prerequisite artifact.
- Green-only-when-complete acceptance tests.
Claim Discipline
This is the main anti-hand-wave control surface. The gate should stay red unless every required Rust-only article prerequisite is actually committed and reproducible.
Done When
- Acceptance gate v2 exists and is machine-checkable.
- The gate fails on every missing prerequisite individually.
- The gate only turns green when the whole Rust-only article path is present.