Search results

Dagger

Status: Open.

#448 In pulseengine/kiln;

· avrabe opened on Jul 18, 2026

kiln-component does not compile in isolation: cargo check -p kiln-component fails on clean main (default = ["kiln-runtime/std"] never enables its OWN std feature)

Status: Open.

#446 In pulseengine/kiln;

· avrabe opened on Jul 17, 2026

kilnd invokes functions with zero-filled arguments and reports the wrong result as success (no arg-arity check); also runs a spec-invalid param-arity component

Status: Open.

#443 In pulseengine/kiln;

· avrabe opened on Jul 16, 2026

Use ordeal as a certified oracle for integer op semantics + effective-address overflow traps

Status: Open.

#426 In pulseengine/kiln;

· avrabe opened on Jul 11, 2026

Proposal: sigil on-target verify → trust kiln.resource_limits for reject-at-load (AD-WCMC-001)

Status: Open.

#421 In pulseengine/kiln;

· avrabe opened on Jul 11, 2026

Direction: give kiln a no_std interpreter mode for on-board embedded execution (hybrid with synth-AOT) — amends RFC #46

Status: Open.

#415 In pulseengine/kiln;

· avrabe opened on Jul 11, 2026

Comparison targets: benchmark + differentially validate kiln against the safety-critical Rust interpreter field (NASA spacewasm, DLR-FT/wasm-interpreter), not only wasmtime

Status: Open.

#413 In pulseengine/kiln;

· avrabe opened on Jul 11, 2026

approach: make kiln a verified reference executable oracle (differential against an external verified interpreter)

Status: Open.

#401 In pulseengine/kiln;

· avrabe opened on Jul 8, 2026

kilnd: E03ED 'Failed to load module' on witness-instrumented cores (real-app scale) — WASI itself works

Status: Open.

#391 In pulseengine/kiln;

· avrabe opened on Jul 8, 2026

Component multi-core instantiation: cross-core user imports (sibling-module function/memory) aren't linked

Status: Open.

#375 In pulseengine/kiln;

· avrabe opened on Jul 2, 2026

Release standard: stand up a real signed release, then witness + scry, re-enable Kani

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.

#356 In pulseengine/kiln;

· avrabe opened on Jun 22, 2026

Cross-repo contract (witness --harness JSON schema) is untraced — coordination is manual prose

Status: Open.

#347 In pulseengine/kiln;

· avrabe opened on Jun 21, 2026