Skip to content

Name cead's userspace and its three ways to fan out - #4

Merged
1zeroone0 merged 2 commits into
mainfrom
userspace-framing
Sep 26, 2026
Merged

1zeroone0 merged 2 commits into
mainfrom
userspace-framing

Conversation

@1zeroone0

@1zeroone0 1zeroone0 commented Sep 26, 2026 •

Copy link
Copy Markdown
Owner

What this PR does

Two README clarifications of intent:

  • The opening sentence names what kind of harness: an agent harness built as a microVM, a userspace whose user is a model. "Agent harness" stays the lead noun.
  • Deployment's "unit of scale" bullet becomes a table of the three ways work fans out, told apart by who spawns and when: scale-out from a declaration (evals, operator, before the run), fork from a snapshot (RL, operator or trainer, mid-run), rlm (long or autonomous tasks, the model, whenever it decides).

What this PR does not do

  • Frame cead as a Linux distribution.
  • Change anything else in the README. "Forks like a process" stays pitch language.

Merge requirements

  • Operator approves both changes.

🤖 Generated with Claude Code

@1zeroone0 1zeroone0 changed the title Name the harness as a userspace whose user is a model Name cead's userspace and its three ways to fan out Sep 26, 2026
@1zeroone0

Copy link
Copy Markdown
Owner Author
  1. Built — Deployment's scale bullet replaced by a use / who / when / mechanism table.
  2. Why — the three fan-outs (scale-out, machine fork, rlm) were being conflated; who spawns and when is what separates them.
  3. Bloat — replaces a bullet rather than adding a section; the worktree analogy moved into the fork row.
  4. Drift — the table is now the only statement of the use cases; the Horizon PR's comments point here rather than restating it.
  5. Trust surface — prose only; nothing is testable yet.
  6. How it breaks — the table promises scale-out and fork before either exists; both are Horizon items.
  7. Not confident — whether "reinforcement learning" should say "operator or trainer"; whether the table belongs in Deployment or in "What cead is".
  8. Verify yourself — the table rows against your intent.
  9. Next steps — finished; ready for review.

@1zeroone0

Copy link
Copy Markdown
Owner Author
  1. Built — the gloss moves into the lockup's centered block as a caption, after a <br>.
  2. Why — GitHub joins soft-wrapped lines into one paragraph, so the gloss rendered as a dangler after the second sentence.
  3. Bloat — no lines added outside the existing HTML block.
  4. Drift — PR description updated.
  5. Trust surface — not rendered locally; GitHub's HTML sanitizer allows <br> and <em> inside <p align>.
  6. How it breaks — the lockup has a transparent ground with stone-colored letters, so on GitHub light mode both the logo and the dark caption sit on white; unchanged by this PR.
  7. Not confident — whether you meant the caption under the logo or under the opening sentence.
  8. Verify yourself — the rendered README top on the PR's Files tab.
  9. Next steps — finished; ready for review.

@1zeroone0

Copy link
Copy Markdown
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
1zeroone0 marked this pull request as ready for review September 26, 2026 23:49
1zeroone0 and others added 2 commits September 26, 2026 17:53
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
1zeroone0 merged commit e50cfa3 into main Sep 26, 2026
@1zeroone0
1zeroone0 deleted the userspace-framing branch September 26, 2026 23:54
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>
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