SPCTR-UPDATE-003
Canonical archive entry for 2026-01-28 to 2026-02-11.
Dossiers
- lenia-swarm: changed the project into dossier form; added compendium indexing, morphometrics, ecology export, thresholding, paper-aligned configs, and smoke/docs surfaces.
- wonton-soup: added leantree integration, corpus/list/build tooling, postprocess metrics, external statement similarity, and dashboard/lake datasets.
- wonton-soup: added ATP surfaces for Coq, TPTP, and Z3, plus docs/tests for the expanded backend stack.
- zang-levin-playground: added the paper draft and reproducible figure pipeline.
Addenda
- paper-k: added the reference implementation, demos, tests, and README/pyproject surface.
- typst-field-manual: added the template, build tools, fonts, and README surface.
- lean-corpus-extractor: added the Lean mathlib corpus builder and supporting README/toolchain files.
- specter-viz: added the crate structure, chart primitives, themes, fonts, and usage docs.
Ops / Infra
- changed the repo into dossiers/addenda layout and refreshed README, AGENTS, issue-log, and Pages workflow surfaces.
- changed site/blog surfaces: added the blog build pipeline, typography/theme refresh, responsive dashboard/layout cleanup, and wonton-soup blog figure polish.