Repository navigation

Consolidate the cost-analysis lane: fold #7932 onto current main (carries #8010's witness retirement) - #8027

Merged

briansrls merged 26 commits into

mainfrom

session/proud-bear-834-omega

Aug 8, 2026

Merged

Consolidate the cost-analysis lane: fold #7932 onto current main (carries #8010's witness retirement)#8027
briansrls merged 26 commits into
mainfrom
session/proud-bear-834-omega

Commits on Aug 6, 2026
- WIP: cost analysis
  gunbc-ci-auto-heal
  committed
  be171b7
- Execute the name-key precondition C0(b2)'s join was assuming
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  21ac6d3
- Sweep the stale-status class across the whole plan, not the one line I fixed (review 49289)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2be2561
- Fix the dissolution trigger: it named a deleted row and set an unsatisfiable condition (review 49307)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f2b0801
- WIP: cost analysis
  gunbc-ci-auto-heal
  committed
  30cd8bd
- Remove merge-event status prose from the plan; cite carrier symbols instead
  gunbc-ci-auto-heal
  committed
  1117a77
- Merge 1117a7749946effdb740ffe1c9c54469f1475255 into f17b300307be871ccce15ddbf10cb856dc18ea95
  gunbai-bot[bot]
  authored
  06445ab
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  a5e56a3
- WIP: cost analysis
  gunbc-ci-auto-heal
  committed
  34fcc58
- Stop the witness-admission row scan slicing UTF-8 prose mid-character
  gunbc-ci-auto-heal
  committed
  11393a5
- Lane A C1: evaluate CostExpr at concrete SizeVariable bindings, with the CostSum binder lexically scoped
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5f0f76f
- Address review 49620 and the parent lane review: interval arithmetic, claim totality, quadratic accumulation, and a false citation
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f84dc03
- Trigger the pull_request ci workflow, which never fired for this branch
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  38bad8a
- Recut to the exact core; fix the log arm reporting the wrong cause
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7ba9c66
- Merge remote-tracking branch 'origin/main' into session/deep-owl-215
  gunbc-ci-auto-heal
  committed
  8b86900
- Enroll the claim conjunction as a test fn: it was the one orphan the naming-hygiene gate found
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cfe428d
- Regenerate the stage0 seed: adding FreeSemigroup to a std authority drifted the self-host fixed-point
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  493de34
Commits on Aug 7, 2026
- Zero is a two-sided annihilator: fix CostMul and symbolic_product together
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  44ef8e7
- Qualify the one bare nat_max the second Nat authority made ambiguous
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f4ce2c2
- Close the two hygiene gates: exhaustive arms where possible, one rostered residue
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0f56336
- Merge remote-tracking branch 'origin/main' into session/deep-owl-215
  gunbc-ci-auto-heal
  committed
  94cdca4
- Merge remote-tracking branch 'origin/pr-7932' into session/proud-bear-834-omega
  gunbc-ci-auto-heal
  committed
  106cf3f
- Merge remote-tracking branch 'origin/pr-7986' into session/proud-bear-834-omega
  gunbc-ci-auto-heal
  committed
  5b92913
- Merge remote-tracking branch 'origin/pr-7932' into session/proud-bear-834-omega
  gunbc-ci-auto-heal
  committed
  55fedeb
Commits on Aug 8, 2026
- Roster #7965's two carriers and handle #7909's two git mock cases
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  43ea52d
- Merge branch 'session/proud-bear-834-omega' of https://github.com/gunb-ai/gunbc into session/proud-bear-834-omega
  gunbc-ci-auto-heal
  committed
  ca2cfd5

Commits

Commits on Aug 6, 2026

Commits on Aug 7, 2026

Commits on Aug 8, 2026