Issues

• IFC DX follow-ups from specstore: label-join syntax, if vs filterE implicit flow, per-module publish

  needs-decision
  sunholo-data/ailang#2131 · Filter by author sunholo-voight-kampff opened on Nov 5, 2026

• Bug: OpenAI-compat paths drop delta.refusal and map content_filter to an errorless finish_reason "error"

  area:aipriority:P1
  sunholo-data/ailang#2123 · Filter by author motoko-agent opened on Nov 4, 2026
  1

• std/sem iface.json is nondeterministic: type-variable names permute across identical runs, changing the module digest

  sunholo-data/ailang#2076 · Filter by author sunholo-voight-kampff opened on Nov 3, 2026

• Triage mission bookkeeping — week of 2026-11-02

  sunholo-data/ailang#2069 · Filter by author sunholo-voight-kampff opened on Nov 3, 2026
  11

• Fleet mission bookkeeping — week of 2026-11-02

  sunholo-data/ailang#2039 · Filter by author sunholo-voight-kampff opened on Nov 2, 2026
  15

• [motoko_agent] std/process: containment for descendants that leave the process group (non-blocking)

  area:effectsneeds-decisionpriority:P3
  sunholo-data/ailang#2037 · Filter by author motoko-agent opened on Oct 31, 2026

• [motoko_agent] std/process: expose the process limit that applied to a call

  area:effectsneeds-decisionpriority:P3
  sunholo-data/ailang#2036 · Filter by author motoko-agent opened on Oct 31, 2026

• [motoko_agent] std/process: per-call timeout for exec

  area:effectspriority:P2
  sunholo-data/ailang#2035 · Filter by author motoko-agent opened on Oct 31, 2026

• [motoko_agent] std/process.exec: a killed runtime leaves the command running with no deadline

  area:effectspriority:P1
  sunholo-data/ailang#2034 · Filter by author motoko-agent opened on Oct 31, 2026

• [stapledons_godot] v0.54.18: foldl that conses onto its accumulator is quadratic (VM and interpreter)

  bugfrom:stapledons_godotneeds-decision
  sunholo-data/ailang#2029 · Filter by author sunholo-voight-kampff opened on Oct 30, 2026

• [stapledons_godot] Duplicate type import from two modules silently shadows (last wins)

  area:languagebugfrom:stapledons_godotpriority:P1
  sunholo-data/ailang#1980 · Filter by author sunholo-voight-kampff opened on Oct 28, 2026

• [ailang-explainers] run --bytecode --verify-contracts silently checks no contracts

  area:bytecodeneeds-decisionpriority:P1
  sunholo-data/ailang#1956 · Filter by author sunholo-voight-kampff opened on Oct 26, 2026
  2

• [ailang-explainers] runtime contracts: a bounded forall in ensures is verified by Z3 but cannot be evaluated (core.Forall)

  area:verifyneeds-decisionpriority:P2
  sunholo-data/ailang#1955 · Filter by author sunholo-voight-kampff opened on Oct 26, 2026
  2

• [ailang-explainers] runtime contracts: derived Eq on a record in ensures fails (expected TaggedValue, got RecordValue)

  area:verifyneeds-decisionpriority:P1
  sunholo-data/ailang#1954 · Filter by author sunholo-voight-kampff opened on Oct 26, 2026
  2

• [ailang-explainers] verify: string <= / >= in a body is encoded as an Int comparison (Z3 sort mismatch)

  area:verifyneeds-decisionpriority:P2
  sunholo-data/ailang#1953 · Filter by author sunholo-voight-kampff opened on Oct 26, 2026
  2

• [ailang-explainers] Consing onto an accumulator is still O(n²) on v0.54.18 (VM and evaluator), as in #1501

  area:runtimepriority:P1
  sunholo-data/ailang#1947 · Filter by author sunholo-voight-kampff opened on Oct 26, 2026

• [stapledons_godot] ailang test: out-of-contract property skips after 1 input read as success with vacuous_skips 0 (v0.54.14)

  area:test-runnerbugfrom:stapledons_godotneeds-decisionpriority:P1
  sunholo-data/ailang#1921 · Filter by author sunholo-voight-kampff opened on Oct 21, 2026
  2

• [stapledons_godot] Parser: cons operator :: fails to parse inside a named test body (ailang test), v0.54.14 and v0.54.16 (full repro)

  area:test-runnerbugfrom:stapledons_godotpriority:P1
  sunholo-data/ailang#1914 · Filter by author sunholo-voight-kampff opened on Oct 20, 2026

• [cli] DX: std/jsonschema — validate a Json against a JSON Schema (2020-12)

  ailang-messagearea:languagefeaturefrom:clipriority:P2
  sunholo-data/ailang#1888 · Filter by author sunholo-voight-kampff opened on Oct 19, 2026

• [cli] DX: effectful lambda passed to std/list map — diagnostic blames the import, not the effect

  ailang-messagearea:languagefeaturefrom:clipriority:P2
  sunholo-data/ailang#1885 · Filter by author sunholo-voight-kampff opened on Oct 19, 2026

• [motoko_agent] std/process: state (and enforce) which ProcessError arms mean the program never started

  area:runtimepriority:P2
  sunholo-data/ailang#1880 · Filter by author motoko-agent opened on Oct 17, 2026
  1

• [motoko_agent] std/process.exec returns SpawnFailed for a command that exited 0 while a background child holds the pipe (exec.ErrWaitDelay)

  area:runtimepriority:P1
  sunholo-data/ailang#1879 · Filter by author motoko-agent opened on Oct 17, 2026
  1

• [motoko_agent] std/process.exec: Timeout and OutputLimitExceeded drop the captured output (and the exit code of a command that finished)

  area:runtimepriority:P1
  sunholo-data/ailang#1878 · Filter by author motoko-agent opened on Oct 17, 2026

• [stapledons_godot] DX (v0.54.5): _ollama_embed has no Result varia...

  area:aifeaturefrom:stapledons_godotpriority:P2
  sunholo-data/ailang#1798 · Filter by author sunholo-voight-kampff opened on Oct 13, 2026

• [stapledons_godot] Persistent SharedMem/SharedIndex backend + std-level embed via the configured provider

  area:aifeaturefrom:stapledons_godotpriority:P2
  sunholo-data/ailang#1796 · Filter by author sunholo-voight-kampff opened on Oct 13, 2026