Skip to content

PROP-2: proposals are committed at propose time, not created on the implementation branch - #3

Merged
danielfmonzon merged 1 commit into
mainfrom
prop/2
Aug 15, 2026
Merged

PROP-2: proposals are committed at propose time, not created on the implementation branch#3
danielfmonzon merged 1 commit into
mainfrom
prop/2

Conversation

@danielfmonzon

Copy link
Copy Markdown
Owner

Implemented through the pipeline itself. See the proposal + implementation report in docs/proposals/PROP-2-*.md on this branch.

Change: propose commits the proposal on the branch it ran from, at propose time, status AWAITING IMPLEMENTATION. implement appends the report and flips the status to IMPLEMENTED on the prop branch only, so main keeps saying AWAITING until a human merges. --no-commit escape hatch retained.

Why: the proposal used to be written untracked and first committed by implement onto prop/n, so the analysis record lived only on the implementation branch. Observed during the PROP-1 dogfood: rebuilding prop/1 destroyed the proposal, which had to be recovered from the remote by hand.

Gates: ruff PASS, mypy PASS, pytest 672 PASS. Frontend and verify-dist correctly SKIPPED (no frontend/ path in the diff).

Note the bootstrap: PROP-2 was itself created and implemented under the old behaviour — the implement process had already imported the pre-patch module — so its own file is not on main and its status line still reads AWAITING. The new behaviour is proven by four new tests and takes effect from PROP-3.

Depends on #2 (phase-3-pipeline), which carries the pipeline itself.

…ted-on

Implemented by `quantlab implement`. Gates: all passed.
Merge is human-only: Daniel merges via PR after Quant Lead review.
@danielfmonzon danielfmonzon reopened this Aug 15, 2026
@danielfmonzon
danielfmonzon merged commit e0a05df into main Aug 15, 2026
1 of 2 checks passed
@danielfmonzon
danielfmonzon deleted the prop/2 branch August 15, 2026 20:00
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