{
  "source": "claude_course_handoff_v1",
  "note": "Byte-identical copies of the cited research artefacts. Hashes are of the originals in the handoff package. No Windows executables are published here.",
  "count": 181,
  "files": [
    {
      "id": "CLAIMS_AND_CAVEATS.md",
      "url": "/artefacts/CLAIMS_AND_CAVEATS.md",
      "sha256": "42F7A1E90944BFCBE3175B4587103A9E4CA34E7606AED4B1B1A834340CC8D7F2",
      "bytes": 10537
    },
    {
      "id": "BEST_EVIDENCE_BY_TOPIC.md",
      "url": "/artefacts/BEST_EVIDENCE_BY_TOPIC.md",
      "sha256": "D9D304B7721651EA0233294BFFCD9D4937942979F57D8815960D74BA68D73A58",
      "bytes": 17297
    },
    {
      "id": "BINARY_GUIDE.md",
      "url": "/artefacts/BINARY_GUIDE.md",
      "sha256": "94A86AACAC02305E147E448F376E4071225C97BDCAAE3B275AEC03AAC45E50BF",
      "bytes": 6554
    },
    {
      "id": "BINARY_INDEX.json",
      "url": "/artefacts/BINARY_INDEX.json",
      "sha256": "775610159D427D053D7E02697A94F45EBBFC81497B9C8FDEAA056B89DD76A1FE",
      "bytes": 32086
    },
    {
      "id": "TERMINOLOGY.md",
      "url": "/artefacts/TERMINOLOGY.md",
      "sha256": "511F4CBB1C81265DE3F12CDED928B5C90F0A86D00BF6A42F3DE6CF57EC7BB33F",
      "bytes": 5876
    },
    {
      "id": "TOOL_CATALOG.md",
      "url": "/artefacts/TOOL_CATALOG.md",
      "sha256": "0C497AFF919ADDD3B2FCDE287FF15741F513BAD85A7B0FFA74CB773BA23F9A9F",
      "bytes": 8707
    },
    {
      "id": "EXPERIMENTAL_CORPUS.md",
      "url": "/artefacts/EXPERIMENTAL_CORPUS.md",
      "sha256": "29B762C3E58E7B6E1AE17379640F7944A9EDCA0527DCAD8FF6E60A151D8C0BBA",
      "bytes": 4806
    },
    {
      "id": "VISUAL_INDEX.md",
      "url": "/artefacts/VISUAL_INDEX.md",
      "sha256": "354A36CA454DDFADF55EA0141A7F9C7BFC8DC022F8FCECF7429820F624A3AE0D",
      "bytes": 21045
    },
    {
      "id": "VALIDATION_REPORT.md",
      "url": "/artefacts/VALIDATION_REPORT.md",
      "sha256": "D72CEC64F53FDDE37643FB762EBBF304AD4A7EFCFD547134910E0AC6AC4CAB5E",
      "bytes": 3794
    },
    {
      "id": "ASSET_MANIFEST.json",
      "url": "/artefacts/ASSET_MANIFEST.json",
      "sha256": "37ED32B7F564765747041A5A76EDB5CCA47BAC5D5453A46FE9D3020FB0FEF341",
      "bytes": 219669
    },
    {
      "id": "LECTURE_TABLE_INDEX.md",
      "url": "/artefacts/LECTURE_TABLE_INDEX.md",
      "sha256": "4712EE8C8A1463431DDED5D672AA9F3EA6CD5AF3E25BBEC00CC661A4D633D42A",
      "bytes": 5926
    },
    {
      "id": "HANDS_ON_LABS.md",
      "url": "/artefacts/HANDS_ON_LABS.md",
      "sha256": "5C52059C602D21A9A39DE23FAEB34A329DE6A6171EFE2F158ACFBD581E32967B",
      "bytes": 11122
    },
    {
      "id": "BIBLIOGRAPHY.md",
      "url": "/artefacts/BIBLIOGRAPHY.md",
      "sha256": "1E9B69FFB8658EF0AD64F6A14C6FFC24657A32B54D4296933AA7232C9601C553",
      "bytes": 5978
    },
    {
      "id": "assets/source/showcase.c",
      "url": "/artefacts/source/showcase.c",
      "sha256": "39FEF0BB2A9742870F3D6F7CC864F7CFFA129136F6D2A59C4FB37F25906B99D2",
      "bytes": 11781
    },
    {
      "id": "assets/source/SHOWCASE_VERSION.txt",
      "url": "/artefacts/source/SHOWCASE_VERSION.txt",
      "sha256": "561EEAA07DD79632B9A5207CE79D3871CEE075C4CBF44CFCE8315F1CE9C51E34",
      "bytes": 693
    },
    {
      "id": "assets/source/substitution_complex.c",
      "url": "/artefacts/source/substitution_complex.c",
      "sha256": "026AA69530C711ACC856C62A21852ABC0F536D7784717C9EBDC48252BCA47F37",
      "bytes": 2566
    },
    {
      "id": "assets/source/SUBSTITUTION_COMPLEX_VERSION.txt",
      "url": "/artefacts/source/SUBSTITUTION_COMPLEX_VERSION.txt",
      "sha256": "C4C66064CDAB3A7155105CA7233D89B91742510AFB93C4BE76FDE640A3923EBE",
      "bytes": 1487
    },
    {
      "id": "assets/ir/baselines/ollvm16/demo_substitution.ll",
      "url": "/artefacts/ir/baselines/ollvm16/demo_substitution.ll",
      "sha256": "05F10C5E7B2CB543B811F5448FCECC30A0390039C3946DC6EA824851AAF9DE56",
      "bytes": 7047
    },
    {
      "id": "assets/ir/s01_ollvm_sub/target_function.ll",
      "url": "/artefacts/ir/s01_ollvm_sub/target_function.ll",
      "sha256": "160487F25AA6228436AF1D6AA9B8DD651092E60FA2E949C8C8868F69EBE2E49D",
      "bytes": 12617
    },
    {
      "id": "assets/ir/s02_polaris_mba/target_function.ll",
      "url": "/artefacts/ir/s02_polaris_mba/target_function.ll",
      "sha256": "852C1F26CEDA6645DF4B599E8DAABB5FB609CD4A0D0C69F186EB811DFFFA0575",
      "bytes": 20683
    },
    {
      "id": "assets/ir/s03_ollvm_bcf/target_function.ll",
      "url": "/artefacts/ir/s03_ollvm_bcf/target_function.ll",
      "sha256": "4F83060C006FCDFC2F24A47192B5240ED8784AF4FEF03FBEDA464AA4A9C10932",
      "bytes": 13672
    },
    {
      "id": "assets/ir/s07_polaris_bcf/target_function.ll",
      "url": "/artefacts/ir/s07_polaris_bcf/target_function.ll",
      "sha256": "818764340B707EB10E2B00B59FD83FC081C58778D2B9635754C04F014E6958DE",
      "bytes": 9165
    },
    {
      "id": "assets/ir/s04_ollvm_fla/clean_target.ll",
      "url": "/artefacts/ir/s04_ollvm_fla/clean_target.ll",
      "sha256": "CB7EC70FC2237A5196C5E8183A7B3782855499D2C2DE31D1DC80308B511776A6",
      "bytes": 3086
    },
    {
      "id": "assets/ir/s04_ollvm_fla/before_target.ll",
      "url": "/artefacts/ir/s04_ollvm_fla/before_target.ll",
      "sha256": "597362FAA5AC2FEC5C65E06AD26AA30F900BC8285F0D7730BC28AB9532958550",
      "bytes": 5706
    },
    {
      "id": "assets/ir/s05_polaris_fla_wrong/before_target.ll",
      "url": "/artefacts/ir/s05_polaris_fla_wrong/before_target.ll",
      "sha256": "71DB3B0C1E2C8C9C970CC5EDE3B396790931428255DBAB05EFD7115563D6ED24",
      "bytes": 4670
    },
    {
      "id": "assets/ir/support_hikari_fla/before_target.ll",
      "url": "/artefacts/ir/support_hikari_fla/before_target.ll",
      "sha256": "70C6BEE618D4D34EBF80DD8BDD0F2653D33847B3725AA577FDDDF491059EC510",
      "bytes": 6159
    },
    {
      "id": "assets/ir/s06_tigress_arithmetic/exact_generated_encode_arithmetic.c",
      "url": "/artefacts/ir/s06_tigress_arithmetic/exact_generated_encode_arithmetic.c",
      "sha256": "54163E7E0B29E5A3815CEB8A92A5C9C6A3186F7B790EC7E7CEEB525BBA19BD88",
      "bytes": 387294
    },
    {
      "id": "assets/ir/s08_tigress_flatten/exact_generated_flatten.c",
      "url": "/artefacts/ir/s08_tigress_flatten/exact_generated_flatten.c",
      "sha256": "D941B46FE2FE146E7425B23682D4366E5F0DA418D2FF657601C6A16F69C84832",
      "bytes": 387130
    },
    {
      "id": "assets/ir/support_tigress_opaque/add_opaque.c",
      "url": "/artefacts/ir/support_tigress_opaque/add_opaque.c",
      "sha256": "0164E497B81528743441B92357BAD5734A59BD81361E68E4803793536863BB53",
      "bytes": 554889
    },
    {
      "id": "assets/ir/s01_ollvm_sub/mergen/raw_O2.ll",
      "url": "/artefacts/ir/s01_ollvm_sub/mergen/raw_O2.ll",
      "sha256": "2C2AB2DAFE67987714ABF021924DE6137D8236E03269324E5BAC7482FA5C682D",
      "bytes": 4399
    },
    {
      "id": "assets/ir/s01_ollvm_sub/mergen/internal_O2.ll",
      "url": "/artefacts/ir/s01_ollvm_sub/mergen/internal_O2.ll",
      "sha256": "881EE4DBE3A1F995D5E03BCA8947550D1D9E0412075685214F2427D4756AEF77",
      "bytes": 2766
    },
    {
      "id": "assets/ir/s02_polaris_mba/mergen/internal_lift.ll",
      "url": "/artefacts/ir/s02_polaris_mba/mergen/internal_lift.ll",
      "sha256": "5F70BB8C41805161430B69602329C2A93028A80BBA2E3E0E805BF2E02BB7BCFB",
      "bytes": 17009
    },
    {
      "id": "assets/ir/s02_polaris_mba/mergen/internal_O2.ll",
      "url": "/artefacts/ir/s02_polaris_mba/mergen/internal_O2.ll",
      "sha256": "3051EB8C44F948D0443FB4AB6CB77E22F80AA22478138C0854C13249173E01C9",
      "bytes": 18176
    },
    {
      "id": "assets/ir/mergen_fla/ollvm_original/internal_O2.ll",
      "url": "/artefacts/ir/mergen_fla/ollvm_original/internal_O2.ll",
      "sha256": "040195E5BFCC8D3A1E7E0C1D11AD2AFB380D6EAB7EDB181D8F95CF66A24E2C13",
      "bytes": 7869
    },
    {
      "id": "assets/ir/mergen_fla/ollvm_unflattened/internal_O2.ll",
      "url": "/artefacts/ir/mergen_fla/ollvm_unflattened/internal_O2.ll",
      "sha256": "2BC894CAD7D69CA9801093E5538B6E05423106680DE05F8AACE968B7C22B10CA",
      "bytes": 4223
    },
    {
      "id": "assets/evidence/baselines/ollvm16/demo_substitution_disassembly.txt",
      "url": "/artefacts/evidence/baselines/ollvm16/demo_substitution_disassembly.txt",
      "sha256": "3DA500E07D4A1F7C531C5BA1130E9502E270F0F72F7A9B92596AA8AE731E3B10",
      "bytes": 7997
    },
    {
      "id": "assets/evidence/baselines/ollvm16/run_stdout.txt",
      "url": "/artefacts/evidence/baselines/ollvm16/run_stdout.txt",
      "sha256": "209B18A98213AFD9A1C39D354BBA69608A352441BA9F4B116327593B12E22287",
      "bytes": 141
    },
    {
      "id": "assets/evidence/baselines/tigress/demo_substitution_disassembly.txt",
      "url": "/artefacts/evidence/baselines/tigress/demo_substitution_disassembly.txt",
      "sha256": "334567CB31C67D41C0B6D2F0AFC934FB542E77DDAB298F6460EC607E803AB338",
      "bytes": 16601
    },
    {
      "id": "assets/evidence/baselines/tigress_Ox/target_function_disassembly.txt",
      "url": "/artefacts/evidence/baselines/tigress_Ox/target_function_disassembly.txt",
      "sha256": "6C208FE83EC30A25D8D27824A2D3833FBB5D0CCA67D8F205FEB408CF039759C2",
      "bytes": 7606
    },
    {
      "id": "assets/evidence/s01_ollvm_sub/demo_substitution_disassembly.txt",
      "url": "/artefacts/evidence/s01_ollvm_sub/demo_substitution_disassembly.txt",
      "sha256": "34ED9C2C0D7D2067D74F695D82CBF9DE9A4F335AC1E4CEF391D111D20D7E754F",
      "bytes": 18667
    },
    {
      "id": "assets/evidence/s02_polaris_mba/demo_substitution_disassembly.txt",
      "url": "/artefacts/evidence/s02_polaris_mba/demo_substitution_disassembly.txt",
      "sha256": "27808CF6D547F36B962C7C74150B526EF70BE7F1136CF6FA37B5002C74286840",
      "bytes": 39822
    },
    {
      "id": "assets/evidence/s06_tigress_arithmetic/demo_substitution_O0_disassembly.txt",
      "url": "/artefacts/evidence/s06_tigress_arithmetic/demo_substitution_O0_disassembly.txt",
      "sha256": "4572368CA67DBD413D05B78C86744C464BDCBE5470EB2B2834261FE32E2EBA74",
      "bytes": 28299
    },
    {
      "id": "assets/evidence/s06_tigress_arithmetic/demo_substitution_Ox_disassembly.txt",
      "url": "/artefacts/evidence/s06_tigress_arithmetic/demo_substitution_Ox_disassembly.txt",
      "sha256": "4C216ED0DDE91A48223EC47FFABF83E60438F98C77C6E5897506FD6043ABA7F6",
      "bytes": 15908
    },
    {
      "id": "assets/evidence/s06_tigress_arithmetic/original/metadata.json",
      "url": "/artefacts/evidence/s06_tigress_arithmetic/original/metadata.json",
      "sha256": "F26348E66F2AB611FA322894F432BF0896C9A34D5F391083949EDF1631B090CD",
      "bytes": 2418
    },
    {
      "id": "assets/evidence/s06_tigress_arithmetic/optimized/metadata.json",
      "url": "/artefacts/evidence/s06_tigress_arithmetic/optimized/metadata.json",
      "sha256": "A168ED5253446892AC7B9BEAB598DBB3CA05B8602E0A1F4BBC255824EE77AD3F",
      "bytes": 2471
    },
    {
      "id": "assets/evidence/s03_ollvm_bcf/clean_target_disassembly.txt",
      "url": "/artefacts/evidence/s03_ollvm_bcf/clean_target_disassembly.txt",
      "sha256": "9C76BCB75C1DCDD39A003AE3889716CB67986E198EE671E21A3F51A3302D9D5F",
      "bytes": 2328
    },
    {
      "id": "assets/evidence/s03_ollvm_bcf/original_target_disassembly.txt",
      "url": "/artefacts/evidence/s03_ollvm_bcf/original_target_disassembly.txt",
      "sha256": "310FFAE71AA73BBC330A622ABAA2111F7EE9883558213D0CB6D22FD0492DAD91",
      "bytes": 24972
    },
    {
      "id": "assets/evidence/s03_ollvm_bcf/rewritten_target_disassembly.txt",
      "url": "/artefacts/evidence/s03_ollvm_bcf/rewritten_target_disassembly.txt",
      "sha256": "7F7C45BA4F558B0422E5F795DD9A7E48F782A7A8C8E4083B07BCD0D6C0668E11",
      "bytes": 25874
    },
    {
      "id": "assets/evidence/support_tigress_opaque/original/target_function_disassembly.txt",
      "url": "/artefacts/evidence/support_tigress_opaque/original/target_function_disassembly.txt",
      "sha256": "E829F35C20437FE26F4839626EEECE8AB627B87B075F051BE67C92D6552C6397",
      "bytes": 7993
    },
    {
      "id": "assets/evidence/s03_ollvm_bcf/first_gate_proof/result.json",
      "url": "/artefacts/evidence/s03_ollvm_bcf/first_gate_proof/result.json",
      "sha256": "C9BE004F00148202E4A6E868D66D876E52A4B7E74B4A2839D28E45B6253824EF",
      "bytes": 1981
    },
    {
      "id": "assets/evidence/s03_ollvm_bcf/first_gate_proof/prefix.smt2",
      "url": "/artefacts/evidence/s03_ollvm_bcf/first_gate_proof/prefix.smt2",
      "sha256": "1F39456DA1DB92C6796DA64C9825F575D5FF36094AE1073EF11E7DD3A3356D56",
      "bytes": 66
    },
    {
      "id": "assets/evidence/s03_ollvm_bcf/first_gate_proof/condition.smt2",
      "url": "/artefacts/evidence/s03_ollvm_bcf/first_gate_proof/condition.smt2",
      "sha256": "7D1397279E9F437D9B30F6E24D9FE9C7F0FAA99A7CAA0018A953C145FF47B1B3",
      "bytes": 1218
    },
    {
      "id": "assets/evidence/s03_ollvm_bcf/first_gate_proof/true.smt2",
      "url": "/artefacts/evidence/s03_ollvm_bcf/first_gate_proof/true.smt2",
      "sha256": "39B65946907916C0382894385533816FF47C3B417CEE21C3B4C897C148F0FD55",
      "bytes": 1248
    },
    {
      "id": "assets/evidence/s03_ollvm_bcf/first_gate_proof/false.smt2",
      "url": "/artefacts/evidence/s03_ollvm_bcf/first_gate_proof/false.smt2",
      "sha256": "3735E97212E41DC28D86A8B812D9DE9521F5BDC891A8891EECF88505A029435C",
      "bytes": 1254
    },
    {
      "id": "assets/evidence/triton_summaries/family_results.json",
      "url": "/artefacts/evidence/triton_summaries/family_results.json",
      "sha256": "C6CE5189DCB260D2F42DF984C902ED2E7A251E9C3C4D0D5330E80358C1587AE6",
      "bytes": 9053
    },
    {
      "id": "assets/evidence/triton_summaries/aggregate_accuracy.json",
      "url": "/artefacts/evidence/triton_summaries/aggregate_accuracy.json",
      "sha256": "620D29A36CC790217637FE24FB04B6E9D3651BE3ACA586B62FB259A0C3BF7C8C",
      "bytes": 633
    },
    {
      "id": "assets/evidence/triton_summaries/course_examples.json",
      "url": "/artefacts/evidence/triton_summaries/course_examples.json",
      "sha256": "A4486DB87FE076BE024BFC0A6C0E21A0831698AA29DFF0DD3C32597836215534",
      "bytes": 1313
    },
    {
      "id": "assets/evidence/support_tigress_opaque/o0/result.json",
      "url": "/artefacts/evidence/support_tigress_opaque/o0/result.json",
      "sha256": "94060373F2AE3E2139404DBD6DC9F2D6CE201BBD34111DC53DF191A631270DB3",
      "bytes": 15596
    },
    {
      "id": "assets/evidence/support_tigress_opaque/o0_initialized/result.json",
      "url": "/artefacts/evidence/support_tigress_opaque/o0_initialized/result.json",
      "sha256": "1D2794D08EE4AAD44E9BA2B29FB6D170F49999061841C47648FD9C5F2EA892E9",
      "bytes": 26131
    },
    {
      "id": "assets/evidence/support_tigress_opaque/o0_initialized/initialized_state.json",
      "url": "/artefacts/evidence/support_tigress_opaque/o0_initialized/initialized_state.json",
      "sha256": "6E674B7B1775575F559D22251041D250C205A8A7A4EB98A8B4A82B6C7B3B02B5",
      "bytes": 20481
    },
    {
      "id": "assets/evidence/s03_ollvm_bcf/patch_manifest.json",
      "url": "/artefacts/evidence/s03_ollvm_bcf/patch_manifest.json",
      "sha256": "6F5508386AEAAEF85888426335A7B184F47BCF60577B65B8600C2B2B8775C7F9",
      "bytes": 405492
    },
    {
      "id": "assets/evidence/s03_ollvm_bcf/validation.json",
      "url": "/artefacts/evidence/s03_ollvm_bcf/validation.json",
      "sha256": "1A276194546B002517A958C1E5B959C119524786D8787A272A52489E228E7709",
      "bytes": 3381
    },
    {
      "id": "assets/evidence/s03_ollvm_bcf/projection_notes.json",
      "url": "/artefacts/evidence/s03_ollvm_bcf/projection_notes.json",
      "sha256": "9D07A4C1D2F424BD50C30789BA5F1D53A70905EF4C4C503AFBA7619037536A4F",
      "bytes": 1060
    },
    {
      "id": "assets/evidence/s03_ollvm_bcf/metadata_audit.json",
      "url": "/artefacts/evidence/s03_ollvm_bcf/metadata_audit.json",
      "sha256": "2A12D23D157084877820C63058D1E46023BCDBCC70ADD6C921708F86A9D79EB9",
      "bytes": 1526
    },
    {
      "id": "assets/evidence/s03_ollvm_bcf/canonical_rewritten_stdout.txt",
      "url": "/artefacts/evidence/s03_ollvm_bcf/canonical_rewritten_stdout.txt",
      "sha256": "209B18A98213AFD9A1C39D354BBA69608A352441BA9F4B116327593B12E22287",
      "bytes": 141
    },
    {
      "id": "assets/evidence/s07_polaris_bcf/patch_manifest.json",
      "url": "/artefacts/evidence/s07_polaris_bcf/patch_manifest.json",
      "sha256": "00454A0F3B86AA1CC8BAA15C48E204D9DC440C1357655B6BA53AD723390AB3DA",
      "bytes": 272811
    },
    {
      "id": "assets/evidence/s07_polaris_bcf/original_target_disassembly.txt",
      "url": "/artefacts/evidence/s07_polaris_bcf/original_target_disassembly.txt",
      "sha256": "16C8F9D9EFAB42817D72DFEEF14AF6551A13846706D06DD8FF4DB15FB6920124",
      "bytes": 15500
    },
    {
      "id": "assets/evidence/s07_polaris_bcf/rewritten_target_disassembly.txt",
      "url": "/artefacts/evidence/s07_polaris_bcf/rewritten_target_disassembly.txt",
      "sha256": "CBC37A83C38958C7256CFFB542CC43A00F01CE20026DB8A65DAF0D17AEB6CA01",
      "bytes": 16156
    },
    {
      "id": "assets/evidence/s07_polaris_bcf/validation.json",
      "url": "/artefacts/evidence/s07_polaris_bcf/validation.json",
      "sha256": "14AC32543364965F40E2D016E2124E924DBD61E05B6FC4A68ABD78D6DBEB3A60",
      "bytes": 3382
    },
    {
      "id": "assets/evidence/s07_polaris_bcf/projection_notes.json",
      "url": "/artefacts/evidence/s07_polaris_bcf/projection_notes.json",
      "sha256": "987BBE89C90DB912182DA5EC1B3AF1A99B4154A889D6AAEAC23DDF325A056C5C",
      "bytes": 1059
    },
    {
      "id": "assets/evidence/s04_ollvm_fla/clean_cfg.txt",
      "url": "/artefacts/evidence/s04_ollvm_fla/clean_cfg.txt",
      "sha256": "5E022627450F4BE5AF68A5A0A5EB391D4960F54F32C6401DA03195EBF84A3C61",
      "bytes": 3556
    },
    {
      "id": "assets/evidence/s04_ollvm_fla/before_cfg.txt",
      "url": "/artefacts/evidence/s04_ollvm_fla/before_cfg.txt",
      "sha256": "311AE8060A297A6997D875A79989B1CC799411C0A0B001C3C173C88E47E7172C",
      "bytes": 10091
    },
    {
      "id": "assets/evidence/s04_ollvm_fla/after_cfg.txt",
      "url": "/artefacts/evidence/s04_ollvm_fla/after_cfg.txt",
      "sha256": "BBAFFC52CC506F7DBF7CE1547EE5C77103EFA6C7BAE7ACB6086BAF0BC7AFCF1E",
      "bytes": 5366
    },
    {
      "id": "assets/evidence/s04_ollvm_fla/provenance_region_map.json",
      "url": "/artefacts/evidence/s04_ollvm_fla/provenance_region_map.json",
      "sha256": "B6A0C3EEE95D3AF956407AC52C4A0574EA5D220536E765D5A72B355A0E7A434A",
      "bytes": 41363
    },
    {
      "id": "assets/evidence/s04_ollvm_fla/stock_result.json",
      "url": "/artefacts/evidence/s04_ollvm_fla/stock_result.json",
      "sha256": "654BC006676525A99CB0A372504DF18B01576134566B3825CA2722B99EFA9B5D",
      "bytes": 3001
    },
    {
      "id": "assets/evidence/s04_ollvm_fla/semantic_edge_score.json",
      "url": "/artefacts/evidence/s04_ollvm_fla/semantic_edge_score.json",
      "sha256": "815766A0E4ECC60EB28B4E8269539AB94C1B3A446B49B4CD086CF591B00139C3",
      "bytes": 388
    },
    {
      "id": "assets/evidence/s04_ollvm_fla/output_runtime_stdout.txt",
      "url": "/artefacts/evidence/s04_ollvm_fla/output_runtime_stdout.txt",
      "sha256": "209B18A98213AFD9A1C39D354BBA69608A352441BA9F4B116327593B12E22287",
      "bytes": 141
    },
    {
      "id": "assets/evidence/s05_polaris_fla_wrong/clean_cfg.txt",
      "url": "/artefacts/evidence/s05_polaris_fla_wrong/clean_cfg.txt",
      "sha256": "0552945363188DFE3E4CE7BE3B433F41F7D4DEFDFE8106C1CA4B94518614601F",
      "bytes": 3556
    },
    {
      "id": "assets/evidence/s05_polaris_fla_wrong/before_cfg.txt",
      "url": "/artefacts/evidence/s05_polaris_fla_wrong/before_cfg.txt",
      "sha256": "2EEBEE372384455429994B0E263CAC37D24F33BC6F53D88720C73663C36F21FA",
      "bytes": 8787
    },
    {
      "id": "assets/evidence/s05_polaris_fla_wrong/after_cfg.txt",
      "url": "/artefacts/evidence/s05_polaris_fla_wrong/after_cfg.txt",
      "sha256": "7F892A43FDE2B097216E819CAC35BFCC7FC9268832AE6E101CB9275E2CA3E8B7",
      "bytes": 3894
    },
    {
      "id": "assets/evidence/s08_tigress_flatten/clean_cfg.txt",
      "url": "/artefacts/evidence/s08_tigress_flatten/clean_cfg.txt",
      "sha256": "7FA8D9CE22602668958F8EFBF13EACDEEAF51E226FFDA0698DD9AEF29D959328",
      "bytes": 3388
    },
    {
      "id": "assets/evidence/support_hikari_fla/before_cfg.txt",
      "url": "/artefacts/evidence/support_hikari_fla/before_cfg.txt",
      "sha256": "5BDF2868EB62F014EE3D3E0D812821EBCFEBD8E1C3721F6C30DC2FA181E45D4A",
      "bytes": 10834
    },
    {
      "id": "assets/evidence/support_hikari_fla/after_cfg.txt",
      "url": "/artefacts/evidence/support_hikari_fla/after_cfg.txt",
      "sha256": "E6A8286B0416F6AFFE29FB7A0E99C8963D13AC1B663A7ACB910B8F22CCC62245",
      "bytes": 5751
    },
    {
      "id": "assets/evidence/support_hikari_fla/output_runtime_stdout.txt",
      "url": "/artefacts/evidence/support_hikari_fla/output_runtime_stdout.txt",
      "sha256": "209B18A98213AFD9A1C39D354BBA69608A352441BA9F4B116327593B12E22287",
      "bytes": 141
    },
    {
      "id": "assets/evidence/s05_polaris_fla_wrong/provenance_region_map.json",
      "url": "/artefacts/evidence/s05_polaris_fla_wrong/provenance_region_map.json",
      "sha256": "708AC016FFA2E222568EE8D91FB5FE7EACF28B145667DA4EDB20A65465E13476",
      "bytes": 33149
    },
    {
      "id": "assets/evidence/s05_polaris_fla_wrong/instrumentation.json",
      "url": "/artefacts/evidence/s05_polaris_fla_wrong/instrumentation.json",
      "sha256": "4ECD1EC3C545053998448171FF219B9DE31BA73BA189E77FB706DF0C07F5E280",
      "bytes": 60138
    },
    {
      "id": "assets/evidence/s05_polaris_fla_wrong/stock_result.json",
      "url": "/artefacts/evidence/s05_polaris_fla_wrong/stock_result.json",
      "sha256": "C8A7268D20B1223B3F8A6EDB8C651DE1341FCACE6D1520D76DA0FB08C71654A0",
      "bytes": 3002
    },
    {
      "id": "assets/evidence/s05_polaris_fla_wrong/semantic_edge_score.json",
      "url": "/artefacts/evidence/s05_polaris_fla_wrong/semantic_edge_score.json",
      "sha256": "48ED282AE51E7A25C913CDCAE945865CE7AD347D9491BBF7B0A7C1298C4920D9",
      "bytes": 418
    },
    {
      "id": "assets/evidence/s05_polaris_fla_wrong/input_runtime_stdout.txt",
      "url": "/artefacts/evidence/s05_polaris_fla_wrong/input_runtime_stdout.txt",
      "sha256": "209B18A98213AFD9A1C39D354BBA69608A352441BA9F4B116327593B12E22287",
      "bytes": 141
    },
    {
      "id": "assets/evidence/s05_polaris_fla_wrong/output_runtime_stdout.txt",
      "url": "/artefacts/evidence/s05_polaris_fla_wrong/output_runtime_stdout.txt",
      "sha256": "67E018A5D260DAAE447F93149401EA5230C81A5DA03EB90E18E95128970719AE",
      "bytes": 155
    },
    {
      "id": "assets/evidence/support_hikari_fla/original/target_function_disassembly.txt",
      "url": "/artefacts/evidence/support_hikari_fla/original/target_function_disassembly.txt",
      "sha256": "EFE16EB62E2DDA81EB1460A40C5B2137591EDBD6E741037E971EC227EE428344",
      "bytes": 15320
    },
    {
      "id": "assets/evidence/support_hikari_fla/stock_result.json",
      "url": "/artefacts/evidence/support_hikari_fla/stock_result.json",
      "sha256": "239132A599768602588355307205CC3E1E75B9FFDB240095B408D8359720D0FE",
      "bytes": 2991
    },
    {
      "id": "assets/evidence/support_hikari_fla/semantic_edge_score.json",
      "url": "/artefacts/evidence/support_hikari_fla/semantic_edge_score.json",
      "sha256": "D2B8C69C2D4ACF53E9A8524414145CF593CE2257C847B14202F925AF1A46AF8F",
      "bytes": 386
    },
    {
      "id": "assets/evidence/s08_tigress_flatten/stock_result.json",
      "url": "/artefacts/evidence/s08_tigress_flatten/stock_result.json",
      "sha256": "25B1944ECBAF8A355E1899A6C979D97823BCDE95965DF162E80DE923E22DE76B",
      "bytes": 2010
    },
    {
      "id": "assets/evidence/s08_tigress_flatten/provenance_region_map.json",
      "url": "/artefacts/evidence/s08_tigress_flatten/provenance_region_map.json",
      "sha256": "8761389371B7B73E7E864657AA3AE2E20FEAF02BB97E1A032B17473AE09E428B",
      "bytes": 28076
    },
    {
      "id": "assets/evidence/s08_tigress_flatten/verified_jump_table.json",
      "url": "/artefacts/evidence/s08_tigress_flatten/verified_jump_table.json",
      "sha256": "EDF79939D68CE1376B772EDD3F6099AABFE7AEE43402BE131850585DA3817241",
      "bytes": 1299
    },
    {
      "id": "assets/evidence/s08_tigress_flatten/before_cfg.txt",
      "url": "/artefacts/evidence/s08_tigress_flatten/before_cfg.txt",
      "sha256": "535A5B77878EB1024977BA9214CCFB308EB9BDA4F6A94CFB22B03A534BA05FA7",
      "bytes": 1133
    },
    {
      "id": "assets/evidence/s08_tigress_flatten/reference_complete_cfg.txt",
      "url": "/artefacts/evidence/s08_tigress_flatten/reference_complete_cfg.txt",
      "sha256": "A55806A90E2731013B88854BC1483101A9EA57967DCD800668F0C1FAD3A1D311",
      "bytes": 6580
    },
    {
      "id": "assets/evidence/s01_ollvm_sub/mergen/semantic_result.json",
      "url": "/artefacts/evidence/s01_ollvm_sub/mergen/semantic_result.json",
      "sha256": "2FE4B7E0537A7DA212E16AEDBB71EE48581F9C03D8F6B0D0B6F4B679432463EE",
      "bytes": 12516
    },
    {
      "id": "assets/evidence/s01_ollvm_sub/mergen/ir_metrics.json",
      "url": "/artefacts/evidence/s01_ollvm_sub/mergen/ir_metrics.json",
      "sha256": "70AA7F77A6FACF12CBA0F9C4CDF68E85BEB19B4D64C910E0AF7F55D2686B4F98",
      "bytes": 5054
    },
    {
      "id": "assets/evidence/s02_polaris_mba/mergen/semantic_result.json",
      "url": "/artefacts/evidence/s02_polaris_mba/mergen/semantic_result.json",
      "sha256": "6EF0D88F1F1927375924B85981AA6A44C487E5F8753D614C815310D73576541D",
      "bytes": 920
    },
    {
      "id": "assets/evidence/s02_polaris_mba/mergen/ir_metrics.json",
      "url": "/artefacts/evidence/s02_polaris_mba/mergen/ir_metrics.json",
      "sha256": "823C30F75309573EB2F129C0EA0CB352EEF6E30C970838CB685609EB4F2AB86B",
      "bytes": 5294
    },
    {
      "id": "assets/evidence/mergen_summaries/cases.json",
      "url": "/artefacts/evidence/mergen_summaries/cases.json",
      "sha256": "454BFDB6255287E6E58B35FBFF23C4DFF19086925CB9F7E3A988631FB6EF63A4",
      "bytes": 40354
    },
    {
      "id": "assets/evidence/mergen_summaries/totals.json",
      "url": "/artefacts/evidence/mergen_summaries/totals.json",
      "sha256": "F9CE2151585D7267323BE7460BF11770C658BF4E4ED296F38D339EF7B4B025F2",
      "bytes": 256
    },
    {
      "id": "assets/evidence/complex_arithmetic_v1_summaries/synthesis_expansion.json",
      "url": "/artefacts/evidence/complex_arithmetic_v1_summaries/synthesis_expansion.json",
      "sha256": "7E4AB81A87A2E5BB10B6C0DD90C9D461BCEC19B1C32B3E916540EE151927E36A",
      "bytes": 36997
    },
    {
      "id": "assets/evidence/complex_arithmetic_v1_summaries/family_results.json",
      "url": "/artefacts/evidence/complex_arithmetic_v1_summaries/family_results.json",
      "sha256": "7859477883DA486ED4E56B3C4981D9BBA8AF235BC018C8C6CCAB8A61BD9C7EEB",
      "bytes": 18813
    },
    {
      "id": "assets/evidence/complex_arithmetic_v1_summaries/smt_overview.json",
      "url": "/artefacts/evidence/complex_arithmetic_v1_summaries/smt_overview.json",
      "sha256": "41BE316C76FD4007C19CB6D874FE41AB6DB1F2946955E9184826EC12575C48B7",
      "bytes": 922
    },
    {
      "id": "assets/evidence/msynth_summaries/synthesis_results.json",
      "url": "/artefacts/evidence/msynth_summaries/synthesis_results.json",
      "sha256": "5BD1344BCEE0859436684185E24A41102B04F563B1688504FFC1114D4057C9A0",
      "bytes": 10089
    },
    {
      "id": "assets/evidence/matrix/compiler_inventory.json",
      "url": "/artefacts/evidence/matrix/compiler_inventory.json",
      "sha256": "76E297624D2CCC68E30C8692A799BDFEEC62671140956F359DA8D39876009BF2",
      "bytes": 1804
    },
    {
      "id": "assets/evidence/matrix/optimization_metrics.json",
      "url": "/artefacts/evidence/matrix/optimization_metrics.json",
      "sha256": "2D6AF9B05BD8950B5C48044311093B3CD428303C1B646D84622F1D872BE5B164",
      "bytes": 209905
    },
    {
      "id": "assets/cfg/s03_ollvm_bcf/clean_entry_reachable.svg",
      "url": "/artefacts/cfg/s03_ollvm_bcf/clean_entry_reachable.svg",
      "sha256": "A034B4AFC1CF0BD50006C652D3C324DB78C9AF31F3DC9E5E0C67FD33F7F32CA4",
      "bytes": 15380
    },
    {
      "id": "assets/cfg/s03_ollvm_bcf/original_entry_reachable.svg",
      "url": "/artefacts/cfg/s03_ollvm_bcf/original_entry_reachable.svg",
      "sha256": "FF1B919CC494DEDE91B7F7DAF2C4F3A0FCA18C2686A0FD6390346D22B62BFC3C",
      "bytes": 128654
    },
    {
      "id": "assets/cfg/s03_ollvm_bcf/rewritten_entry_reachable.svg",
      "url": "/artefacts/cfg/s03_ollvm_bcf/rewritten_entry_reachable.svg",
      "sha256": "C60D8CE9671C44C6A50550B990316FCFACEFCC322D93CDF09608FBD6D26A0ED2",
      "bytes": 82715
    },
    {
      "id": "assets/cfg/s03_ollvm_bcf/rewritten_all_static.svg",
      "url": "/artefacts/cfg/s03_ollvm_bcf/rewritten_all_static.svg",
      "sha256": "B0A98C56AD5CCAAFD13D17576572B7AB97BF60C154594CAD2D57825B72A0572C",
      "bytes": 120336
    },
    {
      "id": "assets/cfg/s07_polaris_bcf/original_entry_reachable.svg",
      "url": "/artefacts/cfg/s07_polaris_bcf/original_entry_reachable.svg",
      "sha256": "04B7CF7A416265C39ED6ED03D2998D8F3FB049C60D84F592241A524FBA7B8E32",
      "bytes": 88619
    },
    {
      "id": "assets/cfg/s07_polaris_bcf/rewritten_entry_reachable.svg",
      "url": "/artefacts/cfg/s07_polaris_bcf/rewritten_entry_reachable.svg",
      "sha256": "46E917E5F619222D4C1F55171D1E4A293751634A1BFCCD0907D1FC9CEBF9FFB8",
      "bytes": 58454
    },
    {
      "id": "assets/cfg/s04_ollvm_fla/clean_cfg.svg",
      "url": "/artefacts/cfg/s04_ollvm_fla/clean_cfg.svg",
      "sha256": "1554AEBC7058E75EA7537F00EC08F10241723C7CF50DDA9AD6E5AC96A3A69478",
      "bytes": 77174
    },
    {
      "id": "assets/cfg/s04_ollvm_fla/before_cfg.svg",
      "url": "/artefacts/cfg/s04_ollvm_fla/before_cfg.svg",
      "sha256": "2ED4ADD05729FBBC7029D6843C44D0251EDBF800A524566081D7D53B84C43600",
      "bytes": 211633
    },
    {
      "id": "assets/cfg/s04_ollvm_fla/after_cfg.svg",
      "url": "/artefacts/cfg/s04_ollvm_fla/after_cfg.svg",
      "sha256": "3C6889EDD8D277B6F0EA7EE7BAF1C5DEE76874FC29729D6851C5FF7089FD98F1",
      "bytes": 108023
    },
    {
      "id": "assets/cfg/s04_ollvm_fla/course_comparison.svg",
      "url": "/artefacts/cfg/s04_ollvm_fla/course_comparison.svg",
      "sha256": "229AC0A0DA310BE2F05631050497C80BCE6FF3B9B3A99B902FA0860F87945CB2",
      "bytes": 94598
    },
    {
      "id": "assets/cfg/s05_polaris_fla_wrong/before_cfg.svg",
      "url": "/artefacts/cfg/s05_polaris_fla_wrong/before_cfg.svg",
      "sha256": "6012B816316EB64ECEADEE82A87D1D24E8DE77D76466017C8D73EA126AA524F5",
      "bytes": 188479
    },
    {
      "id": "assets/cfg/s05_polaris_fla_wrong/after_cfg.svg",
      "url": "/artefacts/cfg/s05_polaris_fla_wrong/after_cfg.svg",
      "sha256": "FCE4326B2EBE1265CF8A55CA59AD459F93DD79040491D9F383BEE633A2BEEE23",
      "bytes": 80222
    },
    {
      "id": "assets/cfg/s05_polaris_fla_wrong/course_comparison.svg",
      "url": "/artefacts/cfg/s05_polaris_fla_wrong/course_comparison.svg",
      "sha256": "FFA8B5DA7BB22D1DE06544466DDD57BBD8DC2974C569735F9FBFFED6F299C5EE",
      "bytes": 83870
    },
    {
      "id": "assets/cfg/support_hikari_fla/after_cfg.svg",
      "url": "/artefacts/cfg/support_hikari_fla/after_cfg.svg",
      "sha256": "AF77F6B555246109BDB069A9FA92170AAA14D00C08D44EC016EEB744A3A05338",
      "bytes": 113791
    },
    {
      "id": "assets/cfg/s08_tigress_flatten/before_cfg.svg",
      "url": "/artefacts/cfg/s08_tigress_flatten/before_cfg.svg",
      "sha256": "7B6BA7CA443F93922C176A91EBB3E4714BED3E72BB268D92E41838C5C8FC2DF3",
      "bytes": 24649
    },
    {
      "id": "assets/cfg/s08_tigress_flatten/reference_complete_cfg.svg",
      "url": "/artefacts/cfg/s08_tigress_flatten/reference_complete_cfg.svg",
      "sha256": "B1319E87651B57FF502994ED66E44673B1B77FE6E1C2094AE89E661D4DFFD071",
      "bytes": 146195
    },
    {
      "id": "assets/cfg/support_tigress_opaque/tigress-add_opaque-O0_before.svg",
      "url": "/artefacts/cfg/support_tigress_opaque/tigress-add_opaque-O0_before.svg",
      "sha256": "9F213139A5DC3888CEFFD73ED0547B6AC3B973AFAD047D4CF59236263443E3DF",
      "bytes": 19444
    },
    {
      "id": "assets/cfg/support_tigress_opaque/tigress-add_opaque-O0_after.svg",
      "url": "/artefacts/cfg/support_tigress_opaque/tigress-add_opaque-O0_after.svg",
      "sha256": "06F7E9749693273C408CD344B32C7AD646436ED489C21FE5435F6885BFAEC4FC",
      "bytes": 17126
    },
    {
      "id": "assets/tables/lecture/tables.json",
      "url": "/artefacts/tables/lecture/tables.json",
      "sha256": "0C0FFD2AEABE60CE0FBA8101B9B089BAB9B8857014B10BF485056C050B6D106D",
      "bytes": 17174
    },
    {
      "id": "assets/tables/lecture/svg/01_transformation_layers.svg",
      "url": "/artefacts/tables/lecture/svg/01_transformation_layers.svg",
      "sha256": "32FA39B2B6F663254DC48FE3224CBA78705AB917A325CFE23DCCA6A771BC1886",
      "bytes": 7444
    },
    {
      "id": "assets/tables/lecture/svg/02_obfuscator_snapshot.svg",
      "url": "/artefacts/tables/lecture/svg/02_obfuscator_snapshot.svg",
      "sha256": "9D55A97C8C533439CD879AA6B33A45201797E75B56B6A6C4E6D865B393F3B915",
      "bytes": 9765
    },
    {
      "id": "assets/tables/lecture/svg/03_arithmetic_optimization.svg",
      "url": "/artefacts/tables/lecture/svg/03_arithmetic_optimization.svg",
      "sha256": "49A4769CA3EB96611B1D93B2F196FE66BDE5D1A6EAEFAD234B6227015A632237",
      "bytes": 9297
    },
    {
      "id": "assets/tables/lecture/svg/04_opaque_optimization.svg",
      "url": "/artefacts/tables/lecture/svg/04_opaque_optimization.svg",
      "sha256": "3C95C3B6B79D433FED5A9426BA985E410848C0BEC95F510635178A6ABACA1EA3",
      "bytes": 8737
    },
    {
      "id": "assets/tables/lecture/svg/05_flattening_optimization.svg",
      "url": "/artefacts/tables/lecture/svg/05_flattening_optimization.svg",
      "sha256": "4F8FB4637613FF9EB24B5A41E6998E524BE7FBD1F7755314BF97B3F45AB3CD60",
      "bytes": 7523
    },
    {
      "id": "assets/tables/lecture/svg/06_deobfuscation_outputs.svg",
      "url": "/artefacts/tables/lecture/svg/06_deobfuscation_outputs.svg",
      "sha256": "A0D7CA5C8F117CA244419AD195B8843EC6E2DE7261B3E2A0257A0C179FA8D88A",
      "bytes": 11079
    },
    {
      "id": "assets/tables/lecture/svg/07_end_to_end_results.svg",
      "url": "/artefacts/tables/lecture/svg/07_end_to_end_results.svg",
      "sha256": "D4803AA8683181D7C56714F9DD69A6EC5B6988AC596433AF7E7E47DC00FFE8CC",
      "bytes": 11733
    },
    {
      "id": "assets/tables/lecture/svg/08_bcf_proof_to_patch.svg",
      "url": "/artefacts/tables/lecture/svg/08_bcf_proof_to_patch.svg",
      "sha256": "FBB6943E2C301A40CA8B41EF699A77D7E438EF4B3D195A6F8688E798E6490712",
      "bytes": 6245
    },
    {
      "id": "assets/tables/lecture/svg/09_unflattening_outcomes.svg",
      "url": "/artefacts/tables/lecture/svg/09_unflattening_outcomes.svg",
      "sha256": "EDDB9A89BECE05C2F200EADC30A7D94B157B9EB0A9E4836BBB6BEB6EA7555E9E",
      "bytes": 8547
    },
    {
      "id": "assets/tables/lecture/svg/10_correctness_traps.svg",
      "url": "/artefacts/tables/lecture/svg/10_correctness_traps.svg",
      "sha256": "6F53BD00855F9E1A3664B239D4D8DDC16D6A010A14072B01D7044FFC56DF0C7D",
      "bytes": 7252
    },
    {
      "id": "assets/tables/lecture/svg/11_reproducibility.svg",
      "url": "/artefacts/tables/lecture/svg/11_reproducibility.svg",
      "sha256": "3E4F508E89651DED21948F15914A78CD33AD8DF32D0FB5880DE175A18AC4014E",
      "bytes": 8594
    },
    {
      "id": "assets/tables/lecture/svg/12_manual_analysis_examples.svg",
      "url": "/artefacts/tables/lecture/svg/12_manual_analysis_examples.svg",
      "sha256": "389A71B4DFA83A7362258BB64DAF86FF02BB4FDE4155BF5E3E62AB62B75B8691",
      "bytes": 9705
    },
    {
      "id": "assets/tables/research/selected_metrics.md",
      "url": "/artefacts/tables/research/selected_metrics.md",
      "sha256": "8FC0C59F8B38F44D041ECCED6B8DB15240FD7DF29C9EBA0137D9D38BFC9B0C25",
      "bytes": 6219
    },
    {
      "id": "assets/tables/research/end_to_end_results.md",
      "url": "/artefacts/tables/research/end_to_end_results.md",
      "sha256": "24A8037DEED423DD37D57673ADEBB1AF1F4028A60CE66861266B7032342BF1CA",
      "bytes": 14759
    },
    {
      "id": "assets/tables/research/obfuscators.md",
      "url": "/artefacts/tables/research/obfuscators.md",
      "sha256": "FB411666C4C681BD3F1AE37D78B46972C45F2DE45B669BFBB691B812006D51B5",
      "bytes": 6783
    },
    {
      "id": "assets/tables/research/deobfuscators.md",
      "url": "/artefacts/tables/research/deobfuscators.md",
      "sha256": "49A44218E89280837996AE5BE723488405619637336ED0214246F4759A200B72",
      "bytes": 8593
    },
    {
      "id": "assets/tables/research/optimization_survival.md",
      "url": "/artefacts/tables/research/optimization_survival.md",
      "sha256": "101BCA0D22409E647BF0AADBBD01C83C18EEAD1B73D661CCF81374B85E9391EE",
      "bytes": 5711
    },
    {
      "id": "assets/tables/research/best_course_examples.md",
      "url": "/artefacts/tables/research/best_course_examples.md",
      "sha256": "3FD65EAD8FB9591529F27D25C5CB7E3227C82C368D0CC606AF703F79CDB2D172",
      "bytes": 6076
    },
    {
      "id": "assets/reports/FINAL_RESEARCH_OVERVIEW.md",
      "url": "/artefacts/reports/FINAL_RESEARCH_OVERVIEW.md",
      "sha256": "EC861E4B6DCB19E3738EAA727731B9776C5C3790534CF6B857106C46ED0F5C6D",
      "bytes": 12775
    },
    {
      "id": "assets/reports/RESEARCH_SUMMARY.md",
      "url": "/artefacts/reports/RESEARCH_SUMMARY.md",
      "sha256": "85DA384538DC620AE85889AE53C21CB52510E50233F82B2157D7E45A2DE0D190",
      "bytes": 3635
    },
    {
      "id": "assets/reports/PIPELINES.md",
      "url": "/artefacts/reports/PIPELINES.md",
      "sha256": "42C49A6403566622ADB00EA03C82753B64AEDC8CB68AE3CE883A928BF2D4CB99",
      "bytes": 3771
    },
    {
      "id": "assets/reports/showcase_validation.md",
      "url": "/artefacts/reports/showcase_validation.md",
      "sha256": "22F32A82BD98E72ECB71B3576409D90AB1DAB03ECBA13129D9BD1AC5377621CF",
      "bytes": 23422
    },
    {
      "id": "assets/reports/showcase_matrix_v1.md",
      "url": "/artefacts/reports/showcase_matrix_v1.md",
      "sha256": "ACD03F689F2A8914263D45564061E211B7E77C7339980DBAE256CEE979BA580B",
      "bytes": 12350
    },
    {
      "id": "assets/reports/optimization_survival.md",
      "url": "/artefacts/reports/optimization_survival.md",
      "sha256": "C49DBD232CA386D8FC08AFF29818AB2E8F4A160796B6615C32618ACEB92A9FDC",
      "bytes": 8972
    },
    {
      "id": "assets/reports/obfuscator_comparison_summary.md",
      "url": "/artefacts/reports/obfuscator_comparison_summary.md",
      "sha256": "2995FECE19AD32A966D99DAE7B001A9FEC6D8C51AE20BF93637999516541C765",
      "bytes": 11588
    },
    {
      "id": "assets/reports/msynth_validation.md",
      "url": "/artefacts/reports/msynth_validation.md",
      "sha256": "7B5C8ED1F3EECB798AC66FA62F6631C3461A929A0819455038F59E588125AC56",
      "bytes": 31764
    },
    {
      "id": "assets/reports/complex_arithmetic_deobfuscation.md",
      "url": "/artefacts/reports/complex_arithmetic_deobfuscation.md",
      "sha256": "D08934E263E72603B441F12FC94CCF4F05CD90CC07A07BCE2E30C5402143EB0E",
      "bytes": 28010
    },
    {
      "id": "assets/reports/opaque_predicate_triton.md",
      "url": "/artefacts/reports/opaque_predicate_triton.md",
      "sha256": "4A734F9A9F957855EE9FCAFFFB1F5CB2127B366F8F40DC30D3785FA24EEFA6B8",
      "bytes": 25355
    },
    {
      "id": "assets/reports/opaque_predicate_rewrite.md",
      "url": "/artefacts/reports/opaque_predicate_rewrite.md",
      "sha256": "76E5D1B788B5A5117B96DF93C02EC50092096FA1D69B1DC6096C560A648AB224",
      "bytes": 24545
    },
    {
      "id": "assets/reports/unflattening_validation.md",
      "url": "/artefacts/reports/unflattening_validation.md",
      "sha256": "A884B551EB5B54E32749F78C493ED8EDEF37BF070BC34EBC79FD3C2F5A413CBD",
      "bytes": 33339
    },
    {
      "id": "assets/reports/unflattening_course_examples.md",
      "url": "/artefacts/reports/unflattening_course_examples.md",
      "sha256": "74CB1A277765180AC7BC36282311F0FEC09AE83041D0E2E1AAC3385A04D495E7",
      "bytes": 8980
    },
    {
      "id": "assets/reports/mergen_validation.md",
      "url": "/artefacts/reports/mergen_validation.md",
      "sha256": "3DF35F28CF7193F7283945F6B9FE60581EEECC7DF8150BA66EF5AF03A07E2CD8",
      "bytes": 32595
    },
    {
      "id": "assets/reports/binprotect_validation.md",
      "url": "/artefacts/reports/binprotect_validation.md",
      "sha256": "403F20D01E396FEB4EA0AF7E018FA006B461FF406CBBF09E8CB454FD21398C40",
      "bytes": 22517
    },
    {
      "id": "assets/reports/polaris_validation.md",
      "url": "/artefacts/reports/polaris_validation.md",
      "sha256": "F154BE1524D1F63D5FCDC960783F53F8F37FF02049B633FF6183E9BBD55F36B8",
      "bytes": 18760
    },
    {
      "id": "assets/reports/tigress_validation.md",
      "url": "/artefacts/reports/tigress_validation.md",
      "sha256": "953A781A737892135DFC870C120751BF95FA38441063EB21279136454B0FC514",
      "bytes": 24544
    },
    {
      "id": "assets/ida/demo_substitution1_1.jpg",
      "url": "/artefacts/ida/demo_substitution1_1.jpg",
      "sha256": "93D6516806795592C509DF92EFFC2F2976A4EA6685685D7B5DC3E02EE2459250",
      "bytes": 97268
    },
    {
      "id": "assets/ida/demo_substitution1_2.jpg",
      "url": "/artefacts/ida/demo_substitution1_2.jpg",
      "sha256": "16C2E64BA39E89AD869674C16D5CCE0D54D950FB047FCDEF4FC1ACAEEA001AF9",
      "bytes": 545263
    },
    {
      "id": "assets/ida/demo_substitution2_1.jpg",
      "url": "/artefacts/ida/demo_substitution2_1.jpg",
      "sha256": "0897D28BBA551745A659A4C77EF2915665EB402EE652232F171B58EB6E7567CD",
      "bytes": 78352
    },
    {
      "id": "assets/ida/demo_substitution2_2.jpg",
      "url": "/artefacts/ida/demo_substitution2_2.jpg",
      "sha256": "DE8F7C99F666C9A20E68669403A9CBA63D291E9F51428D57E0A6797FC313EFBF",
      "bytes": 485006
    },
    {
      "id": "assets/ida/demo_bogus_control3_flow_clean_to_bcf.jpg",
      "url": "/artefacts/ida/demo_bogus_control3_flow_clean_to_bcf.jpg",
      "sha256": "79F2E2DB1C8BBEFB15C279A1AC466A7ACDD4588241081C590096F7E59EFC7DDE",
      "bytes": 90101
    },
    {
      "id": "assets/ida/demo_bogus_control3_flow_clean_to_bcf_2.jpg",
      "url": "/artefacts/ida/demo_bogus_control3_flow_clean_to_bcf_2.jpg",
      "sha256": "833430C32533F280DC5420D88CE637C206CE9089A324574D194065EFE97D89C7",
      "bytes": 282078
    },
    {
      "id": "assets/ida/demo_bogus_control3_flow_bcf_to_rewritten_2.jpg",
      "url": "/artefacts/ida/demo_bogus_control3_flow_bcf_to_rewritten_2.jpg",
      "sha256": "6A2E909615EAA45A592B3A372CB994DB38C0F3EE5E7DDF584A536E8DDDF0C807",
      "bytes": 394721
    },
    {
      "id": "assets/ida/demo_bogus_control3_flow_clean_to_rewritten_1.jpg",
      "url": "/artefacts/ida/demo_bogus_control3_flow_clean_to_rewritten_1.jpg",
      "sha256": "40561AA940B30D11228C2ABD9E6BD4FC3DAEB32B980E620F00366E570095ED3C",
      "bytes": 116487
    },
    {
      "id": "assets/ida/demo_bogus_control_flow7_polaris_clean_to_polaris_bcf_2.jpg",
      "url": "/artefacts/ida/demo_bogus_control_flow7_polaris_clean_to_polaris_bcf_2.jpg",
      "sha256": "86602DFFE645259B43DC134AD8A7556C3C3FE7E79C6334C61C4934A95FD7744B",
      "bytes": 353733
    },
    {
      "id": "assets/ida/demo_bogus_control_flow7_polaris_bcf_to_rewritten_2.jpg",
      "url": "/artefacts/ida/demo_bogus_control_flow7_polaris_bcf_to_rewritten_2.jpg",
      "sha256": "6AD58296D6915043BA0CDBC8074B06BF6FD07894AA1046003A780A3E824B4BD2",
      "bytes": 482910
    },
    {
      "id": "assets/ida/demo_flattening4_clean_to_ollvm_fla_1.jpg",
      "url": "/artefacts/ida/demo_flattening4_clean_to_ollvm_fla_1.jpg",
      "sha256": "5191E25C87E664A63270C62C1DA8243BF2E7B44D20B8A2AAD3D1C5A595CA6DA3",
      "bytes": 239804
    },
    {
      "id": "assets/ida/demo_flattening4_ollvm_to_rewritten_fla_1.jpg",
      "url": "/artefacts/ida/demo_flattening4_ollvm_to_rewritten_fla_1.jpg",
      "sha256": "F8854C26E1ADD39D47A676E9678D8A8310C17F89E1ED9BDE1A075F5C75EF00EA",
      "bytes": 238648
    },
    {
      "id": "assets/ida/demo_flattening4_clean_to_rewritten_fla_1.jpg",
      "url": "/artefacts/ida/demo_flattening4_clean_to_rewritten_fla_1.jpg",
      "sha256": "DDC2CE5EB65241D814FA61CF3DAE7B8CE1F8C8DAFF01409FEE432B89253E8DB2",
      "bytes": 510401
    },
    {
      "id": "assets/ida/demo_flattening5_clean_to_polaris_1.jpg",
      "url": "/artefacts/ida/demo_flattening5_clean_to_polaris_1.jpg",
      "sha256": "B7CC622157B88B89405700C3A76ACFB2D66FDD6340F7D6F62E1703AAA7254D82",
      "bytes": 341400
    },
    {
      "id": "assets/ida/demo_flattening5_polaris_to_rewritten_1.jpg",
      "url": "/artefacts/ida/demo_flattening5_polaris_to_rewritten_1.jpg",
      "sha256": "0BF2181B92FB005B1A08FDF7ECF818BC4515FC2204D13DEDBC4233447E82BD33",
      "bytes": 332102
    },
    {
      "id": "assets/ida/demo_flattening8_1.jpg",
      "url": "/artefacts/ida/demo_flattening8_1.jpg",
      "sha256": "27BA689047117C7897A65669C91743BC9A5CF78E1AC1B56281FF8E9346B90604",
      "bytes": 492780
    },
    {
      "id": "assets/ida/demo_flattening8_2.jpg",
      "url": "/artefacts/ida/demo_flattening8_2.jpg",
      "sha256": "B6099054B26541F7C667193A9FB8191E96F49CFD5DA4899C1EED1658BA0E977D",
      "bytes": 134291
    }
  ]
}