M docs/experiments/evidence/MANIFEST.tsv M docs/experiments/instruments/instrument/line-count/evidence/MANIFEST.tsv M docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/CLAIMS.md M docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/MANIFEST.tsv M docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/MANIFEST.tsv M docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/MANIFEST.tsv M docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/MANIFEST.tsv M docs/v1/experiments/evidence/cycles/09-policy-inside-the-compiler/CLAIMS.md M docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0047-REDO-arity-coverage-probe-both-sides.out M docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/MANIFEST.tsv M docs/v1/experiments/evidence/cycles/11-one-type-erases-the-return/MANIFEST.tsv M docs/v1/experiments/evidence/cycles/12-judgment-lives-with-knowledge/MANIFEST.tsv M docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/MANIFEST.tsv M docs/v1/experiments/evidence/cycles/14-keywords-that-reserve-nothing/MANIFEST.tsv M docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0011-post-native-suite.out M docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/MANIFEST.tsv M docs/v2/experiments/evidence/ITERATION/MANIFEST.tsv M docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/MANIFEST.tsv M tools/evidence/verify-manifest.sh ?? docs/experiments/evidence/0003-codegen-series-cloc.cmd ?? docs/experiments/evidence/0003-codegen-series-cloc.err ?? docs/experiments/evidence/0003-codegen-series-cloc.out ?? docs/experiments/evidence/0003-codegen-series-cloc.prov ?? docs/experiments/evidence/0003-codegen-series-cloc.rc ?? docs/experiments/evidence/0019-compiler-series-cloc.cmd ?? docs/experiments/evidence/0019-compiler-series-cloc.err ?? docs/experiments/evidence/0019-compiler-series-cloc.out ?? docs/experiments/evidence/0019-compiler-series-cloc.prov ?? docs/experiments/evidence/0019-compiler-series-cloc.rc ?? docs/experiments/instruments/CALIBRATION-20260817T174713Z.txt ?? docs/experiments/instruments/CALIBRATION-20260817T174754Z.txt ?? docs/experiments/instruments/instrument/line-count/evidence/0003-cloc-calibration.cmd ?? docs/experiments/instruments/instrument/line-count/evidence/0003-cloc-calibration.err ?? docs/experiments/instruments/instrument/line-count/evidence/0003-cloc-calibration.out ?? docs/experiments/instruments/instrument/line-count/evidence/0003-cloc-calibration.prov ?? docs/experiments/instruments/instrument/line-count/evidence/0003-cloc-calibration.rc ?? docs/experiments/instruments/instrument/plot/ ?? docs/experiments/reproduce.sh ?? docs/experiments/v2/ ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0019-manifest-tsv-row-integrity-audit.cmd ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0019-manifest-tsv-row-integrity-audit.err ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0019-manifest-tsv-row-integrity-audit.out ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0019-manifest-tsv-row-integrity-audit.prov ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0019-manifest-tsv-row-integrity-audit.rc ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0020-verify-manifest-full-run.cmd ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0020-verify-manifest-full-run.err ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0020-verify-manifest-full-run.out ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0020-verify-manifest-full-run.prov ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0020-verify-manifest-full-run.rc ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0021-verify-manifest-full-run-ABSOLUTE.cmd ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0021-verify-manifest-full-run-ABSOLUTE.err ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0021-verify-manifest-full-run-ABSOLUTE.out ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0021-verify-manifest-full-run-ABSOLUTE.prov ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0021-verify-manifest-full-run-ABSOLUTE.rc ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0022-verifier-false-pass-on-empty-dir.cmd ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0022-verifier-false-pass-on-empty-dir.err ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0022-verifier-false-pass-on-empty-dir.out ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0022-verifier-false-pass-on-empty-dir.prov ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0022-verifier-false-pass-on-empty-dir.rc ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0023-claimed-vs-observed-offset-table.cmd ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0023-claimed-vs-observed-offset-table.err ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0023-claimed-vs-observed-offset-table.out ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0023-claimed-vs-observed-offset-table.prov ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0023-claimed-vs-observed-offset-table.rc ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0024-baseline-4661-span-reconciliation.cmd ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0024-baseline-4661-span-reconciliation.err ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0024-baseline-4661-span-reconciliation.out ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0024-baseline-4661-span-reconciliation.prov ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0024-baseline-4661-span-reconciliation.rc ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0025-FINAL-verify-manifest-all-cycles.cmd ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0025-FINAL-verify-manifest-all-cycles.err ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0025-FINAL-verify-manifest-all-cycles.out ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0025-FINAL-verify-manifest-all-cycles.prov ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-codegen-linecounts/0025-FINAL-verify-manifest-all-cycles.rc ?? docs/v1/experiments/evidence/cycles/00-cross-cycle-emitter-nondeterminism-DEFECT/ ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0207-P3-control-binaries-wrapper-content.cmd ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0207-P3-control-binaries-wrapper-content.err ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0207-P3-control-binaries-wrapper-content.out ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0207-P3-control-binaries-wrapper-content.prov ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0207-P3-control-binaries-wrapper-content.rc ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0214-REDO-P3-control-binaries-wrapper-content.cmd ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0214-REDO-P3-control-binaries-wrapper-content.err ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0214-REDO-P3-control-binaries-wrapper-content.out ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0214-REDO-P3-control-binaries-wrapper-content.prov ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0214-REDO-P3-control-binaries-wrapper-content.rc ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0215-b40754f-tree-vs-285166c.cmd ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0215-b40754f-tree-vs-285166c.err ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0215-b40754f-tree-vs-285166c.out ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0215-b40754f-tree-vs-285166c.prov ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0215-b40754f-tree-vs-285166c.rc ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0223-sec6-figures-source-and-rederivation.cmd ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0223-sec6-figures-source-and-rederivation.err ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0223-sec6-figures-source-and-rederivation.out ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0223-sec6-figures-source-and-rederivation.prov ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0223-sec6-figures-source-and-rederivation.rc ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0224-harness-tally-arithmetic-285166c.cmd ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0224-harness-tally-arithmetic-285166c.err ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0224-harness-tally-arithmetic-285166c.out ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0224-harness-tally-arithmetic-285166c.prov ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0224-harness-tally-arithmetic-285166c.rc ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0225-REDO-harness-tally-history.cmd ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0225-REDO-harness-tally-history.err ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0225-REDO-harness-tally-history.out ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0225-REDO-harness-tally-history.prov ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/0225-REDO-harness-tally-history.rc ?? docs/v1/experiments/evidence/cycles/03-the-wrapper-was-conditional/CLAIMS.md ?? docs/v1/experiments/evidence/cycles/04-c-has-no-closure-syntax/CLAIMS.md ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0276-hottest-functions-measured-06a.cmd ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0276-hottest-functions-measured-06a.err ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0276-hottest-functions-measured-06a.out ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0276-hottest-functions-measured-06a.prov ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0276-hottest-functions-measured-06a.rc ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0296-RECONSTRUCTED-seam-cost-timing-06a.cmd ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0296-RECONSTRUCTED-seam-cost-timing-06a.err ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0296-RECONSTRUCTED-seam-cost-timing-06a.out ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0296-RECONSTRUCTED-seam-cost-timing-06a.prov ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0296-RECONSTRUCTED-seam-cost-timing-06a.rc ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0297-RECONSTRUCTED-free-when-unused-06a.cmd ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0297-RECONSTRUCTED-free-when-unused-06a.err ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0297-RECONSTRUCTED-free-when-unused-06a.out ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0297-RECONSTRUCTED-free-when-unused-06a.prov ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0297-RECONSTRUCTED-free-when-unused-06a.rc ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0298-REDO-free-when-unused-clean-binary-06a.cmd ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0298-REDO-free-when-unused-clean-binary-06a.err ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0298-REDO-free-when-unused-clean-binary-06a.out ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0298-REDO-free-when-unused-clean-binary-06a.prov ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0298-REDO-free-when-unused-clean-binary-06a.rc ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0299-exit-phase-bindability-check.cmd ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0299-exit-phase-bindability-check.err ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0299-exit-phase-bindability-check.out ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0299-exit-phase-bindability-check.prov ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0299-exit-phase-bindability-check.rc ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0324-RECONSTRUCTED-exit-binding-probe-06b.cmd ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0324-RECONSTRUCTED-exit-binding-probe-06b.err ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0324-RECONSTRUCTED-exit-binding-probe-06b.out ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0324-RECONSTRUCTED-exit-binding-probe-06b.prov ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0324-RECONSTRUCTED-exit-binding-probe-06b.rc ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0325-RECONSTRUCTED-exit-binding-probe-06e.cmd ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0325-RECONSTRUCTED-exit-binding-probe-06e.err ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0325-RECONSTRUCTED-exit-binding-probe-06e.out ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0325-RECONSTRUCTED-exit-binding-probe-06e.prov ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0325-RECONSTRUCTED-exit-binding-probe-06e.rc ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0326-strip-table-verification-28d19da.cmd ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0326-strip-table-verification-28d19da.err ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0326-strip-table-verification-28d19da.out ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0326-strip-table-verification-28d19da.prov ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0326-strip-table-verification-28d19da.rc ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0348-residual-kind-references-28d19da.cmd ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0348-residual-kind-references-28d19da.err ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0348-residual-kind-references-28d19da.out ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0348-residual-kind-references-28d19da.prov ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0348-residual-kind-references-28d19da.rc ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0363-fn-count-vs-seam-sites-06a.cmd ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0363-fn-count-vs-seam-sites-06a.err ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0363-fn-count-vs-seam-sites-06a.out ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0363-fn-count-vs-seam-sites-06a.prov ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/0363-fn-count-vs-seam-sites-06a.rc ?? docs/v1/experiments/evidence/cycles/06-the-crossing-resolves-at-emission/CLAIMS.md ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0039-thunk-noargs-and-seam-caller-search.cmd ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0039-thunk-noargs-and-seam-caller-search.err ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0039-thunk-noargs-and-seam-caller-search.out ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0039-thunk-noargs-and-seam-caller-search.prov ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0039-thunk-noargs-and-seam-caller-search.rc ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0040-REDO-seam-caller-and-wrap-assertion-search.cmd ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0040-REDO-seam-caller-and-wrap-assertion-search.err ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0040-REDO-seam-caller-and-wrap-assertion-search.out ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0040-REDO-seam-caller-and-wrap-assertion-search.prov ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0040-REDO-seam-caller-and-wrap-assertion-search.rc ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0041-native-compiler-tests-gen2-binary.cmd ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0041-native-compiler-tests-gen2-binary.err ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0041-native-compiler-tests-gen2-binary.out ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0041-native-compiler-tests-gen2-binary.prov ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0041-native-compiler-tests-gen2-binary.rc ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0042-integration-seam_binding-gen2-binary.cmd ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0042-integration-seam_binding-gen2-binary.err ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0042-integration-seam_binding-gen2-binary.out ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0042-integration-seam_binding-gen2-binary.prov ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0042-integration-seam_binding-gen2-binary.rc ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0043-CONTEXT-parent-native-tests-and-integration.cmd ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0043-CONTEXT-parent-native-tests-and-integration.err ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0043-CONTEXT-parent-native-tests-and-integration.out ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0043-CONTEXT-parent-native-tests-and-integration.prov ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0043-CONTEXT-parent-native-tests-and-integration.rc ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0044-codegen-diff-parent-to-commit.cmd ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0044-codegen-diff-parent-to-commit.err ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0044-codegen-diff-parent-to-commit.out ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0044-codegen-diff-parent-to-commit.prov ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0044-codegen-diff-parent-to-commit.rc ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0045-wraps_body-scanner-branch-at-parent.cmd ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0045-wraps_body-scanner-branch-at-parent.err ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0045-wraps_body-scanner-branch-at-parent.out ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0045-wraps_body-scanner-branch-at-parent.prov ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0045-wraps_body-scanner-branch-at-parent.rc ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0046-seam_binding-tally-history.cmd ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0046-seam_binding-tally-history.err ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0046-seam_binding-tally-history.out ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0046-seam_binding-tally-history.prov ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/0046-seam_binding-tally-history.rc ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/CLAIMS.md ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/parent07.sh ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/probe07.sh ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/thunk07.sh ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/thunk07b.sh ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/time07.sh ?? docs/v1/experiments/evidence/cycles/07-invocation-is-not-composable/time07b.sh ?? docs/v1/experiments/evidence/cycles/08-the-emitter-adjudicates/CLAIMS.md ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0047-REDO-arity-coverage-probe-both-sides.prov ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0047-REDO-arity-coverage-probe-both-sides.rc ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0048-checker-defects-and-mechanism.cmd ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0048-checker-defects-and-mechanism.err ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0048-checker-defects-and-mechanism.out ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0048-checker-defects-and-mechanism.prov ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0048-checker-defects-and-mechanism.rc ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0049-coverage-gap-and-orphaned-comments.cmd ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0049-coverage-gap-and-orphaned-comments.err ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0049-coverage-gap-and-orphaned-comments.out ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0049-coverage-gap-and-orphaned-comments.prov ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0049-coverage-gap-and-orphaned-comments.rc ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0050-shipped-parser-vs-correct-parser.cmd ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0050-shipped-parser-vs-correct-parser.err ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0050-shipped-parser-vs-correct-parser.out ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0050-shipped-parser-vs-correct-parser.prov ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/0050-shipped-parser-vs-correct-parser.rc ?? docs/v1/experiments/evidence/cycles/10-a-second-copy-of-the-header/CLAIMS.md ?? docs/v1/experiments/evidence/cycles/11-one-type-erases-the-return/0012-codegen-lines-P3-clean-tree.cmd ?? docs/v1/experiments/evidence/cycles/11-one-type-erases-the-return/0012-codegen-lines-P3-clean-tree.err ?? docs/v1/experiments/evidence/cycles/11-one-type-erases-the-return/0012-codegen-lines-P3-clean-tree.out ?? docs/v1/experiments/evidence/cycles/11-one-type-erases-the-return/0012-codegen-lines-P3-clean-tree.prov ?? docs/v1/experiments/evidence/cycles/11-one-type-erases-the-return/0012-codegen-lines-P3-clean-tree.rc ?? docs/v1/experiments/evidence/cycles/11-one-type-erases-the-return/0013-signatures-name-recount-P5-clean-tree.cmd ?? docs/v1/experiments/evidence/cycles/11-one-type-erases-the-return/0013-signatures-name-recount-P5-clean-tree.err ?? docs/v1/experiments/evidence/cycles/11-one-type-erases-the-return/0013-signatures-name-recount-P5-clean-tree.out ?? docs/v1/experiments/evidence/cycles/11-one-type-erases-the-return/0013-signatures-name-recount-P5-clean-tree.prov ?? docs/v1/experiments/evidence/cycles/11-one-type-erases-the-return/0013-signatures-name-recount-P5-clean-tree.rc ?? docs/v1/experiments/evidence/cycles/11-one-type-erases-the-return/0014-codegen-newline-termination-clean-tree.cmd ?? docs/v1/experiments/evidence/cycles/11-one-type-erases-the-return/0014-codegen-newline-termination-clean-tree.err ?? docs/v1/experiments/evidence/cycles/11-one-type-erases-the-return/0014-codegen-newline-termination-clean-tree.out ?? docs/v1/experiments/evidence/cycles/11-one-type-erases-the-return/0014-codegen-newline-termination-clean-tree.prov ?? docs/v1/experiments/evidence/cycles/11-one-type-erases-the-return/0014-codegen-newline-termination-clean-tree.rc ?? docs/v1/experiments/evidence/cycles/11-one-type-erases-the-return/CLAIMS.md ?? docs/v1/experiments/evidence/cycles/12-judgment-lives-with-knowledge/0011-codegen-lines-P4-clean-tree.cmd ?? docs/v1/experiments/evidence/cycles/12-judgment-lives-with-knowledge/0011-codegen-lines-P4-clean-tree.err ?? docs/v1/experiments/evidence/cycles/12-judgment-lives-with-knowledge/0011-codegen-lines-P4-clean-tree.out ?? docs/v1/experiments/evidence/cycles/12-judgment-lives-with-knowledge/0011-codegen-lines-P4-clean-tree.prov ?? docs/v1/experiments/evidence/cycles/12-judgment-lives-with-knowledge/0011-codegen-lines-P4-clean-tree.rc ?? docs/v1/experiments/evidence/cycles/12-judgment-lives-with-knowledge/0012-temporal-rel-rule-recount-clean-tree.cmd ?? docs/v1/experiments/evidence/cycles/12-judgment-lives-with-knowledge/0012-temporal-rel-rule-recount-clean-tree.err ?? docs/v1/experiments/evidence/cycles/12-judgment-lives-with-knowledge/0012-temporal-rel-rule-recount-clean-tree.out ?? docs/v1/experiments/evidence/cycles/12-judgment-lives-with-knowledge/0012-temporal-rel-rule-recount-clean-tree.prov ?? docs/v1/experiments/evidence/cycles/12-judgment-lives-with-knowledge/0012-temporal-rel-rule-recount-clean-tree.rc ?? docs/v1/experiments/evidence/cycles/12-judgment-lives-with-knowledge/CLAIMS.md ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0021-head-build-gen1.cmd ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0021-head-build-gen1.err ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0021-head-build-gen1.out ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0021-head-build-gen1.prov ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0021-head-build-gen1.rc ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0022-head-emit-c-str-len-add.cmd ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0022-head-emit-c-str-len-add.err ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0022-head-emit-c-str-len-add.out ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0022-head-emit-c-str-len-add.prov ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0022-head-emit-c-str-len-add.rc ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0023-head-cc.cmd ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0023-head-cc.err ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0023-head-cc.out ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0023-head-cc.prov ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0023-head-cc.rc ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0024-head-program-run-TODAY.cmd ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0024-head-program-run-TODAY.err ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0024-head-program-run-TODAY.out ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0024-head-program-run-TODAY.prov ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0024-head-program-run-TODAY.rc ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0025-codegen-lines-P4-clean-tree.cmd ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0025-codegen-lines-P4-clean-tree.err ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0025-codegen-lines-P4-clean-tree.out ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0025-codegen-lines-P4-clean-tree.prov ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0025-codegen-lines-P4-clean-tree.rc ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0026-is-int-call-recount-clean-tree.cmd ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0026-is-int-call-recount-clean-tree.err ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0026-is-int-call-recount-clean-tree.out ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0026-is-int-call-recount-clean-tree.prov ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/0026-is-int-call-recount-clean-tree.rc ?? docs/v1/experiments/evidence/cycles/13-thirty-five-return-types/CLAIMS.md ?? docs/v1/experiments/evidence/cycles/14-keywords-that-reserve-nothing/0016-head-inert-keyword-TODAY.cmd ?? docs/v1/experiments/evidence/cycles/14-keywords-that-reserve-nothing/0016-head-inert-keyword-TODAY.err ?? docs/v1/experiments/evidence/cycles/14-keywords-that-reserve-nothing/0016-head-inert-keyword-TODAY.out ?? docs/v1/experiments/evidence/cycles/14-keywords-that-reserve-nothing/0016-head-inert-keyword-TODAY.prov ?? docs/v1/experiments/evidence/cycles/14-keywords-that-reserve-nothing/0016-head-inert-keyword-TODAY.rc ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0011-post-native-suite.prov ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0011-post-native-suite.rc ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0012-post-integration-harnesses.cmd ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0012-post-integration-harnesses.err ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0012-post-integration-harnesses.out ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0012-post-integration-harnesses.prov ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0012-post-integration-harnesses.rc ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0013-post-compiler-self-check.cmd ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0013-post-compiler-self-check.err ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0013-post-compiler-self-check.out ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0013-post-compiler-self-check.prov ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0013-post-compiler-self-check.rc ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0014-P1-stride-sites-clean-tree.cmd ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0014-P1-stride-sites-clean-tree.err ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0014-P1-stride-sites-clean-tree.out ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0014-P1-stride-sites-clean-tree.prov ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0014-P1-stride-sites-clean-tree.rc ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0015-P1-stride-sites-all-files-clean-tree.cmd ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0015-P1-stride-sites-all-files-clean-tree.err ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0015-P1-stride-sites-all-files-clean-tree.out ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0015-P1-stride-sites-all-files-clean-tree.prov ?? docs/v1/experiments/evidence/cycles/16-tokens-carry-no-position/0015-P1-stride-sites-all-files-clean-tree.rc ?? docs/v1/experiments/evidence/cycles/17-annotations-are-never-checked/ ?? docs/v1/experiments/evidence/cycles/18-async-half-expressible/ ?? docs/v1/experiments/evidence/cycles/19-a-convention-is-not-a-gate/ ?? docs/v2/experiments/evidence/ITERATION/0004-fixpoint-gen2-eq-gen3.cmd ?? docs/v2/experiments/evidence/ITERATION/0004-fixpoint-gen2-eq-gen3.err ?? docs/v2/experiments/evidence/ITERATION/0004-fixpoint-gen2-eq-gen3.out ?? docs/v2/experiments/evidence/ITERATION/0004-fixpoint-gen2-eq-gen3.prov ?? docs/v2/experiments/evidence/ITERATION/0004-fixpoint-gen2-eq-gen3.rc ?? docs/v2/experiments/evidence/ITERATION/0005-native-suite.cmd ?? docs/v2/experiments/evidence/ITERATION/0005-native-suite.err ?? docs/v2/experiments/evidence/ITERATION/0005-native-suite.out ?? docs/v2/experiments/evidence/ITERATION/0005-native-suite.prov ?? docs/v2/experiments/evidence/ITERATION/0005-native-suite.rc ?? docs/v2/experiments/evidence/ITERATION/0006-harness-annotation_query.cmd ?? docs/v2/experiments/evidence/ITERATION/0006-harness-annotation_query.err ?? docs/v2/experiments/evidence/ITERATION/0006-harness-annotation_query.out ?? docs/v2/experiments/evidence/ITERATION/0006-harness-annotation_query.prov ?? docs/v2/experiments/evidence/ITERATION/0006-harness-annotation_query.rc ?? docs/v2/experiments/evidence/ITERATION/0007-harness-arity_query.cmd ?? docs/v2/experiments/evidence/ITERATION/0007-harness-arity_query.err ?? docs/v2/experiments/evidence/ITERATION/0007-harness-arity_query.out ?? docs/v2/experiments/evidence/ITERATION/0007-harness-arity_query.prov ?? docs/v2/experiments/evidence/ITERATION/0007-harness-arity_query.rc ?? docs/v2/experiments/evidence/ITERATION/0008-harness-async_future.cmd ?? docs/v2/experiments/evidence/ITERATION/0008-harness-async_future.err ?? docs/v2/experiments/evidence/ITERATION/0008-harness-async_future.out ?? docs/v2/experiments/evidence/ITERATION/0008-harness-async_future.prov ?? docs/v2/experiments/evidence/ITERATION/0008-harness-async_future.rc ?? docs/v2/experiments/evidence/ITERATION/0009-harness-capability_query.cmd ?? docs/v2/experiments/evidence/ITERATION/0009-harness-capability_query.err ?? docs/v2/experiments/evidence/ITERATION/0009-harness-capability_query.out ?? docs/v2/experiments/evidence/ITERATION/0009-harness-capability_query.prov ?? docs/v2/experiments/evidence/ITERATION/0009-harness-capability_query.rc ?? docs/v2/experiments/evidence/ITERATION/0010-harness-definitions_query.cmd ?? docs/v2/experiments/evidence/ITERATION/0010-harness-definitions_query.err ?? docs/v2/experiments/evidence/ITERATION/0010-harness-definitions_query.out ?? docs/v2/experiments/evidence/ITERATION/0010-harness-definitions_query.prov ?? docs/v2/experiments/evidence/ITERATION/0010-harness-definitions_query.rc ?? docs/v2/experiments/evidence/ITERATION/0011-harness-prohibition_query.cmd ?? docs/v2/experiments/evidence/ITERATION/0011-harness-prohibition_query.err ?? docs/v2/experiments/evidence/ITERATION/0011-harness-prohibition_query.out ?? docs/v2/experiments/evidence/ITERATION/0011-harness-prohibition_query.prov ?? docs/v2/experiments/evidence/ITERATION/0011-harness-prohibition_query.rc ?? docs/v2/experiments/evidence/ITERATION/0012-harness-seam_binding.cmd ?? docs/v2/experiments/evidence/ITERATION/0012-harness-seam_binding.err ?? docs/v2/experiments/evidence/ITERATION/0012-harness-seam_binding.out ?? docs/v2/experiments/evidence/ITERATION/0012-harness-seam_binding.prov ?? docs/v2/experiments/evidence/ITERATION/0012-harness-seam_binding.rc ?? docs/v2/experiments/evidence/ITERATION/0013-harness-seam_caller.cmd ?? docs/v2/experiments/evidence/ITERATION/0013-harness-seam_caller.err ?? docs/v2/experiments/evidence/ITERATION/0013-harness-seam_caller.out ?? docs/v2/experiments/evidence/ITERATION/0013-harness-seam_caller.prov ?? docs/v2/experiments/evidence/ITERATION/0013-harness-seam_caller.rc ?? docs/v2/experiments/evidence/ITERATION/0014-harness-tagged_gate.cmd ?? docs/v2/experiments/evidence/ITERATION/0014-harness-tagged_gate.err ?? docs/v2/experiments/evidence/ITERATION/0014-harness-tagged_gate.out ?? docs/v2/experiments/evidence/ITERATION/0014-harness-tagged_gate.prov ?? docs/v2/experiments/evidence/ITERATION/0014-harness-tagged_gate.rc ?? docs/v2/experiments/evidence/ITERATION/0015-harness-temporal_query.cmd ?? docs/v2/experiments/evidence/ITERATION/0015-harness-temporal_query.err ?? docs/v2/experiments/evidence/ITERATION/0015-harness-temporal_query.out ?? docs/v2/experiments/evidence/ITERATION/0015-harness-temporal_query.prov ?? docs/v2/experiments/evidence/ITERATION/0015-harness-temporal_query.rc ?? docs/v2/experiments/evidence/ITERATION/0016-harness-temporal_signatures.cmd ?? docs/v2/experiments/evidence/ITERATION/0016-harness-temporal_signatures.err ?? docs/v2/experiments/evidence/ITERATION/0016-harness-temporal_signatures.out ?? docs/v2/experiments/evidence/ITERATION/0016-harness-temporal_signatures.prov ?? docs/v2/experiments/evidence/ITERATION/0016-harness-temporal_signatures.rc ?? docs/v2/experiments/evidence/ITERATION/0017-harness-unguarded_deref.cmd ?? docs/v2/experiments/evidence/ITERATION/0017-harness-unguarded_deref.err ?? docs/v2/experiments/evidence/ITERATION/0017-harness-unguarded_deref.out ?? docs/v2/experiments/evidence/ITERATION/0017-harness-unguarded_deref.prov ?? docs/v2/experiments/evidence/ITERATION/0017-harness-unguarded_deref.rc ?? docs/v2/experiments/evidence/ITERATION/0018-harness-units_as_data.cmd ?? docs/v2/experiments/evidence/ITERATION/0018-harness-units_as_data.err ?? docs/v2/experiments/evidence/ITERATION/0018-harness-units_as_data.out ?? docs/v2/experiments/evidence/ITERATION/0018-harness-units_as_data.prov ?? docs/v2/experiments/evidence/ITERATION/0018-harness-units_as_data.rc ?? docs/v2/experiments/evidence/ITERATION/0019-codegen-total-vs-comment-vs-code.cmd ?? docs/v2/experiments/evidence/ITERATION/0019-codegen-total-vs-comment-vs-code.err ?? docs/v2/experiments/evidence/ITERATION/0019-codegen-total-vs-comment-vs-code.out ?? docs/v2/experiments/evidence/ITERATION/0019-codegen-total-vs-comment-vs-code.prov ?? docs/v2/experiments/evidence/ITERATION/0019-codegen-total-vs-comment-vs-code.rc ?? docs/v2/experiments/evidence/ITERATION/0020-harness-assertion-tally.cmd ?? docs/v2/experiments/evidence/ITERATION/0020-harness-assertion-tally.err ?? docs/v2/experiments/evidence/ITERATION/0020-harness-assertion-tally.out ?? docs/v2/experiments/evidence/ITERATION/0020-harness-assertion-tally.prov ?? docs/v2/experiments/evidence/ITERATION/0020-harness-assertion-tally.rc ?? docs/v2/experiments/evidence/ITERATION/0021-unguarded-deref-ratchet.cmd ?? docs/v2/experiments/evidence/ITERATION/0021-unguarded-deref-ratchet.err ?? docs/v2/experiments/evidence/ITERATION/0021-unguarded-deref-ratchet.out ?? docs/v2/experiments/evidence/ITERATION/0021-unguarded-deref-ratchet.prov ?? docs/v2/experiments/evidence/ITERATION/0021-unguarded-deref-ratchet.rc ?? docs/v2/experiments/evidence/ITERATION/0022-measurement-window-lang-untouched.cmd ?? docs/v2/experiments/evidence/ITERATION/0022-measurement-window-lang-untouched.err ?? docs/v2/experiments/evidence/ITERATION/0022-measurement-window-lang-untouched.out ?? docs/v2/experiments/evidence/ITERATION/0022-measurement-window-lang-untouched.prov ?? docs/v2/experiments/evidence/ITERATION/0022-measurement-window-lang-untouched.rc ?? docs/v2/experiments/evidence/ITERATION/0023-CONTROL-verify-manifest-over-all-v2-cycles.cmd ?? docs/v2/experiments/evidence/ITERATION/0023-CONTROL-verify-manifest-over-all-v2-cycles.err ?? docs/v2/experiments/evidence/ITERATION/0023-CONTROL-verify-manifest-over-all-v2-cycles.out ?? docs/v2/experiments/evidence/ITERATION/0023-CONTROL-verify-manifest-over-all-v2-cycles.prov ?? docs/v2/experiments/evidence/ITERATION/0023-CONTROL-verify-manifest-over-all-v2-cycles.rc ?? docs/v2/experiments/evidence/ITERATION/0024-evidence-inventory.cmd ?? docs/v2/experiments/evidence/ITERATION/0024-evidence-inventory.err ?? docs/v2/experiments/evidence/ITERATION/0024-evidence-inventory.out ?? docs/v2/experiments/evidence/ITERATION/0024-evidence-inventory.prov ?? docs/v2/experiments/evidence/ITERATION/0024-evidence-inventory.rc ?? docs/v2/experiments/evidence/ITERATION/0025-zz-tree-state-at-end.cmd ?? docs/v2/experiments/evidence/ITERATION/0025-zz-tree-state-at-end.err ?? docs/v2/experiments/evidence/ITERATION/0025-zz-tree-state-at-end.out ?? docs/v2/experiments/evidence/cycles/02-seven-tables-and-a-shipped-defect/ ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0032-31-AUDIT-unbound-nothing-reported.cmd ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0032-31-AUDIT-unbound-nothing-reported.err ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0032-31-AUDIT-unbound-nothing-reported.out ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0032-31-AUDIT-unbound-nothing-reported.prov ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0032-31-AUDIT-unbound-nothing-reported.rc ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0033-32-AUDIT-bound-the-caller-is-visible.cmd ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0033-32-AUDIT-bound-the-caller-is-visible.err ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0033-32-AUDIT-bound-the-caller-is-visible.out ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0033-32-AUDIT-bound-the-caller-is-visible.prov ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0033-32-AUDIT-bound-the-caller-is-visible.rc ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0034-33-the-harness-assertion-greps-SOURCE.cmd ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0034-33-the-harness-assertion-greps-SOURCE.err ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0034-33-the-harness-assertion-greps-SOURCE.out ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0034-33-the-harness-assertion-greps-SOURCE.prov ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0034-33-the-harness-assertion-greps-SOURCE.rc ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0035-34-DISCONNECT-baseline-grep-count-and-binary-sha.cmd ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0035-34-DISCONNECT-baseline-grep-count-and-binary-sha.err ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0035-34-DISCONNECT-baseline-grep-count-and-binary-sha.out ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0035-34-DISCONNECT-baseline-grep-count-and-binary-sha.prov ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0035-34-DISCONNECT-baseline-grep-count-and-binary-sha.rc ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0036-35-DISCONNECT-add-a-COMMENT-to-source.cmd ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0036-35-DISCONNECT-add-a-COMMENT-to-source.err ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0036-35-DISCONNECT-add-a-COMMENT-to-source.out ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0036-35-DISCONNECT-add-a-COMMENT-to-source.prov ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0036-35-DISCONNECT-add-a-COMMENT-to-source.rc ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0037-36-DISCONNECT-harness-now-FAILS-on-a-comment.cmd ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0037-36-DISCONNECT-harness-now-FAILS-on-a-comment.err ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0037-36-DISCONNECT-harness-now-FAILS-on-a-comment.out ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0037-36-DISCONNECT-harness-now-FAILS-on-a-comment.prov ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0037-36-DISCONNECT-harness-now-FAILS-on-a-comment.rc ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0038-37-DISCONNECT-revert-the-comment.cmd ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0038-37-DISCONNECT-revert-the-comment.err ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0038-37-DISCONNECT-revert-the-comment.out ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0038-37-DISCONNECT-revert-the-comment.prov ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0038-37-DISCONNECT-revert-the-comment.rc ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0039-38-defect11-arity-assertion-BEFORE-503.cmd ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0039-38-defect11-arity-assertion-BEFORE-503.err ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0039-38-defect11-arity-assertion-BEFORE-503.out ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0039-38-defect11-arity-assertion-BEFORE-503.prov ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0039-38-defect11-arity-assertion-BEFORE-503.rc ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0040-39-defect11-arity-assertion-AFTER-property.cmd ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0040-39-defect11-arity-assertion-AFTER-property.err ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0040-39-defect11-arity-assertion-AFTER-property.out ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0040-39-defect11-arity-assertion-AFTER-property.prov ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0040-39-defect11-arity-assertion-AFTER-property.rc ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0041-40-worktree-clean-at-end.cmd ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0041-40-worktree-clean-at-end.err ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0041-40-worktree-clean-at-end.out ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0041-40-worktree-clean-at-end.prov ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/0041-40-worktree-clean-at-end.rc ?? docs/v2/experiments/evidence/cycles/07-the-caller-was-already-there/CLAIMS.md