Skip to content

Refactor Pages around the verified pipeline - #26

Merged
xtraid merged 8 commits into
mainfrom
feature/pages-narrative-v1
Sep 4, 2026
Merged

xtraid merged 8 commits into
mainfrom
feature/pages-narrative-v1

Conversation

@xtraid

@xtraid xtraid commented Sep 4, 2026

Copy link
Copy Markdown
Owner

Summary

  • refactor GitHub Pages into the frozen pipeline narrative while preserving all 27 legacy technical permalinks
  • add the authored home, pipeline, worked-example, component, reference, evidence, and dossier-index routes
  • publish the validated wang-narrative-assets-v1 bundle through small Jekyll layouts/includes with one owner, semantic label, fallback, contact sheet, alt text, and caption per animation
  • extend source and generated-site checkers to enforce taxonomy, component sections, exact asset topology/ownership/kind, accessibility metadata, link targets, and frozen owner/evidence cross-links
  • retain the independent technical references and apply the narrow-viewport inline-code correction found by the browser audit

Architecture boundaries

  • prose, navigation, and sitemap remain authored Markdown/Jekyll; Pages does not read run.json or generate prose from a dossier
  • the Pages build does not invoke solving, rendering, dossier generation, PDF/LaTeX, or network access
  • pipeline_sat.cm13 remains the sole SAT narrative instance; unsat-search stays separately named and hash-bound
  • core models, algorithms, ABI, ownership, and the v1 dossier contracts are unchanged
  • T98 PDF-v2 implementation and unproved cross-phase/PDF checklist gates remain out of scope and open

Verification

Final HEAD: 3d3e7d3d620517c3380712c3f796f70f433651e9

  • independent whole-branch review plus scoped re-review: no remaining Critical or Important findings
  • make check: 17 C tests, 185 Python tests, benchmark smokes, and the four-engine UNSAT comparison passed
  • focused Pages checker suite: 21 tests passed, including RED/GREEN coverage for missing, duplicate, wrong-owner, wrong-kind assets and primary-section binding
  • make pages-check: 40 routes (13 story, 15 reference, 11 evidence, 1 history), 9 animations, and 8 static narrative assets
  • pinned ghcr.io/actions/jekyll-build-pages:v1.0.13 build: read-only repository mount, uid/gid 1000, empty token, and --network none
  • generated-site checker: 40 HTML pages and 799 href/src/srcset references validated
  • offline Chromium audit: 11 narrative routes at desktop and 390 px widths, keyboard/focus/accessibility/reduced-motion checks, and zero horizontal overflow
  • strict GCC/Clang, sanitizer, analyzer, Valgrind, Cachegrind, parser fuzz (2,000 runs), coverage, dossier-v1 smoke, and 290 renderer tests were already green in the recorded T97 verification matrix before the final docs/checker-only review fix

Remaining exclusions

  • no T98 dossier-v2 formatter/template or PDF gate is included
  • cross-phase v2 identities, mixed Pages/PDF delivery, UNSAT cross-phase behavior, and deletion-independence items remain unchecked until their owning task proves them

@xtraid
xtraid merged commit b921e7d into main Sep 4, 2026
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant