docs+test: Track A close-out (commit 4/4) — COMPLIANCE narrative + CLI integration

[avrabe]

Summary

Closes the v0.7.0 Track A milestone (4/4 commits).

• COMPLIANCE.md — "In progress / v0.7.0" expanded into a full narrative covering all four Track A commits (foundation feat(timing): Spar_Timing + Spar_Trace property sets (Track A foundation) (v0.7.0) #145, hierarchical RTA feat(rta): hierarchical IRQ-aware RTA with jitter and BCET/WCET split (Track A commit 2/4) #147, Lean convergence proofs(rta): jittered RTA convergence theorem (Track A commit 3/4) #148, this close-out), Track B foundation (docs: rivet <-> spar variant binding contract v1 (proposed) #144), v0.7.x infrastructure landings (feat: Kani harnesses for scheduler + codegen invariants (#136) #141-feat: criterion benchmarks for scheduling solver + codegen (#137) #143, feat(ci): Lean proof + Bazel + proptest CI gates (#135) #151), and v0.8.0 planning anchors (Tracks D/E from Track D: TSN/Ethernet WCTT analysis with first-class switch modeling #149/Track E: Frozen-platform/mobile-application split + hypothetical-rebinding oracle #150 + research design: Track D research — TSN/Ethernet WCTT design space (#149) #152/design: Track E research — migration / design-space oracle (#150) #153).
• Header refresh — date 2026-04-25, crate count 17, test count 1900+.
• New CLI integration test crates/spar-cli/tests/track_a_close_out.rs exercises the full parse → instance → analyze pipeline on a model with Spar_Timing::ISR_* properties + Sporadic handler thread. Unit/fixture tests in spar-analysis cover the algorithm; this test guards the property surface end-to-end through the CLI binary.

Out-of-scope items recorded

• PIP/PCP (priority inheritance / ceiling protocol) blocking — deferred to v0.7.1
• Multi-processor ISR migration — deferred
• Cache-aware interference inflation — research-grade, deferred to v1.0+

Test plan

• cargo test -p spar --test track_a_close_out passes locally
• cargo clippy -p spar --tests -- -D warnings clean
• cargo fmt --all -- --check clean
• Reviewer scans COMPLIANCE.md narrative for accuracy (especially v0.8.0 planning section)

After this lands, v0.7.0 Track A is complete. Track B (variants) waits on rivet's emitter side. Track D / Track E begin per #149 / #150 research.

🤖 Generated with Claude Code

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!