Skip to content

chore: ratify shipped logic ceiling [BEAR-111] - #117

Merged
mergify[bot] merged 1 commit into
mainfrom
codex/BEAR-111-line-budget-policy
Aug 3, 2026
Merged

chore: ratify shipped logic ceiling [BEAR-111]#117
mergify[bot] merged 1 commit into
mainfrom
codex/BEAR-111-line-budget-policy

Conversation

@ericlitman

Copy link
Copy Markdown
Owner

Summary

Ratify BEAR-111's shipped-logic policy before the updater feature is judged against it. Current main is already 1,492 shipped lines—1,355 non-test Go plus 137 bootstrap shell—so the old 1,500 absolute ceiling leaves eight lines and cannot accommodate an honest verified updater.

The live BEAR-111 issue approved a 1,500-line target and 2,000-line absolute ceiling before implementation. This prerequisite applies that decision consistently to maintainer guidance, CI, release enforcement, the contract test, the release checklist, and the byte-identical install guides. It also makes future size-policy changes require a live issue with a measured baseline and ratified bounds.

No runtime product code changes. The update feature remains in PR #116 and must prove its final size and behavior separately.

Refs BEAR-111.

Validation

  • Exact commit 9e75a0cf72b128d4b4d80224a91105ba822c15e7.
  • Verified exact baseline: 1,492 shipped lines.
  • gofmt, normal tests, race tests, vet, both Darwin cross-builds, experiment validation, shell syntax, installer parity, guide parity, stale-policy scan, and diff check pass.
  • Defect-first Review Agent found the missing install-guide policy copy; fixed. Final pass: No findings.
  • Fable completion gate: Ship.

Residual risk: the new ceiling creates 508 lines of headroom. PR #116 must still demonstrate that the updater stays comfortably below 2,000 and remains auditable.

@mobilyze-open-swe-studio2 mobilyze-open-swe-studio2 Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

✅ Open SWE Review: No issues found

Open SWE reviewed this PR and found no potential bugs to report.

Open in Web

@mergify

mergify Bot commented Aug 3, 2026

Copy link
Copy Markdown
Contributor

Merge Queue Status

  • Entered queue2026-08-03 21:28 UTC · Rule: default · triggered by merge protections
  • Checks skipped · PR is already up-to-date
  • Merged2026-08-03 21:28 UTC · at 9e75a0cf72b128d4b4d80224a91105ba822c15e7

This pull request spent 42 seconds in the queue, including 10 seconds running CI.

Required conditions to merge
  • github-review-approved [🛡 GitHub repository ruleset rule Mergify automatic merge queue]
  • all of [🛡 Merge Protections rule Queue ready pull requests]:
  • any of [🛡 GitHub branch protection]:
    • check-success = verify
    • check-neutral = verify
    • check-skipped = verify
  • any of [🛡 GitHub branch protection]:
    • check-success = Open SWE Review
    • check-neutral = Open SWE Review
    • check-skipped = Open SWE Review
  • any of [🛡 GitHub repository ruleset rule Mergify automatic merge queue]:
    • check-success = @mergify/Mergify Merge Protections
    • check-neutral = @mergify/Mergify Merge Protections
    • check-skipped = @mergify/Mergify Merge Protections

@mergify
mergify Bot merged commit a72586a into main Aug 3, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant