fold/tests/benchmarks/projects/baselines/yams_source.json
trvon 84746e060b
Some checks failed
build / build-linux (push) Failing after 7m33s
build / build-macos (push) Has been cancelled
build / release (push) Has been cancelled
fix(eval): finding fingerprint must be identity-based, not content-based
Backlog #7. Repro showed chromium finding LOCATIONS (rule/uri/line/
col/id) were byte-identical across runs while the summary
finding_fingerprint drifted (064e60c9 -> 4573bb71): summarize_sarif_findings
hashed the full canonical finding record, which carries Z3-timing-
volatile fields (quality metrics, uncertainty reasons, confidence,
score). The stability gate already used identity-only keys, so the
fingerprint contradicted it on Z3-heavy corpora.

finding_identity_key now = {finding_id, rule_id, uri, line, backend}
(measurement artifacts excluded), and the fingerprint is the sha256
of the sorted identity keys — consistent with how change-time drift
and dispositions already define 'a finding'.

Verified: chromium fingerprint STABLE across identical runs
(f5629f0f). Repinned the four baselines to the identity-based
fingerprint (fold 6fe221a0, yams c9ad7d60, sage 3da6ecfa, chromium
f5629f0f).
2026-09-01 19:54:54 -06:00

1613 lines
40 KiB
JSON

{
"baseline_comparison": {
"profiled_serial": {
"baseline_median_seconds": 8.104,
"candidate_median_seconds": 6.626,
"median_change_pct": -18.237907206317857,
"method": "paired-by-repetition",
"paired": {
"common_language_effect": 1.0,
"losses": 0,
"lower_is_better": true,
"median_delta": -1.4780000000000006,
"median_relative_change_pct": -17.950325208227476,
"pairs": 2,
"ties": 0,
"two_sided_sign_test_p": 0.5,
"wins": 2
}
},
"throughput": {
"baseline_median_seconds": 7.548,
"candidate_median_seconds": 6.615,
"median_change_pct": -12.360890302066771,
"method": "paired-by-repetition",
"paired": {
"common_language_effect": 1.0,
"losses": 0,
"lower_is_better": true,
"median_delta": -0.9325000000000001,
"median_relative_change_pct": -12.206820270987318,
"pairs": 2,
"ties": 0,
"two_sided_sign_test_p": 0.5,
"wins": 2
}
}
},
"change_time": {
"alert_density_per_kloc": 2.003,
"baseline_revision": "4d942793534b7b13a1fedcc8d017d98dbe18e72f",
"by_disposition": {
"accepted-risk": 3,
"actionable": 4
},
"changed_files": [],
"changed_scope": "selected-and-finding-files",
"counts": {
"current": 7,
"current_in_scope": 7,
"new": 0,
"new_in_changed_files": 0,
"new_in_scope": 0,
"persisting": 7,
"resolved": 0,
"reviewed": 7
},
"current_revision": "5d967b9708c16b05d50b47545b1cd911821228d8",
"identity_mismatches": [],
"moved": [
{
"current": {
"line": 600,
"uri": "include/yams/metadata/document_metadata.h"
},
"id": "clone:literal-insensitive:12245276909989417956:1098403681163497475",
"reviewed": {
"line": 600,
"uri": "../../include/yams/metadata/document_metadata.h"
}
},
{
"current": {
"line": 42,
"uri": "src/metadata/connection_pool.cpp"
},
"id": "clone:literal-insensitive:14923149845992407203:11191373491611600626",
"reviewed": {
"line": 42,
"uri": "../../src/metadata/connection_pool.cpp"
}
},
{
"current": {
"line": 623,
"uri": "include/yams/metadata/document_metadata.h"
},
"id": "clone:literal-insensitive:16723759724016722089:6955619696511760552",
"reviewed": {
"line": 623,
"uri": "../../include/yams/metadata/document_metadata.h"
}
},
{
"current": {
"line": 662,
"uri": "src/metadata/connection_pool.cpp"
},
"id": "high-complexity:12503670573337107444",
"reviewed": {
"line": 662,
"uri": "../../src/metadata/connection_pool.cpp"
}
},
{
"current": {
"line": 1145,
"uri": "include/yams/metadata/metadata_repository.h"
},
"id": "high-complexity:6222159599337819923",
"reviewed": {
"line": 1145,
"uri": "../../include/yams/metadata/metadata_repository.h"
}
},
{
"current": {
"line": 271,
"uri": "src/metadata/connection_pool.cpp"
},
"id": "high-complexity:6282006980449136522",
"reviewed": {
"line": 271,
"uri": "../../src/metadata/connection_pool.cpp"
}
},
{
"current": {
"line": 66,
"uri": "include/yams/core/types.h"
},
"id": "high-complexity:6758362663857118858",
"reviewed": {
"line": 66,
"uri": "../../include/yams/core/types.h"
}
}
],
"new": [],
"new_alert_density_per_kloc": 0.0,
"new_by_rule": {},
"new_in_changed_files": [],
"persisting": [
"clone:literal-insensitive:12245276909989417956:1098403681163497475",
"clone:literal-insensitive:14923149845992407203:11191373491611600626",
"clone:literal-insensitive:16723759724016722089:6955619696511760552",
"high-complexity:12503670573337107444",
"high-complexity:6222159599337819923",
"high-complexity:6282006980449136522",
"high-complexity:6758362663857118858"
],
"resolved": [],
"resolved_by_disposition": {},
"review_coverage": 1.0,
"reviewed_at": "2026-07-31T02:15:00Z",
"reviewer": "opencode-optimization-loop (fold optimization workflow iteration 2; re-baselined after line drift; each finding verified against source)",
"scope_kloc": 3.494
},
"configuration": {
"analysis_fingerprint": "03afae6b587a28f34ef952388e05dab4b84461bbd10ba1dbb9a585b1039ad323",
"budget_seconds": 60,
"detectors": [],
"exclude_regex": "(^|/)(third_party|subprojects|generated)(/|$)|(^|/)proto_serializer\\.cpp$",
"extra_args": [],
"lane": "source",
"max_tus": 0,
"path_regex": "/(connection_pool|content_index_writer)\\.cpp$",
"per_query_ms": 2000,
"per_tu_timeout": 60,
"processes": 2,
"repeats": 2,
"rust_toolchain": "",
"scopes": [
"quality",
"redundancy"
],
"source_settings": {
"budget_seconds": 60,
"class_similarity_threshold": 0.7,
"clone_min_score": 0.0,
"clone_similarity": 0.7,
"clone_type": 2,
"complexity_threshold": 20,
"min_body_stmts": 4,
"per_query_ms": 2000,
"per_tu_timeout": 60
},
"throughput_processes": 2
},
"gold": {
"f1": 1.0,
"false_negative": 0,
"false_positive": 0,
"finding_groups": 7,
"gold_total": 7,
"matched_findings": 7,
"matched_gold_indices": [
0,
1,
2,
3,
4,
5,
6
],
"metric_defined": {
"f1": true,
"precision": true,
"recall": true
},
"missed_gold_indices": [],
"per_rule": {
"clone": {
"f1": 1.0,
"false_negative": 0,
"false_positive": 0,
"finding_groups": 3,
"gold_total": 3,
"matched_findings": 3,
"matched_gold_indices": [
0,
1,
2
],
"metric_defined": {
"f1": true,
"precision": true,
"recall": true
},
"missed_gold_indices": [],
"precision": 1.0,
"recall": 1.0,
"true_positive": 3,
"unmatched_finding_ids": []
},
"high-complexity": {
"f1": 1.0,
"false_negative": 0,
"false_positive": 0,
"finding_groups": 4,
"gold_total": 4,
"matched_findings": 4,
"matched_gold_indices": [
0,
1,
2,
3
],
"metric_defined": {
"f1": true,
"precision": true,
"recall": true
},
"missed_gold_indices": [],
"precision": 1.0,
"recall": 1.0,
"true_positive": 4,
"unmatched_finding_ids": []
}
},
"precision": 1.0,
"recall": 1.0,
"true_positive": 7,
"unmatched_finding_ids": []
},
"manifest": {
"configuration": {
"budget_seconds": 60,
"detectors": [],
"exclude_regex": "(^|/)(third_party|subprojects|generated)(/|$)|(^|/)proto_serializer\\.cpp$",
"extra_args": [],
"lane": "source",
"max_tus": 0,
"path_regex": "/(connection_pool|content_index_writer)\\.cpp$",
"per_query_ms": 2000,
"per_tu_timeout": 60,
"processes": 2,
"rust_toolchain": "",
"scopes": [
"quality",
"redundancy"
],
"source_settings": {
"budget_seconds": 60,
"class_similarity_threshold": 0.7,
"clone_min_score": 0.0,
"clone_similarity": 0.7,
"clone_type": 2,
"complexity_threshold": 20,
"min_body_stmts": 4,
"per_query_ms": 2000,
"per_tu_timeout": 60
}
},
"configuration_fingerprint": "03afae6b587a28f34ef952388e05dab4b84461bbd10ba1dbb9a585b1039ad323",
"lane": "source",
"path": "/Users/trevon/work/tools/fold/tests/benchmarks/projects/yams_source.json",
"project": "yams"
},
"optimization_surface": {
"known_source_phase_ms": 1926.5,
"peak_rss_mb": 442.484,
"ranked_detectors": [
{
"analyze_share_pct": 7.44,
"detector": "always-condition",
"wall_ms": 488.0,
"z3_queries": 92.0,
"z3_timeouts": 0.0
},
{
"analyze_share_pct": 7.15,
"detector": "equiv",
"wall_ms": 469.0,
"z3_queries": 0.0,
"z3_timeouts": 0.0
},
{
"analyze_share_pct": 5.3,
"detector": "dead",
"wall_ms": 347.5,
"z3_queries": 136.0,
"z3_timeouts": 0.0
},
{
"analyze_share_pct": 2.23,
"detector": "complexity",
"wall_ms": 146.0,
"z3_queries": 0.0,
"z3_timeouts": 0.0
},
{
"analyze_share_pct": 0.46,
"detector": "use-after-move",
"wall_ms": 30.0,
"z3_queries": 0.0,
"z3_timeouts": 0.0
},
{
"analyze_share_pct": 0.35,
"detector": "unused-function",
"wall_ms": 23.0,
"z3_queries": 0.0,
"z3_timeouts": 0.0
},
{
"analyze_share_pct": 0.28,
"detector": "class-dup",
"wall_ms": 18.5,
"z3_queries": 0.0,
"z3_timeouts": 0.0
},
{
"analyze_share_pct": 0.24,
"detector": "clone",
"wall_ms": 16.0,
"z3_queries": 0.0,
"z3_timeouts": 0.0
},
{
"analyze_share_pct": 0.23,
"detector": "redundant-store",
"wall_ms": 15.0,
"z3_queries": 0.0,
"z3_timeouts": 0.0
},
{
"analyze_share_pct": 0.18,
"detector": "dead-statement",
"wall_ms": 12.0,
"z3_queries": 0.0,
"z3_timeouts": 0.0
},
{
"analyze_share_pct": 0.18,
"detector": "iterator-invalidation",
"wall_ms": 11.5,
"z3_queries": 0.0,
"z3_timeouts": 0.0
},
{
"analyze_share_pct": 0.18,
"detector": "unreachable",
"wall_ms": 11.5,
"z3_queries": 0.0,
"z3_timeouts": 0.0
},
{
"analyze_share_pct": 0.17,
"detector": "deprecated-api",
"wall_ms": 11.0,
"z3_queries": 0.0,
"z3_timeouts": 0.0
},
{
"analyze_share_pct": 0.16,
"detector": "static-ptr-asymmetry",
"wall_ms": 10.5,
"z3_queries": 0.0,
"z3_timeouts": 0.0
},
{
"analyze_share_pct": 0.02,
"detector": "production-reachability",
"wall_ms": 1.0,
"z3_queries": 0.0,
"z3_timeouts": 0.0
}
],
"ranked_graph_subphases": [
{
"phase": "project_graph_collect",
"wall_ms": 1861.5
},
{
"phase": "project_index_snapshot_update",
"wall_ms": 28.0
},
{
"phase": "project_index_contribution_update",
"wall_ms": 18.5
},
{
"phase": "project_graph_merge",
"wall_ms": 6.0
},
{
"phase": "project_index_load",
"wall_ms": 0.5
},
{
"phase": "project_graph_fallback",
"wall_ms": 0.0
},
{
"phase": "security_candidate",
"wall_ms": 0.0
}
],
"ranked_source_phases": [
{
"analyze_share_pct": 29.39,
"phase": "call_graph",
"wall_ms": 1926.5
},
{
"analyze_share_pct": 0.0,
"phase": "cross_tu_property",
"wall_ms": 0.0
},
{
"analyze_share_pct": 0.0,
"phase": "function_fingerprint",
"wall_ms": 0.0
},
{
"analyze_share_pct": 0.0,
"phase": "security_candidate",
"wall_ms": 0.0
},
{
"analyze_share_pct": 0.0,
"phase": "symbolic_summary",
"wall_ms": 0.0
}
],
"shared_frontend_and_orchestration_ms": 4944.5,
"unattributed_frontend_and_orchestration_ms": 3018.0
},
"performance": {
"profiled_serial": {
"profile": {
"detectors": {
"always-condition": {
"findings_emitted": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"functions_analyzed": {
"iqr": 0.0,
"max": 893.0,
"median": 893.0,
"min": 893.0,
"n": 2
},
"functions_skipped": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"wall_ms": {
"iqr": 6.0,
"max": 491.0,
"median": 488.0,
"min": 485.0,
"n": 2
},
"z3_queries": {
"iqr": 0.0,
"max": 92.0,
"median": 92.0,
"min": 92.0,
"n": 2
},
"z3_timeouts": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
}
},
"class-dup": {
"findings_emitted": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"functions_analyzed": {
"iqr": 0.0,
"max": 893.0,
"median": 893.0,
"min": 893.0,
"n": 2
},
"functions_skipped": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"wall_ms": {
"iqr": 1.0,
"max": 19.0,
"median": 18.5,
"min": 18.0,
"n": 2
},
"z3_queries": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"z3_timeouts": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
}
},
"clone": {
"findings_emitted": {
"iqr": 0.0,
"max": 3.0,
"median": 3.0,
"min": 3.0,
"n": 2
},
"functions_analyzed": {
"iqr": 0.0,
"max": 893.0,
"median": 893.0,
"min": 893.0,
"n": 2
},
"functions_skipped": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"wall_ms": {
"iqr": 0.0,
"max": 16.0,
"median": 16.0,
"min": 16.0,
"n": 2
},
"z3_queries": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"z3_timeouts": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
}
},
"complexity": {
"findings_emitted": {
"iqr": 0.0,
"max": 15.0,
"median": 15.0,
"min": 15.0,
"n": 2
},
"functions_analyzed": {
"iqr": 0.0,
"max": 893.0,
"median": 893.0,
"min": 893.0,
"n": 2
},
"functions_skipped": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"wall_ms": {
"iqr": 4.0,
"max": 148.0,
"median": 146.0,
"min": 144.0,
"n": 2
},
"z3_queries": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"z3_timeouts": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
}
},
"dead": {
"findings_emitted": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"functions_analyzed": {
"iqr": 0.0,
"max": 893.0,
"median": 893.0,
"min": 893.0,
"n": 2
},
"functions_skipped": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"wall_ms": {
"iqr": 1.0,
"max": 348.0,
"median": 347.5,
"min": 347.0,
"n": 2
},
"z3_queries": {
"iqr": 0.0,
"max": 136.0,
"median": 136.0,
"min": 136.0,
"n": 2
},
"z3_timeouts": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
}
},
"dead-statement": {
"findings_emitted": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"functions_analyzed": {
"iqr": 0.0,
"max": 893.0,
"median": 893.0,
"min": 893.0,
"n": 2
},
"functions_skipped": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"wall_ms": {
"iqr": 0.0,
"max": 12.0,
"median": 12.0,
"min": 12.0,
"n": 2
},
"z3_queries": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"z3_timeouts": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
}
},
"deprecated-api": {
"findings_emitted": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"functions_analyzed": {
"iqr": 0.0,
"max": 893.0,
"median": 893.0,
"min": 893.0,
"n": 2
},
"functions_skipped": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"wall_ms": {
"iqr": 0.0,
"max": 11.0,
"median": 11.0,
"min": 11.0,
"n": 2
},
"z3_queries": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"z3_timeouts": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
}
},
"equiv": {
"findings_emitted": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"functions_analyzed": {
"iqr": 0.0,
"max": 893.0,
"median": 893.0,
"min": 893.0,
"n": 2
},
"functions_skipped": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"wall_ms": {
"iqr": 2.0,
"max": 470.0,
"median": 469.0,
"min": 468.0,
"n": 2
},
"z3_queries": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"z3_timeouts": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
}
},
"iterator-invalidation": {
"findings_emitted": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"functions_analyzed": {
"iqr": 0.0,
"max": 893.0,
"median": 893.0,
"min": 893.0,
"n": 2
},
"functions_skipped": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"wall_ms": {
"iqr": 1.0,
"max": 12.0,
"median": 11.5,
"min": 11.0,
"n": 2
},
"z3_queries": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"z3_timeouts": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
}
},
"production-reachability": {
"findings_emitted": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"functions_analyzed": {
"iqr": 0.0,
"max": 893.0,
"median": 893.0,
"min": 893.0,
"n": 2
},
"functions_skipped": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"wall_ms": {
"iqr": 0.0,
"max": 1.0,
"median": 1.0,
"min": 1.0,
"n": 2
},
"z3_queries": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"z3_timeouts": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
}
},
"redundant-store": {
"findings_emitted": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"functions_analyzed": {
"iqr": 0.0,
"max": 893.0,
"median": 893.0,
"min": 893.0,
"n": 2
},
"functions_skipped": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"wall_ms": {
"iqr": 0.0,
"max": 15.0,
"median": 15.0,
"min": 15.0,
"n": 2
},
"z3_queries": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"z3_timeouts": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
}
},
"static-ptr-asymmetry": {
"findings_emitted": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"functions_analyzed": {
"iqr": 0.0,
"max": 893.0,
"median": 893.0,
"min": 893.0,
"n": 2
},
"functions_skipped": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"wall_ms": {
"iqr": 1.0,
"max": 11.0,
"median": 10.5,
"min": 10.0,
"n": 2
},
"z3_queries": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"z3_timeouts": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
}
},
"unreachable": {
"findings_emitted": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"functions_analyzed": {
"iqr": 0.0,
"max": 893.0,
"median": 893.0,
"min": 893.0,
"n": 2
},
"functions_skipped": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"wall_ms": {
"iqr": 1.0,
"max": 12.0,
"median": 11.5,
"min": 11.0,
"n": 2
},
"z3_queries": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"z3_timeouts": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
}
},
"unused-function": {
"findings_emitted": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"functions_analyzed": {
"iqr": 0.0,
"max": 893.0,
"median": 893.0,
"min": 893.0,
"n": 2
},
"functions_skipped": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"wall_ms": {
"iqr": 2.0,
"max": 24.0,
"median": 23.0,
"min": 22.0,
"n": 2
},
"z3_queries": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"z3_timeouts": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
}
},
"use-after-move": {
"findings_emitted": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"functions_analyzed": {
"iqr": 0.0,
"max": 893.0,
"median": 893.0,
"min": 893.0,
"n": 2
},
"functions_skipped": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"wall_ms": {
"iqr": 2.0,
"max": 31.0,
"median": 30.0,
"min": 29.0,
"n": 2
},
"z3_queries": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"z3_timeouts": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
}
}
},
"scan": {
"analyze_ms": {
"iqr": 6.0,
"max": 6558.0,
"median": 6555.0,
"min": 6552.0,
"n": 2
},
"call_graph_ms": {
"iqr": 5.0,
"max": 1929.0,
"median": 1926.5,
"min": 1924.0,
"n": 2
},
"compile_db_load_ms": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"cross_tu_property_ms": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"findings_before_filter": {
"iqr": 0.0,
"max": 18.0,
"median": 18.0,
"min": 18.0,
"n": 2
},
"findings_report_visible": {
"iqr": 0.0,
"max": 7.0,
"median": 7.0,
"min": 7.0,
"n": 2
},
"frontend_extraction_ms": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"function_fingerprint_ms": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"num_functions": {
"iqr": 0.0,
"max": 893.0,
"median": 893.0,
"min": 893.0,
"n": 2
},
"num_tus": {
"iqr": 0.0,
"max": 2.0,
"median": 2.0,
"min": 2.0,
"n": 2
},
"peak_rss_kb": {
"iqr": 14016.0,
"max": 460112.0,
"median": 453104.0,
"min": 446096.0,
"n": 2
},
"project_graph_collect_ms": {
"iqr": 5.0,
"max": 1864.0,
"median": 1861.5,
"min": 1859.0,
"n": 2
},
"project_graph_fallback_ms": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"project_graph_merge_ms": {
"iqr": 0.0,
"max": 6.0,
"median": 6.0,
"min": 6.0,
"n": 2
},
"project_index_contribution_update_ms": {
"iqr": 1.0,
"max": 19.0,
"median": 18.5,
"min": 18.0,
"n": 2
},
"project_index_load_ms": {
"iqr": 1.0,
"max": 1.0,
"median": 0.5,
"min": 0.0,
"n": 2
},
"project_index_snapshot_update_ms": {
"iqr": 0.0,
"max": 28.0,
"median": 28.0,
"min": 28.0,
"n": 2
},
"project_index_update_ms": {
"iqr": 1.0,
"max": 47.0,
"median": 46.5,
"min": 46.0,
"n": 2
},
"report_ms": {
"iqr": 0.0,
"max": 1.0,
"median": 1.0,
"min": 1.0,
"n": 2
},
"security_candidate_ms": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"serial_dispatch_ms": {
"iqr": 6.0,
"max": 6558.0,
"median": 6555.0,
"min": 6552.0,
"n": 2
},
"source_tus_attempted": {
"iqr": 0.0,
"max": 2.0,
"median": 2.0,
"min": 2.0,
"n": 2
},
"source_tus_completed": {
"iqr": 0.0,
"max": 2.0,
"median": 2.0,
"min": 2.0,
"n": 2
},
"source_tus_excluded": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"source_tus_frontend_failed": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"source_tus_selected": {
"iqr": 0.0,
"max": 2.0,
"median": 2.0,
"min": 2.0,
"n": 2
},
"source_tus_timed_out": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"symbolic_summary_ms": {
"iqr": 0.0,
"max": 0.0,
"median": 0.0,
"min": 0.0,
"n": 2
},
"total_wall_ms": {
"iqr": 6.0,
"max": 6559.0,
"median": 6556.0,
"min": 6553.0,
"n": 2
}
}
},
"wall_samples_seconds": [
6.628,
6.624
],
"wall_seconds": {
"iqr": 0.004,
"max": 6.628,
"median": 6.626,
"min": 6.624,
"n": 2
}
},
"throughput": {
"processes": 2,
"wall_samples_seconds": [
6.592,
6.639
],
"wall_seconds": {
"iqr": 0.047,
"max": 6.639,
"median": 6.615,
"min": 6.592,
"n": 2
}
}
},
"reliability": {
"by_rule": {
"fold.clone": 3,
"fold.high-complexity": 4
},
"failures": [
"finding fingerprint differs from baseline"
],
"finding_count": 7,
"finding_fingerprint": "c9ad7d60383a58914f340f93c658158cf6f6854212af73d8fb201f914d2b42cb",
"missing_location": 0,
"operational_coverage": {
"by_run": [
{
"frontend_failures": {
"affected_tus": [],
"count": 0,
"event_count": 0,
"examples": []
},
"iteration": 1,
"lane": "profiled-serial",
"missing_dependencies": {
"affected_tus": [],
"count": 0,
"event_count": 0,
"examples": []
},
"reconciliation": {
"affected_tus": [],
"attempted_tus": 2,
"completed_tus": 2,
"frontend_failed_tus": 0,
"selected_tus": 2,
"timed_out_tus": 0
},
"tu_crashes": {
"affected_tus": [],
"count": 0,
"event_count": 0,
"examples": []
},
"tu_timeouts": {
"affected_tus": [],
"count": 0,
"event_count": 0,
"examples": []
}
},
{
"frontend_failures": {
"affected_tus": [],
"count": 0,
"event_count": 0,
"examples": []
},
"iteration": 2,
"lane": "profiled-serial",
"missing_dependencies": {
"affected_tus": [],
"count": 0,
"event_count": 0,
"examples": []
},
"reconciliation": {
"affected_tus": [],
"attempted_tus": 2,
"completed_tus": 2,
"frontend_failed_tus": 0,
"selected_tus": 2,
"timed_out_tus": 0
},
"tu_crashes": {
"affected_tus": [],
"count": 0,
"event_count": 0,
"examples": []
},
"tu_timeouts": {
"affected_tus": [],
"count": 0,
"event_count": 0,
"examples": []
}
},
{
"frontend_failures": {
"affected_tus": [],
"count": 0,
"event_count": 0,
"examples": []
},
"iteration": 1,
"lane": "throughput",
"missing_dependencies": {
"affected_tus": [],
"count": 0,
"event_count": 0,
"examples": []
},
"reconciliation": {
"affected_tus": [],
"completed_tus_lower_bound": 2,
"failed_tus": 0,
"selected_tus": 2
},
"tu_crashes": {
"affected_tus": [],
"count": 0,
"event_count": 0,
"examples": []
},
"tu_timeouts": {
"affected_tus": [],
"count": 0,
"event_count": 0,
"examples": []
}
},
{
"frontend_failures": {
"affected_tus": [],
"count": 0,
"event_count": 0,
"examples": []
},
"iteration": 2,
"lane": "throughput",
"missing_dependencies": {
"affected_tus": [],
"count": 0,
"event_count": 0,
"examples": []
},
"reconciliation": {
"affected_tus": [],
"completed_tus_lower_bound": 2,
"failed_tus": 0,
"selected_tus": 2
},
"tu_crashes": {
"affected_tus": [],
"count": 0,
"event_count": 0,
"examples": []
},
"tu_timeouts": {
"affected_tus": [],
"count": 0,
"event_count": 0,
"examples": []
}
}
],
"totals": {
"frontend_failures": 0,
"missing_dependencies": 0,
"tu_crashes": 0,
"tu_timeouts": 0
}
},
"per_rule_stability": {
"fold.clone": {
"churn_count": 0,
"exact": true,
"intersection_count": 3,
"pairwise_jaccard": {
"iqr": 0.0,
"max": 1.0,
"median": 1.0,
"min": 1.0,
"n": 6
},
"per_run_counts": [
3,
3,
3,
3
],
"run_count": 4,
"union_count": 3
},
"fold.high-complexity": {
"churn_count": 0,
"exact": true,
"intersection_count": 4,
"pairwise_jaccard": {
"iqr": 0.0,
"max": 1.0,
"median": 1.0,
"min": 1.0,
"n": 6
},
"per_run_counts": [
4,
4,
4,
4
],
"run_count": 4,
"union_count": 4
}
},
"stability": {
"churn_count": 0,
"exact": true,
"intersection_count": 7,
"pairwise_jaccard": {
"iqr": 0.0,
"max": 1.0,
"median": 1.0,
"min": 1.0,
"n": 6
},
"per_run_counts": [
7,
7,
7,
7
],
"run_count": 4,
"union_count": 7
},
"stable_findings": true,
"z3_timeouts": 0
},
"run_artifacts": [
"tests/benchmarks/runs/optimization-2026-08-31-repin-yams_source/profiled-serial-1.run.json",
"tests/benchmarks/runs/optimization-2026-08-31-repin-yams_source/profiled-serial-2.run.json",
"tests/benchmarks/runs/optimization-2026-08-31-repin-yams_source/throughput-1.run.json",
"tests/benchmarks/runs/optimization-2026-08-31-repin-yams_source/throughput-2.run.json"
],
"schema_version": 2,
"status": "failed",
"target": {
"binaries": [],
"lane": "source",
"paths": [
"src/metadata/connection_pool.cpp",
"src/metadata/content_index_writer.cpp"
],
"project_root": "/Users/trevon/work/tools/yams",
"revision": "5d967b9708c16b05d50b47545b1cd911821228d8",
"selected_tus": 2,
"tu_set_fingerprint": "869d21aa24cad532703390cc2865c1101a96b2aae394169e1ab5a8b126790ec7"
}
}