release-watch: falcon-v1.88.0 (SBUS decode) GREEN on synth v0.12.0; AFD-029 — synth v0.12.0 locks cabi-arena-realloc linkability#97
Merged
Conversation
…v0.12.0; AFD-029 — synth v0.12.0 locks cabi-arena-realloc linkability Cron release-watch. Two supplier moves: falcon-v1.88.0 = SBUS wire decode (verified byte-frame -> bounded RcInput, relay #224 / RC-P02) — new flight code (the failsafe RC-input path / gust sbus-poll source). Tested on the new MAJOR synth v0.12.0 (bootstrapped SHA-verified; v0.12.0 = DWARF source-line --debug-line + gust VCR-MEM-001 layer-2 budget + scry-sai 1.17). Per-piece GREEN, authoritative skip inventory 3/18 all #369 hard-float UNCHANGED, bulk-mem clean; SBUS adds no new unlowerable op. #369/#275 both still OPEN (v0.12.0 is DWARF+VCR+budget, not the control-core poles). Note: v0.12.0 --debug-line DWARF is on the synth->ARM ELF, NOT the wasm — does not change jess's wasm-side stripped-DWARF deviation for witness (REQ-PIX-018). AFD-024 updated; evidence committed. AFD-029 (no-grow): synth v0.12.0 (#418/#420) LOCKS the cabi-arena-realloc -> __cabi_arena_realloc linkability in the dissolution path — the synth side of the no-grow chain is now a released, regression-locked contract (joins the jess-verified wit-bindgen extern-arena #85). meld#298 un-export + loom DCE remains the wasm-rewrite half; AFD-029 stays open on the end-to-end RT1176 rung. rivet validate: PASS. Co-Authored-By: Claude Opus 4.8 <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.
Cron release-watch — two supplier moves.
falcon-v1.88.0 = SBUS wire decode (verified byte-frame → bounded RcInput, relay #224 / RC-P02) — new flight code (the failsafe RC-input path / gust
sbus-pollsource). Tested on the new major synth v0.12.0 (bootstrapped SHA-verified; v0.12.0 = DWARF--debug-line+ the gust VCR-MEM-001 layer-2 budget + scry-sai 1.17). Per-piece GREEN, authoritative skip inventory 3/18 all #369 hard-float, unchanged, bulk-mem clean; SBUS adds no new unlowerable op. #369/#275 both still OPEN (v0.12.0 is DWARF+VCR+budget, not the control-core poles).--debug-lineDWARF is on the synth→ARM ELF, not the wasm; witness instruments the wasm core, so this does not change jess's wasm-side stripped-DWARF deviation.AFD-029 (no-grow): synth v0.12.0 (#418/#420) locks the
cabi-arena-realloc → __cabi_arena_realloclinkability in the dissolution path — the synth side of the no-grow chain is now a released, regression-locked contract (joins the jess-verified wit-bindgen extern-arena, #85). meld#298 un-export + loom DCE remains the wasm-rewrite half; AFD-029 stays open on the end-to-end RT1176 rung.rivet validate: PASS.🤖 Generated with Claude Code