Repository navigation
docs(rivet): mark static-linking reqs implemented + SYS.4 verification - #201
Merged
Merged
Conversation
v0.7.0's tag broke release.yml + publish-to-crates-io.yml because [workspace.package].version was bumped while every crates/*/Cargo.toml path-dep pin + MODULE.bazel still carried the old version — cargo refused to resolve (recovered by the 23-pin sweep in #143). The pin sweep was a manual, forgettable step. Add scripts/check_version_pins.py + a `Version Pin Sweep` CI job that fails at PR-merge time if [workspace.package].version drifts from any intra-workspace `{ path = "../x", version = "Y" }` pin or MODULE.bazel's module(version=...). Makes the v0.7.0-class desync structurally uncatchable-too-late rather than caught at tag-push. The script doubles as a local pre-tag check (run from repo root, exits non-zero listing every offending pin). Verified: passes at the current 0.11.11; catches an injected 0.11.10 path-dep desync with a file:line message. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…ation The gale cross-language-LTO arc (synth v0.11.1–v0.11.11) shipped the static-linking capability: ET_REL emission with R_ARM_THM_CALL relocations against import field names (#173) and func_N internal symbols (#167), relocatable fp-relative memory + caller-saved preservation (#197), the .meld_import_table / FLASH / RAM linker-script sections, and the --link cross-linker invocation. gale confirmed the z_impl object links with 5 real kernel relocations. Flip SL-001..SL-007 (system-reqs) and SL-TR-001..003 (sw-reqs) from draft/planned to implemented, and add SL-IV-001 (sys-integration- verification) verifying SL-001..007 with the on-target evidence + regression tests (test_compile_internal_call_produces_relocation_167, test_compile_relocatable_import_uses_direct_func_symbol_197, relocatable_pointer_deref_uses_fp_base_197). rivet validate: error count UNCHANGED at 35 (all pre-existing broken cross-repo links to gale:/kiln:/sigil: externals that have no rivet.yaml to sync against — orthogonal to status). Info-level coverage gaps drop as SL-IV-001 closes the SL-00x verification backlinks. Note: SL-TR-* sw-reqs retain info-level coverage gaps — neither unit-verification (-> sw-detail-design) nor sw-integration-verification (-> sw-arch-component/sw-detail-design) can target a sw-req directly, so closing them needs the full ASPICE chain. Tracked in rivet#350. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Codecov Report✅ All modified and coverable lines are covered by tests. 📢 Thoughts on this report? Let us know! |
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.
The gale cross-LTO arc (v0.11.1–v0.11.11) shipped the static-linking capability, so its rivet requirements can move off
draft/planned.implementedsys-integration-verification) added, verifying SL-001..007 with the on-target evidence (gale's z_impl links with 5 kernel relocations; fp-relative[fp, sem]) + the regression tests.rivet validate: error count unchanged at 35 — all 35 are pre-existing broken cross-repo links togale:/kiln:/sigil:externals that have norivet.yamlto sync against, orthogonal to status. Info-level SL coverage gaps drop as SL-IV-001 closes the backlinks. Verified viarivet check gaps-jsonseverity histogram before/after.Note: SL-TR-* sw-reqs keep info-level coverage gaps — neither verification type targets a sw-req directly (rivet#350). Non-blocking (info, not error).
🤖 Generated with Claude Code