This repository is the audience-facing reproducibility package for the SEXA framework.
Double-click:
RUN_WINDOWS.bat
Run:
bash RUN_MAC_LINUX.sh
python RUN_SEXA_MASTER_AUDIT.py
No third-party Python packages are required.
The runner audits the supplied SEXA stack at several distinct levels:
This repository does not convert a mathematical or computational PASS into a claim of experimental proof. It also does not hide discrepancies. For example, the suite directly recomputes 60^18.86 and separately tests the source-stated 3.47×10^33 figure.
RUN_SEXA_MASTER_AUDIT.py — master public runnerdata/source_manifest.json — source hashes and extraction inventorydata/duplicate_source_groups.json — exact duplicate-source groupsdata/evidence_classifications.json — non-executable and pending claimsdata/all_numeric_mentions.csv — every machine-extracted numerical mention with source/line context across the uploaded stackdata/equation_like_lines.csv — machine-extracted equation/relationship linesevidence/extracted_text/ — text extraction for each supplied PDF, bound to the source manifest hashesreports/MASTER_AUDIT_REPORT.md — generated human-readable reportreports/master_results.csv — generated machine-readable tablereports/master_results.json — generated full result objectsdocs/AUDIENCE_HANDOFF.md — short instructions for the Australia audienceThe source manifest binds the audit to the exact uploaded PDF bytes using SHA-256 hashes. Exact duplicate documents are identified so they are not treated as independent evidence.
The supplied Sigmatics PDF reports aggregate orbit statistics and reachability data, but the complete machine-readable 96-class transition graph / excitation vector is not embedded in the supplied PDF stack. Those claims are therefore not labeled as independently regenerated by this package.
Likewise, the conference hardware paper describes FPGA/ASIC/AI-accelerator realization as future work. This package tests deterministic computational properties but does not relabel planned hardware as completed hardware validation.