Rename EveryType → anytype; split theory out to systemet; instantiate identity#3
Merged
Conversation
…ntity
Rescope this repo to the kernel/engine and retire the over-claiming
"EveryType" name: there is no universal "every type" relation here — pick
any L2 resource algebra, get that discipline. The theory it implements is
split into the systemet repo (Equality Theory), now the semantic authority
that this repo pins upstream and extends-not-redefines.
- README/EXPLAINME rewritten for the kernel, with an explicit honesty notice
that no working checker exists yet (src/, tests/, verification/ are RSR
scaffolding, not an implementation).
- AFFIRMATION instantiated as an honest early-stage snapshot (no overclaim).
- Identity descriptiles instantiated: CLADE/ECOSYSTEM/ANCHOR/STATE/META,
0-AI-MANIFEST, CITATION. ANCHOR declares anytype a satellite that pins
systemet upstream.
- CLAUDE.md regenerated from the descriptiles via the arrival-pack projection
(extract.sh + faithful render of arrival-pack.ncl; nickel/just unavailable
in this environment). Diff is the identity block + provenance hashes only,
so `just claude-md` will reproduce it (drift-safe).
uuid is a PROVISIONAL deterministic UUIDv5 of the forge URL; clade is
PROVISIONAL — both must be confirmed/registered in gv-clade-index. The generic
RSR {{TOKEN}} scaffolding (shared with the template) is intentionally left for
`just init`: it collides with Just's own {{var}} syntax and needs owner-only
values (security email, PGP fingerprint, conduct contact, etc.).
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01J1XmMC49T8sZ3uUuvrgB7y
hyperpolymath
marked this pull request as ready for review
June 28, 2026 10:32
|
hyperpolymath
added a commit
that referenced
this pull request
Jun 28, 2026
## Summary Follow-up to the merged rename/split (#3). Finishes the *deterministic* half of `just init` — substituting the **known** `{{TOKEN}}` placeholders across the shared RSR scaffolding with their real values — done by hand because `just`/`nickel` aren't available in this environment. 51 files instantiated. ## Changes Substituted (known, safe, non-code, non-Just): ``` {{OWNER}}=hyperpolymath {{REPO}}/{{PROJECT_NAME}}=anytype {{FORGE}}=github.com {{AUTHOR}}=Jonathan D.A. Jewell {{AUTHOR_EMAIL}}=j.d.a.jewell@open.ac.uk {{AUTHOR_LAST/FIRST/INITIALS}} {{CURRENT_YEAR}}=2026 {{CURRENT_DATE}}/{{DATE}}=2026-06-28 {{MAIN_BRANCH}}=main {{LICENSE}}=MPL-2.0 {{PROJECT_DESCRIPTION/PURPOSE}} ``` Files touched: `.github/` community-health (SECURITY.md, CODE_OF_CONDUCT.md, CONTRIBUTING.md, GOVERNANCE.md, MAINTAINERS, CODEOWNERS, .mailmap, FUNDING.yml, SUPPORT, settings.yml, copilot-instructions.md), `.well-known/`, `docs/` (attribution, governance, status, practice, decisions), `container/` + `.devcontainer/`, `build/guix.scm` + `.guix-channel`, `.machine_readable/` config/a2ml, `cliff.toml`, `dep5`, etc. ## Deliberately NOT touched (out of scope or needs owner) - **Justfiles / `build/just/*.just` / `*.ncl`** — `{{var}}` there is Just's own interpolation syntax, not an RSR token. - **`self-validating/` k9 checks, `PLACEHOLDERS.adoc`, `docs-template/`, `*-TEMPLATE`/`0000-template` docs, `examples/`, `tests/`** — these legitimately contain `{{TOKEN}}` as *data*. - **`LICENSE` / `LICENSES/`** — no automated licence edits. - **Code identifiers `{{PROJECT}}` / `{{project}}`** (Idris2/Zig/C symbols) — left for the code-aware init tooling. - **Owner-only values — left as visible placeholders, NOT fabricated:** `{{SECURITY_EMAIL}}`, `{{PGP_FINGERPRINT}}`, `{{PGP_KEY_URL}}`, `{{WEBSITE}}`, `{{CONDUCT_EMAIL}}`, `{{CONDUCT_TEAM}}`, `{{RESPONSE_TIME}}`, `{{OPENSSF_PROJECT_ID}}`, `{{SERVICE_NAME}}`, `{{PORT}}`, `{{REGISTRY}}`, `{{PACKAGE_NAME}}`, `{{VERSION}}`. **Please supply these (or say "use my email for contacts") and I'll fill them in.** ## Testing / verification - Confirmed **no GitHub Actions `${{ }}` expression was altered** and **no `.github/workflows/*` file changed** (exact-token sed cannot match `${{ … }}`). - Confirmed no mangled values (no `$hyperpolymath` / `$anytype`). - Confirmed residual `{{TOKEN}}`s remain *only* in the excluded data/template/validation files listed above. ## Note on CI baseline The pre-existing red checks (A2ML schema mismatch, K9 pedigree, `estate-rules` zig→zig-unified-api-adapter migration, openssf `{{OPENSSF_PROJECT_ID}}`, SonarQube 0%-coverage) are **canon-owned** (they live in `standards` / `rsr-template-repo`) or need owner values — they are not fixable in-repo without diverging from canon, so they're intentionally left for the template/standards source. 🤖 Generated with [Claude Code](https://claude.com/claude-code) https://claude.ai/code/session_01J1XmMC49T8sZ3uUuvrgB7y --- _Generated by [Claude Code](https://claude.ai/code/session_01J1XmMC49T8sZ3uUuvrgB7y)_
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
2 participants
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.
Summary
Rescopes this repository to the kernel/engine and retires the over-claiming name "EveryType". There is no universal "every type" relation here — the honest claim is the opposite: pick any L2 resource algebra, get that discipline → anytype. The theory this kernel implements is split out into the
systemetrepo (Equality Theory), which becomes the semantic authority; anytype pins it upstream and may extend, not redefine it.Companion PR:
hyperpolymath/systemet(same branch) holds the theory half.Before this change, both
anytypeandsystemetwere 385/387-identical copies of the rawrsr-template-repotemplate; the only hand-written content (anytype's README/EXPLAINME) conflated three distinct things — EveryType (kernel), SystemET (theory), AffineScript (a profile). This PR separates them.Changes
systemet, with an explicit honesty notice that no working checker exists yet (src/,tests/,verification/are RSR scaffolding, not an implementation).CLADE,ECOSYSTEM,ANCHOR,STATE,META,0-AI-MANIFEST,CITATION.cff.ANCHORdeclares anytype a satellite that pinssystemetupstream (extend-not-redefine).extract.sh+ faithful render ofarrival-pack.ncl;nickel/justare unavailable in this environment). The diff is the identity block + provenance hashes only, so a laterjust claude-mdreproduces it (drift-safe).RSR Quality Checklist
Required
just/nickel/asciidoctornot installed; docs/identity-only change, no source compiled)unsafeblocks addedbelieve_me,unsafeCoerce,Obj.magic,Admitted,sorry).envfiles includedAs Applicable
.machine_readable/6a2/STATE.a2mlupdated (project state changed).machine_readable/6a2/ECOSYSTEM.a2mlupdated (position/relationships changed).machine_readable/6a2/META.a2mlupdated (ADRs for the rename/split added)CHANGELOGupdatedTesting
extract.shwas run against the edited descriptiles to produce the exact CLAUDE.md projection values + provenance hashes, then the generator's ownawksplice was used so the CLAUDE.md region matches whatjust claude-mdwould emit. Residue checks confirm norsr-template-repo, noSystemET, and no{{ }}tokens remain in the authored/identity files (remaining "EveryType" mentions are intentional — they document the rename in provenance / IS-NOT / ADR contexts).Notes / follow-ups for the owner
uuid5(URL-ns, https://github.com/hyperpolymath/anytype)=967a6646-…); clade (at, secondaryet) is PROVISIONAL. Both must be confirmed/registered ingv-clade-index(out of scope for this session).{{TOKEN}}scaffolding shared with the template (≈90 files:.github/governance, container/build configs, docs) is intentionally left forjust init. A blanket substitution is unsafe here: theJustfile/build/just/*.justuse{{var}}as Just's own interpolation syntax, and tokens like{{SECURITY_EMAIL}},{{PGP_FINGERPRINT}},{{CONDUCT_EMAIL}},{{OPENSSF_PROJECT_ID}}need owner-only values that must not be fabricated.just claude-md(and the k9 drift check) in a full toolchain to confirm the regenerated CLAUDE.md byte-matches.🤖 Generated with Claude Code
https://claude.ai/code/session_01J1XmMC49T8sZ3uUuvrgB7y
Generated by Claude Code