481b9a49079e5b8ec788867b07425a972bc71a2d27b09e5f6dac6522cc330cc0  README.md
7522ec937511cd96aee5d5f77482ca72099ade2574b9c5aa7aad0042061cf855  VERSION.json
b2d2bf80cc3d856c93a039008d6fc057aa647845fa0ab1303640eaa7300e89f6  code/audit_extensions.py
a802122b20447a380512c788d9ff68afd75e423a01b81f50b886a784660d0f30  code/check_alignment.py
d28d532343360888846e43933f8da5b471abbeeb87da2fa0f222b80833074191  code/check_anchor.py
7aa1992e977dc8b9dca020321e580af48f70d945f85f6151a7c781c7baa27371  code/check_rational_certificate.py
8c9ea3559c113cf259950a8d0cfa90b7c72ad63e8281c27de6db83850a20c10b  code/published_checks.py
4fe4758913869800cef3330ef0f9ca256499618b54dff5155d47a05d34769d22  code/verify_posttraining.py
9d717b0542c47b890b16f8e47142d463c7c383f41c1ccf3acf03cceeaee9d1d1  delivery_verification/audit_extensions.py.log
36abd6b226d5c6a5fd225f625572172b889ff53d4cb4c934357a3adfc40278bf  delivery_verification/check_alignment.py.log
6670e2d0b9a39a5f147551f89b61fb5978587c8370fa3940cd3a92a81e7eff08  delivery_verification/check_anchor.py.log
2fc1a12b840615cd13f858002ffe9d8478ab95b7be7a1766c1ba45685f5abd25  delivery_verification/check_rational_certificate.py.log
e5739149f2654dba8f32c04248b611709220fdc599c793e57ab35f7ab13db192  delivery_verification/new/alignment_results.json
6670e2d0b9a39a5f147551f89b61fb5978587c8370fa3940cd3a92a81e7eff08  delivery_verification/new/anchor_results.json
9d717b0542c47b890b16f8e47142d463c7c383f41c1ccf3acf03cceeaee9d1d1  delivery_verification/new/audit_results.json
46ab39e3bfbdf522b65f3db85b527ece6a7279beae43de0537f11156829965a2  delivery_verification/new/group_design_counterexample.csv
bda2a54d06af81cdda63fa3ae14116ddff2f90e0f504e246bec2846823d0d5cf  delivery_verification/new/published_checks.json
2fc1a12b840615cd13f858002ffe9d8478ab95b7be7a1766c1ba45685f5abd25  delivery_verification/new/rational_certificate.json
39631c722f5428a1297ae072ce21b5bfa968fa65d5bdd1fc09c586541f09ffe6  delivery_verification/new/ta_grpo_matched_comparisons.csv
0d588b328168e24823c65a3aeafc46f3e9a9529650d47a36101eecbad62ce19a  delivery_verification/original_rerun/compute_allocation.csv
6470a1c7b8b09163164648d148ff3d279938d1b269044f44d29c498adc7a38a0  delivery_verification/original_rerun/grpo.csv
3925c88d0288e3cba035c60b7b71f837eee7100793db799c6c12c9d1b5abd580  delivery_verification/original_rerun/mechanism_mixing.csv
86c3f767859d58a6462eb4a75152ddc7e1cec4f6a35074e98804962a92acaed3  delivery_verification/original_rerun/pooling.csv
5eda3c56f7d800a8b9544a9cdebaadbd64ec473f6e77f24b97886ff0db462df5  delivery_verification/original_rerun/published_envharness.csv
2d538a4c733bb8e71744e4511db0b73b038a5d4448e6bd55ebfe032da3d1276e  delivery_verification/original_rerun/published_pragpo_comparisons.csv
b505a399f49bc8d7e1f7784493f554ce90a5ecb763bc8ddcdc4745e33f731da6  delivery_verification/original_rerun/published_pragpo_scores.csv
69bcb332192c2a789367d086a34f06072c151fd3e795bd1e80148aff24330467  delivery_verification/original_rerun/results.json
581094546d8699262b1509acf622fa8a8742728ae988e7cfa27e3082bb368274  delivery_verification/original_rerun/success_support.csv
36760e5a7d0c28ff56b66f2e0ced43f9b275c8c577fac3ccd61d9fe19d28e9e1  delivery_verification/original_rerun/verifier_noise.csv
184e851a170606fe9da096e4e37e08907148511794b1d872efe17e2e2759d834  delivery_verification/published_checks.py.log
e5685081a674e4ed77c0502c43bac28256a4085fd6ef4bfcfaa997e46b71c835  delivery_verification/verification_summary.json
69bcb332192c2a789367d086a34f06072c151fd3e795bd1e80148aff24330467  delivery_verification/verify_posttraining.py.log
2941d99bb00f8408199cf7b145acc3ab7a89bc3a135be5681923f0e8e1773e4e  logs/document_checks.json
d3bdfbd609d0e1521647af0a26a2f4db1c2c21b37d68f51d928e9be6ba887ae4  polymorphic_rl_rules_revision_d3bdfbd6.tex
19fd6c99ef6fd397e87e15a868a9ff6148587aaac0a7bc126d036bf5b79138b3  provenance/bibliography_sources.json
69bcb332192c2a789367d086a34f06072c151fd3e795bd1e80148aff24330467  provenance/original_recorded_results.json
e5739149f2654dba8f32c04248b611709220fdc599c793e57ab35f7ab13db192  recorded_results/new/alignment_results.json
6670e2d0b9a39a5f147551f89b61fb5978587c8370fa3940cd3a92a81e7eff08  recorded_results/new/anchor_results.json
9d717b0542c47b890b16f8e47142d463c7c383f41c1ccf3acf03cceeaee9d1d1  recorded_results/new/audit_results.json
46ab39e3bfbdf522b65f3db85b527ece6a7279beae43de0537f11156829965a2  recorded_results/new/group_design_counterexample.csv
bda2a54d06af81cdda63fa3ae14116ddff2f90e0f504e246bec2846823d0d5cf  recorded_results/new/published_checks.json
2fc1a12b840615cd13f858002ffe9d8478ab95b7be7a1766c1ba45685f5abd25  recorded_results/new/rational_certificate.json
39631c722f5428a1297ae072ce21b5bfa968fa65d5bdd1fc09c586541f09ffe6  recorded_results/new/ta_grpo_matched_comparisons.csv
0d588b328168e24823c65a3aeafc46f3e9a9529650d47a36101eecbad62ce19a  recorded_results/original_rerun/compute_allocation.csv
6470a1c7b8b09163164648d148ff3d279938d1b269044f44d29c498adc7a38a0  recorded_results/original_rerun/grpo.csv
3925c88d0288e3cba035c60b7b71f837eee7100793db799c6c12c9d1b5abd580  recorded_results/original_rerun/mechanism_mixing.csv
86c3f767859d58a6462eb4a75152ddc7e1cec4f6a35074e98804962a92acaed3  recorded_results/original_rerun/pooling.csv
5eda3c56f7d800a8b9544a9cdebaadbd64ec473f6e77f24b97886ff0db462df5  recorded_results/original_rerun/published_envharness.csv
2d538a4c733bb8e71744e4511db0b73b038a5d4448e6bd55ebfe032da3d1276e  recorded_results/original_rerun/published_pragpo_comparisons.csv
b505a399f49bc8d7e1f7784493f554ce90a5ecb763bc8ddcdc4745e33f731da6  recorded_results/original_rerun/published_pragpo_scores.csv
69bcb332192c2a789367d086a34f06072c151fd3e795bd1e80148aff24330467  recorded_results/original_rerun/results.json
581094546d8699262b1509acf622fa8a8742728ae988e7cfa27e3082bb368274  recorded_results/original_rerun/success_support.csv
36760e5a7d0c28ff56b66f2e0ced43f9b275c8c577fac3ccd61d9fe19d28e9e1  recorded_results/original_rerun/verifier_noise.csv
e5698b55553133cbcdbcb05c5b953f60c8246df0b65930d95e8ea77112e09e52  requirements.txt
0d726d3c9d4a200a984cf845b1cb7130a836d02387e7c4603e62f441748328fb  run_all.py
