chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest - #54
chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest#54hyperpolymath 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.
|
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 findingsAutomated estate top-up replacing placeholders and cleaning up boilerplate architecture files, but PROJECT_NAME was incorrectly filled with the template heading 'What Is This?' and the state-validation blocklist now rejects files containing 'DAFNISER'. 🚨 Bug: PROJECT_NAME filled with template heading "What Is This?" not "dafniser"📄 .guix-channel:4 📄 .guix-channel:9 📄 .guix-channel:10 📄 .guix-channel:17 📄 guix.scm:4 📄 guix.scm:10 📄 guix.scm:21 📄 guix.scm:66 📄 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 📄 .devcontainer/Containerfile:6 📄 .devcontainer/Containerfile:27 📄 container/ct-build.sh:49 The estate top-up substituted Use the slug `dafniser` for all machine identifiers (Guix name/url, BibTeX key, container image tag, WORKDIR) instead of the human-readable heading "What Is This?".
|
| 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
![gitar-bot[bot]](https://avatars.githubusercontent.com/in/827041?s=60&v=4){kind=small}
| ;; Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk> | ||
| ;; | ||
| ;; Guix channel definition for {{PROJECT_NAME}} | ||
| ;; Guix channel definition for What Is This? |
There was a problem hiding this comment.
🚨 Bug: PROJECT_NAME filled with template heading "What Is This?" not "dafniser"
The estate top-up substituted {{PROJECT_NAME}} with the literal string What Is This? — the template README's placeholder H1 — instead of the actual project name dafniser (used correctly in the real URLs elsewhere, e.g. https://github.com/hyperpolymath/dafniser). This produces broken machine-consumed artifacts: .guix-channel and guix.scm now contain the invalid Guix symbol (name 'What Is This?) and URLs https://github.com/hyperpolymath/What Is This? (spaces break Scheme parsing and the URL); docs/attribution/CITATIONS.adoc emits the invalid BibTeX key @software{What Is This?_2026, and malformed citation URLs; .devcontainer/Containerfile sets WORKDIR /workspaces/What Is This? and podman build -t What Is This?-dev (invalid image tag / space in path). Replace these with dafniser (the container/image/URL/package identifier); the human-readable prose title, if genuinely desired, is separate from the machine identifier.
Use the slug dafniser for all machine identifiers (Guix name/url, BibTeX key, container image tag, WORKDIR) instead of the human-readable heading "What Is This?".:
;; Guix channel definition for dafniser
(channel
(version 0)
(url "https://github.com/hyperpolymath/dafniser")
...)
- Apply fix
Check the box to apply the fix or reply for a change | Was this helpful? React with 👍 / 👎
|
|
||
| [methodology.state-validation] | ||
| reject-if-contains = ["{{PLACEHOLDER}}", "{{PROJECT}}", "rsr-template-repo"] | ||
| reject-if-contains = ["{{PLACEHOLDER}}", "DAFNISER", "rsr-template-repo"] |
There was a problem hiding this comment.
⚠️ Bug: State-validation blocklist now rejects any file containing "DAFNISER"
The {{PROJECT}} token in reject-if-contains was meant to flag state files that still carry an unfilled template marker. Substituting the literal project name DAFNISER inverts the intent: the validator will now reject any STATE.a2ml (or fallback file) that legitimately mentions the project by name as "corrupt/template". Note DAFNISER is already used as legitimate content elsewhere (e.g. docs/developer/ABI-FFI-README.adoc). This entry should keep a template-marker sentinel (e.g. {{PROJECT}}) rather than the resolved value.
Leave the template sentinel token in the blocklist 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.
…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