RCIG v1.76 Phase-I Closure Manifest Generated: 2026-09-13 Status: RCIG Phase I FROZEN at Run 176 Member count excluding this manifest: 748 2243ea51acbb65a8fd983c1ab8de19fa059cbff17830ceae6e1a8496367210d7 RCIG_Autonomous_Run_001.md 4ad5bf651241d856cd2090c7b99e6f743c383f0ea8412bac0db2745c25ab9f71 RCIG_Autonomous_Run_002.md 86316f2faa924571bdcf29e966da9fe47390b4c07d9eca281c6604eced12d95a RCIG_Autonomous_Run_003.md 5cd2d2dafb56824506f9991c3d1aff7c903063191fbc7b4391e8588fd66c119f RCIG_Autonomous_Run_004.md c537a5f38e600b56c5bbe111e4425d48e01332738d0f3b4264d4ec31521dc503 RCIG_Autonomous_Run_005.md 6ffb765a340531f7e2700ec1b6cafd9a56d7d4d15b2a3aacdc9229b454b26aeb RCIG_Autonomous_Run_006.md bd0205e2b03181db0b801037f8c2cbdaf8ae83d170101be739bbd103ff2dd9c5 RCIG_Autonomous_Run_007.md ed89a74f59fa9cd7e37ab023357b447ee2db0d2dbcc787bdfde12185f991fd3c RCIG_Autonomous_Run_008.md 98c60013b88b75830d7ad7b897eff9d258b2423d10feef39635d18a9d207d9f4 RCIG_Autonomous_Run_009.md 43f19d1eea6350954f38b15e1205eda5cbfafff352e8064334e2f4f661257e2c RCIG_Autonomous_Run_010.md 1881d92a8a569c78062c0fbd12ae5fbd0a9d1b1c0ad5ab4489f9dd15b98dc611 RCIG_Autonomous_Run_011.md 36d4fdf236263edf3eeb0f4f4e272989d710c31e901d78d8c96b8c3b5e723623 RCIG_Autonomous_Run_012.md 55b8911388d5d3610b7f7dbcc5bd8cef7494d63b7e5e5072ac71955da764cfe5 RCIG_Autonomous_Run_013.md aad9fefe2ef253371db9722a19265bf1b52dcb212164d014e5a16453aeda3e89 RCIG_Autonomous_Run_014.md d1d161d2ac478a23af135f05562eee9100764cefd6114b5498bbdf256b6f89be RCIG_Autonomous_Run_015.md 23fff8ea0a531092627ced4439550dfa0ac8eed8a17851fa3493ecb4aa3dfd3e RCIG_Autonomous_Run_016.md 36e00d435d66b42ab1d9a129e03fc7787c53a115437ab31819fff28d848ad0ad RCIG_Autonomous_Run_017.md c6b3bc80cb51f0cbb77b2c4ee850900f2fb723d8d0d11712ab5a6e3a22a4fe1a RCIG_Autonomous_Run_018.md 9b04e7e5fcc5695057aa79e7853f66a4f8ad4da6037a4d418ae4bc13e875a672 RCIG_Autonomous_Run_019.md fa33805b64200ee9d4bac0ef4b7b875241294ff77aec3b230df887483e6b2070 RCIG_Autonomous_Run_020.md 12c6d761862dcd5c1415260796480ebf6ff469be50d819b55f9b43d0fc03ba71 RCIG_Autonomous_Run_021.md 8018ef5a152ad6f4af8f24ef38a9776cdb8d83232a40ac53fee0e446fd11557d RCIG_Autonomous_Run_022.md 5b0e83bb506b4dfc1acca9deeadd1cba2f2b6b1d3aee0efdb29b45abb735034e RCIG_Autonomous_Run_023.md c6ab71f266070d959d37962123eef78b57deb7e4a580754e712cb0bac3f55b18 RCIG_Autonomous_Run_024.md 7f9e5a17abcf07eb97ff246f71fa33aecaa87ae581b4c9caba27b64f439a6cb1 RCIG_Autonomous_Run_025.md dfab6de7338907f6396f876541b47bcad82143536d13afd0999557a2ec4be86d RCIG_Autonomous_Run_026.md 9755adde9b10c5ec91658d8756400275e139b3e656506da3562d0bc418e7e4a9 RCIG_Autonomous_Run_027.md 462ba138f381ada6a76b95d911c8a257ce71e295ec8fc7e037375d7b2a6788e0 RCIG_Autonomous_Run_028.md dfb36d1003694854a386cec9fd53f62aa9c995184535d2aa754b874ed7d80e03 RCIG_Autonomous_Run_029.md 8d9ac9af519b57c9cce3807154f686a197e1cbfccd1a00fdb45d3d0fd3bb917d RCIG_Autonomous_Run_030.md 06f086bc3f63830579d6cb721a75b4b8f4ac19871bf299ad9975c3c68ceeee75 RCIG_Autonomous_Run_031.md b70a42d753e896091568d7c2de4327ccfe7a0c8efa07ca4fa1758611e5adead1 RCIG_Autonomous_Run_032.md 6d20a12093fbce9d88294fa0ffb9d23e81ac6ace74b9d6f4544fd04eef84bcca RCIG_Autonomous_Run_033.md 506da227580e1bd898373f46ee09a2da5467bb629ce209d1a9295a2bb3ed69fb RCIG_Autonomous_Run_034.md 45719403b0b9aa67d038c05c74343a881a8fb514738567e0def8c57ade4ddb03 RCIG_Autonomous_Run_035.md 89a5c1a5d0e158bb2fbb27f23dc4292b072875a0cdcc6bcab6127e787f14b997 RCIG_Autonomous_Run_036.md a00c97c7453406b7e0401424cbe2808f3421bdfd7df96513a3349bc6e45befc3 RCIG_Autonomous_Run_037.md 414ce6cb4ac73125c860650c0ec5eb02742ec8758f739fa403e557c746a47a13 RCIG_Autonomous_Run_038.md 9d6a64440715b20438373b9467e81d09f19d8f4767e7005afa5f139814c64f4a RCIG_Autonomous_Run_039.md 685b48a6f9fdea59ca5da284903a57be006abf374b78fd5c80441e15c78c5986 RCIG_Autonomous_Run_040.md 7e1514394062c8b5aef3436b1b5dde1efaf982b92ce59fdad4b09cea46509825 RCIG_Autonomous_Run_041.md 35a13b5b3f06adf3d79c8978a1acb8121cc087c1fd57c208dc905f58ea25c480 RCIG_Autonomous_Run_042.md 9b5c0309b957db50c80758244f7bdb0cbf444426c2376a1b1092eb66811fe669 RCIG_Autonomous_Run_043.md a3a9e96c44c0d7f1acbbba4d558afdfe7dee2c35078e4142c350f47b0eb6402f RCIG_Autonomous_Run_044.md 09694bef01be5850d87bd8cfdf347bce6b4e16b8c6e9258c29d63912d56c9d2c RCIG_Autonomous_Run_045.md 122c7ec38a26fdb4e23aa828715fe3681b8473252fd0c17bc2d81858685b40d6 RCIG_Autonomous_Run_046.md 23adcc88bf75639d6c3e44fa91dc8f06efe08cee674b354eb722dcff811917fb RCIG_Autonomous_Run_047.md 8e574394600072865709369badaec80b46ef98127af07346779f364d19cf249d RCIG_Autonomous_Run_048.md 01ee25d0f6ca0cbdb586d2c5633cd8d48f85a19cf5e0870f8e7e27c4fe9362b5 RCIG_Autonomous_Run_049.md e7787e80f2430c0b356a83accd330f91ddffe6384f78772e6463dc7e69701d07 RCIG_Autonomous_Run_050.md 0a59de936c90329fb663b2fba0296af4b5c5a01ce60185c6568a37be095388e0 RCIG_Autonomous_Run_051.md 4109c474da293aa0e3bffc38121d66e12b6f142b1f6d6191030e35e071935f21 RCIG_Autonomous_Run_052.md 59beeb4f65990ab90423626670568a477ec95537360fb85ed7726c2e4e3d2d79 RCIG_Autonomous_Run_053.md bf3eeea56e4766248fb596da20fa77c2d622c3fbdfbf7ad46043b1e7f36130f2 RCIG_Autonomous_Run_054.md 47fcaf9a3a2a5db61b1fa24aa6dd7611809bc172d544c77b5d1a24294c748597 RCIG_Autonomous_Run_055.md 1c02dbad38e7a37b10e6a484d07b587bedcc7ef95972d0cb89add1c48d9e570f RCIG_Autonomous_Run_056.md 6468cbbe5926f786dcc6a5cc751dc4023e088ada57c8ee1b8d37e9b92686c9e2 RCIG_Autonomous_Run_057.md 3817704599ec1b68e99db234886e8b188b4608a206810411ea1dd774dfc8b715 RCIG_Autonomous_Run_058.md 91f8e93f58ceda28f4e9b7e389b58c226bf92ec8f32cf238d119bdb65e6036a2 RCIG_Autonomous_Run_059.md 9c98dc36d7902486ef8d3b00563126a93ff08f1c9c327747193559dfaf43ee23 RCIG_Autonomous_Run_060.md 948da1b052509cc7358a1dfef8d74e7c9d3da3e11aa2ea6399ca707e6f9a9ac4 RCIG_Autonomous_Run_061.md e211296e6959e35985c6adbeca385107384291a4ed42e98c88582483a263d7df RCIG_Autonomous_Run_062.md f70fe8f1fbdbbb5bfd3a66d34f9fabece967f85b8295a9f97c264d8adbb15889 RCIG_Autonomous_Run_063.md d71ba7fc779b7038cb8234a3e6b22f4185569b4f73247804dfe8bb85341e3f1a RCIG_Autonomous_Run_064.md e750977f45b0e2ce27d0312ef5d5202adf34c91529a082294d98cc2b8e2b3a5d RCIG_Autonomous_Run_065.md 1e169cce5b2b02ea71a49dd2e225ba503cda010462442bbc59fb9beed5c206b9 RCIG_Autonomous_Run_066.md a9609954b4fe01f61005e89be35aef2d0c4fa04c9d0f570136f9269f06bee43b RCIG_Autonomous_Run_067.md 5fe70ea3327672b67f482a9e415be87d0e47029f79bdf560933353c755d8ff4e RCIG_Autonomous_Run_068.md 542e5e4c2f14f9907294ec88a8e858cd0ac9340a95512c8514978d369225fcfa RCIG_Autonomous_Run_069.md 7b10c8f2f6108536c881635e020d77a91fa719de9542b331ffd755b37614c8d3 RCIG_Autonomous_Run_070.md b0519b1f578f85af98ae99b7e8a6d57c1dfbda1c1fc9da25f614161a587eb30b RCIG_Autonomous_Run_071.md 2bfee6dbd0a4d3155806d19508ba7a916aa8817b33bb32a970ef6d0a60ba0b1d RCIG_Autonomous_Run_072.md 187cc6768960b413ebc1b0be2e10b1568d5525c7e56c5dea599c2fffb5bccf65 RCIG_Autonomous_Run_073.md f4cd930a575633840a7bd0d4b74aad8c3ad060190b124409036f1a512a7cbb7f RCIG_Autonomous_Run_074.md fd886c743851a56980768d03631c242cb8d26b95c1d0181b01bc96958014229c RCIG_Autonomous_Run_075.md e64dec73e8de50779383529502b4c29adad403a81bcd8e1483133e695e61fc99 RCIG_Autonomous_Run_076.md b3f370f589ca3e9d365b0c180be76befe5c0f1980fa17402afec48f5b4cd7a9f RCIG_Autonomous_Run_077.md ba23cfabf0ee9bb464e07ff820ea500b3e0b31af13b50fa96b820cf600b483a3 RCIG_Autonomous_Run_078.md 8678ca501ca36d16a018ea13ef4c4841c4ca45758d4c5890f67a8aa35e45177b RCIG_Autonomous_Run_079.md 2d31821b7ab31968e64e118494f871cc55971463f5d3571c02c3f18cbfc358c1 RCIG_Autonomous_Run_080.md aca77f2b530135356d287311b20136fedbebbba6b350de1ca99eae5ae19be5ea RCIG_Autonomous_Run_081.md de6c68e6a66075b5375fbe8f4994a5097cdf3eecde5debfeeadc995458c8f568 RCIG_Autonomous_Run_082.md 8edebb1395069c5f91ea79cdb31b96b2b488e8d43c29531164e635330516c84a RCIG_Autonomous_Run_083.md e51af5a770dd824be2190bd589210f82e851d288d2f9e4da43ecacddea71f4f2 RCIG_Autonomous_Run_084.md ff2c312c4dd1fa5737d80fc5020659cbbf490e0b886ff55ca0e8da9c82003f51 RCIG_Autonomous_Run_085.md 15017d30bbd3fe03f5ffab05d944260d020ead1942ed8f67044c08db9e90879d RCIG_Autonomous_Run_086.md 621323f21307bde80f97e50a290e69a1aadd950b67b5eccf1a9dd0fc1f7123a1 RCIG_Autonomous_Run_087.md 057f737a936639ec54bde0f02e99e1216caf1a4d7ca1c2a14d7d3700f41a6677 RCIG_Autonomous_Run_088.md 14a7eea70165db2df360407d1636373d43c8bd1a7f3048be8c491a76643c010d RCIG_Autonomous_Run_089.md 0ca5df2df70199a212fca9b329701ff5214206ae576d204343aacf0a7d7df535 RCIG_Autonomous_Run_090.md a2940eba3cf3b4bffa145e0ca328c6782fd57ba73134fb5c9f67119ddf839753 RCIG_Autonomous_Run_091.md 96078bd71863e852d0504741323751ce9a1daa8fb52d106338117fe6b4dee533 RCIG_Autonomous_Run_092.md 66a61387aeec95a3c2018b8aa7cfa82fc22ae7497d7fbf22b05722c66589e7bd RCIG_Autonomous_Run_093.md b90e163d5d04a700c7bbc45a196f078134e098b0394b09ab0ed23c6210b3c847 RCIG_Autonomous_Run_094.md 4c6373bfd4d8f657e55fd8879e3da9941d8ae67e35949de2e80510d39e8d41ed RCIG_Autonomous_Run_095.md cdd29d2d5b5bdc07dfb4eac3b2d423b49a88148939126287e4cb8274339b7c0a RCIG_Autonomous_Run_096.md c8787b1916b5a05e765c3e9f4d7cb5681978538b3a8cda79a8a432338a017442 RCIG_Autonomous_Run_097.md b9688f422c78c0e669a4e1b5d448e05802c89af1dc01897fec0a5d77bfb334a2 RCIG_Autonomous_Run_098.md ca3767293d15b0c2e8c1cac36fa5c89b591dd03423b538dcfde9c955c0dc1685 RCIG_Autonomous_Run_099.md 95c73521e68beca8607465615e175a0b4944165994c02170143676e11c12cd0b RCIG_Autonomous_Run_100.md 9fca9d4c9912fa6bc2d1d4a9cc30657858e1aca86a07e8e778502f6a6c3d16fe RCIG_Autonomous_Run_101.md 0c9b13111a349165bb766ed98a4afc068a7190e7dc8b9e03fccbef35070dcf5a RCIG_Autonomous_Run_102.md 06a1d3f773b11c1b986375bca940e8aac9d53b92ca78af1342ac82f4239463f8 RCIG_Autonomous_Run_103.md e1ac2c4caa57ee147f964f0ccc08390701dc3bf7feefde75d6b9cb477458e8f3 RCIG_Autonomous_Run_104.md e42f9043c6bc1fda95efb52122265889ac23bf00151a473a52125a0b81fa666c RCIG_Autonomous_Run_105.md 43f6af68a8fe3e45cb98f805d20985a553ab3dde55235cf360d81dc68688a70d RCIG_Autonomous_Run_106.md dc8b7e16c7c8713cb85b7c40f2b431fa53c9b9d2b81562f702c6d39b08360731 RCIG_Autonomous_Run_107.md 174567b9ec7dd3d4909a8572bdb39546465541f17746e644e37bd31d9d3bf911 RCIG_Autonomous_Run_108.md 4b6dd4e0f05fb1ceb12d975d443098dc447c2fcb360358e73f7677d141a0284a RCIG_Autonomous_Run_109.md dbcc46439f247706550dbedd6489fd6a12168483213a948168734100d153e910 RCIG_Autonomous_Run_110.md e3d6eb91a4296f641d28f78d40a613689258a36106a20cff3217541ce13ac52b RCIG_Autonomous_Run_111.md 7d84886972af8a5ffb3ed600f390fda42180ec386f75b428296a99102afb4d09 RCIG_Autonomous_Run_112.md 8a096695ab7ad050c167efd1ea56ceaf183651cd0b8adb05793663b70e062fa4 RCIG_Autonomous_Run_113.md fd28392277bb7872e1978fe10aa339569fd5bedb8e6bcdbb12fbaf6213e4e980 RCIG_Autonomous_Run_114.md 4114cb4c5fef332da305b00e484b141357a4131657d3d99a790180e784ef2948 RCIG_Autonomous_Run_115.md 97f647c187873e708067681e275bacb8309171933876b68d43e4542080a00dd8 RCIG_Autonomous_Run_116.md f4a0652f22aace551e4bc1acb7f98035955413326c99ba037df729b912708654 RCIG_Autonomous_Run_117.md 1977bd936660828cd3c7fe05d8bc7835c97744fe68f86d2561a3414c68abcaf5 RCIG_Autonomous_Run_118.md a6ccb861cb73cb7842a468e583245662ef08d4403ace064b51019a6d4db68517 RCIG_Autonomous_Run_119.md f0520349c2a70f424c3c348e5342d444d2aabe9d112ca145499e3c4f014e5204 RCIG_Autonomous_Run_120.md 9e4780e14e8f8bc89024168876889057bbd107767fef1883c27026e5ac47b4a2 RCIG_Autonomous_Run_121.md 4971206cb9cf100f9bdf1f8cfb4e1fd253f31a5748a454ae1d089f9bc6c45e40 RCIG_Autonomous_Run_122.md dddfb06e78a90bbe404008aa603feb9dace7c85ddb5195fcc1af7319f17ef645 RCIG_Autonomous_Run_123.md 822889023abd9a225b08cf31d07dac513ebe1b9edb72573f46f6e4496b0ed8c4 RCIG_Autonomous_Run_124.md 11cb19ea1de7050f40ad9673a289b425660bef6dbea8073d47533436664e7cce RCIG_Autonomous_Run_125.md f13a9dc2aeaf0eb47bf3432ddf1500d1af9450f3589bd39da221550222b85cd7 RCIG_Autonomous_Run_126.md ccdee2fd2e38ee01c9668aba3abb2a9b435143af85d4488adb31f23f5718b9b8 RCIG_Autonomous_Run_127.md bd6905985b2f858d5315585ab7711a0f6c00b975eb88bba77cc234df2cc982ac RCIG_Autonomous_Run_128.md 02af624601218b2cf501929e8a2f356568971ed470d80ef4c12602275f9e0857 RCIG_Autonomous_Run_129.md b6ecabad06500b347a508ddb0f162eeb634e00a71414baf277c7ce812ef69c3f RCIG_Autonomous_Run_130.md ca8f030ce43bd972e02c431fca252e7ea4275ead7ae6244f58959e4e940dde9b RCIG_Autonomous_Run_131.md 43c4b7fda227f69637c2a508a538954e8a39500d5c1205b3f3b3eb39e26df19b RCIG_Autonomous_Run_132.md 0187fbafe274e8121c8cd3773220d2a51d7d5de0119e09f57086240628000d13 RCIG_Autonomous_Run_133.md 60024e94c32b316ae6f153cf5a6008f0cbe74f1e9b709108fb6c27148027fbf8 RCIG_Autonomous_Run_134.md dac37b6bb320fd26386a3db918228a0a46f09455919be2e8c99a875930da0b03 RCIG_Autonomous_Run_135.md 20db07678eb4061b16c44994d2e5510de5de4651c6eb6d0726db295e29003a0e RCIG_Autonomous_Run_136.md 9ba00642360ecab850f6aa15fa96bc70b54187e8eabcdf86739370f8c6166615 RCIG_Autonomous_Run_137.md 16c65b7e3281427329c672323a95fa0df349c09d4af7dc30a313e71cdea0575b RCIG_Autonomous_Run_138.md d1895d6ff719effbcbc93f91ec3014b79e559136699d0c614c087e69026604e1 RCIG_Autonomous_Run_139.md 0f24c10cda877f953b845b5392e7b6572806ade893b20e052dfa096c9ee581fe RCIG_Autonomous_Run_140.md 64f8fe5912bac6339a82dc6e36c3c6b7e91225f9f85ada9f3783d911b374e237 RCIG_Autonomous_Run_141.md a03330b1b2a9dff32d7cf82582d76662934465b8c4c32bcd02b2517119181c56 RCIG_Autonomous_Run_142.md 7e333629111025d3be2c9b75020c0f80362c7310bb0119e27e8a53c25c24d474 RCIG_Autonomous_Run_143.md c68dae35e9e4d9da3060c6852163e8b5d54f22c6f7d32b6af25cfed348c958b9 RCIG_Autonomous_Run_144.md 9f1bf14328ab9b6d601a07efe9e870a16ff470d056cfa3996ed394ede81b193c RCIG_Autonomous_Run_145.md 362826c79dc5207e3d3cd46449da3c0dcd64b56ce8b78c568ab8a9318d6a89db RCIG_Autonomous_Run_146.md 2d9c29822ca3987ee5f2d72b6c0a2e14018548a16582212d3bc0cc4a7170ac26 RCIG_Autonomous_Run_147.md 2bbb1fae85335d37daaf60317ea26f75938c1b4814a78c84d79e31365c672c36 RCIG_Autonomous_Run_148.md aa9459d8b43f427621d8164c77122c0f5d01d96ea2172032ab2683bc0637d74e RCIG_Autonomous_Run_149.md 02337b5351012a92d59765d88b1837c1838355f689cff61f3170e819916efa40 RCIG_Autonomous_Run_150.md 6d44972b2c5adb840b9843fc4688f2478805b260f7ff2ad70ab5273e0704ad4f RCIG_Autonomous_Run_151.md ff54aa3bdb809eab7b06cb5083d559f47948a6fb59ed7e5fd26d78c81cf4702b RCIG_Autonomous_Run_152.md ef7adc937e52496919ea3e2ea4f9674dd04c8af7ae6c7642654983ed1e9efef4 RCIG_Autonomous_Run_153.md cb3f4bd6a3679bd07c0f1e678ff02043e6456a5db6305445a3ffdb0a25b2669a RCIG_Autonomous_Run_154.md ebd8f592a1f460c57ddd0cfd785e47af29aa785e680f2070a0034cf56d2cbff1 RCIG_Autonomous_Run_155.md 0c51aae774265a91e4ba90ef7a9f94bf28636016e0852be46371d17735ec4c58 RCIG_Autonomous_Run_156.md 32e6ce0da35d1a4973ef4e8e0804e7b64c5952b601165af2d667c4732bc866d9 RCIG_Autonomous_Run_157.md e65043927904854cd929fe85612bd2b95c88b109a72ab048a0cc542cadcb0a94 RCIG_Autonomous_Run_158.md 61bb25d096c7ad857c0a8025ddf925526d1e0235c0ad12bd5ed5ecff28412b39 RCIG_Autonomous_Run_159.md 2a74110be16e1f873275c48123be82653269d6ce8f37ae0cd832ccdc63864226 RCIG_Autonomous_Run_160.md 8317a738c7dd914ad10c56d09ed25449f6a2cb002b542af653c3c7962c4fe860 RCIG_Autonomous_Run_161.md f693c329c8283c6909d30e868159a373780c097cd38f7da955acce90717ad74c RCIG_Autonomous_Run_162.md 56c688b4a66d3a2975552b5f1ce881bac3ad0d472cd941441999f96725c61748 RCIG_Autonomous_Run_163.md 17a3d2e41a6da71e9e8cf2aeb9ca52fb56536eedaa6d8af9419fe17801cbcf7a RCIG_Autonomous_Run_164.md 92234cf24fcd9bf1aaf49611039b907f454c2205b94b1585251a90fbd89591bf RCIG_Autonomous_Run_165.md 98b9e397f08fbd3abdd94144db08aa32b621523aac97d7adafaadffbb1729853 RCIG_Autonomous_Run_166.md 75c99261d9121952b2f1e6b389e75454090a62342107ed7aac5bc7af91e348b3 RCIG_Autonomous_Run_167.md 880b65331447f2c9229043cfa2e4a486ffcc739f938091548eedf646329b3fda RCIG_Autonomous_Run_168.md e9212a339feff3d5c690910d841a10620556bba88c6bb17f799feb701162ef17 RCIG_Autonomous_Run_169.md 6488a36e92d98dc9e7a6edbb1e073a4b55e9f89cd69432a825795c0fe3cc5a64 RCIG_Autonomous_Run_170.md 6ea9d8fe213b44ef48e652ffdeaa799819b929287cf86ff75ccefffd4aa86da7 RCIG_Autonomous_Run_171.md 555575af59aaac2ffb8b734418c64ad0092034bfe56b9ca820ffa8763ec7ba12 RCIG_Autonomous_Run_172.md bef912ca0c189b7ea6bdb6a015b584a43485356fbc0aa36cb83661802bc7db74 RCIG_Autonomous_Run_173.md b9d9948b9bce3dbc55b99dca04b4c320a64cf1616f6d40aa7887bc0913092536 RCIG_Autonomous_Run_174.md f62a3e8484481ab09845494e382b8bf0df9654fe3eb710a03ef50566e7baab7b RCIG_Autonomous_Run_175.md eaed1cb3cd9d4cc2673f7c0dc698c97decd7e673efa9e98d264b89fcc2ac3d32 RCIG_Autonomous_Run_176.md c427b8030dde963b70ae618206659a2f396d13a79b581fe38b71226da296ef1d RCIG_BASIS_B_Attack_Report_v0.1.json 99eccac31558e2b4ee6fa518ca65c6773bcf85da2c99b0fc2c49455b0e1653eb RCIG_Basis_v0.1_Erratum_Run160.md 7744ca8b6c661f2078ac2939289ecb0974f30c5e38ee7ac13bece8ebc7d59b67 RCIG_CDIR_Sample_Closed_v0.1.json c48b340f6709c57c9cf611583a80282299fe6cffa42f4ac9d52c23d59437b372 RCIG_CDIR_Sample_Reopened_v0.1.json 706c7583ae2eae95378599ef10bfab0b78a3d35ed3b117dd5d1fb545fa924cd4 RCIG_CDIR_Sample_Unknown_v0.1.json b47ec3e530e815b35abe95f804172a8f497631aa84c83a2c58c9e3d3bf199389 RCIG_CDIR_v0.1.schema.json 727009c056a56f7c4bf0d983049d7447a01640df43375b875eddf13d8aa3e827 RCIG_CDIR_v0.10.schema.json 13730d77fc3922052e7af58bca37790e554e1ba58d005511ced70d809c423d7a RCIG_CDIR_v0.11.schema.json 0c4daa5111feb166a49b16d4abdbac454c88a98668e2c9db054b59db8b7fe692 RCIG_CDIR_v0.12.schema.json 063238423902c3e081582c6f0ddb921694fb3f8e539d031f770074e4f5025078 RCIG_CDIR_v0.13.schema.json d2bf553643ce7787d8afa171cfdccb855ae2a5b1603a92e400eb52ba92d05d8e RCIG_CDIR_v0.14.schema.json a1c26367d20e471e7a764a70d3e6ad27d6dc1114f7b4a7276777c5bad51dfbee RCIG_CDIR_v0.15.schema.json fb5c9e962b60bf9d57014aef9d7dd2c054d2ac70f71be1d4532a2de3d4df4672 RCIG_CDIR_v0.16.schema.json dc9ba96142f7898dc04f0e4c89cdc8f19ea2b802577aaf3d0355242570bf92ba RCIG_CDIR_v0.17.schema.json a913bcce4c662c4ef83761971c09d68482b3637cb3b9b7b04b03aa7d4a217b15 RCIG_CDIR_v0.18.schema.json 97919e487e2810e347845a94f2aae4095583f29ffb392aff5e99e2a46f0e9b70 RCIG_CDIR_v0.19.schema.json f8dd241993c808193f2f705fdc2f99c362a86598c6ff122b4404043f2321d000 RCIG_CDIR_v0.1_to_v0.2_Migration.md eb8c7a5b982dc344c70e5b3c97068c16a137196ed53f2b3b4f4f3471ea144ccb RCIG_CDIR_v0.2.schema.json 1016e1ab551f7fc49fc5acb328de42dc51e5382005b4ca5836934958d6902550 RCIG_CDIR_v0.20.schema.json 664115ce770ecef8f0259bb694bb55ba62784ebf6244f694b42a11465cf8c8cf RCIG_CDIR_v0.21.schema.json 0fe1c812076326b9e6eb064c4e442c8748fe2c007e11ea736492846fc5d56c79 RCIG_CDIR_v0.22.schema.json 04202a6f7c42573d4c69f42c291c3056f630be77885fdd0657d7ac98fba537db RCIG_CDIR_v0.23.schema.json 20259ff87f8c125de8ea945d869291a98e6f94f03d4ecd845b4600d7707c25d7 RCIG_CDIR_v0.24.schema.json eabadbfa0bc21a446d6e963edfd9c006207acea76e9bde676426dffdab933db0 RCIG_CDIR_v0.25.schema.json 056652b6a82fccbf5fa09697cb4188ef6375e98a12568d091b466f15b0ecdbd5 RCIG_CDIR_v0.26.schema.json a7050976a2e8b6feff819f2f49822834e00106f549b9dba54563e1c8c607bc80 RCIG_CDIR_v0.27.schema.json a869f34fd7d67c465fb46197aa5ab6eeb39a5656a73d8c0ced69af9e18a21c71 RCIG_CDIR_v0.28.schema.json 92a996c2b698feef99125bf56684e29ee4a9a3410866bf2558571c6264d3a7d3 RCIG_CDIR_v0.29.schema.json 49e62dbefaa06f4119de54ddad8e89601f9fd84da4925060e0df28a679071b24 RCIG_CDIR_v0.2_Calculus_Fuzz_Runtime.zip 56ce2d52c9c298de500b41518643b5de0b2c1ca68d006a275bdd5c33252aeb09 RCIG_CDIR_v0.2_Differential_README.md 095c08d4dea7e4d65b33ed3a23e761d511f321867bd3009ff83cf456dbcc5557 RCIG_CDIR_v0.2_Differential_Runtime.zip 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_CDIR_v0.2_requirements.txt 7a9a6a4970984e48cd1b9535087667d32ac6b585e458260543a09ac3fb8ebd8d RCIG_CDIR_v0.2_Sample_closed.json f97fc8dad9e2c8ed883d3c651e87bca578f55da092c16ea4dc4e07e5e00163b1 RCIG_CDIR_v0.2_Sample_reopened.json 2eb3e98dd6b12da672dffd7d177dbbbe3f8336428969e352414cb3a65f17d805 RCIG_CDIR_v0.2_Sample_unknown.json ba5e411a08e2d43c3a394a2c3e8041c12bdb37314ac92a364c659a2e914aa8e1 RCIG_CDIR_v0.2_test.ps1 0afab1d9821724d1fbd9391f04f5847e6e6f6a0750be51e5bc0558ab33457a43 RCIG_CDIR_v0.3.schema.json 187ad0fe30310dab80d617ea5fe3669b61b4cc2419882e0bbec9e8c4cb99378f RCIG_CDIR_v0.30.schema.json 867da61aa0a2340a207019963df3ecae2504ede58a66fb913a115c057d2a8f9c RCIG_CDIR_v0.31.schema.json a12990ff3f70aecc56e16eeb0fb5464a8f6468ac7389fc559eba99e7102b8cce RCIG_CDIR_v0.32.schema.json a3afe36075f9d4401255df5f13b23f500f67a436c073408391674756f26bab8f RCIG_CDIR_v0.33.schema.json b97e511b16528d8af22b64db1f2ed9a652b382cb902014491fba82252594c315 RCIG_CDIR_v0.34.schema.json 53193ac465dd655a6047fffbc350cf0f5a62f8a2a668b446562cdb72901a3e89 RCIG_CDIR_v0.35.schema.json 3cbeaab78cc20dfcc37124b44a200a4ca9b7bfe7ea382ca9c45d52a026b27998 RCIG_CDIR_v0.36.schema.json e4d15e38e7ff963eb5a90c61f7936b3a9bd46d736929fdb9bc5fbbd07cdcf93f RCIG_CDIR_v0.37.schema.json 8d4b31d95bde62a6fc2d754bd523b73a3c9e3823b262f72fe8f2a470f4cdd042 RCIG_CDIR_v0.38.schema.json 6b5cb7c9c77aa8e9a13f634fa66c220186575c8420b183492db8f99c5d3db884 RCIG_CDIR_v0.39.schema.json ab6ad3131330015e8929ba441e3c38d7dbb08ed8112f1e768b4f034c7e4efc0c RCIG_CDIR_v0.4.schema.json 538fee19d98c7afe09d42fd979dcbffce90c8886c0b7f2d31088f7d81fbb43af RCIG_CDIR_v0.40.schema.json d7c45dda64dec2d134b52999698a4853c35111ad754ffc66b702cda65ea64d25 RCIG_CDIR_v0.41.schema.json 3941b61d7cd39fd534b125f3bcb60355c6e1325cb4664a90ee886158bced509b RCIG_CDIR_v0.42.schema.json 8ad08098221ca566c5a450833913adc26238742f6b7a4e67ff5726341b8b72a2 RCIG_CDIR_v0.43.schema.json e0eb060dae29f669affe56373c54427a649cdf19b086a9cf6811e4371565d87a RCIG_CDIR_v0.5.schema.json 170c6955cfe1bde0f1c5b0f0853e7e0f7a90b80a27ad643da2587e83bb2ee060 RCIG_CDIR_v0.6.schema.json 52546f5847ffe00e03d459aea1ce01dd276628d8751226f5545931590112f715 RCIG_CDIR_v0.7.schema.json 0b7cf784baa28a1aa8f1ef42f348d8f75e43931f58350a3aac3d4f4ca8ac3a8c RCIG_CDIR_v0.8.schema.json 313ca8d6a9cd53325a8edab8f6c014c0d4b2b2629df66a6b96c836b8ad0ae202 RCIG_CDIR_v0.9.schema.json ebc046d02dff4f5a24b557eb0712cad96dbeab84a5aa36378207ee884760aab2 RCIG_Confluence_Probe_Report_v0.2.json 347e3fc39894d235b3b66f6f1ffe4df6721e7a96f7668dc116069f55e3631b7f rcig_confluence_probe_v0_2.py d21cb82e4f95c34b3fa787a367de0b78f9df069ec1da5350dc09043332d43461 rcig_differential_test_v0_2.py 87e8b14055198b7ed6812f7944694eb5405ac04e59a0d8f209019857fc5c6fa5 RCIG_Differential_Verification_Report_v0.2.json 322bb7a513cbc10369c70eb4e179600a99a6be7e9bacbd260071072e29a0dda0 RCIG_Independent_SCNF_Basis_Verifier_B_v0.1.zip 81691b9c557ca45fbea81a75b73487478e810c43f758b8d149b1a7290ff0216f RCIG_Independent_SCNF_Basis_Verifier_B_v0.1_README.md e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 RCIG_Independent_SCNF_Basis_Verifier_B_v0.1_requirements.txt 9f70cf7ad0b06927dcde16b98636e166c88b12d0d7ef8d388bcb06851a9021f9 RCIG_Independent_SCNF_Basis_Verifier_B_v0.1_test.ps1 0d19cfdd54a2825ac5fcdb20c97cf0d359d0e30b06d4d5957b5b374496f9344f rcig_independent_verifier_b_v0_2.py 8f03bbf853b5cfac281568e38e47b648b4572b3c35c62653c2cef0dd3ab8b87e RCIG_K3_Attack_Report_v0.3.json c482a09c3abaf2c24c465ae685b68cd740cacf655cbffd40acd4e78815f4088c RCIG_K3_canonical_closed.json b95e56bf2170faaf99cf00f350f711a2e978035590286bb548180c0d6ecd64e8 RCIG_K3_Canonical_Kernel_v0.3.zip 4da4f1b481ea7db7671deae9eaac1abf0b269fad7f32f7456daaba705bcc1543 RCIG_K3_Canonical_Kernel_v0.3_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3_Canonical_Kernel_v0.3_requirements.txt 747dc112ff3ddbaf9c981353987cfc33ac63041635861a07e734eddc675b52f5 RCIG_K3_Canonical_Kernel_v0.3_test.ps1 de2423907e722817c091d9a30e2b9e29b52017d8efb2b6a5c154a03c58701933 rcig_k3_canonical_kernel_v0_3.py 542f8e4e56a15b664b1e1651c154775ca51a2b833f3c36f9456c85b6921aa325 RCIG_K3BAYES_Attack_Report_v0.42.json 1f8d292d5c3e324b603ad2ca6a678862a6c602f8697afdf104af05d71c1dc7f8 RCIG_K3BAYES_bayesian_budget_learning.json a293fea89e866124a845b3f47b934695346f314dabadd5385a16d2c832a317b3 RCIG_K3BAYES_Bayesian_Budget_Learning_Kernel_v0.42.zip db1bf3e925aa57ae97437e522710126bbc8d36e973a06cd1c3b6996259a2c461 RCIG_K3BAYES_Bayesian_Budget_Learning_Kernel_v0.42_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3BAYES_Bayesian_Budget_Learning_Kernel_v0.42_requirements.txt a836158ded9db56372a7a7b88a165e4aa8e2579eb7cf8b57f106f228086377e3 RCIG_K3BAYES_Bayesian_Budget_Learning_Kernel_v0.42_test.ps1 951e606cd7e70700a9fae690d6a7aab0ef13d97e3d50109895c6aa62bde5ee83 RCIG_K3BAYES_Bayesian_Learning_Report_v0.42.json cb53ba79df116d5c3839d00c1d47dd8ba460378fb96a0de5b14cab08f3fb98fe rcig_k3bayes_budget_learning_kernel_v0_42.py e1eaa6c3a5c8c06d5e996ff5129fa808af3a30e74da00910b12ce316b6754b6c RCIG_K3BUDGET_Attack_Report_v0.39.json 2216fe7dccb1fa32cd85a50852ad20cc1bd0f3a0e340303f2d32b01a05d45a65 RCIG_K3BUDGET_Schedule_Report_v0.39.json a10cf66ec365a10fdd0d37b78c10aa6c9f81a1121898796d8962885639b6c672 RCIG_K3BUDGET_theorem_budget_schedule.json f983437de182adee880de4a03db10721f30a67fcdcd194d53fbaf0c4151a881c RCIG_K3BUDGET_Theorem_Budget_Scheduler_v0.39.zip b7e723f058a0242325114493067a426e707398b406a6410ea4dd7194777ce890 RCIG_K3BUDGET_Theorem_Budget_Scheduler_v0.39_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3BUDGET_Theorem_Budget_Scheduler_v0.39_requirements.txt c9fa1237299c159cdd4e0c7b3de266d4dc72be320f87fc1f0e1fc7c6e408d77f RCIG_K3BUDGET_Theorem_Budget_Scheduler_v0.39_test.ps1 f8c31ce8236647e9ce23f08445b0838a502120fe2391500872b0adcb6e7aee70 rcig_k3budget_theorem_scheduler_v0_39.py e4dfd4daa29bb3bd0bdf30edee27bd90129965ca5ec30943eb1f3cf5619f3735 RCIG_K3COST_Attack_Report_v0.34.json 1bc03f598c1935879c8d19b04ae8183918d5f4bfa4af8762cfd6ce6023f1f1b3 RCIG_K3COST_filtered_commute_cost_prediction.json 4fd0d57e05ec603d2b4ee2d9b4f92ed3ace7a0cbbf0008934dacb8db05381b7c RCIG_K3COST_Prediction_Report_v0.34.json 01d73d63696710c35696b6ce215febf1e6c05374812d8b87f6c89e355c1a9f46 RCIG_K3COST_Rule_Admission_Cost_Predictor_v0.34.zip ead48a14ca84b1ca3cd2a57ef5a8b11360ffaec5837ffa8f835247fcde8be1ec RCIG_K3COST_Rule_Admission_Cost_Predictor_v0.34_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3COST_Rule_Admission_Cost_Predictor_v0.34_requirements.txt 935f9f0a06b126304661d7b034b640819acaaa1b2ac0fd55ba64560e7a327a47 RCIG_K3COST_Rule_Admission_Cost_Predictor_v0.34_test.ps1 36231ee28782b3a37c942c5b8c0ebd1ac060db7ccf71192e111a1b37254e6b45 rcig_k3cost_rule_admission_predictor_v0_34.py 71d5fbce7382232878679b0729441136293c199ec46281705998dcc24498b21a RCIG_K3COSTCERT_Attack_Report_v0.35.json d6948ce1019147eaee97002ed8366a57f0596df67922d3350317929d58d29542 RCIG_K3COSTCERT_Backtest_Report_v0.35.json a89424988580ec969059f00d7cc81c2de487ae44e50e63c0d7afd71675c42195 RCIG_K3COSTCERT_filtered_commute_backtest.json 1b833d38d3c1988de31629e9c0887c26ccd5bb8e2d168d8009527e9cfd1be553 RCIG_K3COSTCERT_Rule_Admission_Backtest_v0.35.zip 0d2a9a4c8ee65f4a359c08b411adc3e17a0dcdb9b8ff1a5766ed6769ee2236f6 RCIG_K3COSTCERT_Rule_Admission_Backtest_v0.35_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3COSTCERT_Rule_Admission_Backtest_v0.35_requirements.txt 9e93944470be991250d1ed853be8c092bd6cd1b6c77a693bcc60727471672a2d RCIG_K3COSTCERT_Rule_Admission_Backtest_v0.35_test.ps1 944c26d4cf3996f69af007000cf6ae767bb788898ea3048acb13e40132bc0bba rcig_k3costcert_rule_admission_backtest_v0_35.py c97121834e89ab00c9aab321f1ec7d4b6148413e36f93e413e55511bf29f86f5 RCIG_K3D_Attack_Report_v0.8.json 1336321ad3484357aa1cc68989a1660aee7ced6ab33c5007925481e26cae28fd rcig_k3d_behavior_divergence_kernel_v0_8.py f06dfa41982541c7582764bec4edc85e1049eba4d75736465520485d2797cfa4 RCIG_K3D_Behavioral_Divergence_Kernel_v0.8.zip c2cfc2ff04738c5fed531b7694b83e7aae7bc0056db3a74ca840d6e0d288e849 RCIG_K3D_Behavioral_Divergence_Kernel_v0.8_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3D_Behavioral_Divergence_Kernel_v0.8_requirements.txt 487af033d19358fa0b208b3967c8b446ebcb19418d34593f4f931839f5f4a168 RCIG_K3D_Behavioral_Divergence_Kernel_v0.8_test.ps1 b23e833c7251aafc4ecb87ee50670527194ad24f1c7dc640d09f4a95ffba801b RCIG_K3D_both_silently_diverge.json 7a1ac8d24feec0d871bf9fbe6752c52fdadec4ec50126cbae867df174e079f4c RCIG_K3D_divergence_sensitive_reject.json 517ccf3ba8a6d8115015c8bd01eee5e8caf7ad358047560e58363ed476162b26 RCIG_K3D_ordinary_branching_hides_divergence.json 101cb4a40a32e12eedd71e3aaf427fd7740bacdf8934213a51cc7eaf85a9a95a RCIG_K3DEP_Attack_Report_v0.38.json 34d8d10179ae7ca6019e072d3e5b9fa9288b75f03bbd0f2e4952f7cbd99966d1 RCIG_K3DEP_Graph_Report_v0.38.json 256982d644997d628c3888030a643cd71aa1fb44997e9b1995732f49c52752ac RCIG_K3DEP_theorem_dependency_graph.json bfe9cbbd359744a20463cae5e543cbfcff7609e69ecd3b6e1dcf0d3f025e71d1 RCIG_K3DEP_Theorem_Dependency_Graph_v0.38.zip d8704a98fccbbbd04468febb974f10a3e73069f884cde8029154f231634f8e55 RCIG_K3DEP_Theorem_Dependency_Graph_v0.38_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3DEP_Theorem_Dependency_Graph_v0.38_requirements.txt 6f5b377b6b18711c3fcf3f231626461acde3cd9e192f41ff9253d076582b77af RCIG_K3DEP_Theorem_Dependency_Graph_v0.38_test.ps1 2bd3f5ce1b26962df420a8dd4143e49a63c1784f024a2a55255ac1742c95d571 rcig_k3dep_theorem_dependency_graph_v0_38.py 9f4087210e8cb4e5d88b18ace08a667d55a4f406a9c8d03b0db920cbf60ba431 RCIG_K3DIFF_Attack_Report_v0.29.json 9ee7ec949e880b7dd7fd9cfb0dca647b14e995854462e12a5a3ff3af4823bf90 RCIG_K3DIFF_basis_differential.json 9f1381468a71cb1b14e569d65d742eb44a3f621b469f3e0a071e429cf308f1e1 RCIG_K3DIFF_SCNF_Basis_Differential_Verifier_v0.29.zip 31e8021fece2c3233785e3744de67f3d380f1e3cfe96763f189a1f80e02ab476 RCIG_K3DIFF_SCNF_Basis_Differential_Verifier_v0.29_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3DIFF_SCNF_Basis_Differential_Verifier_v0.29_requirements.txt 3adaa08e538c181a9449659cac7dda01a8174cf5adb4b5e6d1e8e91186bc7480 RCIG_K3DIFF_SCNF_Basis_Differential_Verifier_v0.29_test.ps1 eae350ee2bb046b345f6caa56a0bedc9da22fb670e9e9faa01bb3689134e6c10 RCIG_K3E_Attack_Report_v0.5.json 41ca4c02be4824e89df0965e2dca3b9062c20b60c30382aa967afc440659b33d RCIG_K3E_compatibility_certified_closed.json 6b5014480d93ae0c0d120ccd6262c5cd53087f9e51939162631747900316ce6d RCIG_K3E_compatibility_counterexample.json fdffb95b209b7a808978b646ceb9228a26549236ac205e3246a80ab3b74dae06 RCIG_K3E_transitive_equivalence_unknown.json 6b9ab3d9b329dd4ecab62cb6c888e6216e8fd5d21421499c22324d63794cfa3c RCIG_K3E_User_Equivalence_Kernel_v0.5.zip a3875160767f9987553565df2dbd5cc0d5577f45605828bb9972e0b4e9b48783 RCIG_K3E_User_Equivalence_Kernel_v0.5_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3E_User_Equivalence_Kernel_v0.5_requirements.txt 634c954ed474ef5ed18612b97e253db19b50dcf411763b66adb6e5e97f3fa27b RCIG_K3E_User_Equivalence_Kernel_v0.5_test.ps1 52feeb61191da2a272e0be702868e52ef4b62a7ff254c4d8069bd8c4110d32d3 rcig_k3e_user_equivalence_kernel_v0_5.py eb7148f432ab06d135b2e1011ac1eadaa2790c812cef700b9a454386adfb29a5 RCIG_K3F_Attack_Report_v0.13.json 6ebeb96e63f6d915d35088b83eb9d18a8d4e55ad0c801acd8e17e7ec8dc9779e RCIG_K3F_Fair_Scheduler_Kernel_v0.13.zip ea96302b05be0fb1d99acf79f7ed323e11890e956fde6df454b02aafa3a97441 RCIG_K3F_Fair_Scheduler_Kernel_v0.13_README.md 119408d8fa3a5b8be09e27c5e2d4c9066527226dfda5ba7602090dd6d4282bfd rcig_k3f_fair_scheduler_kernel_v0_13.py e06ce7d525fe175b6f1979cc1cc92c0b254ad16b79f980f971f3854dc058dc05 RCIG_K3F_weak_vs_strong_fairness.json f99971d59f4e62775dd1f7a03006947b1375069c7e15b8587e88c6e0c99c6236 RCIG_K3FGAME_Attack_Report_v0.17.json e78e2d8bc45a9b8a4bd2ee610e8f1e5671e172e48972785d8992d17129137e0e RCIG_K3FGAME_Fair_Game_Kernel_v0.17.zip bacac937a9ae134ef468977fe25d12a987c34d8ee9e1e0d2578e5b9bb30c16ea RCIG_K3FGAME_Fair_Game_Kernel_v0.17_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3FGAME_Fair_Game_Kernel_v0.17_requirements.txt 8d0fbb6c146b26814b233156b51c6acd50f1b367fec46f9900123a33eaf0d9dd RCIG_K3FGAME_Fair_Game_Kernel_v0.17_test.ps1 ca5ea6bdb24bf97eda6ba4ed21cd1ae3bde9522c8200d366d281d1baaff42a62 rcig_k3fgame_fair_game_kernel_v0_17.py c9bde1255d52eb65809036da0a2a409257dc7d06477ede87ac0bbb313480da76 RCIG_K3FGAME_max_strong_fairness_changes_value.json 26fc64ded97c8ca3b93086cbc58e24d0893b2b838d375f3bf1c8eb31c4d604e6 RCIG_K3FLOW_Attack_Report_v0.40.json 8d9735d3c78d0692cb402f8be33a16dd6b41172f8ebae247c7a612a46a81998b RCIG_K3FLOW_Dynamic_Budget_Admission_Kernel_v0.40.zip 55d8d737181eb8a0926e411df2a269003efdd964c6ba871599d0fbb4854907d8 RCIG_K3FLOW_Dynamic_Budget_Admission_Kernel_v0.40_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3FLOW_Dynamic_Budget_Admission_Kernel_v0.40_requirements.txt a527e700f1bef617f7c64f7959045f80240504a0ca6ad44d02e60bd693a9c8f2 RCIG_K3FLOW_Dynamic_Budget_Admission_Kernel_v0.40_test.ps1 c8ad53ab6fd905e885b1a915da956b372d74775e646c44f45d28967039533c6c rcig_k3flow_dynamic_budget_kernel_v0_40.py dc7a020bcc2a79d7e89299f5c7ccf0605fb2d4ced34b7cf769df3a50f6dfc6c2 RCIG_K3FLOW_Dynamic_Budget_Report_v0.40.json 99b1f8b97c1481c315abcd5b2471191e31859bb2f90a79e6caa66149f00961a3 RCIG_K3FLOW_dynamic_budget_trap.json ade26747ef2448f5f75115de73b9c160b772735de4428763ac9b35ddca68581a RCIG_K3FS_Attack_Report_v0.12.json 39e195c135081bd519d59846c1351370f107e387d5b3777d59c470a645fe2f57 RCIG_K3FS_memoryful_scheduler.json aa7d051f0e0ff360efa23f94d2a19f4e1d9a747ca21dff1b57e2deb3c6dbf2bd RCIG_K3FS_Scheduler_Product_Kernel_v0.12.zip e43cf66ac6825df4c0708948e9e8b4d6152bb6f3cb7b84cd0cd9898a892ecf2f RCIG_K3FS_Scheduler_Product_Kernel_v0.12_README.md a319972f5bb763e5e7e30133ebaf674fc27bb91e757c4016449b8c5a71f544ea rcig_k3fs_scheduler_product_kernel_v0_12.py 130589182d0507ada829cca63bc694fa8d89f4acb352eedc25b08fccea544587 RCIG_K3GAME_Attack_Report_v0.15.json 31d1d774a337cf751a9db6e3dc498eb94832d1c946ef0344bf97b45be76a54cd RCIG_K3GAME_half_value_game.json 19cb3ee147b2d345a6251618b9cb2459860473a18c6b9ed44f74cb69c74b6ee4 RCIG_K3GAME_Stochastic_Game_Kernel_v0.15.zip f15703ed7b7f0f3d7ed49e8fd47353a91aa148888c1c0720025eec5bba02afd3 RCIG_K3GAME_Stochastic_Game_Kernel_v0.15_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3GAME_Stochastic_Game_Kernel_v0.15_requirements.txt a8d0492e94c87af50ab8781728d08dbdc6493e26d52ad86a3ec79b75463967f6 RCIG_K3GAME_Stochastic_Game_Kernel_v0.15_test.ps1 b385e276d4feb4c9cbbab11b5bb7defe60cb7c986a6bc3222256643b2685f4ed rcig_k3game_stochastic_game_kernel_v0_15.py fa0921bf457fbf94e2187ba8d6bdabd1ab779ab21802df62a89df8d1c9ae95b6 RCIG_K3INFO_Attack_Report_v0.43.json 097cb72f54ce9c727681611786b6c07ec9c9d6f5c4b26a877db62ca74da4dd24 RCIG_K3INFO_Bayesian_Information_Probe_Kernel_v0.43.zip a6682e953327d1318a2eb190e2088299d93a70b70a6ab83d0900816cccc384c5 RCIG_K3INFO_Bayesian_Information_Probe_Kernel_v0.43_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3INFO_Bayesian_Information_Probe_Kernel_v0.43_requirements.txt 9380f22d8eafa584bcbd45a74d7749749011c7485eb5a5e944b2aa973ff289fa RCIG_K3INFO_Bayesian_Information_Probe_Kernel_v0.43_test.ps1 0b0e772650b8f45001d51fa8dbc3fc358fb97c9568ad1db92bec8a6b884af72b rcig_k3info_bayesian_probe_kernel_v0_43.py 43c9acea4dae8ca27fa3d74521a6fd45fb7663639328db77dbf3256a326d05ed RCIG_K3INFO_one_probe_evsi.json ef1c24d39c9275c005ab9af741586380e3afd710a421fcd13fed44581ed8147d RCIG_K3INFO_Probe_Report_v0.43.json e1171c25d933bd6a472e40a0b1939f4f0362eb90433741c8f7ea7a56d36ff085 RCIG_K3L_action_label_mismatch.json 9d98bdd2e3a08c3a0060325240560e9f25669e662fb8f4fff55be4f1a99bafc5 RCIG_K3L_Attack_Report_v0.7.json dfb8e11a14cc563acc4cc21886467c2f5472eb75c4b65cedd60da41fdf63d42a RCIG_K3L_branching_counterexample.json 331cce49c9f12d26010a12bebb33bf12e027dd3b419a32ec4fea6e018d31336d RCIG_K3L_branching_silent_stutter_positive.json 789e4e2df671407338b3d236a9fbd92e8fd904d9909795b89a6c3cafa7fb2746 RCIG_K3L_Labeled_Branching_Kernel_v0.7.zip 42e100b960be16303bfa3d14bc9a6e5f83774ac02afe0c39f2416a4201f703a2 RCIG_K3L_Labeled_Branching_Kernel_v0.7_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3L_Labeled_Branching_Kernel_v0.7_requirements.txt 7e8697d1bab251781914ece8f145c42b1ae2aaa46bdad9bdc3385eff4ba53269 RCIG_K3L_Labeled_Branching_Kernel_v0.7_test.ps1 1356a4486af088d590301f946c9da53266c0dfe99e8de11681f2f522764b1d66 rcig_k3l_labeled_branching_kernel_v0_7.py f849705fe72b886a0eaa03dd9d57fafa4b5abb200629ebe63b990425a78c618d RCIG_K3L_weak_trace_branching_counterexample.json b6c015f7de405ffb652b730c13d40a8e8be2451782591407468ca65017274c66 RCIG_K3LRT_Attack_Report_v0.23.json d927cb8944a0577d50c04d5295a0f26fa67fe539c45ada5a323feaaa2ffee6ab RCIG_K3LRT_Local_Rewrite_Trace_Verifier_v0.23.zip 680a4ca48d5891765c6f0304abb6101f2b86b2696a499794d5487c7a1e4f2f1e RCIG_K3LRT_Local_Rewrite_Trace_Verifier_v0.23_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3LRT_Local_Rewrite_Trace_Verifier_v0.23_requirements.txt 91466f3e71cdf66d6b70923c87c356d4e7e4b939ba0c3ca0e22c098d6c8c345e RCIG_K3LRT_Local_Rewrite_Trace_Verifier_v0.23_test.ps1 30e86c92602686338f6a185b2d1f87e56c3af48670d0b34cf779d59eceab43aa rcig_k3lrt_local_rewrite_trace_verifier_v0_23.py 3907ed32085df031cde934dc8778766373b5c2ddd551101e8a5d263af2c22672 RCIG_K3LRT_local_trace_positive.json 4f540addff95ccf079062e07e2e2e41c29a3f09b6aeffeec17d0337076f108aa RCIG_K3MDP_Attack_Report_v0.11.json 2ab8a183d29e077b7c979d7ae98c22fdd7a7b223fbe003c081485855018b5457 RCIG_K3MDP_may_must_fractional.json 97c4d7b761e37ba34a6a0bb3adfac1f6e725bc15f63c6ecbe98debc9ffb0a786 RCIG_K3MDP_Scheduler_Divergence_Kernel_v0.11.zip 9713becc53d111f39fc80377fb453eaf5713856cadad191288810f29b38d7a8e RCIG_K3MDP_Scheduler_Divergence_Kernel_v0.11_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3MDP_Scheduler_Divergence_Kernel_v0.11_requirements.txt 390af510d95d216b3c23b64ed17b71f9f3cb6ee9ded721cf9ef5c72b31b9d176 RCIG_K3MDP_Scheduler_Divergence_Kernel_v0.11_test.ps1 e03a2fa1f10e9ca9612ee2d9a658a63c0187fd5025409cd69bbf3ae5f0186828 rcig_k3mdp_scheduler_divergence_kernel_v0_11.py 272d632a25d8e8df56b24fbef55ad9c4b6e52b22587fea4738f9cbcda1e85d16 RCIG_K3MIX_Attack_Report_v0.16.json e45c108862035e0fb281cd475bd38fcc7d9cca14fa7bd727bcb8504486a290bf RCIG_K3MIX_Mixed_Strategy_Kernel_v0.16.zip 1b5263689a4376dd177c7c17ae851af78340cc3e0a526065186804c298059cc6 RCIG_K3MIX_Mixed_Strategy_Kernel_v0.16_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3MIX_Mixed_Strategy_Kernel_v0.16_requirements.txt c318bccb6f139f0542350d424ed0cf536041815e3b2071e20b30e516be7862aa RCIG_K3MIX_Mixed_Strategy_Kernel_v0.16_test.ps1 5d6ab44c2ed00b71ffcab2119345c98c1bb836a461bd9f9b31ffb88a9a57a954 rcig_k3mix_mixed_strategy_kernel_v0_16.py e1266bb21aecc703f7edf8e5b6e7f9a2c3b700d55f3c1d3f999cfcb8c9ab42b2 RCIG_K3MIX_run147_mixed_value.json 2d502a2ed2734eca6e69d89fe6a5e54ef3673695758983a7e7764527fd7b0fb3 RCIG_K3MUT_Attack_Report_v0.30.json b2c158ebc92884f45d10e6adb22107c83bdaa5f41e81070c133ede1aa135c1b1 RCIG_K3MUT_Mutation_Report_v0.30.json b169989bbdc20f6d637ca4bc8c281628d2251462a30934bd944144dc4ad93a84 RCIG_K3MUT_rewrite_spec_mutation_campaign.json da05bb6419de47b214337b360f7175b9dda1746d6e6d428adaacf42d471d2e52 RCIG_K3MUT_Rewrite_Spec_Mutation_Lab_v0.30.zip 0813e93c978d59fa67e776c16ad9b47758d078fae20eba6c598ce6630cb356ef RCIG_K3MUT_Rewrite_Spec_Mutation_Lab_v0.30_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3MUT_Rewrite_Spec_Mutation_Lab_v0.30_requirements.txt 7b5a6bb8eda50819e8dca7e677727a4b37a4f2eb5973495d5d2b46902302141d RCIG_K3MUT_Rewrite_Spec_Mutation_Lab_v0.30_test.ps1 2ad1756cef0db948051ff8f6087a43f33512b5c85c651b1bfbbe81fe8ff1d708 rcig_k3mut_rewrite_spec_mutation_lab_v0_30.py 56a97c00e983f9dbc8aee4d11454af7eade0ed6c2d4367e0370d37c8ca7f7a7a RCIG_K3MW_Attack_Report_v0.6.json cd4acc62d95565277c2e31772880219b2024c3feec996760da77f4d1be4da6ae RCIG_K3MW_multistep_terminal_positive.json 2e018e6c0a8d6924cace7f249f2e80372c8b4b5e9625e3d34bdac323f5583a8b RCIG_K3MW_MultiStep_Weak_Kernel_v0.6.zip 7bb5a62bf8804a1b95cbd071473ce884a5be9bed0257f3853e6d945c40b235ba RCIG_K3MW_MultiStep_Weak_Kernel_v0.6_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3MW_MultiStep_Weak_Kernel_v0.6_requirements.txt 67343c331208da9ff9a92f3a410160d838c05d4175a6631cfd0e04195296e5a8 RCIG_K3MW_MultiStep_Weak_Kernel_v0.6_test.ps1 e88b7bc743d0463978a3fa7583fa2cf9658992eca303ddcbfd16b79da869c28d rcig_k3mw_multistep_weak_kernel_v0_6.py e83e248b9720a65ca73f76750358b984f9b2338af2a191afca57f6ed2bca6ccd RCIG_K3MW_weak_silent_stutter_positive.json 01d2d7348335aa5d0cc4945e6cb80ca104856fa3b15d1ad67a571222e6f08d38 RCIG_K3MW_weak_visible_detour_negative.json 858eb9903a9ae16d6ae191bc2f4822008b517c3e5b6117329341e5e34adcb63c RCIG_K3NEWMAN_Attack_Report_v0.27.json cbcdf60eb16b2eaef3434efd8bec916dd56587ac6994b97cfb5e5e91a47ffeed RCIG_K3NEWMAN_newman_confluence.json a2000eb000692a5608d27eaceeea5cfe7e7e21a886ad60bc283572c7f9adf40a RCIG_K3NEWMAN_Strategic_Confluence_Kernel_v0.27.zip 6402fbb1788e268e6dfb3bdbeb80fea6e8313a42cef1c38156fe225c625dda15 RCIG_K3NEWMAN_Strategic_Confluence_Kernel_v0.27_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3NEWMAN_Strategic_Confluence_Kernel_v0.27_requirements.txt dff153379d2f3c68a72319a3bec246374c4b0f406cabe89f24d611614db7b728 RCIG_K3NEWMAN_Strategic_Confluence_Kernel_v0.27_test.ps1 82e511accfdde09be6b24e1508e24b4b48753a109cde24fc4e24f88e9e97079f rcig_k3newman_strategic_confluence_kernel_v0_27.py 7718563ab4b10cd1dccf0837ed260bf8d199d729c03698f847efd50bf2092462 RCIG_K3ORDER_Admission_Order_Optimizer_v0.37.zip d2d335220c4f0777eee82f4c99fd6ace5db408d7543c19c8c68da4d1dd63fe43 RCIG_K3ORDER_Admission_Order_Optimizer_v0.37_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3ORDER_Admission_Order_Optimizer_v0.37_requirements.txt 2d358bdcb709c0814c238a1c0634837c474f684964f522273d8182af571f11d2 RCIG_K3ORDER_Admission_Order_Optimizer_v0.37_test.ps1 ef0f7ee2014c179d93e9ab1842078095a5c4ba91de1dfa8d8e3f8cbf4a738fbb rcig_k3order_admission_order_optimizer_v0_37.py e205127799003c81b3a4f4d5cf43823e4e7273331a4fc81887c083b575d472f3 RCIG_K3ORDER_Attack_Report_v0.37.json 018d8d85cf8428d61f042c3af977f4de1ed03a489669ae32a0c8b5096596cf7f RCIG_K3ORDER_Optimization_Report_v0.37.json a93d725b8fbc1de30f7ca32f31d6103ebf93326e987cf572ed212873228cdbe9 RCIG_K3ORDER_three_rule_admission_order.json 843208f9d0dcc7c7b49d80cb0c5d28fbdc6dc0cbab7089bcff983ac6fc11658d RCIG_K3P_aggregated_probability_positive.json eebd4c2077e19cd67bf5a5d2fcbf5487bc3478114f76ba248cdccb55bc5246df RCIG_K3P_Attack_Report_v0.9.json 950795640c66fc1af877fcfcc15b9666af4638ad06f0ee1f80e1ea869ffe6091 RCIG_K3P_Probabilistic_Kernel_v0.9.zip 312ea31add090789cc76e11e742374d600a6fbe008354e6a3333b7852f41d170 RCIG_K3P_Probabilistic_Kernel_v0.9_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3P_Probabilistic_Kernel_v0.9_requirements.txt afe47872c4b16b20dff4a1cbed541e01df1c48efa0dc463385df5852a71bbc35 RCIG_K3P_Probabilistic_Kernel_v0.9_test.ps1 73bf20722985af4ae77149e595422f95e3cfbc421ab3a451298e2440c83a81f1 rcig_k3p_probabilistic_kernel_v0_9.py 704c7b806c642deac48f64bc2ee106971694ed3f2480c7001df8d9d93d0033a5 RCIG_K3P_same_support_different_probability.json d2ffc936fef33d8316fa85bb0453cd035d967658cb57e19b7565467df94e6a83 RCIG_K3PD_Attack_Report_v0.10.json 3986f173a2ccc8b3bf63160dbab70cff3b259af0b680657166ead212fc84e0ab RCIG_K3PD_Probabilistic_Divergence_Kernel_v0.10.zip 3930530ce7680a41538b711688351e42c36872d216dae8fa208e6b3888fe5a3e RCIG_K3PD_Probabilistic_Divergence_Kernel_v0.10_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3PD_Probabilistic_Divergence_Kernel_v0.10_requirements.txt 2afea0de7e12c345103285266c4595419b16af7dc80c3c1dbcedc925f61d2c5e RCIG_K3PD_Probabilistic_Divergence_Kernel_v0.10_test.ps1 5a734756386abcb7c7e683a7a62b5e861ea98e73d9a1adbfe50eadb6f6c3aeb4 rcig_k3pd_probabilistic_divergence_kernel_v0_10.py 497e49e39485ab64235bc5e0a57427ec40b3ad85c0d127ccd182fde6521da6e4 RCIG_K3PD_zero_half_one.json 94d614601ba4e8058cac2f09e32f9b897b67777b324a54a19bacd5baf2063374 RCIG_K3PORT_Attack_Report_v0.36.json f588563d7583504483cf289c8f84327d6e3d1b9461b10efd8135ab007fa2cb55 RCIG_K3PORT_Forecast_Report_v0.36.json 9b2e77e63c3fb988f0ead7372dd708f790de7e9741ab30f4ae2a13060abc411e RCIG_K3PORT_Multi_Rule_Portfolio_Predictor_v0.36.zip 6ff2ef90ed84f6567db83e1238359ef28b165da2831753823c6ea885ff29dac9 RCIG_K3PORT_Multi_Rule_Portfolio_Predictor_v0.36_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3PORT_Multi_Rule_Portfolio_Predictor_v0.36_requirements.txt e53830bafa525dec225f27f58ce6d1819a115af621cdbfab83ee15a2551ffe95 RCIG_K3PORT_Multi_Rule_Portfolio_Predictor_v0.36_test.ps1 6e43d326770a3ce881e69a6e244e690e773cb28c01ea64192e42253a45df0884 rcig_k3port_multi_rule_portfolio_predictor_v0_36.py 341e95912c343113ca03d96091bfe6b5722056910bfec859dc3ac5c88d4f7a9e RCIG_K3PORT_three_rule_portfolio.json 7fb1a7fda1517ed814d037e34951d6c189ee301ec23166037c3f9cf20b10e183 RCIG_K3Q_Attack_Report_v0.4.json a391e000c0390b1b4d22dcc138d38f51881601f36d318c695e93cc48c5ef6d32 RCIG_K3Q_exact_k3_should_reject.json 03655c3b22950c8670616aef32fc968a9430db6dd239225b74e1b8c986ba990f RCIG_K3Q_Quotient_Kernel_v0.4.zip bfb2133bcfbf00fdaa5eab1f2bedf6c4537d47e47b437d157d5cfe05f6a058e5 RCIG_K3Q_Quotient_Kernel_v0.4_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3Q_Quotient_Kernel_v0.4_requirements.txt 6419afeef836609a2f314022e3e30973457f03bbaaa1c96dff9b8edfa2ca185c RCIG_K3Q_Quotient_Kernel_v0.4_test.ps1 2df3f32f98cae192e3222e84507de1feba46ba9d20a7adeccdfe5ba74e5cd3dc rcig_k3q_quotient_kernel_v0_4.py e49c65385b2c69b9d3d5ebdd7260e9896d8dff9cb23e894332e149617e5739f4 RCIG_K3Q_semantic_canonical_closed.json 5d0e70d40e54079fbdf17c0625a11088c243bdcc42982d40a99e54f63da848bb RCIG_K3Q_semantic_key_equivalent_unknown.json d7642469354d4be8a7a6da17ff0ff7af99cfa4e464ce9f855f3fbf83f46cafb4 RCIG_K3QIR_Attack_Report_v0.19.json 903f07e0c996164eee0c37b5cd2f65e6cc79ba5d2274a09c1fb455b8f4c201ac RCIG_K3QIR_strategic_compression.json 2fbe1b035948dbb691b3a274a936df5283820f7b5801a1c3f134dc5bc6857e03 RCIG_K3QIR_Strategy_Quantifier_Runtime_v0.19.zip 8ee4f91f1a239dc93e44c40012832b871b058703c9175e19fb889d385bc3d8e4 RCIG_K3QIR_Strategy_Quantifier_Runtime_v0.19_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3QIR_Strategy_Quantifier_Runtime_v0.19_requirements.txt 5e47a7266528d230bedd6cf56b68d43504649a7a0c1fb325740be055b4e7ab3d RCIG_K3QIR_Strategy_Quantifier_Runtime_v0.19_test.ps1 60e2d18c09c06596d5e0cff5d11640c15d7cb82770777a9ed04d6d6196fd686a rcig_k3qir_strategy_quantifier_runtime_v0_19.py 2872208f599f2aa16fcda73b66fdff5fcc474e98e248397505e43940b667aa04 RCIG_K3RW_Attack_Report_v0.21.json 64533c3d3d8d010fee15d11671df7e17aa5f3039ee69e9ebeb91b9cfe940d444 RCIG_K3RW_Strategic_Rewrite_Verifier_v0.21.zip 401c5bdbbeeda2542d55a77140e06f543cffb1cd6055df8cc0d7d35ab6f0d81c RCIG_K3RW_Strategic_Rewrite_Verifier_v0.21_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3RW_Strategic_Rewrite_Verifier_v0.21_requirements.txt b37bf9509f32b6c8fe299b1ff47697089c609ab1fb153bb07c757d9d0219dc91 RCIG_K3RW_Strategic_Rewrite_Verifier_v0.21_test.ps1 eb3963562b19bfa61209e10aec248f3ce0ec743a4b0cffa952cdd576de4bfbbd rcig_k3rw_strategy_rewrite_verifier_v0_21.py cc331383de1ec5acfc0b4416900a3fa584cd5e66817f6e0a8cdbbe1de4962f56 RCIG_K3RW_verified_rewrites.json c6d882b818d0e47e12f0477e96d914a2bab3f25b0b51f3d304aad378e5c3142b RCIG_K3RWF_Attack_Report_v0.31.json 646b27303cba09b2c3a8374f5cc503c6b765343a4d3875919dd87f10010019c8 RCIG_K3RWF_filtered_commute_theorem.json ed943cda415e5b242db0841a715ce59133c91dfdbd5d15c9093204bd1012ebd4 RCIG_K3RWF_Filtered_Commute_Verifier_v0.31.zip 4a2e3da7a9ceb6ec7ba8cffc2cac323b4af7117fca69e27aa81fd04bd21d1933 RCIG_K3RWF_Filtered_Commute_Verifier_v0.31_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3RWF_Filtered_Commute_Verifier_v0.31_requirements.txt 06be03fecfb07ade95b33b4b3a7248c08f81d60472ee02750a9a19fefc863efc RCIG_K3RWF_Filtered_Commute_Verifier_v0.31_test.ps1 e9e93abb48fb4765414e9ebd45a6025f0a9a8f8c565d0e625f111786fda1a456 rcig_k3rwf_filtered_commute_verifier_v0_31.py 090df6f0680c45a36807aae1cafa651f3111f307c75277cdda03c541bded8a3a RCIG_K3SCNF2_Differential_Newman_Kernel_v0.33.zip 7a56fdeb9b5639c3edfcd5f80ae2d16b2dc9dc1097294efbcfcbe1019cfd075b RCIG_K3SCNF2_Differential_Newman_Kernel_v0.33_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3SCNF2_Differential_Newman_Kernel_v0.33_requirements.txt cfb8114fc85ef74ee694a4a72158a2d4fc74cb62006466d3ee883f2a815a0795 RCIG_K3SCNF2_Differential_Newman_Kernel_v0.33_test.ps1 0f248e1c1edc56c66f0767da6cff6613e42e4b1c6bb71224dfeeda8bc52d6abe rcig_k3scnf2_differential_newman_kernel_v0_33.py 66ce51aaa8830d3216574f54281f3907e677ff0370bec6904394912d7ff431f9 RCIG_K3SCNF2CERT_Attack_Report_v0.33.json 1f8bfdce30331557dfca0303c10bddfafc45b168d22c149811ef5a0b6442b7d4 RCIG_K3SCNF2CERT_scnf_v02_differential_newman.json 328e5c019ba00f6922e183c1735dcbcd654e6840d4c167bd235a4c0f561a2ab5 RCIG_K3SNF_Attack_Report_v0.25.json f488021b62e66b261cfcfb974ce40df71322039c5375d4c61e4ae2102e0243a5 RCIG_K3SNF_Attack_Report_v0.32.json 9188672f91be574ca9083020b73189c73f7d4985674447ee685f97506ed3daf3 RCIG_K3SNF_scnf_confluence.json 4a8ecc8088f8efb1acb8638b745f3885f867d32ce1dabb06cbbed4d71d87161f RCIG_K3SNF_Strategic_Normalization_Kernel_v0.25.zip 96eb4e177aeceaa73ee73a3ad36654e0102bb36c98cbb93b713c9b32921ebd1a RCIG_K3SNF_Strategic_Normalization_Kernel_v0.25_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3SNF_Strategic_Normalization_Kernel_v0.25_requirements.txt 783b444c99e6fcc3d2e23c3b188342efaa7f8a20990a55dcfd3befdf23753698 RCIG_K3SNF_Strategic_Normalization_Kernel_v0.25_test.ps1 19cb4356a507a5209c78336822df15f5511da609f8f143941dc73d15e9c1f779 RCIG_K3SNF_Strategic_Normalization_Kernel_v0.32.zip 5b7272c53f2dae7caab129286f317acb82fcd8c96dad229e858654d4e645cc64 RCIG_K3SNF_Strategic_Normalization_Kernel_v0.32_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3SNF_Strategic_Normalization_Kernel_v0.32_requirements.txt 8896777b184841e69dc6d3f2e4b61d5468d00a3c09cfcc636da8c63abac92fe6 RCIG_K3SNF_Strategic_Normalization_Kernel_v0.32_test.ps1 0771164dd3e2e8dfd8ef694cf36512b6f6a25c088f37923bd9986c533b841e30 rcig_k3snf_strategic_normalization_kernel_v0_25.py 6898eb2fe5847ce83ec14e4e8395e7cb3850491f6281ad1280fdd27190dbbb11 rcig_k3snf_strategic_normalization_kernel_v0_32.py c1f4b22098220a7c147bc1cfe8ee02beea08ed2210fcba64e0bb6e0e406cf4a9 RCIG_K3SNF_v032_scnf_v02_filtered_commute.json ddf8cb40e8363e7a4dd6ba2fe60b2af27442bb2d1f54cbfb73f5ad8497e1d96b RCIG_K3STOCH_Attack_Report_v0.41.json 56f55ef40d536c9125277617e8cea450f33f1b93aba4a70bb60c5a866f33a347 rcig_k3stoch_budget_admission_kernel_v0_41.py 950008c08301705af3e2f51b2a98d4f28de07ac74c3e83f1d8cef2e0a228ef75 RCIG_K3STOCH_Stochastic_Budget_Admission_Kernel_v0.41.zip 53c49c5b300a255bcf62a152af3e069cb02ba1c40b1758eba7309fe60af1c4a0 RCIG_K3STOCH_Stochastic_Budget_Admission_Kernel_v0.41_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3STOCH_Stochastic_Budget_Admission_Kernel_v0.41_requirements.txt 565f3f8738a4a219cccab1076fe15b7547c1072e977705993e892fa2bc2f6eb2 RCIG_K3STOCH_Stochastic_Budget_Admission_Kernel_v0.41_test.ps1 93603a1d6832f9649c5e574dba619703707c29d57c206964750fa92f6313d9f6 RCIG_K3STOCH_Stochastic_Budget_Report_v0.41.json b0a415c711f6d73a1324536e114b76c5b024818115c1fcb0b148a418c40f3e5e RCIG_K3STOCH_two_stage_budget_option.json 87a892b6b9db16b6339400180c74e696a7501a4c1234438b720f645db8817d25 RCIG_K3SYN_Attack_Report_v0.14.json 178521e7704fc9e10fc3db8868cbd7bfbae2adabb07d39a4b7f2f1c0f3da909f RCIG_K3SYN_bounded_fair_synthesis.json b96c6786e18a9a4df80bd08a9495d8e5920c41c94835730d66ebe745e4f131c9 RCIG_K3SYN_Controller_Synthesis_Kernel_v0.14.zip 219fa49d6e972f0aec7799dadd5be4704267c348be88d334e49ccb52a4c93dbc RCIG_K3SYN_Controller_Synthesis_Kernel_v0.14_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_K3SYN_Controller_Synthesis_Kernel_v0.14_requirements.txt 8bb758bfeb7790120d5e435a4877c3411e6753404cd72e2ccf863eda4c09ca3e RCIG_K3SYN_Controller_Synthesis_Kernel_v0.14_test.ps1 0326ca6a42709afb3727edfbac697957f8eee17f4cd7849af8daa52717f010e4 rcig_k3syn_controller_synthesis_kernel_v0_14.py 23bc7e5fe668f6ee505bae7d5e650918fe330501fa9a5ddc2b7c78fc937e6910 RCIG_Kernel_Calculus_v0.1.md 7bae922eb2ffb6593dd100dc9304d1c213bf8b53e9ed69fbcb4ec2a5d49bc3e9 rcig_legal_proof_fuzzer_v0_2.py ef5d5845f3675acee3a38ad94bb41a2566becf0706235f206b2be2d299246413 RCIG_Legal_Proof_Program_Fuzz_Report_v0.2.json 463407c9459a23bc519058a8e1eeb5ff5c994c0e23724c9d0e1004f1e42d490f RCIG_Methodology_Patch_v0.10.md a50eb7df02971155caed96bddb0e783a97e273d2601f741bdfd239554a8dd350 RCIG_Methodology_Patch_v0.11.md 06e2fb4ee2e83d2c0c7a13a878166c18e8d7a99816f3eac3e75e65dd58f0502c RCIG_Methodology_Patch_v0.12.md e389e4f136d0ddd438e6e2d98a39816edca4b5faf715601e718b8d7c31d42529 RCIG_Methodology_Patch_v0.13.md cce4342bf84d6b31a8e91150828a2c4b124bbb3d9d2db36ef9b99711b97939a1 RCIG_Methodology_Patch_v0.14.md bccb80641ea36bd450a5e989cb7a06fe3ea6696b23f023bf133692f549b77420 RCIG_Methodology_Patch_v0.15.md 127c5366a0aa5a32eefc9b0febc01fd344f992815ea4bdc45362dc17189aae8d RCIG_Methodology_Patch_v0.16.md e14946bd11cc7b943b26bfc2767674b3292b399f8bbbafa49913bd8319ad3b8a RCIG_Methodology_Patch_v0.17.md fa37a0ea808494d98e73ea9588ecd1688a0380cb6bb9e0217ce8a7e7ebcd84de RCIG_Methodology_Patch_v0.18.md 164ea6764d5ecbd3c6e2f906b25a35443078fd84de32d741e4bc2cec76b70bc1 RCIG_Methodology_Patch_v0.19.md a2efbc7a98826a8a026bfae8fde329faa72aed9c8cd79ab6a077d345b533bc59 RCIG_Methodology_Patch_v0.2.md fdb7841e42e24298e3cb9dc0c12e8366b123b18b5b0ecd0f1f269a3eb0f20ee9 RCIG_Methodology_Patch_v0.20.md f53fb4274653ac2b99e63927da8d04c2225cd0d17b5520ac2614f8c3a6164d5c RCIG_Methodology_Patch_v0.21.md eb0824e2ed99fea35d3611a1b74fce8706bdf5831ef2f367cf9bf4c9d85b02f5 RCIG_Methodology_Patch_v0.22.md 0bab8098bf2242adc0c8985c3c1ec2a8ce4586fd7b82cf5e4347ba63dcd0f4f1 RCIG_Methodology_Patch_v0.23.md 4ac41c53117301bf744f3940a31807c9973dd708d23b1099e023b51c8d83e55a RCIG_Methodology_Patch_v0.24.md 223d72eafc60446dd82e98a2c533e041ccf89e90ff3e130f8dc906ac20d0d758 RCIG_Methodology_Patch_v0.25.md aac8b176b86919f6017ebe97d06b67ca384deb97510a8452b6af9cce292ab391 RCIG_Methodology_Patch_v0.26.md 19ee021b29272041c6c21f28183ffe4cf12984eadf91670993504286b5a70222 RCIG_Methodology_Patch_v0.27.md f312fa0d4ec90fcfc283f96d921b1715fa90cfc7b142e05aac88044e22ffecee RCIG_Methodology_Patch_v0.28.md f8f15b179e71dec447a597a08933ab56b2151fa3981c7ada462ad203e0381027 RCIG_Methodology_Patch_v0.29.md 1414a39cff25f2dcb37a6f2b3fbcb59c518559c9881ce39527f7333fb693a700 RCIG_Methodology_Patch_v0.3.md 886cbf4782ca7fad22d073d1898cbd571186a029dd51970f4d1bef49271cc27b RCIG_Methodology_Patch_v0.30.md b3110da57759983c669e1479690030c1264550a94a20d880393b9f2ea4323e34 RCIG_Methodology_Patch_v0.31.md 60a9f6c36f414540e913c9e7b9a18613f87410f0654d5e28db559a19d25b5bb0 RCIG_Methodology_Patch_v0.32.md 78b17051b45321905df460f3424104e0274f2c19b931166eab0e7ace2e1d9566 RCIG_Methodology_Patch_v0.33.md f59e624df45be22baff8063e1c2852c6775b06cfbf9886c6c544e6fb4832f28d RCIG_Methodology_Patch_v0.34.md 2d0145ad44c3cf0061f7d83c1286e44647171f72e729959d67d1488ffd29c0f2 RCIG_Methodology_Patch_v0.35.md efb655b6aa9545bf1f28557ed2d34faf3799be11188c6aab1ae66944c4829fa5 RCIG_Methodology_Patch_v0.36.md 80e93167799a79654f57c8e10d283517f97e28a12eb0d0a7dc14d35c7d587b17 RCIG_Methodology_Patch_v0.37.md 3f5772d2e96448b54e4dbb6f9b4e7fc2a91ca93a7ebb60b8eabbed9f01f949ce RCIG_Methodology_Patch_v0.38.md 686dca9d26b3bd0f101b647ee0c9bb5aadfff7cff545fdcf53c38d9371c4a582 RCIG_Methodology_Patch_v0.39.md d9f87a2dd5442b9cba5c7e669db832e05f4efcb6fd996204fb71e08a8d91971d RCIG_Methodology_Patch_v0.4.md 4b884e178fd4fae77061336bbba0ce4a0fd0c4247b51458b8538f1b53a4d6b92 RCIG_Methodology_Patch_v0.40.md 2b68840a82833cdb1c69f41cb9b7724e2107bec4b920d2de8453ddd9d2fcc636 RCIG_Methodology_Patch_v0.41.md 3aa6ab6d33076410416183c87f551934d7e2f2bad50080b28707613e5fb6090c RCIG_Methodology_Patch_v0.42.md 9b90cc56319a829f9fe15301e5163a330fbdb41ae89e14293551c3d4c3a0f278 RCIG_Methodology_Patch_v0.43.md daf6a2e3f4e0848bc30f96216bf45ced6861bdc846c25c24b0f9c7dbad1ded3e RCIG_Methodology_Patch_v0.44.md 53bda4e098306d50fc02e34383cc56ab55efa96826b21033256f302661e2be06 RCIG_Methodology_Patch_v0.45.md 5a41a29c22fcf5cb98c7c1e158ae5beba71f645b705432cecfccb31823122163 RCIG_Methodology_Patch_v0.46.md d47ec862c3c8e79a581a1175e638806ced4d54ba14107eddaf2b246a3e43a93f RCIG_Methodology_Patch_v0.47.md 16b9fa778ed62cc2f8b1c8bdb243fa1e070c1e832c31aa133984af9b6e0b7de5 RCIG_Methodology_Patch_v0.48.md 6b5f0c703c2ff297f5074efc36db89b7a85482756599d03a3eaee1f1883fc310 RCIG_Methodology_Patch_v0.49.md 8b5f3216da9270d279ce9530066234fe0ac02a2c51b4b1db0e8802ea7cda390e RCIG_Methodology_Patch_v0.5.md d4b394163c2cca05144ecd5f8c9dc7db7534244f0e2ffaa6c5c2544674382480 RCIG_Methodology_Patch_v0.50.md 7c1fe48657eeaf7c154f8b5fb561200e72a128c3df54bba115b0e9a66b703843 RCIG_Methodology_Patch_v0.51.md 0664b84a6f6d408081f301c5d379878819354c69e0d28c97290a95a18311b5ec RCIG_Methodology_Patch_v0.52.md 4256ff5913b8b855d6072acab84d9b51ae07117d0fa6815cb3e308dfdb832f19 RCIG_Methodology_Patch_v0.53.md d14b9c8f48e4c4660ce4d9600c78f2ed85b454eb31322120f05178cd1c49139b RCIG_Methodology_Patch_v0.54.md acfa186b73ef649eb9ff5ecfb190c010117d2941d547fe18d1d8978ec7b1d399 RCIG_Methodology_Patch_v0.55.md 18f8bbe09cd73083938993ac67e149bcc00fc063ea37e5d5e853a544e5911879 RCIG_Methodology_Patch_v0.56.md 79dd013d871e6b94cb4afcabdb29c3c3247dfa0c76d8c6b9b14c72ad3e170ded RCIG_Methodology_Patch_v0.57.md 5268424223a5536b99cc21c77822aa9ee776ac81017f9e60daa665f1656733d7 RCIG_Methodology_Patch_v0.58.md a8b0ed97be81c0d4cad8f6208341bc3e6f7f37e3d11e318fc377346f42f7fab8 RCIG_Methodology_Patch_v0.59.md 6bc462d5d5a658f758c04cb01084076ccf0252083aae56af995395893aeb5537 RCIG_Methodology_Patch_v0.6.md e137f985cd3fbd9e9cef7d628323e4cfa63cd91b12e27249de9bedaeb517e915 RCIG_Methodology_Patch_v0.60.md 4cd97573a997fb03dcc573aa5c9153f55a2762cd5231bc6c8e05b97c5877e6fa RCIG_Methodology_Patch_v0.61.md 4f06def8c0f00b4d30c6b633d0ee00f3f4e93301e0979df0b308a068783597e7 RCIG_Methodology_Patch_v0.62.md 6a94932ba89b66bb386e2ce9cd89dc9dc6783e070bccf1ea229baab6a0e96241 RCIG_Methodology_Patch_v0.63.md 0df270a168caf28e247665e657c1decd056ed52a7ebdf826b5d6052dd13ac659 RCIG_Methodology_Patch_v0.64.md da67cbc13d419e9301021cabc5580e9ab9beeb4dff2f72f515dd416cb6e2293e RCIG_Methodology_Patch_v0.65.md 64383c3e7c4977d64eda36be35a1912a91129668a5765d0321b05b67d413811c RCIG_Methodology_Patch_v0.66.md 6deec9bc53933987cdc02f8a32e2c3d58f0a3882cbed90389cb7f05d0de7948d RCIG_Methodology_Patch_v0.67.md 271721e85b3f647f811061ef27e2e194256a7b1c3d948aae61b1566e0dc8e01d RCIG_Methodology_Patch_v0.68.md f92612cd2ec7ae54c09cab5922520a630c804f18796a52a15db2bd7a0f42ded2 RCIG_Methodology_Patch_v0.69.md c157977edcaed9d926025ea80f02e8b44b0f120bd666d136a51db4782ebf630c RCIG_Methodology_Patch_v0.7.md caec816787ca2424f6282376eb938f08ee8819e7483a865faee6b30d8d51c15e RCIG_Methodology_Patch_v0.70.md cabe17ca527d4d55daf584f235fe32595b8a8fc2fe7dc1796586c2a3993dfaaa RCIG_Methodology_Patch_v0.71.md 7424491a218693c62d3b01f26e54b7df7abe923707c4a417a4303d14ec6929b3 RCIG_Methodology_Patch_v0.72.md 4aa0b699317cb195a8bdeba398d24bb16b215f2cba73700f96f4a0c22b78ccc5 RCIG_Methodology_Patch_v0.73.md b3acfe5c038f84938e301678fc98060294cea2ef25c9a120b6d6bf912d752838 RCIG_Methodology_Patch_v0.74.md 54d99fe774d358f8e4ef0b152afc4dc676c1693d3567d50ad5b4e213536711dc RCIG_Methodology_Patch_v0.75.md 59695922577886e051638844e9d775977d4640ed4b6414f4def15e0fff366cb1 RCIG_Methodology_Patch_v0.76.md db571a020a714e1736184ae058638bf77e53289e05545ec735d9a71771e3bbd9 RCIG_Methodology_Patch_v0.77.md aa4b229bf73f1784158762fb80af0ab574d8c5a14f39f20988107a8cac9f3238 RCIG_Methodology_Patch_v0.78.md 99f11310d70eb31a203c1e847256a0dd5fb039ada9f0de86c4ffc9673654713a RCIG_Methodology_Patch_v0.79.md 242cca72af8feda8f7d7eb430788dcc7ae70958af55fb754f39a263aa47d0b37 RCIG_Methodology_Patch_v0.8.md b201e497695c5481f81a97ba7ad55ffc046805ef884749bffc3d006128ca345d RCIG_Methodology_Patch_v0.80.md 62f853be38be1c3362ee9b50325e63475271b2be0c4de2c021cf575664f55da8 RCIG_Methodology_Patch_v0.81.md a5228cd3e715b512cfe6bb11b5dd6ad34c69b4eb05c301b9790138807025b1fe RCIG_Methodology_Patch_v0.82.md b7417dd664da601751a8ed28dd8498f1bd50163e99380e7dfda3c75d6141622c RCIG_Methodology_Patch_v0.83.md 15831f398a8de6b9531269608e4eb2027e9ec1f0c43a746d45a9d8d8ce80f2a9 RCIG_Methodology_Patch_v0.84.md 4360ade12def1e776012f932396c952ed2e39e9e17f61229fc4eea3bf9cdb142 RCIG_Methodology_Patch_v0.85.md d1dc22c6558e0d08b5a04f4977ad13f5be3d7d50478f0e7a8b7e7fe8360899b0 RCIG_Methodology_Patch_v0.86.md 5cc464cb293ced06466e768fdfe56fae2a28c50f0d38bf5969ae57b7a061b722 RCIG_Methodology_Patch_v0.87.md 0b79cc452160835b216ba6b5b9a301394e1f641771ebfb3c4d0a9a813159324d RCIG_Methodology_Patch_v0.88.md 24fa62b6578fcc1258419739565772cd4f14d11a574fd70fcc2c008306165a2f RCIG_Methodology_Patch_v0.89.md 3cecbe2ed0216917881446035223dfa39c0bd530ef2e4b372c6ca82e7dc56c5f RCIG_Methodology_Patch_v0.9.md b946de6cfde4049a6b83da779d5c7da759eb904751b0b66c5ca403e158752c2d RCIG_Methodology_Patch_v0.90.md a7b7aed4ae8c98a636106346b7f7ac9414fecb5ff76e611ebe8f47cfef238654 RCIG_Methodology_Patch_v0.91.md 7e2a4cfff45fb1f74b59af7c689886ce993a4e01c91cef135019e0522e004d23 RCIG_Methodology_Patch_v0.92.md 92dd252470619c229c665d592231dcd9525c4636def21c7eb4fdec12570a1f26 RCIG_Methodology_Patch_v0.93.md 2abaa64e6791a584eefb730e5010b011278b4b293c34f0d21efdade4604c0191 RCIG_Methodology_Patch_v0.94.md 7ade6100fad5e706f3ae28e19f89bc2318bd3dc5a7141ab45eaf39af8b4b4dc3 RCIG_Methodology_Patch_v0.95.md ab11eee4ad76152cb9b60c1abc9790925aec6c9c929c66235287ab966ca4e425 RCIG_Methodology_Patch_v0.96.md 10159210a2d635df09ec7afa5b91800754f895a9fda2a729724c0ba702800b81 RCIG_Methodology_Patch_v0.97.md c9a1ee57f32517070d2c5e1180adcaafdb9973a79dcee45d1440e99994be8555 RCIG_Methodology_Patch_v0.98.md a66312bbcfe06b8f952c370da312029f3d38f59e7843383af5d77337464bde1b RCIG_Methodology_Patch_v0.99.md ad694a4753a7033c821d3c50ddb28ecf5ae19d6345be46d14190b8656001a137 RCIG_Methodology_Patch_v1.00.md 88c979da6e01dba69785bc0bf080e1ac796b1c53c2a889bb26d8829e37a10d2e RCIG_Methodology_Patch_v1.01.md 4b02148e2710aa5de10a09914c7fcbc4782e0c71d7cedde4ffd59f6276e79232 RCIG_Methodology_Patch_v1.02.md b442661f7d71c9ad1174915bc8fe042b5ab3f099d02ce87f2b32f8b601892460 RCIG_Methodology_Patch_v1.03.md 042c8df4cfd15f5753222c8981cf121e77066a6004b4a21575584e7403697657 RCIG_Methodology_Patch_v1.04.md 369063f025f7d4db4772d809e745af9a559d51784cceafe553aba4ded10fd63e RCIG_Methodology_Patch_v1.05.md f9d0c5e0949ce66e1321180e0f23ab3087c28b26f52163ae9d0abecd755aba46 RCIG_Methodology_Patch_v1.06.md 8e4cf57a44b144deb2ccef5a48e34edd2a856a3a7c0154856821b53d464eff4a RCIG_Methodology_Patch_v1.07.md 17e4c93b1e6c6ce721505b0281ef3e0b799291f87afaced633c97f2c7b3db510 RCIG_Methodology_Patch_v1.08.md 0a3dd4258395e3a256ed820c6033448f9e8481306a0f9bb41a0917acc551adb1 RCIG_Methodology_Patch_v1.09.md 6271433fbc5b23342c1ecff25b6306addb768eb783b36129d98d4407c0335bdd RCIG_Methodology_Patch_v1.10.md c058898aad4974fa699b8d6c76f86e20f14e4404fcc9f84ffd62322fbe2d5e02 RCIG_Methodology_Patch_v1.11.md 9f59625ca662cf1279d8517cf1637dee6579357ddf7bb5e581c159d51f82b688 RCIG_Methodology_Patch_v1.12.md 3b57bf1dc8a3ff0ef2315ceff6a9f8c78bbae19cd97d11ed1fbd0be56ab6f782 RCIG_Methodology_Patch_v1.13.md 75b6cc6b06c1824b284f53ce35eef206200f88e0f997bc14a22a53cf67a235e5 RCIG_Methodology_Patch_v1.14.md a21d5e7cd2d119c0cfa27dc9aa68fe3ac2b7c9ab27f5b1ca6ddbbeaf1708cd97 RCIG_Methodology_Patch_v1.15.md c299235d99581a826f7230235215f03e2a49a1578f3da618d424730a380637dd RCIG_Methodology_Patch_v1.16.md eaf3b3bcdf9d61711d90c2e3a7e4903ebf57d3fd93c393afb677331e2ab42aba RCIG_Methodology_Patch_v1.17.md 2e5037daaae3d935b9ce19bd2c583bc4ee4ae3feaf40449349c7f2a388a3b882 RCIG_Methodology_Patch_v1.18.md f1ef985e375074093c9295c16fc3da7f39c6f5b8190350cf3c63cac8723df681 RCIG_Methodology_Patch_v1.19.md 90e5eabbac8e66332f4ad7771f0c20503bd42ac9b376c883d08d8be602a3ccf6 RCIG_Methodology_Patch_v1.20.md 90de0cef07ae03fcc753edcd2ca89080528e21d622dc959b94c4c3f79d4d96d3 RCIG_Methodology_Patch_v1.21.md a29a63af48078563c09da92f04162ea55a39cbe7631daf208de88e65cc260c4f RCIG_Methodology_Patch_v1.22.md a76cc735a1accbb89222e65db0d6822f7418cbc52af2947a9972e139cc7df86e RCIG_Methodology_Patch_v1.23.md 4d2148ae1174eec3f11fbce037880a718cd5e864a154fc1bfa66e3c130edc3ec RCIG_Methodology_Patch_v1.24.md 17c6991db369876a1fc3d7732733cdd920711b6179a07aeaa617d8516e2e11a3 RCIG_Methodology_Patch_v1.25.md e2128627757fc95ca1214b31d43618e7ad5fad9f9fb09d111caed6cfc5a3977f RCIG_Methodology_Patch_v1.26.md 79faa399fdf6928672e638deab1ef74e4b6536fde29cacc6f460cec14fe30d5c RCIG_Methodology_Patch_v1.27.md 062b6e4c1baaf783777a56661ab1e6dd56077b7ade6a7f145bb41fb4dd1ccd8b RCIG_Methodology_Patch_v1.28.md 89fc91f68bb3dd94ee721d2a9d5415f8b38667278c47dfb269bbcb16fc2ad00f RCIG_Methodology_Patch_v1.29.md 7655e16a15fceb3acd819f89d0a9e45b21e13d50395cec8031155d12c3e5d1fb RCIG_Methodology_Patch_v1.30.md 3245c10b614d2f75c792e3c9f7f2db727c043bd11a79a7e6b769ecdd0455c51c RCIG_Methodology_Patch_v1.31.md cecab1de2a2709f8c0961291e4a3970799e38ffce2bc370628b0579ee7e603ec RCIG_Methodology_Patch_v1.32.md a21d28c4d2616bb6256e9dc8c3b1be6abe64ee3c9d0149fee6d0266e1dd7fc1a RCIG_Methodology_Patch_v1.33.md 515f592b592221e6c9700789d0fb4da2579cfefad0fdc62e8685dce3e15e5d3a RCIG_Methodology_Patch_v1.34.md 7b9ab9a43ee392ca2e487821d531c438faededb70ac5d3d5d70985711523e0b0 RCIG_Methodology_Patch_v1.35.md f5c279d397085456212df0486b54621df90ae3b094a4ae2bd8921867f632bff4 RCIG_Methodology_Patch_v1.36.md 659e2a8824856c75e96fa749a4f7c5460fcf45680cbd5d4c5447b1f5981b4196 RCIG_Methodology_Patch_v1.37.md fdd1f651bf8bbce005d37e3edd9decb9ac817e83b25fe6d5bdc5a202181e3fe2 RCIG_Methodology_Patch_v1.38.md 30eae2897e561e3a2566d60439a4c1306f1c6fbe98600135a7dcd4247c120490 RCIG_Methodology_Patch_v1.39.md dc472ce4c1bbd3c7adde8aea728ea0ea6f671d0fda5481296afade6e1d6ba7a1 RCIG_Methodology_Patch_v1.40.md 2d23936ff785c5772bfa27c1c625c2fa64f353052b1db36e922d829757d86721 RCIG_Methodology_Patch_v1.41.md 020dcc22edb8dcc795a410fb2dcd1a18c305719b8cb4f4b21395ca2070defeda RCIG_Methodology_Patch_v1.42.md cc724835dadb858b74fb97258215824b41b8b92581c7d336bdc1c33d12e46dcd RCIG_Methodology_Patch_v1.43.md d38eb4d37e829a1a178734b377c112203ac8c7fa91063bb9b577428e522db1d2 RCIG_Methodology_Patch_v1.44.md 2cb35821aecb6abfd850dddadca56d897a635b7cf04c863067f37074b8b0a06c RCIG_Methodology_Patch_v1.45.md c185b84a4b071a07d9c2e17133a91d0fc1bb523d6fc3288fc4e4320276db78b2 RCIG_Methodology_Patch_v1.46.md 8f9bd02a0e32aa995d3facdf13553ddf92f323e5b8e6c4c1b0e2bff178950f8b RCIG_Methodology_Patch_v1.47.md ce2df7f71a749cb58350fda16b4b7f18af24894a451a19bd4988f3a638c0bbd5 RCIG_Methodology_Patch_v1.48.md 216f0b6ee26f90f8c3dfed1a76632f9edb838b9ca5cfb890d65e12b79dd64842 RCIG_Methodology_Patch_v1.49.md 3c1b9580c10f778eea8e88e7a1963e56d427b1f74b101473b6623e5ccca4e76a RCIG_Methodology_Patch_v1.50.md 95bffa784c3464074762af5028a1db706b792edb9aa57dfd5ea229def46b664c RCIG_Methodology_Patch_v1.51.md f997a1d522d7554e5e6d649f02536db8a9d9c0c4bf585b16f552387282bd8512 RCIG_Methodology_Patch_v1.52.md d28402a89ca9966c9ce434fd2857b91d6ee8c9c4f0aa74deb2aae845d847668a RCIG_Methodology_Patch_v1.53.md 0df593725ff50636238029abeb07af6070891080a512cfe4701cb7afdb8f55a5 RCIG_Methodology_Patch_v1.54.md f1caccbf676f55a47466828bfdd51ef45867d55f0a52786a2eaaa208a361656e RCIG_Methodology_Patch_v1.55.md 5f0bb7c008f815b008831d4bc9eab3eab1d9059e00760f74b3a65e6a4dde8e2c RCIG_Methodology_Patch_v1.56.md 460b2cbf5f5a39448c413cd2651019eae6d4885e7ce017ef7a9cc81ae1c5730e RCIG_Methodology_Patch_v1.57.md 2b6b1f28c4e3c342f44f76675b948fc79b0cf9e3ba10b0c858ab6381f77ecb8e RCIG_Methodology_Patch_v1.58.md 1ec565d5d23eafcc918fe33103356b5faa18bfc3bea955950f255575a027d9dd RCIG_Methodology_Patch_v1.59.md 7a87db73bdea8d5f4d8158de3f14b4ee95ca471d37cbf29f86ff7fb106b19700 RCIG_Methodology_Patch_v1.60.md 7c53a0b70d76873bda749fa955aad31a96430a2f9c7d7b64f4af0a2aef4083cf RCIG_Methodology_Patch_v1.61.md 42d8121b614890ea24cabb6fb89edfb3b0f175ffb15760a2b24acb57696ff7ef RCIG_Methodology_Patch_v1.62.md d872b2589256ae6ebf1c97714bc14473b289c3a3a01a568d555404b4c3e76125 RCIG_Methodology_Patch_v1.63.md d1615d961bfa5a23e2157927b6e2a6a4a3f81a31618c9f3c76e5cb9d063b00a4 RCIG_Methodology_Patch_v1.64.md 3b8bcdb5b879bfdcf519c9a235200c0d7cdd2e4ec7ff22f011962e5eff5a6990 RCIG_Methodology_Patch_v1.65.md 61551051f48b9c641aae85dac0827bf8bef8ed7abea128b9b9c8d17d74ed9716 RCIG_Methodology_Patch_v1.66.md 796aa8364455105fc8c4feb8192830035f8429b9b1ac303cca3132bc7d377664 RCIG_Methodology_Patch_v1.67.md e8dcfc29789b05c9db123d433869a1529d4c0b4f34298d7f55b22a583df751e1 RCIG_Methodology_Patch_v1.68.md 80148008e4e42be91ab0ac03371e51f5f3de818eb914c30e153bd6beb8ee96a9 RCIG_Methodology_Patch_v1.69.md 181d3da460193ea5126ad67afbdff87e88fe5e88638408c1fd99615e37f48319 RCIG_Methodology_Patch_v1.70.md 940c0de2bc89ec4e2e8bf7730f241edc1b129e5484f5458fd73038f6936798ad RCIG_Methodology_Patch_v1.71.md 2ac3397af689a5ac3be5fd2e96990222687a0cf7d63de54c49a2d5597ab13ff4 RCIG_Methodology_Patch_v1.72.md e7de496bf153f71374389ceff04cbf2358190f5be84c60b100ffc9490a9caddd RCIG_Methodology_Patch_v1.73.md dd7318a0e969e006272144829d17ea7774ed84886056b39f43393b98209fbfac RCIG_Methodology_Patch_v1.74.md b379f6031de6e694a808886e821710f67f1c3600381bf23eaed088ffeafd01ff RCIG_Methodology_Patch_v1.75.md 0bc083a447fa3f5c37c4258f4871e50e1f7c4c3aaa3c2e3f781dbc86d8ad1ba8 RCIG_Methodology_Patch_v1.76.md 00e040a918e0c7ae89cd97ab20074d5ad00023f4f03996a4698902c3ac229937 RCIG_Nonconfluence_path_A_closed.json 412a704be193d4e564bf01b1a60dc7584561a57ca0348b88b83c71427082e44b RCIG_Nonconfluence_path_B_unknown.json 9615881ea19547042242e02f44b6e9a3207b6927e1f42f6bad2ba1b3dd627ca8 RCIG_Phase_I_Core_Index.md 05ec632434c1edc4da0d065c354ca2f3fadbbd6ac74dd9ef3a48b175f4b6e074 rcig_ref_verifier_v0_1.py d589288cc838dd60001f5d02b937f5b3ea7aef16d9efd18ea1fd8d47b404126e rcig_ref_verifier_v0_2.py 866428cdf4ecf7570202046c0f6d1d9a0d0d5a476c425c0c9ef70c196f5bdd44 RCIG_Reference_Verifier_v0.1.zip cd4f5256fb7f723331765fe1255f17ab9d01d76ad4b9f933f32e54cad8c5ec0d RCIG_Reference_Verifier_v0.1_README.md 29cb6b4d35cc209d93c9bf7d661718e580920c55173cc38d3c9d427bf564a825 RCIG_Reference_Verifier_v0.1_requirements.txt 662e8b721fd760c64e6954a1ffbaf04f54efed0319cd9dff3d3e2bf2831f92c5 RCIG_Reference_Verifier_v0.1_test.ps1 fa942abff485cc566fa91eb5d805af2b45921e17f61c05e19a3a962dd7167f1a RCIG_Rule_Admission_Cost_Prediction_Run166.json 5eb9506d52f64bb8c723cb2c866080c51d253b5f48d6c6bab8ea9cf2a29d6330 rcig_scnf_basis_differential_verifier_v0_29.py 59f8ff58710694ae9803b268638f986852d0dca4c0039181f98b77d19a38e5b1 RCIG_SCNF_Critical_Pair_Basis_v0.1.json 134b161c05aee78690bbf0f040880be851f89f247cc8584ee31cdcbb4ecd3a56 RCIG_SCNF_Critical_Pair_Basis_v0.1_README.md cc2d8e84c2ab9e6924c279ee51b231c16dcda4cd39284d8cf61db8f575ae65bb RCIG_SCNF_Critical_Pair_Basis_v0.2.json 11daed7e8c85a664dc869360581ece3a878736f568438b474d02022ce2373419 RCIG_SCNF_Independent_Basis_B_v0.1_Report.json 25f725726326e0417dd19d8eb68db2947dadba260e5dc5eaf77226d1b746c2c4 rcig_scnf_independent_basis_verifier_b_v0_1.py 70a22f3e895e1de726c215fd11a81788524dbfe6414f46fb88daef20cb85c4df RCIG_SCNF_v02_BASIS_B_Attack_Report_v0.2.json baed7aed4eb886f80eee64090682f66460fc526a429abf9cec55f736d4b89df8 RCIG_SCNF_v02_Critical_Pair_Basis_v0.3.json 2d7dd5151a83b32ba2b430de3faa22fc097e6879f20106cd09ae0d7093871c2f RCIG_SCNF_v02_Critical_Pair_Basis_v0.3_README.md 558c8ab80c7f0517d3fe30eda8f2a8768215d703d598681988d5064a289c0f16 RCIG_SCNF_v02_Independent_Basis_B_v0.2_Report.json 7acc206dae0efc0d13389cd13769616e678802c71cc8fdcf17b456082edff0dd RCIG_SCNF_v02_Independent_Basis_Verifier_B_v0.2.zip 19f4c65a4e9f8996fba42e3c7cc2d4639589bd1d37b724ce01b6da580c7e1e4b RCIG_SCNF_v02_Independent_Basis_Verifier_B_v0.2_README.md e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 RCIG_SCNF_v02_Independent_Basis_Verifier_B_v0.2_requirements.txt edfc0ca203f687294787533367f136b9bafd6ea18f9b045c93d9ab01a73e1f88 RCIG_SCNF_v02_Independent_Basis_Verifier_B_v0.2_test.ps1 dcea41902c9463f3dd6f29d5b92d36cb9a0ebbffb7e834a4c10e054f8761c0ba rcig_scnf_v02_independent_basis_verifier_b_v0_2.py 708f6d50937402f14b5939cb8e62297d725a878ef18d3b8d116dc9466ffb1a1c RCIG_v0.1_Recursive_Constraint_Infinity_Game.md 041747b349d6f615ca54cdff8644e1c6e35dbebe27b4e520c45ef66718783894 RCIG_Verifier_Attack_Report_v0.1.json a7a6cf3c01c683fde59ba64b6a57d8791e9e218f6982bb202fb6eeebf6f4c062 test_rcig_k3_canonical_kernel_v0_3.py 96718b1e0dc75d665a65f2b066dcf5dfaeb5ad0e47d765285d9d5d14009192bd test_rcig_k3bayes_budget_learning_kernel_v0_42.py 3483a2e8159c8149e12378205fc80e96ae60628832063a62147bd0eeffb16153 test_rcig_k3budget_theorem_scheduler_v0_39.py 03e0e79029d051a99d834dd92cd338504b1b8714ff6ae835d96db73f5fa322b8 test_rcig_k3cost_rule_admission_predictor_v0_34.py b0b937a34aa9563a7566ceacf9c881ecda951f8deb77e572433e6d7e2d3fd54c test_rcig_k3costcert_rule_admission_backtest_v0_35.py 04b97d1da25aaea9b98559920fcaffaccde58fa7f4d00bd3d536dd263bc5bf9c test_rcig_k3d_behavior_divergence_kernel_v0_8.py 5f873479a02199cb044b8083e493f3bb0108847d1bea4aedb896acf6c5078120 test_rcig_k3dep_theorem_dependency_graph_v0_38.py dd48a3dd6af732a376cb3907e85ea77be55487fc0b21bdb8d0ddf7ee9a0f0257 test_rcig_k3e_user_equivalence_kernel_v0_5.py 29d6759650eee9a75aad5770f57b11ab39251246bbf0b3d584ec0dc1dbd7f15f test_rcig_k3f_fair_scheduler_kernel_v0_13.py 5945ec6e5522d61842752cd5b30226adc731d723ac324285fb1f7b0973eeeb29 test_rcig_k3fgame_fair_game_kernel_v0_17.py 7af5c1648694b4663917e1c14fdf97fc4d6459229994d1be185cb227e2047297 test_rcig_k3flow_dynamic_budget_kernel_v0_40.py 17aa02f1dfeffc033e5b621dadf94978727d1bb2413896e67bc07560772b5af9 test_rcig_k3fs_scheduler_product_kernel_v0_12.py 6e158db371ee8dabe1c0e9212b9b70e84c41801c577d16e82cdde1a792c2744b test_rcig_k3game_stochastic_game_kernel_v0_15.py 9e9fd812bd2f4f4af5b74d218e48fbfa218eea761e0b08919bb27f8e408d6ab7 test_rcig_k3info_bayesian_probe_kernel_v0_43.py 9ff846bd89e22d1e1fc68d2b32313e4a6de8a444757c520feb72daf9eff7851a test_rcig_k3l_labeled_branching_kernel_v0_7.py e886077f2170551400c358fff4b208e3d3372ad8ffc9b6c59b4144590cdf11bf test_rcig_k3lrt_local_rewrite_trace_verifier_v0_23.py b962a81ae2b68680f2f161e26418562ab640af1aeac1b523559b3853b43404d9 test_rcig_k3mdp_scheduler_divergence_kernel_v0_11.py 39a072e2dc38fd57e9544747290ebc78159c9dc6a5446f6d2f5257166b8c1de7 test_rcig_k3mix_mixed_strategy_kernel_v0_16.py b77a3b003948b8e042a9072d8c5531155fd696260c422a403224f58ce52c91b1 test_rcig_k3mut_rewrite_spec_mutation_lab_v0_30.py 095d94e0007e39285f9a83343cf91b6258ebf485f9a725102d3fabc55fc67348 test_rcig_k3mw_multistep_weak_kernel_v0_6.py 4ad62fbccf3abd75166402a09fc5cd75674a54a2dfb157bf5ca0590c47193c40 test_rcig_k3newman_strategic_confluence_kernel_v0_27.py a994a1cac4d05f5b0f3490c5e077da101105fd7447a00ef886b85cf892900e10 test_rcig_k3order_admission_order_optimizer_v0_37.py c25350370ce571c51c8b912d4a9fadeec92c8eb7ee169d114515a32fe97fa487 test_rcig_k3p_probabilistic_kernel_v0_9.py d01879ca2d98b7f9ec851a47cffb0ca314ac3f02029a861fab578cf33e037327 test_rcig_k3pd_probabilistic_divergence_kernel_v0_10.py e73d349eec68c381b598ffc3216ae0bd1452e30fdb5f1e36288d12cecd38d23c test_rcig_k3port_multi_rule_portfolio_predictor_v0_36.py da77ec565323b7b258a56c84a86287df0151d046f65c9fcf8ea7eb96ce680206 test_rcig_k3q_quotient_kernel_v0_4.py 6f2522fdb521eb7b3427566e6f68283e8be487fb4c4e52fad1420a4364aab856 test_rcig_k3qir_strategy_quantifier_runtime_v0_19.py 31382e64832adbb9816d0e9b09ffe4c6717d0444b59b2b961228a1f2d9399bdb test_rcig_k3rw_strategy_rewrite_verifier_v0_21.py 24b6e8c2d21c2c45db2918377fe17424f3e75bb6c28b8860f553077ac4297ac1 test_rcig_k3rwf_filtered_commute_verifier_v0_31.py bf20c78a81f71ad4e9ea8fa99a22d648f966a96faa7cb4fed4fdcccca8a7139d test_rcig_k3scnf2_differential_newman_kernel_v0_33.py 00e759f80581e58fefad18ad82ce8df880082a00fa89e5b8056d1b89d43dd3d0 test_rcig_k3snf_strategic_normalization_kernel_v0_25.py bc9dd7a0637e5a9352640900df47077a55d6615d0f9f734a8e394ef46a9d7156 test_rcig_k3snf_strategic_normalization_kernel_v0_32.py 21baba3cf985816b4adcab8c4f58b29f3605e851da12a6b07fb7f144045cf3ab test_rcig_k3stoch_budget_admission_kernel_v0_41.py 9a3e37b340f2297dd2eb436321a32536de3b15097c361819c5cfbc48af9f2dbb test_rcig_k3syn_controller_synthesis_kernel_v0_14.py 2e09ef90d42afbce8de4df79056717166528883798fe0e9053291f003f3d044c test_rcig_ref_verifier_v0_1.py f1f9778d2ba56092a4513a35e8f9c80a1472a217c906f33d268b1614b80ed904 test_rcig_scnf_basis_differential_verifier_v0_29.py d41f6348b684a45d202fd2516cccf62076517c949117bd0e1f79298b252e6e67 test_rcig_scnf_independent_basis_verifier_b_v0_1.py 4a5ade120e72172fdb8cc389ec9e9405159ff4d12a3fdf53309c66a0d57a17b8 test_rcig_scnf_v02_independent_basis_verifier_b_v0_2.py