tlapm 1.6.0-pre, the x86_64 Linux build of 16 October 2026

tlapm-1.6.0-pre-x86_64-linux-gnu.tar.gz here is an unmodified copy of the file the TLA+
project published on 16 October 2026 at

  https://github.com/tlaplus/tlapm/releases/download/1.6.0-pre/tlapm-1.6.0-pre-x86_64-linux-gnu.tar.gz

That address is a rolling pre-release: on 23 October 2026 it began serving a later build.
The proof of the gate's model (GateProof.tla, see https://consequenceaisystems.ai/foundation/)
was checked with this build, so it is kept here for anyone repeating that check.
gate/model/Dockerfile.tlaps fetches it from here and refuses any file whose SHA-256 is not

  b3c2554d3dd2198772ea8c814639a024fe9c390eac0ec25f4f444ad446a7dd28   (46,758,585 bytes)

the hash the TLA+ project's release listed for it. To check a download:

  sha256sum -c SHA256SUMS

tlapm is copyright (c) 2008 INRIA and Microsoft Corporation and (c) 2023 Linux Foundation,
under the BSD 2-clause licence in LICENSE.txt (also tlapm/doc/tlapm/LICENSE in the archive).
The provers it bundles (Isabelle, Zenon, Z3, LS4) are under their own projects' licences.
Source and current releases: https://github.com/tlaplus/tlapm