commands.sh
#!/usr/bin/env bash set -euo pipefail cd "$(dirname "$0")" export PYTHONDONTWRITEBYTECODE=1 mkdir -p logs python3 authority_seal_encoder.py --selftest | tee logs/encoder-selftest.log python3 codex_adversarial_probes.py | tee logs/codex-adversarial-probes.log set +e python3 codex_authority_seal.py --author > logs/author-attempt.log 2>&1 AUTHOR_RC=$? set -e [ "$AUTHOR_RC" -ne 0 ] grep -q "SEAL_FIELD_BAD_ENUM" logs/author-attempt.log for f in n7-approval-event.json n8-detached-codex-seal.json p7-authoritative-pin.json; do [ ! -e "$f" ]; done echo "AUTHOR_ATTEMPT: FAIL-CLOSED SEAL_FIELD_BAD_ENUM; official_artifacts=0" | tee logs/chain-verify.log shasum -a 256 -c HASH_MANIFEST.txt | tee logs/hashcheck.log TREE=$(shasum -a 256 HASH_MANIFEST.txt | awk '{print $1}') WANT=$(awk '{print $1}' packet_tree.sha256) [ "$TREE" = "$WANT" ] echo "packet_tree OK ($TREE)" | tee logs/tree.log echo "OVERALL: PASS"