Brennen Herbruck
916b91e8d0
solidcore's main at c0d3cc0124, rewritten to one commit per same-author run per PR (2,800 commits, author credit kept; tree identical). Full original history: tangency-labs/solidcore archive/full-history. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> git-subtree-dir: solidcore git-subtree-mainline:44525da669git-subtree-split:c440e5f892
Progress site
site/build.py generates the GitHub Pages site from data already in the repository;
nothing on it is maintained by hand except the short intro paragraph in the generator.
python3 site/build.py && python3 -m http.server -d bin/site 8000 # build (~3 s), then open http://localhost:8000
Python 3.11+ standard library only (tomllib). Output goes to bin/site/ (gitignored);
--out DIR writes elsewhere. The output is deterministic: the only date on it is the
commit date of HEAD.
| Page | Data |
|---|---|
Overview (index.html) |
plan/units/*.toml via harness/plan/progress.py (summary, is_ready), claims from the "In progress" section of plan/PROGRESS.md, reports/ssi-corpus.json, and the plan along main's first-parent git history for the timeline (plan/units/, or plan/modules.toml before the per-unit split). The history is read once; overall, per-module and per-unit series come from the same pass |
Module pages (areas/<module>.html) |
plan/units/ and its history: the same chart as the overview, over that module's units only |
Units (units/index.html) |
plan/units/*.toml, harness/callgraph/units.json, reports/difftest/*.json (cases_*, deferred_by_unit; copied to reports/<unit>.json on the site). Reports are not committed: CI fetches main's latest set with scripts/fetch-reports.sh before building; run it locally too |
Unit pages (units/<id>.html) |
the above, plus the `//! |
Dependency graph (graph.html, assets/graph.json) |
plan/units/*.toml (depends_on, module, status) and claims, laid out as one force-directed cluster per module; lists of ready and most-blocking units are rendered server-side, the graph by site/assets/graph.js |
Kernel cases (cases.html) |
crates/solidcore/tests/kernel_cases/: every case of each area that has renders (<area>/<case>.jpg beside the entry, copied to cases/<area>/ on the site), grouped by area, with the entry's what and gallery_note. Status: listed in known_failing.json is known failing with its reason; expected.outcome refused is refused as expected, with expected.refusal; anything else passes |
Sprints (sprints/index.html, sprints/<slug>/index.html) |
site/sprints.toml: each sprint's title, summary, GitHub project and milestone, and its emblem in site/assets/sprints/. A sprint's page carries its own social card (<slug>-card.png, made by python3 site/gen-sprint-cards.py, Pillow, like gen-og-image.py) and redirects to the project's README, so a shared link shows the emblem |
Upstream issues (issues.html) |
plan/upstream-issues/*.md, one #### <SERIES>-<n>. entry per file, in name order; the intro is that directory's README.md |
SSI corpus (ssi.html) |
reports/ssi-corpus.json |
Solids (solids.html; tile on the overview) |
reports/solids/solids.json: the primitives example's --json output (schema in crates/solidcore/examples/primitives/main.rs; copied to reports/solids.json on the site). Not committed: CI's test job uploads it from main as the solids-report artifact and the Pages build fetches it with scripts/fetch-solids.sh. Without it the page says "no data yet". The "Corpus (real models)" section is a placeholder until corpus.models is filled |
Text from the repository is HTML-escaped before a small markdown subset (inline code,
bold, italic, http(s) links, nested - lists) is applied, so raw HTML written in a PR
never reaches the page. Charts are inline SVG; site/assets/app.js only sorts and
filters tables, drives the chart tooltips and the overview's module picker (without JS the overview
shows the all-units chart). The only third-party code is d3-force (ISC), vendored under
site/assets/vendor/ and used only by the graph page (see ATTRIBUTION.md). No external assets.
Deployment: .github/workflows/pages.yml rebuilds on every push to main, after each CI
run on main (fresh difftest reports), hourly (claims from open port: PRs) and on manual
dispatch. It first generates the unit checklist (harness/plan/progress.py --prs), which
the site publishes as PROGRESS.md; nothing is committed back to main. GitHub Pages
must be enabled with source "GitHub Actions".