Makefile

.PHONY: verify note audit-note tuned-note reuse-note incidence-note dag-note shared-point-note paired-note compact-note complex-note ternary-note fetch
.DEFAULT_GOAL := verify

.PHONY: community-audit-check
community-audit-check:
	python3 scripts/audit_community_candidate.py --check docs/research/community-audit-arithmetic.json

.PHONY: community-followup-check
community-followup-check:
	python3 scripts/audit_followup_candidate.py --candidate-root . --check docs/research/community-followup-arithmetic.json

.PHONY: verify-community verify-producers verify-certificates verify-ternary verify-tests
# CI runs these in separate checkouts. Keep local verification sequential:
# different groups regenerate certificates that another group may read.
verify:
	$(MAKE) verify-community
	$(MAKE) verify-producers
	$(MAKE) verify-partial-gauge
	$(MAKE) verify-three-stage-cover
	$(MAKE) verify-paired-cube
	$(MAKE) verify-recycled-bit
	$(MAKE) verify-entrance-banks
	$(MAKE) gen4-bank-verify
	$(MAKE) frontier741-verify
	$(MAKE) verify-certificates
	$(MAKE) verify-ternary
	$(MAKE) verify-research
	$(MAKE) verify-strips
	$(MAKE) verify-clones
	$(MAKE) verify-positive
	$(MAKE) verify-joint
	$(MAKE) verify-pair
	$(MAKE) verify-tests

.PHONY: selected-record-check entrance-bank-verify verify-entrance-banks
selected-record-check:
	python3 -B scripts/verify_selected_result.py

entrance-bank-verify: selected-record-check
	python3 -B research/coordinated-frames-and-entrance-banks/verify.py
	python3 -B research/community-round8-audit/bank_schedule.py

verify-entrance-banks: entrance-bank-verify

.PHONY: gen4-bank-verify
gen4-bank-verify: selected-record-check
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-gen4.XXXXXX"); \
	python3 -B research/five-stage-gen4-banks/verify.py --output "$$work/replay"

.PHONY: frontier531-verify
frontier531-verify: selected-record-check
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-frontier531.XXXXXX"); \
	python3 -B scripts/verify_frontier531.py --work "$$work/replay"

.PHONY: frontier535-verify
frontier535-verify: selected-record-check
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-frontier535.XXXXXX"); \
	python3 -B scripts/verify_frontier535.py --work "$$work/replay"

.PHONY: frontier588-verify
frontier588-verify: selected-record-check
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-frontier588.XXXXXX"); \
	python3 -B scripts/verify_frontier588.py --work "$$work/replay"

.PHONY: source527-record-check source527-verify
source527-record-check:
	python3 -B scripts/verify_selected_result.py --record certificates/checkpoints/source527.json

source527-verify: source527-record-check
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-source527.XXXXXX"); \
	python3 -B research/five-stage-source527-banks/verify.py --output "$$work/replay"

verify-community: community-audit-check community-followup-check copied-reversed-producer copied-reversed-check copied-fixed-reversed-producer copied-fixed-reversed-check
	$(MAKE) copied-fixed-verify
	$(MAKE) climbed-48-verify

verify-producers:
	$(MAKE) stopped-product-verify
	$(MAKE) copied-centers-verify
	$(MAKE) structured-bulk-verify
	$(MAKE) endpoint-gauge-producer endpoint-gauge-certificate
	$(MAKE) partial-swap-producer partial-swap-certificate

verify-certificates: source527-record-check
	python3 scripts/prime_field_network.py
	python3 scripts/complex_network.py
	python3 scripts/fast_gaussian.py
	$(MAKE) batched-certificate batched-patch
	python3 scripts/certify.py
	python3 scripts/search_network.py
	python3 scripts/make_patch.py
	python3 scripts/nonadjacent.py
	python3 scripts/make_nonadjacent_patch.py
	python3 scripts/tune_routing.py
	python3 scripts/research_networks.py
	python3 scripts/search_network_variants.py
	python3 scripts/block_label_targets.py
	python3 scripts/audit_block_labels.py
	python3 scripts/audit_additive_labels.py
	python3 scripts/small_block_witness.py
	python3 scripts/incidence_network.py
	python3 scripts/make_incidence_patch.py
	python3 scripts/search_incidence_partitions.py
	python3 scripts/dag_network.py
	python3 scripts/make_dag_patch.py
	python3 scripts/shared_point_network.py
	python3 scripts/make_shared_point_patch.py
	python3 scripts/paired_network.py
	python3 scripts/make_paired_patch.py
	python3 scripts/prepare_layers.py
	python3 scripts/audit_sparse_fusion.py
	python3 scripts/audit_fused_block.py
	python3 scripts/audit_short_guards.py
	python3 scripts/audit_gather_schedules.py
	python3 scripts/audit_coded_carries.py
	python3 scripts/audit_cancellation.py
	python3 scripts/audit_joint_frames.py
	python3 scripts/audit_compact_controls.py
	python3 scripts/compact_control_layer.py
	python3 scripts/make_compact_control_patch.py
	python3 scripts/audit_scratch_pooling.py
	python3 scripts/reuse_network.py
	python3 scripts/make_reuse_patch.py

# Independent verification of the pending PR62/63 rank-first construction.
# The offline check is separate from the pinned-source, C++/CRT replay.
verify-certificates: ranked-pair-check

.PHONY: ranked-pair-check ranked-pair-verify formal-ranked-pair-verify
ranked-pair-check:
	python3 research/ranked-pair-verification/verify.py

ranked-pair-verify: ranked-pair-check
	test -n "$(UPSTREAM)"
	python3 research/ranked-pair-verification/audit/ranked-word-audit.py --upstream "$(UPSTREAM)" --generated build/ranked-pair

formal-ranked-pair-verify:
	python3 research/ranked-pair-verification/lean/check.py

formal-historical-verify: formal-ranked-pair-verify

# Later source-bound proof and finite-certificate checkpoint from PR64.
verify-certificates: machine-transfer-check

.PHONY: machine-transfer-check formal-machine-transfer-verify
machine-transfer-check:
	python3 research/machine-transfer-verification/verify.py

LAKE_PROJECT ?= formal/lean
formal-machine-transfer-verify:
	python3 research/machine-transfer-verification/verify_lean.py --lake-project "$(LAKE_PROJECT)" --output build/machine-transfer/lean

formal-historical-verify: formal-machine-transfer-verify

verify-ternary:
	python3 scripts/complex_compression.py
	python3 scripts/make_complex_compression_patch.py
	python3 scripts/audit_ternary_side.py
	python3 scripts/make_ternary_patch.py

verify-tests:
	python3 scripts/run_isolated_tests.py
	git apply --check --directory=upstream patches/frozen-154.patch
	git apply --check --directory=upstream patches/balanced-153.patch
	git apply --check --directory=upstream patches/same-network-129.patch
	git apply --check --directory=upstream patches/h46-111.patch
	git apply --check --directory=upstream patches/h46-109.patch
	git apply --check --directory=upstream patches/h46-108.patch
	git apply --check --directory=upstream patches/h46-rational.patch
	git apply --check --directory=upstream patches/nonadjacent-layout.patch
	git apply --check --directory=upstream patches/frozen-nonadjacent-107.patch
	git apply --check --directory=upstream patches/h46-nonadjacent-78.patch
	git apply --check --directory=upstream patches/h46-nonadjacent-76.patch
	git apply --check --directory=upstream patches/h46-shared-side-75.patch
	git apply --check --directory=upstream patches/h46-incidence-67.patch
	git apply --check --directory=upstream patches/h46-dag-63.patch
	git apply --check --directory=upstream patches/h46-shared-point.patch
	git apply --check --directory=upstream patches/h50-paired-59.patch
	git apply --check --directory=upstream patches/compact-control-34.patch
	git apply --check --directory=upstream patches/complex-compression-31.patch
	git apply --check --directory=upstream patches/ternary-30.patch
	git apply --check --directory=upstream patches/batched-23.patch

note:
	mkdir -p artifacts
	tectonic --outdir artifacts notes/parameter-note.tex

audit-note:
	mkdir -p artifacts
	tectonic --outdir artifacts notes/nonadjacent-axis-note.tex

tuned-note:
	mkdir -p artifacts
	tectonic --outdir artifacts notes/routing-tuned-note.tex

reuse-note:
	mkdir -p artifacts
	tectonic --outdir artifacts notes/stage-reuse-note.tex

incidence-note:
	mkdir -p artifacts
	tectonic --outdir artifacts notes/incidence-note.tex

dag-note:
	mkdir -p artifacts
	tectonic --outdir artifacts notes/dag-note.tex

shared-point-note:
	mkdir -p artifacts
	tectonic --outdir artifacts notes/shared-point-note.tex

paired-note:
	mkdir -p artifacts
	tectonic --outdir artifacts notes/paired-note.tex

compact-note:
	mkdir -p artifacts
	tectonic --outdir artifacts notes/compact-control-note.tex

complex-note:
	mkdir -p artifacts
	tectonic --outdir artifacts notes/complex-compression-note.tex

ternary-note:
	mkdir -p artifacts
	tectonic --outdir artifacts notes/ternary-note.tex

fetch:
	python3 scripts/fetch_upstream.py

.PHONY: batched-certificate batched-patch batched-note
PDFLATEX ?= pdflatex
TEX_ENGINE ?= pdflatex
TECTONIC ?= tectonic

batched-certificate:
	python3 scripts/controlled_bit_rank_moment.py --output certificates/controlled-bit-rank-moment.json > /dev/null
	python3 scripts/batched_network.py --output certificates/batched-network.json --summary

batched-patch:
	python3 scripts/make_batched_patch.py

batched-note:
	mkdir -p artifacts
ifeq ($(TEX_ENGINE),tectonic)
	$(TECTONIC) -Z search-path=$(CURDIR) --outdir artifacts notes/batched-23-note.tex
else
	$(PDFLATEX) -interaction=nonstopmode -halt-on-error -output-directory=artifacts notes/batched-23-note.tex
	$(PDFLATEX) -interaction=nonstopmode -halt-on-error -output-directory=artifacts notes/batched-23-note.tex
	$(PDFLATEX) -interaction=nonstopmode -halt-on-error -output-directory=artifacts notes/batched-23-note.tex
endif

.PHONY: partial-swap-producer partial-swap-certificate partial-swap-note
partial-swap-producer:
	python3 scripts/partial_swap_producer.py

partial-swap-certificate:
	python3 scripts/partial_swap_network.py

partial-swap-note:
	mkdir -p artifacts
ifeq ($(TEX_ENGINE),tectonic)
	$(TECTONIC) -Z search-path=$(CURDIR) --outdir artifacts notes/partial-swap-note.tex
else
	$(PDFLATEX) -interaction=nonstopmode -halt-on-error -output-directory=artifacts notes/partial-swap-note.tex
	$(PDFLATEX) -interaction=nonstopmode -halt-on-error -output-directory=artifacts notes/partial-swap-note.tex
	$(PDFLATEX) -interaction=nonstopmode -halt-on-error -output-directory=artifacts notes/partial-swap-note.tex
endif

.PHONY: endpoint-gauge-producer endpoint-gauge-certificate endpoint-gauge-note
endpoint-gauge-producer:
	python3 scripts/endpoint_gauge_producer.py

endpoint-gauge-certificate:
	python3 scripts/endpoint_gauge_network.py

endpoint-gauge-note:
	mkdir -p artifacts
ifeq ($(TEX_ENGINE),tectonic)
	$(TECTONIC) -Z search-path=$(CURDIR) --outdir artifacts notes/endpoint-gauge-note.tex
else
	$(PDFLATEX) -interaction=nonstopmode -halt-on-error -output-directory=artifacts notes/endpoint-gauge-note.tex
	$(PDFLATEX) -interaction=nonstopmode -halt-on-error -output-directory=artifacts notes/endpoint-gauge-note.tex
	$(PDFLATEX) -interaction=nonstopmode -halt-on-error -output-directory=artifacts notes/endpoint-gauge-note.tex
endif

.PHONY: endpoint-gauge-verify
endpoint-gauge-verify: endpoint-gauge-producer endpoint-gauge-certificate
	python3 -m unittest discover -s tests -p 'test_endpoint_gauge.py' -v

.PHONY: structured-bulk-producer structured-bulk-certificate structured-bulk-verify structured-bulk-note
structured-bulk-producer:
	python3 scripts/structured_bulk_producer.py

structured-bulk-certificate:
	python3 scripts/structured_bulk_network.py

structured-bulk-verify: structured-bulk-producer structured-bulk-certificate

structured-bulk-note:
	mkdir -p artifacts
ifeq ($(TEX_ENGINE),tectonic)
	$(TECTONIC) -Z search-path=$(CURDIR) --outdir artifacts notes/structured-bulk-note.tex
else
	$(PDFLATEX) -interaction=nonstopmode -halt-on-error -output-directory=artifacts notes/structured-bulk-note.tex
	$(PDFLATEX) -interaction=nonstopmode -halt-on-error -output-directory=artifacts notes/structured-bulk-note.tex
	$(PDFLATEX) -interaction=nonstopmode -halt-on-error -output-directory=artifacts notes/structured-bulk-note.tex
endif

.PHONY: copied-centers-producer copied-centers-certificate copied-centers-verify
copied-centers-producer:
	python3 scripts/copied_centers_producer.py

copied-centers-certificate:
	python3 scripts/copied_centers_network.py

copied-centers-verify: copied-centers-producer copied-centers-certificate

.PHONY: copied-reversed-check copied-reversed-producer
copied-reversed-check:
	python3 research/copied-reversed/geometry.py
	python3 research/copied-reversed/witness.py
	python3 -m unittest discover -s tests -p 'test_copied_reversed.py' -v

copied-reversed-producer:
	mkdir -p build/copied-reversed/producer
	python3 scripts/copied_centers_producer.py --work-dir build/copied-reversed/producer --output build/copied-reversed/producer.json


.PHONY: copied-fixed-reversed-check copied-fixed-reversed-producer
copied-fixed-reversed-check:
	python3 research/copied-fixed-reversed/geometry.py --full
	python3 research/copied-fixed-reversed/witness.py
	python3 -m unittest discover -s tests -p 'test_copied_fixed_reversed.py'

copied-fixed-reversed-producer:
	mkdir -p build/copied-fixed-reversed/producer
	python3 research/copied-fixed-reversed/producer.py --work-dir build/copied-fixed-reversed/producer --output build/copied-fixed-reversed/producer.json
	python3 research/copied-fixed-reversed/review/fixed25_copied_crt_audit.py --work-dir build/copied-fixed-reversed/producer --record build/copied-fixed-reversed/producer.json --profiler-source research/copied-fixed-reversed/full_profiles25.cpp --output build/copied-fixed-reversed/crt-audit.json


.PHONY: copied-fixed-verify copied-fixed-producer copied-fixed-check
copied-fixed-producer:
	python3 research/copied-fixed/producer.py

copied-fixed-check:
	python3 research/copied-fixed/audit.py
	python3 research/copied-fixed/verify.py --output research/copied-fixed/certificate.json
	python3 -m unittest discover -s tests -p 'test_copied_fixed.py' -v

copied-fixed-verify: copied-fixed-producer copied-fixed-check

.PHONY: climbed-48-verify climbed-48-producer climbed-48-check
climbed-48-producer:
	python3 research/climbed-48/producer.py

climbed-48-check:
	python3 research/climbed-48/witness.py --output research/climbed-48/certificate.json
	python3 -m unittest discover -s tests -p 'test_climbed_48.py' -v

climbed-48-verify: climbed-48-producer climbed-48-check

.PHONY: formal-verify formal-historical-verify formal-gaussian-verify
formal-verify: formal-historical-verify formal-gaussian-verify

formal-historical-verify:
	cd formal/lean && lake build
	python3 scripts/check_lean_axioms.py --project formal/lean --audit formal/lean/AuditAll.lean
	python3 formal/lean/sources.py
	python3 formal/open-prs/drift_A.py
	python3 formal/open-prs/drift_B.py --selftest
	python3 formal/open-prs/drift_C.py
	mkdir -p build/formal
	python3 formal/circuit/export_paired.py build/formal/paired50.json
	python3 -I formal/circuit/check_paired.py build/formal/paired50.json

formal-gaussian-verify:
	$(MAKE) -C research/gaussian-parity-synthesis verify
	python3 scripts/check_lean_axioms.py --project research/gaussian-parity-synthesis --audit research/gaussian-parity-synthesis/AuditAll.lean

.PHONY: verify-research
# Historical finite searches; no current witness or production certificates change.
verify-research:
	python3 scripts/audit_bit_compression.py
	python3 scripts/audit_mixed_point.py
	python3 scripts/audit_early_sharing.py
	python3 scripts/audit_split_centers.py
	python3 scripts/audit_stage_pair.py
	python3 scripts/audit_block_carry.py
	python3 scripts/audit_joint_return.py
	python3 scripts/audit_cyclic_topology.py
	python3 scripts/audit_fano_completion.py
	python3 scripts/audit_fano_permutation.py
	python3 scripts/audit_rank_product_core.py
	python3 scripts/audit_stronger_screens.py
	python3 scripts/audit_subset_cores.py
	python3 scripts/audit_cube_cores.py
	python3 scripts/audit_single_intersection.py
	python3 scripts/audit_shared_core.py
	python3 scripts/audit_general_guard.py
	python3 scripts/audit_disjoint_tensor.py
	python3 scripts/audit_core_limits.py
	python3 scripts/audit_affine_vectors.py
	python3 scripts/audit_block_core.py
	python3 scripts/audit_complex_centers.py
	python3 scripts/audit_inplace_side.py
	python3 scripts/audit_quadratic_affine.py
	python3 scripts/audit_signed_sparse.py
	python3 scripts/audit_positive_side.py
	python3 scripts/audit_parity_side.py
	python3 scripts/audit_prime_subset_limits.py
.PHONY: skip-frame-verify
skip-frame-verify:
	python3 scripts/experiments/verify_skip_frame.py


.PHONY: joint-dual-verify
joint-dual-verify:
	python3 scripts/experiments/verify_joint_dual.py
	python3 -m unittest discover -s tests -p 'test_joint_reclaim.py' -v


.PHONY: skip-strips-verify skip-strips-producer skip-strips-check
skip-strips-producer:
	python3 research/skip-strips/producer.py

skip-strips-check:
	python3 research/skip-strips/audit.py
	python3 research/skip-strips/verify.py --output research/skip-strips/certificate.json
	cd research/skip-strips && python3 -m unittest discover -s ../../tests -p 'test_skip_strips.py' -v

skip-strips-verify: skip-strips-producer skip-strips-check

.PHONY: positive-skip-verify positive-skip-build positive-skip-check
positive-skip-build:
	python3 scripts/audit_positive_skip_exact.py

positive-skip-check:
	python3 research/positive-skip/witness.py --output research/positive-skip/certificate.json
	python3 -m unittest discover -s tests -p 'test_positive_skip.py' -v

positive-skip-verify: positive-skip-build positive-skip-check

.PHONY: split-skip-producer split-skip-check split-skip-verify
split-skip-producer:
	python3 research/split-skip/producer.py --work-dir build/split-skip --output build/split-skip-receipt.json

split-skip-check:
	python3 research/split-skip/witness.py
	python3 research/split-skip/independent_arithmetic.py
	python3 -m unittest discover -s tests -p 'test_split_skip.py' -v

split-skip-verify: split-skip-producer split-skip-check

.PHONY: skip-suffix-verify skip-suffix-producer skip-suffix-check
skip-suffix-producer:
	python3 research/skip-suffix/producer.py

skip-suffix-check:
	python3 research/skip-suffix/audit.py
	python3 research/skip-suffix/verify.py --output research/skip-suffix/certificate.json
	cd research/skip-suffix && python3 -m unittest discover -s ../../tests -p 'test_skip_suffix.py' -v

skip-suffix-verify: skip-suffix-producer skip-suffix-check

.PHONY: skip-clones-verify skip-clones-producer skip-clones-check
skip-clones-producer:
	python3 research/skip-clones/producer.py

skip-clones-check:
	python3 research/skip-clones/witness.py --output research/skip-clones/certificate.json
	python3 -m unittest discover -s tests -p 'test_skip_clones.py' -v

skip-clones-verify: skip-clones-producer skip-clones-check

.PHONY: verify-strips verify-clones verify-positive verify-joint formal-matrix-verify
verify-strips: skip-strips-verify skip-suffix-verify
verify-clones: skip-clones-verify split-skip-verify
verify-positive: positive-skip-verify
verify-joint: skip-frame-verify joint-dual-verify
	python3 scripts/audit_joint_candidate.py --check docs/research/community-round2-arithmetic.json

formal-verify: formal-matrix-verify
formal-matrix-verify:
	mkdir -p build
	cd research/matrix-exponent-synthesis && lake build
	python3 scripts/check_lean_axioms.py --project research/matrix-exponent-synthesis --audit research/matrix-exponent-synthesis/AuditAll.lean
	python3 research/matrix-exponent-synthesis/run_checks.py --work "$$(mktemp -d build/matrix-synthesis.XXXXXX)"
	python3 scripts/audit_joint_candidate.py --check docs/research/community-round2-arithmetic.json
	python3 scripts/audit_pair_candidate.py --check docs/research/community-pair-arithmetic.json

.PHONY: pair-assembly-verify pair-assembly-producer pair-assembly-check
pair-assembly-producer:
	python3 research/pair-assembly/producer.py

pair-assembly-check:
	python3 research/pair-assembly/audit.py
	python3 research/pair-assembly/verify.py --output research/pair-assembly/certificate.json
	python3 research/pair-assembly/frame/frame_verify.py
	cd research/pair-assembly && python3 -m unittest discover -s ../../tests -p 'test_pair_assembly.py' -v

pair-assembly-verify: pair-assembly-producer pair-assembly-check

.PHONY: verify-pair
verify-pair: pair-assembly-verify
	python3 scripts/audit_pair_candidate.py --check docs/research/community-pair-arithmetic.json

.PHONY: stopped-product-producer stopped-product-certificate stopped-product-verify
stopped-product-producer:
	python3 scripts/stopped_product_producer.py

stopped-product-certificate:
	python3 scripts/stopped_product_network.py

stopped-product-verify: stopped-product-producer stopped-product-certificate

.PHONY: partial-gauge-bit partial-gauge-producer partial-gauge-certificate partial-gauge-verify
partial-gauge-bit:
	python3 scripts/partial_gauge_bit.py

partial-gauge-producer:
	python3 scripts/partial_gauge_producer.py

partial-gauge-certificate:
	python3 scripts/partial_gauge_network.py

partial-gauge-verify: partial-gauge-bit partial-gauge-producer partial-gauge-certificate

.PHONY: verify-partial-gauge
verify-partial-gauge: partial-gauge-verify

.PHONY: three-stage-cover-producer three-stage-cover-certificate three-stage-cover-verify verify-three-stage-cover
three-stage-cover-producer:
	python3 scripts/three_stage_cover_producer.py

three-stage-cover-certificate:
	python3 scripts/three_stage_cover_network.py

three-stage-cover-verify: three-stage-cover-producer three-stage-cover-certificate

verify-three-stage-cover: three-stage-cover-verify

.PHONY: paired-cube-producer paired-cube-bit paired-cube-certificate paired-cube-verify verify-paired-cube
paired-cube-producer:
	python3 scripts/paired_cube_producer.py

paired-cube-bit:
	python3 scripts/paired_cube_bit.py

paired-cube-certificate:
	python3 scripts/paired_cube_network.py

paired-cube-verify: paired-cube-producer paired-cube-bit paired-cube-certificate

verify-paired-cube: paired-cube-verify

.PHONY: recycled-bit-verify recycled-bit-full-verify verify-recycled-bit
recycled-bit-verify:
	python3 research/recycled-bit-integration/verify.py

recycled-bit-full-verify:
	python3 research/recycled-bit-integration/verify.py --all

verify-recycled-bit: recycled-bit-full-verify
	python3 -m unittest discover -s tests -p 'test_recycled_bit_integration.py' -v

.PHONY: frontier596-verify
frontier596-verify: selected-record-check
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-frontier596.XXXXXX"); \
	python3 -B scripts/verify_frontier596.py --work "$$work/replay"

.PHONY: frontier617-verify
frontier617-verify: selected-record-check
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-frontier617.XXXXXX"); \
	python3 -B scripts/verify_frontier617.py --work "$$work/replay"

.PHONY: frontier626-verify
frontier626-verify: selected-record-check
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-frontier626.XXXXXX"); \
	python3 -B scripts/verify_frontier626.py --work "$$work/replay"

.PHONY: frontier741-verify
frontier741-verify: selected-record-check
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-frontier741.XXXXXX"); \
	python3 -B scripts/verify_frontier_complete.py --frontier 741 --work "$$work/replay"

.PHONY: frontier799-verify
frontier799-verify: selected-record-check
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-frontier799.XXXXXX"); \
	python3 -B scripts/verify_frontier_complete.py --frontier 799 --work "$$work/replay"

# Opt-in PR853 scheduling; the sequential replay remains the reference.
.PHONY: complex741-parallel
complex741-parallel:
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-parallel741.XXXXXX"); \
	python3 -B scripts/verify_complex741_parallel.py --work "$$work/replay" --jobs 3

.PHONY: frontier890-verify
frontier890-verify: selected-record-check
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-frontier890.XXXXXX"); \
	python3 -B scripts/verify_frontier890.py --work "$$work/replay"

.PHONY: frontier942-verify
frontier942-verify: selected-record-check
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-frontier942.XXXXXX"); \
	python3 -B scripts/verify_frontier942.py --work "$$work/replay"
# Tooling: opt-in parallel exact U8 phase recipes, byte-identical to the pinned serial step (no new kappa).
.PHONY: phase-recipes-parallel-verify phase-recipes-parallel-benchmark
phase-recipes-parallel-verify:
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-phase-parallel.XXXXXX"); \
	python3 -B research/phase-recipes-parallel/verify.py --work "$$work/replay" && \
	python3 -B -m unittest discover -s research/phase-recipes-parallel -p test_package.py
phase-recipes-parallel-benchmark:
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-phase-parallel.XXXXXX"); \
	python3 -B research/phase-recipes-parallel/verify.py --work "$$work/replay" --serial

.PHONY: frontier1042-verify
frontier1042-verify: selected-record-check
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-frontier1042.XXXXXX"); \
	python3 -B scripts/verify_frontier1042.py --work "$$work/replay"

# Independent verification: code-disjoint T37 moment endpoints and kappa reduction (no new kappa).
.PHONY: t37-endpoints-independent-verify
t37-endpoints-independent-verify:
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-t37-endpoints.XXXXXX"); \
	python3 -B research/t37-endpoints-independent/verify.py --work "$$work/replay" && \
	python3 -B -m unittest discover -s research/t37-endpoints-independent -p test_package.py

# Independent verification: code-disjoint pricing of the pending kappa claims (no new kappa).
.PHONY: pending-claims-pricing-verify
pending-claims-pricing-verify:
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-pending-claims.XXXXXX"); \
	python3 -B research/pending-claims-independent-pricing/verify.py --work "$$work/replay" && \
	python3 -B -m unittest discover -s research/pending-claims-independent-pricing -p test_package.py

# Tooling: opt-in parallel U8 layer-end controls with a byte-identical receipt (no new kappa).
.PHONY: layer-end-controls-parallel-verify layer-end-controls-parallel-benchmark
layer-end-controls-parallel-verify:
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-layer-end.XXXXXX"); \
	python3 -B research/layer-end-controls-parallel/verify.py --work "$$work/replay" && \
	python3 -B -m unittest discover -s research/layer-end-controls-parallel -p test_package.py
layer-end-controls-parallel-benchmark:
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-layer-end.XXXXXX"); \
	python3 -B research/layer-end-controls-parallel/verify.py --work "$$work/replay" --serial

# Research note: width packing of the selected PR589 bit hosting (no new kappa).
.PHONY: bit589-width-packing-verify
bit589-width-packing-verify:
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-bit589-packing.XXXXXX"); \
	python3 -B research/bit589-width-packing/verify.py --work "$$work/replay" && \
	python3 -B -m unittest discover -s research/bit589-width-packing -p test_package.py

.PHONY: frontier1094-verify
frontier1094-verify: selected-record-check
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-frontier1094.XXXXXX"); \
	python3 -B scripts/verify_frontier1094.py --work "$$work/replay"

.PHONY: verify-parallel
verify-parallel:
	python3 scripts/verify_parallel.py

.PHONY: t21-interface-budget-verify
t21-interface-budget-verify:
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/t21-interface-budget.XXXXXX"); \
	python3 -B research/t21-interface-budget/verify.py --work "$$work/replay"


# Research note: restoration deferral and coverage identity on the selected T37 payload (no new kappa).
.PHONY: t37-restoration-deferral-verify
t37-restoration-deferral-verify:
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-t37-restoration.XXXXXX"); \
	python3 -B research/t37-restoration-deferral/verify.py --work "$$work/replay" && \
	python3 -B -m unittest discover -s research/t37-restoration-deferral -p test_package.py

.PHONY: frontier1042-invoice-audit-verify
frontier1042-invoice-audit-verify:
	python3 -I -B research/frontier1042-invoice-audit-seed81/verify.py
	cd research/frontier1042-invoice-audit-seed81 && python3 -B -m unittest test_package -v

.PHONY: hpe-audit-fast-verify hpe-audit-fast-crosscheck-lec
hpe-audit-fast-verify:
	python3 -I -B research/hpe-audit-fast-seed93/verify.py
	cd research/hpe-audit-fast-seed93 && python3 -B -m unittest test_package -v

# Opt-in, about 2 minutes: all 96 trials of the selected chain's lec-p6n step, each run by both audits.
hpe-audit-fast-crosscheck-lec:
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/hpe-audit-fast.XXXXXX"); \
	python3 -B research/hpe-audit-fast-seed93/run_lec.py --archived p6n --pins LEC-REASON-PINS-STACK --out "$$work/lec-p6n" --mode crosscheck

# Historical publication evidence; the live pointer has its own selected-record-check target.
.PHONY: frontier1042-capsule-closure-verify
frontier1042-capsule-closure-verify:
	python3 -B research/frontier1042-capsule-closure-seed75/verify.py --check
	python3 -O -B research/frontier1042-capsule-closure-seed75/verify.py --check
	python3 -B research/frontier1042-capsule-closure-seed75/test_package.py
	python3 -O -B research/frontier1042-capsule-closure-seed75/test_package.py

# Selected productive-helper construction; sequential fresh replay outside checkout.
.PHONY: frontier4359-verify
frontier4359-verify: selected-record-check
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-frontier4359.XXXXXX"); \
	python3 -B scripts/verify_frontier4359.py --work "$$work/replay"

# Current selected changed-construction replay; prior foundation reuse is explicit.
.PHONY: frontier4470-verify
frontier4470-verify: selected-record-check
	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-frontier4470.XXXXXX"); \
	python3 -B scripts/verify_frontier4470.py --work "$$work/replay"