feat(checksum_updater): manage spar/synth/witness; bump spar 0.10.0 → 0.22.0 (#539)#547
Open
avrabe wants to merge 1 commit into
Open
feat(checksum_updater): manage spar/synth/witness; bump spar 0.10.0 → 0.22.0 (#539)#547avrabe wants to merge 1 commit into
avrabe wants to merge 1 commit into
Conversation
…> 0.22.0 (#539) Four PulseEngine verification/synthesis toolchains were never wired into the updater and had drifted far behind: spar 0.10.0 (upstream 0.22.0), synth 0.6.0 (0.20.0), witness 0.22.0 (0.38.0), meld 0.10.0 (0.37.0). #539 flagged spar. Wire spar, synth, witness as PerPlatformAsset — they publish `<tool>-v{version}-{triple}.{ext}` archives (mixed extension: .tar.gz unix, .zip Windows where present) and the toolchain reads the triple as url_suffix, exactly the wsc/wit-bindgen shape. synth ships no Windows build (4 platforms). Bump spar 0.10.0 -> 0.22.0 (the #539 ask; latest is 0.22.0, newer than the 0.21.0 cited). Verified: update resolves v0.22.0 and downloads all 5 platforms; validate re-downloads 5/5 checksums; linux_amd64 sha cross-checked against upstream SHA256SUMS.txt. Restored the description field the serializer drops. Run-level consumption is exercised by the spar smoke test in CI. synth/witness are now updater-manageable but NOT bumped here: 0.6->0.20 and 0.22->0.38 are large jumps on verification/synthesis paths and warrant separate review. meld is intentionally excluded — it migrated from standalone binaries (meld-{triple}) to versioned tarballs (meld-v{version}-{triple}.tar.gz) between 0.10 and 0.37, so adopting it needs a toolchain migration (extraction), not just an updater entry. Follow-ups tracked. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
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.
Addresses the spar half of #539.
Problem
Four PulseEngine verification/synthesis toolchains were never wired into the updater and had drifted far behind upstream:
Change
tool_config.rsasPerPlatformAsset— they publish<tool>-v{version}-{triple}.{ext}archives (mixed extension:.tar.gzunix,.zipWindows where present) and the toolchain reads the triple asurl_suffix— the same shape as wsc/wit-bindgen. (synth ships no Windows build → 4 platforms.)Verification
update --tools spar→ resolves v0.22.0, downloads all 5 platform archives from the correct URLs.validate --tools spar→ re-downloads, 5/5 checksums valid.linux_amd64sha256 cross-checked against upstreamSHA256SUMS.txt→ exact match.descriptionfield the serializer drops.Deliberately scoped out (flagged, not done)
meld-{triple}) to versioned tarballs (meld-v{version}-{triple}.tar.gz) between 0.10 and 0.37, so adopting it needs a toolchain-side migration (extraction), like loom's feat: migrate wasm_optimize to native loom toolchain v1.1.14 (#512) #514 — not just an updater entry.aadl_wit_diff_testdrift-check from aadl_wit_library: add a generate-and-diff drift check (aadl_wit_diff_test) + refresh stale spar checksum registry (0.10.0 → 0.21.0) #539 is separate and not included here.🤖 Generated with Claude Code