Skip to content

chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest - #58

Closed
hyperpolymath wants to merge 1 commit into
mainfrom
chore/estate-topup
Closed

chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest#58
hyperpolymath wants to merge 1 commit into
mainfrom
chore/estate-topup

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

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 purposeSECURITY_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.

DeletedARCHITECTURE.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 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.adoc Rule 1, which forbids a catch-all where the only owner is the sole maintainer. templates/CODEOWNERS contradicts that policy; the policy is versioned, dated and resolves standards#55, so it wins. Genuine co-owners (Rule 2) are untouched.

SurfacedREQUIRES_INITIALISATION.md plus a priority action in 0-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

…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 607e3d8). 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

gitar-bot Bot commented Aug 5, 2026

Copy link
Copy Markdown

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.
Learn more

Code Review ✅ Approved

Automated estate top-up that fills derivable metadata placeholders, drops boilerplate-matching ARCHITECTURE files, and surfaces remaining unpopulated tokens. No issues found.

Auto-approved and auto-merge armed: No blocking issues found.
Please see Auto-approve Docs for details on setting custom approval criteria. — merges when pipeline and required approvals pass.

Options

Display: compact → Showing less information.

Comment with these commands to change the behavior for this request:

Compact
gitar display:verbose         

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
gitar-bot Bot enabled auto-merge (squash) August 5, 2026 09:31

@gitar-bot gitar-bot Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Gitar has auto-approved this PR and enabled auto-merge (configure)

@gitar-bot gitar-bot Bot added the gitar-approved Added by Gitar label Aug 5, 2026
@hyperpolymath

Copy link
Copy Markdown
Owner Author

Closing in favour of a reworked substituter — hyperpolymath/standards#590.

This sweep filled {{TOKEN}} placeholders by plain text replacement across every file. Across the 90 repositories reviewed it drew 141 findings, and one is severe:

sed "s/{{PROJECT_NAME}}/$name/g"  →  sed "s/Conative Gating/$name/g"
sed -e "s/{{DATE}}/$DATE/g"       →  sed -e "s/2026-08-05/$DATE/g"

Those are the scripts whose job is to perform template substitution. Filling the left-hand side of their own sed expressions means template application silently stops working — and the breakage stays invisible until someone mints a repository from the template and gets a half-substituted tree.

Four further shapes came out of the same cause:

  • release.sh no longer substitutes {{DATE}} into release notes
  • just's own {{ARGS}} reported as an unfilled token, leaving repos permanently "not initialised"
  • instructional docs rewritten to "Replace laminar, laminar, {{DEPS}} with actuals"
  • documentation describing placeholders had its examples filled in

The rule plain replacement cannot express: a placeholder is sometimes a value to fill and sometimes the subject being discussed. standards#590 encodes that distinction and is tested against this exact corruption (9/9, the first three cases reproducing it).

Nothing here is lost — the placeholder filling will be redone with that tool. Closing rather than fixing forward because repairing 289 branches individually would repeat the mistake at the same scale.

auto-merge was automatically disabled August 6, 2026 22:16

Pull request was closed

hyperpolymath added a commit that referenced this pull request Aug 7, 2026
…#60)

Stacked on #53. Retargets to `main` automatically when that merges.

## The correction that drove this

The **three-layer claim checker** is this repository's principal subject
— and it was barely documented, while the AffineScript same-cube example
was over-represented relative to it. `faces` is one profile of six, a
lens onto a corpus that lives elsewhere: a good demonstration of the
idea in miniature, not the subject. This PR fixes that proportion.

## Human

**`ARCHITECTURE.md` was template boilerplate** describing `src/`,
`tests/`, `config/` and `README.adoc` — none of which match this repo —
duplicating the real `docs/ARCHITECTURE.md`, and saying *nothing
whatever* about the three layers. (Closed PR #58 independently spotted
this as "drop false ARCHITECTURE"; it did not land, so the problem
persisted.)

Rewritten in two parts: **Part I** the layer architecture — Layer 1
(`type`) and what the diode actually buys, with its three open problems
(epistemic vs ontic clock, partial-order time, composition-forgery as
holonomy); Layer 2 (`trope`) as actually built in
`trope-checker`/`hermeneia`, affine with a guarded contraction rule;
Layer 3 (`sortal`), the doubling attack, and the `L3 -> L2` dependency
arrow. **Part II** the shipping extractor/classifier.

**`README.md` had drifted from the tool.** It said every face's lowering
"must normalise to the same canonical text"; the verifier now compiles
each face to typed-wasm and compares `sha256`, keeping text diffs as a
diagnostic only. The README asserted something that held on both sides
of a transition while no longer meaning the same thing — **this
repository's own failure mode, turned inward.**

## Machine

`0-AI-MANIFEST.a2ml`: real structure (it omitted `docs/decisions/`,
`proofs/`, `examples/`, `src/ui/`); new `(architecture …)` block with
the three layers, dependency order, doubling attack, decided-not-built
status and the `L1`/`L2`/`L3` numbering hazard; new `(debt …)` block;
ADR-0001 in milestones. **The do-not-paraphrase `(core-idea)` block is
untouched.**

**Wiki** was a one-line stub → `Home` + `Three-Layers` (pushed
separately — wikis are their own git repo).

## Debt — new `docs/DEBT.md`

| | Dimension | Open | Worst |
|---|---|---|---|
| A | Architecture | 3 | **HIGH** |
| C | CI/CD | 3 | MEDIUM |
| L | Licence | 3 | MEDIUM |
| D | Docs | 3 | MEDIUM |
| P | Proof | 2 | MEDIUM |
| K | Code | 1 | LOW |

**The headline finding went stale mid-audit, and that is recorded rather
than hidden.** C1 was filed CRITICAL — no lockfile, every workflow
`startup_failure` on every branch, `main` never green. **PR #56 fixed it
while this was being written.** Re-measured: 10 workflows green on
`main` including Rust CI, CodeQL and Secret Scanner. C1 is now RESOLVED
with the history kept, and the residue split into C2 (Scorecard still
`startup_failure`), C3 (two workflows failing on *content*, untriaged —
invisible until the lockfile landed), C4 (no proof gate).

Other findings:

- **L1** — GitHub reported **no licence**. Cause found: `LICENSE`
deviated from canonical MPL-2.0 by a **trailing space** (line 38) and
`http` vs `https` (line 360). Replaced with the canonical text.
- **A1–A3** — Layer 1 has no substrate anywhere; Layer 3's equivalence
side does not exist; Layer 2's vocabulary does not match its
implementation (**`p-residue` exists in no repository**).
- **P1** — `SameCube.agda` is genuinely good (`--safe`, zero postulates,
zero holes) but **ungated**.

`docs/tech-debt-2026-05-26.md`'s "RESOLVED" banner was **partly wrong**
and is corrected in place: licence was not actually detected, and proof
debt was half closed.

## Repo metadata (applied via API, not in this diff)

- **Description** was `Dual-use claim-grounder (Phase A in progress)` —
vague and stale. Now states what the tool does and its governance role.
- **Topics** were `development, hyperpolymath, open-source, rust,
software, tooling` — owner name, generic words, and a language GitHub
detects itself. Replaced with eight concept-level ones:
`claim-checking`, `argumentation`, `semantic-drift`, `provenance`,
`cross-domain-equivalence`, `architecture-decision-records`,
`formal-methods`, `static-analysis`.

## Verification

- `0-AI-MANIFEST.a2ml` parens and quotes balance
- `reuse lint` missing-info count **unchanged** from baseline (1,
pre-existing) — verified by stashing and re-running
- every path cited in `ARCHITECTURE.md` exists on disk
- CI state re-measured per workflow before publishing the claim
- no code touched

🤖 Generated with [Claude Code](https://claude.com/claude-code)

---------

Co-authored-by: Claude Opus 5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

gitar-approved Added by Gitar

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant