Repository navigation
Name cead's userspace and its three ways to fan out - #4
Merged
Merged
Conversation
Owner
Author
|
Owner
Author
|
1zeroone0
force-pushed
the
userspace-framing
branch
from
September 26, 2026 23:26
0097434 to
006a463
Compare
Owner
Author
|
Caption commit moved to #3, which now owns the README's lockup block along with the assets. This PR is the framing text only. |
1zeroone0
marked this pull request as ready for review
September 26, 2026 23:49
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
1zeroone0
force-pushed
the
userspace-framing
branch
from
September 26, 2026 23:54
006a463 to
11a7c93
Compare
1 of 2 tasks
1zeroone0
added a commit
that referenced
this pull request
Sep 28, 2026
## What this PR does Settles how cead is built before the first code, from scoping the first PR (the old loop PR, whose intent is now a Horizon comment on #7). - **One method.** CODE.md is reorganized as method, vocabulary, languages. TLA+ specifies the system, Lean a core function, Rust is the system: one pipeline of spec → slice → core → skeleton → fill. The system spec (`spec/cead.tla`) comes first and is revisable: when code disagrees, the spec changes in that PR. A moved signature is learning, stated in the commit comment; a new capability is drift. - **Spec, not model.** The artifact before the skeleton is a *spec*; "model" collided with the LLM. - **Frontier and claim.** Placeholders (`todo!`, `unimplemented!`, `unwrap`, `expect`, `#[ignore]`) are the frontier, zero at merge. `unreachable!()` and `#[expect(lint, reason)]` are claims review reads. `#[allow]` is denied. Frontier lints warn, so a draft compiles and `cargo clippy --all-targets -- -D warnings` fails until filled. Tests unwrap through `clippy.toml`, not attributes. The toolchain pins clippy. - **Types as schema.** The five language-enforced invariants and the "does it still compile?" test for what is a choice, written down as priors. - **Probe, then wrap.** Dependencies are probed while scoping, findings in a PR comment, probe never committed. A dependency's types stay inside its boundary module. - **Vocabulary as a table.** Every noun has one home in code (type, module or crate, binary); a noun may precede its home; no home without a noun. - **AGENTS.md.** End-to-end tests first, ending in a checkable, re-runnable artifact. Branches name the change, not the thing changed. Only Horizon and PRs in progress are open. The squash trade is stated; `gh land` now keeps each PR's comment thread as a git note in `refs/notes/pr` (backfilled for #3, #4, #6). The one-measurement-per-milestone line is removed: "a system that can disagree with us" already says it. - **`done` → `finish`.** `done` is a POSIX shell keyword (`bash -c 'done x'` is a syntax error), so the call could never run. `finish` is process-shaped: like gdb's, it returns a frame's value to its caller. ## What this PR does not do - Write any spec or code; `initial-spec` is next (Horizon). - Re-cut the rest of Horizon; that is a merge requirement of `initial-spec`. - Change `gh land` itself in the repo; it lives outside it. ## Merge requirements - [x] `cargo clippy --all-targets -- -D warnings` green on the empty crate with the new lints. - [ ] Roone has read CODE.md end to end and it reads as one document. 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-authored-by: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What this PR does
Two README clarifications of intent:
rlm(long or autonomous tasks, the model, whenever it decides).What this PR does not do
Merge requirements
🤖 Generated with Claude Code