flyingrobots/edict

誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示

• Compare the projection semantic closure by its canonical identity

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug

  難易度 2/5 1〜3時間 初心者へのやさしさ 76/100

  flyingrobots/edict#306 · 2026年11月8日 に作成

• Drive a public build of a structured v3 operation through a v3 adapter fixture

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement release:target-ir

  難易度 4/5 3〜5日 初心者へのやさしさ 49/100

  flyingrobots/edict#305 · コメント 1 件 · リアクション 1 件 · 2026年11月8日 に作成

• Claim Match-arm binders as fresh identities in the v3 order judgment

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug enhancement release:target-ir

  難易度 4/5 3〜5日 初心者へのやさしさ 52/100

  flyingrobots/edict#304 · 2026年11月8日 に作成

• project: a source function the compiler accepts can fail Core encoding with a CLI failure (CoreDigest NestingLimitExceeded) between 62 and 128 nested calls

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug

  難易度 4/5 3〜5日 初心者へのやさしさ 48/100

  flyingrobots/edict#302 · 2026年11月8日 に作成

• Library callers on small threads can still overflow before MAX_SOURCE_NESTING_DEPTH is reached in debug builds

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  flyingrobots/edict#301 · 2026年11月8日 に作成

• Replace Python tooling and enforce Rust/TypeScript-only development

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement type: goalpost

  難易度 4/5 3〜5日 初心者へのやさしさ 22/100

  flyingrobots/edict#298 · コメント 1 件 · リアクション 1 件 · 2026年11月1日 に作成

• Compose the demonstrated optics without losing basis or support

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  難易度 5/5 1週間以上 初心者へのやさしさ 8/100

  flyingrobots/edict#296 · 2026年11月1日 に作成

• Compile collection membership operations into one validated candidate

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement type: goalpost

  難易度 5/5 1週間以上 初心者へのやさしさ 8/100

  flyingrobots/edict#295 · 2026年11月1日 に作成

• Compile bounded snapshot traversal with complete selection support

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement type: goalpost

  難易度 5/5 1週間以上 初心者へのやさしさ 8/100

  flyingrobots/edict#294 · 2026年11月1日 に作成

• Compile one witnessed optional-slot optic and guarded candidate

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  難易度 5/5 1週間以上 初心者へのやさしさ 12/100

  flyingrobots/edict#293 · 2026年11月1日 に作成

• Demonstrate a pure optic description on the existing flat text operation

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  難易度 5/5 1週間以上 初心者へのやさしさ 8/100

  flyingrobots/edict#292 · 2026年11月1日 に作成

• Define typed immutable content references and semantic value identity

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  難易度 5/5 1週間以上 初心者へのやさしさ 8/100

  flyingrobots/edict#291 · 2026年11月1日 に作成

• Roadmap (tracking container): bounded collections, witnessed optics, and authored rope execution

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  type: goalpost

  難易度 5/5 1週間以上 初心者へのやさしさ 3/100

  flyingrobots/edict#288 · コメント 1 件 · リアクション 1 件 · 2026年11月1日 に作成

• Signed addition is refused with the unsigned-overflow diagnostic, even when bounded

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug

  難易度 3/5 1〜2日 初心者へのやさしさ 58/100

  flyingrobots/edict#276 · 2026年10月26日 に作成

• Bounded state-carrying iteration (fold)

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  flyingrobots/edict#268 · 2026年10月21日 に作成

• Lower bounded for loops that emit effects to Target IR

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 48/100

  flyingrobots/edict#267 · 2026年10月20日 に作成

• Byte primitives: at, count, isUtf8

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 3/5 1〜2日 初心者へのやさしさ 56/100

  flyingrobots/edict#266 · 2026年10月20日 に作成

• Typed failures in pure functions

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  flyingrobots/edict#265 · 2026年10月20日 に作成

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

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  flyingrobots/edict#264 · 2026年10月20日 に作成

• Checked arithmetic, min and max in Edict source

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 2/5 1〜3時間 初心者へのやさしさ 65/100

  flyingrobots/edict#263 · コメント 2 件 · 2026年10月20日 に作成

• Bounded recursion over depth-bounded variants

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  flyingrobots/edict#262 · コメント 1 件 · 2026年10月20日 に作成

• Variant and Option types in Edict source

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  flyingrobots/edict#261 · コメント 2 件 · 2026年10月20日 に作成

• Expose ContentAddressV1 identity inputs to Edict source

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  flyingrobots/edict#260 · コメント 1 件 · 2026年10月20日 に作成

• Suppress errors that depend on failed compiler bindings

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  flyingrobots/edict#240 · 2026年10月7日 に作成

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

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  flyingrobots/edict#237 · 2026年10月7日 に作成

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

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  flyingrobots/edict#236 · 2026年10月7日 に作成

• Tracking: improve effect diagnostics and compiler recovery

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 1/5 1時間未満 初心者へのやさしさ 20/100

  flyingrobots/edict#232 · コメント 1 件 · 2026年10月7日 に作成

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

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  flyingrobots/edict#230 · 2026年10月5日 に作成

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

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 25/100

  flyingrobots/edict#208 · コメント 1 件 · 2026年9月8日 に作成

• Validate roadmap frontier references against live GitHub state

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  flyingrobots/edict#205 · 2026年9月7日 に作成

• Prove the curated Rust facade package closure without publication

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 48/100

  flyingrobots/edict#204 · 2026年9月7日 に作成

• Implement native Windows lawpack transactional publication

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 5/5 1週間以上 初心者へのやさしさ 20/100

  flyingrobots/edict#198 · 2026年8月22日 に作成

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

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement question release:developer-tools release:v2-design

  難易度 5/5 1週間以上 初心者へのやさしさ 15/100

  flyingrobots/edict#191 · コメント 1 件 · リアクション 1 件 · 2026年8月4日 に作成

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

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement release:cli

  難易度 4/5 3〜5日 初心者へのやさしさ 48/100

  flyingrobots/edict#190 · コメント 1 件 · リアクション 1 件 · 2026年8月4日 に作成

• Audit remaining xtask guards for tautological oracles

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bad-code enhancement

  難易度 4/5 3〜5日 初心者へのやさしさ 48/100

  flyingrobots/edict#188 · コメント 1 件 · リアクション 1 件 · 2026年8月4日 に作成

• edict-syntax crate name undersells its scope

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement

  難易度 5/5 1週間以上 初心者へのやさしさ 35/100

  flyingrobots/edict#186 · コメント 1 件 · リアクション 1 件 · 2026年8月4日 に作成

• xtask test module is a 4167-line monolith

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement good first issue

  難易度 4/5 3〜5日 初心者へのやさしさ 48/100

  flyingrobots/edict#185 · コメント 1 件 · リアクション 1 件 · 2026年8月4日 に作成

• Pass complete lawpack closures to provider invocations

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  domain: backend enhancement release:lawpacks release:target-profiles roadmap-a state: blocked

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  flyingrobots/edict#171 · コメント 1 件 · リアクション 1 件 · 2026年7月28日 に作成

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

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  domain: backend release:lawpacks release:target-profiles state: blocked type: goalpost

  難易度 5/5 1週間以上 初心者へのやさしさ 18/100

  flyingrobots/edict#168 · コメント 1 件 · リアクション 1 件 · 2026年7月24日 に作成

• GP1: define EchoProofPlanV0 fixture and digest domain

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  campaign:xyph-gate-alpha

  難易度 4/5 3〜5日 初心者へのやさしさ 48/100

  flyingrobots/edict#136 · コメント 2 件 · リアクション 1 件 · 2026年7月8日 に作成

• Deferred: mutation helper tooling for Target IR fixtures

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement release:developer-tools release:target-ir

  難易度 5/5 1週間以上 初心者へのやさしさ 22/100

  flyingrobots/edict#127 · コメント 1 件 · リアクション 1 件 · 2026年7月4日 に作成

• Deferred: future obstruction continuation modes

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement release:continuum-stack release:core-ir release:front-end release:target-ir

  難易度 5/5 1週間以上 初心者へのやさしさ 22/100

  flyingrobots/edict#126 · コメント 1 件 · リアクション 1 件 · 2026年7月4日 に作成

• Deferred: obstruction reason display hints and retry metadata

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement release:continuum-stack release:developer-tools release:front-end

  難易度 5/5 1週間以上 初心者へのやさしさ 22/100

  flyingrobots/edict#125 · 2026年7月4日 に作成

• Deferred: canonical Echo receipt bytes for obstruction receipts

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement release:admission release:continuum-stack release:target-profiles

  難易度 5/5 1週間以上 初心者へのやさしさ 22/100

  flyingrobots/edict#124 · コメント 1 件 · リアクション 1 件 · 2026年7月4日 に作成

• Deferred: full WARP TTD counterfactual model for obstruction planning

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  documentation enhancement release:continuum-stack release:target-ir

  難易度 5/5 1週間以上 初心者へのやさしさ 22/100

  flyingrobots/edict#123 · 2026年7月4日 に作成

• Deferred: counterfactual explorer for obstruction outcomes

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement release:continuum-stack release:developer-tools release:target-ir

  難易度 5/5 1週間以上 初心者へのやさしさ 22/100

  flyingrobots/edict#122 · 2026年7月4日 に作成

• Deferred: obstruction reason registry

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  documentation enhancement release:continuum-stack release:target-ir release:target-profiles

  難易度 5/5 1週間以上 初心者へのやさしさ 18/100

  flyingrobots/edict#121 · 2026年7月4日 に作成

• Deferred: digest chain display for obstruction receipts

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement release:continuum-stack release:developer-tools release:target-ir

  難易度 5/5 1週間以上 初心者へのやさしさ 18/100

  flyingrobots/edict#120 · 2026年7月4日 に作成

• Deferred: semantic ladder view for obstruction artifacts

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  enhancement release:continuum-stack release:developer-tools release:target-ir

  難易度 5/5 1週間以上 初心者へのやさしさ 18/100

  flyingrobots/edict#119 · 2026年7月4日 に作成

• First-class obstruction strands for Supported Outcome Settlement

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  documentation enhancement release:continuum-stack release:target-ir release:target-profiles

  難易度 5/5 1週間以上 初心者へのやさしさ 28/100

  flyingrobots/edict#116 · コメント 2 件 · リアクション 1 件 · 2026年7月4日 に作成