ExportableProof — Routines today. Proof tomorrow.

Artefacts from other books

This audit is a frozen example calculated at development time. Office files are not copied into demo/audit/. Links on in-pack cards open source/ in this ZIP. Named artefacts that belong to another book open an acquire page instead of a missing file.

This archive is Volume 1. Unpack the other book's Office SKU under source/volume-N/{basic,premium}/ so MANIFEST.json is in that folder.

Smart contracts · Back to this book's audit

Check installation

What is installed here. Extra volumes are optional and do not change Ready. Update re-runs the check.

CheckResult
Webserver…
Python…
Volumes…
Scripts…
Ready…
Working directory…
Last update…