af88c3a0ae2e7ee4ba19eb31e00ec57c35cdbb2de9cc2c70d2d071de7d509d8e  README.md
b4a726f4037a9f5416e44aa89d6b130505ca0b419c926ba46eda0253b300b5dc  RGC_DPIED_09_Dynamic_Replanning_Local_Repair_and_Contract_Revalidation.md
66700c1acefd01e2c16a4af071856611f093dae1b23d511222c7c6741d2cb558  SOURCE_TRACEABILITY.md
795e80179d3b9e39d6ce54572f5be136035a67466a78e9f3af2cb00a63956aba  figures/01_proof_invalidation_scope.png
183ad11d3f217a09821f2bf5b0a30c75b483eb665bf8939741a68254563eaa08  figures/01_proof_invalidation_scope.svg
0abb99a7c18cce759268157023fdd272cea78449f76947b1d9b9f10dc60b1c17  figures/02_dependency_impact_matrix.png
e2783be4af2ffa64fde57291da0f304bf03760e4843e51f7732494b9e74681e2  figures/02_dependency_impact_matrix.svg
14b815c272c8a876cd4e6b543efbaa04860d1b7daec3d91afa44e3c46996c4d7  figures/03_replacement_gate_matrix.png
b3dffae1e909f8301e6c860677058823aff7bc455a256fbf50a334e49b5e55f8  figures/03_replacement_gate_matrix.svg
657050941098d77eb6e836e71642cab208bbcc5c10888cb65969bd69d0987b3a  figures/04_risk_budget_reserve.png
45853fd97c271d33e8f7a2aa72628bbb8651522459ef54f4a62c34ac5179f94c  figures/04_risk_budget_reserve.svg
0cc47515c922692d0bc9b6a89737e2309f2d25fbf28ce21f630e091cc1b43d5a  results/exact_results.json
0cc47515c922692d0bc9b6a89737e2309f2d25fbf28ce21f630e091cc1b43d5a  results/execution_summary.json
73290fbb8db10967c2747d9014ee48a2eef4b223258ac4e6726e06d8530f738d  results/impact_grid.csv
c04f6d1e82d4324f2ef21e9aaf205734dc47e8738cdf3e6ef7cb2f98c5cc7af6  results/independent_audit.json
c04f6d1e82d4324f2ef21e9aaf205734dc47e8738cdf3e6ef7cb2f98c5cc7af6  results/independent_execution.json
2ecf6596ecae5ba6bf287eb203785dff24a9297c8fd0ccfde1370660b5f6c966  results/unit_tests.txt
25cad0c6aafe229123ea12acb317234d99cf05d8bd4293a75888ca7cbbb029de  results/validation_report.json
574d55dc14b288302186368683d2f7a64f23cb83d268440188f477fe40d78708  schemas/crrv01_event_and_repair_example.json
da584d4341268ffe8fa889c5506349efcd1453e99a0c30a2c076141acb105ee8  src/independent_audit.py
b6d39887d7996365f596ff7378cb6554f03f6de7575e25938f7f131ca6726b00  src/render_figures.py
323ee0fcdcc25a7f94d24a65e6ed0c8b28f7b885cef9afeb0495e789c6bce18d  src/repair_core.py
f7ba4bcbe28e305fd16d61104ad06ce38075f7ca65de6d34b9a7f6187fd80c1a  src/run_experiments.py
3f86bdc84221b3b1f11574a5cc9cad5ca96b6b6a3a7d005398239d05d546d2c6  tests/test_repair.py
d0a263276ca83008d41518d19096558af0932a5d77fce89c1d2ee7185d697ae4  validate_release.py
