Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .machine_readable/dogfooding.a2ml
Original file line number Diff line number Diff line change
Expand Up @@ -53,9 +53,9 @@ evidence = ["lib/verisim_connector.ex", "lib/vcl/client.ex"]

[isers.DOG-06]
state = "yes"
description = "Template placeholders resolved — no stray {{OWNER}} / {{REPO}} / [YOUR-REPO-NAME] in repo config"
description = "Template placeholders resolved — no stray hyperpolymath / hypatia / [YOUR-REPO-NAME] in repo config"
evidence = "lib/rules/dogfooding.ex:25-40"
notes = "The only occurrences of {{OWNER}}/{{REPO}}/[YOUR-REPO-NAME] in the tree are inside lib/rules/dogfooding.ex as the rule's own detection patterns — they are the strings the rule searches for in downstream repos. Explicitly annotated in that file."
notes = "The only occurrences of hyperpolymath/hypatia/[YOUR-REPO-NAME] in the tree are inside lib/rules/dogfooding.ex as the rule's own detection patterns — they are the strings the rule searches for in downstream repos. Explicitly annotated in that file."

[isers.DOG-07]
state = "yes"
Expand Down
2 changes: 1 addition & 1 deletion .machine_readable/testing/blitz.a2ml
Original file line number Diff line number Diff line change
Expand Up @@ -180,7 +180,7 @@ evidence = ["lib/verisim_connector.ex", "lib/vcl/client.ex"]
check = "Template placeholders"
status = "warn"
evidence = ["lib/rules/dogfooding.ex"]
gap = "{{OWNER}}/{{REPO}} strings present as rule literals, not unresolved placeholders"
gap = "hyperpolymath/hypatia strings present as rule literals, not unresolved placeholders"
fix = "optional — annotate rule data as literal test strings"

[dogfooding.DOG-07]
Expand Down
17 changes: 17 additions & 0 deletions 0-AI-MANIFEST.a2ml
Original file line number Diff line number Diff line change
Expand Up @@ -115,3 +115,20 @@
(last-updated "2026-03-24")
(maintained-by "Jonathan D.A. Jewell / hyperpolymath")
(protocol "https://github.com/hyperpolymath/0-ai-gatekeeper-protocol")))

<!-- BEGIN requires-initialisation -->

## PRIORITY ACTION — this repository is not fully initialised

2 substitution token(s) still have no value. **Read
`REQUIRES_INITIALISATION.md` in the repository root before doing anything
else here** — it lists every outstanding token, what it means, and which
files it belongs in.

Do not fabricate values for them, and do not delete the sections that
contain them to quiet a gate. They are unfilled because they need a
decision, not because they were overlooked. Resolve what you legitimately
can, leave the rest, and delete `REQUIRES_INITIALISATION.md` only when
nothing outstanding remains.

<!-- END requires-initialisation -->
47 changes: 0 additions & 47 deletions ARCHITECTURE.md

This file was deleted.

63 changes: 63 additions & 0 deletions REQUIRES_INITIALISATION.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,63 @@
<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->

# REQUIRES INITIALISATION

**This repository is not finished being set up.** 2 substitution token(s) across 3 file(s) still have no value.

## Why this is not already done

This repo was created from `hyperpolymath/rsr-template-repo`. The mint
(`just repo-init`) fills every token that has a single mechanical answer —
owner, repo, author, dates, licence, branch — and it has done so here.

The tokens below are the ones it *deliberately cannot* answer. They need a
decision or a fact that exists only in your head: what this project is for,
what command builds it, which port the service listens on, whether a PGP key
is held at all. The template's own token vocabulary says as much — you cannot
sensibly answer "required invariants" in a thirty-second bootstrap.

They were left **visibly unfilled on purpose**. The alternatives were both
worse: inventing plausible values would put confident falsehoods into a
security policy and an architecture document, and silently deleting the
sections would hide the fact that a decision is owed. A visible gap is
honest; a fabricated answer is not.

## Do not delete this file until every item below is resolved

This file is the only marker that the work is outstanding. Deleting it early
does not finish the setup, it just conceals it — and the next person or agent
to arrive will reasonably assume the repo is complete.

- **If you are a person:** delete this file yourself once the last item is done.
- **If you are an agent:** resolve what you legitimately can, leave the rest,
and delete this file only when no token below remains anywhere in the tree.
Do not delete it to make a gate go green.

Re-running the estate top-up tool will remove this file automatically once
nothing is outstanding, so the safest way to finish is to fix the tokens and
let the check confirm it.

## What is needed, and where it goes

### `{{ARGS}}`

Arguments for the justfile recipe this appears in.

Appears in:

- `Justfile`
- `tasks/Justfile`

### `{{PROJECT_UNIQUE_STRENGTH}}`

What this does that its alternatives do not.

Appears in:

- `.machine_readable/bot_directives/methodology.a2ml`

---

Generated by the estate top-up pass. Rationale and the governing rulings are
in `hyperpolymath/standards`; the token vocabulary is
`.machine_readable/ai/PLACEHOLDERS.adoc` in `rsr-template-repo`.
2 changes: 1 addition & 1 deletion docs/testing/audit.md
Original file line number Diff line number Diff line change
Expand Up @@ -62,7 +62,7 @@ Primary category per test file. Evidence verified against `test/*.exs`
| **DOG-03** — Groove manifest | ✅ | `.well-known/groove/manifest.json` exists; ports match Elixir `:9090` |
| **DOG-04** — K9 contracts | ⚠ | `k9iser.toml` present, but `k9iser build` not invoked in CI, no `generated/k9iser/` artefacts. **Fix:** add a build step to `ci.yml`. |
| **DOG-05** — VeriSimDB wired | ✅ | `lib/verisim_connector.ex` actually calls `Hypatia.VCL.Client`; not a hollow import |
| **DOG-06** — Template placeholders | ⚠ | `{{OWNER}}` / `{{REPO}}` strings live only in `lib/rules/dogfooding.ex` as rule data, not as unresolved repo config. **Fix:** add a comment marking them as in-rule string literals; optional. |
| **DOG-06** — Template placeholders | ⚠ | `hyperpolymath` / `hypatia` strings live only in `lib/rules/dogfooding.ex` as rule data, not as unresolved repo config. **Fix:** add a comment marking them as in-rule string literals; optional. |
| **DOG-07** — Tool version currency | ✅ | Actions SHA-pinned with v-tag comments; current as of 2026-04 |
| **DOG-08** — Consumer field contract | ✅ | Scanner JSON fields match consumer scripts |
| **DOG-09** — Iser applicability | ❌ | No `.machine_readable/dogfooding.a2ml`. **Fix:** add the manifest declaring which isers apply (yes/no/deferred). |
Expand Down
Loading