.PHONY: audit verify-all challenge
export PATH := $(CURDIR)/.venv/bin:$(PATH)

audit: verify-all
verify-all:
	python3 -c "import cryptography, z3"
	node research/audit/verify.mjs AUDIT-PACKAGE.json $(DIGEST)
	node research/fvre/verify-all.mjs
	node --test tests/attested-finality.test.mjs tests/external-operations.test.mjs tests/assurance-proof.test.mjs tests/trust-ledger.test.mjs tests/trust-ledger-adversarial.test.mjs tests/durable-transparency.test.mjs tests/verification-receipt.test.mjs tests/provider-adapters.test.mjs tests/attestation-acquisition.test.mjs tests/source-order.test.mjs tests/authority-padding.test.mjs tests/v128-release-gate.test.mjs tests/issuer-policy.test.mjs
	node assurance/v127/formal/check.mjs
	node assurance/v127/multi-region.mjs
	node assurance/v128/high-corpus.mjs
	node assurance/v128/formal-model.mjs
	python3 assurance/v128/quorum-proof.py
	node assurance/v128/reference-regressions.mjs
challenge:
	node research/operations/finality.mjs challenge --full
