Skip to content

release-watch: falcon-v1.94.0 (DroneCAN sensor ingest) GREEN on synth v0.13.0; #369/#275 unchanged; rivet v0.19.0 forward-compatible #103

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
avrabe merged 1 commit into from
Jun 24, 2026
Merged

release-watch: falcon-v1.94.0 (DroneCAN sensor ingest) GREEN on synth v0.13.0; #369/#275 unchanged; rivet v0.19.0 forward-compatible #103

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 9 additions & 0 deletions artifacts/findings.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -809,6 +809,15 @@ artifacts:
v0.12.0, authoritative skips 3/18 all #369 unchanged, bulk-mem clean - no new
unlowerable op. (spar v0.21.0 released; jess CI pins SPAR_VERSION v0.17.0 which gates
green - no blocker, not bumped.) Evidence: results/jess-build-falcon-v1.93.0.xml.
UPDATE 2026-06-24 (cron, falcon-v1.94.0 = DroneCAN sensor ingest, DC-P03, relay #230):
v1.94 = "sensor ingest - float16 + esc.Status/mag/baro/battery decoders". Tested on
the new MAJOR synth v0.13.0 (bootstrapped SHA-verified; v0.13.0 = cmp->select ->
IT-block predication fusion, VCR-SEL-004, a CODEGEN PERF change - does NOT touch
#369/#275). Per-piece GREEN, authoritative skips 3/18 all #369 UNCHANGED - the
float16 CAN decoders live in the decode path, not the 18 flight exports analysed, so
no new unlowerable op. #369/#275 both still OPEN. ALSO rivet v0.19.0 released: the
jess store validates PASS on it (forward-compatible, 0 errors) - jess CI stays pinned
v0.18.0 (works; not bumped reflexively). Evidence: results/jess-build-falcon-v1.94.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
Expand Down
12 changes: 12 additions & 0 deletions results/jess-build-falcon-v1.94.0.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
<?xml version="1.0" encoding="UTF-8"?>
<testsuites>
<testsuite name="jess-build" tests="7" failures="0" skipped="0" errors="0" time="0">
<testcase name="sha256-verify" classname="jess-build" time="0"/>
<testcase name="sil-stabilization" classname="jess-build" time="0"/>
<testcase name="sil-position-hold" classname="jess-build" time="0"/>
<testcase name="meld-fuse" classname="jess-build" time="0"/>
<testcase name="loom-optimize" classname="jess-build" time="0"/>
<testcase name="synth-compile" classname="jess-build" time="0"/>
<testcase name="kiln-xruntime" classname="jess-build" time="0"/>
</testsuite>
</testsuites>
Loading