Skip to content

Harden the review loop and the brain arm - #93

Merged
naashw merged 95 commits into
mainfrom
develop
Aug 26, 2026
Merged

Harden the review loop and the brain arm#93
naashw merged 95 commits into
mainfrom
develop

Conversation

@naashw

@naashw naashw commented Aug 26, 2026

Copy link
Copy Markdown
Collaborator

Block 1 of the loop-hardening plan: proof-tagged acceptance criteria settled mechanically, check results wired into review and fix prompts, inter-turn review memory with executable counter-examples, bounded read-only reviewer, crash-safe ship/merge with post-merge replay, real detachable brain daemon reporting local status and applying remote orders, cross-repo contract conformance net. Contract 0.8.0. Bench: issue-to-merge in 1 turn (16 before).

naashw and others added 30 commits August 22, 2026 03:07
chore(quality): add coverage, dead-code, commit-message and secret gates
chore(quality): pin out the advised transitives and gate on bun audit
Hasan TASKIN and others added 25 commits August 25, 2026 14:00
Comment on lines +1277 to +1278
html
.replace(/<script\b[^>]*><\/script>/g, '')
)
const shell = (html: string) =>
html
.replace(/<script\b[^>]*><\/script>/g, '')

try {
gitFn(
['fetch', 'origin', `+refs/heads/${opts.target}:refs/remotes/origin/${opts.target}`],
* about proofs yet (D17: D12, a structured field instead, is not done).
*/
export function parseCriterionProof(text: string): CriterionProof | null {
const match = CRITERION_PROOF_RE.exec(text)
@naashw
naashw enabled auto-merge August 26, 2026 19:47
@naashw
naashw merged commit 7f5f196 into main Aug 26, 2026
10 checks passed
@naashw naashw mentioned this pull request Aug 27, 2026
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.

2 participants