paper: what the fold enables, the profile split, the round trip as a property, Pkl and CUE by name (#87) - #93
Merged
Merged
Conversation
…property, Pkl and CUE by name (#87) enables.md is the section the paper lacked: synthesis with no execution, semantic rules over values, and round-trip generation, each with who has it today and which profile it needs. mechanism.md ends by placing the contribution: the identity theorem and the fixpoint live in the full profile, the portable product is the data-host profile, and saying so is what lets one set of identifiers govern a JavaScript tool with a fallback and a Rust crate without one. theorem.md states the round trip as a property with its status. related-work.md names Pkl and CUE against the three operational properties a configuration language answers. discussion.md no longer says the reference lacks the fixpoint. The README cites spec-1.1 and names the tutorial as what an artifact evaluator runs. Also a justfile: check, site, site-dev, site-preview, corpus, smoke.
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.
Closes #87.
paper/enables.md(new): the three capabilities, who has each today, which profile each needs. Registered in the README table.mechanism.md: a closing section placing the identity theorem infulland the portable product indata-host.theorem.md: Property 3, the round trip, stated with its status (in flight, Spec: the round-trip property, F-Val-Source and the generator obligation #80), not claimed.related-work.md: Pkl and CUE against the three-of-fourteen row, and the embedding difference the data-host profile makes.discussion.md: the paragraph saying the reference lacks the fixpoint was stale; replaced with what would actually change the claims now (A second evaluator with no JavaScript runtime: Rust on oxc, WASM, Go via wazero #86).README.md: citesspec-1.1; the tutorial as the artifact-evaluation demo.justfile(new):check,site,site-dev,site-preview,corpus <repo>,smoke, for local use; CI is unchanged.