chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest - #58
chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest#58hyperpolymath wants to merge 3 commits into
Conversation
…the rest
Estate top-up pass. Three separate things, none of which invents a value.
FILLED — every token with a single mechanical answer: OWNER, REPO, FORGE,
PROJECT, PACKAGE_NAME, PROJECT_NAME, AUTHOR, AUTHOR_EMAIL, CONDUCT_EMAIL,
AUTHOR_FIRST/LAST/INITIALS, CURRENT_YEAR, CURRENT_DATE, DATE, MAIN_BRANCH.
Identity comes from the git remote, dates from the clock, project name from the
README H1 where there is one.
Deliberately NOT filled, because more than one defensible answer exists and a
confident wrong value is worse than a visible gap: SECURITY_EMAIL (two competing
addresses are in use across the estate), RESPONSE_TIME, CONDUCT_TEAM (which
substitutes into "a {{CONDUCT_TEAM}} member", not English), WEBSITE,
PROJECT_DESCRIPTION, LANG_STACK.
DELETED — ARCHITECTURE.md, where it is byte-identical to the 346-copy estate
boilerplate (blob 607e3d8c). Those 33 lines describe a src/ tests/ docs/
scripts/ config/ tree that this repo does not have, so the file is not merely
uninformative, it is wrong. Genuinely written ARCHITECTURE files are matched by
hash and left alone. No file beats a confidently false one.
CODEOWNERS — rewritten to the solo form mandated by
hyperpolymath/standards CODEOWNERS-POLICY.adoc Rule 1, which forbids a catch-all
line where the only owner is the sole maintainer. The estate's own
templates/CODEOWNERS contradicts that policy; the policy is versioned, dated and
resolves standards#55, so it wins. Files naming a genuine co-owner are Rule 2
and are untouched. Note @hyperpolymath and @metadatastician are the same person,
so a file naming the other account is a copy artifact that silently routed
review requests to the wrong account.
SURFACED — REQUIRES_INITIALISATION.md, and a priority action in
0-AI-MANIFEST.a2ml. Tokens that need a decision no script can make are left
visibly unfilled rather than faked or quietly deleted. The marker says what each
one is, which files it belongs in, why it was not done already, and that it must
be deleted only once the work is genuinely finished.
![gitar-bot[bot]](https://avatars.githubusercontent.com/in/827041?s=60&v=4){kind=small}
|
|
||
| (package | ||
| (name "{{PROJECT_NAME}}") | ||
| (name "What Is This?") |
There was a problem hiding this comment.
🚨 Bug: PROJECT_NAME filled with "What Is This?" instead of project name
The top-up derived PROJECT_NAME from the README H1 # What Is This?, but that heading is the RSR template's rhetorical intro question — the real name is "Idrisiser" (README.md line 8: "Idrisiser is the meta-prover…"). The literal string "What Is This?" (with spaces and a ?) is now substituted into files that require valid identifiers, producing broken output: guix.scm has (name "What Is This?") and .guix-channel has (name 'What Is This?) plus url "…/What Is This?" — invalid Guix package names / Guile symbols / URLs that make guix build/guix pull fail; .devcontainer/Containerfile sets WORKDIR /workspaces/What Is This? and the doc shows podman build -t What Is This?-dev (spaces/? are illegal in OCI tags); docs/attribution/CITATIONS.adoc emits an invalid BibTeX key @software{What Is This?_2026, and broken repo URLs. Replace PROJECT_NAME with idrisiser (or Idrisiser for prose) everywhere it was filled as "What Is This?".
Was this helpful? React with 👍 / 👎
|
|
||
| [methodology.state-validation] | ||
| reject-if-contains = ["{{PLACEHOLDER}}", "{{PROJECT}}", "rsr-template-repo"] | ||
| reject-if-contains = ["{{PLACEHOLDER}}", "IDRISISER", "rsr-template-repo"] |
There was a problem hiding this comment.
⚠️ Bug: State-validation reject list now rejects the real project name
In .machine_readable/agent_instructions/methodology.a2ml, reject-if-contains previously held {{PROJECT}} — a literal token marker used to detect unfilled/template state files. The top-up substituted it to the actual uppercased project name IDRISISER. Since IDRISISER is a legitimate value that appears in real content (e.g. docs/developer/ABI-FFI-README.adoc uses IDRISISER ABI/FFI Documentation and import IDRISISER.ABI.Foreign), any valid state file mentioning the project will now be flagged as corrupt/template, inverting the check's intent. Restore the literal marker (e.g. {{PROJECT}} / {{PROJECT_NAME}}) rather than the resolved value.
Keep the placeholder token as a literal marker instead of substituting the real project name.:
reject-if-contains = ["{{PLACEHOLDER}}", "{{PROJECT}}", "rsr-template-repo"]
- Apply fix
Check the box to apply the fix or reply for a change | Was this helpful? React with 👍 / 👎
There was a problem hiding this comment.
Configure merge blocking · Maintainers can dismiss this review.
|
Note Automatic reviews are paused because your trial's included automatic processing has been used for this period. Upgrade now, or comment "Gitar review" to run a review anytime. Code Review 🚫 Blocked 0 resolved / 2 findingsAutomates placeholder filling across the estate and cleans up boilerplate ARCHITECTURE files, but incorrectly populates PROJECT_NAME with the rhetorical heading "What Is This?" instead of "Idrisiser", which breaks state-validation. 🚨 Bug: PROJECT_NAME filled with "What Is This?" instead of project name📄 guix.scm:21 📄 guix.scm:66 📄 .guix-channel:4 📄 .guix-channel:9 📄 .guix-channel:10 📄 .guix-channel:17 📄 .devcontainer/Containerfile:6 📄 .devcontainer/Containerfile:27 📄 docs/attribution/CITATIONS.adoc:8 📄 docs/attribution/CITATIONS.adoc:12 📄 docs/attribution/CITATIONS.adoc:19 📄 docs/attribution/CITATIONS.adoc:23 📄 docs/attribution/CITATIONS.adoc:27 📄 docs/attribution/CITATIONS.adoc:31 📄 container/manifest.toml:14 📄 container/Containerfile:72 📄 container/Containerfile:74-76 The top-up derived PROJECT_NAME from the README H1
|
| Compact |
|
Important
Your trial ends in 5 days — upgrade now to keep code review, CI analysis, auto-apply, custom automations, and more.
Was this helpful? React with 👍 / 👎 | Gitar
…t a value
The estate top-up sweep substituted {{PROJECT}} here along with every other
token. This line is a DETECTOR list: the comment above it says these rules
detect corrupt/template/stale state files, so the tokens named in it are the
ones whose PRESENCE means a state file is broken.
Substituting it did two things. It blinded the {{PROJECT}} leak detector, and it
made the detector reject any state file containing this repo's own uppercased
name — the opposite of what the rule is for.
Same failure class as a template recipe rewriting the incident record that
documents its own bug: substituting tokens inside a thing that is ABOUT tokens.
Nothing else in this PR changes.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
The previous commit on this branch was written by a script that read the file through a shell command substitution. $(...) strips trailing newlines and printf '%s' does not put one back, so the file lost its final newline and the diff showed "\ No newline at end of file". Content is otherwise byte-identical to that commit. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
|
1 participant
Automated estate top-up. Nothing here invents a value.
Filled — every token with one mechanical answer (owner, repo, forge, author, dates, project name, main branch). Identity from the git remote, dates from the clock, name from the README H1.
Not filled, on purpose —
SECURITY_EMAIL(two competing addresses exist in the estate),RESPONSE_TIME,CONDUCT_TEAM(substitutes into "a {{CONDUCT_TEAM}} member", which is not English),WEBSITE,PROJECT_DESCRIPTION,LANG_STACK. More than one defensible answer exists, and a confident wrong value is worse than a visible gap.Deleted —
ARCHITECTURE.mdwhere it is byte-identical to the 346-copy estate boilerplate (blob607e3d8c). Those 33 lines describe asrc/ tests/ docs/ scripts/ config/tree this repo does not have. Matched by hash, so a genuinely written ARCHITECTURE can never be caught by it.CODEOWNERS — the solo form from
standards/CODEOWNERS-POLICY.adocRule 1, which forbids a catch-all where the only owner is the sole maintainer.templates/CODEOWNERScontradicts that policy; the policy is versioned, dated and resolvesstandards#55, so it wins. Genuine co-owners (Rule 2) are untouched.Surfaced —
REQUIRES_INITIALISATION.mdplus a priority action in0-AI-MANIFEST.a2ml, listing every remaining token, what it means, which files it belongs in, why it was not done already, and that it is to be deleted only when the work is genuinely complete.Built from a fresh clone of
origin/main, never a local checkout — several of those are dirty and hold unpushed commits.🤖 Generated with Claude Code