All issues

Search results

Publish a kilnd-runnable core-module artifact alongside the component

Status: Open.

#118 In pulseengine/scry;

· avrabe opened on Aug 8, 2026

MC/DC gate is a loose floor, not a ratchet — it passed a 13→9 full-MC/DC regression

Status: Open.

#117 In pulseengine/scry;

· avrabe opened on Aug 7, 2026

Bump wasmtime 45 → 47 (RUSTSEC-2026-0222) and drop the deny.toml ignore

Status: Open.

#116 In pulseengine/scry;

· avrabe opened on Aug 7, 2026

Bounds-check elision for synth: export proven-safe access sites + close the br_if precision gap

Status: Open.

#114 In pulseengine/scry;

· avrabe opened on Aug 2, 2026

Robustness gap: scry has no fuzz targets or property tests — the sound analyzer's frontend is unguarded

Status: Open.

#113 In pulseengine/scry;

· avrabe opened on Jul 28, 2026

Machine-check scry-bits transfer soundness at w=32/64 with ordeal certificates (DO-333)

Status: Open.

#105 In pulseengine/scry;

· avrabe opened on Jul 11, 2026

approach: make WasmCert-Coq the live differential spec-oracle, and generate the lattice model from the Rust

Status: Open.

#95 In pulseengine/scry;

· avrabe opened on Jul 8, 2026