Repository navigation

Carry the item kind the parse constructor already knew, and delete the predicates that guessed it from absence - #10459

Merged

gunbai-bot[bot] merged 63 commits into

mainfrom

session/calm-wolf-333

Sep 5, 2026

Merged

Carry the item kind the parse constructor already knew, and delete the predicates that guessed it from absence#10459
gunbai-bot[bot] merged 63 commits into
mainfrom
session/calm-wolf-333

Commits on Sep 4, 2026
- Carry the item kind the parse constructor already knew, and delete the predicates that guessed it from absence
  
  Brian Searls
  and
  claude
  committed
  990f9fa
- Merge main into session/calm-wolf-333
  
  Brian Searls
  and
  claude
  committed
  d7a5b38
- Regenerate the stage0 mirrors, restamp the seed-retained hand Rust, and climb the arm-order row
  
  Brian Searls
  and
  claude
  committed
  cee0473
- Merge main into session/calm-wolf-333
  
  Brian Searls
  and
  claude
  committed
  6852fd3
- Regenerate the stage0 mirrors and the failure-mode projection after the merge
  
  Brian Searls
  and
  claude
  committed
  bfa004d
- Merge main into session/calm-wolf-333
  
  Brian Searls
  and
  claude
  committed
  2475c46
- Re-derive the failure-mode projection from the merged roster
  
  Brian Searls
  and
  claude
  committed
  3d90447
- Adjudicate the item-kind vocabulary move and install the drifted mirror
  
  Brian Searls
  and
  claude
  committed
  eb49f24
- Merge remote-tracking branch 'origin/main' into session/calm-wolf-333
  Brian Searls
  committed
  e87b776
- Restore the ours-side mirrors as build scaffolding after the merge of main
  
  Brian Searls
  and
  claude
  committed
  838ed8a
- Merge remote-tracking branch 'origin/main' into session/calm-wolf-333
  Brian Searls
  committed
  36468d1
- Install the regenerated mirrors derived from the merged authority
  
  Brian Searls
  and
  claude
  committed
  af9b6f2
- Merge remote-tracking branch 'origin/main' into session/calm-wolf-333
  Brian Searls
  committed
  f6e6578
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  0c7709f
Commits on Sep 5, 2026
- Restore the fleet-converge argument pairs this branch had reverted
  
  Brian Searls
  and
  claude
  committed
  744bb4c
- Merge remote-tracking branch 'origin/main' into session/calm-wolf-333
  Brian Searls
  committed
  21cf02b
- Install the infer mirror regenerated from the merged authority
  
  Brian Searls
  and
  claude
  committed
  b9d9e55
- Stamp the two dead type-item constructors with the kind they build
  
  Brian Searls
  and
  claude
  committed
  c37dd4e
- Merge remote-tracking branch 'origin/main' into session/calm-wolf-333
  Brian Searls
  committed
  8a929e3
- Merge remote-tracking branch 'origin/main' into session/calm-wolf-333
  Brian Searls
  committed
  e496192
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  c652abc
- Merge commit 'a890e5b86f665d3409a9a574f326fbd1dcec94a2' into session/calm-wolf-333
  Brian Searls
  committed
  2157ef8
- Merge remote-tracking branch 'origin/session/calm-wolf-333' into session/calm-wolf-333
  Brian Searls
  committed
  ee997c9
- Merge commit 'ae2b4c4a95bb4b979a2d1a2e44ad76b6cd8e9012' into session/calm-wolf-333
  Brian Searls
  committed
  8084d85
- Merge commit 'd31b9de77660697ef18cb4addba49837e6875208' into session/calm-wolf-333
  Brian Searls
  committed
  04ba08b
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  8886156
- Merge commit '50f1b50f923c2e46d97ebe4a524aa904512984d9' into session/calm-wolf-333
  Brian Searls
  committed
  b25a509
- Pay the gunbc#10300 consumed-admission deletion this change is due
  
  Brian Searls
  and
  claude
  committed
  20ccefc
- Merge commit '3a1ee654d4121a1f4551239ae04ff29ef36cc69c' into session/calm-wolf-333
  Brian Searls
  committed
  8591797
- Quarantine the control's prose behind the annotation boundary DESIGN 4c draws
  
  Brian Searls
  and
  claude
  committed
  5b1f25d
- Merge commit '8e4665b5a07b1faa35614b70a078c072194ebff0' into session/calm-wolf-333
  Brian Searls
  committed
  e16bc72
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  c75ec69
- Install both mirrors regenerated from the merged authority
  
  Brian Searls
  and
  claude
  committed
  56a0e38
- Merge remote-tracking branch 'origin/session/calm-wolf-333' into session/calm-wolf-333
  Brian Searls
  committed
  83a6fa8
- Merge commit 'a29faba47f3a86daeb7da105995a2b10c4718416' into session/calm-wolf-333
  Brian Searls
  committed
  c88a20d
- Re-derive the emit mirror after main's second 05_emit_rust.dag change
  
  Brian Searls
  and
  claude
  committed
  83c8126
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  2480a42
- Merge remote-tracking branch 'origin/session/calm-wolf-333' into session/calm-wolf-333
  Brian Searls
  committed
  b90e64a
- Merge commit '56e902190818012d4a962a5baf0ba7c3edfb151f' into session/calm-wolf-333
  Brian Searls
  committed
  9af7722
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  d8ad8b6
- Emit a body for a capability-less resource in Python (codex review 60760)
  
  Brian Searls
  and
  claude
  committed
  ef45eae
- Merge commit '5808ac690c1b9913be0a1f47a879bb6a0917e6b6' into session/calm-wolf-333
  Brian Searls
  committed
  3b4be54
- Install the python emitter and control mirrors regenerated from the merged authority
  Brian Searls
  committed
  a30d572
- Merge remote-tracking branch 'origin/session/calm-wolf-333' into session/calm-wolf-333
  Brian Searls
  committed
  c84c4db
- Merge commit '03a3b91fb4c1ea7e408df2cb484f475d75080a7f' into session/calm-wolf-333
  Brian Searls
  committed
  ed63080
- Pay the gunbc#10324 consumed-admission deletion this change is due
  
  Brian Searls
  and
  claude
  committed
  98cf52f
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  bb20d91
- Merge commit '16a702eac3daad078482f7b02dbf3be1745ce796' into session/calm-wolf-333
  Brian Searls
  committed
  7e8936b
- Re-derive v1_std_core after the merge; take the projection to base for heal
  Brian Searls
  committed
  c224144
- Merge commit 'e978f95d58f668b0279073b14f04f78e87442d33' into session/calm-wolf-333
  Brian Searls
  committed
  2a7afa9
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  bc3fd8b
- Merge commit '761b24dff23f04996420a542482a87a7a6c1cb9f' into session/calm-wolf-333
  Brian Searls
  committed
  9ed59e6
- Merge commit 'bc3fd8b' into session/calm-wolf-333
  Brian Searls
  committed
  1775358
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  a702d0f
- Merge commit 'f4769ff5dc52' into session/calm-wolf-333
  Brian Searls
  committed
  b8fdff4
- Regenerate stage0 mirrors from the authority merged with gunbc#10547
  
  Brian Searls
  and
  claude
  committed
  5c39462
- Merge commit 'a702d0f' into session/calm-wolf-333
  Brian Searls
  committed
  19bb1a3
- Merge commit '4a47d80438' into session/calm-wolf-333
  Brian Searls
  committed
  e0b7c15
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  54d9bc5
- Regenerate compiler_tests.rs to the regen fixed point
  
  Brian Searls
  and
  claude
  committed
  b9d680d
- Merge commit '54d9bc553f' into session/calm-wolf-333
  Brian Searls
  committed
  f76f634
- Merge commit '23e2abe1f7' into session/calm-wolf-333
  Brian Searls
  committed
  834ed68
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  cdeadfd

Commits

Commits on Sep 4, 2026

Commits on Sep 5, 2026