Covering-array profile stability

This repository contains the scoped verification code and frozen machine-readable artifacts accompanying the manuscript Arithmetic and convex stability of covering-array profiles.

The release is deliberately narrow. It covers the strength-one finite regression, the T013/V013 stability-hole prototype, the twelve-case V014 visibility census, the T015 signed-circuit certificate, and the existing binary strength-two V015 invariants at (t,k,v)=(2,5,2). It contains no T017--T034 work, no Paper B material, no T021 Hilbert--Ehrhart theory, no Paper 1 manuscript or artifact, and no new parameter experiment.

Main audited outputs

• The strength-one regression independently enumerates seven small cases. The general theorem is mathematical, not inferred from these finite cases.
• V013 checks a three-row prototype with arithmetic stabilization degree two, convex stabilization degree one, and minimum saturation multiplier two.
• V014 reconstructs 12 instances and 45 profile orders. It finds 480 hidden degree-seven profiles in one orbit, only for binary strength two with five columns and profile order two.
• T015 verifies the minimum multiplier two, three augmented circuit relations, and three signed circuits in the original lower-degree configuration.
• V015 independently re-enumerates all 38,640 minimal binary strength-two five-column covers. The maximum size is 10; the 224 maximum covers split into orbits of sizes 192 and 32.

The V015 JSON retains a historical hash pointer to an earlier certified input. No file from that earlier project is included. verify_v015_self_contained.py instead reconstructs the complete finite classification directly from (t,k,v)=(2,5,2) and records that no Paper 1 artifact was read.

Reproduce

Python 3.11 or later is required. The frozen run used Python 3.14.0 on Windows 11.

python -m venv .venv
.venv\Scripts\python -m pip install -r requirements.txt
.venv\Scripts\python tools\run_all_verifiers.py

On POSIX systems, replace .venv\Scripts\python with .venv/bin/python.

Successful completion writes individual logs under verification_logs/, updates the two self-contained JSON reports under provenance/, and creates provenance/verification_summary.json. Rebuild the release hash inventory with:

python tools\build_manifest.py

Layout

• src/cap_axis/: exact finite-cover, semigroup, convexity, circuit, symmetry, and transversal routines used by the checks.
• tools/verify_*.py: independent or self-contained verifiers.
• iterations/*/artifacts/: frozen JSON and compressed JSON evidence used by those verifiers.
• config/ and machine/: scoped machine-readable contracts.
• provenance/: verification summaries and the SHA-256 inventory.
• tests/: focused unit regressions for the in-scope code.

Scope and reuse

Public visibility is provided for review and reproducibility. No license file is included, so no additional reuse permission is granted by this repository beyond rights supplied by applicable law. The manuscript's mathematical priority and bibliography are handled separately from this code release.

Author

Yuanhao Hao (郝源浩), College of Environmental Sciences and Engineering, Peking University.