chore(deps): bump spar pin 84a7363 → v0.10.0 tag#327
Merged
Conversation
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
There was a problem hiding this comment.
⚠️ Performance Alert ⚠️
Possible performance regression was detected for benchmark 'Rivet Criterion Benchmarks'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.
| Benchmark suite | Current: 1701c34 | Previous: cfe0cdf | Ratio |
|---|---|---|---|
link_graph_build/10000 |
36184778 ns/iter (± 2844800) |
23164440 ns/iter (± 1106025) |
1.56 |
validate/10000 |
16978578 ns/iter (± 2532091) |
12574742 ns/iter (± 634955) |
1.35 |
This comment was automatically generated by workflow using github-action-benchmark.
Codecov Report✅ All modified and coverable lines are covered by tests. 📢 Thoughts on this report? Let us know! |
avrabe
force-pushed
the
chore/bump-spar-v0.10.0
branch
2 times, most recently
from
2d7cd33 to
1701c34
Compare
Promote from the pre-v0.9.0 dev sha to the signed v0.10.0 tag (afd5da2). API surface used by rivet-core/src/formats/aadl.rs (25 spar-analysis registrations + spar-hir Database) compiles cleanly and the AADL adapter tests pass against v0.10.0 unchanged. Relevant fixes inherited by rivet via this bump: - hir-def: applies_to accepts feature paths (AADL v2.3, #219) - hir-def: nested binding path resolution, 3+ levels (#214) - assertion-eval: has() matches features (#217) - assertion-eval: count() comparisons evaluate correctly (#218) - classifier-match: same-direction delegation bus access (#216) - codegen: --format wit emits only WIT, not workspace (#232) New v0.10.x capabilities now available to rivet (used by aadl.rs only as we surface them): - emv2: error-propagation traversal across connection graph - nc: piecewise-affine arrival curves; PMOO/LUDB via good_lp - mermaid: classDiagram + requirementDiagram emitters - trace-topology: Spar_Identity property set + PCAPNG/LLDP/gPTP FrameSource / TopologySource / PtpTimeSource Cargo.toml: pin tag = "v0.10.0" (was rev = "84a7363"). Cargo.lock: refreshed spar-hir, spar-analysis, spar-base-db, spar-hir-def, spar-network, spar-annex to v0.10.0. Validated: - cargo check -p rivet-core: PASS - cargo test -p rivet-core aadl: PASS (3 aadl_* + 2 schema tests) - cargo test --workspace: PASS (1 spurious failure in query_ids_format_matches_list_filter caused by simultaneous branch-switching, re-ran cleanly in isolation: PASS) Refs: REQ-051 Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
avrabe
force-pushed
the
chore/bump-spar-v0.10.0
branch
from
1701c34 to
e197619
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
84a7363,March 2026) to the signed
v0.10.0tag (afd5da2).new v0.10.x capabilities surfaced (EMV2 connection-graph
propagation, NC tightness, mermaid emitters, trace-topology).
rivet-core/src/formats/aadl.rs— the only spar consumer in rivet— needs no code change. The 25-pass analysis registration +
spar-hir Database surface compiles unchanged against v0.10.0.
Why v0.10.0 and not HEAD?
spar's
origin/mainis mid-v0.11.0 (in-flight trace-topology +QEMU fixture work). v0.10.0 is the most recent signed tag with
the bug-fix burden cleared; v0.11.0 work is staged for the next
spar release tag. This bump is conservative on purpose.
Test plan
cargo check -p rivet-core— PASScargo test -p rivet-core aadl— PASS (3 aadl_* + 2 schema tests)cargo test --workspace --no-fail-fast— PASS (1 spurious failurein
query_ids_format_matches_list_filtercaused by simultaneousbranch-switching during the run; re-ran cleanly in isolation: PASS)
Inherited fixes worth flagging
applies_toaccepts feature paths (AADL v2.3, spar style(rivet-core): cargo fmt drift after PR #218 merge #219)has()matches features (spar fix(playwright): close out remaining 8 dashboard test failures #217)count()comparisons evaluate correctly (spar test(rivet-core): kill 35+ surviving mutants from sharded mutation testing #218)🤖 Generated with Claude Code