Allium spec distillation — run 33ba634b#121
Closed
refset wants to merge 1 commit into
Closed
Conversation
Distilled a first-pass Allium v3 spec for juxt/aero, a small Clojure/ClojureScript EDN configuration library. The spec models the ConfigSource and Opts inputs, the TaggedLiteral/Config lifecycle from parsed → expanding → resolved, the public ReadConfig surface plus the ReaderExtension and ResolverHook extension points, and per-tag rules for the built-in literals (#env, #envf, #profile, #hostname, #user, #or, #ref, #include, #join, and the coercion tags). Invariants capture the README's 'config is data' stance and the post-resolution no-tags guarantee.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Allium spec — first pass
This PR carries the first pass of an Allium specification distilled from the
codebase by allium-swarm.
Run ID:
33ba634b-e373-4ba6-a284-effb625153eaSpec ID:
b916d313-2547-4704-a087-12e876daa5c1Files:
specs/...Distilled a first-pass Allium v3 spec for juxt/aero, a small Clojure/ClojureScript EDN configuration library. The spec models the ConfigSource and Opts inputs, the TaggedLiteral/Config lifecycle from parsed → expanding → resolved, the public ReadConfig surface plus the ReaderExtension and ResolverHook extension points, and per-tag rules for the built-in literals (#env, #envf, #profile, #hostname, #user, #or, #ref, #include, #join, and the coercion tags). Invariants capture the README's 'config is data' stance and the post-resolution no-tags guarantee.
This is a ratification gate: approving this review signals that the
distilled spec is a faithful starting point for further work. Merge is
optional — approval alone is the signal.
If anything is missing, request changes and the orchestrator will re-distil
with your comments as additional context (up to 3 rounds).