Search results

Finish RSR-template instantiation + reconcile stack-diagram vs KRL-stack grounding

Status: Open.

#56 In hyperpolymath/tangle;

· hyperpolymath opened on Jun 21, 2026

Proof obligations: remaining work after TG-3/5/6/7/8 (2026-06-14)

Status: Open.

#51 In hyperpolymath/tangle;

· hyperpolymath opened on Jun 14, 2026

TG-7 decision: braid == semantics — list-equality vs braid-group equivalence

Status: Open.

#50 In hyperpolymath/tangle;

· hyperpolymath opened on Jun 14, 2026

TG-2: prove decidability of type inference (infer_correct)

Status: Open.

#30 In hyperpolymath/tangle;

· hyperpolymath opened on Jun 1, 2026

TG-6: WASM compilation preserves semantics (compiler-correctness theorem)

Status: Open.

#27 In hyperpolymath/tangle;

· hyperpolymath opened on Jun 1, 2026

TG-1: extend type safety to let-binding (Tangle.lean)

Status: Open.

#26 In hyperpolymath/tangle;

· hyperpolymath opened on Jun 1, 2026