fix(export): honest AADL static-export fallback + embed source (REQ-273, #468)

[avrabe]

REQ-273 / #468 — AADL diagrams in the static compliance export

A static export has no rivet serve JS to fill the .aadl-diagram placeholder, so the perpetual "Loading AADL diagram…" read as a hung/broken report. A prior fix (REQ-200) replaced that text post-hoc in the export wrappers; this fixes it at the render source and embeds the AADL source:

• document.rs (render_to_html) and render/artifacts.rs now emit an honest placeholder — text true in both modes (serve replaces the container with the SVG on success; a static bundle keeps it) — plus the raw AADL in a collapsible <details>, so a static compliance report shows the architecture textually instead of a dead spinner. The post-hoc string-replacements become harmless no-ops (old string no longer emitted).

The interactive inline SVG still depends on a published spar-wasm asset (cross-repo, spar#259 — build.rs ships a stub); that remains for when spar publishes the browser bundle. This ships the unblocked user-visible fix.

Also files v0.31 UX backlog (customer requests)

• REQ-274 test-result trace collapsible tree view (fold/expand, serve + export) — reuses the existing collapsible_tree() over the already-tree-shaped ResultTraceNode.
• REQ-275 human tag filter — select all / unselect all / filter box.
• REQ-276 color-contrast audit — fix white-on-light-grey to WCAG AA.

Verified

document AADL unit test + export_html #468 test pass (1073 pages); clippy clean; rivet validate + docs check PASS.

Fixes: REQ-273 · Refs: REQ-274, REQ-275, REQ-276

🤖 Generated with Claude Code

[github-actions]

📐 Rivet artifact delta

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

Graph

graph LR
  REQ_273["REQ-273"]:::modified
  REQ_274["REQ-274"]:::added
  REQ_275["REQ-275"]:::added
  REQ_276["REQ-276"]:::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-274
• REQ-275
• REQ-276

Modified

ID	Changes
REQ-273

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

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

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!