Repository navigation
suite: --bindings reports which delegated invariants repos bind - #23
Closed
csecrestjr wants to merge 1 commit into
Closed
csecrestjr wants to merge 1 commit into
csecrestjr wants to merge 1 commit into
Conversation
Signed-off-by: Calvin Secrest <dev@calvinsecrest.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.
Adds --bindings REPO [REPO ...] to jfa-conformance-suite.py.
It scans sibling repos' test files for TestInvariant__ functions (Go and JS/TS) and marks each implementation invariant they cite as BOUND — the binding P1-001 §9.14(b) defines. It does not run those tests: pass/fail stays with each repo's CI, so nothing is reported as passing (§9.15). Instrument- and document-bound citations are listed, not counted. A citation of an unregistered ID fails the run. Standard library only, offline.
The plain run is unchanged (byte-identical output), so the Conformance check and pre-push hook are unaffected. This is suite maintenance under §9.17: no registry ID, anchor or binding changes.
Against Cloudy main: 7 of 23 implementation-bound invariants bound; 20 of 27 delegated remain self-attested.
Not included: running --bindings in Janus CI (it's a required check, and a cross-repo checkout would let another repo's typo block Janus). Suggest that for Phase 3.
Noticed, not changed: CONTRIBUTING.md says twenty-five invariants are anchored; the registry now has thirty.