Mognitio v1.2.0

Mognitio 1.2.0 adds compile-time integer value parameters, checked fixed-width integers, fixed-width Bits, immutable Bytes, endian encoding, and transactional new-file binary publication.

Ordinary Int retains its signed 64-bit 1.x semantics. Binary publication attempts unverified environments; certification refines failed-commit classification rather than enabling execution. A failed commit whose effects cannot be proved reports Unknown. Existing destinations are never overwritten.

Distribution

Linux amd64 toolchain for Ubuntu 24.04 and 26.04. The Debian package and offline installer contain the same frozen compiler/LSP payload and pinned runtime; no host SBCL is needed.

Follow the APT installation instructions after repository publication. For offline installation, authenticate the current production public key and fingerprints, verify manifest.json.asc and all asset hashes, then extract and run install.sh. Do not treat a key included with an archive as independent trust.

The separately versioned VS Code extension 0.1.2 lists compatibility through server 1.1.0 and does not accept 1.2.0. This release does not bundle or update that extension. A compatible editor client is separate work.

Identity

• Source/tag commit: 284a9b59abd2231a6bb15fefb3455ba3fa3fc481
• Build identity: 9a74ec7c6016995d40054fc9aa32dd407281ea176f98f9dec37e220f3a25e686
• Manifest SHA-256: 5c57f02fcc8f23aa659d53c696faa64dae28f2539efd89dcda9db1d81d474a40

Asset	SHA-256
mognitio-1.2.0-linux-amd64.tar.gz	36bcd0f9c60236b8b92cae51ab60dcf63bb79344e359d1f62e7d595cfe01c31d
mognitio_1.2.0-1_amd64.deb	e278af57e693ae72d15fe7b0e37c54a803bef7100f723676ebd3e8c916b2084d

Validation

• Candidate source archive: 433 checksums, 19 example projects, language tests, inherited file/directory integration and independent binary emitter.
• Frozen Compiler/LSP: 22 toolchain tests, 19 example analyses, 9 boundary tests, 6 projection tests and 7 token tests.
• Debian/offline payloads: identical bytes, normalized permissions and component build identities.
• Installer interruption, recovery, signing, trust rotation and tamper rejection.
• Actual offline 1.1.0-to-1.2.0 upgrade, repeat installation, run/build/test and removal on both supported Ubuntu userlands.
• Frozen-payload emitter: 69 checks across host/native and two minimal userlands. Unchanged Levi consumer: 20 language tests, exact golden HTML and isolated standalone execution.
• Implementation performance evidence: 74 regression cells and four original improvement requirements passed; maximum RSS 3500 KiB, retention growth 0 KiB. Measurements remain tied to their verified implementation images.
• Exact source/tag suite: 214 internal tests, 9,261 assertions, 1,266 native processes, and all project/CLI/oracle/conformance groups pass.
• Tagged GitHub source archive independently passes the same 433 checksums, example and emitter gates.
• Production signing succeeded. Downloaded draft assets independently pass the pinned bundle-subkey signature and every hash.
• Package acceptance passed on Ubuntu 24.04 and 26.04: upgrade control, root installation, unrelated UID 65534 versions/run/build/test/LSP, reinstall and purge.

Userland tests share one kernel. Filesystem observations and synthetic fault injection are distinct; this is not certification of every kernel or filesystem, power-loss durability, or arbitrary-precision ordinary Int.

Published APT verification

The signed APT repository now publishes 1.2.0-1. Public HTTPS upgrades from 1.1.0, exact package identity, run/build/test/LSP, reinstall, removal and purge passed on Ubuntu 24.04 and 26.04 userlands. See APT update and deployment.