docs(artifacts): file REQ-087..090 — export bugs + diagnostic consistency + release bundle

[avrabe]

Summary

Four findings from auditing v0.11.1 / v0.12.0 output against a real
5120-artifact project — all filed as v0.13.0-track requirements with
executable Acceptance blocks; no code changes here.

• REQ-087 — rivet export --html --single-page and --filter
  silently emit the full artifact set on large projects (F2-class
  silent failure: flags claim semantics the implementation does not
  deliver). Verified plausible: `cmd_export_html` does branch on
  `single_page` (`main.rs:8007`) but something in the path still
  emits the per-artifact tree at scale.
• REQ-088 — HTML exporter embeds the full CSS/JS framework
  per page (`main.rs:8142-8143`; `MERMAID_JS = include_str!`
  mermaid.min.js ~3MB). 4000+ pages × 3MB = ~13 GB by construction;
  user measured exactly that. Fix is well-bounded: extract to shared
  `_assets/`; per-page payload drops to ~50KB.
• REQ-089 — VSIX extension, `rivet serve`, and `rivet
  validate` surfaced different warning sets for the same project in
  v0.11.1. No integration test asserts the three rendering paths
  agree — itself an F2-class silent failure on the QA surface.
• REQ-090 — GitHub Release should attach a ~51 MB compliance
  bundle (`documents/` + `coverage/` + `matrix/` + `validate/`
  • `stpa/` + `eu-ai-act/` + `graph/` + ReqIF) — what auditors
    actually need — not the navigation-shell HTML the v0.12.0 release
    attached. Gated on REQ-088 landing first (until per-page assets
    are de-duplicated, the per-artifact pages cannot be cleanly
    included).

Test plan

• `rivet validate` PASS — only standard "draft requirement not
  yet satisfied" INFO on each of the four new REQs.
• CI green (artifact-only PR).

🤖 Generated with Claude Code

[github-actions]

📐 Rivet artifact delta

Change	Count
Added	4
Removed	0
Modified	0
Downstream impacted (depth ≤ 5)	0

Graph

graph LR
  REQ_087["REQ-087"]:::added
  REQ_088["REQ-088"]:::added
  REQ_089["REQ-089"]:::added
  REQ_090["REQ-090"]:::added
  classDef added fill:#d4edda,stroke:#28a745,color:#155724
  classDef removed fill:#f8d7da,stroke:#dc3545,color:#721c24
  classDef modified fill:#fff3cd,stroke:#ffc107,color:#856404
  classDef overflow fill:#e2e3e5,stroke:#6c757d,color:#495057,stroke-dasharray: 3 3

Loading

Added

• REQ-087
• REQ-088
• REQ-089
• REQ-090

📎 Full HTML dashboard attached as workflow artifact rivet-delta-pr-317 — download from the workflow run.

_{Posted by rivet-delta workflow. The graph shows only changed artifacts; open the HTML dashboard (above) for full context.}

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Rivet Criterion Benchmarks'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite	Current: ca3396b	Previous: 78f001e	Ratio
validate/10000	15800688 ns/iter (± 1531757)	12714592 ns/iter (± 1456890)	1.24
traceability_matrix/100	5216 ns/iter (± 94)	4296 ns/iter (± 730)	1.21

This comment was automatically generated by workflow using github-action-benchmark.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!