Allium spec distillation — run 96ec8316#123
Closed
refset wants to merge 1 commit into
Closed
Conversation
Distilled a first-pass Allium v3 spec for juxt/aero, a small Clojure(Script) library that reads EDN configuration files and resolves a fixed set of tagged literals (#env, #envf, #prop, #or, #profile, #hostname, #user, #ref, #include, #join, #merge, #long/#double/#keyword/#boolean, #read-edn) against an evaluation context (profile, user, hostname, resolver). The spec models the Caller/Environment/ConfigSource externals, a Config entity, ReadOptions value, the public Aero surface (read_config plus reader/eval-tagged-literal extension points), and one rule per built-in tag, with invariants capturing Aero's two stated promises: no unresolved tags remain and configuration is data-only.
Member
Author
|
/ratify e2e test |
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:
96ec8316-c7a5-42da-9915-ccc3c2f698c1Spec ID:
9317bb8d-1659-496b-93a0-2fbd67ea9d89Files:
specs/...Distilled a first-pass Allium v3 spec for juxt/aero, a small Clojure(Script) library that reads EDN configuration files and resolves a fixed set of tagged literals (#env, #envf, #prop, #or, #profile, #hostname, #user, #ref, #include, #join, #merge, #long/#double/#keyword/#boolean, #read-edn) against an evaluation context (profile, user, hostname, resolver). The spec models the Caller/Environment/ConfigSource externals, a Config entity, ReadOptions value, the public Aero surface (read_config plus reader/eval-tagged-literal extension points), and one rule per built-in tag, with invariants capturing Aero's two stated promises: no unresolved tags remain and configuration is data-only.
This is a ratification gate. Two equivalent ways to ratify:
/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).