Search results

Adopt relay-sec on the sensor↔hub link — realize SSC-AUTH/FRESH/CONF instead of assuming them

Status: Open.

#49 In pulseengine/wohl;

· avrabe opened on Jun 14, 2026

0.3.x architecture honesty backlog (follow-ups from Track B critic round)

Status: Open.

#30 In pulseengine/wohl;

· avrabe opened on May 27, 2026

WASM component build hygiene: no .bazelignore + wasm_component.rs escapes the CI lint gate

Status: Open.

#14 In pulseengine/wohl;

· avrabe opened on May 20, 2026

Phase 3: Field sensor firmware — Thread (STM32WB55) base, sub-GHz + CAN-FD alternates, transport-agnostic CCSDS

Status: Open.

#10 In pulseengine/wohl;

· avrabe opened on May 20, 2026

CI follow-ups: matrix split, pinned siblings, cargo-deny, bazel build, nightly long-fuzz

Status: Open.

#8 In pulseengine/wohl;

· avrabe opened on May 19, 2026

Follow-ups from PR #4 reviewer feedback (AADL traceability + minor)

Status: Open.

#5 In pulseengine/wohl;

· avrabe opened on May 19, 2026

Add GitHub Actions CI for Kani + proptest + fuzz verification

Status: Open.

#1 In pulseengine/wohl;

· avrabe opened on Apr 22, 2026