From 6f13f9f2e750f64bd84e7fa09461d5e2dfb7f8bc Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Fri, 26 Jun 2026 08:32:04 +0200 Subject: [PATCH] chore(planning): scope v0.22.0 to "Deployable TSN synthesis" (4 items) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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) --- artifacts/requirements.yaml | 66 +++++++++++++++++++------------------ 1 file changed, 34 insertions(+), 32 deletions(-) diff --git a/artifacts/requirements.yaml b/artifacts/requirements.yaml index cafb556..a010b72 100644 --- a/artifacts/requirements.yaml +++ b/artifacts/requirements.yaml @@ -610,7 +610,7 @@ artifacts: status: planned tags: [diff, merge, v040] fields: - release: v0.22.0 + release: v0.23.0 # ── MCP Server ─────────────────────────────────────────────────────── @@ -639,7 +639,7 @@ artifacts: status: planned tags: [query, instance, v040] fields: - release: v0.22.0 + release: v0.23.0 # ── Deployment Solver (v0.4.0+) ────────────────────────────────────── @@ -690,7 +690,7 @@ artifacts: status: planned tags: [solver, optimization, v040] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-SOLVER-005 type: requirement @@ -703,7 +703,7 @@ artifacts: status: planned tags: [solver, verification, v040] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-SOLVER-006 type: requirement @@ -716,7 +716,7 @@ artifacts: status: planned tags: [solver, optimization, v040] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-SOLVER-007 type: requirement @@ -741,7 +741,7 @@ artifacts: status: planned tags: [solver, safety, v040] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-SOLVER-009 type: requirement @@ -754,7 +754,7 @@ artifacts: status: planned tags: [solver, security, v040] fields: - release: v0.22.0 + release: v0.23.0 # ── Competitive Gap Requirements (v0.4.0+) ───────────────────────── @@ -962,7 +962,7 @@ artifacts: status: planned tags: [visualization, scheduling, competitive-gap, v040] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-SECURITY-001 type: requirement @@ -990,7 +990,7 @@ artifacts: status: planned tags: [verification, competitive-gap, v040] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-BIDIRECTIONAL-001 type: requirement @@ -1043,7 +1043,7 @@ artifacts: status: planned tags: [interop, requirements, v040] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-INTEROP-003 type: requirement @@ -2266,7 +2266,7 @@ artifacts: status: proposed tags: [emv2, analysis, safety, hir-def, capability] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-WRPC-BINDING-002 type: requirement @@ -2341,7 +2341,7 @@ artifacts: status: proposed tags: [codegen, wit, wrpc, capability] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-RELEASE-WASM-GATES-001 type: requirement @@ -2363,7 +2363,7 @@ artifacts: status: proposed tags: [release, wasm, witness, scry, supply-chain, npm] fields: - release: v0.22.0 + release: v0.23.0 # ── CI / Verification gate ────────────────────────────────────────────── @@ -2609,7 +2609,7 @@ artifacts: status: proposed tags: [proofs, lean, scheduling, kiln, substrate] fields: - release: v0.22.0 + release: v0.23.0 links: - type: traces-to target: REQ-PROOF-SCHED-001 @@ -2634,7 +2634,7 @@ artifacts: status: proposed tags: [ingest, sysml2, grammar] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-PLUGFEST-002 type: requirement @@ -2649,7 +2649,7 @@ artifacts: status: proposed tags: [interop, plugfest, osate] fields: - release: v0.22.0 + release: v0.23.0 links: - type: traces-to target: REQ-PLUGFEST-001 @@ -2693,7 +2693,7 @@ artifacts: status: proposed tags: [parser, plugfest, emv2] fields: - release: v0.22.0 + release: v0.23.0 links: - type: traces-to target: REQ-PLUGFEST-001 @@ -2709,7 +2709,7 @@ artifacts: status: proposed tags: [interop, plugfest, ocarina] fields: - release: v0.22.0 + release: v0.23.0 links: - type: traces-to target: REQ-PLUGFEST-001 @@ -2730,7 +2730,7 @@ artifacts: status: proposed tags: [trace-topology, reconciler] fields: - release: v0.22.0 + release: v0.23.0 links: - type: traces-to target: REQ-TRACE-TOPOLOGY-002 @@ -2749,7 +2749,7 @@ artifacts: status: proposed tags: [trace-topology, reconciler] fields: - release: v0.22.0 + release: v0.23.0 links: - type: traces-to target: REQ-TRACE-TOPOLOGY-005 @@ -2769,7 +2769,7 @@ artifacts: status: proposed tags: [trace-topology, reconciler, attestation] fields: - release: v0.22.0 + release: v0.23.0 links: - type: traces-to target: REQ-TRACE-TOPOLOGY-008 @@ -2849,7 +2849,7 @@ artifacts: status: proposed tags: [ingest, arxml, autosar, tier1] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-NC-TFA-001 type: requirement @@ -2936,7 +2936,7 @@ artifacts: status: proposed tags: [network-calculus, plp, cyclic, substrate, tier1] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-NC-PLP-CONVERGE-001 type: requirement @@ -3032,6 +3032,8 @@ artifacts: [SOLID — Bouillard arXiv:2010.09263] status: proposed tags: [network-calculus, plp, bridge, substrate, tier1] + fields: + release: v0.22.0 - id: REQ-NC-BRIDGE-001 type: requirement @@ -3139,7 +3141,7 @@ artifacts: status: proposed tags: [network-calculus, cbs, qav, audit, tier1] fields: - release: v0.22.0 + release: v0.23.0 # --- Tier 2: the product bet (synthesis → export), kill-gated --- @@ -3244,7 +3246,7 @@ artifacts: status: proposed tags: [tsn, synthesis, qbv, tier2] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-NC-TAS-COMPOSE-001 type: requirement @@ -3288,7 +3290,7 @@ artifacts: status: proposed tags: [network-calculus, tsn, tas, composition, wedge, research-grade, blocked] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-NC-SIM-FLOOR-001 type: requirement @@ -3310,7 +3312,7 @@ artifacts: status: proposed tags: [network-calculus, tsn, tas, simulation, oracle, substrate] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-TSN-SYNTH-MILP-001 type: requirement @@ -3333,7 +3335,7 @@ artifacts: status: proposed tags: [tsn, synthesis, milp, tier2] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-TSN-SYNTH-CQF-BASE-001 type: requirement @@ -3430,7 +3432,7 @@ artifacts: status: proposed tags: [tsn, synthesis, cqf, tier2, research-grade] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-TSN-SYNTH-CQF-LONGLINK-001 type: requirement @@ -3508,7 +3510,7 @@ artifacts: status: proposed tags: [tsn, synthesis, online, reconfiguration, tier2] fields: - release: v0.22.0 + release: v0.23.0 # --- Tier 3: internal soundness ratchet (parallel, never marketed) --- @@ -3525,7 +3527,7 @@ artifacts: status: proposed tags: [proof, lean, network-calculus, soundness, tier3] fields: - release: v0.22.0 + release: v0.23.0 - id: REQ-PROOF-NC-CERT-001 type: requirement @@ -3543,4 +3545,4 @@ artifacts: status: proposed tags: [proof, certificate, network-calculus, soundness, tier3] fields: - release: v0.22.0 + release: v0.23.0