Skip to content

JACKAL v1.7.3 — Unified 41-Tool Evidence Surface

Choose a tag to compare

View all tags
@AnubisQuantumCipher AnubisQuantumCipher released this 22 Aug 17:54
· 101 commits to master since this release
v1.7.3
a43919e
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.3 — Unified 41-Tool Evidence Surface

JACKAL v1.7.3 promotes one mechanically generated 41-tool catalog across the kernel, Hermes contract, and Codex plugin. Profiles are core=3, formal=13, and full=41.

Merge commit: a43919e83fe141320fbc041f9be649b5ebe9e82c
Annotated tag object: 45a2534e3288d9b43ff453161e567d0158ea0ea6
PR: #12

What is added

  • Canonical generated capability inventory with exact schemas, profile exposure, evidence classes, dependencies, admitted fragments, and refusal boundaries.
  • Full Hermes/Codex parity for all 41 tools, including claim/bundle replay, domain-pack operations, and the three Anubis program-evidence routes.
  • inventory-safe-v1 program evidence with strict source/compiler/artifact/policy pins, Z3 UNSAT replay, independent RUP replay, and explicit residual non-claims.
  • Published Codex runtime provisioning bound to the exact package size, package digest, and internal SHA256SUMS digest.
  • Documentation and skill drift gates that reject stale counts, tool names, status vocabulary, package pins, and release-state claims.

Assets

Asset Size SHA-256
jackal-v1.7.3-macos-arm64.tar.gz 158,363,786 bytes 68b0e7850fcb60358633908f70ffcf405cbbef103b04d3d93dd1298789e505ae
jackal-v1.7.3-evidence.tar.gz 562,653 bytes 32c0ceffdfb347f25bcb57f2f4fefc7a688dc048a10e64312d65930a675d7e90
jackal-v1.7.3-release-receipt.json 5,828 bytes fef6a8ba3ab99c27f67e8d901d852ea52ef35c0474683bbd6daa4f229fe4f372
SHA256SUMS 296 bytes 1c5fd0526231f462028917be3d802de39ec73ddce9c2b11806e86983370c09ba

Package internals:

  • 106 regular files; 119 extracted entries excluding the package root
  • 555,511,970 extracted regular-file bytes
  • internal SHA256SUMS SHA-256: a78fc05e2ebd56f31263d54ccdbf7fcc2ff92d270758720c3e235d5a3121568a
  • MANIFEST.sha256: ac52dafc0e9edbf74dde56b358c3c55ab5b705d3b66811558156c480b3530509
  • capability inventory: e2a4984329b3fd2fecc8de738dce20a5f046e0a876119569e72e41a04192a8f5

Verification

  • Two clean detached builds produced byte-identical tarballs and identical extracted trees.
  • Inventory/drift 31/31; Lean admission 26/26; program verifier 15/15; hostile program controls 15/15; skill contracts 5/5.
  • Package 15/15 with zero skips; rebuild/parity campaign 60/60; Codex repository suite 218/218.
  • Isolated provisioned Codex live acceptance discovered exactly 41 tools and passed exact, formal-bounded, refusal, claim-bundle, and formal-receipt checks.
  • All hosted Codex, Lean source/axiom, claim-kernel, and CodeRabbit checks passed on the merged head.

First-run verification

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

Trust boundary and non-claims

  • Apple-Silicon macOS only; unsigned and not notarized.
  • formal-bounded is limited to checker-admitted fragments; it is not arbitrary-expression formal correctness.
  • inventory-safe-v1 does not establish policy-construct totality, source-to-VC, SMT-to-CNF, source-native refinement, runtime behavior, or universal language soundness.
  • No compiler-correctness, input-truth, operating-system, hardware, supply-chain, or authenticated-builder claim is made.
Assets 6
Loading