Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jun 16, 2026

• Merge pull request #748 from aallan/feat/552-nat-binding-sites

  Show description for 725b083
  aallan

  authored
  725b083

  Copy full SHA for 725b083

• fix: invalidate stale let bindings; defer generic function formals (#552)

  Show description for ea5b116
  

  aallan

  and

  Claude

  committed
  ea5b116

  Copy full SHA for ea5b116

• docs: track PR #748 review follow-ups as #749 (ROADMAP Tier 3)

  Show description for 51c1d1a
  

  aallan

  and

  Claude

  committed
  51c1d1a

  Copy full SHA for 51c1d1a

• fix+test: address /review-pr findings on #552 (E504 Tier-3 warning, pins)

  Show description for 912e55e
  

  aallan

  and

  Claude

  committed
  912e55e

  Copy full SHA for 912e55e

• fix: invalidate stale destructure bindings; defer generic effect-op formals (#552)

  Show description for c0e0732
  

  aallan

  and

  Claude

  committed
  c0e0732

  Copy full SHA for c0e0732

• fix: cover user-declared effects in @Nat effect-op narrowing (#552)

  Show description for ee5108d
  

  aallan

  and

  Claude

  committed
  ee5108d

  Copy full SHA for ee5108d

• fix: obligate @Nat narrowing at effect-operation arguments (#552)

  Show description for d939737
  

  aallan

  and

  Claude

  committed
  d939737

  Copy full SHA for d939737

• fix(verifier): walk expression containers for nested narrowings (#552)

  Show description for 599f112
  

  aallan

  and

  Claude

  committed
  599f112

  Copy full SHA for 599f112

• fix(verifier): thread cur_env after destructure + CodeRabbit review (#552)

  Show description for 1ab5095
  

  aallan

  and

  Claude

  committed
  1ab5095

  Copy full SHA for 1ab5095

• fix(verifier): catch wrapped pure-literal @Nat narrowing + review fixes (#552)

  Show description for 3577488
  

  aallan

  and

  Claude

  committed
  3577488

  Copy full SHA for 3577488

• docs+test: conformance + documentation for #552 binding-site obligation

  Show description for ffeab1f
  

  aallan

  and

  Claude

  committed
  ffeab1f

  Copy full SHA for ffeab1f

• feat: @Nat binding-site narrowing obligations + runtime guard (#552)

  Show description for 81fb05e
  

  aallan

  and

  Claude

  committed
  81fb05e

  Copy full SHA for 81fb05e

Commits on Jun 15, 2026

• Merge pull request #743 from aallan/feat/706-bucket-as-truth

  Show description for 9eb700e
  aallan

  authored
  9eb700e

  Copy full SHA for 9eb700e

• docs: add #745 (wrap-table over-emission) to ROADMAP Tier 3

  Show description for 52e55f8
  

  aallan

  and

  Claude

  committed
  52e55f8

  Copy full SHA for 52e55f8

• test+docs: address final /review-pr findings on #743 (round 8)

  Show description for ac1ea95
  

  aallan

  and

  Claude

  committed
  ac1ea95

  Copy full SHA for ac1ea95

• docs: track Markdown ADT-builder GC-rooting gap as #744

  Show description for 53a29e0
  

  aallan

  and

  Claude

  committed
  53a29e0

  Copy full SHA for 53a29e0

• fix: root Decimal wrapper in CLI _alloc_option_some_i32 (round 6)

  Show description for 19df743
  

  aallan

  and

  Claude

  committed
  19df743

  Copy full SHA for 19df743

• fix: complete GC-rooting in Result.Ok/Option/Array builders (round 5)

  Show description for 0301a17
  

  aallan

  and

  Claude

  committed
  0301a17

  Copy full SHA for 0301a17

• fix: GC-rooting + SameValueZero in Map/Set/ADT host builders (round 4)

  Show description for 279c92f
  

  aallan

  and

  Claude

  committed
  279c92f

  Copy full SHA for 279c92f

• docs: address CodeRabbit round-1 on #706 (module docstrings + roadmap)

  Show description for ceb1d3b
  

  aallan

  and

  Claude

  committed
  ceb1d3b

  Copy full SHA for ceb1d3b

• test+docs: address /review-pr findings on #706 (round 2)

  Show description for 92fa030
  

  aallan

  and

  Claude

  committed
  92fa030

  Copy full SHA for 92fa030

• release: prep v0.0.171 (#706 Map/Set bucket-as-truth)

  Show description for 6452fac
  

  aallan

  and

  Claude

  committed
  6452fac

  Copy full SHA for 6452fac

• feat(#706): delete Python/JS stores, add peak_heap_bytes + power-of-two buckets

  Show description for 9815f2b
  

  aallan

  and

  Claude

  committed
  9815f2b

  Copy full SHA for 9815f2b

• feat(#706): Set → bucket-as-truth across CLI and browser runtimes

  Show description for 7c86380
  

  aallan

  and

  Claude

  committed
  7c86380

  Copy full SHA for 7c86380

• feat(#706): Map → bucket-as-truth across CLI and browser runtimes

  Show description for b346bd0
  

  aallan

  and

  Claude

  committed
  b346bd0

  Copy full SHA for b346bd0

• perf: batch _write_bytes via Memory.write (foundation for #706)

  Show description for 82b596a
  

  aallan

  and

  Claude

  committed
  82b596a

  Copy full SHA for 82b596a

Commits on Jun 12, 2026

• Merge pull request #740 from aallan/docs/planning-document-rework

  Show description for 63b6c0f
  aallan

  authored
  63b6c0f

  Copy full SHA for 63b6c0f

• docs: re-measure the per-module coverage table from a fresh run

  Show description for 788336c
  

  aallan

  and

  Claude

  committed
  788336c

  Copy full SHA for 788336c

• ci: limitations-sync joins the CI lint job; hook triggers self-cover

  Show description for bf27469
  

  aallan

  and

  Claude

  committed
  bf27469

  Copy full SHA for bf27469

• docs: TESTING.md validation-script inventory lists all twenty scripts

  Show description for 67a868e
  

  aallan

  and

  Claude

  committed
  67a868e

  Copy full SHA for 67a868e

• fix: CodeRabbit round 1 — gate edge cases, hook filter, doc fixes

  Show description for c3de463
  

  aallan

  and

  Claude

  committed
  c3de463

  Copy full SHA for c3de463

• docs: drop the version bump — docs-only PR releases nothing

  Show description for f603e04
  

  aallan

  and

  Claude

  committed
  f603e04

  Copy full SHA for f603e04

• docs: scope CONTRIBUTING release section to contributors; mechanics move to CLAUDE.md

  Show description for b2293e6
  

  aallan

  and

  Claude

  committed
  b2293e6

  Copy full SHA for b2293e6

• docs: rework the planning-document system around the June 2026 audit (v0.0.171)

  Show description for be10658
  

  aallan

  and

  Claude

  committed
  be10658

  Copy full SHA for be10658

• Merge pull request #731 from aallan/fix/e501-concrete-fix-text

  Show description for b1f2831
  aallan

  authored
  b1f2831

  Copy full SHA for b1f2831