From 56c7241f8ee612375acd604d4b8bacccc38275d8 Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Tue, 23 Jun 2026 08:25:42 +0200 Subject: [PATCH] release-watch: falcon-v1.89.0 (CRSF RC decode) per-piece GREEN, gap unchanged (#369 only) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Cron release-watch. relay falcon-v1.89.0 = CRSF wire decode (CRC-checked byte-frame -> bounded RcInput, relay #225 / RC-P03) — the RC-input decode series (SBUS v1.88 + CRSF v1.89). Per-piece GREEN on synth v0.12.0, authoritative skip inventory 3/18 all #369 hard-float unchanged, bulk-mem clean; no new unlowerable op. AFD-024 one-line note + evidence. rivet validate: PASS. Co-Authored-By: Claude Opus 4.8 --- artifacts/findings.yaml | 4 ++++ results/jess-build-falcon-v1.89.0.xml | 12 ++++++++++++ 2 files changed, 16 insertions(+) create mode 100644 results/jess-build-falcon-v1.89.0.xml diff --git a/artifacts/findings.yaml b/artifacts/findings.yaml index 66fd7f0..ecc6c5a 100644 --- a/artifacts/findings.yaml +++ b/artifacts/findings.yaml @@ -792,6 +792,10 @@ artifacts: 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. + UPDATE 2026-06-23 (cron, falcon-v1.89.0 = CRSF RC decode, RC-P03, relay #225): + the RC-input decode series (SBUS v1.88 + CRSF v1.89, both -> bounded RcInput). + Per-piece GREEN on synth v0.12.0, authoritative skips 3/18 all #369 unchanged, + bulk-mem clean - no new unlowerable op. Evidence: results/jess-build-falcon-v1.89.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 diff --git a/results/jess-build-falcon-v1.89.0.xml b/results/jess-build-falcon-v1.89.0.xml new file mode 100644 index 0000000..697e74b --- /dev/null +++ b/results/jess-build-falcon-v1.89.0.xml @@ -0,0 +1,12 @@ + + + + + + + + + + + +