docs(faces): FACE-CONTRACT + retire ActionScript standalone face#685
Merged
Conversation
…one face Milestone A keystone of the face-sealing plan. Adds docs/specs/FACE-CONTRACT.adoc as the single normative binding between language faces and the canonical compiler: - Face roster (7): rattlescript/Python, jaffascript/JavaScript, properscript/TypeScript (new), realscript/ReScript (new), cafescripto, lucidscript, pseudoscript. - Ratifies the .affine + `face:` pragma model (deprecates .pyaff/.jsaff/...). - Fixes the CLI name table, hardened shim protocol, and submodule-pin mechanism. - States conformance (snapshot + same-cube #601, currently RED) and proof obligations (F-1/F-2/F-6/F-7) honestly. ActionScript is folded into ProperScript as an AS3-idioms migration preset and retired from the faces.adoc roadmap (welcomed in, but not a standalone face on a solo/unfunded budget). CLI wiring of --face proper/real and the js_face split are deferred to Part 2 (they need new Face variants + transformers), not this docs PR. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
|
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.
Milestone A keystone — the normative face↔canonical binding
Adds
docs/specs/FACE-CONTRACT.adoc, the single normative source for how alanguage face binds to the canonical compiler, and retires the ActionScript
standalone-face roadmap item in
faces.adoc §194.Roster ratified (session 2026-07-08/09)
--facerattlejaffaproperrealcafelucidpseudoWhat the contract fixes
.affine+face:pragma model (deprecates.pyaff/.jsaff/...).greetcompiles to 2 wasm classes #601).ActionScript
Folded into ProperScript as an AS3-idioms migration preset — welcomed in, not a
standalone face (resource-responsible for a solo/unfunded project).
Deferred to Part 2 (not this PR)
--face proper/realCLI wiring + thejs_facesplit need newFacevariants +transformers; adding the alias strings now would break the build. Recorded in the
contract's open-tasks section.
Draft pending owner review of the roster + names.