# Concise validation records shipped with source. Full history is optional.
evidence/0.2.13/WINDOWS_REVIEW.md
evidence/0.2.14/WINDOWS_REVIEW.md
evidence/0.2.15/WINDOWS_REVIEW.md
evidence/0.2.16/WINDOWS_REVIEW.md
evidence/0.2.17/WINDOWS_REVIEW.md
evidence/0.2.18/WINDOWS_REVIEW.md
evidence/0.2.18/csmith-reference-timeout.json
evidence/0.2.19/WINDOWS_REVIEW.md
evidence/0.2.20/WINDOWS_REVIEW.md
evidence/0.2.21/WINDOWS_REVIEW.md
evidence/0.2.22/WINDOWS_REVIEW.md
evidence/0.2.23/WINDOWS_REVIEW.md
evidence/0.2.25/WINDOWS_REVIEW.md
evidence/0.2.25/bitarith.json
evidence/0.2.25/input-hashes.json
evidence/0.2.25/release-gates.json
evidence/0.2.25/source-manifest.json
evidence/0.2.25/specification-checks.json
evidence/0.2.25/system.json
evidence/0.2.25/unused.json
evidence/0.2.25/windows-benchmark-comparison.json
evidence/0.2.25/windows-benchmark.json
evidence/0.2.25/windows-check_bitarith.json
evidence/0.2.25/windows-check_unused.json
evidence/0.2.25/windows-feedback.zip
evidence/0.2.25/windows-qualification.json
evidence/0.2.25/windows-summary.json
evidence/0.2.25/windows-system.json
evidence/0.2.25/packaging/linux-feedback.zip

# PCFC11 0.2.26 concise evidence
evidence/0.2.26/constraints.json
evidence/0.2.26/unused-chains.json
evidence/0.2.26/baseline-unused.json
evidence/0.2.26/assembly-comparison.json
evidence/0.2.26/compile-cost.json
evidence/0.2.26/fresh-attempt2.json
evidence/0.2.26/fresh-attempt2/execution.json
evidence/0.2.26/fresh-windows-assembly.json
evidence/0.2.26/specification-checks.json
evidence/0.2.26/standard/summary.json
evidence/0.2.26/standard/system.json
evidence/0.2.26/bootstrap/gates.json
evidence/0.2.26/sanitize/gates.json
evidence/0.2.26/oracles/gates.json
evidence/0.2.26/external/gates.json
evidence/0.2.26/clean/gates.json
evidence/0.2.26/input-hashes.json
evidence/0.2.26/preservation.json
evidence/0.2.26/release-gates.json

# PCFC11 0.2.27 concise evidence
evidence/0.2.27/constraints.json
evidence/0.2.27/constraints-baseline.json
evidence/0.2.27/additional.json
evidence/0.2.27/fresh.json
evidence/0.2.27/fresh/execution.json
evidence/0.2.27/standard/summary.json
evidence/0.2.27/standard/system.json
evidence/0.2.27/oracles/check_constraints.json
evidence/0.2.27/bootstrap/gates.json
evidence/0.2.27/sanitize/gates.json
evidence/0.2.27/oracles/gates.json
evidence/0.2.27/external/gates.json
evidence/0.2.27/clean/gates.json
evidence/0.2.27/specification-checks.json
evidence/0.2.27/input-hashes.json
evidence/0.2.27/preservation.json
evidence/0.2.27/release-gates.json

# PCFC11 0.2.28 condition CFG qualification
evidence/0.2.28/baseline-graph-witness.json
evidence/0.2.28/baseline-semantics.json
evidence/0.2.28/bootstrap-summary.json
evidence/0.2.28/compile-cost.json
evidence/0.2.28/condition-results.json
evidence/0.2.28/implementation.diff
evidence/0.2.28/references-summary.json
evidence/0.2.28/sanitizer-summary.json
evidence/0.2.28/standard-summary.json
evidence/0.2.28/summary.json

# PCFC11 0.2.29 shared CFG topology
evidence/0.2.29/SUMMARY.txt
evidence/0.2.29/standard-summary.json
evidence/0.2.29/system.json
evidence/0.2.29/topology.json
evidence/0.2.29/bootstrap-summary.json
evidence/0.2.29/sanitizer-summary.json
evidence/0.2.29/reference-summary.json
evidence/0.2.29/compile-cost.json
evidence/0.2.29/fresh-applications.json
evidence/0.2.29/fresh-windows-assembly.json
evidence/0.2.29/numerical-results.json

# PCFC11 0.2.30 direct label qualification
evidence/0.2.30/standard-summary.json
evidence/0.2.30/system.json
evidence/0.2.30/labels.json
evidence/0.2.30/baseline-labels.json
evidence/0.2.30/bootstrap-summary.json
evidence/0.2.30/sanitizer-summary.json
evidence/0.2.30/references-summary.json
evidence/0.2.30/fresh-applications.json
evidence/0.2.30/fresh-windows-assembly.json
evidence/0.2.30/compile-cost.json
evidence/0.2.30/qualifier-fault-injection.json
evidence/0.2.30/SUMMARY.txt
evidence/0.2.30/qualifier-metadata.json

# Strict driver flags for SDK verification
evidence/0.2.31/driver.json

# Public backend identity
evidence/0.2.32/backend-identity.json

# 0.2.33 switch dispatch/fallthrough
evidence/0.2.33/cfg-switch-final.json
evidence/0.2.33/cfg-switch-baseline.json

# 0.2.34 reaching definitions and use chains
evidence/0.2.34/def-use-final.json

# 0.2.35 shared storage liveness
evidence/0.2.35/shared-liveness.json

# PCFC11 0.2.36 shared dead-store proof consumer
evidence/0.2.36/dse-final.json

evidence/0.2.36/standard-summary.json
evidence/0.2.36/bootstrap-summary.json
evidence/0.2.36/sanitizer-summary.json
evidence/0.2.36/compile-comparison.json
