Issues

• 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

• 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

• Deferred: canonical Echo receipt bytes for obstruction receipts

  enhancementrelease:admissionrelease:continuum-stackrelease:target-profiles
  flyingrobots/edict#124 · Filter by author flyingrobots opened on Jul 4, 2026
  1

• Deferred: full WARP TTD counterfactual model for obstruction planning

  documentationenhancementrelease:continuum-stackrelease:target-ir
  flyingrobots/edict#123 · Filter by author flyingrobots opened on Jul 4, 2026

• Deferred: counterfactual explorer for obstruction outcomes

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

• Deferred: obstruction reason registry

  documentationenhancementrelease:continuum-stackrelease:target-irrelease:target-profiles
  flyingrobots/edict#121 · Filter by author flyingrobots opened on Jul 4, 2026

• Deferred: digest chain display for obstruction receipts

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

• Deferred: semantic ladder view for obstruction artifacts

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

• First-class obstruction strands for Supported Outcome Settlement

  documentationenhancementrelease:continuum-stackrelease:target-irrelease:target-profiles
  flyingrobots/edict#116 · Filter by author flyingrobots opened on Jul 4, 2026
  2