Repository navigation
spec(wiki): source-pinned OpenSpec, semantic contracts, schema and wiki synthesis (#876) - #884
Merged
Merged
Conversation
This was referenced Oct 31, 2026
Closed
tommy-ca
force-pushed
the
spec/llm-wiki-reference-contracts-871
branch
from
October 31, 2026 16:02
d39ae8e to
2e2ee47
Compare
tommy-ca
marked this pull request as ready for review
October 31, 2026 16:02
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
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.
Why
Follow-on to epic #871, architecture decision #873, recovery PR #881 (this PR's base), and formal-spec work #876.
Source-pinned audited scope
0f8ff86ef0a28f4c15627a2ea5e94a96cadd834e: changed-source hashes, candidates and review holds, citation link-vs-truth, state recovery and lifecycle profiles.9d974c9e4d9d6c21638a5f520e6d89f79647724e: JSON Schema typed frontmatter, epistemic separation, graph index/cache invariants, Git/index rebuilds.149b6082fe7bcd00e86a13ed48fbf8ee51268882: nine semantic roles,knowledge/canonical andknowledge/operations.jsonlgoverned ledger; no QStack mutation.Changes
OpenSpec intent proposal + 10 requirement IDs, scenarios, data flow, statechart, invariant targets and candidate data models; syntactic
CandidateEnvelope.v1JSON Schema Draft 2020-12 and positive/14 deliberate-invalid examples; refine native functional/formal verifier and CI driver to execute the spec tests; update.llm-wiki/synthesis/index/log; correct unsupported PASS/timing/host list in merged Arena decision #880. This is not engine migration nor runtime typed schema admission.Acceptance truth
Requires exact-HEAD
python3 -m pytest ...andscripts/scaffold_verification_skill.py --checkvia Portable offline CI. Proposed JSON envelope validation is only structural; it does NOT prove source digest, rights, claim support, source-to-log atomicity, authenticated approval, external compiler parity, 6-host live coverage, or TLC success. No claim of real Swarm/Arena/Interrogate independent subagent execution.This PR is DRAFT and stacked on draft #881. Merge only after base is integrated, actual CI, and Thermos correctness/code-quality review. Source pins retained; no mandatory Node/Rust dependency and no extra wiki publisher.