Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit history

Commits on Aug 14, 2026

• fix(formal): restore the orphaned top-level soundness formalization to the build; revert unverified proof claims

  Show description for d0cd746
  dporkka

  committed
  d0cd746View commit details

  Copy full SHA for d0cd746

  View code at this pointBrowse repository at this point

• proof(semantics): complete the type-soundness chain — zero sorries in types.lean

  Show description for dd3aafa
  dporkka

  committed
  dd3aafaView commit details

  Copy full SHA for dd3aafa

  View code at this pointBrowse repository at this point

• proof(semantics): prove weakening (corrected), progress, closed-type theorems

  Show description for fe610d8
  dporkka

  committed
  fe610d8View commit details

  Copy full SHA for fe610d8

  View code at this pointBrowse repository at this point

• test(conformance): LinearIso param must-use e2e; fix Nil-led sum-type regression

  Show description for 9a1f985
  dporkka

  committed
  9a1f985View commit details

  Copy full SHA for 9a1f985

  View code at this pointBrowse repository at this point

• test(lsp): protocol-level integration tests through the full JSON-RPC service

  Show description for 635574b
  dporkka

  committed
  635574bView commit details

  Copy full SHA for 635574b

  View code at this pointBrowse repository at this point

• docs(plan): close bullets 2, 4, 7, 8 — Phase 1 complete

  Show description for 5626a06
  dporkka

  committed
  5626a06View commit details

  Copy full SHA for 5626a06

  View code at this pointBrowse repository at this point

• test(dst): message-reorder + GC-during-send seed sweeps; DST GC pump

  Show description for d81ec99
  dporkka

  committed
  d81ec99View commit details

  Copy full SHA for d81ec99

  View code at this pointBrowse repository at this point

• test(dst): node-crash/restart seed sweep over the deterministic fabric

  Show description for edd6d62
  dporkka

  committed
  edd6d62View commit details

  Copy full SHA for edd6d62

  View code at this pointBrowse repository at this point

• test(dst): CRDT-sync-race seed sweep; correct nightly comment

  Show description for 9fcddb4
  dporkka

  committed
  9fcddb4View commit details

  Copy full SHA for 9fcddb4

  View code at this pointBrowse repository at this point

• ci(dst): nightly 10^4-seed sweep job via NULANG_DST_SEEDS

  Show description for 302b902
  dporkka

  committed
  302b902View commit details

  Copy full SHA for 302b902

  View code at this pointBrowse repository at this point

• feat(parser): close remaining doc-pass gaps — let rec, full-type alias bodies

  Show description for a260849
  dporkka

  committed
  a260849View commit details

  Copy full SHA for a260849

  View code at this pointBrowse repository at this point

• feat(cap,dist): value-level &cap constructors + cluster/network determinism

  Show description for 3cddf62
  dporkka

  committed
  3cddf62View commit details

  Copy full SHA for 3cddf62

  View code at this pointBrowse repository at this point

• fix(parser): prelude types resolve in annotations; SPEC2 doc pass green

  Show description for 981b54d
  dporkka

  committed
  981b54dView commit details

  Copy full SHA for 981b54d

  View code at this pointBrowse repository at this point

• docs(verify): green default run + /// doc-comment verification

  Show description for 13e54e7
  dporkka

  committed
  13e54e7View commit details

  Copy full SHA for 13e54e7

  View code at this pointBrowse repository at this point

• fix(workflow): failing steps surface a diagnostic + nonzero exit

  Show description for 2d56e33
  dporkka

  committed
  2d56e33View commit details

  Copy full SHA for 2d56e33

  View code at this pointBrowse repository at this point

• docs: mark typeclass/generics/event_sourced recovery bugs fixed (SPEC2 truth sweep)

  Show description for 46a872a
  dporkka

  committed
  46a872aView commit details

  Copy full SHA for 46a872a

  View code at this pointBrowse repository at this point

• fix(workflow): saga compensation + step dispatch immune to preceding actors

  Show description for 87c58bd
  dporkka

  committed
  87c58bdView commit details

  Copy full SHA for 87c58bd

  View code at this pointBrowse repository at this point

Commits on Aug 13, 2026

• docs: cross-node routing shipped — SPEC2/CHANGELOG/PLAN + test isolation fix

  Show description for 83f40a8
  dporkka

  committed
  83f40a8View commit details

  Copy full SHA for 83f40a8

  View code at this pointBrowse repository at this point

• fix(workflow): single-arg Timer.sleep no longer hangs; pin distributed fallbacks

  Show description for 80b816c
  dporkka

  committed
  80b816cView commit details

  Copy full SHA for 80b816c

  View code at this pointBrowse repository at this point

• feat(dst): timer determinism in run_scheduler_deterministic

  Show description for d9fc353
  dporkka

  committed
  d9fc353View commit details

  Copy full SHA for d9fc353

  View code at this pointBrowse repository at this point

• test(dst): seed-sweep AtMostOnce invariant test (2000 seeds)

  Show description for ad92fe5
  dporkka

  committed
  ad92fe5View commit details

  Copy full SHA for ad92fe5

  View code at this pointBrowse repository at this point

• fix(parser): match dedicated LinearIso/Linear tokens in :cap annotations; conformance 300/300

  Show description for 71cbb0a
  dporkka

  committed
  71cbb0aView commit details

  Copy full SHA for 71cbb0a

  View code at this pointBrowse repository at this point

• fix(dist): static-quorum cold-bootstrap guard + e2e down-self test

  Show description for 1498cc7
  dporkka

  committed
  1498cc7View commit details

  Copy full SHA for 1498cc7

  View code at this pointBrowse repository at this point

• feat(dist): partition injection + virtual-clock chaos tests (split-brain, asymmetric, 5-node)

  Show description for 5a0b641
  dporkka

  committed
  5a0b641View commit details

  Copy full SHA for 5a0b641

  View code at this pointBrowse repository at this point

Commits on Aug 10, 2026

• docs: note Http.serve standalone fix + web template stays client-based

  Show description for 57fc685
  dporkka

  committed
  57fc685View commit details

  Copy full SHA for 57fc685

  View code at this pointBrowse repository at this point

• docs: mark Phase 4 deliverable 6 (template library) done — 7 templates

  Show description for 6911fc9
  dporkka

  committed
  6911fc9View commit details

  Copy full SHA for 6911fc9

  View code at this pointBrowse repository at this point

• docs(rfc): RFC 0014 — durable-actor re-spawn on node failure (D7c design)

  Show description for 0a917dd
  dporkka

  committed
  0a917ddView commit details

  Copy full SHA for 0a917dd

  View code at this pointBrowse repository at this point

Commits on Aug 9, 2026

• docs: mark Phase 5 deliverable 7 (node-death recovery) parts a+b done

  Show description for 5e9f699
  dporkka

  committed
  5e9f699View commit details

  Copy full SHA for 5e9f699

  View code at this pointBrowse repository at this point

• docs: mark formatter completeness done in PLAN.md + CHANGELOG

  Show description for 1cbc214
  dporkka

  committed
  1cbc214View commit details

  Copy full SHA for 1cbc214

  View code at this pointBrowse repository at this point

Commits on Aug 5, 2026

• chore: remove QUIC transport (Phase 5 deliverable 5)

  Show description for 1cb67f7
  dporkka

  committed
  1cb67f7View commit details

  Copy full SHA for 1cb67f7

  View code at this pointBrowse repository at this point

Commits on Aug 3, 2026

• feat(runtime): partial-view membership — bounded active view + gossip liveness (d6)

  Show description for 936ae74
  dporkka

  committed
  936ae74View commit details

  Copy full SHA for 936ae74

  View code at this pointBrowse repository at this point

• feat(runtime): deterministic cluster sim — split-brain + partition scenarios (Phase 5 d2)

  Show description for 9f52b64
  dporkka

  committed
  9f52b64View commit details

  Copy full SHA for 9f52b64

  View code at this pointBrowse repository at this point

• docs: Phase 5 progress — PLAN.md scope/audit updates, SPEC2 fault-tolerance gap note

  dporkka

  committed
  20d6c67View commit details

  Copy full SHA for 20d6c67

  View code at this pointBrowse repository at this point

Commits on Aug 2, 2026

• docs: document runtime decomposition progress in PLAN.md bullet 4

  dporkka

  committed
  6ae7c64View commit details

  Copy full SHA for 6ae7c64

  View code at this pointBrowse repository at this point

• docs: add Phase 2 progress summary to PLAN.md

  dporkka

  committed
  55c82e8View commit details

  Copy full SHA for 55c82e8

  View code at this pointBrowse repository at this point