Skip to content

chore(planning): scope v0.22.0 to Deployable TSN synthesis (4 items)#306

Merged
avrabe merged 2 commits into
mainfrom
chore/v0.22-scope
Jun 26, 2026
Merged

chore(planning): scope v0.22.0 to Deployable TSN synthesis (4 items)#306
avrabe merged 2 commits into
mainfrom
chore/v0.22-scope

Conversation

@avrabe

@avrabe avrabe commented Jun 26, 2026

Copy link
Copy Markdown
Contributor

Sets the v0.22.0 scope per the chosen theme = Deployable TSN synthesis. v0.22.0 now holds exactly four committed, buildable, sound-oracle items:

Req What
REQ-TSN-SYNTH-QBV-GUARDBAND-001 Deployment-sound Qbv window-splitting (guard-band model pinned from IEEE 802.1Qbv §8.6.8.4) — headline
REQ-TSN-SYNTH-CQF-LONGLINK-001 Sound B-buffer CQF for long links
REQ-NC-PLP-MIN-001 Authoritative per-flow bound = min(PLP,TFA) (was unscoped backlog → assigned v0.22.0)
REQ-WRPC-BINDING-003 Bus-target verification (closes the #281 follow-up)

The other 32 v0.22.0 requirements bump to v0.23.0 (the next planning bucket, scoped at its own cut time — same pattern as v0.20→v0.21 and v0.21→v0.22). Genuine near-term v0.23 candidates: NC-SIM-FLOOR-001 (TAS DES floor unblocking the gated-hop PLP≪TFA wedge + MILP), EMV2-PROPAGATION-002 (#294), CODEGEN-WIT-CONN-001 (#282), RELEASE-WASM-GATES-001 (#297). The rest is deeper backlog.

No code change — deliberate, logged scope move per release-planning.

🤖 Generated with Claude Code

User picked the v0.22.0 theme = Deployable TSN synthesis. v0.22.0 now
holds exactly the four committed, buildable, sound-oracle Tier-A items:

- REQ-TSN-SYNTH-QBV-GUARDBAND-001 — deployment-sound Qbv window-splitting
  (guard-band model pinned from IEEE 802.1Qbv §8.6.8.4; headline)
- REQ-TSN-SYNTH-CQF-LONGLINK-001 — sound B-buffer CQF for long links
- REQ-NC-PLP-MIN-001 — authoritative per-flow bound = min(PLP, TFA)
  (assigned a release for the first time; was unscoped backlog)
- REQ-WRPC-BINDING-003 — bus-target verification (closes the #281 follow-up)

The other 32 v0.22.0 requirements are bumped to v0.23.0 (the next planning
bucket, scoped at its own cut time — same pattern as the v0.20→v0.21 and
v0.21→v0.22 bumps). Genuine near-term v0.23 candidates within that set:
REQ-NC-SIM-FLOOR-001 (the TAS DES floor that unblocks the gated-hop
PLP≪TFA wedge + MILP), REQ-EMV2-PROPAGATION-002 (#294), REQ-CODEGEN-WIT-
CONN-001 (#282), REQ-RELEASE-WASM-GATES-001 (#297); the remainder is
deeper backlog (proofs, trace-topology, plugfest/interop, solver/query/
timeline, ARXML+autosar dep, research-grade CQF-001/TAS-COMPOSE).

No code change; deliberate, logged scope move per release-planning.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@avrabe avrabe enabled auto-merge (squash) June 26, 2026 06:32
@codecov

codecov Bot commented Jun 26, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@github-actions

Copy link
Copy Markdown

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.

@avrabe avrabe merged commit 575a239 into main Jun 26, 2026
18 checks passed
@avrabe avrabe deleted the chore/v0.22-scope branch June 26, 2026 12:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant