Search results

Machine-readable currency: deferred follow-ups (post-checkpoint #288)

Status: Open.

#289 In hyperpolymath/ephapax;

· hyperpolymath opened on Jun 5, 2026

deps: classify #139 fxhash CVE as dev-dep-only + recommended fix wasmtime = { default-features = false }

Status: Open.

#269 In hyperpolymath/ephapax;

· hyperpolymath opened on Jun 1, 2026

ci: mirror.yml — mirror-radicle job fails (needs upstream investigation at hyperpolymath/standards)

Status: Open.

#268 In hyperpolymath/ephapax;

· hyperpolymath opened on Jun 1, 2026

hygiene: .zig-cache-global/ — 376 build-artefact files committed against gitignore rule

Status: Open.

#267 In hyperpolymath/ephapax;

· hyperpolymath opened on Jun 1, 2026

ci: boj-build.yml — malformed curl JSON + dead .local mDNS hostname + http:// estate-policy violation; decide keep or delete

Status: Open.

#266 In hyperpolymath/ephapax;

· hyperpolymath opened on Jun 1, 2026

decide: keep+isolate or delete OCaml Choreographic Sessions sub-project at src/{ast,lexer,parser,typecheck}.ml{,l,y}

Status: Open.

#265 In hyperpolymath/ephapax;

· hyperpolymath opened on Jun 1, 2026

codegen: emit typedwasm.access-sites carrier (typed-wasm ADR-0003)

Status: Open.

#251 In hyperpolymath/ephapax;

· hyperpolymath opened on May 30, 2026

Phase 3b Stage 4 (Phase 5): compound non-linear values + unconditional preservation_l2

Status: Open.

#242 In hyperpolymath/ephapax;

· hyperpolymath opened on May 30, 2026

Phase 3b Stage 3: relaxed restriction via declared_lambda_r_ins + CPS substitution lemma signature

Status: Open.

#241 In hyperpolymath/ephapax;

· hyperpolymath opened on May 30, 2026

Phase 3b Stage 2 (L4 track): ELam annotation extension — R_in / R_out as program-level commitments

Status: Open.

#240 In hyperpolymath/ephapax;

· hyperpolymath opened on May 30, 2026