From d75dd6a3374601c8b838b7b2adfaca4abf6874af Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Tue, 23 Jun 2026 04:27:25 +0200 Subject: [PATCH] =?UTF-8?q?release-watch:=20falcon-v1.88.0=20(SBUS=20decod?= =?UTF-8?q?e)=20per-piece=20GREEN=20on=20synth=20v0.12.0;=20AFD-029=20?= =?UTF-8?q?=E2=80=94=20synth=20v0.12.0=20locks=20cabi-arena-realloc=20link?= =?UTF-8?q?ability?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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 --- artifacts/findings.yaml | 22 ++++++++++++++++++++++ results/jess-build-falcon-v1.88.0.xml | 12 ++++++++++++ 2 files changed, 34 insertions(+) create mode 100644 results/jess-build-falcon-v1.88.0.xml diff --git a/artifacts/findings.yaml b/artifacts/findings.yaml index 75f659e..66fd7f0 100644 --- a/artifacts/findings.yaml +++ b/artifacts/findings.yaml @@ -779,6 +779,19 @@ artifacts: (kiln==wasmtime), authoritative skip inventory UNCHANGED at 3 of 18 all #369 hard-float, bulk-mem clean. No new on-target gap. Evidence: results/jess-build-falcon-v1.87.0.xml. + UPDATE 2026-06-23 (cron loop, falcon-v1.88.0 = SBUS RC decode + synth v0.12.0): + falcon-v1.88.0 = "SBUS wire decode - verified byte-frame -> bounded RcInput" + (relay #224, RC-P02) - NEW flight-relevant code (the failsafe RC-input path, gust's + sbus-poll source). Also tested on the new MAJOR synth v0.12.0 (bootstrapped + SHA-verified darwin; v0.12.0 = DWARF source-line debugging VCR-DBG-001 + the gust + VCR-MEM-001 layer-2 budget + scry-sai 1.17). Per-piece GREEN, SIL PASS; authoritative + skip inventory on synth v0.12.0 = 3 of 18 all #369 hard-float - UNCHANGED, bulk-mem + clean; the SBUS decode adds no new unlowerable op. synth v0.12.0 does NOT clear the + two control-core poles (#369 hard-float, #275 dispatch both still OPEN) - it is DWARF + + VCR + gust-budget work. NOTE re REQ-PIX-018/witness: v0.12.0's --debug-line DWARF + 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 (still branch-coverage). + Evidence: results/jess-build-falcon-v1.88.0.xml. tags: [release-watch, synth, fpu, miscompile, correctness, on-target, blocker] fields: detected-by: jess REQ-PIX-001 value-level oracle - silent miscompile resolved in v0.11.46 (GI-FPU-001, verified loud-skip exit 1); OPEN remainder is GI-FPU-002 hard-float @@ -1082,6 +1095,15 @@ artifacts: wasm32-unknown-unknown embedded target MCU lowering uses). NEXT RUNG (still owed): a full generate!-world -> component -> meld --memory shared -> synth run on a componentized no-grow artifact for RT1176, end-to-end. Stays open until that lands. + UPDATE 2026-06-23 (cron loop): synth v0.12.0 RELEASED (#418/#420) LOCKS the + `cabi-arena-realloc -> __cabi_arena_realloc` linkability in synth's dissolution path + (test(dissolve): lock cabi-arena-realloc linkability) - so the synth side of the + no-grow chain (consuming the wit-bindgen extern-arena symbol when dissolving a + component to the MCU) is now a released, regression-locked contract. So of the + no-grow halves: wit-bindgen#4 extern-arena (jess-verified on the branch, #85) + + synth linkability (now released v0.12.0) advance the source/dissolution side; the + meld#298 un-export + loom DCE half (closed-#6 path) is the remaining wasm-rewrite + piece. AFD-029 stays open on the end-to-end RT1176 rung. tags: [release-watch, wit-bindgen, memory-grow, no-alloc, maximal-wasm, on-target, blocker] fields: detected-by: jess cron-loop review of the pulseengine/wit-bindgen fork embedded issues (#1/#4/#5/#6); cross-repo chain meld#299/#298 + gale#89; jess comments #4 issuecomment-4761323601, #5, #6 diff --git a/results/jess-build-falcon-v1.88.0.xml b/results/jess-build-falcon-v1.88.0.xml new file mode 100644 index 0000000..697e74b --- /dev/null +++ b/results/jess-build-falcon-v1.88.0.xml @@ -0,0 +1,12 @@ + + + + + + + + + + + +