Issues

• Bounded state-carrying iteration (fold)

  flyingrobots/amblicit#268 · Filter by author flyingrobots opened on Oct 21, 2026

• Lower bounded for loops that emit effects to Target IR

  flyingrobots/amblicit#267 · Filter by author flyingrobots opened on Oct 20, 2026

• Byte primitives: at, count, isUtf8

  flyingrobots/amblicit#266 · Filter by author flyingrobots opened on Oct 20, 2026

• Typed failures in pure functions

  flyingrobots/amblicit#265 · Filter by author flyingrobots opened on Oct 20, 2026

• Function preconditions and flow-sensitive proofs for subtraction and slice

  flyingrobots/amblicit#264 · Filter by author flyingrobots opened on Oct 20, 2026

• Checked arithmetic, min and max in Edict source

  flyingrobots/amblicit#263 · Filter by author flyingrobots opened on Oct 20, 2026
  2

• Bounded recursion over depth-bounded variants

  flyingrobots/amblicit#262 · Filter by author flyingrobots opened on Oct 20, 2026
  1

• Variant and Option types in Edict source

  flyingrobots/amblicit#261 · Filter by author flyingrobots opened on Oct 20, 2026
  2

• Expose ContentAddressV1 identity inputs to Edict source

  flyingrobots/amblicit#260 · Filter by author flyingrobots opened on Oct 20, 2026

• Suppress errors that depend on failed compiler bindings

  flyingrobots/amblicit#240 · Filter by author flyingrobots opened on Oct 7, 2026

• Preserve and enforce causal-cell key bounds at the Echo boundary

  flyingrobots/amblicit#237 · Filter by author flyingrobots opened on Oct 7, 2026

• Add an executable causal-cell compare-and-set capability

  flyingrobots/amblicit#236 · Filter by author flyingrobots opened on Oct 7, 2026

• Tracking: improve effect diagnostics and compiler recovery

  flyingrobots/amblicit#232 · Filter by author flyingrobots opened on Oct 7, 2026
  1

• Research: generate a Lean-checked certificate for one bounded Core slice

  flyingrobots/amblicit#230 · Filter by author flyingrobots opened on Oct 5, 2026

• Build an Echo-backed Edict behavioral test runner with TAP 14 reporting

  flyingrobots/amblicit#208 · Filter by author flyingrobots opened on Sep 8, 2026
  1

• Validate roadmap frontier references against live GitHub state

  flyingrobots/amblicit#205 · Filter by author flyingrobots opened on Sep 7, 2026

• Prove the curated Rust facade package closure without publication

  flyingrobots/amblicit#204 · Filter by author flyingrobots opened on Sep 7, 2026

• Implement native Windows lawpack transactional publication

  flyingrobots/amblicit#198 · Filter by author flyingrobots opened on Aug 22, 2026

• Schema-as-source-of-truth fan-out codegen: is there a mechanism worth borrowing?

  enhancementquestionrelease:developer-toolsrelease:v2-design
  flyingrobots/amblicit#191 · Filter by author flyingrobots opened on Aug 4, 2026
  1

• edict --explain <kind> as a self-documenting diagnostic catalog

  enhancementrelease:cli
  flyingrobots/amblicit#190 · Filter by author flyingrobots opened on Aug 4, 2026
  1

• Audit remaining xtask guards for tautological oracles

  bad-codeenhancement
  flyingrobots/amblicit#188 · Filter by author flyingrobots opened on Aug 4, 2026
  1

• edict-syntax crate name undersells its scope

  enhancement
  flyingrobots/amblicit#186 · Filter by author flyingrobots opened on Aug 4, 2026
  1

• xtask test module is a 4167-line monolith

  enhancementgood first issue
  flyingrobots/amblicit#185 · Filter by author flyingrobots opened on Aug 4, 2026
  1

• Pass complete lawpack closures to provider invocations

  domain: backendenhancementrelease:lawpacksrelease:target-profilesroadmap-astate: blocked
  flyingrobots/amblicit#171 · Filter by author flyingrobots opened on Jul 28, 2026
  1

• Goalpost: Portable WARP semantics across Echo and git-warp

  domain: backendrelease:lawpacksrelease:target-profilesstate: blockedtype: goalpost
  flyingrobots/amblicit#168 · Filter by author flyingrobots opened on Jul 24, 2026
  1