Instantiate as systemet (Equality Theory); receive theory split from anytype - #3
Merged
Conversation
…anytype
Turn this repo from a raw RSR template into systemet — Equality Theory
("system" + "ET"). It is the theory half of the split out of the combined
"EveryType" draft: one primitive relation (equality is conversion) at L1,
discipline added in layers, the three refusal gates, roles-as-tropes, and
TEA-erasure as an open proof obligation. The kernel that implements it is the
anytype repo; this repo is the semantic authority.
- README/EXPLAINME authored for the theory (the five layers, the L1 cut, the
three gates, the wager, the proof obligations), replacing the {{PLACEHOLDER}}
template prose.
- AFFIRMATION instantiated honestly: theory is specified, proofs are OPEN, no
compiler lives here, TEA-erasure is not a result.
- Identity descriptiles instantiated: CLADE/ECOSYSTEM/ANCHOR/STATE/META,
0-AI-MANIFEST, CITATION. ANCHOR declares systemet canonical (semantic
authority); downstream may extend-not-redefine.
- CLAUDE.md regenerated from the descriptiles via the arrival-pack projection
(extract.sh + faithful render of arrival-pack.ncl; nickel/just unavailable
here). Diff is the identity block + provenance hashes only — drift-safe.
uuid is a PROVISIONAL deterministic UUIDv5 of the forge URL; clade is
PROVISIONAL ("et" = Equality Theory, owner-stated) — 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.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01J1XmMC49T8sZ3uUuvrgB7y
|
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}}=systemet {{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` / `$systemet`). - 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
Turns this repo from a raw RSR template into systemet — Equality Theory (
system+ET, where ET = Equality Theory). It is the theory half of the split out of the combined "EveryType" draft: one primitive relation (equality is conversion) at L1, discipline added in layers rather than as new type relations, the three refusal gates, roles-as-tropes, and TEA-erasure as an open proof obligation. The kernel that implements it is theanytyperepo; this repo is the semantic authority.Companion PR:
hyperpolymath/anytype(same branch) holds the kernel half.Before this change both repos were 385/387-identical copies of the
rsr-template-repotemplate, andsystemet's prose was still raw{{PLACEHOLDER}}content ("full of uninstantiated templates").Changes
{{PLACEHOLDER}}template prose.CLADE,ECOSYSTEM,ANCHOR,STATE,META,0-AI-MANIFEST,CITATION.cff.ANCHORdeclares systemet canonical (semantic authority); downstream may extend, not redefine.extract.sh+ faithful render ofarrival-pack.ncl;nickel/justunavailable here). Diff is the identity block + provenance hashes only — drift-safe.RSR Quality Checklist
Required
just/nickel/asciidoctornot installed; docs/identity-only change)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 theory/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/systemet)=1ade549b-…); clade (et= Equality Theory, owner-stated meaning) 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