Skip to content

JACKAL v1.7.2 — Closed-Premise Range + Int-Cert Checker Request Contracts

Choose a tag to compare

View all tags
@AnubisQuantumCipher AnubisQuantumCipher released this 18 Aug 08:36
· 150 commits to master since this release
v1.7.2
54461bb
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

JACKAL v1.7.2 — Closed-Premise Range + Int-Cert Checker Request Contracts

Discharges the eight Gate-0 semantic-premise blockers documented in
docs/superpowers/plans/2026-08-17-jackal-gate0-checker-contract.md.
Ships a coherent v1.7.2 package for Apple Silicon macOS with the
archival inventory tuple pinned across code, docs, and gates.

Merge commit: 54461bbc8f135cdfa281919f3175e739b6d56cf0
PR: #9

Assets

Asset Size SHA-256
jackal-v1.7.2-macos-arm64.tar.gz 158,210,905 bytes 6b5f09eb82aa4257dda3e4dca09eed1b6f8b8834b19a4d852e50dd8250f04518
jackal-v1.7.2-evidence.tar.gz 45,471 bytes 7d486de9a242e305f06d33e798ca241a2be11bf399c761502f71406f8f635ffb
jackal-v1.7.2-release-receipt.json 9,386 bytes 1f3425b1fadc3d8a791ba358b797964eb2386400339be1d6b18fafcce2fadddf
SHA256SUMS — 12ce8d4a60b69cf38667973c9277c7d22db445e2bece284781f995357e04b019

Package internals (v1.7.2 macOS arm64):

  • files = 79
  • SHA256SUMS root = 328121533382ed9b9d3e58315bb90e867ea4c24e0520b18c3268f7f8e27b9300
  • MANIFEST.sha256 = b8927e72606ca103f1b5eb39b2da2a0a7306047d8365b55001bb15fdb252c149

First-run verification

shasum -a 256 -c SHA256SUMS
tar -xzf jackal-v1.7.2-macos-arm64.tar.gz
cd jackal-v1.7.2-macos-arm64
shasum -a 256 -c SHA256SUMS
./plugin/hermes/jackal_hermes selftest

Load-bearing pinned identities

  • Anubis compiler a733565f237df171e7cf93b9b37700a42d8713576818fd92f8cd23a8ad7a69e2
  • jackal-native evaluator 20b80827d3c5c2a5d0d5d6f5a84c692f230fb0f55b9c7d1fcad02a1d0b3a1083
  • current range checker f7a82524d082b51a8d66f9bed653b9c8da51b5424386659c9048b9c0ae276545
  • current int checker f8347cbd18d520852aff56920d41f5e5b496ff192f584e41d84d1a818ff29617
  • archival range checker 05c3518b836f239712f897c483a2ddadad9f544e0887b1b7bb1424a27289de8a
  • archival range inventory 18ff7b1d428dbc6f807fd4de27751ba415b33ef0b356088d7fa316ed74bb0ba6
  • revoked v1.7.0 int checker c858e3bfc0ff2809a808170caabbf090077cb54996e76f065dbcd26ffb067d49 (deliberately absent from package)

Aggregate evidence

Local aggregate: python3.11 release/tools/run_gates_v172.py → GATES: PASS (68 gates) in ~44 min.

Hosted CI on the PR head commit 9a81b4c…:

  • Gaussian/range source closures and axiom audits — pass
  • claim-kernel admission and surface locks (engine-free) — pass
  • macOS arm64 plugin gates — pass

Non-claims (unchanged)

  • Apple-Silicon macOS only; unsigned, not notarized.
  • No universal correctness, source-to-native refinement, input-truth,
    operating-system, or authenticated-builder claim.
  • Archived v1 range identity replay requires the exact historical
    checker AND historical coverage inventory bytes; reversed intervals
    refuse.
  • Archived v1 composed-integral identity is historical revocation
    evidence only; request-unbound checker is not shipped or admitted;
    every v1.7.0 int-certificate receipt refuses formal replay.
Assets 6
Loading