Everything needed to reproduce and audit the structural analysis behind forefst.py /
refsanalysis.py. The two tools at the repository root do not depend on anything here.
| Path | What it holds |
|---|---|
reference_table.csv |
The central claim register — 409 structural claims, each with a raw-disk verification status and an evidence level. This is the live reference. |
reports/ |
Verification scripts (verify_docs_static.py, verify_docs_tools.py, verify_tool_tables.py), their result files, and the per-claim audit harness under reports/audit/ (claim specs, proof index, per-claim dossiers, validation matrices). |
lab/ |
VM setup, ReFS disk-generation procedure, and the Generate-FSActivity.ps1 activity generator + baseline replay file. |
samples/ |
Example forefst/refsanalysis output captured against corpus images, plus samples/corpus/ — per-structure output across versions/checksums/upgrade. |
The raw ReFS disk images themselves (*.raw, 112 parseable ReFS volumes + 6 non-parseable negative tests) are not
distributed with this repository — they are large and lab-generated. The verification scripts and
proof artifacts reference those images by name as provenance; to re-run them, point the scripts at
your own corpus via the REFS_DISKS / REFS_CORPUS environment variables (see each script's
header). The lab/ procedures let you regenerate an equivalent corpus.