[LLM-Wiki-v2][F3] Recompose formal specs, semantic blocks and project-local wiki navigation #876

Logical parent: #871. Depends on: #874, #875 (plain issue links; no native GitHub subissue claim).

Scope and acceptance

Produce linked requirements, architecture/design, data schemas and code/data flows using PStack/OpenSpec authority; crosswalk QStack WikiSource/WikiArticle/WikiSynthesis/WikiGraphMap/WikiSearchIndex/WikiLogEntry/WikiIndex/WikiLever/WikiIntent to narrow SourceRevision/EvidenceSpan/Candidate/FieldContract/RelationType/PromotionDecision/ProjectionManifest/QueryPlan/Attestation blocks. Revise PStack wiki compiler/schema docs to match actual tests, correct false immutable/schema claims; append rights-safe source pins and compiled analytical page with project-local relative links. Preserve existing .llm-wiki/ index/layout and append-only log; do not directly modify QStack knowledge/ or knowledge/operations.jsonl. Validate no redundant skill/router/ontology; update existing guides rather than duplicate authority.

Evidence policy

Acceptance requires a reviewable PR and exact-head reproducible receipts. Planning is not implementation; no claimed Swarm/Arena/Interrogate model execution without actual independent work.

Draft wiki/spec artifact (2026-10-31; planning-only)

• Draft #878 adds docs/research/llm-wiki-reference-evaluation-2026-10-31.md, .llm-wiki/wiki/analyses/llm-wiki-reference-evaluation.md, an index entry, and an append-only proposed-research log event.
• Existing baseline retained; no external engine installed, no canonical source admission, no new schema registered, and no skill driver generated yet. [LLM-Wiki-v2][F1] Build real and formal wiki verification skills; close safety and schema gaps #874/[LLM-Wiki-v2][F2] Optional upstream engine adapters: candidate-only parity pilot and fallback #875 must fulfill their acceptance first; do not close [LLM-Wiki-v2][F3] Recompose formal specs, semantic blocks and project-local wiki navigation #876 based on planning docs.
• Earlier PR HEAD fd0fd03 has portable offline CI success (run 41213175302); current PR HEAD f3bc694 has a separate run 41213291228 that was IN_PROGRESS at inspection. This does NOT prove formal/independent/model or host live acceptance.

Formal source contract PR #884 (2026-10-31)

• Draft PR #884, stacked on draft safety PR #881, adds intent-driven openspec/changes/2026-10-31-llm-wiki-reference-contracts/: proposal, ADR, R-WIKI-001..010 scenarios, upstream-pinned design/statechart, data schemas and primitive maps, optional CandidateEnvelope.v1 JSON Schema, synthetic valid/invalid fixtures, verification skill/CI integration, and compiled .llm-wiki/ synthesis/index/log. No QStack canonical files changed.
• Source pins: Atomicstrata 0f8ff86ef0a28f4c15627a2ea5e94a96cadd834e; Geronimo 9d974c9e4d9d6c21638a5f520e6d89f79647724e; QStack 149b6082fe7bcd00e86a13ed48fbf8ee51268882.
• Exact PR spec(wiki): source-pinned OpenSpec, semantic contracts, schema and wiki synthesis (#876) #884 head d39ae8eea75c23bcc9cf13c06f8b66c84320ded9: Portable offline CI #41216989067 SUCCESS; inspected wiki step log: 9 existing, 11 safety, 3 bounded-model, 19 candidate schema tests passed, 39 real-code histories, overwrite mutant detected. OpenSpec CLI explicitly UNTESTED in workflow, TLC UNTESTED; no external compiler, runtime typed admission or independent multi-model review claimed.
• Corrected merged docs(arena): record Arena decision on LLM wiki engine options (#871, #873) #880 Arena document: previous stated raw overwrite already fixed and <0.2s startup/six-host PASS without evidence; revised to separate design fit / unmeasured / mainline pending, and corrected actual six-host names and PStack journal vs QStack ledger.
• Still OPEN pending merge of fix(wiki): mainline write-once capture and verification skills (#874) #881 then spec(wiki): source-pinned OpenSpec, semantic contracts, schema and wiki synthesis (#876) #884 and [LLM-Wiki-v2][V0] Exact-head Thermos, adversarial review and migration acceptance #877 independent review. Schema validity is not source hash verification, rights, factual entailment or publisher authorization.