Skip to content

🔧 CodeRabbit CI Fix: Fix failing Hypatia GitHub Check CI job #755

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hyperpolymath merged 1 commit into from
Sep 8, 2026
Merged

🔧 CodeRabbit CI Fix: Fix failing Hypatia GitHub Check CI job #755

Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
37 changes: 19 additions & 18 deletions deed/spec/DEED-GRAMMAR-SPEC.adoc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,7 @@ Landing it is the owner's call.

== Why this document exists

Two measured facts, 2026-09-08, motivate the decisions below.
Three measured facts, 2026-09-08, motivate every decision below.

*Fact 1 — the only runnable gate cannot read a deed.* `validate-a2ml.sh`
recognises four identity forms and no more:
Expand Down Expand Up @@ -56,9 +56,17 @@ rc=1
against *20* occurrences of `a2ml`. No tool in the estate scans a `.deed` file
today.

The gap is therefore that the existing shell validator knows neither the deed
surface nor `.deed` files. This document closes that by defining the deed
surface and specifying the single change the validator needs.
*Fact 3 — the identity primitive already exists, compiles, and is decidable.*
`a2ml/src/A2ML/BaseVocab.idr` builds clean (11/11 modules, `%default total`) and its
own header states its purpose: "the anti-desync primitive: one neutral shape
for a thing that can be identified, located, attributed, and integrity-checked.
It names no downstream consumer."

The gap is therefore not a missing grammar. It is that a *typed, total,
surface-neutral* identity core exists in Idris2, and a *weaker, rival* identity
rule exists in shell regex, and neither knows about `.deed`. This document
closes that by defining the deed surface in terms of the typed core, and by
specifying the single change the validator needs.

== Scope and non-goals

Expand All @@ -78,7 +86,7 @@ identical input bytes.
|===
| `COMMENT` | `;;` to end of line. A single `;` is also a comment; `;;` is the
convention for a whole-line comment and `;` for a trailing one.
| `WS` | space, tab, CRLF, or LF. Insignificant except as a token separator.
| `WS` | space, tab, CR, LF. Insignificant except as a token separator.
| `SYMBOL` | `[A-Za-z][A-Za-z0-9.*/<>=!?+-]*`. Dots are structural: `Type.Software.Library`
is one symbol whose dotted segments are meaningful to the type resolver.
| `KEYWORD` | `:` followed by a `SYMBOL`. Hyphen, never underscore: `:schema-version`.
Expand All @@ -102,21 +110,17 @@ speciation artefact, not a deed.
----
Deed ::= Header COMMENT* Form
Header ::= SpdxLine+ ; see Section 4.1
Form ::= "(" DocHead TokenSep VersionField
(TokenSep (Field | Clause))* TokenSep? ")"
Form ::= "(" DocHead VersionField Field* Clause* ")"
DocHead ::= "estate-deed" | "repo-deed" | "estate-atlas-deed"
| "praxis-deed"
VersionField ::= ":schema-version" TokenSep STRING ; REQUIRED on every head
VersionField ::= ":schema-version" STRING ; REQUIRED on every head

Field ::= KEYWORD TokenSep Value
Field ::= KEYWORD Value
Value ::= STRING | SYMBOL | INTEGER | BOOLEAN | UUID5
| QUOTED | List
List ::= "(" (Value (TokenSep Value)*)? TokenSep? ")"
List ::= "(" Value* ")"

Clause ::= "(" SYMBOL (TokenSep (Field | Clause))* TokenSep? ")"
TokenSep ::= (WSP | LineEnd | Comment)+
LineEnd ::= CRLF | LF
Comment ::= ";" (VCHAR | SP)* LineEnd
Clause ::= "(" SYMBOL Field* Clause* ")"
----

A *Field* is a keyword/value pair. A *Clause* is a named sub-form that may
Expand Down Expand Up @@ -166,14 +170,11 @@ second extension.
| Stem pattern | Head form | Meaning

| `estate_chora.deed` | `estate-deed` | *Noun.* The estate's vocabulary. One per estate.
| `*_chora.deed` (except `estate_chora.deed`) | `repo-deed` | *Noun.* What a repo IS. A record.
| `*_chora.deed` | `repo-deed` | *Noun.* What a repo IS. A record.
| `ATLAS.deed` | `estate-atlas-deed` | *Noun.* The registry of all deeds.
| `*_praxis.deed` | `praxis-deed` | *Verb.* What a tool DOES. Rules.
|===

The repository pattern explicitly excludes `estate_chora.deed`; dispatchers
MUST apply the exact estate filename rule before the repository pattern.

*RULED 2026-09-08 by the owner:* `praxis-deed` is a genuine fourth head, not a
facet of `repo-deed`. A tool carries obligations a repo does not — what it
invokes, what it emits, what it may refuse — and those are a distinct document
Expand Down
Loading