Skip to content

TAS-093: Rust-only article acceptance gate v2 #157

@AtlantisPleb

Description

@AtlantisPleb

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    tassadarPsionic Tassadar roadmap work

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions