Skip to content

Allium spec distillation — run 121b5dff#124

Closed
refset wants to merge 1 commit into
masterfrom
allium/spec/121b5dff-7ea4-49b0-ae33-a85e817171e8
Closed

Allium spec distillation — run 121b5dff#124
refset wants to merge 1 commit into
masterfrom
allium/spec/121b5dff-7ea4-49b0-ae33-a85e817171e8

Conversation

@refset

@refset refset commented May 1, 2026

Copy link
Copy Markdown
Member

Allium spec — first pass

This PR carries the first pass of an Allium specification distilled from the
codebase by allium-swarm.

Run ID: 121b5dff-7ea4-49b0-ae33-a85e817171e8
Spec ID: 7c634718-8145-49db-86f5-ac724847129f
Files:

  • specs/...

Distilled a first-pass Allium v3 spec for juxt/aero, a small Clojure(Script) library that reads edn configuration enriched with tag literals. Captured the public read-config / read-config-into-tagged-literal / resolve-tagged-literals surface, the reader and eval-tagged-literal extension points, the catalogue of built-in tags (#env, #envf, #prop, #long/#double/#keyword/#boolean, #include, #join, #read-edn, #merge, #or, #ref, #profile, #hostname, #user) as rules, the Parsed→Expanding→Resolved/Incomplete resolution lifecycle, and supporting invariants (purity, config-as-data, open dispatch). The alpha macro-tag API is included as a separate surface.


This is a ratification gate. Two equivalent ways to ratify:

  1. PR review with state Approved. Open Files changedReview changes → Approve. (GitHub forbids the PR's author from approving their own PR — if you opened it, use option 2.)
  2. /ratify comment. Post a comment on this PR whose body starts with /ratify. Anything after the token is captured as the ratification rationale.

Merge is optional — approval alone is the signal.

If anything is missing, request changes (or post a comment) and the
orchestrator will re-distil with your feedback as additional context (up to
3 rounds).

Distilled a first-pass Allium v3 spec for juxt/aero, a small Clojure(Script) library that reads edn configuration enriched with tag literals. Captured the public read-config / read-config-into-tagged-literal / resolve-tagged-literals surface, the reader and eval-tagged-literal extension points, the catalogue of built-in tags (#env, #envf, #prop, #long/#double/#keyword/#boolean, #include, #join, #read-edn, #merge, #or, #ref, #profile, #hostname, #user) as rules, the Parsed→Expanding→Resolved/Incomplete resolution lifecycle, and supporting invariants (purity, config-as-data, open dispatch). The alpha macro-tag API is included as a separate surface.
@refset

refset commented May 1, 2026

Copy link
Copy Markdown
Member Author

/ratify e2e with heartbeats

@refset refset closed this May 1, 2026
@refset refset deleted the allium/spec/121b5dff-7ea4-49b0-ae33-a85e817171e8 branch May 1, 2026 11:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant