Search results

Hardware bring-up round (v1.57+): the 7-item flight-readiness register

Status: Open.

#157 In pulseengine/relay;

· avrabe opened on Jun 11, 2026

Self-hosted runners lack gh (+ Node 20 deprecation): verification-gate PR comment can't post on smithy

Status: Open.

#153 In pulseengine/relay;

· avrabe opened on Jun 11, 2026

witness MC/DC on the real flight component (falcon_flight_component.wasm)

Status: Open.

#145 In pulseengine/relay;

· avrabe opened on Jun 10, 2026

Add criterion benchmarks for per-engine throughput (LC, SCH, SC, HS, CFDP)

Status: Open.

#8 In pulseengine/relay;

· avrabe opened on Apr 22, 2026

Add tokio-rs/loom harnesses for stream-channel backpressure

Status: Open.

#7 In pulseengine/relay;

· avrabe opened on Apr 22, 2026

End-to-end verification chain: Verus → Rocq → Lean → Kani for all five engines

Status: Open.

#4 In pulseengine/relay;

· avrabe opened on Apr 14, 2026