Repository navigation

Delete flatten_visible_bindings + merge_envs + env-counter instrument: one-level visibility by construction (floor resolve 286.7s -> 2.4s) - #6331

Merged

briansrls merged 53 commits into

mainfrom

session/sharp-wolf-473

Jul 7, 2026

Commits on Jul 5, 2026
- WIP: gunb compilation test
  Brian Searls
  committed
  e0d35d8
- Clone-fallback guard: shared-Rc updates refuse by default (fail|count|allow)
  
  Brian Searls
  and
  claude
  committed
  50f53e7
- WIP: gunb compilation test
  Brian Searls
  committed
  cdef742
- Fail-closed hardening: ban escape hatches, close guard bypasses, encode the factory model in DESIGN.md §5
  
  Brian Searls
  and
  claude
  committed
  2c21a07
- Merge remote-tracking branch 'origin/main' into session/sharp-wolf-473
  Brian Searls
  committed
  6780c27
- WIP: gunb compilation test
  Brian Searls
  committed
  c507bb0
- WIP: gunb compilation test
  Brian Searls
  committed
  ab7e416
- WIP: gunb compilation test
  Brian Searls
  committed
  ef8e878
- Persistent maps: Map realization = im_rc HAMT (one authority with interpreter Value::Map)
  
  Brian Searls
  and
  claude
  committed
  ff264e1
- WIP: emit -> realization
  Brian Searls
  committed
  5638a31
Commits on Jul 6, 2026
- WIP: emit -> realization
  Brian Searls
  committed
  c04598f
- WIP: emit -> realization
  Brian Searls
  committed
  9abb2d3
- WIP: emit -> realization
  Brian Searls
  committed
  68d0c26
- WIP: emit -> realization
  Brian Searls
  committed
  b33205f
- WIP: emit -> realization
  Brian Searls
  committed
  00e4226
- WIP: emit -> realization
  Brian Searls
  committed
  c63228f
- WIP: emit -> realization
  Brian Searls
  committed
  8428ea3
- WIP: emit -> realization
  Brian Searls
  committed
  d76795c
- WIP: emit -> realization
  Brian Searls
  committed
  7dfd8eb
- Persistent carriers: lists+sets -> im_rc Vector/OrdSet; delete clone-fallback guard + per-site move licenses
  
  Brian Searls
  and
  claude
  committed
  beee3c3
- Merge remote-tracking branch 'origin/main' into session/sharp-wolf-473
  Brian Searls
  committed
  6baa428
- Fix import order in v2 manual ownership_movable mirror (imports precede items)
  
  Brian Searls
  and
  claude
  committed
  a5ea8be
- WIP: emit -> realization
  Brian Searls
  committed
  7fc9618
- Fix sweep-corrupted emit golden; inhabitant import_path rows prelude-provided (generation-agnostic)
  
  Brian Searls
  and
  claude
  committed
  116f409
- WIP: emit -> realization
  Brian Searls
  committed
  184ee98
- Merge origin/main into session/sharp-wolf-473
  
  Brian Searls
  and
  claude
  committed
  ae25148
- WIP: emit -> realization
  Brian Searls
  committed
  60f9045
- WIP: emit -> realization
  Brian Searls
  committed
  8c0ef59
- WIP: emit -> realization
  Brian Searls
  committed
  ab76e7a
- WIP: emit -> realization
  Brian Searls
  committed
  87f57c2
- Review fixes: interpreter Value::Set -> im_rc::OrdSet; emit_non_empty_wrappers BTreeSet alias; stale guard comment
  
  Brian Searls
  and
  claude
  committed
  7105608
- Merge remote-tracking branch 'origin/main' into session/sharp-wolf-473
  Brian Searls
  committed
  da71fe5
- Merge remote-tracking branch 'origin/main' into session/sharp-wolf-473
  Brian Searls
  committed
  f0acebc
- Merge remote-tracking branch 'origin/main' into session/sharp-wolf-473
  Brian Searls
  committed
  7534af1
- WIP: emit -> realization
  Brian Searls
  committed
  da06159
- WIP: emit -> realization
  Brian Searls
  committed
  55f3e37
- Merge remote-tracking branch 'origin/main' into session/sharp-wolf-473
  Brian Searls
  committed
  1826e6f
- Merge remote-tracking branch 'origin/main' into session/sharp-wolf-473
  Brian Searls
  committed
  e496c01
- WIP: emit -> realization
  Brian Searls
  committed
  3c1888b
- WIP: emit -> realization
  Brian Searls
  committed
  40447da
- Merge remote-tracking branch 'origin/main' into session/sharp-wolf-473
  Brian Searls
  committed
  af61d44
- WIP: emit -> realization
  Brian Searls
  committed
  10fbf34
- Revert speculative import addition in network_identity_subsumption (refusal is a pre-existing alias-expansion deficit, A/B-verified on the pre-diff binary)
  
  Brian Searls
  and
  claude
  committed
  13a51f9
- WIP: emit -> realization
  Brian Searls
  committed
  c41bd68
- WIP: emit -> realization
  Brian Searls
  committed
  f4d6b36
- Back-port #6329's operator-signed DESIGN.md edits into design_document.dag; corpus import hygiene; artifact regens
  
  Brian Searls
  and
  claude
  committed
  30a30bf
- complexity_r1 lens: type the children fold on the demand path (builtin fold idiom); keep truthful post-deletion citations
  
  Brian Searls
  and
  claude
  committed
  c673336
- WIP: emit -> realization
  Brian Searls
  committed
  3ad16c9
- Revert "WIP: emit -> realization"
  Brian Searls
  committed
  b4db5fc
- Merge remote-tracking branch 'origin/main' into session/sharp-wolf-473
  Brian Searls
  committed
  9e4cceb
- Merge remote-tracking branch 'origin/main' into session/sharp-wolf-473
  Brian Searls
  committed
  67d08fc
- WIP: emit -> realization
  Brian Searls
  committed
  02a4d34
Commits on Jul 7, 2026
- Merge remote-tracking branch 'origin/main' into session/sharp-wolf-473
  Brian Searls
  committed
  8c1344d

Commits

Commits on Jul 5, 2026

Commits on Jul 6, 2026

Commits on Jul 7, 2026