Remove the compile-time claim gate #7

New issue

Closed

opened 2026-08-24 23:16:56 +00:00 by jlxq0 · 0 comments

jlxq0 commented

2026-08-24 23:16:56 +00:00

Owner

Julian, 2026-08-25: the GOAL.md status mechanism is being removed in eltrix_server, and this is the half that consumes it.

What goes

lib/eltrix_site/status.ex — EltrixSite.Status, including claim!/1, the @external_resource pin and the File.read! of the artefact.
lib/eltrix_site/capabilities.ex's use of it: works/0, absent/0 and the @titles map exist to render statuses that will no longer exist.
priv/artefacts/status.json.
Whatever page renders the capability lists, if status.json is its only source. A page that renders three empty lists is worse than a page that is gone.
The compile --force in mix ci, if the compile-time claim was its only reason — the alias comment says it was.
AGENTS.md's sections on the claim gate and on the partial/missing lists.

Delete rather than stub. A claim!/1 that returns its argument unchecked is a function whose name is now a lie, and it will be read as a gate by the next person.

Julian, 2026-08-25: the `GOAL.md` status mechanism is being removed in `eltrix_server`, and this is the half that consumes it. ## What goes - **`lib/eltrix_site/status.ex`** — `EltrixSite.Status`, including `claim!/1`, the `@external_resource` pin and the `File.read!` of the artefact. - **`lib/eltrix_site/capabilities.ex`**'s use of it: `works/0`, `absent/0` and the `@titles` map exist to render statuses that will no longer exist. - **`priv/artefacts/status.json`**. - Whatever page renders the capability lists, if `status.json` is its only source. A page that renders three empty lists is worse than a page that is gone. - The `compile --force` in `mix ci`, if the compile-time claim was its only reason — the alias comment says it was. - `AGENTS.md`'s sections on the claim gate and on the partial/missing lists. **Delete rather than stub.** A `claim!/1` that returns its argument unchecked is a function whose name is now a lie, and it will be read as a gate by the next person.

jlxq0 added this to the v1.0 milestone

2026-08-24 23:16:56 +00:00

jlxq0 referenced this issue from a commit

2026-08-24 23:28:47 +00:00

chore: remove the compile-time claim gate and the status page

jlxq0 closed this issue

2026-08-26 04:48:07 +00:00

jlxq0 referenced this issue from a commit

2026-08-26 05:13:27 +00:00

fix(site): the footer went on promising a check that had been deleted

jlxq0 referenced this issue

2026-08-26 05:15:39 +00:00