luria

Reference status

5 min read

Graph View

Generated by luria index from the record’s frontmatter — built, not edited.

Every reference in the record is a claim — “this is why things are the way they are” — and this page is the account of the claims that need a human eye: citations of documents that are not in force, codes that resolve to nothing, and the acknowledgements and exemptions that keep either kind quiet on purpose. Nothing on this page fails a build (ADR-035): every row is a judgement call, and the acknowledgement comments are how a judgement, once made, stops being asked again.

Documents cited while not in force

Only an Active document is in force. Proposed and Deferred mean not in force yet — an open question, being cited as if it were settled — while Superseded and Rejected mean no longer in force, which is often a perfectly good thing to cite: history, or a rejection worth pointing at. Either way the citation should be deliberate, and this section lists the ones nobody has vouched for yet.

8 documents cited without acknowledgement. Not listed: 93 citations someone has already vouched for with an inactive-ok: comment at the citing site.

To vouch for one, put the reason where the citation is — inactive-ok: covers its own line and the line below it, inactive-ok-block: its paragraph, inactive-ok-file: the whole page:

<!-- inactive-ok: ADR-012 — why this citation is right -->

ADR-129 — Proposed

A chain may walk a named path pattern

13 citations in 5 files await a look; 2 other citations of it are acknowledged.

ADR-127 — Proposed

A logic core in clingo, behind a procedural shell

10 citations in 4 files await a look; 2 other citations of it are acknowledged.

ADR-132 — Proposed

A named path pattern may render a page of its matches

8 citations in 3 files await a look.

ADR-137 — Proposed

A directed converse pair stores its primary side; the derived side is computed

7 citations in 4 files await a look.

ADR-126 — Proposed

A reference may name several schemes

6 citations in 2 files await a look.

ADR-084 — Superseded

A relation declares its converse; symmetry is the self-converse case

4 citations in 3 files await a look; 18 other citations of it are acknowledged.

ADR-136 — Proposed

luria repair writes what the committed sources imply; link —fix writes what the working tree’s change implies

3 citations in 1 file await a look; 1 other citation of it is acknowledged.

ADR-135 — Proposed

A pattern node may test its own field for inequality or membership

2 citations in 1 file await a look.

Codes that resolve to no document

A reference the reader cannot follow: the code names no document in this record. A typo, a number carried in from another project, and an illustrative code in an example all look identical from here — telling them apart takes a human, so this is a report, not an error.

6 codes unaccounted for. Not listed: 78 mentions marked deliberate with an unresolved-ok: comment (same syntax and scopes as inactive-ok: above).

ADR-404 — resolves to nothing (3 unmarked sites · 14 other mentions marked deliberate)

ADR-000 — resolves to nothing (2 unmarked sites · 4 other mentions marked deliberate)

ADR-231 — resolves to nothing (1 unmarked site)

ADR-245 — resolves to nothing (1 unmarked site)

ADR-919 — resolves to nothing (1 unmarked site · 15 other mentions marked deliberate)

ADR-999 — resolves to nothing (1 unmarked site · 11 other mentions marked deliberate)

Temporary codes this record does not mint

A temporary code belongs to the contribution that created it, and only that contribution can cite it safely. One cited here with no document behind it is another branch’s — it resolves for as long as both are open, and stops the moment the other merges and its code is numbered. The trunk never sees the spelling this record wrote down.

0 codes not minted here. Not listed: 48 mentions marked deliberate with an unresolved-ok: comment — an illustrative code in an example is the usual one.

Every temporary code cited here is this record’s own. ✅

Files that opt out of reference checking

unlinted-file: exempts a whole document from the reference machinery — the blunt tool for a fixture-heavy or vendored page. It is counted here rather than hidden, the same bargain as an acknowledgement: the report stays a complete account of what nobody is checking.

None. Every scanned file is checked. ✅

Directives that no longer apply

None. Every annotation still governs something. ✅

Backlinks