7af46929f2451ed7e110f4de3c6fe10952193e29a1d85a7d9e0e9f6a6e821bf8  ./CERTIFICATES.md
49e2ba9e9a395c20b107acfa50f3f00ff1a15fb4884bd6fafc82c14f0a5bd63d  ./CITATION.cff
c4875157b68adcf0b8c2c3af9ff414ac56cbe6964027ec2f1dcb2fd4889c16b3  ./LICENSE
057bf0d5474d1cc46840d3b2d6f71ac75cbed47d31f0e96b4df52631ec2ce320  ./README.md
56fa6410bbce620bdb56fb43916cb880fe2377aa9dd8e8831fdc8a16c5c585f2  ./RESEARCH_LOG.md
13af781ec3eac2116c7fe5e5635647bd7a11231022a4a6b037c0d27038215ab4  ./computation/audit_manuscript.py
4d962aa6fcb5cb478cd2c4ab045c736ae4a183ef864c3165c7a582e7a1e8fe82  ./computation/audit_numerical_provenance.py
7a8e4632f84205bbfbdf2b1a9cfd5ab1c33378ecc37c3c42d499a4571d58e4b4  ./computation/audit_pdfs.py
dde511d27639d1105f9142b77ca3ee060a80de0dd39e52d879ae70e47189c3b4  ./computation/audit_stale_claims.py
2e320d43c8eef33e50e81f8a03d95b186b3288bd75124726b7019bdfb2fdaf6b  ./computation/export_instance.py
e833ea9c7c18aeaa3330e8553032482962cd1fdad24274bf7393d8d52bfaed89  ./computation/export_pareto_instance.py
a3a0263ee0b735aa6c4ddcf239a7a86b12620ab83c26688104de6e766d2b4a6b  ./computation/generate_current_profile_data.py
beb8597f5774779fa039fa10a28bf8bc47bc7699593c763596ab967399d365b1  ./computation/generate_sign_certificate_tables.py
9da8399ac3b0f1daf559579f5e7a0cb353baf1cb990cdc5e07358f485343eba7  ./computation/generate_tables.py
5260f756439a5e9f4bbc8aa978f150e04dd80886ab67aabcd8c77372fb643cad  ./computation/simulations.py
a914e3ba36d33f9fb6b1d8601bbfe027a45a89c0329e49a59ea8924d6d093669  ./computation/tests/test_flagship.py
2e4c9ca3c06884908494d578ab6009ddadd8a8de9d5ac034a188a428ecf310e1  ./data/README.md
9b6aa84c12db8595063e183bf29b1c460c8e6b293702be757f6356ad789c91e8  ./data/branch_amplitudes.csv
8bb971806047c585cbb2083a10ad7b1bae13a55943bbb4798bc3fb820b2e2efe  ./data/certificate_tables.tex
7bc5a8dd1f1db90f5336002d4d5bb5ed95ab1c760416043e62525f82efcb9cbb  ./data/contrast_table.tex
be5d94f93088e1d3404e54d7e2b07b040937df563c1e702fdae0fa76bdff7cf5  ./data/current_profile_exact.json
17822d651dc845b94f11816b2da4a4bca5f438aa87f607c3ed06f3cecd824d22  ./data/exact_instances/pareto_m3_L0.json
bf20099bd0bab87d75b3c3c40009bedf20631b6acd1afeb569d306d07bd6c3ee  ./data/exact_instances/pareto_m4_L0.json
11704e1d67a9f4e7c3679e249311e702fca01c58ccabb856d25efdd7dba5f8a0  ./data/network_instances/Nhat_m10.json
3f0e06c114a425179b9b58ef1fc2dc04448ca17ac4e9c38c4101960a9128a8fe  ./data/network_instances/Nhat_m3.json
46073e3f03a6abcfc5a8455df2da9145e4f1314ee1c3ec68a3247712fae1a868  ./data/network_instances/Nhat_m4.json
de58225a201c6cf9bff34aca03bad3c139eefcd63ae965c3276200e32b584de9  ./data/network_instances/Nhat_m5.json
4ff9f810b9a9cbac05c03bbce0558e5f084b8cd5e10d88bb430521ebb44dd944  ./data/network_instances/Nhat_m6.json
1aa9782fa92c5547b6bbb6bbcc68e8a4d4c6f5673f65cf0ddac64768e5ac2589  ./data/network_instances/Nhat_m8.json
cfc00712d479ec823517792c2727a697c7f4e014aa6af25cb4c4939e9acbd9ef  ./data/refinement_checks.csv
4372659273b4a4a1715edf8d8b1fb4cf39c3acadd7b6a2e47093529b85690fad  ./data/sign_certificate_tables.tex
79cc2016cdf805d1ffbe793787c6075532a633508f88b5c77b53eba0a460dcca  ./data/simulation_parameters.json
c196ade5e5e12b0b1007a8e232dcf72c1891eaec1e3acf81d0f3159372039172  ./data/simulations/amplitude_m3_mu0p01_K16_base.csv
f6aaf177280ab519b9bb0a692f36b50300d7dad4f8ed59d4b27243953dae6319  ./data/simulations/amplitude_m3_mu0p02_K16_base.csv
8f6e9f4738f0f921706d3886401e3705dcf503e46e12c30f2ca77e7e164f83ab  ./data/simulations/amplitude_m3_mu0p02_K16_time-tight.csv
a65b642c1b6516ef34c322634d62ac98f914686c1ff454a94171eab4bd0e7875  ./data/simulations/amplitude_m3_mu0p02_K32_spatial-fine.csv
976c75622964ec8253e7856908d0c48aded4f4360986f24ddeb510b1e059379a  ./data/simulations/amplitude_m3_mu0p04_K16_base.csv
da620db7a390f43961430930d0877c6aa4788c5de9c74122ed26101c2595ffdb  ./data/simulations/amplitude_m5_mu0p01_K16_base.csv
54cbba6157b222acdc56f4f50253e081235316b286bb75592c6cc6ebeeb787f0  ./data/simulations/amplitude_m5_mu0p02_K16_base.csv
bc570606480ae26628db3e230a371348c4b13516cf390156628af00a0a9d1787  ./data/simulations/amplitude_m5_mu0p02_K16_time-tight.csv
a3616478e91ae5d8f7f70aa1fa02d8e85e5d689bedc6ec08f3d52378365874ab  ./data/simulations/amplitude_m5_mu0p02_K32_spatial-fine.csv
33770de6f4dc731b9686b4504247730289dd4de6b23ad1ca97d374e01a2ef7cf  ./data/simulations/amplitude_m5_mu0p04_K16_base.csv
8c9b01a884b967869934a9eb5da54ce30ab40e33ecfc3e488876deb04f8808fd  ./data/simulations/amplitude_m8_mu0p01_K16_base.csv
55bfe878b5e0a4b6e89a98bc1e3323b0ffe8892b15671ac90168a6caba6475d2  ./data/simulations/amplitude_m8_mu0p02_K16_base.csv
4df3c2a781325f5c8c35fcc9581660c85634014b97d1fc503300b1552c3cfddc  ./data/simulations/amplitude_m8_mu0p02_K16_time-tight.csv
761e2e83cbe2b6b17e5acda01f3f728cbb715bf3ebf6d00c8720e39741b2b22f  ./data/simulations/amplitude_m8_mu0p02_K32_spatial-fine.csv
0bdcb5cb340eed5eefef5ea284c88a7ef7bbad38ddcb133de17ca945d5070f07  ./data/simulations/amplitude_m8_mu0p04_K16_base.csv
abbf8204dab56d4fb9b1786c2466947f57376f0db2daf6373f5a4a2effff946d  ./data/simulations/parameters_m3_mu0p01_K16_base.json
b392a214017ff46b52cb30f7cd6b7fa1cf872e09af063ffce427a2d103ffa61a  ./data/simulations/parameters_m3_mu0p02_K16_base.json
e04af4cd84f72cac0567d1375881ef497a8e65b6734d6867dcbbca080a2d9c76  ./data/simulations/parameters_m3_mu0p02_K16_time-tight.json
0e84be2a70e9273be786a8baa9718744c6509e3a5d44b9d7f088f55ad0c7e6c5  ./data/simulations/parameters_m3_mu0p02_K32_spatial-fine.json
f339009cf0633b75776b9e5fa5611c2f41c5ccfe3e2ff453fbd5609395419b19  ./data/simulations/parameters_m3_mu0p04_K16_base.json
fad422714d70ec018d0b79c30df74c2d2cc01e67be80bb76a9cf69ffeb3e0fca  ./data/simulations/parameters_m5_mu0p01_K16_base.json
5dad53a082d94b121ccb469ce37d6a00c91839687662eff424d3de8e153d1091  ./data/simulations/parameters_m5_mu0p02_K16_base.json
a50bebf4d6770b62e5439f513c8bf334a9e5a495533b86df1125cab9a0081f78  ./data/simulations/parameters_m5_mu0p02_K16_time-tight.json
1472eec8f5dd0f8ba5956ab3be99d08c41f5c8fa8d6648b7c4614d61c1bf2330  ./data/simulations/parameters_m5_mu0p02_K32_spatial-fine.json
ca065a0148131609f93214b8dd3dc2e2f25008504cb1b7199b002f3b0c7da340  ./data/simulations/parameters_m5_mu0p04_K16_base.json
08921c09cfc4e5e10ca63cd0dc7ca8c63313d15fa78ae94daa1f4132eb136a57  ./data/simulations/parameters_m8_mu0p01_K16_base.json
e32de472f13ca4981c26108125931841fb5ee8deaf48aa8da2e7e125131873b8  ./data/simulations/parameters_m8_mu0p02_K16_base.json
41e938d089e891b890c307a38149e6ca600d8b6a0bdae550ec41ab185b57f313  ./data/simulations/parameters_m8_mu0p02_K16_time-tight.json
de8d9eb40ed5165272822c0585b9053e5458f73c61c211a662845273be5b6fa4  ./data/simulations/parameters_m8_mu0p02_K32_spatial-fine.json
b2f7f512b52875dd6ddc2937a7adef8ce1403411dbcc5396c15dcdc6f9a2d93e  ./data/simulations/parameters_m8_mu0p04_K16_base.json
e4d21cc4e25f415bc3ca804ea377a5ee7aae6552befbd62fc4a51b5f124c301c  ./data/simulations/profile_m3_modes32.csv
722f7ed363ee6f7a7e8d74b52f962144c3ec35858301b3e4894386dcf6a73a31  ./data/simulations/profile_m3_mu0p01_K16_base.csv
c44873a9b7c87e4ac8c75768c825232dd22884cf018819bb2b5d8cb506db51e1  ./data/simulations/profile_m3_mu0p02_K16_base.csv
c3593b04a84f50f697522ca9b277e00312b137a995bf947cd741102daa6aab76  ./data/simulations/profile_m3_mu0p02_K16_time-tight.csv
e4d21cc4e25f415bc3ca804ea377a5ee7aae6552befbd62fc4a51b5f124c301c  ./data/simulations/profile_m3_mu0p02_K32_spatial-fine.csv
543c868f7c5011c661df9dc24ee8770c8e9bd9bcc5255d31f8ca2e04df489c4d  ./data/simulations/profile_m3_mu0p04_K16_base.csv
de6a688d77a454cdc7d66d9b399bb28d792d9c0bb29a46a137e6426863e4826b  ./data/simulations/profile_m5_modes32.csv
c7c1ce4146ddd7c5c966e43e5f4c91222e338af76e59017d5df731bd21ed33f4  ./data/simulations/profile_m5_mu0p01_K16_base.csv
af91a73c19969ab4c7febd42dc952fb6a66f6ba8157e9829d949bb743d697f24  ./data/simulations/profile_m5_mu0p02_K16_base.csv
f31597adfc1d049b86db4407c787ccf7d0a6e020764a6deb87577cb2bc558116  ./data/simulations/profile_m5_mu0p02_K16_time-tight.csv
de6a688d77a454cdc7d66d9b399bb28d792d9c0bb29a46a137e6426863e4826b  ./data/simulations/profile_m5_mu0p02_K32_spatial-fine.csv
20fce0517f42bf7bc96c46aafc2c27bef7ba7a606f52656380e57c5f96abbce3  ./data/simulations/profile_m5_mu0p04_K16_base.csv
10bc1fbd48fcc987900de4b5faf3e4a91bf40f522bdebad3240836470fc8a8b1  ./data/simulations/profile_m8_modes32.csv
acd78f9753d7d91304bb89f1d8537745f11efb11921c31c4663b7576bf0009c3  ./data/simulations/profile_m8_mu0p01_K16_base.csv
3f65de163f5fb5d57297bf3898cc7c2285e7b6092fe95190fefc2ad1d976c1af  ./data/simulations/profile_m8_mu0p02_K16_base.csv
251a5ac4aeed6a33d101db614f980a82e9912c067e72d89991e97b8c37b0c29f  ./data/simulations/profile_m8_mu0p02_K16_time-tight.csv
10bc1fbd48fcc987900de4b5faf3e4a91bf40f522bdebad3240836470fc8a8b1  ./data/simulations/profile_m8_mu0p02_K32_spatial-fine.csv
ec27f1c01e67ee54377ab2dc622b914548dce19d8814ce4da99e822fe0e02eb2  ./data/simulations/profile_m8_mu0p04_K16_base.csv
2076a02c440776280495e93df32cb79f9fcfa03bec2e3f67a24a21874d0df6df  ./data/simulations/simulation_summary.json
105331ea520d474162f7e6c04e9b361b45d839a20d3bb36e448feb6de41fa20d  ./data/triad_routh_gap.tex
3663c2c12205ed5505ebe2a40ad9802003acb9828fd3de47e80e6fa47ec02a4c  ./environment/TESTED_ENVIRONMENT.md
221974e4400f400f7e829ff8a2b2a9595a94d3d551396a35740361781ba00a0f  ./environment/check_toolchain.sh
1dd3c8543788262a42c35ceb5acb52a9482234943adb98a82f5091f5c11e86bd  ./environment/texlive-2022.04.lock.txt
714958dc16a9cffe6cc5a453e9b06c81ace36ceda68338c2cb4b9108f3243ce0  ./external_audit/proof_skeleton.tex
bff800b2eb372c6fec7f5cb152c3eee1bbaea9c8681048a118daaa5ce005efea  ./external_audit/theorem_summary.tex
072d90788794b6d3a18126673e8fef53f58bff61d63478ff8d99d919208d0a4b  ./figures/amplitude_scaling.pdf
a7a2865b03114147e30a6e22750d6bad9dff3ad8091399661195443037750226  ./figures/amplitude_scaling.py
c1db7cbfa76989691d71c7fb5c2adf727805ad1ff78d971583cd2f4b804b37b0  ./figures/network_family.pdf
0a73f190bb086b1358f4f06c1467347f37835c63075305f9fdaeef67fa2b4d68  ./figures/network_family.tex
7732b7ba27ce8fad5cec3dfe4c017fd351e48a2b4fdc364f13ff2a07b82a07a5  ./figures/network_family_standalone.tex
34e49d448978c9cf659884496a2f60825b698f6cfb8184d50bca2338a856c3ed  ./figures/stable_profiles.pdf
fc1f06e1b2b1776db552ccd927e4285bacfbb67cc16ea59682f608c1c405a1aa  ./figures/stable_profiles.py
6a58cd51db2fdd816f05328b04eefcabc8caabc994a3e95bab0fe42414260f22  ./figures/stable_tradeoff.pdf
ff9718342f4608ec49b1a2a6a046bfc8c155ee7579e198d8a3ce18be52e651b7  ./figures/stable_tradeoff.py
91a7668a73ab52b2c0495e7a409a2ec6a085504b3e26311dc0514fd9841c4c0e  ./independent_verifier/README.md
91b7ea9094e2b6fb69b2c97f639c44ba22b7d4aa204ddb8d5e0c8545fef6232c  ./independent_verifier/certificate_schema.json
c726d5db96360e03d595eff38f0fdd7ff437cad6d82af53ed6720375078e0847  ./independent_verifier/common.py
c726d5db96360e03d595eff38f0fdd7ff437cad6d82af53ed6720375078e0847  ./independent_verifier/core.py
37e95c1da7331b690fcf3694cbf54d12850972dd410c2d49d045900b88a5d994  ./independent_verifier/dd_verify_contrast_bounds.py
7801b6a9b2982d65daadf9be904d7157041c2b53a7140736b3d6c71124e76b73  ./independent_verifier/dd_verify_critical_profile.py
f7ee368ccd61a0e3cae71ee3029da3aaf2b0788eec714a931648f4423abbc6eb  ./independent_verifier/dd_verify_cubic_sign.py
c6dcf6fba2938a17c40d5802de52888ed789f58aca89e8daedb01a2b921947ed  ./independent_verifier/dd_verify_diffusion_criterion.py
6da7008702f5ab7b828f5579fd4870d4012bcd82ec6b87eece724d0d8a9e87e9  ./independent_verifier/dd_verify_harmonic_corrections.py
773f9b1f538fc3e1ae071378bd5821f53a14f932c1076665c547f1d74eccd6b1  ./independent_verifier/dd_verify_mode_isolation.py
d265a59aa2b300da3bb5d817cb41339d3906409f797c6df664dd59674a3416fe  ./independent_verifier/dd_verify_order_m_minors.py
5ea03cdb9bf472a2235a7d3e9d7bc99660c9495e609213eafa9ee53c0313879c  ./independent_verifier/dd_verify_stable_contrast.py
787c6458bdbe178e100c10c2ce4e4a2feff0859bf78a3520e2f1a725099a0eb1  ./independent_verifier/frontier_certificate.json
372f8cd216e9ed0cb639663a908c1a8dad218de48aa7e16494e995a079cbfc85  ./independent_verifier/frontier_verify_cubic_bound.py
927bdfb3ce776dd5e2a94a0ab8ec7e76f0727763778fb4c9b69fd96655a7ddef  ./independent_verifier/frontier_verify_determinant_identity.py
9c2fd3454697f50178855a087256fa563782c7e95d25155cb7a066d4bb855d20  ./independent_verifier/frontier_verify_exposition_identities.py
4dccf8e3cff21a05b103131bce76ab8498b1e52a8c1b650f3ce2e692d7ecb3ce  ./independent_verifier/frontier_verify_family.py
72117b8bedaddd9fd436837efad1aeae880beb92de7284827547b24e3ad4576d  ./independent_verifier/frontier_verify_master_certificate.py
7076d1a7dfc5f1e2644231fbf77ae948bc12a1433818e4229d7228d23d42ae6c  ./independent_verifier/frontier_verify_mode_certificates.py
b59ca78d6c1871180013c0d3a7c215bd0d2525a3e3d283cb152fcc92065c62fa  ./independent_verifier/frontier_verify_near_threshold.py
ca8b7084f107adf70da541dc76047f88da2ee41e1da6332990fed493e1e02b8b  ./independent_verifier/frontier_verify_normal_form.py
edaee8d42a52519cb206d3eaaf7a2498c08160d98eb2f6529e7ae865f641e570  ./independent_verifier/frontier_verify_pareto.py
5ef2775d65bf6a96fa2097cd3b0d3932d435164c9ff41cbd62ea5ecd52ff9e48  ./independent_verifier/frontier_verify_pareto_curve.py
629f1f305efac104f9c675d1fb6138c63fa53f9ad77827014c312dd933869a5b  ./independent_verifier/improved_modulus_certificate.json
2d642d584658c2de0213b2713cc9387c2ae6f2a07a65801894444c4217cb1202  ./independent_verifier/pareto_all_m_certificate.json
04c2dce4c66a3b2fbcc5075fd4f793c08458d446021b3006c64c436f18627b79  ./independent_verifier/pareto_core.py
f70c7b006511148d96f3fd6d10323a627457626cf82d410e0c7f9ce579eee0a9  ./independent_verifier/stable_core.py
857dd652b2200e8465bcfd78fba5d8622b244707a5f41fdb489c8a28df2c3564  ./independent_verifier/verify_all_spectrum.py
a059b1ca800db8d6541e596e42071efac0306c49465338805f53803efd1fcbd5  ./independent_verifier/verify_branch_stability.py
68e4c34f59c22c571a7393a081c28bbac57c00597a4ca0ba37a4f659d8931930  ./independent_verifier/verify_contrast_bounds.py
483054a916892d0b096d7a66c3553f41786e44e7c5c42cb43715d8ae22381a87  ./independent_verifier/verify_critical_profile.py
8b612dd597bd79ffcaf1e67a5e99097637dbee69b703ea71454608a977835bde  ./independent_verifier/verify_cubic_sign.py
1b87deee35795f88ed45e8b02f6e2dc470f56bc09fa8e2c8a5d46cac8485ea9f  ./independent_verifier/verify_current_numerical_provenance.py
683c9b932ead84a7ac6786aa0a6369afc735020c09eb390eb497034bfff9ea49  ./independent_verifier/verify_diffusion_criterion.py
ee81a22af477e105a1f2bc3fd08e2e9de7c5a45f76e8618be170e7273787827d  ./independent_verifier/verify_exchange_of_stability.py
9cfee46f648526d71dce206fb94388824b67c14b32706e5428681a73dbae6f7a  ./independent_verifier/verify_family.py
6a428b7118ce799b7a254ebf2a853d7d5b18f4eb12ae36f6562eae3cd5e8d076  ./independent_verifier/verify_generic_cubic_recurrence.py
0952c7be8da303638e2ea35fc128cedbe517769d47c7addbb352a6c4266ddb8f  ./independent_verifier/verify_harmonic_corrections.py
193e10a8c5f43134ba6195852be26301170f60ff58191a2e1c21934d102d5ce7  ./independent_verifier/verify_improved_profile.py
6e697bc9d5454b8e35bd4ae80e133e408e9504093873e4b26f9389cc091384d7  ./independent_verifier/verify_mode_certificates.py
9b66872b9b91195b97c6628ea2bc7b09d12dc8dfbd2868a91c2437a7e8044b1c  ./independent_verifier/verify_mode_isolation.py
cf232cfda10c02eef6fcc93048682f9f79b739d2d2e4cef606d46095757765ed  ./independent_verifier/verify_network_one_bad_minor.py
cf2120d8de063b01991ceadb4626a931e62c603a778caa153c3e6ea067d1d396  ./independent_verifier/verify_order_m_minors.py
3bad9a0fcd80d11202195861187401c8226d6a3b278e61bab4176e8b7d0bf6ee  ./independent_verifier/verify_pareto_family.py
a3f7ed532ff03fb987a2d42868616dbbc4401dadd2ce5d3ffbdfb82f791350c8  ./independent_verifier/verify_principal_minor_diffusion_ray.py
d00f08b476c248aeade3bb725520ff4a1676b2fd1062d1b3b24e717ef209a416  ./independent_verifier/verify_realization_space.py
31aba49ba081c07b6f54a6ca7f69ae225400db801fffebe973228c2fc9863ea8  ./independent_verifier/verify_stable_contrast.py
aa2ff9caa6f6b4752319a470de414f787e61d0f59deac94f5d4913c81bf81e16  ./independent_verifier/verify_symbolic_certificates.py
17d5bebf996c662e75ca7bf6c6566c5a7f068b141ea84605592708888df8dade  ./literature/citation_audit.csv
4da0b0f72ec7c5d375bdcb793d6b24b97286a8e3a049abc78ba272de1695b117  ./literature/closest_results.md
f9190672f7b5f1985e321a35c89224ff13bc68cdc2ca75f7181892e50721a932  ./literature/priority_boundary.md
7b69108005d42f14456feebaf4834bdd88a5006d7034732907d2f33644aeb6e9  ./literature/source_quotes.md
41f07674d9d97027513aed9d062f0e5e7b5d1b6f761289ba126e86266e6c98dd  ./literature/terminology_crosswalk.md
2d95d578081f894b25b0a05e37e2ef6ebc06a9574c1c46aac94fe7ec40793cfd  ./literature/theorem_comparison.csv
77a548b8acc45a1d66458bb73137da84fa35b94fcad86e5106a7f49f6e4bd071  ./manuscript/main.bbl
7d6a45605322e3480f88ce3a8edb4d53c521aac169682a2fdda17c994085f7fa  ./manuscript/main.pdf
eb9c2abc167a62a5d3e85138575c7fc1ffc6d4231488df0f6d0448f652e1afa7  ./manuscript/main.tex
06681715593ad3f262123da30153420c32945747a2d19672a991e8a6db62ff92  ./manuscript/references.bib
835a96bc6c103fb18c1fa312f66de0cf83766c3559d4b7aab1e5371c9682c566  ./manuscript/supplement.pdf
270eed887eb3e357cc5dabe83bbc50576d79ba7c422afe0dba1b085a4ecf95ba  ./manuscript/supplement.tex
aec0733da147198a2e9ee50cf597dff29904004a233c2158e17bfea63c0c8471  ./proof_audit/all_spectrum_localization.tex
25f1ea5886e978c24cb92a559dbd9b9a7eeeaa2db4455d81d22187633ecbc5de  ./proof_audit/asymptotics.tex
ca191f68ec8ee3a37efd2b389be56abc3e32d3bb892201c7749dc23fed88b3cf  ./proof_audit/bifurcation.tex
0e135186633e162601c1d9ecd669be1b9b315d92bcf59cb9191960d6b6e9a884  ./proof_audit/branch_stability.tex
c46aee5f4a7291fbf0fcfa4f074cc2d13e3340d2c2bed1c37e279c4fc90e7f80  ./proof_audit/conservation.tex
f27ac3fcb970ea461cf8a742b21b9818ee86a0ccd9ea5e45a1410bd5ca43f57f  ./proof_audit/contrast_optimum.tex
faf4850b68489d25b54d25439567e9c71a030d0e4f989192860fc0e3a644ac85  ./proof_audit/critical_vectors.tex
53aa63cdb1bdbaa378fadf9b39b7dfed6d9f45485e6e543687acba26421d88f1  ./proof_audit/cubic_coefficient.tex
05306ba958c74494674aaea760008d25de5a8c47731b9ec7e868332909843001  ./proof_audit/cubic_sign.tex
a37dd5b337e6f18d46e46c2204d046ae79700898a08da2639221c7601cdda246  ./proof_audit/exact_diffusion_criterion.tex
31dd57715ddb0e8a7c388a1f10f7db54e38dae1ea01679cd541cee3a5dc19a80  ./proof_audit/flux_and_realization_space.tex
bd8c2d9805aacdd05553f96634d8a10124873d68eb43174f61afe6542163c9e2  ./proof_audit/flux_cone.tex
2f209ca5645238dcf5163e0c8f59f36228e7a9ded0d25b8ce94cee84d3784f26  ./proof_audit/heterogeneity_tradeoff.tex
c52bcee80c470c5eaa577e3d15e9a078d386c410779877cbc6847e0d81d37806  ./proof_audit/homogeneous_stability.tex
6598fe33183d8261310f9914221338bad4edc3385d37534cfce85eddbd31e180  ./proof_audit/improved_unit_profile.tex
a3bfd642c1ff85dea132b1d5aec5e2c7e0eda51dd5ab3468e9a54c9e3381ee5a  ./proof_audit/mode_isolation.tex
d98729ec21e4e34731052ace02d70721811afda0a53f286e9aa96b2e0ca7a85d  ./proof_audit/omission_minor_table.tex
bdbef9aa23ca81203169b9315df8fd9253820a987b4022d7788d204b2f1fb7d4  ./proof_audit/principal_minor_diffusion_ray.tex
5d9999d57047502357c0e5e7346bd69a3daaf08ae502f849ededab67b8168937  ./proof_audit/quadratic_tensor.tex
12a043340d622487e978c05ed069c64fb7ce1d89e85c47470ebc72992ec65a6d  ./proof_audit/reaction_family.tex
cfd5eb3419f1b62b6607389175f13370fe2f925178cec191a9935a33ef268ac8  ./proof_audit/realization_space.tex
b93d45cbea670c203873897c1b6f8335300dc861fddb6b4bfa5d8e46ac0be130  ./proof_audit/robustness.tex
2763074de8fe0e8eed432c7f3d87cb66d4ea4fd1cfce4ab0fc02e68631565e7f  ./proof_audit/second_harmonic_correction.tex
1d158e89c87e272769c9314f92721495051aa3982e75cdff5fbd78ddb4de5861  ./proof_audit/semipositive_conservation.tex
11272c2d940b2a7eaca72fde0b5e6fd15d82e42a21d21401a7d3171ab998392c  ./proof_audit/stable_pareto_family.tex
7c8a4582b8f9fae97d4cfc621c0a7d3f09167eb59a8a19e4501a7dda6e9566f4  ./proof_audit/stationary_band.tex
081673d0f78bf24bec7b51a7ca2e553a020b83e39946d6d8b4340287a794d6b6  ./proof_audit/zero_mode_correction.tex
abebbc5dd1d8d168c42a8c47a0e91443f176c34624a219f836b2c4608c7b241e  ./release/audit_tex_logs.py
fa82f0809750cca0f8bef3920d34dd6c0578161632426a9e98316314677f88f7  ./replay.sh
74ff299300303232e797be95e5f40a324fddcdc4981e3b6a8575ba490fa366a7  ./requirements-tested.txt
7d5a250d5ba4c24823dd4e850a5670373a4392d19ddc6228161a9aaf103526bf  ./requirements.txt
2b9be4355a0352c411c13cbd3da6e77a882a62a78e2fdc7e26ce102784fb6af8  ./verification_outputs/PROVENANCE.tsv
8855a35f222821a6c9c95be025fbf30cfbb25b58bb5a3b390c18e0c192f41e32  ./verification_outputs/README.md
ff52685399a9ff411d0b4b641a59d85b30dded751e6ebef1ae4f78c3513df36b  ./verification_outputs/all_verifier_entrypoints.txt
bacac02638cd1375b218c4efb6cf237a1f2763f38a65ba4ebda49b82e924b48c  ./verification_outputs/all_verifier_optimized_rejections.txt
9655773c740ed8aefa1c589583098fe503979eab467cdb2a91dc9e0c589c2d8b  ./verification_outputs/current_profile_generation.txt
e932eeaa7e5bafe78b1b9cc035f01f225071c1fb1d3d3380fd7a5101814da4fb  ./verification_outputs/detached_numerical_provenance.txt
c3785d85236cf339c940ee82432d32fe8c31f8631d3242e324223af4e0760df2  ./verification_outputs/generated_sign_tables.txt
474b8a38d3f27eb62f1c439121e87cc50538fbc489f676254b1a14a060816521  ./verification_outputs/generated_tables.txt
bf8debb13113267f9b1d36686862ada12a96312227ef03d13392dd33ddcb92c9  ./verification_outputs/integrated_designs.txt
045e32fc2d6c9816abf0140e8ab4146d54fbb0ade5fddc50f2edeee4637cbd2d  ./verification_outputs/journal_log_gate_negative_control.txt
a08a67a4db7368b941c3649e5b05107429e85b969af56bab6dcc6fd4536285ad  ./verification_outputs/journal_pdf_semantic_audit.txt
652062ac671eb6783286b2ca19860345caedd7c7b7b5772c2c40a2ee6aa229d7  ./verification_outputs/manifest_mutation_test.txt
66757690ade52dd06a35de680c38a9a2cebb2531131f0947200158e872ea88b3  ./verification_outputs/manuscript_audit.txt
b61116e7a27c76fbf9c7dba276c85246baa1f590f80c53162c15884881fe812a  ./verification_outputs/numerical_provenance.txt
a08a67a4db7368b941c3649e5b05107429e85b969af56bab6dcc6fd4536285ad  ./verification_outputs/pdf_preflight/SUMMARY.txt
7642b9e8927b1ee817cf9c8e66e31088cd58fbcb92bf214c83e1599c3a85d131  ./verification_outputs/pdf_preflight/external_audit_proof_skeleton_pdf.txt
e0b5f66035b3ce5dfa7a067aed5a3defa827d59e83fd31d123ae6d3c814dcbc3  ./verification_outputs/pdf_preflight/external_audit_theorem_summary_pdf.txt
863c81a9d39bab372bf5aaac8ec864a363cf3e1668a6326d4abc962cbce38a5b  ./verification_outputs/pdf_preflight/figures_amplitude_scaling_pdf.txt
5eb448b3e909e34838894fed66b35e6e3bf4aa36edadc6bd18f390fe341dd043  ./verification_outputs/pdf_preflight/figures_network_family_pdf.txt
11b3804bfdc8555b4592fed3214c2f3861396a9f4386aaff77d411b8d07f9d9e  ./verification_outputs/pdf_preflight/figures_stable_profiles_pdf.txt
20447c5b3d64eb5837ff827609e30a263a270984e2b9b772d60e8b52fde9da75  ./verification_outputs/pdf_preflight/figures_stable_tradeoff_pdf.txt
9dafda0651e4cca1f8a904aa1b66283e7f6b381e60886ffeffd36a0ab4a05d0a  ./verification_outputs/pdf_preflight/manuscript_main_pdf.txt
7daf8809fbde27774d3e67cbd0f840e14b41423378552785f18758dffcc4d213  ./verification_outputs/pdf_preflight/manuscript_supplement_pdf.txt
a08a67a4db7368b941c3649e5b05107429e85b969af56bab6dcc6fd4536285ad  ./verification_outputs/pdf_semantic_audit.txt
e50a35956479059c9e11523b59fbac46a4fe549f82320480dd2334b842fdfa1b  ./verification_outputs/principal_minor_diffusion_ray.txt
ea78fb3ceb81f54a5a33b0fb0a73df6e971b1316596fb57091f768e27ee551a9  ./verification_outputs/pytest.txt
75bcf17b3d2fefca21ede5a17f00a2d7a5117be6d14c751e35949c79fa915e05  ./verification_outputs/simulations.txt
47fa47a735043a541ce3a208306c106cd61a778cd2a75aaebba239f2ac1272ae  ./verification_outputs/stale_claim_audit.txt
5c164ea6138268df9df971296741e7fd7322d17fe292096a4275e2aa9a7bc74a  ./verification_outputs/symbolic_certificates.txt
