Issues

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

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

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

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

• Document a configurable Echo-executable causal-cell lawpack

  flyingrobots/edict#235 · Filter by author flyingrobots opened on Oct 7, 2026

• Explain the lawpack import digest and digest-mismatch error

  flyingrobots/edict#234 · Filter by author flyingrobots opened on Oct 7, 2026

• Emit structured compiler diagnostics for application builds

  flyingrobots/edict#233 · Filter by author flyingrobots opened on Oct 7, 2026

• Report the effect call cause without dependent diagnostic errors

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

• Enforce canonical return-size bounds for every intent

  flyingrobots/edict#231 · Filter by author flyingrobots opened on Oct 7, 2026

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

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

• Correct README safety guarantees and compiler/runtime status

  flyingrobots/edict#229 · Filter by author flyingrobots opened on Oct 5, 2026
  1

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

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

• Validate roadmap frontier references against live GitHub state

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

• Prove the curated Rust facade package closure without publication

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

• Implement native Windows lawpack transactional publication

  flyingrobots/edict#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/edict#191 · Filter by author flyingrobots opened on Aug 4, 2026
  1

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

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

• Audit remaining xtask guards for tautological oracles

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

• ROADMAP.md Current Frontier points at a milestone closed 22 days ago

  documentationroadmap-a1
  flyingrobots/edict#187 · Filter by author flyingrobots opened on Aug 4, 2026
  1

• edict-syntax crate name undersells its scope

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

• xtask test module is a 4167-line monolith

  enhancementgood first issue
  flyingrobots/edict#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/edict#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/edict#168 · Filter by author flyingrobots opened on Jul 24, 2026
  1

• GP1: define EchoProofPlanV0 fixture and digest domain

  campaign:xyph-gate-alpha
  flyingrobots/edict#136 · Filter by author flyingrobots opened on Jul 8, 2026 · Xyph Gate Alpha - GP1: Evidence Vocabulary Freeze
  2

• Deferred: mutation helper tooling for Target IR fixtures

  enhancementrelease:developer-toolsrelease:target-ir
  flyingrobots/edict#127 · Filter by author flyingrobots opened on Jul 4, 2026
  1

• Deferred: future obstruction continuation modes

  enhancementrelease:continuum-stackrelease:core-irrelease:front-endrelease:target-ir
  flyingrobots/edict#126 · Filter by author flyingrobots opened on Jul 4, 2026
  1

• Deferred: obstruction reason display hints and retry metadata

  enhancementrelease:continuum-stackrelease:developer-toolsrelease:front-end
  flyingrobots/edict#125 · Filter by author flyingrobots opened on Jul 4, 2026