All pull requests

Pull requests

• formal: runtime parity environment spike harness (#1280)

  #1282·jwulf opened Sep 27, 2026Collaborator·

  ·

• retro: promote epic #1224 build + TLA+ authoring gotchas

  #1274·jwulf opened Sep 26, 2026Collaborator·

  ·
  1

• formal: two-backend runtime parity runner + change-gated CI job (#1260)

  #1271·jwulf opened Sep 26, 2026Collaborator·

  ·
  1

  38

• retro: document local Rust build recipe in AGENTS.md

  #1112·jwulf opened Sep 4, 2026Collaborator·

  ·
  1

• retro: promote agent-instance-parity epic learnings to AGENTS.md

  #1035·jwulf opened Aug 27, 2026Collaborator·

  ·

• retro: promote shared-published-package fan-out lesson to AGENTS.md

  #1028·jwulf opened Aug 27, 2026Collaborator·

  ·
  1

• spike(urban): Foldkit renderer for the page.json contract (#958)

  #960·jwulf opened Aug 22, 2026Collaborator·

  ·
  1

• retro: promote epic #903 fan-out learnings to AGENTS.md

  #938·jwulf opened Aug 20, 2026Collaborator·

  ·
  1

• feat: one-install BPMN debugger extension + release workflows

  #669·jwulf opened Aug 8, 2026Collaborator·

  ·
  12

• feat(release): build release binaries locally, distribute via workflow

  #639·jwulf opened Aug 7, 2026Collaborator·

  ·
  4