feat(network): 802.1Qcw YANG/NETCONF export of synthesized GCL (REQ-TSN-EXPORT-YANG-001)

[avrabe]

What

Adds GateSchedule::to_qcw_yang(port_name) -> String — serializes a synthesized 802.1Qbv gate schedule (the output of synthesize_gcl, REQ-TSN-SYNTH-QBV-BASE-001) as an ieee802-dot1q-sched (802.1Qcw) YANG instance document in NETCONF XML. This is the deployable artifact a TSN switch consumes via edit-config — completing the ingest → synthesize → export story a real TSN tool sells (tsnkit/Slate/RTaW/PEGASE emit configs, not just bounds).

Each GateWindow → one <gate-control-entry> (operation-name=set-gate-states, time-interval-value = duration ns, gate-states-value = allowed-CoS bitmask; closed guard emits mask 0). Cycle → admin-cycle-time = cycle_ps / 1e12 s. Hand-emitted XML, no new dependency (the to_gcl_blob precedent); xml_escape guards the port name.

Scope honesty

Node structure cross-checked against the published ieee802-dot1q-sched module text (no sgs-params wrapper, no admin-control-list-length leaf, gate-states-value a sibling of operation-name). The document is deliberately simplified and not yet schema-valid — gate-parameter-table sits directly under interfaces/interface rather than the 802.1Qcw bridge-port mount, and operation-name uses a bare set-gate-states identityref. No YANG validator was run. Concrete follow-ups (not claimed here): the bridge-port mount + prefixed identityref to pass pyang/yanglint, and a CQF/Qch export path.

The kill-gate ("premature if no synthesis target consumes the export") is cleared by the v0.20.0 GateSchedule producer.

Oracle (5 tests)

Pinned golden snapshot · one entry per window · Σ time-interval-value == cycle · mask fidelity incl. the closed guard · round-trip from a real synthesize_gcl output · port-name escaping. 139 spar-network lib tests pass; cargo mutants on the new code: 4/4 caught, 0 survivors. fmt + clippy clean.

Traceability

• REQ-TSN-EXPORT-YANG-001: proposed → implemented, pulled forward v0.21.0 → v0.20.0.
• TEST-TSN-EXPORT-YANG added (satisfies).

Falsification

If to_qcw_yang emitted a document whose entry count, interval sum, or per-window masks diverged from the source GateSchedule, or drifted from the pinned golden snapshot, the oracle tests fail.

🤖 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!