Skip to content

Mognitio v1.1.0

Choose a tag to compare

View all tags
@takuya9622 takuya9622 released this 07 Oct 23:04
· 58 commits to main since this release
v1.1.0
4f8c3d6
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Mognitio 1.1.0 improves native allocation and garbage collection while preserving the 1.x language API and immutable-value contracts. It adds ordinary-language compiler workloads and independent result verification. The measurement runner now rejects resuming across incompatible execution environments.

Source: 4f8c3d69cd123f3952516e47ad605c03743d3ab6.
Build: 8a7f231a01139dcd3d4f3a8c8ca67fa6b84ed29261b7048163427b800c2a492b.
The tag and release snapshot branch mognitio/v110 point to this same commit.

Validation:

  • Full suite at the exact release commit: 187 tests, 8,393 assertions, 1,143 harness processes, zero failures, plus all external checks.

  • Fixed implementation acceptance: all 74 cells passed the previously selected profile; all four mandatory improvements exceeded 99.8% with non-overlapping distributions. This retains the original measured artifacts and conditions; it is not a new benchmark of the distribution payload or a universal input-size guarantee. See implementation evidence.

  • Resume regression: 11 negative controls and a positive interrupted-run continuation, alongside 12 threshold controls, 74 matrix cells and five process controls.

  • Frozen payload: 18 analysis examples, 22 toolchain/LSP tests, nine boundary tests, seven token tests and six projection tests passed.

  • Installer recovery/failure suites, signing/trust controls and package permissions passed. Exact Debian/offline payload bytes, identities, modes and root package ownership matched.

  • Offline installation on Ubuntu 24.04 and 26.04: upgrade from the real published 1.0.0 bundle, repeat, versions/run/build/test, uninstall ownership and standalone executable checks passed.

  • Unchanged Lévi source: 182 records and 11 observer controls passed. Its 40-file archive passed 20 language tests and byte-exact interpreted/isolated-native HTML generation with the frozen 1.1.0 payload.

  • Production signature succeeded; independently downloaded bytes and the designated signing subkey were verified.

  • Signed package acceptance passed on Ubuntu 24.04 and 26.04: root installation, then UID/GID 65534 with no supplementary groups or effective capabilities; upgrade from 0.15.0, reinstall, fresh install, run/build/test/LSP and purge.

  • GitHub tag source archive: all 388 files matched the tag, 387 manifest hashes passed before/after example and reference checks.

APT publication PR #7 and production deployment completed. Public HTTPS acceptance on Ubuntu 24.04/26.04 verified signed metadata, exact package SHA-256 and source/build identity, upgrade from 1.0.0, run/build/test, 22 LSP checks, reinstall/remove/purge and standalone execution.

Only Linux amd64 on Ubuntu 24.04 and 26.04 is verified. Userland matrices share a kernel. Larger-input limits, remaining allocator/GC costs and initial trust-channel limits remain documented.

The independently versioned VS Code extension 0.1.1 rejects a 1.1.0 server. It is not bundled or updated by this release. Lévi's own release/dependency version is unchanged.

Verify the signed manifest and pinned public key before installing the offline bundle. See packaging instructions.

Artifacts (SHA-256):

  • manifest.json: c91796b1bee9e63999524d687f0ff9ceb12e50ae5c4d28de1185dbb5389d04d2
  • manifest.json.asc: 5461805db9e1df8c7516fed9590f759cd5278c782fba9b6dd6b2da89f394cf86
  • mognitio-1.1.0-linux-amd64.tar.gz: e4917dc4dc1e06903aaf785154aca8236bdaf6736f2edb04ebe42b1e68dc4c40
  • mognitio_1.1.0-1_amd64.deb: 7a79ed7ba94c5b242d3045fb00eafbcf3fd9770fb61cd2df1be23a632216219b
Assets 7
Loading