{"canonical_repeatability":"PASS: exact bytes equal per case","configuration":{"ambient_T81_variables":"removed","jit":false,"max_steps":64,"store":"fresh persistent CanonFS per sample","strict_float":true},"evidence_hashes":{"allow":"22508eb4dfcb70e2c53cc558972773d747145e48761d47709718975d682fd39d","baseline":"db7ae39e51a321e3c66a6081191874724563c328dff3da1ff4aa92ce49f4cb1e","changed-input":"d423fa1940b8261f55f340f1edffc103bd377e7e373128b742bcc7bd0e252e08","deny-store":"3377cd22ab8ccdf9f68400df33c743700379b9a01e4b5b106eb93592cb111ded","deny-vm":"a1301772a8541052b99e5a17bdc74e0cc0c346f1caf886d96ea1593f9380938b","division-zero":"fbdb6e02b79102658b5a2e65452d80932e4ff897768cd71be65e28c40966ed00","lower-bound":"b4a40324323b7f8dc7d1839858efe335f90ececff5af4aac21c8254d53e7bb69","upper-bound":"98fa5ea5d78d0dd2fe0e0a366979ac5a7f912735622afc592c08516654058d62"},"git_sha":"77d63b5025bb86634cf96c35f8af7482b9b0cef5","known_exclusions":["No cross-platform identity established; this report is one native host only","WASM NOT TESTED; other native architectures/OSes NOT TESTED in this report","Built-in trace generation cannot be timed separately through the stable VM API","Peak RSS includes startup/warmup; no marginal allocator measurement","No host libm comparison, transcendental accuracy claim, AI inference, signatures or remote attestation","INT64_MIN / -1, helper signed overflow and negative BigInt cancellation excluded pending PR #536 audit/fixes","Float extremes converting to zero are observed limitations, not IEEE-conformance assertions","Unsigned evidence needs caller-pinned workload/profile and trusted verifier; unreported external side effects cannot be proven absent","Less-than-5-percent overhead remains an untested inference/libm hypothesis"],"measurements":{"allow":{"artifact_bytes":{"max":1516,"mean":1516,"median":1516.0,"min":1516,"n":30,"stdev":0.0},"audit_capacity_bytes":{"max":432,"mean":432,"median":432.0,"min":432,"n":30,"stdev":0.0},"envelope_ns":{"max":148333,"mean":140151.46666666667,"median":140229.5,"min":132708,"n":30,"stdev":4154.755519869377},"execution_ns":{"max":34875,"mean":25047.366666666665,"median":24646.0,"min":23333,"n":30,"stdev":2128.8735483953647},"process_ns":{"max":32691500,"mean":7419643.1,"median":6487479.0,"min":6251834,"n":30,"stdev":4800204.277179479},"process_peak_rss_bytes":{"max":2588672,"mean":2560273.066666667,"median":2555904.0,"min":2523136,"n":30,"stdev":13560.74167164383},"serialization_hash_ns":{"max":6292,"mean":6047.166666666667,"median":6041.0,"min":5833,"n":30,"stdev":111.45807417522776},"setup_ns":{"max":6542,"mean":5708.366666666667,"median":5687.0,"min":5500,"n":30,"stdev":199.4871845046924},"storage_ns":{"max":2877375,"mean":543638.8333333334,"median":447021.0,"min":409667,"n":30,"stdev":451597.491525369},"stored_payload_bytes":{"max":3,"mean":3,"median":3.0,"min":3,"n":30,"stdev":0.0},"total_ns":{"max":3061208,"mean":720755.6,"median":626938.0,"min":583958,"n":30,"stdev":452689.0674148625},"trace_capacity_bytes":{"max":384,"mean":384,"median":384.0,"min":384,"n":30,"stdev":0.0},"verification_ns":{"max":652041,"mean":523913.8,"median":521521.5,"min":461875,"n":30,"stdev":31766.87626248231}},"baseline":{"artifact_bytes":{"max":1459,"mean":1459,"median":1459.0,"min":1459,"n":30,"stdev":0.0},"audit_capacity_bytes":{"max":432,"mean":432,"median":432.0,"min":432,"n":30,"stdev":0.0},"envelope_ns":{"max":139875,"mean":136301.43333333332,"median":136833.5,"min":132458,"n":30,"stdev":2262.939508590592},"execution_ns":{"max":25042,"mean":22815.466666666667,"median":22750.0,"min":21625,"n":30,"stdev":872.6160325308521},"process_ns":{"max":8976541,"mean":6522601.366666666,"median":6460771.0,"min":6192125,"n":30,"stdev":487590.60071203485},"process_peak_rss_bytes":{"max":2539520,"mean":2522043.7333333334,"median":2523136.0,"min":2506752,"n":30,"stdev":9556.660731669293},"serialization_hash_ns":{"max":6250,"mean":5993.133333333333,"median":5979.5,"min":5750,"n":30,"stdev":112.68134298752062},"setup_ns":{"max":5209,"mean":4888.933333333333,"median":4875.0,"min":4708,"n":30,"stdev":124.48568213843416},"storage_ns":{"max":2799208,"mean":529170.8333333334,"median":453333.0,"min":408583,"n":30,"stdev":429316.80010285816},"stored_payload_bytes":{"max":3,"mean":3,"median":3.0,"min":3,"n":30,"stdev":0.0},"total_ns":{"max":2970625,"mean":699320.9,"median":623208.5,"min":578625,"n":30,"stdev":429614.2433328275},"trace_capacity_bytes":{"max":384,"mean":384,"median":384.0,"min":384,"n":30,"stdev":0.0},"verification_ns":{"max":577792,"mean":512733.2,"median":511000.0,"min":481416,"n":30,"stdev":20502.73963930775}},"changed-input":{"artifact_bytes":{"max":1516,"mean":1516,"median":1516.0,"min":1516,"n":30,"stdev":0.0},"audit_capacity_bytes":{"max":432,"mean":432,"median":432.0,"min":432,"n":30,"stdev":0.0},"envelope_ns":{"max":142375,"mean":137911.2,"median":137854.5,"min":133209,"n":30,"stdev":2026.2688047160764},"execution_ns":{"max":29000,"mean":24400,"median":23833.5,"min":23042,"n":30,"stdev":1210.8248826943243},"process_ns":{"max":7037791,"mean":6473416.633333334,"median":6498375.5,"min":6212584,"n":30,"stdev":171514.6623625621},"process_peak_rss_bytes":{"max":2588672,"mean":2555357.8666666667,"median":2555904.0,"min":2539520,"n":30,"stdev":13250.017326555577},"serialization_hash_ns":{"max":6209,"mean":5997.3,"median":6000.0,"min":5750,"n":30,"stdev":126.71911648507742},"setup_ns":{"max":6167,"mean":5702.833333333333,"median":5666.0,"min":5458,"n":30,"stdev":183.07584321208543},"storage_ns":{"max":512042,"mean":450473.73333333334,"median":447791.5,"min":409166,"n":30,"stdev":19183.034303750035},"stored_payload_bytes":{"max":3,"mean":3,"median":3.0,"min":3,"n":30,"stdev":0.0},"total_ns":{"max":687875,"mean":624622.2666666667,"median":621417.0,"min":583334,"n":30,"stdev":20033.279473869497},"trace_capacity_bytes":{"max":384,"mean":384,"median":384.0,"min":384,"n":30,"stdev":0.0},"verification_ns":{"max":626666,"mean":517027.76666666666,"median":516104.0,"min":461417,"n":30,"stdev":29383.913948684203}},"deny-store":{"artifact_bytes":{"max":1465,"mean":1465,"median":1465.0,"min":1465,"n":30,"stdev":0.0},"audit_capacity_bytes":{"max":432,"mean":432,"median":432.0,"min":432,"n":30,"stdev":0.0},"envelope_ns":{"max":168541,"mean":139827.83333333334,"median":138416.5,"min":132959,"n":30,"stdev":6637.6476518850195},"execution_ns":{"max":35459,"mean":24633.333333333332,"median":24125.0,"min":23416,"n":30,"stdev":2180.3601779859964},"process_ns":{"max":8083333,"mean":6349531.866666666,"median":6307562.5,"min":6075250,"n":30,"stdev":344310.0236431609},"process_peak_rss_bytes":{"max":2539520,"mean":2519859.2,"median":2523136.0,"min":2506752,"n":30,"stdev":10884.937135389406},"serialization_hash_ns":{"max":6625,"mean":6065.233333333334,"median":6042.0,"min":5875,"n":30,"stdev":149.1189488949685},"setup_ns":{"max":6125,"mean":5690.233333333334,"median":5666.5,"min":5458,"n":30,"stdev":156.63127871298366},"storage_ns":{"max":344833,"mean":310918.0333333333,"median":307812.5,"min":288875,"n":30,"stdev":13244.085343467757},"stored_payload_bytes":{"max":0,"mean":0,"median":0.0,"min":0,"n":30,"stdev":0.0},"total_ns":{"max":523583,"mean":487287.43333333335,"median":485625.0,"min":459708,"n":30,"stdev":16270.487947419599},"trace_capacity_bytes":{"max":384,"mean":384,"median":384.0,"min":384,"n":30,"stdev":0.0},"verification_ns":{"max":475292,"mean":423215.4,"median":419791.5,"min":398750,"n":30,"stdev":16944.485498238064}},"deny-vm":{"artifact_bytes":{"max":1443,"mean":1443,"median":1443.0,"min":1443,"n":30,"stdev":0.0},"audit_capacity_bytes":{"max":432,"mean":432,"median":432.0,"min":432,"n":30,"stdev":0.0},"envelope_ns":{"max":159500,"mean":136179.03333333333,"median":134021.0,"min":128500,"n":30,"stdev":7137.799755084066},"execution_ns":{"max":36959,"mean":23825.033333333333,"median":23000.0,"min":21542,"n":30,"stdev":2891.858828091232},"process_ns":{"max":6288500,"mean":6007095.866666666,"median":6013750.0,"min":5783167,"n":30,"stdev":127124.03970999547},"process_peak_rss_bytes":{"max":2506752,"mean":2477806.933333333,"median":2473984.0,"min":2457600,"n":30,"stdev":16487.25166644349},"serialization_hash_ns":{"max":5667,"mean":5397.3,"median":5375.0,"min":5167,"n":30,"stdev":128.29979708103394},"setup_ns":{"max":15917,"mean":6131.966666666666,"median":5792.0,"min":5459,"n":30,"stdev":1857.3544493646637},"storage_ns":{"max":167,"mean":101.33333333333333,"median":83.0,"min":42,"n":30,"stdev":30.445353343817263},"stored_payload_bytes":{"max":0,"mean":0,"median":0.0,"min":0,"n":30,"stdev":0.0},"total_ns":{"max":205667,"mean":171786.13333333333,"median":169312.5,"min":162250,"n":30,"stdev":9656.810027780586},"trace_capacity_bytes":{"max":384,"mean":384,"median":384.0,"min":384,"n":30,"stdev":0.0},"verification_ns":{"max":230084,"mean":202780.66666666666,"median":200333.5,"min":180667,"n":30,"stdev":11279.138953848822}},"division-zero":{"artifact_bytes":{"max":1308,"mean":1308,"median":1308.0,"min":1308,"n":30,"stdev":0.0},"audit_capacity_bytes":{"max":0,"mean":0,"median":0.0,"min":0,"n":30,"stdev":0.0},"envelope_ns":{"max":269250,"mean":242586.03333333333,"median":243583.0,"min":222917,"n":30,"stdev":12585.889034627391},"execution_ns":{"max":11875,"mean":11241.733333333334,"median":11250.0,"min":10750,"n":30,"stdev":288.00130906471327},"process_ns":{"max":6936916,"mean":5938920.8,"median":5916958.0,"min":5703084,"n":30,"stdev":222940.25336637185},"process_peak_rss_bytes":{"max":2490368,"mean":2466884.2666666666,"median":2473984.0,"min":2441216,"n":30,"stdev":11926.438572762829},"serialization_hash_ns":{"max":5041,"mean":4568.066666666667,"median":4542.0,"min":4417,"n":30,"stdev":122.48995267264628},"setup_ns":{"max":7709,"mean":5988.9,"median":5833.0,"min":5417,"n":30,"stdev":556.664657921904},"storage_ns":{"max":167,"mean":105.56666666666666,"median":125.0,"min":0,"n":30,"stdev":30.453676900854013},"stored_payload_bytes":{"max":0,"mean":0,"median":0.0,"min":0,"n":30,"stdev":0.0},"total_ns":{"max":290834,"mean":264633.43333333335,"median":265666.5,"min":244500,"n":30,"stdev":12803.593147839489},"trace_capacity_bytes":{"max":192,"mean":192,"median":192.0,"min":192,"n":30,"stdev":0.0},"verification_ns":{"max":245000,"mean":198129.1,"median":196791.5,"min":174000,"n":30,"stdev":13251.55909721179}},"lower-bound":{"artifact_bytes":{"max":1508,"mean":1508,"median":1508.0,"min":1508,"n":30,"stdev":0.0},"audit_capacity_bytes":{"max":432,"mean":432,"median":432.0,"min":432,"n":30,"stdev":0.0},"envelope_ns":{"max":164125,"mean":139332,"median":138354.5,"min":133375,"n":30,"stdev":6749.806490201953},"execution_ns":{"max":27208,"mean":24076.266666666666,"median":24083.0,"min":22625,"n":30,"stdev":967.518294697683},"process_ns":{"max":7113125,"mean":6459050,"median":6473208.5,"min":6164667,"n":30,"stdev":168909.721284927},"process_peak_rss_bytes":{"max":2588672,"mean":2556996.2666666666,"median":2555904.0,"min":2539520,"n":30,"stdev":12860.051501300139},"serialization_hash_ns":{"max":6208,"mean":6001.4,"median":6020.5,"min":5750,"n":30,"stdev":120.1592621309821},"setup_ns":{"max":5916,"mean":5698.566666666667,"median":5708.0,"min":5541,"n":30,"stdev":95.77116524274946},"storage_ns":{"max":535083,"mean":467545.9666666667,"median":460167.0,"min":428250,"n":30,"stdev":29042.278843904904},"stored_payload_bytes":{"max":2,"mean":2,"median":2.0,"min":2,"n":30,"stdev":0.0},"total_ns":{"max":712667,"mean":642802.8666666667,"median":638062.5,"min":600292,"n":30,"stdev":31760.75261717196},"trace_capacity_bytes":{"max":384,"mean":384,"median":384.0,"min":384,"n":30,"stdev":0.0},"verification_ns":{"max":566625,"mean":524129.23333333334,"median":522062.0,"min":498958,"n":30,"stdev":16166.31316526657}},"upper-bound":{"artifact_bytes":{"max":1509,"mean":1509,"median":1509.0,"min":1509,"n":30,"stdev":0.0},"audit_capacity_bytes":{"max":432,"mean":432,"median":432.0,"min":432,"n":30,"stdev":0.0},"envelope_ns":{"max":151166,"mean":140037.43333333332,"median":139438.0,"min":133958,"n":30,"stdev":4523.386156740159},"execution_ns":{"max":109291,"mean":27479.266666666666,"median":24542.0,"min":23208,"n":30,"stdev":15509.904926303981},"process_ns":{"max":8220500,"mean":6538458.4,"median":6505791.5,"min":6196417,"n":30,"stdev":353359.5682804581},"process_peak_rss_bytes":{"max":2588672,"mean":2557542.4,"median":2555904.0,"min":2539520,"n":30,"stdev":13842.23165583473},"serialization_hash_ns":{"max":6292,"mean":6036.133333333333,"median":6041.5,"min":5833,"n":30,"stdev":131.18261379054596},"setup_ns":{"max":11375,"mean":5861.1,"median":5667.0,"min":5541,"n":30,"stdev":1045.7336757940118},"storage_ns":{"max":2021167,"mean":508491.6666666667,"median":458229.0,"min":415166,"n":30,"stdev":286775.911176285},"stored_payload_bytes":{"max":4,"mean":4,"median":4.0,"min":4,"n":30,"stdev":0.0},"total_ns":{"max":2197250,"mean":688059.6666666666,"median":637042.0,"min":587208,"n":30,"stdev":286632.71670089115},"trace_capacity_bytes":{"max":384,"mean":384,"median":384.0,"min":384,"n":30,"stdev":0.0},"verification_ns":{"max":675041,"mean":529700.2,"median":519959.0,"min":495750,"n":30,"stdev":34758.39591989449}}},"methodology":{"execution":"run_to_halt only; includes built-in trace generation and Axion audit","memory":"whole-process peak RSS from getrusage on macOS/Linux (-1 if unavailable); retained vector capacities exclude string allocations","order":"rotate cases each round","repetitions":30,"serialization_hash":"actual trace/audit/output serialization plus trace hash","storage":"directory creation + write authorization + payload write + allowed readback; no fsync guarantee","timing":"steady_clock nanoseconds; process_ns includes startup/warmup; verification reported separately","total":"program setup + VM execution + serialization/hash + storage write/readback + numeric probes + record JSON/digests; excludes stdout and Python envelope hashing","warmup":"five VM/hash runs inside every process","workload":"12 instructions; taken branch skips one"},"platform":{"compiler":"Clang 21.0.0 (clang-2100.1.1.101)","machine":"arm64","python":"3.14.3","release":"25.5.0","system":"Darwin"},"policy_increment_percent":9.782399074312153,"runner_hash":"4a452fcfc15a3357c61f027c613cd09005e9de7a216405be2e015b70ffa9716d","samples":{"allow":[{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":135083,"execution_ns":23584,"process_ns":32691500,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6292,"setup_ns":5917,"storage_ns":972458,"stored_payload_bytes":3,"total_ns":1143542,"trace_capacity_bytes":384,"verification_ns":652041},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":132708,"execution_ns":25959,"process_ns":6288792,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6167,"setup_ns":5709,"storage_ns":432541,"stored_payload_bytes":3,"total_ns":603292,"trace_capacity_bytes":384,"verification_ns":505041},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":138750,"execution_ns":24667,"process_ns":6582000,"process_peak_rss_bytes":2572288,"serialization_hash_ns":5959,"setup_ns":5583,"storage_ns":482459,"stored_payload_bytes":3,"total_ns":657625,"trace_capacity_bytes":384,"verification_ns":550333},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":140209,"execution_ns":23333,"process_ns":6310209,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6041,"setup_ns":5500,"storage_ns":418583,"stored_payload_bytes":3,"total_ns":593833,"trace_capacity_bytes":384,"verification_ns":510875},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":137042,"execution_ns":24625,"process_ns":6515125,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6208,"setup_ns":5666,"storage_ns":469416,"stored_payload_bytes":3,"total_ns":643166,"trace_capacity_bytes":384,"verification_ns":537625},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":140667,"execution_ns":24750,"process_ns":6551250,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5875,"setup_ns":5708,"storage_ns":469250,"stored_payload_bytes":3,"total_ns":646458,"trace_capacity_bytes":384,"verification_ns":520209},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":144833,"execution_ns":25834,"process_ns":6453625,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5959,"setup_ns":5583,"storage_ns":458125,"stored_payload_bytes":3,"total_ns":640458,"trace_capacity_bytes":384,"verification_ns":498959},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":146875,"execution_ns":26708,"process_ns":6668250,"process_peak_rss_bytes":2572288,"serialization_hash_ns":6250,"setup_ns":5708,"storage_ns":473291,"stored_payload_bytes":3,"total_ns":659000,"trace_capacity_bytes":384,"verification_ns":522834},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":141834,"execution_ns":34875,"process_ns":6710500,"process_peak_rss_bytes":2572288,"serialization_hash_ns":5958,"setup_ns":5500,"storage_ns":471167,"stored_payload_bytes":3,"total_ns":659500,"trace_capacity_bytes":384,"verification_ns":547208},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":144084,"execution_ns":24834,"process_ns":6481083,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6042,"setup_ns":5750,"storage_ns":440417,"stored_payload_bytes":3,"total_ns":621250,"trace_capacity_bytes":384,"verification_ns":509791},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":147667,"execution_ns":24084,"process_ns":9148917,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6125,"setup_ns":5875,"storage_ns":2877375,"stored_payload_bytes":3,"total_ns":3061208,"trace_capacity_bytes":384,"verification_ns":514208},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":139459,"execution_ns":26333,"process_ns":6591916,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6166,"setup_ns":5542,"storage_ns":453458,"stored_payload_bytes":3,"total_ns":631042,"trace_capacity_bytes":384,"verification_ns":533083},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":139042,"execution_ns":27208,"process_ns":6696917,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6083,"setup_ns":6542,"storage_ns":467583,"stored_payload_bytes":3,"total_ns":646625,"trace_capacity_bytes":384,"verification_ns":519625},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":140792,"execution_ns":24167,"process_ns":6300250,"process_peak_rss_bytes":2572288,"serialization_hash_ns":6250,"setup_ns":5625,"storage_ns":415916,"stored_payload_bytes":3,"total_ns":592875,"trace_capacity_bytes":384,"verification_ns":523792},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":146958,"execution_ns":25375,"process_ns":6319291,"process_peak_rss_bytes":2572288,"serialization_hash_ns":6042,"setup_ns":5542,"storage_ns":431041,"stored_payload_bytes":3,"total_ns":615125,"trace_capacity_bytes":384,"verification_ns":516500},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":134125,"execution_ns":23792,"process_ns":6256416,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5958,"setup_ns":5792,"storage_ns":419875,"stored_payload_bytes":3,"total_ns":589750,"trace_capacity_bytes":384,"verification_ns":505375},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":139167,"execution_ns":23916,"process_ns":6294042,"process_peak_rss_bytes":2572288,"serialization_hash_ns":6042,"setup_ns":5792,"storage_ns":427459,"stored_payload_bytes":3,"total_ns":602584,"trace_capacity_bytes":384,"verification_ns":546375},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":135500,"execution_ns":23625,"process_ns":6526041,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6042,"setup_ns":5709,"storage_ns":435000,"stored_payload_bytes":3,"total_ns":606000,"trace_capacity_bytes":384,"verification_ns":533792},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":135083,"execution_ns":24375,"process_ns":6251834,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6083,"setup_ns":5542,"storage_ns":431458,"stored_payload_bytes":3,"total_ns":602792,"trace_capacity_bytes":384,"verification_ns":499083},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":142625,"execution_ns":24000,"process_ns":6275959,"process_peak_rss_bytes":2572288,"serialization_hash_ns":6000,"setup_ns":5875,"storage_ns":414292,"stored_payload_bytes":3,"total_ns":592958,"trace_capacity_bytes":384,"verification_ns":498083},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":140250,"execution_ns":23667,"process_ns":6458834,"process_peak_rss_bytes":2572288,"serialization_hash_ns":6041,"setup_ns":5583,"storage_ns":450250,"stored_payload_bytes":3,"total_ns":625917,"trace_capacity_bytes":384,"verification_ns":542750},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":139334,"execution_ns":23333,"process_ns":6324833,"process_peak_rss_bytes":2572288,"serialization_hash_ns":5833,"setup_ns":5625,"storage_ns":409667,"stored_payload_bytes":3,"total_ns":583958,"trace_capacity_bytes":384,"verification_ns":481333},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":136583,"execution_ns":25792,"process_ns":6303834,"process_peak_rss_bytes":2572288,"serialization_hash_ns":6000,"setup_ns":5541,"storage_ns":433917,"stored_payload_bytes":3,"total_ns":608000,"trace_capacity_bytes":384,"verification_ns":461875},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":141833,"execution_ns":24667,"process_ns":6509875,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5959,"setup_ns":5792,"storage_ns":460125,"stored_payload_bytes":3,"total_ns":638500,"trace_capacity_bytes":384,"verification_ns":539833},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":133917,"execution_ns":24708,"process_ns":6559375,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6041,"setup_ns":5750,"storage_ns":464417,"stored_payload_bytes":3,"total_ns":635000,"trace_capacity_bytes":384,"verification_ns":515375},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":148333,"execution_ns":24084,"process_ns":6545250,"process_peak_rss_bytes":2588672,"serialization_hash_ns":6000,"setup_ns":5625,"storage_ns":443792,"stored_payload_bytes":3,"total_ns":627959,"trace_capacity_bytes":384,"verification_ns":531875},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":138791,"execution_ns":24833,"process_ns":6526625,"process_peak_rss_bytes":2539520,"serialization_hash_ns":5958,"setup_ns":5625,"storage_ns":436875,"stored_payload_bytes":3,"total_ns":612292,"trace_capacity_bytes":384,"verification_ns":546292},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":141375,"execution_ns":26292,"process_ns":6471792,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5916,"setup_ns":5583,"storage_ns":432458,"stored_payload_bytes":3,"total_ns":611750,"trace_capacity_bytes":384,"verification_ns":498541},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":141167,"execution_ns":23709,"process_ns":6481708,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6125,"setup_ns":5750,"storage_ns":460500,"stored_payload_bytes":3,"total_ns":637375,"trace_capacity_bytes":384,"verification_ns":526833},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":140458,"execution_ns":24292,"process_ns":6493250,"process_peak_rss_bytes":2572288,"serialization_hash_ns":6000,"setup_ns":5917,"storage_ns":456000,"stored_payload_bytes":3,"total_ns":632834,"trace_capacity_bytes":384,"verification_ns":527875}],"baseline":[{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":138292,"execution_ns":21709,"process_ns":6365833,"process_peak_rss_bytes":2523136,"serialization_hash_ns":5959,"setup_ns":5209,"storage_ns":422791,"stored_payload_bytes":3,"total_ns":594084,"trace_capacity_bytes":384,"verification_ns":496416},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":137834,"execution_ns":22542,"process_ns":6288042,"process_peak_rss_bytes":2539520,"serialization_hash_ns":5917,"setup_ns":4791,"storage_ns":446291,"stored_payload_bytes":3,"total_ns":617541,"trace_capacity_bytes":384,"verification_ns":520541},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":138417,"execution_ns":23084,"process_ns":6438125,"process_peak_rss_bytes":2506752,"serialization_hash_ns":6000,"setup_ns":4833,"storage_ns":460833,"stored_payload_bytes":3,"total_ns":633292,"trace_capacity_bytes":384,"verification_ns":543708},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":132458,"execution_ns":23292,"process_ns":6289500,"process_peak_rss_bytes":2523136,"serialization_hash_ns":5916,"setup_ns":4834,"storage_ns":424917,"stored_payload_bytes":3,"total_ns":591584,"trace_capacity_bytes":384,"verification_ns":500042},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":133125,"execution_ns":22500,"process_ns":6461958,"process_peak_rss_bytes":2506752,"serialization_hash_ns":5958,"setup_ns":4834,"storage_ns":461291,"stored_payload_bytes":3,"total_ns":627792,"trace_capacity_bytes":384,"verification_ns":518584},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":136750,"execution_ns":22084,"process_ns":6698916,"process_peak_rss_bytes":2523136,"serialization_hash_ns":5959,"setup_ns":4916,"storage_ns":482917,"stored_payload_bytes":3,"total_ns":652791,"trace_capacity_bytes":384,"verification_ns":534125},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":137958,"execution_ns":22209,"process_ns":6535708,"process_peak_rss_bytes":2523136,"serialization_hash_ns":5959,"setup_ns":4750,"storage_ns":460416,"stored_payload_bytes":3,"total_ns":631458,"trace_capacity_bytes":384,"verification_ns":577792},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":136208,"execution_ns":24125,"process_ns":6430542,"process_peak_rss_bytes":2539520,"serialization_hash_ns":5959,"setup_ns":4917,"storage_ns":435625,"stored_payload_bytes":3,"total_ns":606875,"trace_capacity_bytes":384,"verification_ns":518000},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":138667,"execution_ns":22792,"process_ns":6541250,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6000,"setup_ns":4917,"storage_ns":468334,"stored_payload_bytes":3,"total_ns":640834,"trace_capacity_bytes":384,"verification_ns":530208},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":135083,"execution_ns":23125,"process_ns":6524791,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6042,"setup_ns":5084,"storage_ns":452916,"stored_payload_bytes":3,"total_ns":622417,"trace_capacity_bytes":384,"verification_ns":510542},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":138500,"execution_ns":21625,"process_ns":8976541,"process_peak_rss_bytes":2523136,"serialization_hash_ns":5917,"setup_ns":5208,"storage_ns":2799208,"stored_payload_bytes":3,"total_ns":2970625,"trace_capacity_bytes":384,"verification_ns":524833},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":136708,"execution_ns":23125,"process_ns":6716625,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6250,"setup_ns":5083,"storage_ns":464042,"stored_payload_bytes":3,"total_ns":635291,"trace_capacity_bytes":384,"verification_ns":548250},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":138167,"execution_ns":21625,"process_ns":6500209,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6125,"setup_ns":4916,"storage_ns":457417,"stored_payload_bytes":3,"total_ns":628500,"trace_capacity_bytes":384,"verification_ns":511458},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":136917,"execution_ns":22167,"process_ns":6238625,"process_peak_rss_bytes":2523136,"serialization_hash_ns":5958,"setup_ns":4917,"storage_ns":408583,"stored_payload_bytes":3,"total_ns":578625,"trace_capacity_bytes":384,"verification_ns":511916},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":132458,"execution_ns":21834,"process_ns":6192125,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6042,"setup_ns":4917,"storage_ns":423000,"stored_payload_bytes":3,"total_ns":588417,"trace_capacity_bytes":384,"verification_ns":509625},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":133250,"execution_ns":21959,"process_ns":6254375,"process_peak_rss_bytes":2539520,"serialization_hash_ns":5875,"setup_ns":4875,"storage_ns":435959,"stored_payload_bytes":3,"total_ns":602042,"trace_capacity_bytes":384,"verification_ns":499291},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":133875,"execution_ns":24917,"process_ns":6366625,"process_peak_rss_bytes":2523136,"serialization_hash_ns":5750,"setup_ns":4875,"storage_ns":429709,"stored_payload_bytes":3,"total_ns":599333,"trace_capacity_bytes":384,"verification_ns":481416},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":137250,"execution_ns":23000,"process_ns":6460375,"process_peak_rss_bytes":2523136,"serialization_hash_ns":5917,"setup_ns":4875,"storage_ns":502959,"stored_payload_bytes":3,"total_ns":674167,"trace_capacity_bytes":384,"verification_ns":520375},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":136292,"execution_ns":23000,"process_ns":6469250,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6125,"setup_ns":4834,"storage_ns":450833,"stored_payload_bytes":3,"total_ns":621250,"trace_capacity_bytes":384,"verification_ns":501583},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":135417,"execution_ns":22875,"process_ns":6255917,"process_peak_rss_bytes":2506752,"serialization_hash_ns":6041,"setup_ns":4708,"storage_ns":457083,"stored_payload_bytes":3,"total_ns":626291,"trace_capacity_bytes":384,"verification_ns":497916},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":132792,"execution_ns":22250,"process_ns":6272459,"process_peak_rss_bytes":2506752,"serialization_hash_ns":5875,"setup_ns":4792,"storage_ns":426667,"stored_payload_bytes":3,"total_ns":592500,"trace_capacity_bytes":384,"verification_ns":498125},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":139875,"execution_ns":22708,"process_ns":6298208,"process_peak_rss_bytes":2506752,"serialization_hash_ns":6125,"setup_ns":4792,"storage_ns":439041,"stored_payload_bytes":3,"total_ns":612709,"trace_capacity_bytes":384,"verification_ns":497833},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":137041,"execution_ns":22541,"process_ns":6298542,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6000,"setup_ns":4917,"storage_ns":420042,"stored_payload_bytes":3,"total_ns":590792,"trace_capacity_bytes":384,"verification_ns":502750},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":133000,"execution_ns":22959,"process_ns":6461167,"process_peak_rss_bytes":2506752,"serialization_hash_ns":6084,"setup_ns":4833,"storage_ns":434875,"stored_payload_bytes":3,"total_ns":601875,"trace_capacity_bytes":384,"verification_ns":499667},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":136708,"execution_ns":23250,"process_ns":6601833,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6084,"setup_ns":4958,"storage_ns":452834,"stored_payload_bytes":3,"total_ns":624000,"trace_capacity_bytes":384,"verification_ns":527708},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":139208,"execution_ns":24333,"process_ns":6832917,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6041,"setup_ns":4833,"storage_ns":468167,"stored_payload_bytes":3,"total_ns":642750,"trace_capacity_bytes":384,"verification_ns":517584},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":137625,"execution_ns":25042,"process_ns":6461208,"process_peak_rss_bytes":2523136,"serialization_hash_ns":5958,"setup_ns":4708,"storage_ns":477708,"stored_payload_bytes":3,"total_ns":651167,"trace_capacity_bytes":384,"verification_ns":485833},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":137084,"execution_ns":22459,"process_ns":6477541,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6000,"setup_ns":4834,"storage_ns":490167,"stored_payload_bytes":3,"total_ns":660750,"trace_capacity_bytes":384,"verification_ns":487250},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":133334,"execution_ns":22458,"process_ns":6546209,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6208,"setup_ns":4958,"storage_ns":453750,"stored_payload_bytes":3,"total_ns":620875,"trace_capacity_bytes":384,"verification_ns":515000},{"artifact_bytes":1459,"audit_capacity_bytes":432,"envelope_ns":138750,"execution_ns":22875,"process_ns":6422625,"process_peak_rss_bytes":2523136,"serialization_hash_ns":5750,"setup_ns":4750,"storage_ns":466750,"stored_payload_bytes":3,"total_ns":639000,"trace_capacity_bytes":384,"verification_ns":493625}],"changed-input":[{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":136917,"execution_ns":23625,"process_ns":7037791,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6125,"setup_ns":6125,"storage_ns":459417,"stored_payload_bytes":3,"total_ns":632417,"trace_capacity_bytes":384,"verification_ns":542375},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":139666,"execution_ns":23291,"process_ns":6336667,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6042,"setup_ns":6167,"storage_ns":441708,"stored_payload_bytes":3,"total_ns":617042,"trace_capacity_bytes":384,"verification_ns":518125},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":138250,"execution_ns":23667,"process_ns":6678209,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6209,"setup_ns":5750,"storage_ns":435417,"stored_payload_bytes":3,"total_ns":609500,"trace_capacity_bytes":384,"verification_ns":518875},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":136667,"execution_ns":23792,"process_ns":6329833,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5958,"setup_ns":5666,"storage_ns":441167,"stored_payload_bytes":3,"total_ns":613375,"trace_capacity_bytes":384,"verification_ns":500875},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":137875,"execution_ns":23542,"process_ns":6395500,"process_peak_rss_bytes":2572288,"serialization_hash_ns":5959,"setup_ns":5500,"storage_ns":433084,"stored_payload_bytes":3,"total_ns":606084,"trace_capacity_bytes":384,"verification_ns":522250},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":139250,"execution_ns":26625,"process_ns":6514250,"process_peak_rss_bytes":2572288,"serialization_hash_ns":5875,"setup_ns":5625,"storage_ns":472250,"stored_payload_bytes":3,"total_ns":649750,"trace_capacity_bytes":384,"verification_ns":511542},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":135584,"execution_ns":25084,"process_ns":6535959,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6125,"setup_ns":5625,"storage_ns":457625,"stored_payload_bytes":3,"total_ns":630166,"trace_capacity_bytes":384,"verification_ns":546375},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":137792,"execution_ns":24334,"process_ns":6728875,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6209,"setup_ns":5875,"storage_ns":435084,"stored_payload_bytes":3,"total_ns":609458,"trace_capacity_bytes":384,"verification_ns":535375},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":137834,"execution_ns":25291,"process_ns":6586500,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5917,"setup_ns":5584,"storage_ns":460625,"stored_payload_bytes":3,"total_ns":635375,"trace_capacity_bytes":384,"verification_ns":535792},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":140458,"execution_ns":23500,"process_ns":6506959,"process_peak_rss_bytes":2572288,"serialization_hash_ns":5833,"setup_ns":5833,"storage_ns":428000,"stored_payload_bytes":3,"total_ns":603708,"trace_capacity_bytes":384,"verification_ns":523458},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":140208,"execution_ns":25000,"process_ns":6462625,"process_peak_rss_bytes":2539520,"serialization_hash_ns":5958,"setup_ns":5666,"storage_ns":453625,"stored_payload_bytes":3,"total_ns":630625,"trace_capacity_bytes":384,"verification_ns":515708},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":137917,"execution_ns":24875,"process_ns":6564208,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6125,"setup_ns":5833,"storage_ns":466250,"stored_payload_bytes":3,"total_ns":641166,"trace_capacity_bytes":384,"verification_ns":513541},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":140000,"execution_ns":24375,"process_ns":6563333,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6083,"setup_ns":5875,"storage_ns":449000,"stored_payload_bytes":3,"total_ns":625417,"trace_capacity_bytes":384,"verification_ns":530791},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":138709,"execution_ns":23833,"process_ns":6286458,"process_peak_rss_bytes":2588672,"serialization_hash_ns":5875,"setup_ns":5667,"storage_ns":409166,"stored_payload_bytes":3,"total_ns":583334,"trace_capacity_bytes":384,"verification_ns":481792},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":137334,"execution_ns":23500,"process_ns":6565958,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6042,"setup_ns":5625,"storage_ns":451334,"stored_payload_bytes":3,"total_ns":624000,"trace_capacity_bytes":384,"verification_ns":626666},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":135209,"execution_ns":23833,"process_ns":6366708,"process_peak_rss_bytes":2572288,"serialization_hash_ns":5833,"setup_ns":5750,"storage_ns":443917,"stored_payload_bytes":3,"total_ns":614708,"trace_capacity_bytes":384,"verification_ns":494959},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":138083,"execution_ns":23750,"process_ns":6379167,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5750,"setup_ns":5834,"storage_ns":460542,"stored_payload_bytes":3,"total_ns":634042,"trace_capacity_bytes":384,"verification_ns":481292},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":137834,"execution_ns":29000,"process_ns":6411750,"process_peak_rss_bytes":2572288,"serialization_hash_ns":5792,"setup_ns":5584,"storage_ns":462125,"stored_payload_bytes":3,"total_ns":640459,"trace_capacity_bytes":384,"verification_ns":505792},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":137791,"execution_ns":23042,"process_ns":6216291,"process_peak_rss_bytes":2572288,"serialization_hash_ns":5959,"setup_ns":5458,"storage_ns":446583,"stored_payload_bytes":3,"total_ns":619000,"trace_capacity_bytes":384,"verification_ns":499583},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":138541,"execution_ns":23583,"process_ns":6252375,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5833,"setup_ns":5542,"storage_ns":436917,"stored_payload_bytes":3,"total_ns":610500,"trace_capacity_bytes":384,"verification_ns":494791},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":137042,"execution_ns":24250,"process_ns":6314833,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5875,"setup_ns":5625,"storage_ns":423083,"stored_payload_bytes":3,"total_ns":596000,"trace_capacity_bytes":384,"verification_ns":545834},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":133209,"execution_ns":24500,"process_ns":6212584,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6041,"setup_ns":5459,"storage_ns":444000,"stored_payload_bytes":3,"total_ns":613250,"trace_capacity_bytes":384,"verification_ns":461417},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":137417,"execution_ns":23792,"process_ns":6267500,"process_peak_rss_bytes":2539520,"serialization_hash_ns":5959,"setup_ns":5458,"storage_ns":440584,"stored_payload_bytes":3,"total_ns":613375,"trace_capacity_bytes":384,"verification_ns":483083},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":139875,"execution_ns":24041,"process_ns":6540083,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6167,"setup_ns":5583,"storage_ns":512042,"stored_payload_bytes":3,"total_ns":687875,"trace_capacity_bytes":384,"verification_ns":498792},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":135416,"execution_ns":23834,"process_ns":6464042,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6000,"setup_ns":5834,"storage_ns":443375,"stored_payload_bytes":3,"total_ns":614667,"trace_capacity_bytes":384,"verification_ns":515000},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":133875,"execution_ns":26166,"process_ns":6549666,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6125,"setup_ns":5792,"storage_ns":450750,"stored_payload_bytes":3,"total_ns":622834,"trace_capacity_bytes":384,"verification_ns":516500},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":142375,"execution_ns":25417,"process_ns":6540375,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6125,"setup_ns":5583,"storage_ns":466959,"stored_payload_bytes":3,"total_ns":646541,"trace_capacity_bytes":384,"verification_ns":502500},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":138333,"execution_ns":23833,"process_ns":6537416,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6083,"setup_ns":5959,"storage_ns":474916,"stored_payload_bytes":3,"total_ns":649292,"trace_capacity_bytes":384,"verification_ns":516667},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":141125,"execution_ns":23792,"process_ns":6489792,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6000,"setup_ns":5500,"storage_ns":443417,"stored_payload_bytes":3,"total_ns":620000,"trace_capacity_bytes":384,"verification_ns":532416},{"artifact_bytes":1516,"audit_capacity_bytes":432,"envelope_ns":136750,"execution_ns":24833,"process_ns":6566792,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6042,"setup_ns":5708,"storage_ns":471250,"stored_payload_bytes":3,"total_ns":644708,"trace_capacity_bytes":384,"verification_ns":538667}],"deny-store":[{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":140125,"execution_ns":24459,"process_ns":6396917,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6625,"setup_ns":5666,"storage_ns":307958,"stored_payload_bytes":0,"total_ns":485000,"trace_capacity_bytes":384,"verification_ns":426459},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":146500,"execution_ns":23541,"process_ns":6206542,"process_peak_rss_bytes":2506752,"serialization_hash_ns":6167,"setup_ns":5583,"storage_ns":312625,"stored_payload_bytes":0,"total_ns":494583,"trace_capacity_bytes":384,"verification_ns":433167},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":137167,"execution_ns":23916,"process_ns":6279209,"process_peak_rss_bytes":2506752,"serialization_hash_ns":6083,"setup_ns":5667,"storage_ns":296125,"stored_payload_bytes":0,"total_ns":469125,"trace_capacity_bytes":384,"verification_ns":405750},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":136250,"execution_ns":23875,"process_ns":6220916,"process_peak_rss_bytes":2523136,"serialization_hash_ns":5916,"setup_ns":5750,"storage_ns":304917,"stored_payload_bytes":0,"total_ns":476917,"trace_capacity_bytes":384,"verification_ns":420333},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":140542,"execution_ns":24208,"process_ns":6372541,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6083,"setup_ns":6083,"storage_ns":325458,"stored_payload_bytes":0,"total_ns":502541,"trace_capacity_bytes":384,"verification_ns":438042},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":168541,"execution_ns":23584,"process_ns":6308708,"process_peak_rss_bytes":2506752,"serialization_hash_ns":6000,"setup_ns":5666,"storage_ns":319625,"stored_payload_bytes":0,"total_ns":523583,"trace_capacity_bytes":384,"verification_ns":408208},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":135083,"execution_ns":24792,"process_ns":6487542,"process_peak_rss_bytes":2506752,"serialization_hash_ns":6083,"setup_ns":5625,"storage_ns":324208,"stored_payload_bytes":0,"total_ns":495917,"trace_capacity_bytes":384,"verification_ns":432834},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":139333,"execution_ns":26833,"process_ns":8083333,"process_peak_rss_bytes":2506752,"serialization_hash_ns":6291,"setup_ns":5833,"storage_ns":344833,"stored_payload_bytes":0,"total_ns":523333,"trace_capacity_bytes":384,"verification_ns":475292},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":144125,"execution_ns":24125,"process_ns":6384833,"process_peak_rss_bytes":2506752,"serialization_hash_ns":5875,"setup_ns":5750,"storage_ns":312333,"stored_payload_bytes":0,"total_ns":492417,"trace_capacity_bytes":384,"verification_ns":428042},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":138833,"execution_ns":24000,"process_ns":6347625,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6083,"setup_ns":5583,"storage_ns":331125,"stored_payload_bytes":0,"total_ns":505708,"trace_capacity_bytes":384,"verification_ns":442375},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":140625,"execution_ns":24375,"process_ns":6453500,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6042,"setup_ns":5959,"storage_ns":303625,"stored_payload_bytes":0,"total_ns":480792,"trace_capacity_bytes":384,"verification_ns":409042},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":141584,"execution_ns":23792,"process_ns":6392541,"process_peak_rss_bytes":2523136,"serialization_hash_ns":5958,"setup_ns":5500,"storage_ns":307583,"stored_payload_bytes":0,"total_ns":484500,"trace_capacity_bytes":384,"verification_ns":398750},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":135667,"execution_ns":24208,"process_ns":6306417,"process_peak_rss_bytes":2523136,"serialization_hash_ns":5959,"setup_ns":5458,"storage_ns":297291,"stored_payload_bytes":0,"total_ns":468666,"trace_capacity_bytes":384,"verification_ns":407333},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":137875,"execution_ns":24125,"process_ns":6155667,"process_peak_rss_bytes":2523136,"serialization_hash_ns":5916,"setup_ns":5666,"storage_ns":303167,"stored_payload_bytes":0,"total_ns":476875,"trace_capacity_bytes":384,"verification_ns":410292},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":132959,"execution_ns":24042,"process_ns":6238458,"process_peak_rss_bytes":2506752,"serialization_hash_ns":6083,"setup_ns":6125,"storage_ns":305666,"stored_payload_bytes":0,"total_ns":475000,"trace_capacity_bytes":384,"verification_ns":447500},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":136500,"execution_ns":23959,"process_ns":6111750,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6000,"setup_ns":5667,"storage_ns":315250,"stored_payload_bytes":0,"total_ns":487542,"trace_capacity_bytes":384,"verification_ns":406542},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":136833,"execution_ns":24333,"process_ns":6205292,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6042,"setup_ns":5750,"storage_ns":297292,"stored_payload_bytes":0,"total_ns":470459,"trace_capacity_bytes":384,"verification_ns":411417},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":135167,"execution_ns":23416,"process_ns":6203541,"process_peak_rss_bytes":2523136,"serialization_hash_ns":5958,"setup_ns":5583,"storage_ns":317000,"stored_payload_bytes":0,"total_ns":487291,"trace_capacity_bytes":384,"verification_ns":419250},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":138000,"execution_ns":35459,"process_ns":6189250,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6375,"setup_ns":5667,"storage_ns":304333,"stored_payload_bytes":0,"total_ns":489917,"trace_capacity_bytes":384,"verification_ns":424500},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":135000,"execution_ns":24125,"process_ns":6202541,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6042,"setup_ns":5583,"storage_ns":288875,"stored_payload_bytes":0,"total_ns":459708,"trace_capacity_bytes":384,"verification_ns":437083},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":140750,"execution_ns":24208,"process_ns":6275042,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6125,"setup_ns":5792,"storage_ns":296500,"stored_payload_bytes":0,"total_ns":473500,"trace_capacity_bytes":384,"verification_ns":413459},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":137417,"execution_ns":23541,"process_ns":6075250,"process_peak_rss_bytes":2506752,"serialization_hash_ns":6042,"setup_ns":5667,"storage_ns":293750,"stored_payload_bytes":0,"total_ns":466625,"trace_capacity_bytes":384,"verification_ns":435000},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":134792,"execution_ns":23792,"process_ns":6164083,"process_peak_rss_bytes":2523136,"serialization_hash_ns":5916,"setup_ns":5541,"storage_ns":294417,"stored_payload_bytes":0,"total_ns":464625,"trace_capacity_bytes":384,"verification_ns":407291},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":151375,"execution_ns":23666,"process_ns":6191000,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6042,"setup_ns":5542,"storage_ns":317041,"stored_payload_bytes":0,"total_ns":503792,"trace_capacity_bytes":384,"verification_ns":444250},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":141500,"execution_ns":24834,"process_ns":6420500,"process_peak_rss_bytes":2539520,"serialization_hash_ns":5959,"setup_ns":5625,"storage_ns":325459,"stored_payload_bytes":0,"total_ns":503583,"trace_capacity_bytes":384,"verification_ns":433375},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":137916,"execution_ns":24542,"process_ns":6415750,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6000,"setup_ns":5667,"storage_ns":311958,"stored_payload_bytes":0,"total_ns":486250,"trace_capacity_bytes":384,"verification_ns":417750},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":138833,"execution_ns":24125,"process_ns":6329125,"process_peak_rss_bytes":2506752,"serialization_hash_ns":6084,"setup_ns":5792,"storage_ns":307667,"stored_payload_bytes":0,"total_ns":482625,"trace_capacity_bytes":384,"verification_ns":413458},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":139209,"execution_ns":26208,"process_ns":6410000,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6042,"setup_ns":5625,"storage_ns":325084,"stored_payload_bytes":0,"total_ns":502333,"trace_capacity_bytes":384,"verification_ns":434792},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":141834,"execution_ns":23500,"process_ns":6338083,"process_peak_rss_bytes":2523136,"serialization_hash_ns":6125,"setup_ns":5792,"storage_ns":305042,"stored_payload_bytes":0,"total_ns":482500,"trace_capacity_bytes":384,"verification_ns":411792},{"artifact_bytes":1465,"audit_capacity_bytes":432,"envelope_ns":134500,"execution_ns":25417,"process_ns":6320000,"process_peak_rss_bytes":2506752,"serialization_hash_ns":6041,"setup_ns":5500,"storage_ns":331334,"stored_payload_bytes":0,"total_ns":502916,"trace_capacity_bytes":384,"verification_ns":403084}],"deny-vm":[{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":134916,"execution_ns":22375,"process_ns":6071875,"process_peak_rss_bytes":2490368,"serialization_hash_ns":5667,"setup_ns":6500,"storage_ns":125,"stored_payload_bytes":0,"total_ns":169708,"trace_capacity_bytes":384,"verification_ns":209958},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":131916,"execution_ns":23792,"process_ns":5822584,"process_peak_rss_bytes":2490368,"serialization_hash_ns":5458,"setup_ns":5750,"storage_ns":83,"stored_payload_bytes":0,"total_ns":167167,"trace_capacity_bytes":384,"verification_ns":180667},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":135541,"execution_ns":21875,"process_ns":5935833,"process_peak_rss_bytes":2473984,"serialization_hash_ns":5375,"setup_ns":5833,"storage_ns":125,"stored_payload_bytes":0,"total_ns":168958,"trace_capacity_bytes":384,"verification_ns":196000},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":142958,"execution_ns":36959,"process_ns":5957750,"process_peak_rss_bytes":2473984,"serialization_hash_ns":5584,"setup_ns":5916,"storage_ns":167,"stored_payload_bytes":0,"total_ns":191750,"trace_capacity_bytes":384,"verification_ns":212917},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":132833,"execution_ns":21750,"process_ns":6012250,"process_peak_rss_bytes":2473984,"serialization_hash_ns":5208,"setup_ns":5500,"storage_ns":83,"stored_payload_bytes":0,"total_ns":165542,"trace_capacity_bytes":384,"verification_ns":198167},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":159500,"execution_ns":24250,"process_ns":6121458,"process_peak_rss_bytes":2506752,"serialization_hash_ns":5666,"setup_ns":15917,"storage_ns":167,"stored_payload_bytes":0,"total_ns":205667,"trace_capacity_bytes":384,"verification_ns":194458},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":131000,"execution_ns":24833,"process_ns":6015250,"process_peak_rss_bytes":2457600,"serialization_hash_ns":5416,"setup_ns":5708,"storage_ns":125,"stored_payload_bytes":0,"total_ns":167166,"trace_capacity_bytes":384,"verification_ns":206500},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":136125,"execution_ns":22292,"process_ns":6089709,"process_peak_rss_bytes":2490368,"serialization_hash_ns":5292,"setup_ns":5833,"storage_ns":125,"stored_payload_bytes":0,"total_ns":169833,"trace_capacity_bytes":384,"verification_ns":196250},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":137000,"execution_ns":25916,"process_ns":6000500,"process_peak_rss_bytes":2490368,"serialization_hash_ns":5375,"setup_ns":5667,"storage_ns":83,"stored_payload_bytes":0,"total_ns":174167,"trace_capacity_bytes":384,"verification_ns":211250},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":140375,"execution_ns":22166,"process_ns":6123875,"process_peak_rss_bytes":2457600,"serialization_hash_ns":5375,"setup_ns":5459,"storage_ns":83,"stored_payload_bytes":0,"total_ns":173625,"trace_capacity_bytes":384,"verification_ns":207458},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":137458,"execution_ns":23000,"process_ns":6248000,"process_peak_rss_bytes":2473984,"serialization_hash_ns":5375,"setup_ns":5792,"storage_ns":83,"stored_payload_bytes":0,"total_ns":171875,"trace_capacity_bytes":384,"verification_ns":217500},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":133500,"execution_ns":27834,"process_ns":6076416,"process_peak_rss_bytes":2473984,"serialization_hash_ns":5500,"setup_ns":5625,"storage_ns":83,"stored_payload_bytes":0,"total_ns":172708,"trace_capacity_bytes":384,"verification_ns":215958},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":133917,"execution_ns":22417,"process_ns":5993625,"process_peak_rss_bytes":2473984,"serialization_hash_ns":5209,"setup_ns":5916,"storage_ns":125,"stored_payload_bytes":0,"total_ns":167750,"trace_capacity_bytes":384,"verification_ns":213417},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":131834,"execution_ns":23000,"process_ns":5874834,"process_peak_rss_bytes":2457600,"serialization_hash_ns":5416,"setup_ns":6083,"storage_ns":125,"stored_payload_bytes":0,"total_ns":166542,"trace_capacity_bytes":384,"verification_ns":192291},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":134125,"execution_ns":21542,"process_ns":6182500,"process_peak_rss_bytes":2473984,"serialization_hash_ns":5417,"setup_ns":5833,"storage_ns":83,"stored_payload_bytes":0,"total_ns":167125,"trace_capacity_bytes":384,"verification_ns":204209},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":128500,"execution_ns":22375,"process_ns":5833250,"process_peak_rss_bytes":2457600,"serialization_hash_ns":5334,"setup_ns":5834,"storage_ns":83,"stored_payload_bytes":0,"total_ns":162250,"trace_capacity_bytes":384,"verification_ns":194333},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":131333,"execution_ns":22500,"process_ns":5902292,"process_peak_rss_bytes":2473984,"serialization_hash_ns":5375,"setup_ns":5667,"storage_ns":83,"stored_payload_bytes":0,"total_ns":165084,"trace_capacity_bytes":384,"verification_ns":201625},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":135167,"execution_ns":23125,"process_ns":5847458,"process_peak_rss_bytes":2506752,"serialization_hash_ns":5375,"setup_ns":5792,"storage_ns":83,"stored_payload_bytes":0,"total_ns":169667,"trace_capacity_bytes":384,"verification_ns":220250},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":132541,"execution_ns":22250,"process_ns":5926708,"process_peak_rss_bytes":2473984,"serialization_hash_ns":5417,"setup_ns":5667,"storage_ns":84,"stored_payload_bytes":0,"total_ns":166125,"trace_capacity_bytes":384,"verification_ns":199042},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":129917,"execution_ns":22167,"process_ns":5885083,"process_peak_rss_bytes":2473984,"serialization_hash_ns":5209,"setup_ns":5875,"storage_ns":125,"stored_payload_bytes":0,"total_ns":163500,"trace_capacity_bytes":384,"verification_ns":191084},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":133375,"execution_ns":23541,"process_ns":5910333,"process_peak_rss_bytes":2457600,"serialization_hash_ns":5583,"setup_ns":5750,"storage_ns":83,"stored_payload_bytes":0,"total_ns":168542,"trace_capacity_bytes":384,"verification_ns":193542},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":132542,"execution_ns":22500,"process_ns":5783167,"process_peak_rss_bytes":2490368,"serialization_hash_ns":5375,"setup_ns":5792,"storage_ns":83,"stored_payload_bytes":0,"total_ns":166500,"trace_capacity_bytes":384,"verification_ns":193792},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":132125,"execution_ns":24167,"process_ns":5879875,"process_peak_rss_bytes":2506752,"serialization_hash_ns":5334,"setup_ns":5750,"storage_ns":83,"stored_payload_bytes":0,"total_ns":167542,"trace_capacity_bytes":384,"verification_ns":193792},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":149041,"execution_ns":25334,"process_ns":6050542,"process_peak_rss_bytes":2506752,"serialization_hash_ns":5542,"setup_ns":5833,"storage_ns":125,"stored_payload_bytes":0,"total_ns":186000,"trace_capacity_bytes":384,"verification_ns":230084},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":133000,"execution_ns":25583,"process_ns":6116375,"process_peak_rss_bytes":2457600,"serialization_hash_ns":5333,"setup_ns":5875,"storage_ns":42,"stored_payload_bytes":0,"total_ns":170000,"trace_capacity_bytes":384,"verification_ns":206250},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":136416,"execution_ns":22416,"process_ns":6137375,"process_peak_rss_bytes":2457600,"serialization_hash_ns":5458,"setup_ns":5709,"storage_ns":167,"stored_payload_bytes":0,"total_ns":170250,"trace_capacity_bytes":384,"verification_ns":206167},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":156416,"execution_ns":24792,"process_ns":6288500,"process_peak_rss_bytes":2490368,"serialization_hash_ns":5334,"setup_ns":5916,"storage_ns":83,"stored_payload_bytes":0,"total_ns":192708,"trace_capacity_bytes":384,"verification_ns":217583},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":133083,"execution_ns":21709,"process_ns":6027125,"process_peak_rss_bytes":2473984,"serialization_hash_ns":5167,"setup_ns":5625,"storage_ns":83,"stored_payload_bytes":0,"total_ns":165833,"trace_capacity_bytes":384,"verification_ns":198959},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":134667,"execution_ns":24208,"process_ns":6037375,"process_peak_rss_bytes":2457600,"serialization_hash_ns":5250,"setup_ns":5667,"storage_ns":84,"stored_payload_bytes":0,"total_ns":170042,"trace_capacity_bytes":384,"verification_ns":194250},{"artifact_bytes":1443,"audit_capacity_bytes":432,"envelope_ns":134250,"execution_ns":24083,"process_ns":6060959,"process_peak_rss_bytes":2490368,"serialization_hash_ns":5500,"setup_ns":5875,"storage_ns":84,"stored_payload_bytes":0,"total_ns":169958,"trace_capacity_bytes":384,"verification_ns":185667}],"division-zero":[{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":224541,"execution_ns":11291,"process_ns":5831792,"process_peak_rss_bytes":2457600,"serialization_hash_ns":4500,"setup_ns":5917,"storage_ns":125,"stored_payload_bytes":0,"total_ns":246500,"trace_capacity_bytes":192,"verification_ns":191875},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":227208,"execution_ns":11125,"process_ns":5786458,"process_peak_rss_bytes":2457600,"serialization_hash_ns":4458,"setup_ns":5750,"storage_ns":83,"stored_payload_bytes":0,"total_ns":248833,"trace_capacity_bytes":192,"verification_ns":174000},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":242500,"execution_ns":11334,"process_ns":5919583,"process_peak_rss_bytes":2457600,"serialization_hash_ns":4541,"setup_ns":5916,"storage_ns":125,"stored_payload_bytes":0,"total_ns":264541,"trace_capacity_bytes":192,"verification_ns":199667},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":232083,"execution_ns":11208,"process_ns":5841416,"process_peak_rss_bytes":2473984,"serialization_hash_ns":4542,"setup_ns":5708,"storage_ns":83,"stored_payload_bytes":0,"total_ns":253792,"trace_capacity_bytes":192,"verification_ns":199583},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":254625,"execution_ns":11125,"process_ns":5945042,"process_peak_rss_bytes":2457600,"serialization_hash_ns":4500,"setup_ns":5667,"storage_ns":84,"stored_payload_bytes":0,"total_ns":276125,"trace_capacity_bytes":192,"verification_ns":204334},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":246625,"execution_ns":11292,"process_ns":6017958,"process_peak_rss_bytes":2473984,"serialization_hash_ns":4542,"setup_ns":5750,"storage_ns":125,"stored_payload_bytes":0,"total_ns":268459,"trace_capacity_bytes":192,"verification_ns":194083},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":248958,"execution_ns":11333,"process_ns":6018125,"process_peak_rss_bytes":2473984,"serialization_hash_ns":4625,"setup_ns":5875,"storage_ns":125,"stored_payload_bytes":0,"total_ns":271084,"trace_capacity_bytes":192,"verification_ns":201084},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":245834,"execution_ns":11417,"process_ns":6936916,"process_peak_rss_bytes":2473984,"serialization_hash_ns":4458,"setup_ns":5750,"storage_ns":167,"stored_payload_bytes":0,"total_ns":267709,"trace_capacity_bytes":192,"verification_ns":245000},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":256709,"execution_ns":11833,"process_ns":6108875,"process_peak_rss_bytes":2473984,"serialization_hash_ns":4666,"setup_ns":7125,"storage_ns":125,"stored_payload_bytes":0,"total_ns":280583,"trace_capacity_bytes":192,"verification_ns":192708},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":246500,"execution_ns":11417,"process_ns":5951125,"process_peak_rss_bytes":2473984,"serialization_hash_ns":4708,"setup_ns":5875,"storage_ns":0,"stored_payload_bytes":0,"total_ns":268667,"trace_capacity_bytes":192,"verification_ns":190042},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":269250,"execution_ns":11250,"process_ns":6018375,"process_peak_rss_bytes":2457600,"serialization_hash_ns":4500,"setup_ns":5584,"storage_ns":83,"stored_payload_bytes":0,"total_ns":290834,"trace_capacity_bytes":192,"verification_ns":212292},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":256834,"execution_ns":11167,"process_ns":6033667,"process_peak_rss_bytes":2473984,"serialization_hash_ns":4709,"setup_ns":5708,"storage_ns":84,"stored_payload_bytes":0,"total_ns":278667,"trace_capacity_bytes":192,"verification_ns":210333},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":260791,"execution_ns":11791,"process_ns":6055792,"process_peak_rss_bytes":2473984,"serialization_hash_ns":4625,"setup_ns":5833,"storage_ns":125,"stored_payload_bytes":0,"total_ns":283291,"trace_capacity_bytes":192,"verification_ns":203625},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":222917,"execution_ns":11125,"process_ns":5733084,"process_peak_rss_bytes":2473984,"serialization_hash_ns":4458,"setup_ns":5750,"storage_ns":83,"stored_payload_bytes":0,"total_ns":244500,"trace_capacity_bytes":192,"verification_ns":196916},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":229833,"execution_ns":10958,"process_ns":5800458,"process_peak_rss_bytes":2457600,"serialization_hash_ns":4417,"setup_ns":5875,"storage_ns":84,"stored_payload_bytes":0,"total_ns":251334,"trace_capacity_bytes":192,"verification_ns":187459},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":226042,"execution_ns":10750,"process_ns":5718584,"process_peak_rss_bytes":2473984,"serialization_hash_ns":4417,"setup_ns":5417,"storage_ns":125,"stored_payload_bytes":0,"total_ns":246958,"trace_capacity_bytes":192,"verification_ns":175000},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":231625,"execution_ns":11167,"process_ns":5829500,"process_peak_rss_bytes":2441216,"serialization_hash_ns":4625,"setup_ns":6958,"storage_ns":125,"stored_payload_bytes":0,"total_ns":254625,"trace_capacity_bytes":192,"verification_ns":191500},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":230500,"execution_ns":11250,"process_ns":5776000,"process_peak_rss_bytes":2473984,"serialization_hash_ns":4583,"setup_ns":5833,"storage_ns":125,"stored_payload_bytes":0,"total_ns":252416,"trace_capacity_bytes":192,"verification_ns":189791},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":239625,"execution_ns":10792,"process_ns":5987667,"process_peak_rss_bytes":2490368,"serialization_hash_ns":4584,"setup_ns":5625,"storage_ns":84,"stored_payload_bytes":0,"total_ns":260792,"trace_capacity_bytes":192,"verification_ns":195583},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":238375,"execution_ns":10834,"process_ns":5803958,"process_peak_rss_bytes":2473984,"serialization_hash_ns":4542,"setup_ns":5708,"storage_ns":83,"stored_payload_bytes":0,"total_ns":259667,"trace_capacity_bytes":192,"verification_ns":187583},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":232083,"execution_ns":11125,"process_ns":5749208,"process_peak_rss_bytes":2441216,"serialization_hash_ns":4583,"setup_ns":7000,"storage_ns":125,"stored_payload_bytes":0,"total_ns":255084,"trace_capacity_bytes":192,"verification_ns":198916},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":228042,"execution_ns":10917,"process_ns":5703084,"process_peak_rss_bytes":2457600,"serialization_hash_ns":4459,"setup_ns":5458,"storage_ns":125,"stored_payload_bytes":0,"total_ns":249125,"trace_capacity_bytes":192,"verification_ns":186375},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":240166,"execution_ns":11292,"process_ns":5868875,"process_peak_rss_bytes":2473984,"serialization_hash_ns":4458,"setup_ns":5917,"storage_ns":125,"stored_payload_bytes":0,"total_ns":262083,"trace_capacity_bytes":192,"verification_ns":194375},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":247125,"execution_ns":10917,"process_ns":5914333,"process_peak_rss_bytes":2457600,"serialization_hash_ns":4584,"setup_ns":6000,"storage_ns":125,"stored_payload_bytes":0,"total_ns":268875,"trace_capacity_bytes":192,"verification_ns":202583},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":252541,"execution_ns":11375,"process_ns":5958208,"process_peak_rss_bytes":2473984,"serialization_hash_ns":4625,"setup_ns":7709,"storage_ns":125,"stored_payload_bytes":0,"total_ns":276542,"trace_capacity_bytes":192,"verification_ns":196750},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":244666,"execution_ns":11708,"process_ns":6081125,"process_peak_rss_bytes":2473984,"serialization_hash_ns":4458,"setup_ns":5709,"storage_ns":125,"stored_payload_bytes":0,"total_ns":266792,"trace_capacity_bytes":192,"verification_ns":219000},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":252458,"execution_ns":11875,"process_ns":5967958,"process_peak_rss_bytes":2473984,"serialization_hash_ns":4625,"setup_ns":5834,"storage_ns":83,"stored_payload_bytes":0,"total_ns":275042,"trace_capacity_bytes":192,"verification_ns":211459},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":260167,"execution_ns":11000,"process_ns":6100583,"process_peak_rss_bytes":2473984,"serialization_hash_ns":5041,"setup_ns":5625,"storage_ns":83,"stored_payload_bytes":0,"total_ns":282125,"trace_capacity_bytes":192,"verification_ns":196833},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":256041,"execution_ns":11292,"process_ns":5888375,"process_peak_rss_bytes":2473984,"serialization_hash_ns":4667,"setup_ns":5833,"storage_ns":83,"stored_payload_bytes":0,"total_ns":278083,"trace_capacity_bytes":192,"verification_ns":203041},{"artifact_bytes":1308,"audit_capacity_bytes":0,"envelope_ns":232917,"execution_ns":11292,"process_ns":5821500,"process_peak_rss_bytes":2441216,"serialization_hash_ns":4542,"setup_ns":6958,"storage_ns":125,"stored_payload_bytes":0,"total_ns":255875,"trace_capacity_bytes":192,"verification_ns":192083}],"lower-bound":[{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":135167,"execution_ns":22958,"process_ns":6358417,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5792,"setup_ns":5708,"storage_ns":440834,"stored_payload_bytes":2,"total_ns":610625,"trace_capacity_bytes":384,"verification_ns":507792},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":138375,"execution_ns":24000,"process_ns":6336250,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6084,"setup_ns":5791,"storage_ns":452625,"stored_payload_bytes":2,"total_ns":626916,"trace_capacity_bytes":384,"verification_ns":535125},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":134542,"execution_ns":25458,"process_ns":6476250,"process_peak_rss_bytes":2572288,"serialization_hash_ns":6125,"setup_ns":5625,"storage_ns":429167,"stored_payload_bytes":2,"total_ns":601042,"trace_capacity_bytes":384,"verification_ns":511500},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":139292,"execution_ns":24375,"process_ns":6406417,"process_peak_rss_bytes":2572288,"serialization_hash_ns":5917,"setup_ns":5792,"storage_ns":444000,"stored_payload_bytes":2,"total_ns":619542,"trace_capacity_bytes":384,"verification_ns":519209},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":138875,"execution_ns":26167,"process_ns":6485000,"process_peak_rss_bytes":2572288,"serialization_hash_ns":6000,"setup_ns":5750,"storage_ns":503584,"stored_payload_bytes":2,"total_ns":680500,"trace_capacity_bytes":384,"verification_ns":536709},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":142209,"execution_ns":27208,"process_ns":6495875,"process_peak_rss_bytes":2572288,"serialization_hash_ns":5750,"setup_ns":5625,"storage_ns":465084,"stored_payload_bytes":2,"total_ns":646083,"trace_capacity_bytes":384,"verification_ns":511292},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":158333,"execution_ns":23000,"process_ns":6546458,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6167,"setup_ns":5584,"storage_ns":460250,"stored_payload_bytes":2,"total_ns":653542,"trace_capacity_bytes":384,"verification_ns":499625},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":146500,"execution_ns":24208,"process_ns":7113125,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5875,"setup_ns":5750,"storage_ns":530125,"stored_payload_bytes":2,"total_ns":712667,"trace_capacity_bytes":384,"verification_ns":566625},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":138417,"execution_ns":24208,"process_ns":6468583,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5917,"setup_ns":5666,"storage_ns":480166,"stored_payload_bytes":2,"total_ns":654500,"trace_capacity_bytes":384,"verification_ns":522208},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":140458,"execution_ns":23083,"process_ns":6584208,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6208,"setup_ns":5708,"storage_ns":495083,"stored_payload_bytes":2,"total_ns":670750,"trace_capacity_bytes":384,"verification_ns":538750},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":164125,"execution_ns":24209,"process_ns":6579042,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6000,"setup_ns":5916,"storage_ns":490125,"stored_payload_bytes":2,"total_ns":690541,"trace_capacity_bytes":384,"verification_ns":546416},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":144167,"execution_ns":23833,"process_ns":6626541,"process_peak_rss_bytes":2588672,"serialization_hash_ns":5917,"setup_ns":5750,"storage_ns":484042,"stored_payload_bytes":2,"total_ns":663792,"trace_capacity_bytes":384,"verification_ns":523792},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":136375,"execution_ns":24750,"process_ns":6565875,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6083,"setup_ns":5583,"storage_ns":445250,"stored_payload_bytes":2,"total_ns":618208,"trace_capacity_bytes":384,"verification_ns":522083},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":139000,"execution_ns":22625,"process_ns":6278792,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6041,"setup_ns":5625,"storage_ns":446917,"stored_payload_bytes":2,"total_ns":620375,"trace_capacity_bytes":384,"verification_ns":507083},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":133375,"execution_ns":24000,"process_ns":6305208,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6083,"setup_ns":5709,"storage_ns":453417,"stored_payload_bytes":2,"total_ns":622709,"trace_capacity_bytes":384,"verification_ns":522041},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":134125,"execution_ns":24166,"process_ns":6164667,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6042,"setup_ns":5708,"storage_ns":433209,"stored_payload_bytes":2,"total_ns":603416,"trace_capacity_bytes":384,"verification_ns":522459},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":134625,"execution_ns":24625,"process_ns":6340958,"process_peak_rss_bytes":2539520,"serialization_hash_ns":5916,"setup_ns":5875,"storage_ns":460084,"stored_payload_bytes":2,"total_ns":631208,"trace_capacity_bytes":384,"verification_ns":509292},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":133625,"execution_ns":24792,"process_ns":6258084,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6167,"setup_ns":5584,"storage_ns":454916,"stored_payload_bytes":2,"total_ns":625209,"trace_capacity_bytes":384,"verification_ns":521292},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":134125,"execution_ns":23417,"process_ns":6530917,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6042,"setup_ns":5792,"storage_ns":535083,"stored_payload_bytes":2,"total_ns":704584,"trace_capacity_bytes":384,"verification_ns":514375},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":134416,"execution_ns":23375,"process_ns":6299333,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6083,"setup_ns":5541,"storage_ns":448125,"stored_payload_bytes":2,"total_ns":617708,"trace_capacity_bytes":384,"verification_ns":508084},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":136042,"execution_ns":23958,"process_ns":6297250,"process_peak_rss_bytes":2539520,"serialization_hash_ns":5875,"setup_ns":5666,"storage_ns":434667,"stored_payload_bytes":2,"total_ns":606333,"trace_capacity_bytes":384,"verification_ns":498958},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":136000,"execution_ns":24208,"process_ns":6306375,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6000,"setup_ns":5625,"storage_ns":428250,"stored_payload_bytes":2,"total_ns":600292,"trace_capacity_bytes":384,"verification_ns":517500},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":140542,"execution_ns":23458,"process_ns":6530500,"process_peak_rss_bytes":2572288,"serialization_hash_ns":6042,"setup_ns":5583,"storage_ns":511375,"stored_payload_bytes":2,"total_ns":687125,"trace_capacity_bytes":384,"verification_ns":552667},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":136583,"execution_ns":22958,"process_ns":6470167,"process_peak_rss_bytes":2572288,"serialization_hash_ns":5917,"setup_ns":5708,"storage_ns":473583,"stored_payload_bytes":2,"total_ns":644917,"trace_capacity_bytes":384,"verification_ns":543375},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":137666,"execution_ns":24375,"process_ns":6531792,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6042,"setup_ns":5833,"storage_ns":493917,"stored_payload_bytes":2,"total_ns":668000,"trace_capacity_bytes":384,"verification_ns":534084},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":139167,"execution_ns":23542,"process_ns":6469417,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5916,"setup_ns":5708,"storage_ns":475583,"stored_payload_bytes":2,"total_ns":650042,"trace_capacity_bytes":384,"verification_ns":513666},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":139833,"execution_ns":23125,"process_ns":6461375,"process_peak_rss_bytes":2572288,"serialization_hash_ns":6167,"setup_ns":5709,"storage_ns":451459,"stored_payload_bytes":2,"total_ns":626459,"trace_capacity_bytes":384,"verification_ns":518834},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":138334,"execution_ns":24208,"process_ns":6502125,"process_peak_rss_bytes":2539520,"serialization_hash_ns":5791,"setup_ns":5542,"storage_ns":474167,"stored_payload_bytes":2,"total_ns":648167,"trace_capacity_bytes":384,"verification_ns":527833},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":138834,"execution_ns":24291,"process_ns":6499291,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5958,"setup_ns":5792,"storage_ns":492250,"stored_payload_bytes":2,"total_ns":667250,"trace_capacity_bytes":384,"verification_ns":523250},{"artifact_bytes":1508,"audit_capacity_bytes":432,"envelope_ns":136833,"execution_ns":23708,"process_ns":6483208,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6125,"setup_ns":5709,"storage_ns":439042,"stored_payload_bytes":2,"total_ns":611584,"trace_capacity_bytes":384,"verification_ns":547958}],"upper-bound":[{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":134208,"execution_ns":23208,"process_ns":6482416,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6167,"setup_ns":5750,"storage_ns":470917,"stored_payload_bytes":4,"total_ns":640417,"trace_capacity_bytes":384,"verification_ns":522417},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":137917,"execution_ns":24542,"process_ns":6342292,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6291,"setup_ns":5584,"storage_ns":423084,"stored_payload_bytes":4,"total_ns":597542,"trace_capacity_bytes":384,"verification_ns":507500},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":136125,"execution_ns":23584,"process_ns":6537167,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6000,"setup_ns":11375,"storage_ns":509542,"stored_payload_bytes":4,"total_ns":686791,"trace_capacity_bytes":384,"verification_ns":538042},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":141208,"execution_ns":24750,"process_ns":6301916,"process_peak_rss_bytes":2572288,"serialization_hash_ns":6042,"setup_ns":5583,"storage_ns":415166,"stored_payload_bytes":4,"total_ns":592916,"trace_capacity_bytes":384,"verification_ns":517334},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":142250,"execution_ns":24083,"process_ns":6504625,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6042,"setup_ns":5541,"storage_ns":493875,"stored_payload_bytes":4,"total_ns":671958,"trace_capacity_bytes":384,"verification_ns":527834},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":144458,"execution_ns":25333,"process_ns":6503084,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5875,"setup_ns":5750,"storage_ns":456750,"stored_payload_bytes":4,"total_ns":638333,"trace_capacity_bytes":384,"verification_ns":596334},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":134125,"execution_ns":23750,"process_ns":6506958,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6041,"setup_ns":5666,"storage_ns":472750,"stored_payload_bytes":4,"total_ns":642541,"trace_capacity_bytes":384,"verification_ns":542000},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":135292,"execution_ns":23625,"process_ns":6800250,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6083,"setup_ns":5791,"storage_ns":476083,"stored_payload_bytes":4,"total_ns":647000,"trace_capacity_bytes":384,"verification_ns":551375},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":139041,"execution_ns":109291,"process_ns":6643792,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6167,"setup_ns":5708,"storage_ns":462333,"stored_payload_bytes":4,"total_ns":722666,"trace_capacity_bytes":384,"verification_ns":553875},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":142375,"execution_ns":23625,"process_ns":6545959,"process_peak_rss_bytes":2588672,"serialization_hash_ns":6000,"setup_ns":5667,"storage_ns":458666,"stored_payload_bytes":4,"total_ns":636500,"trace_capacity_bytes":384,"verification_ns":558916},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":139584,"execution_ns":24625,"process_ns":8220500,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6166,"setup_ns":5583,"storage_ns":2021167,"stored_payload_bytes":4,"total_ns":2197250,"trace_capacity_bytes":384,"verification_ns":675041},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":139958,"execution_ns":25209,"process_ns":6782333,"process_peak_rss_bytes":2572288,"serialization_hash_ns":6084,"setup_ns":5667,"storage_ns":448958,"stored_payload_bytes":4,"total_ns":626000,"trace_capacity_bytes":384,"verification_ns":541292},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":138208,"execution_ns":24625,"process_ns":6627000,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5917,"setup_ns":5625,"storage_ns":457792,"stored_payload_bytes":4,"total_ns":632334,"trace_capacity_bytes":384,"verification_ns":530708},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":133958,"execution_ns":23875,"process_ns":6239500,"process_peak_rss_bytes":2539520,"serialization_hash_ns":5875,"setup_ns":5541,"storage_ns":417875,"stored_payload_bytes":4,"total_ns":587208,"trace_capacity_bytes":384,"verification_ns":496792},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":139917,"execution_ns":23916,"process_ns":6196417,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6292,"setup_ns":5792,"storage_ns":435584,"stored_payload_bytes":4,"total_ns":611709,"trace_capacity_bytes":384,"verification_ns":500875},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":135375,"execution_ns":23584,"process_ns":6241417,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6000,"setup_ns":5750,"storage_ns":438250,"stored_payload_bytes":4,"total_ns":609166,"trace_capacity_bytes":384,"verification_ns":498292},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":138167,"execution_ns":23834,"process_ns":6336042,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5959,"setup_ns":6000,"storage_ns":431959,"stored_payload_bytes":4,"total_ns":606083,"trace_capacity_bytes":384,"verification_ns":509792},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":135000,"execution_ns":24584,"process_ns":6464792,"process_peak_rss_bytes":2539520,"serialization_hash_ns":6125,"setup_ns":5667,"storage_ns":474167,"stored_payload_bytes":4,"total_ns":645750,"trace_capacity_bytes":384,"verification_ns":519959},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":137083,"execution_ns":29084,"process_ns":6440875,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6000,"setup_ns":5542,"storage_ns":508583,"stored_payload_bytes":4,"total_ns":686500,"trace_capacity_bytes":384,"verification_ns":523000},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":141583,"execution_ns":25125,"process_ns":6316209,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6042,"setup_ns":5667,"storage_ns":415750,"stored_payload_bytes":4,"total_ns":594292,"trace_capacity_bytes":384,"verification_ns":516125},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":140500,"execution_ns":26792,"process_ns":6390334,"process_peak_rss_bytes":2572288,"serialization_hash_ns":5875,"setup_ns":5666,"storage_ns":445958,"stored_payload_bytes":4,"total_ns":624958,"trace_capacity_bytes":384,"verification_ns":517333},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":139292,"execution_ns":23750,"process_ns":6361875,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6292,"setup_ns":5667,"storage_ns":448250,"stored_payload_bytes":4,"total_ns":623417,"trace_capacity_bytes":384,"verification_ns":495750},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":150959,"execution_ns":24584,"process_ns":6291000,"process_peak_rss_bytes":2588672,"serialization_hash_ns":6125,"setup_ns":5625,"storage_ns":430958,"stored_payload_bytes":4,"total_ns":618375,"trace_capacity_bytes":384,"verification_ns":516792},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":144083,"execution_ns":24834,"process_ns":6537958,"process_peak_rss_bytes":2572288,"serialization_hash_ns":6083,"setup_ns":5709,"storage_ns":471042,"stored_payload_bytes":4,"total_ns":651834,"trace_capacity_bytes":384,"verification_ns":522959},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":138958,"execution_ns":24542,"process_ns":6541583,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5833,"setup_ns":5708,"storage_ns":442541,"stored_payload_bytes":4,"total_ns":617750,"trace_capacity_bytes":384,"verification_ns":538917},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":145041,"execution_ns":23875,"process_ns":6543542,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5875,"setup_ns":5625,"storage_ns":470083,"stored_payload_bytes":4,"total_ns":650667,"trace_capacity_bytes":384,"verification_ns":519417},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":151166,"execution_ns":24291,"process_ns":6634000,"process_peak_rss_bytes":2572288,"serialization_hash_ns":5833,"setup_ns":5708,"storage_ns":470167,"stored_payload_bytes":4,"total_ns":657291,"trace_capacity_bytes":384,"verification_ns":519959},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":147500,"execution_ns":24542,"process_ns":6541708,"process_peak_rss_bytes":2555904,"serialization_hash_ns":6083,"setup_ns":5625,"storage_ns":444625,"stored_payload_bytes":4,"total_ns":628541,"trace_capacity_bytes":384,"verification_ns":512959},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":137708,"execution_ns":28625,"process_ns":6645708,"process_peak_rss_bytes":2572288,"serialization_hash_ns":6000,"setup_ns":5542,"storage_ns":480375,"stored_payload_bytes":4,"total_ns":658417,"trace_capacity_bytes":384,"verification_ns":508625},{"artifact_bytes":1509,"audit_capacity_bytes":432,"envelope_ns":140084,"execution_ns":24291,"process_ns":6632500,"process_peak_rss_bytes":2555904,"serialization_hash_ns":5917,"setup_ns":5709,"storage_ns":461500,"stored_payload_bytes":4,"total_ns":637584,"trace_capacity_bytes":384,"verification_ns":510792}]},"source_hashes":{"experiments/deterministic_provenance/run.py":"76705000605346fb0a7d50152fac180f40e352c95a339e2534ea3ad4efb74ee3","experiments/deterministic_provenance/runner.cpp":"43d79f9ef5d2ffdfb9da77601986860c01fc6a6b8b189655bcc97cd21ac2e639","experiments/deterministic_provenance/test_experiment.py":"5555b68f4a21b4e986456f514a3b6b80c9467887d848e300c5dc828d1cf28635","experiments/deterministic_provenance/verify.py":"25462bcba19665b7eb3956227ad5c3bc50680ded6a92deef40366a725665318d"},"tracked_tree_dirty":false,"verifier":"PASS for every run, including actual store inspection"}