Qualify the official Linux CE headless launcher and engine-native item references. Record real native CLI/MCP qualification, costs, failures and integration controls. Closes #4996 Co-authored-by: gensokyo-dev <342580529+gensokyo-dev@users.noreply.github.com> Co-authored-by: Kaoru0822 <208281322+kaoru0822-kitauji@users.noreply.github.com>
1734 lines
53 KiB
JSON
1734 lines
53 KiB
JSON
{
|
|
"issue": "https://github.com/morluto/rea/issues/4996",
|
|
"baseline": "7c458f04b9155707c8ba406f8b455b10016f1b99",
|
|
"scope": "Selected native method qualification and existing-cost audit. Documentation-only change; no provider/cache/API optimization or before/after speedup claim.",
|
|
"host": {
|
|
"platform": "Linux",
|
|
"kernel": "6.1.0-53-cloud-amd64",
|
|
"architecture": "x86_64",
|
|
"node": "24.18.0",
|
|
"npm": "11.16.0",
|
|
"jdk": "Temurin 21.0.12.1"
|
|
},
|
|
"engine": {
|
|
"distribution": "official Linux x64 JEB CE",
|
|
"version": "5.48.0.202610071539",
|
|
"mcp_server": "1.3.0",
|
|
"source_url": "https://www.pnfsoftware.com/dl?jeb4ce",
|
|
"asset_url": "https://jebbuilds2.s3.amazonaws.com/jeb4ce/jeb-ce-5.48.0.202610071539-JEBDecompiler-624458483834837192.zip",
|
|
"archive_bytes": 697549250,
|
|
"observed_archive_sha256": "709e7fe8e88bb0e9e2bc03b028f8b9fc78cec0289d04abe54fc26cda6369e175",
|
|
"download_verification": "Official HTTPS download and ZIP CRC checks; publisher signature not independently verified"
|
|
},
|
|
"resource_policy": {
|
|
"family_hard_bytes": 8589934592,
|
|
"early_stop_bytes": 7516192768,
|
|
"cpu_quota_percent": 100,
|
|
"affinity_logical_cpus": 1,
|
|
"swap_max_bytes": 0,
|
|
"host_start_min_bytes": 17179869184,
|
|
"host_early_stop_min_bytes": 8589934592,
|
|
"jvm_heap_max_mib": 1536,
|
|
"jvm_active_processors": 1,
|
|
"node_heap_limits_mib": {
|
|
"production_mcp": 2048,
|
|
"harness_and_cli": 3072
|
|
}
|
|
},
|
|
"targets": {
|
|
"fixture": {
|
|
"kind": "authored C ELF ET_EXEC",
|
|
"bytes": 17360,
|
|
"sha256": "1a6f55303712e096ff5196c7fd6e8acf75473fbf0f7467d7b315f96f50b3f841",
|
|
"oracle": "Authored multiplication/addition and GNU nm; ABI/sign and arbitrary-input equivalence unproved."
|
|
},
|
|
"sqlite": {
|
|
"kind": "Debian shipped ELF shared library",
|
|
"basename": "libsqlite3.so.0.8.6",
|
|
"package_version": "3.40.1-2+deb12u2",
|
|
"bytes": 1437848,
|
|
"sha256": "2e6eef9a727f081f0d453b4e5e6cbd8b9ef8b6f86cbf7681cbad444d3b0b55c8",
|
|
"oracle": "GNU nm and objdump: sqlite3_libversion_number returns immediate 3040001. No target executed."
|
|
}
|
|
},
|
|
"method": "Three alternating fresh-engine sessions per artifact, same unmodified compiled runtime. Fifteen public stdio MCP calls plus one warm CLI parity query, independent file/disassembly checks and owned engine/transport cleanup. OS and vendor file caches unflushed. Private fetch observer covers only the production MCP child, records request names/byte counts without response cloning; its overhead is included. Separate CLI upstream requests were not traced.",
|
|
"cost_scope": "Kernel cgroup v2 process-family CPU/peak incl. file cache, JVM, clients, public runtime, CLI parity and native oracle. Admission wait is separate. Outer guard/systemd manager, model usage and context for independent host/native oracles unmeasured. Payload exit counters verified while observer remains alive; vanished final whole-scope counters stay unknown.",
|
|
"tokenizer": {
|
|
"tokenizer": "tiktoken",
|
|
"version": "0.12.0",
|
|
"encoding": "cl100k_base",
|
|
"scope": "Offline serialization estimates. One full MCP catalog page-array, named arguments and raw replies, each once; replies contain text plus structured copies. Text-only reply tokens are reported separately. The combined estimate adds selected CLI arguments and stdout from parity validation. Actual model usage, prompts, initialization/protocol framing, client filtering/rendering/replay, shell framing, and independent native/host oracle context are unmeasured. These are validation exchanges, not a model investigation comparison."
|
|
},
|
|
"summaries": {
|
|
"fixture": {
|
|
"first_selected_mcp_ms": {
|
|
"median": 4133.963765999999,
|
|
"min": 3844.5735029999996,
|
|
"max": 5036.5129190000025
|
|
},
|
|
"six_warm_mcp_ms": {
|
|
"median": 253.19401599999765,
|
|
"min": 113.36850599999889,
|
|
"max": 842.8930099999998
|
|
},
|
|
"mcp_task_ms": {
|
|
"median": 18774.87861,
|
|
"min": 17709.53766,
|
|
"max": 23798.28777
|
|
},
|
|
"whole_guarded_elapsed_seconds": {
|
|
"median": 27.638,
|
|
"min": 26.749,
|
|
"max": 32.622
|
|
},
|
|
"whole_cpu_seconds": {
|
|
"median": 27.290905,
|
|
"min": 26.399026,
|
|
"max": 32.155006
|
|
},
|
|
"kernel_family_peak_mib": {
|
|
"median": 1540.05078125,
|
|
"min": 1531.53125,
|
|
"max": 1614.921875
|
|
},
|
|
"combined_raw_tokens": {
|
|
"median": 814610,
|
|
"min": 814606,
|
|
"max": 814622
|
|
}
|
|
},
|
|
"sqlite": {
|
|
"first_selected_mcp_ms": {
|
|
"median": 24508.233102000006,
|
|
"min": 22822.785593,
|
|
"max": 49976.75092
|
|
},
|
|
"six_warm_mcp_ms": {
|
|
"median": 189.96645800000988,
|
|
"min": 160.91890100000455,
|
|
"max": 416.875572999983
|
|
},
|
|
"mcp_task_ms": {
|
|
"median": 39532.798419,
|
|
"min": 37086.309161,
|
|
"max": 71439.818565
|
|
},
|
|
"whole_guarded_elapsed_seconds": {
|
|
"median": 48.296,
|
|
"min": 45.625,
|
|
"max": 82.039
|
|
},
|
|
"whole_cpu_seconds": {
|
|
"median": 47.752869,
|
|
"min": 45.370029,
|
|
"max": 78.876649
|
|
},
|
|
"kernel_family_peak_mib": {
|
|
"median": 1799.63671875,
|
|
"min": 1714.7109375,
|
|
"max": 1865.8203125
|
|
},
|
|
"combined_raw_tokens": {
|
|
"median": 815249,
|
|
"min": 815245,
|
|
"max": 815251
|
|
}
|
|
}
|
|
},
|
|
"runs": [
|
|
{
|
|
"run": "native-probe-final-fixture-1",
|
|
"artifact": "fixture",
|
|
"revision": "7c458f04b9155707c8ba406f8b455b10016f1b99",
|
|
"runtime_sha256": "0809b5004f214efa4b79775d5fda796eaecf4ad5756c55ee3b9d7cf82d91b750",
|
|
"target_sha256": "1a6f55303712e096ff5196c7fd6e8acf75473fbf0f7467d7b315f96f50b3f841",
|
|
"item_reference": "rea_probe_value",
|
|
"elf_symbol_address": "0x0000000000401126",
|
|
"status": "passed",
|
|
"calls": [
|
|
{
|
|
"name": "inspect_jeb_client",
|
|
"phase": "inspect",
|
|
"ms": 8109.564714,
|
|
"reply_bytes": 1755,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-full",
|
|
"ms": 61.12582199999997,
|
|
"reply_bytes": 2741,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-0",
|
|
"ms": 15.625228000000789,
|
|
"reply_bytes": 2151,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-1",
|
|
"ms": 15.032687999999325,
|
|
"reply_bytes": 2203,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-2",
|
|
"ms": 19.482457999998587,
|
|
"reply_bytes": 2215,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-3",
|
|
"ms": 28.23425700000007,
|
|
"reply_bytes": 1925,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-first",
|
|
"ms": 4133.963765999999,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-0",
|
|
"ms": 14.79469799999788,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-1",
|
|
"ms": 13.759468000000197,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-2",
|
|
"ms": 83.39495899999747,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-3",
|
|
"ms": 43.058624000001146,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-4",
|
|
"ms": 51.86701299999913,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-5",
|
|
"ms": 46.31925400000182,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-absent",
|
|
"ms": 48.526442999998835,
|
|
"reply_bytes": 748,
|
|
"isError": true
|
|
},
|
|
{
|
|
"name": "close_binary",
|
|
"phase": "close",
|
|
"ms": 5.0231789999998,
|
|
"reply_bytes": 169,
|
|
"isError": false
|
|
}
|
|
],
|
|
"catalog": {
|
|
"tools": 207,
|
|
"bytes": 3158927,
|
|
"sha256": "a1851aa1bfe3d72d6be6bec130519dbdfc1ee49288320cfac0144ced77755c61",
|
|
"ms": 1256.708189
|
|
},
|
|
"mcp_task_elapsed_ms": 18774.87861,
|
|
"cli_warm_parity_ms": 2632.80775,
|
|
"observed_mcp_child_upstream_request_counts": {
|
|
"initialize": 1,
|
|
"notifications/initialized": 1,
|
|
"tools/list": 1,
|
|
"get_client_information": 1,
|
|
"list_units": 5,
|
|
"decompile_code_item": 8
|
|
},
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 9.561004117131233e-5,
|
|
"guarded_elapsed_seconds": 27.638,
|
|
"cpu_seconds": 27.290905,
|
|
"kernel_family_peak_bytes": 1605926912,
|
|
"payload_exit_code": 0,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
},
|
|
"tokens": {
|
|
"run": "native-probe-final-fixture-1",
|
|
"catalog_tokens": 805330,
|
|
"named_mcp_arguments_tokens": 423,
|
|
"raw_mcp_reply_tokens": 8527,
|
|
"mcp_text_reply_tokens": 3963,
|
|
"recorded_mcp_calls": 15,
|
|
"mcp_raw_total_tokens": 814280,
|
|
"cli_selected_arguments_tokens": 33,
|
|
"cli_stdout_tokens": 309,
|
|
"combined_mcp_cli_raw_total_tokens": 814622
|
|
}
|
|
},
|
|
{
|
|
"run": "native-probe-final-sqlite-1",
|
|
"artifact": "sqlite",
|
|
"revision": "7c458f04b9155707c8ba406f8b455b10016f1b99",
|
|
"runtime_sha256": "0809b5004f214efa4b79775d5fda796eaecf4ad5756c55ee3b9d7cf82d91b750",
|
|
"target_sha256": "2e6eef9a727f081f0d453b4e5e6cbd8b9ef8b6f86cbf7681cbad444d3b0b55c8",
|
|
"item_reference": "sqlite3_libversion_number",
|
|
"elf_symbol_address": "0x00000000000a1d50",
|
|
"status": "passed",
|
|
"calls": [
|
|
{
|
|
"name": "inspect_jeb_client",
|
|
"phase": "inspect",
|
|
"ms": 7601.480018,
|
|
"reply_bytes": 1755,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-full",
|
|
"ms": 57.56869200000074,
|
|
"reply_bytes": 2981,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-0",
|
|
"ms": 13.98135799999909,
|
|
"reply_bytes": 2231,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-1",
|
|
"ms": 14.772978000000876,
|
|
"reply_bytes": 2283,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-2",
|
|
"ms": 26.885637000001225,
|
|
"reply_bytes": 2295,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-3",
|
|
"ms": 13.489348000000973,
|
|
"reply_bytes": 1925,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-first",
|
|
"ms": 22822.785593,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-0",
|
|
"ms": 22.668917000002693,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-1",
|
|
"ms": 26.674607000000833,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-2",
|
|
"ms": 36.77510600000096,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-3",
|
|
"ms": 18.099298000001,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-4",
|
|
"ms": 36.61042599999928,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-5",
|
|
"ms": 20.090546999999788,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-absent",
|
|
"ms": 19.651577999997244,
|
|
"reply_bytes": 748,
|
|
"isError": true
|
|
},
|
|
{
|
|
"name": "close_binary",
|
|
"phase": "close",
|
|
"ms": 5.741019000000961,
|
|
"reply_bytes": 169,
|
|
"isError": false
|
|
}
|
|
],
|
|
"catalog": {
|
|
"tools": 207,
|
|
"bytes": 3158927,
|
|
"sha256": "a1851aa1bfe3d72d6be6bec130519dbdfc1ee49288320cfac0144ced77755c61",
|
|
"ms": 1420.0038450000002
|
|
},
|
|
"mcp_task_elapsed_ms": 37086.309161,
|
|
"cli_warm_parity_ms": 2711.2066950000008,
|
|
"observed_mcp_child_upstream_request_counts": {
|
|
"initialize": 1,
|
|
"notifications/initialized": 1,
|
|
"tools/list": 1,
|
|
"get_client_information": 1,
|
|
"list_units": 5,
|
|
"decompile_code_item": 8
|
|
},
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 0.00014812999870628119,
|
|
"guarded_elapsed_seconds": 45.625,
|
|
"cpu_seconds": 45.370029,
|
|
"kernel_family_peak_bytes": 1956454400,
|
|
"payload_exit_code": 0,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
},
|
|
"tokens": {
|
|
"run": "native-probe-final-sqlite-1",
|
|
"catalog_tokens": 805330,
|
|
"named_mcp_arguments_tokens": 541,
|
|
"raw_mcp_reply_tokens": 9003,
|
|
"mcp_text_reply_tokens": 4201,
|
|
"recorded_mcp_calls": 15,
|
|
"mcp_raw_total_tokens": 814874,
|
|
"cli_selected_arguments_tokens": 48,
|
|
"cli_stdout_tokens": 323,
|
|
"combined_mcp_cli_raw_total_tokens": 815245
|
|
}
|
|
},
|
|
{
|
|
"run": "native-probe-final-fixture-2",
|
|
"artifact": "fixture",
|
|
"revision": "7c458f04b9155707c8ba406f8b455b10016f1b99",
|
|
"runtime_sha256": "0809b5004f214efa4b79775d5fda796eaecf4ad5756c55ee3b9d7cf82d91b750",
|
|
"target_sha256": "1a6f55303712e096ff5196c7fd6e8acf75473fbf0f7467d7b315f96f50b3f841",
|
|
"item_reference": "rea_probe_value",
|
|
"elf_symbol_address": "0x0000000000401126",
|
|
"status": "passed",
|
|
"calls": [
|
|
{
|
|
"name": "inspect_jeb_client",
|
|
"phase": "inspect",
|
|
"ms": 7399.544512999999,
|
|
"reply_bytes": 1755,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-full",
|
|
"ms": 62.50220300000001,
|
|
"reply_bytes": 2741,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-0",
|
|
"ms": 70.29121199999827,
|
|
"reply_bytes": 2151,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-1",
|
|
"ms": 82.5059999999994,
|
|
"reply_bytes": 2203,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-2",
|
|
"ms": 46.88480499999969,
|
|
"reply_bytes": 2215,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-3",
|
|
"ms": 68.1642410000004,
|
|
"reply_bytes": 1925,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-first",
|
|
"ms": 3844.5735029999996,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-0",
|
|
"ms": 17.634157000000414,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-1",
|
|
"ms": 18.065937999999733,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-2",
|
|
"ms": 15.059488999999303,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-3",
|
|
"ms": 34.60065499999837,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-4",
|
|
"ms": 13.198249000000942,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-5",
|
|
"ms": 14.810018000000127,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-absent",
|
|
"ms": 12.884067999999388,
|
|
"reply_bytes": 748,
|
|
"isError": true
|
|
},
|
|
{
|
|
"name": "close_binary",
|
|
"phase": "close",
|
|
"ms": 5.513469000001351,
|
|
"reply_bytes": 169,
|
|
"isError": false
|
|
}
|
|
],
|
|
"catalog": {
|
|
"tools": 207,
|
|
"bytes": 3158927,
|
|
"sha256": "a1851aa1bfe3d72d6be6bec130519dbdfc1ee49288320cfac0144ced77755c61",
|
|
"ms": 1366.0889539999998
|
|
},
|
|
"mcp_task_elapsed_ms": 17709.53766,
|
|
"cli_warm_parity_ms": 2429.063903000002,
|
|
"observed_mcp_child_upstream_request_counts": {
|
|
"initialize": 1,
|
|
"notifications/initialized": 1,
|
|
"tools/list": 1,
|
|
"get_client_information": 1,
|
|
"list_units": 5,
|
|
"decompile_code_item": 8
|
|
},
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 0.00010316993575543165,
|
|
"guarded_elapsed_seconds": 26.749,
|
|
"cpu_seconds": 26.399026,
|
|
"kernel_family_peak_bytes": 1693368320,
|
|
"payload_exit_code": 0,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
},
|
|
"tokens": {
|
|
"run": "native-probe-final-fixture-2",
|
|
"catalog_tokens": 805330,
|
|
"named_mcp_arguments_tokens": 423,
|
|
"raw_mcp_reply_tokens": 8511,
|
|
"mcp_text_reply_tokens": 3955,
|
|
"recorded_mcp_calls": 15,
|
|
"mcp_raw_total_tokens": 814264,
|
|
"cli_selected_arguments_tokens": 33,
|
|
"cli_stdout_tokens": 309,
|
|
"combined_mcp_cli_raw_total_tokens": 814606
|
|
}
|
|
},
|
|
{
|
|
"run": "native-probe-final-sqlite-2",
|
|
"artifact": "sqlite",
|
|
"revision": "7c458f04b9155707c8ba406f8b455b10016f1b99",
|
|
"runtime_sha256": "0809b5004f214efa4b79775d5fda796eaecf4ad5756c55ee3b9d7cf82d91b750",
|
|
"target_sha256": "2e6eef9a727f081f0d453b4e5e6cbd8b9ef8b6f86cbf7681cbad444d3b0b55c8",
|
|
"item_reference": "sqlite3_libversion_number",
|
|
"elf_symbol_address": "0x00000000000a1d50",
|
|
"status": "passed",
|
|
"calls": [
|
|
{
|
|
"name": "inspect_jeb_client",
|
|
"phase": "inspect",
|
|
"ms": 7843.767177,
|
|
"reply_bytes": 1755,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-full",
|
|
"ms": 216.7911949999998,
|
|
"reply_bytes": 2981,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-0",
|
|
"ms": 36.78909600000043,
|
|
"reply_bytes": 2231,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-1",
|
|
"ms": 43.545334999998886,
|
|
"reply_bytes": 2283,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-2",
|
|
"ms": 56.83696400000008,
|
|
"reply_bytes": 2295,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-3",
|
|
"ms": 46.20435499999985,
|
|
"reply_bytes": 1925,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-first",
|
|
"ms": 24508.233102000006,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-0",
|
|
"ms": 26.335347000000183,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-1",
|
|
"ms": 48.91735399999743,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-2",
|
|
"ms": 35.31670600000507,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-3",
|
|
"ms": 25.987317000006442,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-4",
|
|
"ms": 28.297725999997056,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-5",
|
|
"ms": 25.112008000003698,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-absent",
|
|
"ms": 35.868185999999696,
|
|
"reply_bytes": 748,
|
|
"isError": true
|
|
},
|
|
{
|
|
"name": "close_binary",
|
|
"phase": "close",
|
|
"ms": 5.813940000000002,
|
|
"reply_bytes": 169,
|
|
"isError": false
|
|
}
|
|
],
|
|
"catalog": {
|
|
"tools": 207,
|
|
"bytes": 3158927,
|
|
"sha256": "a1851aa1bfe3d72d6be6bec130519dbdfc1ee49288320cfac0144ced77755c61",
|
|
"ms": 1235.7381859999996
|
|
},
|
|
"mcp_task_elapsed_ms": 39532.798419,
|
|
"cli_warm_parity_ms": 3028.746809000004,
|
|
"observed_mcp_child_upstream_request_counts": {
|
|
"initialize": 1,
|
|
"notifications/initialized": 1,
|
|
"tools/list": 1,
|
|
"get_client_information": 1,
|
|
"list_units": 5,
|
|
"decompile_code_item": 8
|
|
},
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 9.904010221362114e-5,
|
|
"guarded_elapsed_seconds": 48.296,
|
|
"cpu_seconds": 47.752869,
|
|
"kernel_family_peak_bytes": 1887055872,
|
|
"payload_exit_code": 0,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
},
|
|
"tokens": {
|
|
"run": "native-probe-final-sqlite-2",
|
|
"catalog_tokens": 805330,
|
|
"named_mcp_arguments_tokens": 541,
|
|
"raw_mcp_reply_tokens": 9009,
|
|
"mcp_text_reply_tokens": 4204,
|
|
"recorded_mcp_calls": 15,
|
|
"mcp_raw_total_tokens": 814880,
|
|
"cli_selected_arguments_tokens": 48,
|
|
"cli_stdout_tokens": 323,
|
|
"combined_mcp_cli_raw_total_tokens": 815251
|
|
}
|
|
},
|
|
{
|
|
"run": "native-probe-final-fixture-3",
|
|
"artifact": "fixture",
|
|
"revision": "7c458f04b9155707c8ba406f8b455b10016f1b99",
|
|
"runtime_sha256": "0809b5004f214efa4b79775d5fda796eaecf4ad5756c55ee3b9d7cf82d91b750",
|
|
"target_sha256": "1a6f55303712e096ff5196c7fd6e8acf75473fbf0f7467d7b315f96f50b3f841",
|
|
"item_reference": "rea_probe_value",
|
|
"elf_symbol_address": "0x0000000000401126",
|
|
"status": "passed",
|
|
"calls": [
|
|
{
|
|
"name": "inspect_jeb_client",
|
|
"phase": "inspect",
|
|
"ms": 8900.984732,
|
|
"reply_bytes": 1755,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-full",
|
|
"ms": 85.02968099999998,
|
|
"reply_bytes": 2741,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-0",
|
|
"ms": 16.279207999999926,
|
|
"reply_bytes": 2151,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-1",
|
|
"ms": 17.554368000000977,
|
|
"reply_bytes": 2203,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-2",
|
|
"ms": 35.91360600000007,
|
|
"reply_bytes": 2215,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-3",
|
|
"ms": 20.243078000001333,
|
|
"reply_bytes": 1925,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-first",
|
|
"ms": 5036.5129190000025,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-0",
|
|
"ms": 17.226087999999436,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-1",
|
|
"ms": 189.40683999999965,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-2",
|
|
"ms": 120.00856700000077,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-3",
|
|
"ms": 144.73211399999855,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-4",
|
|
"ms": 186.41265100000237,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-5",
|
|
"ms": 185.106749999999,
|
|
"reply_bytes": 2313,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-absent",
|
|
"ms": 116.15546800000084,
|
|
"reply_bytes": 748,
|
|
"isError": true
|
|
},
|
|
{
|
|
"name": "close_binary",
|
|
"phase": "close",
|
|
"ms": 11.46715899999981,
|
|
"reply_bytes": 169,
|
|
"isError": false
|
|
}
|
|
],
|
|
"catalog": {
|
|
"tools": 207,
|
|
"bytes": 3158927,
|
|
"sha256": "a1851aa1bfe3d72d6be6bec130519dbdfc1ee49288320cfac0144ced77755c61",
|
|
"ms": 1297.523271
|
|
},
|
|
"mcp_task_elapsed_ms": 23798.28777,
|
|
"cli_warm_parity_ms": 5199.320006999998,
|
|
"observed_mcp_child_upstream_request_counts": {
|
|
"initialize": 1,
|
|
"notifications/initialized": 1,
|
|
"tools/list": 1,
|
|
"get_client_information": 1,
|
|
"list_units": 5,
|
|
"decompile_code_item": 8
|
|
},
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 0.00015164900105446577,
|
|
"guarded_elapsed_seconds": 32.622,
|
|
"cpu_seconds": 32.155006,
|
|
"kernel_family_peak_bytes": 1614860288,
|
|
"payload_exit_code": 0,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
},
|
|
"tokens": {
|
|
"run": "native-probe-final-fixture-3",
|
|
"catalog_tokens": 805330,
|
|
"named_mcp_arguments_tokens": 423,
|
|
"raw_mcp_reply_tokens": 8515,
|
|
"mcp_text_reply_tokens": 3957,
|
|
"recorded_mcp_calls": 15,
|
|
"mcp_raw_total_tokens": 814268,
|
|
"cli_selected_arguments_tokens": 33,
|
|
"cli_stdout_tokens": 309,
|
|
"combined_mcp_cli_raw_total_tokens": 814610
|
|
}
|
|
},
|
|
{
|
|
"run": "native-probe-final-sqlite-3",
|
|
"artifact": "sqlite",
|
|
"revision": "7c458f04b9155707c8ba406f8b455b10016f1b99",
|
|
"runtime_sha256": "0809b5004f214efa4b79775d5fda796eaecf4ad5756c55ee3b9d7cf82d91b750",
|
|
"target_sha256": "2e6eef9a727f081f0d453b4e5e6cbd8b9ef8b6f86cbf7681cbad444d3b0b55c8",
|
|
"item_reference": "sqlite3_libversion_number",
|
|
"elf_symbol_address": "0x00000000000a1d50",
|
|
"status": "passed",
|
|
"calls": [
|
|
{
|
|
"name": "inspect_jeb_client",
|
|
"phase": "inspect",
|
|
"ms": 10294.019382,
|
|
"reply_bytes": 1755,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-full",
|
|
"ms": 76.81099200000244,
|
|
"reply_bytes": 2981,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-0",
|
|
"ms": 17.346168000000034,
|
|
"reply_bytes": 2231,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-1",
|
|
"ms": 17.65707900000052,
|
|
"reply_bytes": 2283,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-2",
|
|
"ms": 22.286897000001773,
|
|
"reply_bytes": 2295,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "list_jeb_units",
|
|
"phase": "units-page-3",
|
|
"ms": 29.58738699999958,
|
|
"reply_bytes": 1925,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-first",
|
|
"ms": 49976.75092,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-0",
|
|
"ms": 63.32133400000748,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-1",
|
|
"ms": 79.26228399999673,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-2",
|
|
"ms": 73.44557299998996,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-3",
|
|
"ms": 63.18755499999679,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-4",
|
|
"ms": 60.66309399998863,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-warm-5",
|
|
"ms": 76.99573300000338,
|
|
"reply_bytes": 2357,
|
|
"isError": false
|
|
},
|
|
{
|
|
"name": "decompile_jeb_item",
|
|
"phase": "decompile-absent",
|
|
"ms": 90.04574200000206,
|
|
"reply_bytes": 748,
|
|
"isError": true
|
|
},
|
|
{
|
|
"name": "close_binary",
|
|
"phase": "close",
|
|
"ms": 12.593110000001616,
|
|
"reply_bytes": 169,
|
|
"isError": false
|
|
}
|
|
],
|
|
"catalog": {
|
|
"tools": 207,
|
|
"bytes": 3158927,
|
|
"sha256": "a1851aa1bfe3d72d6be6bec130519dbdfc1ee49288320cfac0144ced77755c61",
|
|
"ms": 1796.6597380000003
|
|
},
|
|
"mcp_task_elapsed_ms": 71439.818565,
|
|
"cli_warm_parity_ms": 5571.252065000008,
|
|
"observed_mcp_child_upstream_request_counts": {
|
|
"initialize": 1,
|
|
"notifications/initialized": 1,
|
|
"tools/list": 1,
|
|
"get_client_information": 1,
|
|
"list_units": 5,
|
|
"decompile_code_item": 8
|
|
},
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 0.000259050983004272,
|
|
"guarded_elapsed_seconds": 82.039,
|
|
"cpu_seconds": 78.876649,
|
|
"kernel_family_peak_bytes": 1798004736,
|
|
"payload_exit_code": 0,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
},
|
|
"tokens": {
|
|
"run": "native-probe-final-sqlite-3",
|
|
"catalog_tokens": 805330,
|
|
"named_mcp_arguments_tokens": 541,
|
|
"raw_mcp_reply_tokens": 9007,
|
|
"mcp_text_reply_tokens": 4203,
|
|
"recorded_mcp_calls": 15,
|
|
"mcp_raw_total_tokens": 814878,
|
|
"cli_selected_arguments_tokens": 48,
|
|
"cli_stdout_tokens": 323,
|
|
"combined_mcp_cli_raw_total_tokens": 815249
|
|
}
|
|
}
|
|
],
|
|
"attempts": [
|
|
{
|
|
"attempt": "prepare.log",
|
|
"classification": "Pre-start refusal; host available memory below 16GiB; no scope/payload/build/download.",
|
|
"cost": {
|
|
"started": false,
|
|
"reason": "Refusing experiment: less than 16 GiB available"
|
|
}
|
|
},
|
|
{
|
|
"attempt": "prepare-2.log",
|
|
"classification": "Completed preparation/build and official CE download/extraction; not a selected-read sample.",
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 0,
|
|
"guarded_elapsed_seconds": 80.969,
|
|
"cpu_seconds": 19.719875,
|
|
"kernel_family_peak_bytes": 2030854144,
|
|
"payload_exit_code": 0,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
}
|
|
},
|
|
{
|
|
"attempt": "inspect-engine.log",
|
|
"classification": "Diagnostic CLI help exited 255 while advertising --mcp; not a provider success/failure sample.",
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 0,
|
|
"guarded_elapsed_seconds": 3.073,
|
|
"cpu_seconds": 2.530312,
|
|
"kernel_family_peak_bytes": 135294976,
|
|
"payload_exit_code": 255,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
}
|
|
},
|
|
{
|
|
"attempt": "native-probe-1.log",
|
|
"classification": "Pre-start refusal; no fixture compilation, engine launch or CLI.",
|
|
"cost": {
|
|
"started": false,
|
|
"reason": "Refusing experiment: less than 16 GiB available"
|
|
}
|
|
},
|
|
{
|
|
"attempt": "native-probe-1-attempt-2.log",
|
|
"classification": "Incomplete first-use attempt: EULA prompt reached stdin EOF; engine exited 0, harness correctly failed.",
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 0,
|
|
"guarded_elapsed_seconds": 4.75,
|
|
"cpu_seconds": 3.166959,
|
|
"kernel_family_peak_bytes": 199675904,
|
|
"payload_exit_code": 1,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
}
|
|
},
|
|
{
|
|
"attempt": "native-probe-2.log",
|
|
"classification": "Incomplete first-use attempt: EULA accepted, official CE key still required; engine exited 0, harness correctly failed.",
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 0,
|
|
"guarded_elapsed_seconds": 3.272,
|
|
"cpu_seconds": 2.74772,
|
|
"kernel_family_peak_bytes": 137990144,
|
|
"payload_exit_code": 1,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
}
|
|
},
|
|
{
|
|
"attempt": "native-probe-3.log",
|
|
"classification": "Successful first-use activation and CLI inspection/unit pilot; no function-read benchmark.",
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 0,
|
|
"guarded_elapsed_seconds": 15.789,
|
|
"cpu_seconds": 13.839694,
|
|
"kernel_family_peak_bytes": 713482240,
|
|
"payload_exit_code": 0,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
}
|
|
},
|
|
{
|
|
"attempt": "native-probe-4.log",
|
|
"classification": "Successful CLI native function pilot with a numeric reference on the authored ET_EXEC fixture.",
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 0,
|
|
"guarded_elapsed_seconds": 21.344,
|
|
"cpu_seconds": 20.406362,
|
|
"kernel_family_peak_bytes": 813383680,
|
|
"payload_exit_code": 0,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
}
|
|
},
|
|
{
|
|
"attempt": "native-probe-5.log",
|
|
"classification": "Successful MCP/CLI pilot at an explicit 30s budget; excluded from the default-budget final cohort.",
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 0,
|
|
"guarded_elapsed_seconds": 26.965,
|
|
"cpu_seconds": 26.408966,
|
|
"kernel_family_peak_bytes": 1609953280,
|
|
"payload_exit_code": 0,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
}
|
|
},
|
|
{
|
|
"attempt": "native-probe-sqlite-1.log",
|
|
"classification": "Incomplete 30s-budget task using an unqualified raw ELF address selector: typed provider_timeout; no semantic conclusion.",
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 0,
|
|
"guarded_elapsed_seconds": 57.282,
|
|
"cpu_seconds": 56.834631,
|
|
"kernel_family_peak_bytes": 1525100544,
|
|
"payload_exit_code": 1,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
}
|
|
},
|
|
{
|
|
"attempt": "native-probe-sqlite-2.log",
|
|
"classification": "Pre-start refusal; the default-budget payload did not start.",
|
|
"cost": {
|
|
"started": false,
|
|
"reason": "Refusing experiment: less than 16 GiB available"
|
|
}
|
|
},
|
|
{
|
|
"attempt": "native-probe-sqlite-2-attempt-2.log",
|
|
"classification": "Incomplete 60s-budget raw-address attempt: upstream decompilation refusal; preserved, not a completed benchmark.",
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 0.00013502000365406275,
|
|
"guarded_elapsed_seconds": 47.746,
|
|
"cpu_seconds": 44.985204,
|
|
"kernel_family_peak_bytes": 1927479296,
|
|
"payload_exit_code": 1,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
}
|
|
},
|
|
{
|
|
"attempt": "native-probe-sqlite-oracle-1.log",
|
|
"classification": "Successful independent native catalog/project inspection; original ELF digest matched; diagnostic, not final cohort.",
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 0.00010710000060498714,
|
|
"guarded_elapsed_seconds": 8.272,
|
|
"cpu_seconds": 7.704221,
|
|
"kernel_family_peak_bytes": 302960640,
|
|
"payload_exit_code": 0,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
}
|
|
},
|
|
{
|
|
"attempt": "native-probe-sqlite-oracle-2.log",
|
|
"classification": "Successful native description/method-discovery oracle: filtered list returned the exported method name; numeric filters returned no matches.",
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 0.00011477002408355474,
|
|
"guarded_elapsed_seconds": 29.444,
|
|
"cpu_seconds": 29.016203,
|
|
"kernel_family_peak_bytes": 746885120,
|
|
"payload_exit_code": 0,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
}
|
|
},
|
|
{
|
|
"attempt": "native-probe-sqlite-3.log",
|
|
"classification": "Engine decompilation succeeded with producer method reference; harness rejected the valid C long literal suffix L. Oracle grammar corrected; incomplete workflow retained.",
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 0.00011185905896127224,
|
|
"guarded_elapsed_seconds": 47.434,
|
|
"cpu_seconds": 47.135601,
|
|
"kernel_family_peak_bytes": 1553219584,
|
|
"payload_exit_code": 1,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
}
|
|
},
|
|
{
|
|
"attempt": "token-estimate.log",
|
|
"classification": "Completed offline tokenizer postprocessing; separate from analysis cohort costs.",
|
|
"cost": {
|
|
"started": true,
|
|
"admission_wait_seconds": 0,
|
|
"guarded_elapsed_seconds": 10.35,
|
|
"cpu_seconds": 7.789963,
|
|
"kernel_family_peak_bytes": 151486464,
|
|
"payload_exit_code": 0,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"payload_counters_verified": true,
|
|
"whole_scope_final_events": null,
|
|
"abort": null
|
|
}
|
|
}
|
|
],
|
|
"limitations": [
|
|
"CE native selected-read qualification only; Java/Android/Demo/GUI/Windows/macOS and >100-unit pagination unverified here.",
|
|
"Known method reference supplied to each final task. Native code-item discovery exists upstream but is not exposed by the four current REA JEB operations.",
|
|
"Provider subject remains explicitly unknown; separate native project digest observation is not substituted for an atomically bound artifact identity.",
|
|
"Decompiled text/ABI/full program equivalence not proved; literal/arithmetic oracles and exact transport preservation are narrower.",
|
|
"All earlier refusals/failures retained. Larger last-run time/cpu spread remains unexplained; no favorable resampling or stable latency/memory improvement claim.",
|
|
"No actual model tokens, full agent investigation or complex-software advantage measured. Existing JEB reconnect/invalidation work is PR #3754; no duplicate implementation."
|
|
],
|
|
"validation": {
|
|
"completed_final_workflows": 6,
|
|
"public_mcp_calls": 90,
|
|
"public_cli_parity_queries": 6,
|
|
"target_execution": false,
|
|
"check_gate_cost": {
|
|
"guarded_elapsed_seconds": 21.92,
|
|
"cpu_seconds": 18.36747,
|
|
"kernel_family_peak_bytes": 557862912,
|
|
"payload_exit_code": 0,
|
|
"payload_cleanup_verified": true,
|
|
"whole_scope_final_events": null
|
|
},
|
|
"attempts": [
|
|
{
|
|
"attempt": "check-docs-1",
|
|
"status": "refused before scope/payload; host available below 16GiB"
|
|
},
|
|
{
|
|
"attempt": "check-docs-2",
|
|
"status": "passed after admission wait; unchanged resource bounds"
|
|
}
|
|
],
|
|
"baseline_code_checks": {
|
|
"docs_check": "passed",
|
|
"check_fast": "passed; typecheck/lint were cache hits",
|
|
"git_diff_check": "passed",
|
|
"formatting": "all five changed Markdown/JSON files formatted"
|
|
},
|
|
"post_release": {
|
|
"base_main_revision": "a25eb5fbb424197cb8e699e15a82a6ff869658aa",
|
|
"rea_version": "6.7.0",
|
|
"scope": "Two additional correctness controls after rebasing onto the release checkpoint; kept separate from six historical measurement sessions.",
|
|
"build_docs_check_fast": "passed; typecheck/lint were uncached",
|
|
"build_gate_cost": {
|
|
"elapsed_seconds": 362.269,
|
|
"cpu_seconds": 354.09255,
|
|
"kernel_family_peak_bytes": 4439879680,
|
|
"payload_exit_code": 0,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"whole_scope_final_events": null
|
|
},
|
|
"completed_controls": [
|
|
{
|
|
"run": "native-probe-post-release-fixture-1",
|
|
"artifact": "fixture",
|
|
"status": "passed",
|
|
"tested_revision": "837718b1968b5fd90762c4c54895b11e9f5478fd",
|
|
"runtime_sha256": "0809b5004f214efa4b79775d5fda796eaecf4ad5756c55ee3b9d7cf82d91b750",
|
|
"catalog_sha256": "a1851aa1bfe3d72d6be6bec130519dbdfc1ee49288320cfac0144ced77755c61",
|
|
"target_sha256": "1a6f55303712e096ff5196c7fd6e8acf75473fbf0f7467d7b315f96f50b3f841",
|
|
"mcp_calls": 15,
|
|
"cli_parity_queries": 1,
|
|
"cli_mcp_facts_and_evidence_identity_equal": true,
|
|
"unit_pagination_equivalent": true,
|
|
"target_unchanged": true,
|
|
"mcp_child_metadata_calls": 1,
|
|
"cost": {
|
|
"elapsed_seconds": 42.516,
|
|
"cpu_seconds": 41.044738,
|
|
"kernel_family_peak_bytes": 1634881536,
|
|
"payload_exit_code": 0,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"whole_scope_final_events": null
|
|
}
|
|
},
|
|
{
|
|
"run": "native-probe-post-release-sqlite-2",
|
|
"artifact": "sqlite",
|
|
"status": "passed",
|
|
"tested_revision": "837718b1968b5fd90762c4c54895b11e9f5478fd",
|
|
"runtime_sha256": "0809b5004f214efa4b79775d5fda796eaecf4ad5756c55ee3b9d7cf82d91b750",
|
|
"catalog_sha256": "a1851aa1bfe3d72d6be6bec130519dbdfc1ee49288320cfac0144ced77755c61",
|
|
"target_sha256": "2e6eef9a727f081f0d453b4e5e6cbd8b9ef8b6f86cbf7681cbad444d3b0b55c8",
|
|
"mcp_calls": 15,
|
|
"cli_parity_queries": 1,
|
|
"cli_mcp_facts_and_evidence_identity_equal": true,
|
|
"unit_pagination_equivalent": true,
|
|
"target_unchanged": true,
|
|
"mcp_child_metadata_calls": 1,
|
|
"cost": {
|
|
"elapsed_seconds": 69.93,
|
|
"cpu_seconds": 66.596053,
|
|
"kernel_family_peak_bytes": 2078978048,
|
|
"payload_exit_code": 0,
|
|
"payload_cleanup_verified": true,
|
|
"payload_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"whole_scope_final_events": null
|
|
}
|
|
}
|
|
],
|
|
"additional_mcp_calls": 30,
|
|
"additional_cli_parity_queries": 2,
|
|
"catalog_unchanged_from_baseline": true,
|
|
"interrupted_attempt": {
|
|
"run": "native-probe-post-release-sqlite-1",
|
|
"outcome": "incomplete; host available-memory guard stopped the owned family",
|
|
"elapsed_seconds": 28.244,
|
|
"sampled_peak_bytes": 695308288,
|
|
"cpu_last_observed_seconds": 25.549917,
|
|
"host_available_min_bytes": 8535224320,
|
|
"abort": "host_available_memory_early_stop",
|
|
"payload_exit_code": null,
|
|
"payload_exit_counters": null,
|
|
"whole_scope_final_events": {
|
|
"memory.events": {
|
|
"low": 0,
|
|
"high": 0,
|
|
"max": 0,
|
|
"oom": 0,
|
|
"oom_kill": 0,
|
|
"oom_group_kill": 0
|
|
},
|
|
"pids.events": {
|
|
"max": 0
|
|
}
|
|
},
|
|
"whole_scope_final_events_verified": true,
|
|
"post_stop_target_sha256": "2e6eef9a727f081f0d453b4e5e6cbd8b9ef8b6f86cbf7681cbad444d3b0b55c8"
|
|
},
|
|
"retry_admission": "SQLite retry waited for at least24GiB host availability; original guard/cgroup hard8GiB/early7GiB/oneCPU/noSwap thresholds unchanged."
|
|
}
|
|
},
|
|
"rea_version": "6.6.0"
|
|
}
|