Skip to content

JACKAL CALC v1.1.0 — formal-status epoch

Choose a tag to compare

View all tags
@AnubisQuantumCipher AnubisQuantumCipher released this 14 Aug 18:56
· 187 commits to master since this release
v1.1.0
d306aed

JACKAL CALC v1.1.0 — formal-status epoch

Public, unsigned/ad-hoc macOS arm64 release. This historical epoch introduced the formal coverage inventory and canonical formal-status gate on top of v1.0.4 release bindings.

Immutable identity restored

  • Tag commit: d306aed473359362f6333716f806a465bb9cf1b1
  • Archive SHA-256: 95588591d4a17e687b9b870d15920c834276059058d38726d1d48640bbbb3c56
  • Archive bytes: 40355304
  • Evaluator: 820c0722e46a0800115c404ea1c9251c6f72fe8c6897bdabe437f342f9310b6c
  • Proved checker: 2186b43f8e45b7b3e55e189d64e92f15999664f5194caed929d14b29b006f59b

The archive contains stale v1.0.4/private label text. That defect is preserved rather than silently rewriting this predecessor again. The corrected public package is v1.1.1.

Claim boundary

formal-bounded remains conditional on the recorded ModelTCB and admitted operator fragment. No universal correctness, source-to-native refinement, unsupported transcendental coverage, Apple signing/notarization, or authorship authentication by SHA-256 is claimed.

Assets 8
Loading