Source & license

The public software and Lean mathematics live in separate repositories. The published website files are on the software repository's gh-pages branch. The site builder runs in a private working repository.

Public sources

Repository rootThe source of record for the standalone public slice.Open Plectis packageRunnable local source, public fixtures, and generated records; compatibility package ids still use microcosm.Open Mathematics repositoryLean proofs, paper sources, and research records for the eight Erdős problem programmes.Open Published website filesThe generated HTML, styles, scripts, and static assets served at this site.Open READMEThe entry point and the full component map.Open Mathematical results and open questionsCurrent results, supporting source and the questions that remain open.Open QuickstartThe one-page cold-clone run path.Open

Maps

Architecture mapThe system shape and each component's wiring.Open Rendered whole-system mapThe public map generated from the same source refs.Open Machine-readable map packetThe generated scene data behind the public architecture map.Open Repository atlasA source card for every one of the 88 components.Open

License

Reuse follows the repository license and the linked source paths.

LicenseReuse terms.Open NoticeProject notice and attribution posture.Open Citation recordMachine-readable software metadata; cite the exact repository commit you used.Open

Security & public boundary

Security reports use the private vulnerability-reporting route; this policy explains what belongs there and what the public repository does not authorize.

Security policyVulnerability reporting, privacy, and non-authority boundaries.Open

Provenance

Plectis is an independent, AI-assisted project by Will Cook. The standalone software release and the Lean mathematics companion are public repositories; the working root and site builder behind them are private. Microcosm remains a legacy and technical compatibility name for repo paths, package ids, generated state, and historical links.

ProvenanceAuthorship, source-of-record, no-affiliation, and no-advice boundaries.Open

Acknowledgements

I would like to thank Wouter van Doorn and Thomas Bloom for taking the time to read and respond to an early partial-proof attempt connected to the companion Erdős #249/#257 project. Their kindness, candour, and useful feedback helped me better distinguish formal reformulation from meaningful mathematical progress and pushed the work towards a more disciplined, evidence-first direction.

This is a thank-you for their time and feedback; it does not imply endorsement of Plectis or of any mathematical claim.

Lineage

Microcosm became Plectis on 21 June 2026 after a public naming check found an established Southampton hypermedia system with the same name. The acknowledgement is source-backed and does not imply endorsement or affiliation.

Lineage & changelogRename acknowledgement, historical citations, and compatibility boundary.Open

Updates

Plectis has no mailing list or signup database. Public changes are exposed through the generated update feed and repository routes.

Follow updatesAtom feed, repository watch routes, and public discussion links.Open Atom feedMachine-readable public update feed generated from the same narrative owner.Open

Site contract

The site is a static projection over public source refs. It has no runtime backend and no browser path back into the private working environment. It is not legal, financial, investment, trading, security, medical, or other professional advice.

The public software and Lean repositories are the sources of record for their released artifacts. This site maps those artifacts alongside curated publication inputs; when a site claim disagrees with linked source, consult the source.

The component index draws on released component records and private working inputs. Other pages combine released sources with curated publication inputs through the private generator. The current content fingerprint is 89a79dc365b2367a9b2c763205975e03; when the source changes, a rebuild regenerates the pages and a drift check fails until the site is current.

Projection status

A private generator assembles this static site. The panel identifies its source records; the machine record beside it also reports which fields were too internal to show and were deliberately omitted. The published output and linked public sources can be inspected in the repositories above.

Content fingerprint: 89a79dc365b2367a9b2c763205975e03
Map revision: gsc_a2c066f1faacd17e8acc
Components projected: 88
Declared links: 239
Runtime backend: none (static files only, no network calls)

Projection status recordThe full machine detail: source hashes, generated outputs, omitted fields, and the stale-check.Open Content graphThe single public-safe data packet every page on this site is a view of.Open

Back to Overview Open on GitHub