Skip to content

Constructions materials · v2026.10.1

Latest

Choose a tag to compare

@rifmj rifmj released this 15 Oct 11:00
· 1 commit to f25773ab8697b7657071c7be42c95241336e21c0 since this release

Constructions materials v2026.10.1

Reader materials for Constructions. The Craft of Formalization, English
edition 2026.10 (book published 14 October 2026).

The repository preserves the published curated companion byte for byte.
CI verifies its manifest and runs the 383 selected scenarios in 119 test
files, Water answer/proof replay, all four support states and expense evidence.
The original acceptance of all 50 printed command blocks is retained as
historical evidence; CI does not repeat those interactive study sessions.

Attached PDF, EPUB and companion ZIP are the original book-site downloads.
Check them with sha256sum -c SHA256SUMS (or shasum -a 256 -c SHA256SUMS).

This is the curated noncommercial collection with component licences.
The author's CC BY 4.0 does not cover all included third-party material;
see the attached THIRD-PARTY-NOTICES.md and the repository's LICENSE.md.
Full private review archives, excluded source texts, system fonts and engine
implementation are not supplied. No full corpus acceptance or human pilot
is claimed.