Search results

Audit runtime FFI aggregate-to-pointer casts

bugSomething isn't workingSomething isn't working

Status: Open.

#368 In withlang-dev/with;

· ehartford opened on Jun 8, 2026

Audit and enforce backend lowering for deterministic raw address operations

Status: Open.

#367 In withlang-dev/with;

· ehartford opened on Jun 8, 2026

Require unsafe fn or proven wrapper for raw-pointer validity preconditions

Status: Open.

#366 In withlang-dev/with;

· ehartford opened on Jun 8, 2026

Define and implement raw pointer difference as address subtraction, not implicit element distance

Status: Open.

#365 In withlang-dev/with;

· ehartford opened on Jun 8, 2026

Require unsafe for raw-pointer-to-safe-reference/view conversions

Status: Open.

#364 In withlang-dev/with;

· ehartford opened on Jun 8, 2026

Reject mutable guarded with when source lacks ScopedMut

Status: Open.

#363 In withlang-dev/with;

· ehartford opened on Jun 8, 2026

Make ephemerality provenance-tracked and modular

Status: Open.

#362 In withlang-dev/with;

· ehartford opened on Jun 8, 2026

Add allocation attribution and no-allocation checking substrate

Status: Open.

#361 In withlang-dev/with;

· ehartford opened on Jun 8, 2026

Make capability-bearing build effects reproducible and auditable

Status: Open.

#360 In withlang-dev/with;

· ehartford opened on Jun 8, 2026

Make embed_file a tracked-input comptime intrinsic

Status: Open.

#359 In withlang-dev/with;

· ehartford opened on Jun 8, 2026

Make c_import string/buffer/void* coercions contract-driven

Status: Open.

#358 In withlang-dev/with;

· ehartford opened on Jun 8, 2026

Replace heuristic c_import auto-defer with proven-ownership Drop wrappers

Status: Open.

#357 In withlang-dev/with;

· ehartford opened on Jun 8, 2026