Skip to content

JACKAL CALC v1.1.1 — immutable public package identity repair

Choose a tag to compare

View all tags
@AnubisQuantumCipher AnubisQuantumCipher released this 14 Aug 22:01
· 184 commits to master since this release
v1.1.1
fd1ac85

JACKAL CALC v1.1.1 — immutable public package identity repair

Public, unsigned/ad-hoc macOS arm64 release. This epoch preserves the v1.1.0 formal-status implementation, evaluator, proved checker, theorem set, and certificate schema while binding corrected v1.1.1 / public labels to a new tag and archive digest.

Identities

  • Source/tag commit: fd1ac8584e463a2ace3c32cfdc6b6a4a77851087
  • Archive: jackal-v1.1.1-macos-arm64.tar.gz
  • Archive SHA-256: 8ed047183bdd6259fc3d9b22ab87003389eabf9c4da1722024848c016fc4ec09
  • Archive bytes: 39912160
  • Package SHA256SUMS root: 27c7802da06103b774736ac866344559437d6028cbd2cb57219e26360c002520
  • Evaluator: 820c0722e46a0800115c404ea1c9251c6f72fe8c6897bdabe437f342f9310b6c
  • Proved checker: 2186b43f8e45b7b3e55e189d64e92f15999664f5194caed929d14b29b006f59b

The archive was built twice from identical inputs and compared byte-for-byte. All 15 internal files passed SHA256SUMS; seven fresh-extraction positive/refusal smokes passed. The evaluator and checker are unchanged from v1.1.0.

Historical scar

The original v1.1.0 package carried stale v1.0.4/private text and was temporarily replaced in place during repair. v1.1.0 has been restored to its original 95588591… identity. v1.1.1 is the corrected immutable successor.

Claim boundary

formal-bounded means a checker-accepted, Runs-derived enclosure of the exact request over the modeled fragment, under the recorded ModelTCB. It does not claim universal correctness, unsupported transcendental operators, bound_step composition, Anubis source-to-native refinement, emitter faithfulness as a theorem, Apple Developer ID signing/notarization, or authorship authentication by SHA-256.

Assets 8
Loading