chore(release): bump to v0.22.0

[avrabe]

v0.22.0 — "Deployable TSN synthesis"

Cuts v0.22.0 with three shipped features (clean-room audited GO):

Req	PR	What
REQ-NC-PLP-MIN-001	#307	Authoritative per-flow NC bound = min(PLP, TFA)
REQ-WRPC-BINDING-003	#308	Verify Actual_Connection_Binding resolves to a bus
REQ-TSN-SYNTH-QBV-GUARDBAND-001	#309	Guard-band-aware 802.1Qbv GCL splitting (deployment-sound)

Release handling — adopts rivet 0.22's release flow

• The three features carry a top-level release: v0.22.0 field and are advanced to verified (each now has a verifies link from its TEST-* feature). rivet release status v0.22.0 → ✓ cuttable (every scoped artifact verified/accepted).
• Stale fields.release entries removed on the migrated artifacts.
• Cross-version verified: CI rivet v0.4.3 (merge gate) and v0.7.0 (verification gate) both PASS with unchanged warning counts (112 / 120) — the migration introduces zero new diagnostics.

Scope correction (clean-room blocker)

REQ-TSN-SYNTH-CQF-LONGLINK-001 moved to v0.23.0 via rivet release move — its committed spec is unsound (the delay interval inverts on long links once the buffer clause activates). It's deferred for a sound cycle-quantized rewrite; a SPEC-UNDER-REVISION marker + the corrected model are recorded in the artifact.

Bump

Workspace 0.21.0 → 0.22.0 (Cargo.toml, Cargo.lock, vscode-spar/package.json). cargo build --workspace green.

Falsification

If the guard-band synthesizer's emitted GCL were not deployment-sound, a class would miss its deadline under the §8.6.8.4 overrun model — the K=1 anchor (guard_band_k1_equals_sync_error_at_eps_g) and the full-schedule self-cert would fail. They pass.

🤖 Generated with Claude Code

[github-actions]

Rivet verification gate

✅ 20/20 passed

	count
Passed	20
Failed	0
Skipped (no steps)	0

Filter: (and (= type "feature") (or (has-tag "v093") (has-tag "v0100")))

Failed artifacts

(none)

_{Updated automatically by tools/post_verification_comment.py. Source of truth: artifacts/verification.yaml.}

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!