TAS-181: Arto Inkala and hard-Sudoku benchmark closure

[AtlantisPleb]

Summary

• close both the named hard-Sudoku claim and the benchmark-wide Sudoku claim

Roadmap Position

• Phase: Phase 6. Close demos and benchmark claims
• Sequence: article-gap closure after TAS-156A
• Owned-route boundary: any canonical article route referenced here means the psionic-transformer-based route established by TAS-156A / TAS-160, not a reintroduced mixed implementation spread across model or runtime crates.
• Claim posture: necessary for article-equivalent closure, but not sufficient by itself to widen public capability claims

Description

• add a canonical Arto Inkala fixture
• build the declared hard-Sudoku benchmark suite that stands in for "these
  benchmarks"
• require exactness and declared runtime/time floors on the canonical fast
  route

Why This Matters

• the article names one hard instance and also claims benchmark-wide accuracy

Primary Surfaces

• psionic-transformer (canonical owned article-route base for this issue)
• psionic-data
• psionic-runtime
• psionic-eval
• psionic-serve
• psionic-research

Validation

• exact-solve artifacts
• benchmark-wide exactness gate
• runtime summary

Claim Discipline

• Keep machine-legible boundaries explicit; partial progress must not be presented as full article equivalence.
• Preserve typed refusal, fallback, blocked, and suppressed posture where closure is still incomplete.
• Keep public language bounded to the declared article envelope rather than implying generic arbitrary-program closure from a partial green result.

Done When

• Arto is green
• the declared hard-Sudoku benchmark suite is green

[AtlantisPleb]

Implemented TAS-181 in commit 1de5fff and pushed to origin/main.

Summary:

• Added the committed hard-Sudoku suite manifest at fixtures/tassadar/sources/tassadar_article_hard_sudoku_suite_v1.json, freezing the declared two-case suite as sudoku_9x9_test_a plus the named sudoku_9x9_arto_inkala case with the 180s runtime ceiling.
• Added runtime hard-Sudoku benchmark bundle generation in psionic-runtime and committed fixtures/tassadar/runs/article_hard_sudoku_benchmark_v1/article_hard_sudoku_benchmark_bundle.json.
• Added served article-session and hybrid-workflow hard-Sudoku artifact generators in psionic-serve and committed fixtures/tassadar/reports/tassadar_article_hard_sudoku_fast_route_session_artifact.json plus fixtures/tassadar/reports/tassadar_article_hard_sudoku_fast_route_hybrid_workflow_artifact.json.
• Added the joined TAS-181 closure report in psionic-eval and operator summary in psionic-research, committing fixtures/tassadar/reports/tassadar_article_hard_sudoku_benchmark_closure_report.json and fixtures/tassadar/reports/tassadar_article_hard_sudoku_benchmark_closure_summary.json.
• Updated the blocker matrix, acceptance gate, related frontier-bearing eval/research docs, and the dedicated checker script so TAS-181 is closed and TAS-182 is now the next blocked frontier.
• Extended the served/model compatibility surface for the new tassadar.wasm.sudoku_9x9_hard_search.v1 profile and widened the article hybrid-workflow default planner budget so the declared hard suite routes direct on HullCache instead of refusing on profile-budget boundaries.

Targeted validation run:

• cargo test -p psionic-runtime article_hard_sudoku_benchmark -- --nocapture
• cargo test -p psionic-runtime sudoku_9x9_arto_inkala_program_solves_named_hard_case -- --nocapture
• cargo test -p psionic-models tassadar_fixture_supports_named_hard_sudoku_profile -- --nocapture
• cargo test -p psionic-serve article_session_keeps_hard_sudoku_suite_direct_on_hull_cache -- --nocapture
• cargo test -p psionic-serve article_hybrid_workflow_keeps_hard_sudoku_suite_direct_on_hull_cache -- --nocapture
• cargo test -p psionic-eval article_hard_sudoku_benchmark_closure -- --nocapture
• cargo test -p psionic-research article_hard_sudoku_benchmark_closure -- --nocapture
• cargo test -p psionic-eval article_equivalence_acceptance_gate -- --nocapture
• cargo test -p psionic-eval article_equivalence_blocker_matrix -- --nocapture
• bash scripts/check-tassadar-article-hard-sudoku-benchmark-closure.sh
• Dependent frontier-bearing checker scripts rerun after the TAS-182 blocked-frontier shift, including the frontend/interpreter/demo/Hungarian gates.