SymCC-Parallel 项目汇报（2026-07）——正文 + 幻灯片 + 图集 + 原始统计数据 快照时间(UTC): 2026-07-30T08:54:00Z 源仓库: /home/ubuntu/code/symcc Git 版本: 146e01b2d6f8e02fd2526764d46ea0d80a4bb6f6（工作树含未提交改动） 内容计数: 汇报配图 SVG = 21 QA3 配图 SVG = 25 DOT 图源 = 23 幻灯片页数 = 35 复现脚本 = 10 主要证据文件: evidence/current-eval-2026-07-30/paired_comparisons.csv 20 轮配对消融（A 级） evidence/current-eval-2026-07-30/statistical_summary.md 完整描述统计 symsan_hybrid_benchmark_6targets.md SymSan 六目标（B 级） 逐文件 SHA256: dd981c73a0e0a1c5b7bf1056afcfd13b4b1c24b31e40ee9483770b8782a9c7d7 Architecture_QA3.md c12bbc1fa22d2d78752b4cea67196c404b24749f3dc9a62b4b6af96fd55ebe1e Configuration.txt 0015b83a081cc1692bb067b83f2076a2ce4da66978d3058523a1aded7c46dcc8 Current_Implementation_Evaluation_2026-07-30.md d2823bfc5088223dbaf9792d1a291e83304679b112655af095df9162073fe8e8 Current_Technology_Compendium.md 6d70e5b6c670c52d25db8151e6988c145e47c9ad563a48717c972ffef310d0df Development_History_Traceability.md 1b2954910dc58f6d18fc9779fd073f616ca5397c033094904c9d8b83532e01a6 New_Implementation_Archive.md 95b48ffad7cba7d969a918dcbad2630b5a5b7d7e6112270406db29dae4affea5 Project_Progress_Presentation_2026-07-30.md d67ae5663d13a4103e8c442f8276ea94676981d436eff3fb66b712cd943db6f6 Project_Progress_Presentation_2026-07-30.pptx 667b9eed08c6ee22349a6e5de15a28aad045db3472bcf2126efcbf972fde842d Project_Report_2026-07.html 0a17e25a895d38013f6e3774198bbdf03d8cd0864303e305392639cc94051fe4 Project_Report_2026-07.md d8fc0408b37c2090ff76aa04aa7a6dbff38ecb4d9ad8a6667bcbcc174f7934dd Project_Report_Slides.html 616024c53d029fe6103441b4ddfd33a861b06bd416d53069b46818332da8a65e README-cc.md eeacc206335da043639b3f1159c41dadc8eb7eed8051ea4a172ee3e89bbbb4f6 diagrams/qa3/README.md 36c9131e9dba02858bc7784da123b83ae4c2766eb3b6a9957440033a537162e0 diagrams/qa3/fig-1-0-execution-modes.png 28a097e5900dff01b711aabb61813f8f2d9c6117a7a6e6cf32004280c50abdbf diagrams/qa3/fig-1-0-execution-modes.svg 5303f6711c2c501036d6e72e7a6ef7ac0ad11e87c216e88929ca1a7f6f43cb74 diagrams/qa3/fig-1-1-process-topology.png 7b2d6ac484cb8b4485f6ddbfa92b686ee03b2b1bb57f2f616fa4704c8e23bd50 diagrams/qa3/fig-1-1-process-topology.svg 601956cef94fbc51c50760ef942a861af13087707ecbdff211d3a5fb11c25dcb diagrams/qa3/fig-1-2-bitmap-spaces.png 6b57aaa55eba7aace9681c062877a309bceebf0f8d652d8b30ae518ccce75219 diagrams/qa3/fig-1-2-bitmap-spaces.svg 38b1e0f538f3bcdee13790776c54879b71361495199481c5c4f79309e7a358d2 diagrams/qa3/fig-1-3-worker-sequence.png 491e2a9daaaa2c63f351a0c4a6bc2b327d8137d0f707ad1a078959bc9e673b0c diagrams/qa3/fig-1-3-worker-sequence.svg 20e24bff96149fd5bedcd781a061bfc6aadceea0985cfb0c45d380fa21816a55 diagrams/qa3/fig-1-4-filter-funnel.png 2ea868ee63b884e3e2d7fa9410e05b95300435439ed58a51b6e7e25e16afd2df diagrams/qa3/fig-1-4-filter-funnel.svg 88cc47a0966857561ee320699995dafedeba74115f8693f7103b0b22ba6c1cc3 diagrams/qa3/fig-1-5-phase-time.png 25fecf20618da886c363feb9b30c99806610ec0ace31223631b93cdaa47a432a diagrams/qa3/fig-1-5-phase-time.svg 54881a708d0930a39db7f280c69bbfef3f80b523c91e936c58677d62e4abca6e diagrams/qa3/fig-1-6-afl-delivery.png 564ebd2224efc5415c092929a965b56a4cd35042e793fa4e360e4bb46fe55a90 diagrams/qa3/fig-1-6-afl-delivery.svg a5ff5bdfef20c6593f217b0f692d967149c5a9dd5716500107afc890aac9dfa8 diagrams/qa3/fig-2-1-constraint-shapes.png 8ef63d84981d5be1a27cafe2ab94038ecf28352840b5511738c4be7e3f9e0553 diagrams/qa3/fig-2-1-constraint-shapes.svg f4aa58bdf60203a7c0b6a820214dd9c21f30b133d1a6e02eec76ffc06f0f4797 diagrams/qa3/fig-2-2-concat-expression.png 27dbfb67fa4753ddc787b4b0a18b0d7d4b76e148897cddf30c9aaa7487469208 diagrams/qa3/fig-2-2-concat-expression.svg f4dac15bbc306624e14bd99dc1c6ef83a73b500f502a673e1cd81d8f1b3a49c3 diagrams/qa3/fig-2-3-binary-variants.png 7690c16a440709259fb86d433e1c022aeef3c11d0da2ed82f6c735af5477206a diagrams/qa3/fig-2-3-binary-variants.svg 7ebea360e38792972b018db1172e30f9bc297cd8e39025e86b909bf9371635a6 diagrams/qa3/fig-2-4-build-test-pipelines.png 91319d45bfc2346c11318acf9993b6f35ff13fa23881557a0b0edf7677781d17 diagrams/qa3/fig-2-4-build-test-pipelines.svg 779d7d7654cb5b0332944acc8e68778151bbc206294081e939b23f468070cb1f diagrams/qa3/fig-3-1-solve-decision.png e391d52c6905973665663dfdb98f5fb90b35f775f59a5262ddf16720ffbdf194 diagrams/qa3/fig-3-1-solve-decision.svg 8d5d8a419096ce4abd45bf1073648cde1149bea9597bd0c2272bc7bca0b55f19 diagrams/qa3/fig-3-2-prefix-dropping.png c65f1d3eb19a2e18183b26976326aaf093eb62187b059e55f203409c48b3ddfc diagrams/qa3/fig-3-2-prefix-dropping.svg 17323e85c636926017c00ff552f0801607214e369daeb9cab01a936ac5e634c4 diagrams/qa3/fig-3-3-strategy-mix.png 114e0860569098fc23dadfedf9ba5f2aa904d24b138b1724135c335d8af146da diagrams/qa3/fig-3-3-strategy-mix.svg 5ce5d3e5820c4f3c96de777729483d488f9a54beaa846cbcaf4afa77684878ca diagrams/qa3/fig-3-4-optimistic-format.png 1e5fbdc523a56d4c39e55a95f39ef6d1e944ba5ce983b1dba01873baa3a7a37c diagrams/qa3/fig-3-4-optimistic-format.svg 1e142f1c7c0db4890cc4336c3ba4e40074a28315f9e018927d083c99108f7c22 diagrams/qa3/fig-3-5-nested-frontier.png f366b588147b2e13001f0199082edc8d89ebdd861124d279953631797e052d1f diagrams/qa3/fig-3-5-nested-frontier.svg da3842030e3c2d471de8a16050b7141ca5d99ac3d90124df812e91f554ccda9b diagrams/qa3/fig-4-1-path-neighborhood.png ee2eaa75952d213181131a43196c4d952f18c2ea7e4b9f64689c7ec8ad123902 diagrams/qa3/fig-4-1-path-neighborhood.svg bf1e7379b59da986f8d207d02db3b0eedf0f2965474eab089cc1035e09ecc144 diagrams/qa3/fig-4-2-seed-length.png 808e49f0b3d13f0bb7b6511b86d2005d042ac00581e49a2f296244afac061732 diagrams/qa3/fig-4-2-seed-length.svg 95e0fbfb4f16b3a02b2bef7ac0c2e07171dfe8b308ee13380d57f8f2bc579a6f diagrams/qa3/fig-4-3-focus-bytes.png 5ce1f932a6dd2d3401708af0475e3b4aa3223d856c5b7583597e80804fc276cb diagrams/qa3/fig-4-3-focus-bytes.svg 809f5f9e40236b65a4ec949d4b360598a58f635de244d6e32e5911c385a0f55c diagrams/qa3/fig-5-0a-icse23-edge-coverage.png c68abe3963539c863a8139af973f7b6ff5c5b87743b70ef6090b80aa98dda9a4 diagrams/qa3/fig-5-0a-icse23-edge-coverage.svg 0ce6e5947feada4212e5b5a9f30c2cc0d6246a8d0b59dfedbc3b85b4b844dbc6 diagrams/qa3/fig-5-0b-icse23-unique-crashes.png 9fb406e5db5ad84fb012dcc223d0a6b07ab759166caab4d6348649818d15923d diagrams/qa3/fig-5-0b-icse23-unique-crashes.svg 362cc8bcd01113a7dcc4ee7585c7a31b9e645aa08694ccd8a8f950ad1a1fc8fb diagrams/qa3/fig-5-1-cpu-allocation.png 5525494d2979bbb58edb73d39728874c73318cae07011fafb0dc1712d74340f0 diagrams/qa3/fig-5-1-cpu-allocation.svg b5a9d24f2d1601de162743f19ff03b51112263acb516f2240140f945bb61b722 diagrams/qa3/fig-6-1-lava-endpoints.png 997982d84267d0e1d0732abe4de96f7139e561b938a50ed3a2e71426a86fe40d diagrams/qa3/fig-6-1-lava-endpoints.svg ccfa625e43b1cd1657e7d635d54c95a7106227edf88f85b34d84712233375c58 diagrams/qa3/fig-6-2-persistent-mode.png 4ca931fccfdbc13267c0e859c760c7e0bfd555dd235274b2181a99c3eedb2a2a diagrams/qa3/fig-6-2-persistent-mode.svg f6080065fe01be36a67f9ee2624a45b489fbfb6eaf46eb6eefea420594b53b98 diagrams/qa3/fig-6-3-scaling-vs-coverage.png 96a77224acc456724b03304c4834514efd3113fb1d3aa6c25ac1d3b82f551163 diagrams/qa3/fig-6-3-scaling-vs-coverage.svg 08aed80ad6b3be06e637e01ca195c9d5f6540db79153e09f7ddef4586c719d14 diagrams/qa3/report.css bac9e9341890f54bd0244df51aff4dc77090f221c631583e7fc938b4e42d8ef8 diagrams/qa3/src/fig-1-0-execution-modes.dot 068be8b0a42346a5ac379207acfa79553e6f08ccfc51f961f1f84e7dba73afe2 diagrams/qa3/src/fig-1-1-process-topology.dot 1657a024b4509f0d53173228aff7d8980abf9174a3b7eae8f5d432887ca11642 diagrams/qa3/src/fig-1-2-bitmap-spaces.dot 3631fee92edd4ee7f913eeb76c5e583fa7107b67e2e3de20d03489619deb0892 diagrams/qa3/src/fig-1-3-worker-sequence.dot 3c4b5ae5b1429978e2b017a45ea9104587fb70290cdfc70c6473171207386ba4 diagrams/qa3/src/fig-1-6-afl-delivery.dot ff2ce6b198e882f7a44a26324ef9097ddf903ac44ee495e44cc4e701138c16c7 diagrams/qa3/src/fig-2-1-constraint-shapes.dot 2b935a3ed79b5552484bbe63c1eb86ff0dd627185fb0d61c16faa9eca5e69258 diagrams/qa3/src/fig-2-2-concat-expression.dot 3fe43d441dbbad0b0c04413a776a2464cd70f86014595b3d51114bd16c7273df diagrams/qa3/src/fig-2-3-binary-variants.dot 3b2b1b4382f18190ad475984f7e5dbe1aac0b9beb66d5e2f6112ad7d090a0c26 diagrams/qa3/src/fig-2-4-build-test-pipelines.dot 9775c93b50334630626ce3be306aef5c28e1117be2a5af02f01b0b28872284f1 diagrams/qa3/src/fig-3-1-solve-decision.dot 79aeaaa92cac65082d034465a5f96f1f1e8ab301b5eb1002a8d60520fcbcc2f6 diagrams/qa3/src/fig-3-2-prefix-dropping.dot b90c9f2b81062736b9b02ed87d4718ffdfd5b31d72ab5448cf801e4fdea10519 diagrams/qa3/src/fig-4-1-path-neighborhood.dot cf429df56e0ee1998df0fd97b6414e5d8fdcec73e97fdd6e526c47c7100c5a6d diagrams/qa3/src/fig-4-2-seed-length.dot 8561cbd833f496262c700b63786c47df2bfb07cf91cc65306d907268c91730e9 diagrams/render_project_report.py de3e2fabac79a2fe40c4fc475962f91c856adbc9e0eb8b2678cb27ef246e9dd2 diagrams/render_qa3_diagrams.py 80edf4f71b2588420b72716b5eeaa03bd64bae2903ca4b9cf2b3abcc41cf129a diagrams/report/fig-r1-challenges.png 6d2702d2cbcc55392647f287177c305001e2a2b47d8b99c66eadd21c43ebacb0 diagrams/report/fig-r1-challenges.svg 0595261d5247c1b2ecd5b143f4aa27ef03dc016825683472f7549488007e2087 diagrams/report/fig-r10-site-id.png 06580ab72a7fddca270120e741a32670736a67bcd3eec0eaa6d4c9ac9b1e85cc diagrams/report/fig-r10-site-id.svg 213582a7ef28546036da351c0d35e5f9aaa7ade90d8a6d33b921c000c4b9e1f3 diagrams/report/fig-r11-solve-cost-layers.png e78bb72f5b5e1ff41649baa0e2eb1b62d21b2443abb818cbdcc26807ca0774c9 diagrams/report/fig-r11-solve-cost-layers.svg 863668a7af9d5a47882152c386e452de7c2d3a81200a00d54fb900e93c34851f diagrams/report/fig-r12-query-ir.png 9002ef4d86dc64f7a377d4acd46c2bed04ba066a5d69ee0a9543f6a760b12415 diagrams/report/fig-r12-query-ir.svg 40073170631e4e6f556e98d7d3d51691bd5f998517200dcca6c8555f9d40d152 diagrams/report/fig-r13-tech-families.png e1499b52649143ed9803a0916d56ab11fb2bea32f7cdd770bbafb6e023c3f1f0 diagrams/report/fig-r13-tech-families.svg 8a8f25f66453b1daceffe6cc6b89e1e5fb2cd60121822836d13a6a55dc5b93a2 diagrams/report/fig-r14-evidence-grades.png deb352b132d783b38e488156cfd537187935a3b4affc71ee196c61231e880587 diagrams/report/fig-r14-evidence-grades.svg 504c804d381e42eaaea4b25fe37b2cbae39bea5c3bfc5ce70a9ad2eb0f712c78 diagrams/report/fig-r15-headline-forest.png 36644bd8e73b82c9ff9bfdc2bb70b9a88eef64f8c189b9f8f696196b874b4e10 diagrams/report/fig-r15-headline-forest.svg 95a872f95d9df51ad09cb83524447bc722cc2b0158f56ce40f6f7af425431328 diagrams/report/fig-r16-eval-groups.png 312ac3f1dbeaaa8c23ad206d0a8066cec80a4960d23dd5e7c320f833abf74158 diagrams/report/fig-r16-eval-groups.svg 40aedc72f1ef634e47b317f32bf51eb3b53c371a2cdee091dc7bae047efa648a diagrams/report/fig-r17-symsan-6targets.png 822a761dd9d11cd986bf3a60e9712222e27aa38afe47b2f4833effe3963885f3 diagrams/report/fig-r17-symsan-6targets.svg 67d455c669349239a4e97cbc15770bb65c386b282a392003106f553719e3276a diagrams/report/fig-r18-solver-switches.png da8eadad8cb812f658f8ee33ca165f53b798fbae8ec23150ba0ef1b2c5226ca8 diagrams/report/fig-r18-solver-switches.svg 0865bceba3a980bab733e92cf4b7089e9dc45c57aae22edb20aeb073de053c4b diagrams/report/fig-r19-sota-boundary.png db871a714f2cafb04c1a2fadf58a1d084ca4c582d42ae69db6b4d365299c0564 diagrams/report/fig-r19-sota-boundary.svg f100d9c07f9f1fa20d08051d8801d7fc5f40d26979f701dfa952b7c63c2fe59c diagrams/report/fig-r2-scale.png 67068cb34262f252cceab930463b080e9a80b579937cd2e26271335e9a779e32 diagrams/report/fig-r2-scale.svg 0c9f611832d696d96909b7ba4196cefa1c2b7362096d8d335737f4bfefaf195a diagrams/report/fig-r20-roadmap.png 21c412f085d1ba92fdf52a88fc89336915e73814ce2d7cf252b8e5a34cbcf334 diagrams/report/fig-r20-roadmap.svg 8f709efc5922080e90c1fd4269cd4f2709e1ec9095426405d101f4a47b4c0caa diagrams/report/fig-r21-lava-ablation.png 6176c3db1125bff7b20156a9835314078711e11220c9144644c98c41c9a23691 diagrams/report/fig-r21-lava-ablation.svg f59f058da297a8f17cd0d36234f8c1afccb8ce66dc0a01a461b0e58032430848 diagrams/report/fig-r3-timeline.png e386a59d08dca60243beb3cfa41cc0d49ace241f4e0438a6662298e745d52d58 diagrams/report/fig-r3-timeline.svg 8ebf4f39862e784acab780b5c164bd4c4c1a4e611175313e304d31ebdb1078c7 diagrams/report/fig-r4-modules.png 51107ba1171eab001ea92787094e1ce7f14845f07ae7a70cf373d169f8d9d310 diagrams/report/fig-r4-modules.svg bc307a9717441cea93133ea4db93ad4ffb014fa504791411f80cedb3a110a42b diagrams/report/fig-r5-artifacts.png 8fbe8bf0b1d4fef08aef0e4cac1554a07fd1e239f833aae3dba8d05298203a00 diagrams/report/fig-r5-artifacts.svg 744471253632b33959a9f22d23eedaec48fb17a63b10be0192f33caadc51a62d diagrams/report/fig-r6-layers.png 03cd91e6555c8e55aca1db902fa263d690bd6ec598564a7bf1fa492eefb01b31 diagrams/report/fig-r6-layers.svg be0c1ebe5758157872b82128f452ed53d2c79fff085fe6910baf8a6957483934 diagrams/report/fig-r7-trust-boundary.png dd276f968c971f9e889e49be3dc2d4347887c6722f27d529ad9a6ae0a68e91e4 diagrams/report/fig-r7-trust-boundary.svg 508742302817bfb0b74bc37fb5361e04772590b169eb936959bc044155941bdc diagrams/report/fig-r8-mpi-protocol.png 31fc3c1412497ccf2d65193a8109736998534aca176ff45695ae42b01c1ae21c diagrams/report/fig-r8-mpi-protocol.svg b9428cfe481b1e5b5101df577426e8d546a87ec0181b059346ca4faacc797472 diagrams/report/fig-r9-engine-abstraction.png 33c1c3324edb5f016d218e2bfdc80b515db2586a02023b33e24161941f031569 diagrams/report/fig-r9-engine-abstraction.svg 0b5e35ab6e57339e98983620cbfb6eec6ba1d14d3b692adc765da34eb8d7e28d diagrams/report/src/fig-r10-site-id.dot 1820881ff330dce04d8abc1d51d6dcdc19e89cdf1828272500cf3ba5b39e2587 diagrams/report/src/fig-r11-solve-cost-layers.dot 0883a0fa604a66e2e3a171fd5e7ff94674498dc057cdaa1f4447679a32765c99 diagrams/report/src/fig-r12-query-ir.dot 08404433ae72f59ecc6bc40d465c1c8d4ce0b202575c6d14330398423f2d1b68 diagrams/report/src/fig-r20-roadmap.dot a4cee486fbe4566b874fd1509c5b820e54b4266541a5d3918264924483ac0e53 diagrams/report/src/fig-r4-modules.dot 62fbe073d9940e2ef333e580790d5a7103c9ac625be640c44885dce92290ea74 diagrams/report/src/fig-r5-artifacts.dot bd5edefc09e3a10ae90dd5c13811ee3978672c03427c64718a495b94924db6db diagrams/report/src/fig-r6-layers.dot 4b9977add2b270f3fdbd053b1d55fe85498dbc700cf7fe533a342e9315de1955 diagrams/report/src/fig-r7-trust-boundary.dot 6b030b3165a1f0c6b45b69840d6e23d9e2190995090fac9d6e70830e766b6111 diagrams/report/src/fig-r8-mpi-protocol.dot 5fc914a9a257bb6c64e35028fc01c2504c8e96bea122529ce8082fcb9d4962e6 diagrams/report/src/fig-r9-engine-abstraction.dot 01bbb6bfb617caf8e7bd18be92c9e36a0f88e02703dad118814ed08aeae007b9 evidence/README.md 6ad13bc35d4e7e039cc4108a6ad1623674f729b30aab01c6619eed5d9b19e423 evidence/current-eval-2026-07-30/README.md c4df7caf8442da543d729f68e4ce61348627307f33b63e399396b953aa02a85e evidence/current-eval-2026-07-30/descriptive_300s_current.csv 7004284ae85e900a9c203a1751e0d278f47caba55c62c76ed30deea9f4e4c5b5 evidence/current-eval-2026-07-30/descriptive_300s_current.txt b4d19b859bcf9a5b182850ae4936d551969bc6c0dfd6dfd11a03744683fff1e0 evidence/current-eval-2026-07-30/descriptive_statistics.csv 16af6f1e99a66b364cf7c404b7c01566f01c8fd9668b4e9bbdc3c3ce5c56cdb3 evidence/current-eval-2026-07-30/edge_coverage_distributions.png ddd472acdc70384ef28ec1a19dda0b27def727d0e9e97d862c869b82a87cb960 evidence/current-eval-2026-07-30/edge_coverage_distributions.svg b977fc7c8d4f1c138d11a147d3220f5a293cfb87e4e7ed0f727e025a45c7eb70 evidence/current-eval-2026-07-30/independent_comparisons.csv d3ce9a54d6bdf94ccd31d36fac21bea8173fb5b1feb4689ca2366ed567f9dc93 evidence/current-eval-2026-07-30/libarchive_7zip_object_after_fix.log 33a89afeb0151c10de17baa0f3e8f56fa7597ddf44b5e45062ac787295d6ee19 evidence/current-eval-2026-07-30/libarchive_7zip_object_repro.log 3dd501256f5d7fc110b3f885f3fc6174072447feb5c4fc21f36864d422be1275 evidence/current-eval-2026-07-30/paired_15s_current.csv 22a10551ca752756bf0ee6c42c6d9f1ded9596e809d4397cc24160682ce3f9ee evidence/current-eval-2026-07-30/paired_15s_legacy.csv 6fee57589aa46ddf8a6f573a414523c2e14a3e6010e7b0a40b2916b3a0aa3184 evidence/current-eval-2026-07-30/paired_comparisons.csv bb0555b7dddbe263e8d124a8bf0865642eee7efaafd9c95bfef37207c0be92b2 evidence/current-eval-2026-07-30/statistical_results.json 9992286867398a97047f092ba481f39665e002e6bfd45879b72f1e36bf810471 evidence/current-eval-2026-07-30/statistical_summary.md 80ac1b15150ba299fb1b6738337b9a97540d368b1732fae07eef57217eff55c3 evidence/current-eval-2026-07-30/verification.md e7d5009a3c62e9a521c1df9a777258ed1055e92dee3ca52a95fe6f031b912c52 evidence/img_d2_pcguard.png 23189f8aded7e49fa556f00a083e9d7d58f3c72031be7848a8e4b7c5187733ae evidence/img_fuzzer_stats.png 35ae71caa67c27d83b9a6269627e692996779b226897995de80eb3f3c0cf2535 evidence/img_gdb.png 5e7bfa17cd1eb32b034a8955b79324ac80db1970d6c9aa2a8ce74d77982e2f09 evidence/img_ir.png d726ba189e4475bdfcf653351017023fb226bda7152b98492a9c4cf3c760453a evidence/img_process.png 24c0f3cd7dae80429cc9515ca593c39c2c371880fc45436b716abc0966463cf7 evidence/img_report.png f19d71b3e7b422a73241422c7c5767231f8184174279c22884c908f4f344c10b evidence/img_showmap.png 7376cd6c539218e3e16c23863b0af3ef8b34cc8537019a306f1a8f54bcce83a4 evidence/lava_m_current_2026_07_30/base64_manifest.json 084c9bebfd67f7fc93ac9ad347755460b10770e5fdedfdad21c34e20c60c7dd8 evidence/lava_m_current_2026_07_30/base64_summary.csv a22d565d7bc6452b66df561ecfb98d3c1f6fcc8608140d6d559d2119955cfda2 evidence/lava_m_current_2026_07_30/base64_summary.json 4c7f07f67fe3cd79fda65ea8cff79ede2d1d0d460011a14837a51e94f0effe52 evidence/lava_m_current_2026_07_30/md5sum_summary.json df93e3db26fd739ff2348922e33ea3a8517fe05693cc2f51a35649bba1ace813 evidence/lava_m_current_2026_07_30/uniq_summary.json c146ee6fc41df3e66648863b370ba484c007f25f6a7b04039145fb3f67996af2 evidence/lava_m_current_2026_07_30/who_summary.json de5fd564653253ae4a3fa587304050774cd27b2d068f738b614b2912c754242e qa3_repro/README.md 7c707cd4d130b8469bf285678372d7d470130cc99c5af4a9d9aceb69af2070c6 qa3_repro/funnel.sh 3fee6be621382cd1e752593070dc6530aa6107abf959483ecca6ea4273175d85 qa3_repro/inject_test.sh 8e4603515a7724d86ad98d01baa477a2cfbfdb24c4509e7fd0582b9004421e70 qa3_repro/iterate.py e5fcd6b875eec14fcd6f6d69a917fa64fa7f1950c003dc8b0e6ad3304dbe174d qa3_repro/iterate2.py 8b5ea57926e8a9377ca7fa29d31f57e6fca6b2a8d16d4c0c93717c7aaffd6f3d qa3_repro/landing.py 54160cb17b847c29246b403a95746f1ded7781abc35557fd3482811744cf8a16 qa3_repro/landing2.py d3c624880b0bd78392b5daba68324fdc471d9ba249bddc5ee56d787f6cd2750f qa3_repro/measure_strategy.sh 130b7469c993d29539e86280d78ee4a39afef2ffd6da310c5234f0f2df75011f qa3_repro/persab.sh 7c1af6ae5902c73ef32aa27cbe889ee9e9553a082cec3e97921b57b4c6aa7a46 qa3_repro/trace_base64.sh e58b184a5238381f3cfbc7d1896983453b9dbd873aa7fc639f008e2dc5d23b40 symsan_hybrid_benchmark_6targets.md