694dc33ed351cb85d2ea6df69a8be28997f4fa0fe315a473cfa930ad00d65693  .github/workflows/repro.yml
d0e0335a306540c0d0542d67ea22b0c029d0318dc082b590db3c29d0875f91bf  .gitignore
7bccada68a6810897a1ef15620a00c9736050ce8528a427c64abd25f88858945  appendix_proofs.pdf
e5b598ecf6109033dcc53df3c4651cf0c8146322a1e605fb4d846fac7c6f9a91  bib.bib
629baabe9c53692bc3e54b65eb8cc7073a15c9b07d5e68f9fc0447b24d151fb1  CITATION.cff
b8e49b57029894aa27be444ff4711a9e2bceb8575f2c4639629ef6b607669273  code/__init__.py
6105cffd149c8a85aec9de7f96ed9c548c5d72646355d0a6df6a6e7a536ec48e  code/random_state.py
0e8ecb174ad15761efce92b51afa5e035fe3fd958f8ddd7bfadeadad68941bc5  code/README.md
03c1abc3a854934721bf706cdb119aa3186c09252a65e843848e82fb7f0567d7  code/run_all.sh
5e445976d3e241a067de64e26c78ccb38fa1cd4cdee85cf27b66388937589760  code/run_seeded.sh
3261f3b26a69d648b09581307b0dd41798dc569f185497b7b60f2f07f8109194  code/seed_list.txt
c944262a6a2ea1d612e677b5f300647fd6576e431428be681a66c81002cb0a90  code/src/README.md
24ebdb21b9a14c7f111e4599754d0146f3de1053c2ca61fead0b043da16db6fd  controlgym_full_method/__init__.py
c97182e40ef06b48fbecacf8b41d2d17648269b2e0b7ba19c69eba1142e5e0d4  controlgym_full_method/evaluation.py
cdf4217321ce5b398666c2ce9b38e9952cdfd0d4b623758591108428f3e2943d  controlgym_full_method/execution.py
826f9290e38a317e68be3fd2734cdbb78bb6f22c48eabac1f647fb20e0558a6a  controlgym_full_method/interfaces.py
aee74eedaf29d4204f36a0dcaeb7238ea8bf51f8502f6f39ca2b3e2b8f64a86c  controlgym_full_method/nominal.py
6b9b1815547ec1056b591871eb4356d7543e5abb53d08da193c382d8afd60ebb  controlgym_full_method/projection.py
1d981f880dc6db13827de92d01260bfd1952bd67eb66ac83928a6dec0796a832  controlgym_full_method/run_benchmark.py
d01d905e7bc67945534c93c942d3983878ddd46fea08caab05ff576e7054a790  controlgym_full_method/run_figure_suite.py
2a19e35cefe8b5f5f19ff45e11e7512a10948235cfecd4085f8870a442a7a9f8  controlgym_full_method/training.py
6d890a6fcf8218ad14065e1bd1e881912c91ad5c6ab054e39b8ed0ba7458120b  controlgym_full_method_v2/__init__.py
fc79de6b0195a0540e807419584e7406d7b9343ccf66f461064440fecb44fc1b  controlgym_full_method_v2/export_env_bundle.py
ce0a1e300724a6681d0b1529e8d62770c98a81a9d268d2dc90ce8874868b4787  controlgym_full_method_v2/run_figure_suite.py
927489a4765fab12d6c02e853633077c8f216549cde2c2f74b3a8c06f6156972  controlgym_full_method_v2/validate_outputs.py
6d890a6fcf8218ad14065e1bd1e881912c91ad5c6ab054e39b8ed0ba7458120b  controlgym_full_method_v2_je2/__init__.py
f34c49a6144c9c4b087a1d4d7317cc148930ff378314def0a5212da8aa2ef717  controlgym_full_method_v2_je2/multi_input_support.py
f42e9f7b423e0cf528edcf412f53a7382b92000157a04339ffd7f34238a06ced  controlgym_full_method_v2_je2/run_figure_suite.py
ee5ee3a99a2e98f2fb365b0220b102bcb82deba8978a1a27fd5a3d10bd31ccd8  controlgym_full_method_v2_je2/validate_outputs.py
02894b761c248e06ee8f5ca0b95c76243dacaded0605e8b277c59fb95a8d9b14  COVER_LETTER.txt
4a45724023001d794c0831d987280458d2e45f18c9a5e2c176adab510d9ddb65  data/processed/revision_tables_v4_1/aggregate_metrics.csv
d8a886f065eff0377600cb49792188fb5dccc4263fe0adee4e69863f20098f81  data/processed/revision_tables_v4_1/evidence_index.md
b3f87f97590474d51d1e37522aded6452d89ecb49ad8f0ec715e924dd901d5eb  data/processed/revision_tables_v4_1/metrics_long.csv
b82a6f6b214c8b11532d498927351c0dec2ccf47cf309a1b85f03700df86b227  data/processed/revision_tables_v4_1/report.md
72704b58d74901d35cb0943bf45fd89522f4d84db3a58891d09d3ab9b0c77f90  data/processed/revision_tables_v4_1/summary.json
54ed463ad2dbea62b2f57b5a86f1f8781114d23c3e46c95476ac86364a2184d8  data/raw/actor_augmented_diagnostics_5seed/actor_augmented_per_seed.csv
908d6b31202c2b1339e2668f068e08991cb2914ddeb874580dde55ae1e119874  data/raw/actor_augmented_diagnostics_5seed/actor_augmented_report.md
41c62fe6d914384e3495dd8a144fb7141d7d44b4130f8e8845d4c07edef3080b  data/raw/actor_augmented_diagnostics_5seed/actor_augmented_summary.csv
617d404749266a118292fa697034d2b0b1e39fb0c8b7165c9518fb7a7ddda077  data/raw/actor_augmented_diagnostics_5seed/summary.json
a49871af4c2bfa1a3adf7f94dc52f5995517c1f79f90f252e6158417f90a7422  data/raw/ci_causal_isolation/peak_gain_vs_kappa.png
b81f116044ca9a41a7934f46ed42d17b233855e794a8ee60d95f51ad89b83c5a  data/raw/ci_causal_isolation/report.md
b76e664112e7e23161858828f9a44cc6928c97d669571c289a6de85f696313c7  data/raw/ci_causal_isolation/source_intervention_comparison.png
99131dafdcc2ca0fddf9073705656510febfbbb5972f4e6116e548ee694246d3  data/raw/ci_causal_isolation/summary.json
01b32a868071004f62a99fdf869f64b0c6c4a0ad88ef541d868fa754b57971bb  data/raw/ci_causal_isolation/test_results.json
862790ab2960ba950590b110409b2e4949e3e1f260ba9ea8ec3c90fc0bdb73b8  data/raw/ci_causal_isolation/test_results.png
73e86b5ae734b6c9bf4d5361b96ea02cfa3120ca64eb887fc3c59d68a64a4e77  data/raw/ci_causal_isolation/trace_sigma_vs_kappa.png
c033cb35dd88658da481426a9f2e5c80950c25d205ad6c4a20ba36fe4c0bb05e  data/raw/ci_causal_isolation/uav_bridge_consistency.png
0d34bd87819e10e66f17609d6fb3c64a859caca2a08dcef41d6dfd0d035bf75d  data/raw/ci_causal_isolation/uav_bridge_uncertainty_vs_noise.png
4f2b78d23245843a9bbedce59123c12751a1223e5784fbb32a8953e2776cbba4  data/raw/full3d_5seed/component_metrics_long.csv
94cde77aa5097346eeca258b5a77d17cdd1e93f983a5b0af7f97d575b93b3d3a  data/raw/full3d_5seed/full3d_5seed_high_noise_summary.pdf
228cb686a20c82d7752418bd266e947d5fa6f13a38531f90a0e6a6e49e8751e2  data/raw/full3d_5seed/full3d_5seed_high_noise_summary.png
b8fd637ad081eeade9c17ebc92ceca6f5b48323e4538fdcd99fb099282e14545  data/raw/full3d_5seed/full3d_attitude_motor_psd.pdf
1b349f73009b6880bc81e7435f3432070076107006474aec5ac122685cac0afd  data/raw/full3d_5seed/full3d_attitude_motor_psd.png
d379d62bbb715880d46791daabe2865e18ed145884d54c25f3b14b69460ca343  data/raw/full3d_5seed/full3d_high_noise_envelopes.pdf
e076d4f400f729b5c4dc879b628d0f883d3bb120fea18ee21ddede3fa1d03997  data/raw/full3d_5seed/full3d_high_noise_envelopes.png
65a2454453b7f68d650f149aefb595b1dd227eff68acead5b1c9834c121fc836  data/raw/full3d_5seed/full3d_motor_rms.pdf
40d74ad449b375fdd7db83172b4322825e58f046a25d66ee42d950d82acb87c5  data/raw/full3d_5seed/full3d_motor_rms.png
4340944bf71c4c0f7cace2ea58afcb5835834c412390eb6f2500056cb77cae6e  data/raw/full3d_5seed/full3d_motor_smoothness.pdf
b0051865a589324c5965c9299032687daa155d6ae8653e8f52b2dbf6cabe5f05  data/raw/full3d_5seed/full3d_motor_smoothness.png
664cc7b74b868e1c72f693f556dfa4ee5b282f1031d07647676b2f384d640a07  data/raw/full3d_5seed/full3d_pass_rates.pdf
7a10881284f8e331c436d0476069aa92912577d7c8cb20a61e4c166ab6b50999  data/raw/full3d_5seed/full3d_pass_rates.png
d6200aee71d3398941a7ee37706c6f70d7881b825982fe09eca3ab2048e80991  data/raw/full3d_5seed/full3d_selected_state_rms.pdf
1cb668357e52b8e6d2eaa3df27affc4da3d5d82fbdb81724f5637aecf93ab398  data/raw/full3d_5seed/full3d_selected_state_rms.png
97e5f0f3602f457f8c5c9a9a841a5ea29a71670df50a71cd9cb68c9fc7857602  data/raw/full3d_5seed/full3d_transient_comparison.pdf
fb88e83f8b2d0028817151ce00f1084ea969f317ae335b4c704bf128ba77a1b1  data/raw/full3d_5seed/full3d_transient_comparison.png
3f7209103872065b3fb94e9ea06830a390ded25c329d4e93e92edb61da7d87aa  data/raw/full3d_5seed/high_noise_white_filtered_summary.csv
c02915efe4105d0e86ccceeaf4678ddd307a124880c3a0c343338b5228074e82  data/raw/full3d_5seed/metrics_aggregate_mean_std.csv
2076fad9416f48963792cffa683afa99553e5a26d7e80a4d37e7b33acdeda48c  data/raw/full3d_5seed/metrics_long.csv
67d12fead87a798f2d7f5b54df1499f350fcf2086e841e3ae364fb26a3852cae  data/raw/full3d_5seed/report.md
cb5ebe2da613712469f982652ccdfe63a93d02e14a3e2f905cc910dfc485d480  data/raw/full3d_5seed/summary.json
604c1b91fa5c133d13fa865e14f85052289fbf75c972066a1254ac77ac2a127c  data/raw/full3d_5seed/table_iiprime_full3d_diagnostics.csv
e67faefc4cded22b6d28406b12205cd3d72dd9dbe6b2978b6ea1620016c9a601  data/raw/full3d_5seed/table_iiprime_full3d_diagnostics.md
5b490c64890321cbea62d0432c7c32ed678a6a6dd4f42aadb472cba2582a244c  data/raw/full3d_5seed/table_ix_lifted_mismatch.csv
450ffbb41f4b6a2fc4cb32f635901dd08651349cbb2f642cb142e5218b11afe0  data/raw/full3d_5seed/table_ix_lifted_mismatch.md
362292f93be715f380e80f5897a1ea71efe26059acf4150945402d5881560286  data/raw/full3d_5seed/table_viii_full3d_end2end.csv
775a9de67667a6216e6dcb2008beda61043a03f788776a235e58bbf6cdac0ddb  data/raw/full3d_5seed/table_viii_full3d_end2end.md
abb202fb9f7546483a902a58619399796a78cb6a291142ed344d781bddc851fc  data/raw/full3d_5seed/table_viik_conditional_ablation_full3d.csv
aaba93f10b7dd51ba33ccf84681464e856c1ae3d4782f0b56c2d19479a4e23a7  data/raw/full3d_5seed/table_viik_conditional_ablation_full3d.md
222b231f1304c80c0340cea13c69a560dcfa56ea3c9ce534d7c122d9af0fc25b  data/raw/metric_attribution_5seed/aggregate_metrics.csv
425e8f5b5fa6fcb885c1ea6707893e53d3bfc3128f103e5ed7249ad4abe050d8  data/raw/metric_attribution_5seed/metric_attribution_report.md
6d7ecafd9b5427c575a8fae747f90e24a84a491bd9ce598a57a520fcf925ea87  data/raw/metric_attribution_5seed/metric_attribution_table.csv
432a58df147f85070d142fffda391141c878f22013e4088e2c2ea8d94354fc06  data/raw/metric_attribution_5seed/metric_attribution_table.md
054b6ca6db6ab76e46ff28c5079a671577cf793c41a7ae4bd4e91161870ab040  data/raw/metric_attribution_5seed/metrics_long.csv
9d02c6fca68eb46ee7241dc095a6e219d9a0ad244cf2219e1f04cc3d744db8b4  data/raw/metric_attribution_5seed/report.md
20e62b53f7dbf7c7756e67b9d464a02dce571d9b869f1aa70b6a9036c4e4ff44  data/raw/metric_attribution_5seed/reviewer_response_issue1_zh.md
da95e9e74b3e4bb2401ce37c039cc29a0e45c17f93e6f76f4f400b5faa38fb5a  data/raw/metric_attribution_5seed/summary.json
9f299984117be570adc0c2313ae8b522689e055de7decbbfd3975bfecb4568a9  data/raw/metric_attribution_5seed/worker_manifest.csv
00632d4013d4788d620b2d9aeaaa631fc150333f9cc6746529bcf330a3e75813  data/raw/safe10_formal_5seed/example_rollouts.json
9968f134c960e036e818de9835a4087219b7cb6be5f0ef01d79b7a667bbbfcc2  data/raw/safe10_formal_5seed/example_rollouts.png
9b8f4c53cc6219e75fbd768e3dee90bb4c8673a8dc82ae0dccfac284e794ae08  data/raw/safe10_formal_5seed/metrics_long.csv
7110977bf2724e3e6495cc1b21d17675f0f04d2181f934991e409e0c00ad393d  data/raw/safe10_formal_5seed/noise_response.png
fbdafdbb6a2c16cf11448924eb3a8323b5f4bfd7707319fdbacdce56204e4f20  data/raw/safe10_formal_5seed/report.md
7092d789e0c266df4f5fca8888e0c0a9bd1407b12b053ff9f03380d33b6b7b90  data/raw/safe10_formal_5seed/seed_0/ale_reg_variance_aware_koopman_safe/actor_augmented_metrics.json
c446816e4e310c878367e9261fa01af2f8479921b87ac3b0d0736fffc0867a8d  data/raw/safe10_formal_5seed/seed_0/ale_reg_variance_aware_koopman_safe/summary.json
f05e0764596c431a4af271adde5c4396dbaf527f8b77c252e6412a43f6ed8de8  data/raw/safe10_formal_5seed/seed_0/ale_reg_variance_aware_koopman_safe/train.monitor.csv
cf76ff998d2a8d796be5fb3303f9b3c71c81a01eb3a29926db78dd50cb3b7ff6  data/raw/safe10_formal_5seed/seed_0/ale_reg_variance_aware_koopman_safe/train_curve.json
3230a29c9a862314433bf67a8cb0d3820508b557d784118ca63616d69dbc5e7f  data/raw/safe10_formal_5seed/seed_0/direct_td3/actor_augmented_metrics.json
9da71860f44c1c9a1bf6c99650487fb04248ef733c2cf0c59ab477cafbcd2709  data/raw/safe10_formal_5seed/seed_0/direct_td3/summary.json
fff43383d8cb646e3517a5d5d6675a31da52471e3fd2b3530fcd4598732a3af9  data/raw/safe10_formal_5seed/seed_0/direct_td3/train.monitor.csv
0edf7a3553bfe6890898fb623ecd8fa58492b77a59cb4ffdccffeac1b485d8fd  data/raw/safe10_formal_5seed/seed_0/direct_td3/train_curve.json
0e661e3332da242fd745d3cad1c0472f69e25b3ed4a3078e63488689f388cccb  data/raw/safe10_formal_5seed/seed_0/ppo_lagrangian/summary.json
57ce0cd352d8202e78f1522c9bd5dabc730e6c2a925a6b89f31c9aa4cf556972  data/raw/safe10_formal_5seed/seed_0/ppo_lagrangian/train.monitor.csv
73240f8a8a7ef14d6b12c628ccb80bbdab992fb42b1d44ed1cd40e5d85deef21  data/raw/safe10_formal_5seed/seed_0/ppo_lagrangian/train_curve.json
ff4a1c906976837b5c090d1493320804fb94c110da375dd2babb625063168870  data/raw/safe10_formal_5seed/seed_0/ppo_penalty/summary.json
a97dace6db33195cfc30ea02d1d15b0fd6973a600ab5601ab1639a21595ec101  data/raw/safe10_formal_5seed/seed_0/ppo_penalty/train.monitor.csv
572f8b72855c9b69cb06afe8d95fb6fc0dc059ed68a520cb54a2b7f79e47094a  data/raw/safe10_formal_5seed/seed_0/ppo_penalty/train_curve.json
57285edf62acee89bcb546bf09bc17279852ac242decd6394f99d4a4be879a0b  data/raw/safe10_formal_5seed/seed_0/sac_lagrangian/summary.json
62657ff9bb0a55967842c4153321c26bc223985f5f2cedd611115e5e7cc03fc4  data/raw/safe10_formal_5seed/seed_0/sac_lagrangian/train.monitor.csv
fa2a8594d56fae41be8fa1c75da859dbb25c9e40bdeb4681e50ed7b27abeae82  data/raw/safe10_formal_5seed/seed_0/sac_lagrangian/train_curve.json
4c8270ecc1f04daffc608fa741746c7abd37921f14f6620619596080f20706b9  data/raw/safe10_formal_5seed/seed_0/sac_shielded/summary.json
c76dfebe91ee4189e200914f3804bbbac30258c4c450691961c8671aae8793e3  data/raw/safe10_formal_5seed/seed_0/sac_shielded/train.monitor.csv
bc26f6302fc4eef64fd5d81d9b7dfbac2ae5d3b87253aa523435be36051e56ba  data/raw/safe10_formal_5seed/seed_0/sac_shielded/train_curve.json
afa2a7b67c1dd9310bb54baf393a34530a5b8ebbd81f0d78f181e60d1d801ced  data/raw/safe10_formal_5seed/seed_0/td3_action_diff_penalty/summary.json
28e34567856da9323b98339cb761e9cf4f5744336892a6262ebdff83fd760e47  data/raw/safe10_formal_5seed/seed_0/td3_action_diff_penalty/train.monitor.csv
e52bbc3d1bd8b32ef670224c373d86ca79ca10311937f60895f2c06cf7429f35  data/raw/safe10_formal_5seed/seed_0/td3_action_diff_penalty/train_curve.json
962af3d0cc2029771409eecbc0ed152e6d752c97d09f9e1e19aa62d5741b33f9  data/raw/safe10_formal_5seed/seed_0/td3_low_pass_only/summary.json
f5852d125e09b83bfb798a92c882f1230b3c4d9f936ebad47c4ae819e861390f  data/raw/safe10_formal_5seed/seed_0/td3_low_pass_only/train.monitor.csv
ff772af7412c2d8779e3fc63e9436b00ef51dc1c32aa00d6f90bd92985e0dbd9  data/raw/safe10_formal_5seed/seed_0/td3_low_pass_only/train_curve.json
cf2d1d947a25dae03217a7ee834e7ce2cef7557e8db2d8a1d577c782d18b7967  data/raw/safe10_formal_5seed/seed_0/td3_projection_only/summary.json
186c857b23c5f22a771d331af209930483475dd8a39e1eef7b73a57347cc278a  data/raw/safe10_formal_5seed/seed_0/td3_projection_only/train.monitor.csv
457a9c6e958537e894f7fcad39b335173da410f620c23b017596cf1e46255dcc  data/raw/safe10_formal_5seed/seed_0/td3_projection_only/train_curve.json
86fd6e24910a581338cd88e5a8e54a06876c8e484f6b9d4a00357a8c110a921a  data/raw/safe10_formal_5seed/seed_0/td3_variance_regularizer_only/actor_augmented_metrics.json
6cb27543dc960639cf2d1f53ca517dce2f8d0abedd781d2b915d4e849b0baa67  data/raw/safe10_formal_5seed/seed_0/td3_variance_regularizer_only/summary.json
55881d45d70319daa1f35382a6a997484aa09ea85b9a890e37a232a0afba715d  data/raw/safe10_formal_5seed/seed_0/td3_variance_regularizer_only/train.monitor.csv
c51c7eebd64dd238a5616b5ed525c86137b10a756980bdb427d659df5848909e  data/raw/safe10_formal_5seed/seed_0/td3_variance_regularizer_only/train_curve.json
7d7afac2114ae8ce9887d68ab8cb367103b3977b7d9163be1b92d03ea7efc6b2  data/raw/safe10_formal_5seed/seed_1/ale_reg_variance_aware_koopman_safe/actor_augmented_metrics.json
f3698decf489df58734f937eb84b605999dd67867b6a5d102088362c7c94b4be  data/raw/safe10_formal_5seed/seed_1/ale_reg_variance_aware_koopman_safe/summary.json
5d27125e3a8f716e55dc12bfd4439b1f5f9b25945954e3debbfd2b17e402f06e  data/raw/safe10_formal_5seed/seed_1/ale_reg_variance_aware_koopman_safe/train.monitor.csv
c23e647b7e3b340a48a6c517817f23edd4d28804a50871244bd2c17d52ed6a83  data/raw/safe10_formal_5seed/seed_1/ale_reg_variance_aware_koopman_safe/train_curve.json
71c8dd5a391205251c1bb59582139b47f51a97daca9a9c34c8035f8db1c150c6  data/raw/safe10_formal_5seed/seed_1/direct_td3/actor_augmented_metrics.json
0451fbef8aa6a1f2a9d703fcac044fd769bc8c3eeee2282b5ab2cc10d88c5c7e  data/raw/safe10_formal_5seed/seed_1/direct_td3/summary.json
08411bb65e4e5028ae281d13ca5a354cf1f78e3e106a8b52831df161b26b5008  data/raw/safe10_formal_5seed/seed_1/direct_td3/train.monitor.csv
cac42e890461bdbc2482215c8cf019e1df37cdabaa798813cf7fd307a5e35643  data/raw/safe10_formal_5seed/seed_1/direct_td3/train_curve.json
8f549ee15ef50c131dd4e075222a3518f8aa4b9d72a6c308dca9f936ffe34118  data/raw/safe10_formal_5seed/seed_1/ppo_lagrangian/summary.json
c6328339fad2b7cf08a0912b6f076afbe4ba72cb7f95bc810a1af06a8026fd19  data/raw/safe10_formal_5seed/seed_1/ppo_lagrangian/train.monitor.csv
61b13f2e46c39140b326a5e0a795d52ffb0daceb9bfe7fa3e8ea4053c2a6f181  data/raw/safe10_formal_5seed/seed_1/ppo_lagrangian/train_curve.json
ea1c56d6e0efff6901a15d60e9999318a3612360d07650e22d4fa51315b13696  data/raw/safe10_formal_5seed/seed_1/ppo_penalty/summary.json
24314834472be5f368be28a2f5b145b41424f5697824a550951402566a55a1f1  data/raw/safe10_formal_5seed/seed_1/ppo_penalty/train.monitor.csv
fa6e001f3d5ed3e9f284c7216ad156e525f8c2c12655a0489985d4dae81b6e6f  data/raw/safe10_formal_5seed/seed_1/ppo_penalty/train_curve.json
3817dad36618e59855d82d7cc0933e24a7e787c1d9604b47a95f20c07cce2a8f  data/raw/safe10_formal_5seed/seed_1/sac_lagrangian/summary.json
b222f543f41c82d21ceb793e011059187593fa58f40d018ef978b97cad9d085f  data/raw/safe10_formal_5seed/seed_1/sac_lagrangian/train.monitor.csv
8d9da0052b4b6212fc2a7eac68d2914c52f44eb2cc7a13dcb5cfbeb1ed3cc0be  data/raw/safe10_formal_5seed/seed_1/sac_lagrangian/train_curve.json
02127ed0a4bbdce5f8e7a363bc91a5f744610dac599d396c68f49979955cdbcb  data/raw/safe10_formal_5seed/seed_1/sac_shielded/summary.json
cad750ce69275136d900583c8addcc556e91ee00733e4ee63802fb96a710880c  data/raw/safe10_formal_5seed/seed_1/sac_shielded/train.monitor.csv
8ce1d0cc9666303208ac055f54a73d9b2b32640ba7295ac6e5a4d355f8d7c950  data/raw/safe10_formal_5seed/seed_1/sac_shielded/train_curve.json
a69dfeff33e16362d968d3b7f1c289d1aad74351f5134eb7f2f8d894e36f0db6  data/raw/safe10_formal_5seed/seed_1/td3_action_diff_penalty/summary.json
596cc54ccc0b9c166e197f9af0ac8851f9f4546f8b96195f0605bd4805b73c75  data/raw/safe10_formal_5seed/seed_1/td3_action_diff_penalty/train.monitor.csv
afc9c1fcbc4e79c8a9931124357ae7197073f5f9a6f82de53d088460d4cd5bcb  data/raw/safe10_formal_5seed/seed_1/td3_action_diff_penalty/train_curve.json
8c41453252ccb79e96960ba85061d070cf326efe64b486d4a47d09e8cc153a0e  data/raw/safe10_formal_5seed/seed_1/td3_low_pass_only/summary.json
a5d39bde8108735c9aae6e3dccba2e93bbe7ab4fc7be2e5ce80799e4b3bcaa77  data/raw/safe10_formal_5seed/seed_1/td3_low_pass_only/train.monitor.csv
9179d07e784dfbe66219e128a5dc408bb66f55eed69f03fdb03b1370135a00d8  data/raw/safe10_formal_5seed/seed_1/td3_low_pass_only/train_curve.json
0b8034666eab15a88a2d0e09ae687c7147badf7e72c13a0c2b3c10e9b76a3853  data/raw/safe10_formal_5seed/seed_1/td3_projection_only/summary.json
3e70d05ac92ad6658af9045bcd46f20eba62880bc6ed52b8a456f790874ede22  data/raw/safe10_formal_5seed/seed_1/td3_projection_only/train.monitor.csv
68c549187499cc9ecd28a882d016f7d6db4fd9c086fe9bd57e3bacfcd2593b9d  data/raw/safe10_formal_5seed/seed_1/td3_projection_only/train_curve.json
ca9edc2a101df3a0ab56e3e5a5fc9dd22f25c36ecd460755ac70c183adf23d6d  data/raw/safe10_formal_5seed/seed_1/td3_variance_regularizer_only/actor_augmented_metrics.json
497d87bde3e93345a44a19a627650f8b44dc956eb4bd0006f37204c54f59896b  data/raw/safe10_formal_5seed/seed_1/td3_variance_regularizer_only/summary.json
c0e158339fff0914e62f75fd40e21b833df788312010d05375dfa7460eaec740  data/raw/safe10_formal_5seed/seed_1/td3_variance_regularizer_only/train.monitor.csv
26a0f2a2abbeb1314697d11f6c5b733fc22bbb06123538c161910a7fbdbbc916  data/raw/safe10_formal_5seed/seed_1/td3_variance_regularizer_only/train_curve.json
59e43d56cf0868d7bd0ccde7c667be4e9de8ecf32c02040bfa2a7ecf4dc03dda  data/raw/safe10_formal_5seed/seed_2/ale_reg_variance_aware_koopman_safe/actor_augmented_metrics.json
b27f180d067e832451b438ba11b2dc23d24c41eed78b0be5ee203fe6f4e10ace  data/raw/safe10_formal_5seed/seed_2/ale_reg_variance_aware_koopman_safe/summary.json
b57efd6f048c7be906a6685a7284efe9f4970abe76c6de1966cabb57a22a3949  data/raw/safe10_formal_5seed/seed_2/ale_reg_variance_aware_koopman_safe/train.monitor.csv
d21217ed40407243214b93f6564a807fda34f37a0b4c682e5ecc4919ee4a14da  data/raw/safe10_formal_5seed/seed_2/ale_reg_variance_aware_koopman_safe/train_curve.json
ee9db2cbaa3bdce897d840b01ada1611f20b9c9e360643ebe0bd4f3077614d94  data/raw/safe10_formal_5seed/seed_2/direct_td3/actor_augmented_metrics.json
19784c910c899de6172a0ed9c3de4af638417fc2a6d8c9c7376b08623fe0b979  data/raw/safe10_formal_5seed/seed_2/direct_td3/summary.json
ff0f67ad26a13ab6e20e8d1d87bf3d71c23cf263038949180323cfc140ed76c7  data/raw/safe10_formal_5seed/seed_2/direct_td3/train.monitor.csv
fe4a7e5cb26751f217352569cdb0cb2dee41dc1e61ea0c183aae7b3e1a2d10d0  data/raw/safe10_formal_5seed/seed_2/direct_td3/train_curve.json
bc8241ed10fab840d3e44b93dc7b81d32be29590e3a5ed5888612b388e172a36  data/raw/safe10_formal_5seed/seed_2/ppo_lagrangian/summary.json
40268bb165da791f7909af1501ff552bab92593de64636396b73f30901087672  data/raw/safe10_formal_5seed/seed_2/ppo_lagrangian/train.monitor.csv
a9cb16bd1bbe219b6734a5fb394b6f7dd9ea92174d07ffacd4b0164975a04089  data/raw/safe10_formal_5seed/seed_2/ppo_lagrangian/train_curve.json
ae7723126b9283cafb0f98d2ea364c31b8b00c38af47a2a485ab2d9d2a47077b  data/raw/safe10_formal_5seed/seed_2/ppo_penalty/summary.json
1385f342c75e6856c66450c2772129d7a0848bd637b5bf734181ecb1ec0d3ea8  data/raw/safe10_formal_5seed/seed_2/ppo_penalty/train.monitor.csv
72b5ccd7f31688023a4189e000145fea5b0b9373c375ce71323f32025a154c17  data/raw/safe10_formal_5seed/seed_2/ppo_penalty/train_curve.json
9cc4d213440022b9b11dbb1f25d32344b7e9fecec14b7fd585c2d1d503552ac8  data/raw/safe10_formal_5seed/seed_2/sac_lagrangian/summary.json
e485644f8edca5cb04c9dbda44e53b28e8199f6542c19abfa428a4c1f98f10bd  data/raw/safe10_formal_5seed/seed_2/sac_lagrangian/train.monitor.csv
47791995178314378517b67f74276473c7698bb59066c6acafeddfaf5955f899  data/raw/safe10_formal_5seed/seed_2/sac_lagrangian/train_curve.json
ae119e630468f8b81c553da490c9be3a8383dc5dd096b7ae613f28d8527d513e  data/raw/safe10_formal_5seed/seed_2/sac_shielded/summary.json
3a4a6f944cd08cf2e1c3857c87407e0aacf6d5306f7a34cb49074dab9c0a5848  data/raw/safe10_formal_5seed/seed_2/sac_shielded/train.monitor.csv
ab18debe333983a098a4900abb27865bcbaac364ca8efdcd7ee053d6280084dd  data/raw/safe10_formal_5seed/seed_2/sac_shielded/train_curve.json
857dd22a0bba6ed1a8ef8224eed370695dd62361ed543e0de8ee3ede37ef87e1  data/raw/safe10_formal_5seed/seed_2/td3_action_diff_penalty/summary.json
d7f0deda420842b4499536f1f0e2acef0b7e2262db069fcdc0c14552b1a12af2  data/raw/safe10_formal_5seed/seed_2/td3_action_diff_penalty/train.monitor.csv
4bc93fd05fb43c2444a4c0e9f1b7159fec843202e76cf37e9612a52d85609e48  data/raw/safe10_formal_5seed/seed_2/td3_action_diff_penalty/train_curve.json
72e08c96c253d88df196f9a764ed2a43a4c2d4dde1461ec99d880f2cf946801b  data/raw/safe10_formal_5seed/seed_2/td3_low_pass_only/summary.json
dd692038f3867c5416c93f4449d44753c9f3c9966da8deeef1532bc3e7dc6a73  data/raw/safe10_formal_5seed/seed_2/td3_low_pass_only/train.monitor.csv
16a58ca45022fabf51450a70ac077242d6f8815e41c2ad0ae90a3bc20e8b182e  data/raw/safe10_formal_5seed/seed_2/td3_low_pass_only/train_curve.json
7ab926b8c86c3be4d2cf944b4dcd2b49be35cd49daec7aae8befdcdb7cab6151  data/raw/safe10_formal_5seed/seed_2/td3_projection_only/summary.json
7f1ff70d7d914c54de950e88fcb80949446be9863827fbc5677034e05def06a4  data/raw/safe10_formal_5seed/seed_2/td3_projection_only/train.monitor.csv
3a1f034c969fc19a958b9629313395a644a7cdaf6b6b90c6e0d568eadafee58a  data/raw/safe10_formal_5seed/seed_2/td3_projection_only/train_curve.json
14920587c757f84a5d310602fb7e478f2b979b064492c07d26578462a0c68957  data/raw/safe10_formal_5seed/seed_2/td3_variance_regularizer_only/actor_augmented_metrics.json
779a382cb557c8a63c4623e11e3c3ce93660dca147a1278e4bab3e97846ebbd2  data/raw/safe10_formal_5seed/seed_2/td3_variance_regularizer_only/summary.json
4446c0bf3917ca237b378f294cc1cd025e04c07a7e166a0d53421c514f1cdd00  data/raw/safe10_formal_5seed/seed_2/td3_variance_regularizer_only/train.monitor.csv
a5ec4964be3a5a94da750024236c4cf09c92ddcd1c837162ccad6edf19d11bcb  data/raw/safe10_formal_5seed/seed_2/td3_variance_regularizer_only/train_curve.json
b5e7665f035474794191c4edf0646a0553d451eb06cd0162094833c25ab09464  data/raw/safe10_formal_5seed/seed_3/ale_reg_variance_aware_koopman_safe/actor_augmented_metrics.json
4b07161ab810ad9a27734fba2017732d2b6bc9f889bcf438c85c8fcdb673f527  data/raw/safe10_formal_5seed/seed_3/ale_reg_variance_aware_koopman_safe/summary.json
df89993d85a93f02c0c11fa25e6b9de97e40e5079c029f9107eadfd793dd364e  data/raw/safe10_formal_5seed/seed_3/ale_reg_variance_aware_koopman_safe/train.monitor.csv
2fc9757bd13ba970e04b590d35071eaec8e032f5264e68e8c40c78cb458957bf  data/raw/safe10_formal_5seed/seed_3/ale_reg_variance_aware_koopman_safe/train_curve.json
70267a525eacc797406b8f4429adca840418c0353b8e755df99d185a6b380351  data/raw/safe10_formal_5seed/seed_3/direct_td3/actor_augmented_metrics.json
a2d830a8a2dc86c27d3f530554761516d8e1697b51e8c0e0be6d26a1de25c311  data/raw/safe10_formal_5seed/seed_3/direct_td3/summary.json
0035516c043093813291c6d332bc2bed98146eab06ae36a7ad6dc3dd344fbd33  data/raw/safe10_formal_5seed/seed_3/direct_td3/train.monitor.csv
bb6e67195831750991ef484888ae95b369c67179068487c2defee36cae5445ac  data/raw/safe10_formal_5seed/seed_3/direct_td3/train_curve.json
a254f82d874a3164aca03b276ef376b65a30cbbb33729c4662f76b9403d92259  data/raw/safe10_formal_5seed/seed_3/ppo_lagrangian/summary.json
5a25ddef37c2bbe7a10e6fbbe3a8ac034974fac25d784dfa86d4339ef04f8921  data/raw/safe10_formal_5seed/seed_3/ppo_lagrangian/train.monitor.csv
0e22a016874f813d4cfa90e0b0d4b75b1a8259e5742d9813deaeea24fdb8cd88  data/raw/safe10_formal_5seed/seed_3/ppo_lagrangian/train_curve.json
e18e37b36d77fd67a2fd62bd1472d5e95b8f06ce57f5c6953951e0f7a4514b58  data/raw/safe10_formal_5seed/seed_3/ppo_penalty/summary.json
e611be93dcc2359da8140823d0ebaacdbc8b2cfa3d298f19abf13e159f8855c8  data/raw/safe10_formal_5seed/seed_3/ppo_penalty/train.monitor.csv
a2a9da277457dbe650734932ae0b2dd20969f003f13372dcb14ecb66c4b367ec  data/raw/safe10_formal_5seed/seed_3/ppo_penalty/train_curve.json
c97c072e9b906ea7fc4c1802f6d90f2103522d416ae0c68e785cce181e4b0dac  data/raw/safe10_formal_5seed/seed_3/sac_lagrangian/summary.json
94aae464484a9ecfdd6a9670f873aac73d393f87fd856c7ce235326c1dc2a219  data/raw/safe10_formal_5seed/seed_3/sac_lagrangian/train.monitor.csv
18b4441e65a65c5bf26988fa59159743f937ca1594e996b4cada8c7b45b82c9b  data/raw/safe10_formal_5seed/seed_3/sac_lagrangian/train_curve.json
72afd901f9b9e3c4e16634d8fa412b59680a58ebc76af7b9dd97b3c2455deff1  data/raw/safe10_formal_5seed/seed_3/sac_shielded/summary.json
a8fb93b17b8c70049fd94dd879e4a1489b967c1ab601caa0186fda0e40cc8d3f  data/raw/safe10_formal_5seed/seed_3/sac_shielded/train.monitor.csv
607df02ae8d604a987ec6a5ec3828f39ca501a6bcc50ff9e131305997950b473  data/raw/safe10_formal_5seed/seed_3/sac_shielded/train_curve.json
f4e08c8867b717482257704987ef372ca12f1632ffa6bc06aa33252497772a73  data/raw/safe10_formal_5seed/seed_3/td3_action_diff_penalty/summary.json
1ed7fdeceb7fe4a1b2dd371ff810520f38c3c0b36848fc71dcf5d256fe76e74b  data/raw/safe10_formal_5seed/seed_3/td3_action_diff_penalty/train.monitor.csv
3cf36513b7a9a046cec390d7fb8cca4a3057b2ff840658556126bfed6dec9a4f  data/raw/safe10_formal_5seed/seed_3/td3_action_diff_penalty/train_curve.json
65952b63c9d261e7f991fbd2796d694962be61a8283362a3408ceb6ab034c632  data/raw/safe10_formal_5seed/seed_3/td3_low_pass_only/summary.json
94c90680ba21c047d996c5e222c2ef749c94fb9d2d0399bf4df78afbd7441b24  data/raw/safe10_formal_5seed/seed_3/td3_low_pass_only/train.monitor.csv
89d679970878cba5a1a6436a7dceea418334a755f103753ec4f0ab1fd2f3c8db  data/raw/safe10_formal_5seed/seed_3/td3_low_pass_only/train_curve.json
2ccf5eac75823d69df32a0d5ea24bf0964d47d75dcdc4d2b7face3a2024cf39d  data/raw/safe10_formal_5seed/seed_3/td3_projection_only/summary.json
d62698960e9183bcbae4e71cc1bfe1903eacb216482c041ad015fd6b43189224  data/raw/safe10_formal_5seed/seed_3/td3_projection_only/train.monitor.csv
43b59bb64643d6b80730fddfa817fb9ca8bdbb6f92b25e62c7c9231324097e07  data/raw/safe10_formal_5seed/seed_3/td3_projection_only/train_curve.json
e5149be456a52a103dc2958e4bac8579edb89d82e39abb86b97743b83533da98  data/raw/safe10_formal_5seed/seed_3/td3_variance_regularizer_only/actor_augmented_metrics.json
1913a84fbcf94f4cd76c1318344ea90e969211a2e6b2028de601fe19e58a27d7  data/raw/safe10_formal_5seed/seed_3/td3_variance_regularizer_only/summary.json
9893c57ef2282f4028f422910de88e02b5f759ae0881430188d6c94bff15664d  data/raw/safe10_formal_5seed/seed_3/td3_variance_regularizer_only/train.monitor.csv
ff8b4ea721bfa9c4bc23db5305485bd95e99277358b72baa8da6eb31fee9b2af  data/raw/safe10_formal_5seed/seed_3/td3_variance_regularizer_only/train_curve.json
8ffef50eaa90bdfde4eae573aaeffc39b9222adae2c77ad663808378fc2ed110  data/raw/safe10_formal_5seed/seed_4/ale_reg_variance_aware_koopman_safe/actor_augmented_metrics.json
5bbf738034f45dce547edcec41d4b815d5daf47597d41a13f47922a75856d6f9  data/raw/safe10_formal_5seed/seed_4/ale_reg_variance_aware_koopman_safe/summary.json
e0459fd2e0e34d8484f2bc3de04f8e684fc4403f1601262742558c4cd8d6d41b  data/raw/safe10_formal_5seed/seed_4/ale_reg_variance_aware_koopman_safe/train.monitor.csv
54a29155bf3b9635787c7da3ff78917735b6a1b5007c6400f1bec1ce3b04a268  data/raw/safe10_formal_5seed/seed_4/ale_reg_variance_aware_koopman_safe/train_curve.json
e815f8d301109e0c98f3f4592d2ba6b0466b6db3fa564c59587af6da9a1fe16f  data/raw/safe10_formal_5seed/seed_4/direct_td3/actor_augmented_metrics.json
dc17e9aa51255a58cd5ed36ef9d6cd9d15b30c09ba5c668e716233d2476621d9  data/raw/safe10_formal_5seed/seed_4/direct_td3/summary.json
3ec9686ac7f0c921950d058bbe2cb4ee655d4d9d206e1b3abeb6ca85ee1033db  data/raw/safe10_formal_5seed/seed_4/direct_td3/train.monitor.csv
2eadb4481e577b979a61540f8cb3559870493e8e9e55a89eeeee6107e3b54116  data/raw/safe10_formal_5seed/seed_4/direct_td3/train_curve.json
8d14877025d8cc0066325cc97159acbda88d9bc90c54e4aaa069e92b4c47faa6  data/raw/safe10_formal_5seed/seed_4/ppo_lagrangian/summary.json
c0f59fc9a752badfe206b4a968ca36c3c02e279bb26712e9c856e3e265b3e27c  data/raw/safe10_formal_5seed/seed_4/ppo_lagrangian/train.monitor.csv
3dbaaa4738c2998d04bc11a0d146ba4991019d422e7135d20066394f2eab97fc  data/raw/safe10_formal_5seed/seed_4/ppo_lagrangian/train_curve.json
b0d184fc37fbefc719d8530f8cd133bd4ce68fc6462aabd8d53ab302f16b54e0  data/raw/safe10_formal_5seed/seed_4/ppo_penalty/summary.json
a2d6c6d6acb7ec8d6e577578c068f83e874c77c38556fc28c6d77f79daa9d7c9  data/raw/safe10_formal_5seed/seed_4/ppo_penalty/train.monitor.csv
68408266a0bc4e8065580e00db7bec7b0ca4436ec3de4f379bd9541a7e7ffaaf  data/raw/safe10_formal_5seed/seed_4/ppo_penalty/train_curve.json
b6aa24589c0a89d0d8eeab006fea46d4064ed500722db116787674c7b19f09cf  data/raw/safe10_formal_5seed/seed_4/sac_lagrangian/summary.json
605560153ff0f547ec1a775aad27e23a5de1c80b22c2157408f7443b77288545  data/raw/safe10_formal_5seed/seed_4/sac_lagrangian/train.monitor.csv
fbf36d17df4ba3d50393b30932ef2759b581193420022ef76ce8711080915024  data/raw/safe10_formal_5seed/seed_4/sac_lagrangian/train_curve.json
bcdde20307dbf1ebd17e3bea3cb04c2514626df41fdccd62e8f9ce5a52141d6a  data/raw/safe10_formal_5seed/seed_4/sac_shielded/summary.json
04cdafb9e1565b4018b7034e80873afa6b59458da06b68e365427ae39f9a0e5c  data/raw/safe10_formal_5seed/seed_4/sac_shielded/train.monitor.csv
93a23a28e92aec1690f2d902974b1aa64d31921a3a3dcb14fee5167ccb5ee20a  data/raw/safe10_formal_5seed/seed_4/sac_shielded/train_curve.json
5809a70b24f6462152949386fdc98be95b3983cc0f6c5b714f395414b9e9437f  data/raw/safe10_formal_5seed/seed_4/td3_action_diff_penalty/summary.json
902ea8da6ab7d35946116b6489737eb946a8201afb96ebb835c3941af9010f97  data/raw/safe10_formal_5seed/seed_4/td3_action_diff_penalty/train.monitor.csv
9c53faa34973ac1fa03e7e0ae6df73ffd01202d888fac6136c014c0dfcb19131  data/raw/safe10_formal_5seed/seed_4/td3_action_diff_penalty/train_curve.json
abcbab46bcc53e952aee315b20865a0ff700b14094ad9f0d1651f933ac8551c3  data/raw/safe10_formal_5seed/seed_4/td3_low_pass_only/summary.json
7182be4322d2fb2e3ba629c8440dfe2565a01694db27cbeffd35581a58406be4  data/raw/safe10_formal_5seed/seed_4/td3_low_pass_only/train.monitor.csv
d765dbe80d9d38be8be00c42fa3e8d09fccc67fb102b8ec47ba0b42ab5d45788  data/raw/safe10_formal_5seed/seed_4/td3_low_pass_only/train_curve.json
e0918a32ec6b25b9bbdb727a681a050fc9df33dd39c18d526d8640b330075336  data/raw/safe10_formal_5seed/seed_4/td3_projection_only/summary.json
a4505cd18177cacf8b7543b3eed3b1b78176fbbb5ab978ddf52d96f1958393c9  data/raw/safe10_formal_5seed/seed_4/td3_projection_only/train.monitor.csv
0321fe7654e745f96dd007ea032db29f9314596f48a558abc2e9dc6256958593  data/raw/safe10_formal_5seed/seed_4/td3_projection_only/train_curve.json
47a4c356dba1e76756f5557cbfbe4b9b1514d51d6134a8cb27a51229da461a7b  data/raw/safe10_formal_5seed/seed_4/td3_variance_regularizer_only/actor_augmented_metrics.json
baa1d4f1bbd825b1502d50576c39ac957a4c5c935dd0b12fa30a61a523ca08a3  data/raw/safe10_formal_5seed/seed_4/td3_variance_regularizer_only/summary.json
4ba3a64931bdd7539aa36806d75f40eed1bd37fcabef699e6c49a51e6953f739  data/raw/safe10_formal_5seed/seed_4/td3_variance_regularizer_only/train.monitor.csv
b0bc631ae4b1f1a75b8a917faa0c44bec040ed574675db7b8a7c92f57d307d38  data/raw/safe10_formal_5seed/seed_4/td3_variance_regularizer_only/train_curve.json
6a0306b5b33e09835f6984229ccc8d1dcb00c3cb52adf8e4826b1cf2cf82c3d7  data/raw/safe10_formal_5seed/summary.json
abb202fb9f7546483a902a58619399796a78cb6a291142ed344d781bddc851fc  data/raw/safe10_formal_5seed/table_viik_conditional_ablation_2d.csv
eaaeeacf6081b0cd1ad6b5870085deb5e83b5997e49e8b62e13b3eb2b48ffd56  data/raw/safe10_formal_5seed/table_viik_conditional_ablation_2d.md
cae0c986eb1efd66cd2d68cf35692baa1374924086eacb13b01280d3532654e2  data/raw/safe10_formal_5seed/table_x_projection_diagnostics.csv
935437f3b84cdd46179b8319051fba18045d54f98ed06a5fde985a295be0887b  data/raw/safe10_formal_5seed/table_x_projection_diagnostics.md
ae6342c7f1a4dc42338458032583e85691f0ae6c882918f002e696c5aae1b193  data/raw/self_consistent_m3m4_5seed/example_rollouts.json
58b48ebdc6f18c6ac747974cf95d85af6ed22d8a855ba9b7c0fbade507551f5b  data/raw/self_consistent_m3m4_5seed/example_rollouts.png
f7b9f1bc48a132b99562ef2e9d508904774535d3ec14f64df924ae18e261382d  data/raw/self_consistent_m3m4_5seed/metrics_long.csv
58dcd75a967f5ef13690fc2fa0748bafbd5766915fa74645cc95cc19dd8dfb6a  data/raw/self_consistent_m3m4_5seed/noise_response.png
0bdb7807d94087637f11d8ae42e77ade7fe2a868840ca8149ef6af28c8f2a578  data/raw/self_consistent_m3m4_5seed/report.md
82a175a261702c50030d7012b9341f9d788700a0cc4b51aff0841a3b32585735  data/raw/self_consistent_m3m4_5seed/seed_0/td3_p_ale_jacobian_penalty/actor_augmented_metrics.json
019a02dcaf705ef713fd7709a31d182ac978aa410893ebead334ae8ea1506711  data/raw/self_consistent_m3m4_5seed/seed_0/td3_p_ale_jacobian_penalty/summary.json
b552f0d7d1ea73f7526d561fc461fc8add64c0556f235d859c57198cc81421fa  data/raw/self_consistent_m3m4_5seed/seed_0/td3_p_ale_jacobian_penalty/train.monitor.csv
66196ccd5ee4a69524a35fb15b8157d2bc0a09f05aba7686d81c81e31a3e3335  data/raw/self_consistent_m3m4_5seed/seed_0/td3_p_ale_jacobian_penalty/train_curve.json
9d9f46859c900e89fe4901f071e4165331aa5360d2cf4113ba6c20e72173e598  data/raw/self_consistent_m3m4_5seed/seed_0/td3_self_consistent_certificate/actor_augmented_metrics.json
30e0fcd7c5863d33be3c6bd386e96b6d1429367619ffa787811e777991e3fee2  data/raw/self_consistent_m3m4_5seed/seed_0/td3_self_consistent_certificate/summary.json
0d12674eb3542e940295a21346453aeb6527dae17567a0d55d0d494598bad503  data/raw/self_consistent_m3m4_5seed/seed_0/td3_self_consistent_certificate/train.monitor.csv
12132fce7c5b37a10f3d068eb04145b47d8e9674adbc8d3c9b0e20dfb91aaacc  data/raw/self_consistent_m3m4_5seed/seed_0/td3_self_consistent_certificate/train_curve.json
6b849225c4fe069dd8244ca7ccd061d83e1155a7ca538650530336d098a7248b  data/raw/self_consistent_m3m4_5seed/seed_1/td3_p_ale_jacobian_penalty/actor_augmented_metrics.json
19f2e5396bb5c984406b6b5c4993f1e203afd751aa5096070ef22d6c0914a90d  data/raw/self_consistent_m3m4_5seed/seed_1/td3_p_ale_jacobian_penalty/summary.json
e7bdd49a5e8df42fcf3df1480bb235db093b3ee9ee99327003c46347daf5223a  data/raw/self_consistent_m3m4_5seed/seed_1/td3_p_ale_jacobian_penalty/train.monitor.csv
4fa78596646c6bb451ed1e77c941c36321ecb3169240f96ec66ccd20409c6bd0  data/raw/self_consistent_m3m4_5seed/seed_1/td3_p_ale_jacobian_penalty/train_curve.json
808c13905296f72812d6579fffc777a520f6a02bb2172a1f3bbdbefbaafe130f  data/raw/self_consistent_m3m4_5seed/seed_1/td3_self_consistent_certificate/actor_augmented_metrics.json
505ec988b0e41f4346017027de4bfd41c02e684ee71a098938f4e8d8f293e4ef  data/raw/self_consistent_m3m4_5seed/seed_1/td3_self_consistent_certificate/summary.json
1ea8e517dc08bb38f4118dac23ed2200fe12f83d7e460a621db1f52c939ef0ad  data/raw/self_consistent_m3m4_5seed/seed_1/td3_self_consistent_certificate/train.monitor.csv
c070d55cece2da407bba9bf9a8a0e33da3cf3c7ea091fa30e92fc3fd5c79812b  data/raw/self_consistent_m3m4_5seed/seed_1/td3_self_consistent_certificate/train_curve.json
9b50f9bb55790bf70bc048ad8299277c977ee1fbe684cb94588b087a84e2c4f5  data/raw/self_consistent_m3m4_5seed/seed_2/td3_p_ale_jacobian_penalty/actor_augmented_metrics.json
61010259764b80fde6f0609157d6db1e4481a5359a7c30d389528afc80b6b46f  data/raw/self_consistent_m3m4_5seed/seed_2/td3_p_ale_jacobian_penalty/summary.json
c9cd1f4bbe69c2870ee9418fbc967d749163c71373a5b4e047cf81a1c9412cad  data/raw/self_consistent_m3m4_5seed/seed_2/td3_p_ale_jacobian_penalty/train.monitor.csv
ec6f08ded181b183f9cad800bf4d45e661e97d82fd07338c82e9589e4497db1d  data/raw/self_consistent_m3m4_5seed/seed_2/td3_p_ale_jacobian_penalty/train_curve.json
03b938763942e13b43883702f365fe7ebfd7e3b83e41de4d87da5525c81b9c74  data/raw/self_consistent_m3m4_5seed/seed_2/td3_self_consistent_certificate/actor_augmented_metrics.json
5d513d3a94a25a657f5540347fc279093dcc6558f39e84b9e4fbf918069dc64f  data/raw/self_consistent_m3m4_5seed/seed_2/td3_self_consistent_certificate/summary.json
539c6a33bd631d3f0161427b6f5e6b15d3e2923f48212f8d3e7000a9f4efbbc4  data/raw/self_consistent_m3m4_5seed/seed_2/td3_self_consistent_certificate/train.monitor.csv
eca544aaaaa4675062cf8e5f4021d9132d71afdf7aa66955dfeac9e51aad8f1b  data/raw/self_consistent_m3m4_5seed/seed_2/td3_self_consistent_certificate/train_curve.json
8e84a9ceffb55a728cfa0924e296f468b529ae5fefcfeae11bce5085c51c6274  data/raw/self_consistent_m3m4_5seed/seed_3/td3_p_ale_jacobian_penalty/actor_augmented_metrics.json
3316b1f05f20799516c5c2149c87a4d552b2b988cbb93aa43ca831b47a09e1f3  data/raw/self_consistent_m3m4_5seed/seed_3/td3_p_ale_jacobian_penalty/summary.json
35ea40a7c7448d363602114530f838c4da347e79a76a2533c7eb80f371eff1c1  data/raw/self_consistent_m3m4_5seed/seed_3/td3_p_ale_jacobian_penalty/train.monitor.csv
4c9130a75bfd029efb4994c469f16bf7ec8abb6f1f40e8b9cf5809a2562a1741  data/raw/self_consistent_m3m4_5seed/seed_3/td3_p_ale_jacobian_penalty/train_curve.json
8174bc714e9565629c4300462d7f856f5f9e56c224f9be00162a1f86900c0e39  data/raw/self_consistent_m3m4_5seed/seed_3/td3_self_consistent_certificate/actor_augmented_metrics.json
757f4e0ff59a19f26093ce54982728f4ede0ddbe685c106b9aff91b710e9a4ef  data/raw/self_consistent_m3m4_5seed/seed_3/td3_self_consistent_certificate/summary.json
2ab171826040dccbbb4154ac425f611cd5c4b9599e4abac94d9b9d42df580e3c  data/raw/self_consistent_m3m4_5seed/seed_3/td3_self_consistent_certificate/train.monitor.csv
258bae4db1ed80dd62dbe470fdb38ec58b956afb4a728734ac660a9109cfefbd  data/raw/self_consistent_m3m4_5seed/seed_3/td3_self_consistent_certificate/train_curve.json
00cde646df20d6ce183fb11d10a6e0b54be38cbfdc0ef38ad7bfc90563098743  data/raw/self_consistent_m3m4_5seed/seed_4/td3_p_ale_jacobian_penalty/actor_augmented_metrics.json
ce782d76ac382b841817df84c34aaff376265d53531975903c966beb8d00e291  data/raw/self_consistent_m3m4_5seed/seed_4/td3_p_ale_jacobian_penalty/summary.json
afc0826423bc17f449e4c239001635c3d3c4f898b6ffc5a820a33aa00b1b2894  data/raw/self_consistent_m3m4_5seed/seed_4/td3_p_ale_jacobian_penalty/train.monitor.csv
1f60612a7b19a5c006a35b1c04ae084da137d7145313a7011c9b789e33bb3266  data/raw/self_consistent_m3m4_5seed/seed_4/td3_p_ale_jacobian_penalty/train_curve.json
c1336a7dd27862610750e406f7bb4c500800873c44d0b301d782ada490b735c0  data/raw/self_consistent_m3m4_5seed/seed_4/td3_self_consistent_certificate/actor_augmented_metrics.json
b6b464872a6ec2cd3b9ed682fb8278db07b0dc54610c7c0bff2b903be8d4c324  data/raw/self_consistent_m3m4_5seed/seed_4/td3_self_consistent_certificate/summary.json
448bbae5cd77cdf36b2e67316e989498bdd9c0b12625aa7a418ec3e3e4f46a54  data/raw/self_consistent_m3m4_5seed/seed_4/td3_self_consistent_certificate/train.monitor.csv
a1ddcf282b6e5709a76387fbf13c5be2cb0383faf7ba09938071c4f2e2bf2f00  data/raw/self_consistent_m3m4_5seed/seed_4/td3_self_consistent_certificate/train_curve.json
1b2d0f2af5feef59be34ab4189c1899204c442ee2d65e53457d49c42e0002fce  data/raw/self_consistent_m3m4_5seed/summary.json
f7b9f1bc48a132b99562ef2e9d508904774535d3ec14f64df924ae18e261382d  data/raw/self_consistent_m3m4_5seed/v3_metrics_long.csv
bdba8449e96dc68b88d04ffe13019da666e630543cbf6fa224dbb48882506acd  data/README_DATA.md
b9db73dde8211872c7feba68b314adde1cd68bf0799a79f6d7a94de23acbe183  data/sample_input.npz
2431242eaefbbe24bc656e271c00a06503e649bcd3eb41081bbfb77ef2c50d88  docker/Dockerfile
76366ef742e41303245fa02f34305f4c7c29d79d958abd2dc493ef163f67faa1  docker/README.md
9f00cfe397ea3f93a8e8b7f62ab6ed96371f8732400d8f5e1f351eb38cf39823  docs/ARTIFACT_MANIFEST.md
85c189c9faebaa27fa0d4fe499bccbef12f5f9391a2fce67062b22328a22760e  docs/EXPECTED_RUNTIMES.md
01ea70b000fd529942d8053563722741526cb2442ff72d574c345972b18becda  docs/GITHUB_PUBLISHING.md
b2486c8525676f78c1d89776a361061d2359245d0df01caf9f854400c60c57f9  docs/REPRO_GUIDE.md
c15930ce4824c2e50292f665b42cfc028583f5abe06cd4f61f0ec7639e92f87e  docs/SOURCE_README_legacy.md
e88e287c58df64a4aba27f0b324f52a843e02b452cc72c2954fbc65f6e4d5c06  docs/SOURCE_REPRO_GUIDE_legacy.md
e24361d3f172e17a6f6b52e31f12387e08e2b3b61d88a029b453026947a3bfa7  env/environment.yml
604e246c735c789bcaf41f12c101ccadf077a5f79f044cdf52aa6c277442008c  env/requirements.txt
85c189c9faebaa27fa0d4fe499bccbef12f5f9391a2fce67062b22328a22760e  expected_runtimes.md
28740a4424b77d9b09b5355406110984407a4e7723eb3893c22157b5226d0bee  experiments/aggregate_stats.ipynb
29c7ef989e669ca8b5fab03693ba91320e6229d2661908c475c0d613755f8adb  experiments/configs/cached_reproduction.yaml
2076fad9416f48963792cffa683afa99553e5a26d7e80a4d37e7b33acdeda48c  experiments/results_raw/full3d_5seed_metrics_long.csv
9b8f4c53cc6219e75fbd768e3dee90bb4c8673a8dc82ae0dccfac284e794ae08  experiments/results_raw/safe10_formal_5seed_metrics_long.csv
1525ad1577568dc0659cc5bdfff126469fe6906296cc301f3725aa361e024dc5  figures/caps_style_method_comparison_v4_1.png
f24229e1b179f8a527ee1537a2eb875369ed81f279de02086d1235446bf23bcd  figures/fig1_ci1_amplifier_isolation.png
b76e664112e7e23161858828f9a44cc6928c97d669571c289a6de85f696313c7  figures/fig2_ci2_source_intervention.png
228cb686a20c82d7752418bd266e947d5fa6f13a38531f90a0e6a6e49e8751e2  figures/full3d_5seed_high_noise_summary.png
72ea83c29b4d86f18d4aa213fd4a94230f84647c3d4eedee309b29ccee636530  figures/manifest.svg
d244e68c970267ff7b95d92fa2f0e99b3e428fc459d28044a25ffed64a91b08f  figures/suite_high_noise_comparison.png
e5f7d6b5808157b7ff2082e4db84dca1b04bfa590d0967976a3a7936a6a2e2ef  LICENSE
7bccada68a6810897a1ef15620a00c9736050ce8528a427c64abd25f88858945  paper.pdf
4fee4957dda08ce6beea6ef7000819dfdadef84270633b57c29575286352faae  paper.tex
1525ad1577568dc0659cc5bdfff126469fe6906296cc301f3725aa361e024dc5  paper/figures_v4_1/caps_style_method_comparison_v4_1.png
f24229e1b179f8a527ee1537a2eb875369ed81f279de02086d1235446bf23bcd  paper/figures_v4_1/fig1_ci1_amplifier_isolation.png
b76e664112e7e23161858828f9a44cc6928c97d669571c289a6de85f696313c7  paper/figures_v4_1/fig2_ci2_source_intervention.png
228cb686a20c82d7752418bd266e947d5fa6f13a38531f90a0e6a6e49e8751e2  paper/figures_v4_1/full3d_5seed_high_noise_summary.png
d244e68c970267ff7b95d92fa2f0e99b3e428fc459d28044a25ffed64a91b08f  paper/figures_v4_1/suite_high_noise_comparison.png
d7799977f9c6586a5f948218f15c8e34c734d88421e85d9f471a75c522680830  paper/main.bbl
7bccada68a6810897a1ef15620a00c9736050ce8528a427c64abd25f88858945  paper/main.pdf
4fee4957dda08ce6beea6ef7000819dfdadef84270633b57c29575286352faae  paper/main.tex
7b5e380fe486c1c70b03325d37b3d991367b4158baf2582fb88ffcdca810d680  paper/MANIFEST.md
4d70cf94909723a46760c9015f82e5c20d5334c5522588a73c9c0ef52d1fafea  paper/reviewer_comment_revision_summary.md
e5b598ecf6109033dcc53df3c4651cf0c8146322a1e605fb4d846fac7c6f9a91  paper/tac_references_v4_1.bib
5455536d293789776ed97d50cacf4c83296fce9adfc82ed3061410b7a2ae6213  README.md
8dec0dd5b70e4e139a8aefb6663fdaa6b1eebed8bc5462a057ec3b55f2b67503  repro/publish_to_github.ps1
9923ca380798620dfc741afd6da77a5898cbe352d44bd46ddcc1a48ec3ad83ed  repro/reproduce_cached_results.py
faabfda12b18d1f917a0ca091032d0ad22dffd3e054cdd3ad7c202e6228da27f  repro/run_smoke_tests.ps1
604e246c735c789bcaf41f12c101ccadf077a5f79f044cdf52aa6c277442008c  requirements.txt
22e30c4a9461535b2f1e492b1ff12cc2231d2160b8d7c54f8f6f1fc0d437d05a  requirements-cached.txt
4c7e7363f1742ae6888569579b2f63e642c4409a660edc8a3f7c95089a218031  requirements-cpo-optional.txt
173be54873c68b38166b50df85fdc93291d919499dc259b5c5b8f86299c47c15  reviewer_checklist.txt
f327155d9ef04d5b20cda0423f011ace0e4180387d29a1979d5229831d37fc36  run_causal_isolation_suite.py
1fff6adba73aca57eb90ad433ccee8468f7df3097248ab7d61a8eda004c78836  run_causal_isolation_test_report.py
9a444a1b37b51b06cf9ab0c7aeb892bce07682bfadf9e50d883e192e8e44d54d  run_full_quadrotor_generalization_suite.py
bafc50a36eaab17a15a6fbc6731cecb3d16e938c9f3ae58c52fc181f08fe6cb2  run_koopman_surrogate_diagnostics.py
671d92066a71cc8da1222db2f91c72038b20a3ecd9d629fce506416d7c4275a1  run_omnisafe_cpo_baseline.py
ce53803e35ed72fd560abe52ad07a385b9a840aaa351ce3ebc6dfa3d00d07aaf  run_paper_safe_baseline_tuning.py
a949a472c8d3cbb0d0306c693120b84037593d244f439cbd696cbc18ec9d17c6  run_planar_quadrotor_beta_sanity.py
06d01aba5994fd74af16003219da22a870a5d79403d293b2d30abf54419de7d2  run_planar_quadrotor_generalization_suite.py
a5e4b6641e1ecaf20f92da76e28a2b5c5b3a0e2654fa5593f25e28ff66233a58  run_planar_quadrotor_transient_sim.py
7546dec56627a014c670fa059aeb8e9b4357cef47777f8749c060c343191ba88  run_projection_beta_optimality_experiment.py
9c6e08b5df6b86d2de7d419f80a357b0bc50377e7aa94e706f1d23c22ef5762f  run_td3_ale_variance_batch.py
1caba3969121269c9929da4fe2551cca0387364d9633b82913d5e5c383f8dc08  run_td3_ale_variance_regularized.py
08f59bfb5077ebe0a046d6d06851692354d279c2f462f9ad1298954af9188c34  run_td3_controlgym_ale_benchmark.py
7548a318e9afb18edda48efd73a1d7b15b8cf98d3b4ab87cde68b6bf045c4e0d  run_td3_paper_baseline_comparison.py
16a821833d5964fb5c459fc817411bb51a78d54f97ba978f1808b7c17ce766f8  run_td3_variance_constraint_batch.py
b037c3d6d3a9ef6d6d651faf838ec8b8f8eb704ff2a7005b858353ec4037cfeb  run_td3_variance_constraint_decision.py
6d79da732cb3c9de78b3dd7741e9d24a7de8d6bf474539d9349ef920e3627ed5  run_tier2_ablations_and_baselines.py
529276dddd79794528f892845d6fe766c899546cc9c17e94b7021a94b18db3a2  run_uav_data_efficiency_suite.py
48dac6e8e46647642b2c53e3448f472deb81d5ac3586bafda3e89e358c579dee  run_uav_rl_benchmark.py
92d2ced2132c35e1c3498b7a0460c07fa3d65e418cc55b22181b000bad7ecffb  run_v3_certificate_audit.py
11af86ff5e589fa881477b364d7649b3195da90af13dc453063048d0d6703b4c  run_v3_directional_injection.py
7888bb421a2b8048cbc8caad10095c0d02a39c82563db8ae76b65fd26747691e  run_v3_full3d_directional_ale_suite.py
066826840f86af31c4d7221a85101a540fe1eb98f4c2cf31d01e23cf3e53b1d0  run_v3_koopman_error_audit.py
e32cacd7e401ce9971f937f7ee7e93c71287f7198a81272a7a263e9aa23b3d85  run_v3_qp_margin_audit.py
5481e8a9f42acaa889d5e148aa2266007ee198e95ca3ce93609b17c9fdbed355  scripts/analyze_cgrvc_conditional_variance.py
b1e24a62d8608e549651ac2c9b2e11d9ec807de5c76d1188622ec9d044e138ae  scripts/analyze_claim_statistics.py
71bcb228b4ad200e7ad3450e9f1833af3bad47ffcb0ea09821c515a4bca359f8  scripts/build_cgrvc_major_revision_package.py
3be1203e70d9709ef6673f78463cea75f92772bbc510d952803278fd2595e89d  scripts/build_cgrvc_v2_revision_tables.py
a030d84deb8c494cd4b3c6a27eec8c9d1698be5f981c0e32c9fe0bc12bf5eab0  scripts/build_cgrvc_v3_revision_tables.py
3ebee70ad8cbb8da24401f4712e87110088088e4d8f15bf2c688784813b82e6d  scripts/build_lcss_major_revision_assets.py
e776064d559a6746438505c1fcb25cf47f9f425a26b3c763df180e079f8db265  scripts/build_project_knowledge_base.ps1
f381f99e10c8f6acb0c9f33552328d6a44a8269d0d57da4b6858c8664ee8af7e  scripts/build_self_consistent_certificate_tables.py
9705d4298920eaed1b110b7cafd96798e517f6b7301acff04a254af153386485  scripts/extract_actor_augmented_diagnostics.py
09f925dbb673749ed9fededf50378ee61fb5cd07c19f68159e5bd2dd3e46605d  scripts/extract_existing_evidence.py
4c4ef7cadedc480c15baf50e08ad2a2ecf4629ef94dec5d2c426c2a7d3611a9d  scripts/launch_cgrvc_metric_ablation_safe10_5seed.ps1
efba17cc0ed7d8c78c3446836c45ed5fff8ec235ceb24e7c7e31725672556793  scripts/launch_detached.py
814512129e9a6ff279b1576303f610d33a07651d1cbbfb175bb92469fc9de44f  scripts/launch_formal_safe10_5seed_20260421.ps1
28b5105eaa467465d18803f98d8284c6445dae1eb078a4775e36591767cb8c32  scripts/launch_fullminus_safe10_5seed_20260516.ps1
12adfe21683e1aedc90e8991450fd465f1ed8159a64485e08f99669eae952fb4  scripts/plot_figs.py
843b5d1ed94c15911fa93b0162f367c31cbf98bd3e1335bb446283cf45050327  scripts/PROJECT_KNOWLEDGE_BASE.md
fb8ca42556e00fceeac645ad07e4315d75d8b3aac9b154d11a303366bf91f653  scripts/PROJECT_KNOWLEDGE_BASE_INDEX.json
14bb209f6943acd4eabe4adbaf57d0f1871155f77b6f71556bc113125f922fc0  scripts/query_project_knowledge.ps1
0d5fa3be7cbebbac6b80dfdd8069f1dfbc775a29d7f7519dc7598c84030dec89  scripts/run_averaging_nstep_returns_baseline.py
c69100e5ab3e81b668ef9be284529c051b29fdf7a093d6e87ef0266a1cbdee44  scripts/run_cgrvc_metric_ablation_workers.py
cb6bbc0098bb81f240cef55a0f2e7dc02203b90bc8257de46ab16cc37aaf7a6e  scripts/run_core_cartpole_state_variance_compare.py
89ac44dbefae9b9a3e23a980d686d1054d0130084934f2e813543f052f2008e6  scripts/run_formal_safe10_5seed_20260421.cmd
0f4e37659d4266145f32eedaa2ff5d4a3b685a3b576856a625b5ef0b991abbc6  scripts/stage_cgrvc_v3_submission_package.py
19a26b5fc6d9a8b6ad564edd39466135394df961efda8b78b11587d5776d46f2  scripts/stage_final_tables.py
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855  src/__init__.py
0c389c108437ec34d24b99b9997b5831451ceeb6b670f4fbbf907929195924d5  src/common/__init__.py
379ebfe895e74c84db5040ac9d168ca0aa667724e2ddf64196c0a428c1318693  src/common/logging_utils.py
3b5da6c85592ff8a65474f26150b13e93b86df888b4f62bbb0b487ebc8213f44  src/common/paths.py
abb6f775328cade9337a423c5cb583fd217462d97788d2b512b775632f3a066e  src/control/__init__.py
52d40ccc7d7d9063d43d7a5a7b805e2365b4aa2c899335868c8b862b15d57b29  src/control/koopman_lqr.py
d2a02ef5bf344bfa8bcd7895c8ce56a0357754c5a42f77ec4650039748c3b52f  src/control/nominal.py
f66fa9198a474240103435d979fb37baccf088b5246264009f52c3e436801cdc  src/data.py
2bb5ff8c135dbe6a59933be706c6d2666725104eb62d25e5c9b9d849d4a9746b  src/dynamics.py
b9b48c2e46276028af7dc491ed03f1744a12d957af7e69659cb25008b96b9a13  src/kedmd.py
9e3dbaa163acadbd330fd884bbc47b68749df827937f8e8ae4246165b9977fda  src/kernel.py
ab463bec0dcd013229b7869bbe7163911415fbd2866bef8a36c13e453509a977  src/krr.py
3f9e96c87026b5718e50ce09e2ca72130aea6459936f482b62e86cbe0c417378  src/lyapunov.py
d6f9c99f6540bb6d48a0a4f6b8ec16345a1f404032889e156093d1f3e35b32d5  src/online/__init__.py
00971304b04131d9b0b319520e2c0b514a6e52de9712fbceb25e5731d3aee9f7  src/online/controlled_lqr_rls.py
3f861bfa830887a438e1baddc0d56dd35df16d30e231d5eb5d6eb29cffeced47  src/online/koopman_rls.py
30474685faf9c8f8482bd3f6996143e1e0cf2aaca7e203c3fdce93f9a25a00c0  src/online/stabilization.py
bcb1bc362beaa53a347a8601db2d06d32c4a977c4c67b1553e84ab3fd4d99c9b  src/plotting.py
64684aedb38a9af4c6164a474513a9bf3e18779ca3e48c9b78bc43b9b5508b1f  src/rl/__init__.py
50acd81e9ec311dc51a8a73182e422c504bbc89d6997425f2249e1a985f87535  src/rl/ale_regularization.py
06979e20546ddf81909b0f060c4957cd3dc35230a4e76ecedf0fad07b1bed341  src/rl/certificate_eval.py
125c2295a720eb59e40c1c241aec7b13e5abba89ac908f997ffba5ceb3c6a5e5  src/rl/controlgym_adapter.py
ddb815ef4a0163b40c9896b2c2d545675c7f0524a6c92244799669975f9d57be  src/rl/decision_layers.py
4528c1f7b6a1c7949b6c1666ee92a8435386ad01436edc941f94a88e66533072  src/rl/drift_adaptation.py
27ccab724ca1a99cafdc2b80ac83092b6e20b555408203711fa417a3b698d7d7  src/rl/drift_envs.py
c023aeefabf2fb591e48ffaf8fd0cbd1597d8450651c1899689f334fd7ab58ef  src/rl/drift_experiment.py
43a629ff50d2f35fdd7ae8bbd8dc3597ac2ceb4ddf6429614cc4c4bae8f6eb91  src/rl/envs.py
7ce91d8153d5280e27fbc99e2ae888fe284be96f3039ed4811dc203c24490431  src/rl/external_adapters/__init__.py
60a0df0c896b03d8947b9aabc71b2078881fe5d1757fdd3c2cc5933c9820bf1a  src/rl/external_adapters/omnisafe_cpo.py
c76702f002f7403486d9780f0e15fd21eaf508a69f7e999317c2e05ff4ecb0ca  src/rl/hard_obstacle_benchmark.py
e9d4bc04bd99d7b125ef844a31cb4bed06af3f36ec66b393310a8bf1fe0c712d  src/rl/obstacle_envs.py
d077deb6d2ec595a5e68a529ea9287a102587ad97c0d23ed87a0a7fad358ef01  src/rl/oracle_safe_residual.py
b8b3b018f4469d64ca1ca71d89ed2a03fa4a3c66726fe395cfde34416609970b  src/rl/ppo_lagrangian.py
2dfc695a1acedda35eecdd18eb9b37217d016967ef4d63cee87425056d9b8346  src/rl/residual.py
0f0248422e97418ff86d8b92ff417b069275bdadde13c2898cd8e5fa850a8774  src/rl/reward_shaping.py
22a906eaa3626eb5391f6521183406a5b4d32e35018d993261df6164f2245785  src/rl/sac_ale_wrapper.py
97993ad7189bc18a4ff2a9a5aa2df478c439d6bc84e308c978f89ba575719db5  src/rl/sac_lagrangian.py
32d0e6d6b4f50874509b5a48ca9e48a8e3d5333882ec334a119b48f0521038d0  src/rl/safe_residual.py
2d1bf56121eb79ea4a8d89225c22bdffd8cd4e3a2c39cbfc2be0ca2b7c06946c  src/rl/sb3_utils.py
0a95bd5566c2c11f114a2c55ebfb26582248fe91a413ec5753460654670a6376  src/rl/td3_ale_wrapper.py
e5d5af3fa7cb86542afed22231b53303755aa183592a0aef8671c4cc8d227884  src/rl/three_way_compare.py
bff9a3a94351fae67e526b823af2899feb7b427fd320953e21223385f160ee47  src/rl/uav_envs.py
c9d4be57c7f0f25682b796bf8f169930a8d12bca1d599d977f5d8cc3978ddbd3  src/rl/uav_safe_layers.py
3bc6d905ded1b591b4447e444280f4dba62eb17fc86d278826d3cf0db532d951  src/safety/__init__.py
05465d087b02d960ec6fa1391ffb5068ab0e0d8d8cc2c37149e05b721b405433  src/safety/cbf.py
4d1cf3ba6ead9a780366d97c4e0ed8cc0cc5cbd0738213a28e5ae61a6f67df83  src/safety/projection.py
f3c13044131f647fff17d5603ba062b2fc3bf44b766b705b9ba85632952adea0  src/uav/__init__.py
c6297e459666e865f69bf390288b2de716fa7b0beaa472d52132761055751599  src/uav/full_quadrotor.py
5c8ae3e84e9b09c0f11041226f88cf5cca964c3e00d48647de81cca8142044c0  src/uav/planar_quadrotor.py
52bd7bfa6eeae2707a0318d8752b51938f7b49c5e912fbcd59fcc1fe36c373b5  summarize_metric_attribution.py
f4353c3a32c6a65eb4ef93f7640caa2fc1748a684238799454acf191525543a4  summarize_paper_baseline_compare.py
9e63fd2f421dbae3cb7af42b07375eea13f079a2c604bc4453841ff80a971725  summarize_variance_bound_gap.py
01ba4719c80b6fe911b091a7c05124b64eeece964e09c058ef8f9805daca546b  tests/__init__.py
d7fa3c35b791aaa3677c5fb317d810da65d7994cbdc87a317a3d570a6bcc1bd4  tests/smoke_tests/README.md
2e7e43f20815d0ccb100d5e8c8a61017f334d80d3742b2e28cedc3279cc9d8b8  tests/test_actor_augmented_certificate_metrics.py
ddf1f0bdb57efabc76d74a7bfbb57b848b708a35fec98f2b2295090cb4d53fc0  tests/test_ale_certificate_decision.py
5f7afa9ffca1e260257cecb2ec9cb9c8faf1b1a2f7d5961233d80e9a68718286  tests/test_causal_isolation_suite.py
ef7d7083923dd82d0cdbc0b87dee8c4ca791b26b441b37dbbee200087a6bf641  tests/test_controlgym_adapter.py
a8695f72ada71d5304af4d7d4d702ad515ec64a49bd6e9dc9c33b2bb65a53209  tests/test_controlgym_figure_suite.py
e2248778038f5d81b1e398042c5b80a05bbcc18a5e6e220320b73784301898a5  tests/test_controlgym_full_method.py
d34021b9169abb6faabf650370c7c041531f5609b37b50782b0ef18d6f8a925a  tests/test_full_quadrotor.py
7faef21e83436768eb56371e29c8ac3de675218ac0e03237c118c799d94ca7ce  tests/test_paper_baseline_comparison.py
da7fba8892cd864e20898f14ad850dd2e8e92eb7ed0c433dc462474b6f44da40  tests/test_planar_quadrotor_generalization_suite.py
21e1e1ad5bdbee46c75bf4b9479c1b61da5910d709283ffe281c01a092419a9c  tests/test_uav_data_efficiency_suite.py
9c0798a7cb4c4f694e0c3226a697bba5021daa925fdad5f9c00760afef6a1d0f  tests/test_uav_rl_benchmark.py
b2dd707c6041f1d42ed20b90622be838632562839c5f8a5aa26c6d41d6136986  tests/test_v3_ale_modes.py
9b2a9c16d01a5ab57b7b54b4e6b4acd380217dba77fa0be49efb859503d8c1c1  tests/unit/README.md
d62fe562eef2792e2bad8e130f65367e254947a1a39225665db706847284a524  zenodo_doi.txt
