Commits

Branch selector

main

User selector

All users

All time

Commit history

Commits on Aug 9, 2026

• session survey: AS-LANDED slices (a)+(b), ledger entry

  Show description for 11f5442
  dy

  committed
  11f5442View commit details

  Copy full SHA for 11f5442

  Browse repository at this point

• session survey slice (b): setLinkDemand() write indirection

  Show description for 2cd19e6
  dy

  committed
  2cd19e6View commit details

  Copy full SHA for 2cd19e6

  Browse repository at this point

• session survey slice (a): unified reset choreography

  Show description for 7ed9b1c
  dy

  committed
  7ed9b1cView commit details

  Copy full SHA for 7ed9b1c

  Browse repository at this point

• session survey: coordinator ruling — a/b/c adopted, d gated on func decomposition

  dy

  committed
  0c139efView commit details

  Copy full SHA for 0c139ef

  Browse repository at this point

• session-survey: CompileSession phase-views inventory (audit-#13 item 6 / Stage 4)

  Show description for 95992fb
  dy

  committed
  95992fbView commit details

  Copy full SHA for 95992fb

  Browse repository at this point

• ledger: Slice-6-banked JZ_CARRIER_BOX=1 crash claim doesn't reproduce -- crash never left

  Show description for 016ddee
  dy

  committed
  016ddeeView commit details

  Copy full SHA for 016ddee

  Browse repository at this point

• fix $__same_value_zero STRING arm: missing NaN re-guard is load-bearing, not redundant (identity-arm-divergence audit)

  Show description for 174e145
  dy

  committed
  174e145View commit details

  Copy full SHA for 174e145

  Browse repository at this point

• audit-#16: LoopPlan pre-emission mint — plan built in loop-model.js, not emit.js

  Show description for 7db5717
  dy

  committed
  7db5717View commit details

  Copy full SHA for 7db5717

  Browse repository at this point

• audit-#16: FeaturePlan whole-graph oracle differential fixture (KNOWN-FAIL pin, banked not fixed)

  Show description for eb0bb5d
  dy

  committed
  eb0bb5dView commit details

  Copy full SHA for eb0bb5d

  Browse repository at this point

• heap-kind registry Slice 4: split layout-kinds.js into compact executable table + layout-kinds-doc.js prose (audit-#16 registry finding)

  Show description for 9a5ee11
  dy

  committed
  9a5ee11View commit details

  Copy full SHA for 9a5ee11

  Browse repository at this point

• ledger: product-lattice Slice 7 -- producer union landed, keyedWrite

  Show description for 229cd67
  dy

  committed
  229cd67View commit details

  Copy full SHA for 229cd67

  Browse repository at this point

• product-lattice Slice 7 step 1: dict/map value-census producer retires

  Show description for f677092
  dy

  committed
  f677092View commit details

  Copy full SHA for f677092

  Browse repository at this point

• ledger: product-lattice Slice 6a/6b landed, AS-LANDED account + gate numbers

  dy

  committed
  4a35fdcView commit details

  Copy full SHA for 4a35fdc

  Browse repository at this point

• product-lattice Slice 6b: hz.all/hz.sids -> pointsTo representation swap (atomic)

  Show description for ae2f653
  dy

  committed
  ae2f653View commit details

  Copy full SHA for ae2f653

  Browse repository at this point

• ledger: audit-#16 response — foundation P0/P1s closed dormant, queue updated

  dy

  committed
  0202b95View commit details

  Copy full SHA for 0202b95

  Browse repository at this point

• lattice foundations: audit-#16 P0/P1 — universe-join on unresolved observations, exclusion contract on empty sets, authoritative cloneRep, pure censusKindsOf, frozen KIND_UNIVERSE

  dy

  committed
  3e42fbaView commit details

  Copy full SHA for 3e42fba

  Browse repository at this point

• product-lattice Slice 6a: SlotFact storage unification (kind/typedCtor/objSid/bigintObserved -> one Map<sid,Fact[]>)

  Show description for 1d900cc
  dy

  committed
  1d900ccView commit details

  Copy full SHA for 1d900cc

  Browse repository at this point

• ledger: product-lattice Slice 5 excluded, all 8 !==/=== sites banked under OQ1

  Show description for 8c1f5ea
  dy

  committed
  8c1f5eaView commit details

  Copy full SHA for 8c1f5ea

  Browse repository at this point

• ledger: product-lattice Slice 4a landed, Slice 4b zero-consumers, AS-LANDED account + gate numbers

  dy

  committed
  a7a1b59View commit details

  Copy full SHA for a7a1b59

  Browse repository at this point

• product-lattice Slice 4a: paramReps.val gains its existential twin, possibleKinds

  Show description for 3947fef
  dy

  committed
  3947fefView commit details

  Copy full SHA for 3947fef

  Browse repository at this point

• ledger: product-lattice Slice 3 landed, AS-LANDED account + gate numbers

  dy

  committed
  b567305View commit details

  Copy full SHA for b567305

  Browse repository at this point

• product-lattice Slice 3: presence formalized as mayBeUndefined(name) projection

  Show description for 83d8f56
  dy

  committed
  83d8f56View commit details

  Copy full SHA for 83d8f56

  Browse repository at this point

• ledger: product-lattice Slice 2 landed, AS-LANDED account + gate numbers

  dy

  committed
  84347d0View commit details

  Copy full SHA for 84347d0

  Browse repository at this point

• product-lattice Slice 2: recvArrTyped reframed as isDisjointFrom precedent

  Show description for 0be8533
  dy

  committed
  0be8533View commit details

  Copy full SHA for 0be8533

  Browse repository at this point

Commits on Aug 8, 2026

• ledger: product-lattice Slices 0-1 landed, AS-LANDED accounts + gate numbers

  Show description for 6a73b57
  dy

  committed
  6a73b57View commit details

  Copy full SHA for 6a73b57

  Browse repository at this point

• product-lattice Slice 1: censusKindsOf opt-in projection (kind.js)

  Show description for 83f034b
  dy

  committed
  83f034bView commit details

  Copy full SHA for 83f034b

  Browse repository at this point

• product-lattice Slice 0b: land Fact shape doc + joinKinds primitive (dead code)

  Show description for 9e22eac
  dy

  committed
  9e22eacView commit details

  Copy full SHA for 9e22eac

  Browse repository at this point

• product-lattice Slice 0a: rename invalidateBodyFacts -> clearNarrowingBodyState

  Show description for b538cea
  dy

  committed
  b538ceaView commit details

  Copy full SHA for b538cea

  Browse repository at this point

• lattice design: review complete — OQ3 ruled adopt-if-free, 6a/6b binding, implementation authorized

  dy

  committed
  93d04a4View commit details

  Copy full SHA for 93d04a4

  Browse repository at this point

• ledger: lattice OQ2+OQ4 verdicts — register() never reads pointsTo (36 sites enumerated, all AST/static-derived); Slice 6 splits into byte-identical SlotFact storage unification + a small atomic hz…

  Show description for 7b338d1
  dy

  committed
  7b338d1View commit details

  Copy full SHA for 7b338d1

  Browse repository at this point

• lattice design: coordinator OQ1 ruling — census kinds are an opt-in projection (Option A), blocking precondition on slices 4b/7

  dy

  committed
  f2d11b4View commit details

  Copy full SHA for f2d11b4

  Browse repository at this point

• ledger: lattice OQ1 verdict — audit-#10's objection generalizes beyond

  Show description for beb0a7e
  dy

  committed
  beb0a7eView commit details

  Copy full SHA for beb0a7e

  Browse repository at this point

• product-lattice design: Fact record, key space, projection catalog, migration slices (audit-#15 center, design-only)

  dy

  committed
  ba3a4ceView commit details

  Copy full SHA for ba3a4ce

  Browse repository at this point

• lattice survey: fact-producer/consumer inventory for product-lattice campaign

  Show description for a212fa1
  dy

  committed
  a212fa1View commit details

  Copy full SHA for a212fa1

  Browse repository at this point

• ledger: product-lattice campaign opening brief (design-pass inputs, constraints, acceptance)

  dy

  committed
  8febf24View commit details

  Copy full SHA for 8febf24

  Browse repository at this point