Skip to content

Retire prs.md into the loop PR and the Horizon #9

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
1zeroone0 merged 1 commit into from
Sep 26, 2026
Merged

Retire prs.md into the loop PR and the Horizon #9

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions AGENTS.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,6 +40,7 @@ Every PR description has these sections, kept current:

PR descriptions become the squash-commit body, so write them as records of truth with links to related PRs (#PR).
A leaning lives in the description of the PR that will settle it. Once code settles it, the why is a doc comment. No third document.
Until its PR exists, a leaning is a comment on #7 (Horizon), in the description template. Check #7 before opening a PR; update a comment as intent clarifies; when one is ready, open its PR and delete the comment.

The first commit is the model, when `CODE.md` says the seed's shape demands one; its checker is green before any code exists.
The next commit is typed stubs ONLY: types and signatures, placeholder bodies, the language's type gate green. The diff defines that PR's scope; one signature per action of the model. `CODE.md` names each language's stub and gate.
Expand Down
Loading