{ "question": "Counts and first four address/value pairs for list_procedures, list_names, list_strings and literal main search_procedures/search_strings; first and warm repetition.", "baseline_revision": "58d6043303e722115f1da18b9505c24abeeab423", "runtime_pins": { "baseline_manifest_sha256": "dc5e30fa1c75f999a8597608c5f0a3d8e1e16ccc14eb39d3884b5362076985dd", "candidate_manifest_sha256": "14b4af9117051b722eb528dfdf79668fa188f874ce69853bd1ed609eb704a88d", "candidate_tracked_patch_sha256": "e988c4f5142363dc2cbf6ab98e11d1ea1e4acccc66ce941d15eb51a945b4fb3a", "candidate_untracked_sources": { "experiments/analysis-efficiency/native-inventory-portable.mjs": "262cd4a076ba13936ff744c844892ec108b015f3adc908703120fddd251fe149", "experiments/analysis-efficiency/native-inventory-views.mjs": "c5de78d1998e254a269e3d1694c96d7034162aac41965a7b842235ae09ac9db8", "src/domain/analysisView/nativeInventoryView.test.ts": "b0b3a3d14a0d8be2a42bb9ae9e0e5a32eef94bf09ffcce01f89554300eeb97f2", "src/domain/analysisView/nativeInventoryView.ts": "e1e06ead227c30c7eaa8231b48c934b5f0be57876847b022e75f6a89eadaddbd", "src/domain/native/nativeInventory.ts": "431e6041cd2dec688ca541dbe343cea2228c9d616af1332338b9a36c73a32320", "tests/boundary/mcp/nativeInventoryViewsMcp.test.ts": "f6991ba8e6d97922c430512d5bfec16b392e22a9eacab21a5853ea93f6d3a73d" }, "note": "Frozen candidate before measurement; later documentation, bounded harness diagnostics and rebases are not relabeled as measured source revisions." }, "environment": { "platform": "Linux-6.1.0-53-cloud-amd64-x86_64-with-glibc2.36", "node": "24.18.0", "npm": "11.16.0", "mcp_sdk": "2.3.1", "ghidra": "12.1.4", "java": "Eclipse Adoptium 21.0.12.1+1-LTS", "java_heap": "768M", "node_heaps_mib": 2048, "active_java_processors": 1, "cpu_affinity": [15], "cpu_quota_percent": 100, "family_memory_hard_bytes": 4294967296, "family_memory_early_stop_bytes": 3221225472, "swap_bytes": 0, "task_limit": 192, "cache_state": "Fresh sessions and Java analysis, then warm repeated calls; OS caches unflushed.", "accounting": "cgroup v2 family counters at verified payload exit; kernel peak includes file cache and controller work; final whole-scope counters unavailable." }, "artifacts": [ { "path": "true", "bytes": 35664, "sha256": "c79bf44242829108e323378531f4ac839513ca1fba45efd6583643526e1e9fd2" }, { "path": "jq-linux-amd64", "bytes": 2267912, "sha256": "b1c22172dd303f3be49e935aa56aa48a8b7a46e0bc838b4997d3bb451495870f" } ], "driver_versions": [ { "sha256": "c71957b673824a692efeaebb165a305799b6d7424a2dbb96d706a6f48e283aae", "used_by": ["baseline-true-1", "baseline-jq-1"], "path": "experiments/analysis-efficiency/native-inventory-views.mjs" }, { "sha256": "c5de78d1998e254a269e3d1694c96d7034162aac41965a7b842235ae09ac9db8", "used_by": ["candidate-true-1", "baseline-jq-2", "candidate-jq-1"] }, { "sha256": "0ce2e2a2c02e366f5005f9b1e4563f7cd1a5a378d8461de6750154dccf41995b", "runs": ["candidate-jq-2"], "change": "Bounded full-source comparison diagnostic, same strict oracle; candidate-jq-2 has no cross-session full-source control. Compare task facts separately and preserve Ghidra primary alias variance.", "candidate-jq-1": "Incomplete: scope_memory_early_stop while rendering full source mismatch; facts and source records retained; no completed report or cleanup proof." } ], "token_estimates": { "python": "3.11.2 (main, Oct 7 2026, 12:35:07) [GCC 12.2.0]", "tiktoken": "0.12.0", "encoding": "cl100k_base", "actual_model_usage": null, "unmeasured": [ "model-host schema selection, wrapping and rendering", "system prompts, local filesystem tool schema/program generation and follow-up reasoning", "model input/cached/uncached/output usage", "initialization and JSON-RPC wire framing", "isolated correctness-oracle CPU and memory overhead" ], "samples": [ { "recording": "baseline-true-1", "status": "passed", "completed_with_verified_cleanup": true, "mode": "complete", "catalog_tools": 209, "catalog_bytes": 3263492, "rpc_calls": 13, "rpc_errors_or_rejections": 0, "rpc_argument_bytes": 854, "rpc_reply_bytes": 921748, "local_recoveries": [], "token_estimates": { "catalog_full_json": 831584, "catalog_input_facing_projection": 185367, "rpc_name_and_argument_json": 214, "rpc_text_content": 120915, "rpc_complete_result_json": 247753, "local_projection_output_json": 0, "input_facing_catalog_plus_arguments_text_and_local_output": 306496 }, "whole_scope_wall_seconds": 53.662, "payload_family_cpu_seconds": 44.201557, "kernel_family_peak_bytes_including_file_cache": 1157513216, "payload_exit_observation_verified": true, "observed_resource_events": { "memory.events": { "low": 0, "high": 0, "max": 0, "oom": 0, "oom_kill": 0, "oom_group_kill": 0 }, "pids.events": { "max": 0 } }, "final_whole_scope_events": null, "tasks": [ { "phase": "first", "elapsed_ms": 35533.921138000005 }, { "phase": "warm", "elapsed_ms": 236.46414299999742 } ], "facts_sha256": "fb6cfbd6e3b9cdff8f649ffc41de54d7de38a003d3ec4f20f7cdad227e38afca", "sources_sha256": "c87d8c5b12b5244e3777f61a396e2a19b333ce9a9c1cb246db4ab54fb075b13b" }, { "recording": "candidate-true-1", "status": "passed", "completed_with_verified_cleanup": true, "mode": "summary", "catalog_tools": 209, "catalog_bytes": 3293844, "rpc_calls": 23, "rpc_errors_or_rejections": 0, "rpc_argument_bytes": 3469, "rpc_reply_bytes": 171130, "local_recoveries": [], "token_estimates": { "catalog_full_json": 838818, "catalog_input_facing_projection": 186009, "rpc_name_and_argument_json": 1086, "rpc_text_content": 20907, "rpc_complete_result_json": 43673, "local_projection_output_json": 0, "input_facing_catalog_plus_arguments_text_and_local_output": 208002 }, "whole_scope_wall_seconds": 36.777, "payload_family_cpu_seconds": 35.482574, "kernel_family_peak_bytes_including_file_cache": 1244180480, "payload_exit_observation_verified": true, "observed_resource_events": { "memory.events": { "low": 0, "high": 0, "max": 0, "oom": 0, "oom_kill": 0, "oom_group_kill": 0 }, "pids.events": { "max": 0 } }, "final_whole_scope_events": null, "tasks": [ { "phase": "first", "elapsed_ms": 30791.001210000002 }, { "phase": "warm", "elapsed_ms": 223.86245000000054 } ], "facts_sha256": "fb6cfbd6e3b9cdff8f649ffc41de54d7de38a003d3ec4f20f7cdad227e38afca", "sources_sha256": "c87d8c5b12b5244e3777f61a396e2a19b333ce9a9c1cb246db4ab54fb075b13b" }, { "recording": "baseline-jq-2", "status": "passed", "completed_with_verified_cleanup": true, "mode": "complete", "catalog_tools": 209, "catalog_bytes": 3263492, "rpc_calls": 15, "rpc_errors_or_rejections": 2, "rpc_argument_bytes": 1139, "rpc_reply_bytes": 3032150, "local_recoveries": [ { "phase": "first:list_names", "status": "passed", "bundle_bytes_read": 7318483, "projection_bytes": 1186, "elapsed_ms": 164.94348000001628 }, { "phase": "warm:list_names", "status": "passed", "bundle_bytes_read": 7769768, "projection_bytes": 1186, "elapsed_ms": 116.13296299998183 } ], "token_estimates": { "catalog_full_json": 831584, "catalog_input_facing_projection": 185367, "rpc_name_and_argument_json": 307, "rpc_text_content": 403794, "rpc_complete_result_json": 820583, "local_projection_output_json": 564, "input_facing_catalog_plus_arguments_text_and_local_output": 590032 }, "whole_scope_wall_seconds": 355.586, "payload_family_cpu_seconds": 318.976126, "kernel_family_peak_bytes_including_file_cache": 1571012608, "payload_exit_observation_verified": true, "observed_resource_events": { "memory.events": { "low": 0, "high": 0, "max": 0, "oom": 0, "oom_kill": 0, "oom_group_kill": 0 }, "pids.events": { "max": 0 } }, "final_whole_scope_events": null, "tasks": [ { "phase": "first", "elapsed_ms": 334659.460051 }, { "phase": "warm", "elapsed_ms": 2520.551972999994 } ], "facts_sha256": "34cf397309b0db4132f1fcfbcaf92daab75b8b823e4c328ac1592f46dff38094", "sources_sha256": "e8f4f98c0cc9a141f07db695fcc5b2b3f22ae3697bb09d0d8fd03d6a47762260" }, { "recording": "candidate-jq-2", "status": "passed", "completed_with_verified_cleanup": true, "mode": "summary", "catalog_tools": 209, "catalog_bytes": 3293844, "rpc_calls": 21, "rpc_errors_or_rejections": 0, "rpc_argument_bytes": 3040, "rpc_reply_bytes": 172180, "local_recoveries": [], "token_estimates": { "catalog_full_json": 838818, "catalog_input_facing_projection": 186009, "rpc_name_and_argument_json": 921, "rpc_text_content": 21372, "rpc_complete_result_json": 44505, "local_projection_output_json": 0, "input_facing_catalog_plus_arguments_text_and_local_output": 208302 }, "whole_scope_wall_seconds": 333.104, "payload_family_cpu_seconds": 311.318996, "kernel_family_peak_bytes_including_file_cache": 1774460928, "payload_exit_observation_verified": true, "observed_resource_events": { "memory.events": { "low": 0, "high": 0, "max": 0, "oom": 0, "oom_kill": 0, "oom_group_kill": 0 }, "pids.events": { "max": 0 } }, "final_whole_scope_events": null, "tasks": [ { "phase": "first", "elapsed_ms": 318797.998245 }, { "phase": "warm", "elapsed_ms": 6916.484328999999 } ], "facts_sha256": "34cf397309b0db4132f1fcfbcaf92daab75b8b823e4c328ac1592f46dff38094", "sources_sha256": "237f727384546a5323bf39d08d3fe3061b89cb32da22d062493b008e474ba6a2" } ] }, "equivalence": { "true_all_original_source_evidence_fields_and_ids_equal": true, "jq_complete_selected_task_facts_equal": true, "jq_all_independent_live_source_evidence_equal": false, "earlier_independent_jq_source_differences": { "attempt": "candidate-jq-1", "completed": false, "reason": "scope_memory_early_stop; no report or payload-exit observation", "task_facts_exact_equal": true, "full_source_equal": false, "different_leaves": { "symbol.primary": 156, "[1, 'record', 'normalized_result', 45988, 'value']": 1, "[1, 'record', 'normalized_result', 46001, 'value']": 1, "evidence_id": 2, "[6, 'record', 'normalized_result', 45988, 'value']": 1, "[6, 'record', 'normalized_result', 46001, 'value']": 1 }, "examples": [ { "path": [ 1, "record", "normalized_result", 30995, "symbol", "primary" ], "baseline": false, "candidate": true }, { "path": [ 1, "record", "normalized_result", 31013, "symbol", "primary" ], "baseline": true, "candidate": false }, { "path": [ 1, "record", "normalized_result", 31120, "symbol", "primary" ], "baseline": false, "candidate": true }, { "path": [ 1, "record", "normalized_result", 31121, "symbol", "primary" ], "baseline": true, "candidate": false } ], "interpretation": "Independent Ghidra analyses differ in symbol.primary for alias rows and two generated switch-label values (repeated in first/warm records). Root cause is unestablished; no byte-identical full-source or completed-performance claim." }, "portable_checks": [ { "recording": "portable-true-1", "status": "passed", "rows_reconstructed": { "list_procedures": 231, "list_names": 1027, "list_strings": 143, "search_procedures": 8, "search_strings": 2 }, "actual_cli_mcp_equal_evidence_comparisons": 10, "rpc_calls_including_import_and_export": 27, "source_bundle_sha256": "d9f574ff9deb84cef58a714e563590c70184c15ba01c174f47c027b50b1d6bfa", "whole_scope_wall_seconds": 25.194, "family_cpu_seconds": 25.015127, "kernel_family_peak_bytes_including_file_cache": 1025908736, "resource_events": { "memory.events": { "low": 0, "high": 0, "max": 0, "oom": 0, "oom_kill": 0, "oom_group_kill": 0 }, "pids.events": { "max": 0 } }, "payload_cleanup_verified": true, "final_whole_scope_events": null }, { "recording": "portable-jq-1", "status": "passed", "rows_reconstructed": { "list_procedures": 2279, "list_names": 49684, "list_strings": 2915, "search_procedures": 0, "search_strings": 24 }, "actual_cli_mcp_equal_evidence_comparisons": 10, "rpc_calls_including_import_and_export": 444, "source_bundle_sha256": "49ba421c1d7c2bbee5d6d4ae7acec437b076f760097eeae1aae8633d45f8e51c", "whole_scope_wall_seconds": 77.537, "family_cpu_seconds": 63.38141, "kernel_family_peak_bytes_including_file_cache": 2034434048, "resource_events": { "memory.events": { "low": 0, "high": 0, "max": 0, "oom": 0, "oom_kill": 0, "oom_group_kill": 0 }, "pids.events": { "max": 0 } }, "payload_cleanup_verified": true, "final_whole_scope_events": null } ], "limits": "This qualifies preservation/projection of recorded facts, not every Ghidra interpretation or complete program discovery." }, "incomplete_attempts": [ { "recording": "baseline-jq-1", "completed": false, "reason": "Default list_names exceeds the existing MCP response budget; first driver lacks export recovery.", "abort": null, "whole_scope_wall_seconds": 283.113, "peak_sampled_bytes": 1308225536, "last_observed_events": { "memory.events": { "low": 0, "high": 0, "max": 0, "oom": 0, "oom_kill": 0, "oom_group_kill": 0 }, "pids.events": { "max": 0 } }, "payload_resource_observation": { "phase": "payload-exited-observer-alive", "ownership_token": "rea-efficiency-2ad56ea678404ef49da951c8f1761822.scope", "payload_exit_code": 1, "observer_pid": 3613358, "remaining_processes": [3613358], "payload_cleanup_verified": true, "cpu_stat": { "usage_usec": 281189241, "user_usec": 274593631, "system_usec": 6595610, "nr_periods": 2829, "nr_throttled": 585, "throttled_usec": 218972, "nr_bursts": 0, "burst_usec": 0 }, "memory_peak_bytes": 1311993856, "control_group": "user.slice/user-1004.slice/user@1004.service/app.slice/rea-efficiency-2ad56ea678404ef49da951c8f1761822.scope", "resource_events": { "memory.events": { "low": 0, "high": 0, "max": 0, "oom": 0, "oom_kill": 0, "oom_group_kill": 0 }, "pids.events": { "max": 0 } } }, "final_whole_scope_events": null }, { "recording": "candidate-jq-1", "completed": false, "reason": "Independent full-source observations differ; guard stopped during comparison. Assertion diagnostic expansion is source-derived, not a recovered final stack trace.", "abort": "scope_memory_early_stop", "whole_scope_wall_seconds": 269.574, "peak_sampled_bytes": 3222269952, "last_observed_events": { "memory.events": { "low": 0, "high": 26, "max": 0, "oom": 0, "oom_kill": 0, "oom_group_kill": 0 }, "pids.events": { "max": 0 } }, "payload_resource_observation": null, "final_whole_scope_events": null } ], "validation": { "focused_files": 24, "focused_tests": 305, "focused_command": "npm run test:focused -- src/domain/analysisView/EnvironmentManifestAccumulator.test.ts src/domain/analysisView/WebNetworkApiSurfaceAccumulator.test.ts src/domain/analysisView/analysisView.test.ts src/domain/analysisView/artifactInventoryView.test.ts src/domain/analysisView/environmentManifestRules.test.ts src/domain/analysisView/environmentManifestView.test.ts src/domain/analysisView/environmentStateView.test.ts src/domain/analysisView/environmentStateWriteCutoffs.test.ts src/domain/analysisView/il2cppMetadataView.test.ts src/domain/analysisView/interfaceBuilderView.test.ts src/domain/analysisView/machoView.test.ts src/domain/analysisView/nativeInventoryView.test.ts src/domain/analysisView/pcapCaptureView.test.ts src/domain/analysisView/scenarioCaptureRecords.test.ts src/domain/analysisView/webNetworkApiSurfaceView.test.ts src/domain/analysisView/webNetworkCaptureView.test.ts tests/boundary/mcp/nativeInventoryViewsMcp.test.ts tests/boundary/mcp/analysisViewMcp.test.ts tests/boundary/mcp/officialArguments.test.ts tests/boundary/mcp/officialTools.test.ts tests/boundary/mcp/largeToolResult.test.ts tests/boundary/mcp/ghidraEvidenceMcp.test.ts tests/boundary/mcp/nativeDispatchAvailability.test.ts tests/boundary/mcp/promptCompletion.test.ts", "static_command": "npm run check", "static_result": "passed, six tasks plus module/architecture guards", "docs_result": "npm run docs:check passed", "intermediate_failures": "Type errors and SDK fixture/error-envelope harness errors were corrected before passing checks. Two host-memory guard stops were retained; neither is a successful static check.", "provider_scope": "Real Linux x86-64 Ghidra true/jq metadata; other engines/platforms and complete application reconstruction unqualified.", "post_rebase": { "base_revision": "0134732fc", "implementation_revision": "8d1ddce86", "locked_dependencies": "npm ci passed for updated package-lock.json; frozen measurement runtimes retain their original physical dependency tree", "focused_files": 28, "focused_tests": 325, "focused_command": "npm run test:focused -- src/domain/analysisView/EnvironmentManifestAccumulator.test.ts src/domain/analysisView/WebNetworkApiSurfaceAccumulator.test.ts src/domain/analysisView/analysisView.test.ts src/domain/analysisView/artifactInventoryView.test.ts src/domain/analysisView/environmentManifestRules.test.ts src/domain/analysisView/environmentManifestView.test.ts src/domain/analysisView/environmentStateView.test.ts src/domain/analysisView/environmentStateWriteCutoffs.test.ts src/domain/analysisView/il2cppMetadataView.test.ts src/domain/analysisView/interfaceBuilderView.test.ts src/domain/analysisView/machoView.test.ts src/domain/analysisView/nativeInventoryView.test.ts src/domain/analysisView/pcapCaptureView.test.ts src/domain/analysisView/scenarioCaptureRecords.test.ts src/domain/analysisView/webNetworkApiSurfaceView.test.ts src/domain/analysisView/webNetworkCaptureView.test.ts tests/boundary/mcp/nativeInventoryViewsMcp.test.ts tests/boundary/mcp/analysisViewMcp.test.ts tests/boundary/mcp/officialArguments.test.ts tests/boundary/mcp/officialTools.test.ts tests/boundary/mcp/largeToolResult.test.ts tests/boundary/mcp/ghidraEvidenceMcp.test.ts tests/boundary/mcp/nativeDispatchAvailability.test.ts tests/boundary/mcp/promptCompletion.test.ts src/domain/analysisView/protobufCaptureView.test.ts src/browser/history/protobuf/ProtobufCapture.test.ts src/browser/history/protobuf/ProtobufWire.test.ts tests/acceptance/tools/protobufCapture.test.ts", "static_check": "npm run check passed after final field-selection normalization", "docs_check": "npm run docs:check passed, including five README consistency tests", "final_change": "Normalize duplicate field selection once, preserving original view request; focused two-file/nine-test rerun passed", "final_projector_sha256": "8795c18fe0a7c97b8a841aa3cc1fc6efe08fa1bf9711c21b0183b2cdd1f1b180", "verification_runtime_manifest_sha256": "f6a30e4a56fa1f95926e2259fbefe837ed375fb1c608e2298fb88440e1898f2f", "portable_real_source_checks": [ { "recording": "portable-true-final-1", "status": "passed", "rows_reconstructed": { "list_procedures": 231, "list_names": 1027, "list_strings": 143, "search_procedures": 8, "search_strings": 2 }, "cli_mcp_equal_comparisons": 10, "rpc_calls": 27, "catalog": { "tool_count": 209, "bytes": 3317414, "sha256": "4c920219321a08102a29673a1cdd48f74d9990e766a313313903525a9f9efa87" }, "whole_scope_wall_seconds": 23.489, "family_cpu_seconds": 23.283072, "kernel_family_peak_bytes": 1057517568, "payload_cleanup_verified": true, "resource_events": { "memory.events": { "low": 0, "high": 0, "max": 0, "oom": 0, "oom_kill": 0, "oom_group_kill": 0 }, "pids.events": { "max": 0 } } }, { "recording": "portable-jq-final-1", "status": "passed", "rows_reconstructed": { "list_procedures": 2279, "list_names": 49684, "list_strings": 2915, "search_procedures": 0, "search_strings": 24 }, "cli_mcp_equal_comparisons": 10, "rpc_calls": 444, "catalog": { "tool_count": 209, "bytes": 3317414, "sha256": "4c920219321a08102a29673a1cdd48f74d9990e766a313313903525a9f9efa87" }, "whole_scope_wall_seconds": 34.99, "family_cpu_seconds": 34.589707, "kernel_family_peak_bytes": 2153742336, "payload_cleanup_verified": true, "resource_events": { "memory.events": { "low": 0, "high": 0, "max": 0, "oom": 0, "oom_kill": 0, "oom_group_kill": 0 }, "pids.events": { "max": 0 } } } ], "performance_limit": "Fixed runtime timing/token pairs remain pinned to the pre-rebase 58d-based runtime. Final source compatibility and full-row preservation were rerun; final main performance pairs and actual model usage were not rerun.", "guard_stopped_static_retry": { "recording": "full-check-rebase-1", "abort": "host_available_memory_early_stop", "completed": false, "own_oom_events": 0 }, "final_static_and_docs_family": { "wall_seconds": 93.069, "cpu_seconds": 92.615364, "kernel_peak_bytes": 5417869312, "payload_cleanup_verified": true } }, "protocol_rebase": { "base_revision": "4eaf3a117", "implementation_revision": "7fbe79ef8", "change": "Preserve latest main oversized-error protocol framing and both documentation insertions; native projector unchanged.", "focused_command": "npm run test:focused -- src/server/EvidenceMcpServer.test.ts tests/boundary/mcp/nativeInventoryViewsMcp.test.ts tests/boundary/mcp/largeToolResult.test.ts", "focused_files": 3, "focused_tests": 11, "result": "passed", "real_old_source_cli_mcp_verifier": "true all rows and ten actual CLI/MCP comparisons passed again; no provider launched", "catalog": { "tool_count": 209, "bytes": 3317414, "sha256": "4c920219321a08102a29673a1cdd48f74d9990e766a313313903525a9f9efa87" }, "docs_check": "npm run docs:check passed again", "static_check_scope": "Earlier full static checks remain pinned above; final pre-push/CI checks track the latest branch head." } } }