Repository navigation

Correct two stale arity claims in the brand witness prose - #10493

Merged

gunbai-bot[bot] merged 45 commits into

mainfrom

session/calm-eagle-759-prose

Sep 5, 2026

Commits on Sep 3, 2026
- The where-refinement predicate vocabulary, joined to the compiler that decides it
  
  Brian Searls
  and
  claude
  committed
  904769a
- Record the ResolvedFormal reuse refusal in the trigger row, not the thread
  
  Brian Searls
  and
  claude
  committed
  535e2f1
- Hoist every annotation to module-item grain, and import the name I used
  
  Brian Searls
  and
  claude
  committed
  665b3e0
Commits on Sep 4, 2026
- Record when this witness actually runs, because it is not every run
  
  Brian Searls
  and
  claude
  committed
  a07ea5b
- Name the collision assertion, and bound the population it ranges over
  
  Brian Searls
  and
  claude
  committed
  e0f8919
- Brand identity is the declaration, not the literal (collision refuses)
  
  Brian Searls
  and
  claude
  committed
  d9d026e
- The witness could not compile: compile_dag_diagnostic_census is a host builtin
  
  Brian Searls
  and
  claude
  committed
  52ffc0b
- File the class this change found: a witness that fails to compile is ABSENT, not red
  
  Brian Searls
  and
  claude
  committed
  ac4bc2a
- Merge main: adopt the per-file failure-mode split and re-file the row into it
  
  Brian Searls
  and
  claude
  committed
  1f8b0bd
- Merge main: union the roster append, leave the projection provisional for heal
  
  Brian Searls
  and
  claude
  committed
  b5b1d51
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  1327404
- Read the immediate operand, not the cast-peeled value, so brand -> base -> brand stays legal
  
  Brian Searls
  and
  claude
  committed
  17a838a
- Merge remote-tracking branch 'origin/main' into session/calm-eagle-759
  Brian Searls
  committed
  2d7337f
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  dc5273f
- Merge remote-tracking branch 'origin/main' into session/calm-eagle-759
  Brian Searls
  committed
  3891245
- Take main's design-failure-modes projection verbatim: the provisional-bytes route deleted two rows
  
  Brian Searls
  and
  claude
  committed
  0a1e594
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  2ec45f1
- Merge remote-tracking branch 'origin/main' into session/calm-eagle-759
  Brian Searls
  committed
  d0970df
- Close the fail-open in the brand wall: an undeterminable declaration key is no longer representable
  
  Brian Searls
  and
  claude
  committed
  72143a8
- Merge remote-tracking branch 'origin/main' into session/calm-eagle-759
  Brian Searls
  committed
  4f2c602
- Merge remote-tracking branch 'origin/main' into session/calm-eagle-759
  Brian Searls
  committed
  d7279e8
- Merge remote-tracking branch 'origin/main' into session/calm-eagle-759
  Brian Searls
  committed
  785edd6
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  2e21f20
- Re-derive the projection and regenerate the stage0 mirror after merging main
  
  Brian Searls
  and
  claude
  committed
  6462d81
- Merge remote-tracking branch 'origin/session/calm-eagle-759' into session/calm-eagle-759
  Brian Searls
  committed
  0e66967
- Merge remote-tracking branch 'origin/main' into session/calm-eagle-759
  Brian Searls
  committed
  868adbc
- Merge remote-tracking branch 'origin/main' into session/calm-eagle-759
  Brian Searls
  committed
  4fc2f7c
- Merge remote-tracking branch 'origin/main' into session/calm-eagle-759
  Brian Searls
  committed
  8a5cebc
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  b36ad1e
- Merge remote-tracking branch 'origin/main' into session/calm-eagle-759
  Brian Searls
  committed
  c0dd9d1
- Merge remote-tracking branch 'origin/session/calm-eagle-759' into session/calm-eagle-759
  Brian Searls
  committed
  117d164
- Install every generated file the regen names, not only the expected mirror
  
  Brian Searls
  and
  claude
  committed
  bff0150
- Merge remote-tracking branch 'origin/main' into session/calm-eagle-759
  Brian Searls
  committed
  eec6816
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  aedf47b
- Reinstall the regenerated stage0 mirrors after merging main
  
  Brian Searls
  and
  claude
  committed
  7c64131
- Merge remote-tracking branch 'origin/session/calm-eagle-759' into session/calm-eagle-759
  Brian Searls
  committed
  5be1aed
- Scope the brand witness to the diagnostic class it claims to prove
  
  Brian Searls
  and
  claude
  committed
  a99c732
- Merge remote-tracking branch 'origin/main' into session/calm-eagle-759
  Brian Searls
  committed
  d2fb831
- Merge remote-tracking branch 'origin/main' into session/calm-eagle-759
  Brian Searls
  committed
  9d623a5
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  5447d69
- Merge remote-tracking branch 'origin/session/calm-eagle-759' into session/calm-eagle-759
  Brian Searls
  committed
  95e7175
- Merge remote-tracking branch 'origin/main' into session/calm-eagle-759
  Brian Searls
  committed
  151fe4d
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  ffdec75
Commits on Sep 5, 2026
- Correct two stale arity claims in the brand witness prose
  
  Brian Searls
  and
  claude
  committed
  2c25f07
- Merge remote-tracking branch 'origin/main' into session/calm-eagle-759-prose
  Brian Searls
  committed
  1c9d618

Commits

Commits on Sep 3, 2026

Commits on Sep 4, 2026

Commits on Sep 5, 2026