Repository navigation
Refresh cead's assets: Irish accents, feathered Ogham mark, SVG lockups - #3
Merged
Merged
Conversation
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Owner
Author
|
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Owner
Author
|
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
1 task
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Owner
Author
|
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Owner
Author
|
1zeroone0
marked this pull request as ready for review
September 26, 2026 23:49
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
A fresh asset set that matches cead's Irish name and Ogham mark.
Accents: a deep forest green and a burnt orange, the tricolour's hues kept muted and matte.
#5f7a45#2f5f43#b3402f#a95a27The mark: Ogham c, e, a, d on its original grid (20 px strokes, 44 px pitch), the stem trimmed to the lettering and closed with feather marks (᚛ ᚜) as in manuscript Ogham; the green a stroke runs unbroken across the stem. Groups keep Ogham's even rhythm rather than sitting over their Latin letters.
Lockups are SVG and are their own source: the mark is rects and lines, the letters are traced from the previous raster.
lockup.svg,lockup-light.svg: the README's stacked lockup for dark and light themes, switched with<picture>. Before, the stone letters vanished on GitHub's light theme.lockup-source.svg: stacked, stone on slate, no accents, for places that cannot render color (a terminal).lockup-source-color.svg: the same with accents.palette.png,terminal-mockup.pngregenerated in Fira Code with current vocabulary: verdictspermit/forbid(CODE.md), the shell prompt[step 12/100](Loop: one machine, one process, done #8), "process" for "node"; the header mark is stone-only.Caption: the name's gloss becomes a centered caption under the lockup instead of a dangler after the opening paragraph.
What this PR does not do
lichen,iron).Merge requirements
permitword in the mockup).🤖 Generated with Claude Code