{ "scope": "POSTHOC instruction count only, actual three paired Android ARM64 targets, one unchanged set of40valid synthetic inputs per instance, probe warmed before40 measuredcalls (<64 poll interval); no device timing or CPU-cycle claim.", "sampling": "40 valid synthetic calls per instance,120 per variant; actual input values/tokens deliberately omitted.", "primary_scoring_unchanged": true, "primary_trials": 18, "baseline_supporting_trials": 6, "aggregate": { "baseline": { "instructions": { "n": 120, "median": 48.0, "mean": 46, "min": 42, "max": 54 }, "ratio_of_medians_to_baseline": 1.0, "median_of_paired_case_ratios_to_baseline": 1.0 }, "omvll_flatten": { "instructions": { "n": 120, "median": 262.0, "mean": 265.975, "min": 241, "max": 297 }, "ratio_of_medians_to_baseline": 5.458333333333333, "median_of_paired_case_ratios_to_baseline": 5.770833333333333 }, "v3_hardened": { "instructions": { "n": 120, "median": 696.0, "mean": 703.6666666666666, "min": 670, "max": 747 }, "ratio_of_medians_to_baseline": 14.5, "median_of_paired_case_ratios_to_baseline": 15.041666666666666 }, "v4_hardened": { "instructions": { "n": 120, "median": 36731.0, "mean": 36887.25, "min": 35029, "max": 39618 }, "ratio_of_medians_to_baseline": 765.2291666666666, "median_of_paired_case_ratios_to_baseline": 791.7916666666666, "ratio_of_medians_to_v3": 52.77442528735632, "median_of_paired_case_ratios_to_v3": 52.33796940194715 } }, "instances": { "0": { "cases": 40, "variants": { "baseline": { "target_sha256": "f264e0826d80e7768c89a321335bb1a40bc2d3759753c9cbb1732c69a10a7049", "bytes": 2272, "instructions": { "n": 40, "median": 48.0, "mean": 45.75, "min": 42, "max": 54 }, "counts": [ 42, 42, 48, 48, 42, 42, 54, 48, 42, 42, 48, 48, 42, 42, 48, 48, 48, 42, 48, 48, 42, 42, 48, 48, 42, 42, 48, 48, 42, 42, 48, 54, 42, 42, 48, 54, 42, 48, 48, 48 ], "oracle_verified": 40, "runtime_warmup_syscalls": 0, "measured_syscalls": 0 }, "omvll_flatten": { "target_sha256": "8fe0f0f14bd4c9a65ad23fdd40bce174cc69be90be89bd72b0738cdecd5b1268", "bytes": 3216, "instructions": { "n": 40, "median": 262.0, "mean": 265.225, "min": 241, "max": 297 }, "counts": [ 260, 262, 258, 277, 262, 241, 295, 279, 241, 260, 279, 258, 260, 262, 258, 277, 280, 241, 277, 279, 241, 260, 279, 258, 260, 262, 258, 277, 262, 241, 277, 297, 241, 260, 279, 276, 260, 280, 258, 277 ], "oracle_verified": 40, "runtime_warmup_syscalls": 0, "measured_syscalls": 0 }, "v3_hardened": { "target_sha256": "c2eb65d7668fb69e3cdaae6a7806df9ad8c1c60f822a43f0f2f970f15df1d243", "bytes": 22608, "instructions": { "n": 40, "median": 696.0, "mean": 702.625, "min": 670, "max": 747 }, "counts": [ 693, 696, 696, 719, 696, 670, 744, 722, 670, 693, 722, 696, 693, 696, 696, 719, 721, 670, 719, 722, 670, 693, 722, 696, 693, 696, 696, 719, 696, 670, 719, 747, 670, 693, 722, 721, 693, 721, 696, 719 ], "oracle_verified": 40, "runtime_warmup_syscalls": 7, "measured_syscalls": 0 }, "v4_hardened": { "target_sha256": "c72000beaca0a5abea08cb8d52aa6d4fcd5f6fd2cbbc873961159ff7ff022f51", "bytes": 30512, "instructions": { "n": 40, "median": 36731.0, "mean": 36092.75, "min": 35029, "max": 38433 }, "counts": [ 35029, 35029, 36731, 36731, 35029, 35029, 38433, 36731, 35029, 35029, 36731, 36731, 35029, 35029, 36731, 36731, 36731, 35029, 36731, 36731, 35029, 35029, 36731, 36731, 35029, 35029, 36731, 36731, 35029, 35029, 36731, 38433, 35029, 35029, 36731, 38433, 35029, 36731, 36731, 36731 ], "oracle_verified": 40, "runtime_warmup_syscalls": 7, "measured_syscalls": 0 } } }, "1": { "cases": 40, "variants": { "baseline": { "target_sha256": "bdbc4f65291adcff9025862b6101b40df990cee7a9a02b832244ed5aeb642948", "bytes": 2272, "instructions": { "n": 40, "median": 48.0, "mean": 45.9, "min": 42, "max": 54 }, "counts": [ 48, 42, 48, 48, 42, 42, 54, 48, 42, 42, 48, 48, 42, 48, 48, 48, 42, 42, 48, 48, 42, 42, 48, 48, 42, 48, 48, 54, 42, 42, 48, 48, 42, 48, 48, 48, 42, 42, 48, 48 ], "oracle_verified": 40, "runtime_warmup_syscalls": 0, "measured_syscalls": 0 }, "omvll_flatten": { "target_sha256": "2fc27c4a237892fe9b99183b58ce1786f957d3ca04b2e9612c44c1e41e6a56e0", "bytes": 3216, "instructions": { "n": 40, "median": 262.0, "mean": 265.675, "min": 241, "max": 295 }, "counts": [ 278, 262, 258, 277, 262, 241, 295, 279, 241, 260, 279, 258, 260, 280, 258, 277, 262, 241, 277, 279, 241, 260, 279, 258, 260, 280, 258, 295, 262, 241, 277, 279, 241, 278, 279, 258, 260, 262, 258, 277 ], "oracle_verified": 40, "runtime_warmup_syscalls": 0, "measured_syscalls": 0 }, "v3_hardened": { "target_sha256": "4020bbfaebb6565dd912cc96307fdde42e90ee1d18ac5af5918c3e31fec4b792", "bytes": 22608, "instructions": { "n": 40, "median": 696.0, "mean": 703.25, "min": 670, "max": 744 }, "counts": [ 718, 696, 696, 719, 696, 670, 744, 722, 670, 693, 722, 696, 693, 721, 696, 719, 696, 670, 719, 722, 670, 693, 722, 696, 693, 721, 696, 744, 696, 670, 719, 722, 670, 718, 722, 696, 693, 696, 696, 719 ], "oracle_verified": 40, "runtime_warmup_syscalls": 7, "measured_syscalls": 0 }, "v4_hardened": { "target_sha256": "bbbf5a91598728147700dd8e5da32824eb5b2649964afce2a86cb5bd4f4e4e18", "bytes": 30512, "instructions": { "n": 40, "median": 38006.0, "mean": 37441.8, "min": 36394, "max": 39618 }, "counts": [ 38006, 36394, 38006, 38006, 36394, 36394, 39618, 38006, 36394, 36394, 38006, 38006, 36394, 38006, 38006, 38006, 36394, 36394, 38006, 38006, 36394, 36394, 38006, 38006, 36394, 38006, 38006, 39618, 36394, 36394, 38006, 38006, 36394, 38006, 38006, 38006, 36394, 36394, 38006, 38006 ], "oracle_verified": 40, "runtime_warmup_syscalls": 7, "measured_syscalls": 0 } } }, "2": { "cases": 40, "variants": { "baseline": { "target_sha256": "69368757bdb35670f10e008008f62f6a483e4eccfd0fb6e43fea802b88822846", "bytes": 2272, "instructions": { "n": 40, "median": 48.0, "mean": 46.35, "min": 42, "max": 54 }, "counts": [ 42, 42, 54, 48, 42, 42, 48, 48, 42, 48, 48, 48, 42, 48, 48, 54, 42, 42, 54, 48, 48, 42, 48, 48, 48, 42, 54, 48, 42, 42, 48, 48, 48, 42, 48, 48, 42, 42, 48, 48 ], "oracle_verified": 40, "runtime_warmup_syscalls": 0, "measured_syscalls": 0 }, "omvll_flatten": { "target_sha256": "64e946674ae71eca0f84e14f40eaf45d0153d915dcd4707d5740012698abc63b", "bytes": 3216, "instructions": { "n": 40, "median": 262.0, "mean": 267.025, "min": 241, "max": 295 }, "counts": [ 260, 262, 276, 277, 262, 241, 277, 279, 241, 278, 279, 258, 260, 280, 258, 295, 262, 241, 295, 279, 259, 260, 279, 258, 278, 262, 276, 277, 262, 241, 277, 279, 259, 260, 279, 258, 260, 262, 258, 277 ], "oracle_verified": 40, "runtime_warmup_syscalls": 0, "measured_syscalls": 0 }, "v3_hardened": { "target_sha256": "96fdc3fc0ad907d430779f0f7b1e6a221389fd2a060aa4891366358485aee9d7", "bytes": 22608, "instructions": { "n": 40, "median": 696.0, "mean": 705.125, "min": 670, "max": 744 }, "counts": [ 693, 696, 721, 719, 696, 670, 719, 722, 670, 718, 722, 696, 693, 721, 696, 744, 696, 670, 744, 722, 695, 693, 722, 696, 718, 696, 721, 719, 696, 670, 719, 722, 695, 693, 722, 696, 693, 696, 696, 719 ], "oracle_verified": 40, "runtime_warmup_syscalls": 7, "measured_syscalls": 0 }, "v4_hardened": { "target_sha256": "b8cfda56992b96039801177a7ab8fa5c1ca0487931cbb0950a469838a605781f", "bytes": 30512, "instructions": { "n": 40, "median": 37631.0, "mean": 37127.2, "min": 35799, "max": 39463 }, "counts": [ 35799, 35799, 39463, 37631, 35799, 35799, 37631, 37631, 35799, 37631, 37631, 37631, 35799, 37631, 37631, 39463, 35799, 35799, 39463, 37631, 37631, 35799, 37631, 37631, 37631, 35799, 39463, 37631, 35799, 35799, 37631, 37631, 37631, 35799, 37631, 37631, 35799, 35799, 37631, 37631 ], "oracle_verified": 40, "runtime_warmup_syscalls": 7, "measured_syscalls": 0 } } } }, "measurement_seconds": 1.235 }