Search results

Prove the ~30 external_body codec/CRC bodies with ordeal (upgrade proptest → certificate)

Status: Open.

#265 In pulseengine/relay;

· avrabe opened on Jul 11, 2026

rivet hygiene: backfill release: fields + convert whole-crate verification steps to named tests

Status: Open.

#262 In pulseengine/relay;

· avrabe opened on Jul 11, 2026

rivet hygiene: decompose the architecture layer (5 swarch for 219 swreq)

Status: Open.

#261 In pulseengine/relay;

· avrabe opened on Jul 11, 2026

relay-traj Kani harnesses hang CBMC — bound and enroll in the kani.yml matrix

Status: Open.

#260 In pulseengine/relay;

· avrabe opened on Jul 11, 2026

Verification fidelity: audit safety-behavior campaigns for idealized-harness blind spots

Status: Open.

#257 In pulseengine/relay;

· avrabe opened on Jul 10, 2026

Rotor-out: supervisor-driven controlled landing + clean gz recording

Status: Open.

#256 In pulseengine/relay;

· avrabe opened on Jul 10, 2026

FDI: single-rotor-out detection degrades under heavy GNSS/gyro noise

Status: Open.

#255 In pulseengine/relay;

· avrabe opened on Jul 10, 2026

approach: single-source the Verus/Kani engine (generation) + refine the Rocq model to the actual Rust

Status: Open.

#253 In pulseengine/relay;

· avrabe opened on Jul 8, 2026

Release standard: promote manual witness run to a CI gate, add scry

release-standardOrg-wide release-consistency campaign (five-track standard); coordinate at pulseengine.eu#98Org-wide release-consistency campaign (five-track standard); coordinate at pulseengine.eu#98

Status: Open.

#222 In pulseengine/relay;

· avrabe opened on Jun 22, 2026

Attestation chain: wire sigil (native Ed25519 endorsement) before cosign — release ships cosign-only (step-6 gap, v1.78–v1.81)

Status: Open.

#216 In pulseengine/relay;

· avrabe opened on Jun 20, 2026

relay-hal: consolidate + complete the peripheral-abstraction seams (RegBus/Serial/Pwm/Adc/Can) + DroneCAN components for the i.MX RT1176 bring-up

Status: Open.

#214 In pulseengine/relay;

· avrabe opened on Jun 19, 2026

witness MC/DC: harness can't invoke async-lift stream exports (composed pipeline coverage is 0/2713)

Status: Open.

#202 In pulseengine/relay;

· avrabe opened on Jun 17, 2026