CAS Verification
Audit Code
Matlab and Sympy files are presented for independent verification of VMS predictions.
Purpose of the Audit
This audit does not attempt to prove the physical assumptions of the theory. Those assumptions are stated and defended elsewhere. The purpose of the audit is narrower: given the declared assumptions and mathematical forms, the audit independently verifies each derivation step, checks for hidden substitutions or unstated assumptions, and confirms that the stated conclusions follow from the stated premises. In other words, the audit tests the mathematical integrity of the derivation chain, not the physical truth of the starting assumptions.
Audit requirements
The ZIP package is the authoritative audit artifact. Browser-rendered source pages are provided for inspection only and should not be used to determine or for executability or execution.
Direct download: https://www.vms-institute.org/audit/vms-sympy-audit.zip
Mac/Linux: open Terminal and run:
rm -rf ~/vms-audit-test
mkdir ~/vms-audit-test
cd ~/vms-audit-test
curl -L -o vms-sympy-audit.zip https://www.vms-institute.org/audit/vms-sympy-audit.zip
unzip -q vms-sympy-audit.zip
python3 -m venv vms-audit-env
source vms-audit-env/bin/activate
python3 -m pip install sympy
cd sympy
python3 run_master.py
echo "done"The audit result is the summary printed at the end of the run, including the displayed PASS/FAIL counts and any STACK CLOSED or failure message.