docs(verification): add Section 12 contributor-facing test strategy #36

Merged

navigator merged 1 commit from auto/issue-31-20260524T183039Z_issue31 into main

2026-05-24 15:35:00 -03:00

navigator commented

2026-05-24 15:34:28 -03:00

Owner

Summary

Adds docs/verification/test-strategy.md — the contributor-facing translation of PLAN.md Section 12. Becomes the canonical reference for area:verification work.

Also adds docs/verification/README.md as the directory index (no prior README existed).

What's in the doc

Test pyramid (system 10% / integration 25% / unit 50% / formal 15%) framed as an engineer-hour budgeting target.
Tooling matrix: chiseltest, Cocotb, Verilator, Spike, Yosys-SBY, DRAMSim3, mapped to layer and use.
Per-module requirements checklist: SPEC.md, unit bench, golden model, coverage report (≥85% line / ≥70% condition), failure-mode notes.
PopLink verification gates: single-link 10⁹ cycles, multi-VC stress, 2-chip + 8-chip torus, deadlock-freedom formal, BER 10⁻⁶.
CI lane table with time budgets (fast 5min / standard 30min / nightly 4h / weekly 24h) as a contract description only — does NOT touch .forgejo/workflows/** (off-limits per ADR-017).
Tapeout sign-off criteria: ≥95% line / ≥85% condition coverage on PopSolutions modules, formal proofs passing, 8-chip Llama-2-7B correctness, ARQ at 10⁻⁶ raw BER, 30 nightly greens, zero sev-1/2.

Cross-references

PLAN.md Section 12 (canonical methodology — wins on any drift).
PLAN.md Section 8.3 (testbench plan).
ADR-009 (PopLink fabric), ADR-010 (torus topology), ADR-016 (CI runner).
docs/risk-dashboard.md (F-T2, F-H1 referenced from sign-off).

Acceptance criteria status

docs/verification/test-strategy.md exists
Mirrors PLAN.md Section 12 structure in contributor-facing language
Coverage targets stated (per-module + tapeout sign-off bars)
CI lane table with time budgets, no workflow YAML touched
Cross-references PLAN.md Section 12 explicitly (and §8.3)
docs/verification/README.md created (none existed)

Closes #31

## Summary Adds `docs/verification/test-strategy.md` — the contributor-facing translation of PLAN.md Section 12. Becomes the canonical reference for `area:verification` work. Also adds `docs/verification/README.md` as the directory index (no prior README existed). ## What's in the doc - **Test pyramid** (system 10% / integration 25% / unit 50% / formal 15%) framed as an engineer-hour budgeting target. - **Tooling matrix**: chiseltest, Cocotb, Verilator, Spike, Yosys-SBY, DRAMSim3, mapped to layer and use. - **Per-module requirements checklist**: SPEC.md, unit bench, golden model, coverage report (≥85% line / ≥70% condition), failure-mode notes. - **PopLink verification gates**: single-link 10⁹ cycles, multi-VC stress, 2-chip + 8-chip torus, deadlock-freedom formal, BER 10⁻⁶. - **CI lane table** with time budgets (fast 5min / standard 30min / nightly 4h / weekly 24h) **as a contract description only** — does NOT touch `.forgejo/workflows/**` (off-limits per ADR-017). - **Tapeout sign-off criteria**: ≥95% line / ≥85% condition coverage on PopSolutions modules, formal proofs passing, 8-chip Llama-2-7B correctness, ARQ at 10⁻⁶ raw BER, 30 nightly greens, zero sev-1/2. ## Cross-references - PLAN.md Section 12 (canonical methodology — wins on any drift). - PLAN.md Section 8.3 (testbench plan). - ADR-009 (PopLink fabric), ADR-010 (torus topology), ADR-016 (CI runner). - `docs/risk-dashboard.md` (F-T2, F-H1 referenced from sign-off). ## Acceptance criteria status - [x] `docs/verification/test-strategy.md` exists - [x] Mirrors PLAN.md Section 12 structure in contributor-facing language - [x] Coverage targets stated (per-module + tapeout sign-off bars) - [x] CI lane table with time budgets, no workflow YAML touched - [x] Cross-references PLAN.md Section 12 explicitly (and §8.3) - [x] `docs/verification/README.md` created (none existed) Closes #31

navigator added 1 commit

2026-05-24 15:34:28 -03:00

docs(verification): add Section 12 contributor-facing test strategy

build / scalafmt-check (pull_request) Successful in 3s

Details

build / sbt-compile (pull_request) Successful in 3s

Details

build / shell-lint (pull_request) Successful in 18s

Details

7183c82a71

Translate PLAN.md Section 12 into a single docs/verification/test-strategy.md
that contributors can act on without reading the full plan: test pyramid,
tooling matrix, per-module SPEC+bench+golden+coverage requirements,
PopLink-specific verification gates, four-tier CI lane descriptions
(without touching .forgejo/workflows/**), and the tapeout sign-off bar.

Adds docs/verification/README.md as the index for area:verification work.

Coverage thresholds stated explicitly: >=85% line / >=70% condition per
module; >=95% line / >=85% condition for tapeout sign-off. CI lane table
documents time budgets (5min / 30min / 4h / 24h) as descriptive contract
— PLAN.md Section 12 stays authoritative; workflow YAML is for Marcos
to wire up per ADR-017.

Closes #31