Repository navigation

product.data_category: give the six markers their reference functions, earned by their first sink - #11343

Merged

gunbai-bot[bot] merged 20 commits into

mainfrom

session/snappy-pike-154

Sep 15, 2026

Merged

product.data_category: give the six markers their reference functions, earned by their first sink#11343
gunbai-bot[bot] merged 20 commits into
mainfrom
session/snappy-pike-154

Commits on Sep 12, 2026
- File the M2 lane's receipt: an emptiness can be misread by a party outside the producer
  
  Brian Searls
  and
  claude
  committed
  7c00542
- Name the three nearest neighbours, since the receipt above measured that nobody does
  
  Brian Searls
  and
  claude
  committed
  30546f4
- File the class: a check reachable only from an entry point the context never calls
  
  Brian Searls
  and
  claude
  committed
  d5bbb38
- Merge remote-tracking branch 'origin/main' into session/snappy-pike-154
  Brian Searls
  committed
  0fb6556
Commits on Sep 13, 2026
- Merge main: keep both lanes' receipts on the absence row
  
  Brian Searls
  and
  claude
  committed
  d5059d9
- Narrow two overclaims in my own receipts
  
  Brian Searls
  and
  claude
  committed
  11d681a
- Narrow three more of my own overclaims in these two ledger rows
  
  Brian Searls
  and
  claude
  committed
  dcac4cd
- Merge remote-tracking branch 'origin/main' into session/snappy-pike-154
  Brian Searls
  committed
  a95cf2f
- Merge remote-tracking branch 'origin/main' into session/snappy-pike-154
  Brian Searls
  committed
  5787886
Commits on Sep 14, 2026
- Merge remote-tracking branch 'origin/main' into session/snappy-pike-154
  Brian Searls
  committed
  652b781
- product.data_category: give the six markers their reference functions, earned by their first sink
  
  Brian Searls
  and
  claude
  committed
  8f0f056
- Declare the six reference functions as typed frontier rows, consumed by the dissolution census
  
  Brian Searls
  and
  claude
  committed
  7a8ed92
- Collapse the six frontier rows into one mapped roster over the name list
  
  Brian Searls
  and
  claude
  committed
  35d9bc1
- Lift the shared-reason frontier fold into std.roster_frontier; both callers consume it
  
  Brian Searls
  and
  claude
  committed
  2e5c6d6
- Merge remote-tracking branch 'origin/main' into session/snappy-pike-154
  Brian Searls
  committed
  81a4825
- Cut the long-way spellings over instead of minting a second one beside them
  
  Brian Searls
  and
  claude
  committed
  3887b14
- Regenerate the stage0 mirror for std.roster_frontier
  
  Brian Searls
  and
  claude
  committed
  d8d25dd
- Delete the deepseek fact builder the lift orphaned, and its now-unused import
  
  Brian Searls
  and
  claude
  committed
  e8706fd
- Address the refusal: name the CAPABILITY, not a vehicle that has sailed
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  76923b7
Commits on Sep 15, 2026
- Merge origin/main into #11343: #11408 landed the test/probe/ preparation exclusion, so this PR's edited probe fixture is no longer seeded into strict preparation
  
  Brian Searls
  and
  claude
  committed
  31d698d

Commits

Commits on Sep 12, 2026

Commits on Sep 13, 2026

Commits on Sep 14, 2026

Commits on Sep 15, 2026