docs(spacecraft): bind v1.7.5 public readback

[AnubisQuantumCipher]

Purpose

Land the post-publication readback receipt and published-state truth surfaces for JACKAL v1.7.5.

CERTIFIED SAFE under the stated finite-burn ODE model, supplied input bounds, and machine-checked interval-certificate assumptions.

Public state read back

• release: https://github.com/AnubisQuantumCipher/jackal/releases/tag/v1.7.5
• release ID: 377032844
• release PR: fix(spacecraft): publish review-cleared v1.7.5 certification #17
• release head: eb69713918798f5828950d92f1003c66d2eb26ca
• release merge: 9a49f70b65b20907df40be99ee83e61e18adc7c5
• annotated tag object: 1369dacf60101c2d196d577b0319b6d5c0a72aa8
• tag peeled commit: 9a49f70b65b20907df40be99ee83e61e18adc7c5
• public metadata: Latest, not draft, not prerelease
• uploaded release assets: 12/12 fresh-download byte matches
• SHA256SUMS: 11/11 payload rows passed
• extracted checker: canonical ACCEPT theorem=spacecraft_burn_certified_safe status=formal-bounded
• authoritative outer verifier: ACCEPT, empty reasons
• PR, exact-master, and exact-tag workflow sets: all successful

The new receipt is release/evidence/spacecraft_burn_release_readback_v175.json. The v1.7.4 readback and release bytes remain unchanged historical evidence.

Closure changes

• bind exact release assets, sizes, SHA-256 values, metadata, PR/merge/tag identities, workflow runs, proof/review/plugin identities, public replay, protected checkout, and nonclaims;
• move root and spacecraft documentation from candidate language to observed published state with exact release/readback links;
• mark Task 15 Steps 4–8 with concrete review, gate, merge, tag, publication, and readback evidence;
• claim-scan the new structured readback with exact schema handling;
• preserve and continue testing every v1.7.4 historical assertion;
• close lossy asset/context projections and all decisive checker/outer/plugin/notes bindings with adversarial negative controls.

Verification

• closure release tests: 114 passed;
• claim gate: 17 surfaces, 0 findings;
• publication-state tests: 11 passed;
• Ruff: PASS;
• git diff --check: PASS;
• internal receipt/claims/security reviews: zero remaining blockers;
• CodeRabbit committed review: 0 issues.

Boundaries

• The Python Picard producer is not formally verified.
• The result does not establish physical-model adequacy, supplied-input truth, omitted perturbations, actuator correctness, compiler/runtime correctness, or external academic peer review.
• The release checksums and proof identity are unsigned bindings, not signatures.
• No JACKEL plugin byte or MCP tool changed; the installed/source cache remains the same 41-tool v1.7.3 surface.
• Protected checkout ~/Desktop/Projects/jackal-calc remains untouched at 57739317b24250ff62fd9b23f67c760d9066ab94 with its four pre-existing untracked roots.

[coderabbitai]

Important

• 🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro Plus

Run ID: a5aeb163-3e5b-49b3-ab6b-daa2d54e21c2

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}