Skip to content

Commit 15673a5

Browse files
louistruelouistrue
committed
docs(perf): freeze server PGO pre-screen provenance and inputs
1 parent cbc99c4 commit 15673a5

5 files changed

Lines changed: 1294 additions & 0 deletions

File tree

‎scripts/perf/evidence/native-pgo-current-2026-09-07/README.md‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,3 +9,6 @@ The largest model has an unresolved 5.27% median-time penalty despite a faster m
99
The measured pre-squash commit remains recorded unchanged. Public commit [`e40992485`](https://github.com/LTplus-AG/ifc-lite/commit/e40992485dd2a0c845225be237c65fd12603d689) has the identical complete Git tree `497a6155b289d50f083045c12212d119af2bd6f3`; `results.json` records both identities and the tree comparison. Every aggregate now lists its exact member labels, so historical, expanded and independent-large cohorts can be recomputed directly.
1010

1111
The 263 MB model’s CSG failure census varies across runs: baseline values are 194, 195, 197 and 198; candidate values are 194, 195, 196 and 197. Covered ordered geometry fingerprints and counts still match in every pair. This diagnostic variation remains a separate limitation, not a claim of zero or identical CSG failures.
12+
Reproduction source is included in the [actual-server evidence package](../server-pgo-darwin-2026-09-07/README.md), including `reproduce/native_pairs.py`. Its `--manifest`, `--artifacts`, `--out`, `--pairs` and fixture-label arguments are explicit. The native artifact input has `base` and `candidate` entries with `binary`, `sha256` and `sourceCommit`; the corpus schema is shared with the HTTP driver.
13+
14+
Native probe builds used `cargo +nightly-2025-11-15 build --locked --profile server-release --target aarch64-apple-darwin -p ifc-lite-processing --example perf_probe`, with fresh isolated CARGO_TARGET_DIR for control/generate/use. Control RUSTFLAGS is empty; generation adds only `-Cprofile-generate=<fresh raw directory>`; use adds `-Cprofile-use=<fresh merged profile> -Cllvm-args=-pgo-warn-missing-function`. Train exactly the recorded five public fixtures in separate processes using `--cold --iters 1 --json` and fresh per-process LLVM_PROFILE_FILE names, then merge with the matching LLVM21.1.5 tool. This native recipe uses full-value profiles and differs deliberately from the counter-only actual-server recipe. Never transfer one profile between the two artifacts.

‎scripts/perf/evidence/server-pgo-darwin-2026-09-07/capacity-projection.example.json‎

Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
{
2+
"reserveBytes": 42949672960,
3+
"availableBytes": 136385765376,
4+
"observations": [
5+
{"label": "downloads-01-1259mb", "sourceBytes": 1259429221, "pairLogicalBytes": 14626749414, "pairBytesPerSourceByte": 11.61379231965589},
6+
{"label": "large-mep-1050", "sourceBytes": 1050352883, "pairLogicalBytes": 9508870508, "pairBytesPerSourceByte": 9.053024618584304},
7+
{"label": "small-haus", "sourceBytes": 2526544, "pairLogicalBytes": 37451611, "pairBytesPerSourceByte": 14.823256986618876}
8+
],
9+
"fixtureCount": 27,
10+
"sourceBytesTotal": 7644042614,
11+
"onePairPerModelLogicalEstimate": 103206734308,
12+
"fivePairsPerModelLogicalEstimate": 516033671540,
13+
"sumConservativePairBudgets": 181911382518,
14+
"note": "No COW/compression savings assumed. Existing free space cannot guarantee the complete screen. Guard before every pair with reserve + its budget; retain/compact at quiescent boundaries only. Source size is an extrapolation, not a hard bound on generated geometry.",
15+
"models": [
16+
{"label": "large-mep-1050", "fixtureSha256": "ce0510a0117b88b34b7c52c4234254155def73d860f5acecbf1f47559f00c5cd", "sourceBytes": 1050352883, "pairLogicalBytesEstimate": 9508870508, "pairBudgetBytes": 14263305762, "basis": "observed-r3"},
17+
{"label": "large-architecture-343", "fixtureSha256": "e91ddbbd672bbde946af14631de4c732f0cf8a7cfae5dbbf06fbeab03b5c46df", "sourceBytes": 342657851, "pairLogicalBytesEstimate": 5079305384, "pairBudgetBytes": 7618958076, "basis": "largest observed expansion ratio; not a guaranteed bound"},
18+
{"label": "large-csg-177", "fixtureSha256": "d8cc92c00ba634d9f25f3d00185136cbc34f3b14f2cc552634551997ddc148f8", "sourceBytes": 177465622, "pairLogicalBytesEstimate": 2630618522, "pairBudgetBytes": 3945927783, "basis": "largest observed expansion ratio; not a guaranteed bound"},
19+
{"label": "small-haus", "fixtureSha256": "ea6f04eaf92fac4d7ad0038bc3d2dfea4c094dd3f516ecc33c50bf1835ca108d", "sourceBytes": 2526544, "pairLogicalBytesEstimate": 37451611, "pairBudgetBytes": 2147483648, "basis": "observed-r3"},
20+
{"label": "csg-129", "fixtureSha256": "ffdfa9a91ac6a6c301d7da0d7861dfbc3958ceb55098c143a560468702642131", "sourceBytes": 12030684, "pairLogicalBytesEstimate": 178333921, "pairBudgetBytes": 2147483648, "basis": "largest observed expansion ratio; not a guaranteed bound"},
21+
{"label": "large-sanitary-ifc4-218", "fixtureSha256": "fbd0b9222cd8af49aee9c14e41f83ff87a4bdb41052eefdbdd9a774d05189482", "sourceBytes": 217904990, "pairLogicalBytesEstimate": 3230061666, "pairBudgetBytes": 4845092499, "basis": "largest observed expansion ratio; not a guaranteed bound"},
22+
{"label": "large-architecture-192", "fixtureSha256": "d0a421e90aae06d9ea93b31d04fa7d6a076864afe3a759a72008a13b844868a5", "sourceBytes": 192239836, "pairLogicalBytesEstimate": 2849620493, "pairBudgetBytes": 4274430740, "basis": "largest observed expansion ratio; not a guaranteed bound"},
23+
{"label": "services-73", "fixtureSha256": "33eb10aeeaa2db809504256a9a010dded6db3b99e37040bde8b9a383cf7b0fd2", "sourceBytes": 72893787, "pairLogicalBytesEstimate": 1080523338, "pairBudgetBytes": 2147483648, "basis": "largest observed expansion ratio; not a guaranteed bound"},
24+
{"label": "structural-tekla-27", "fixtureSha256": "5f7423ef7a7c7db1a56e214b802edc9122315d32e7c3d43a4f3ebbeae5979e76", "sourceBytes": 26870837, "pairLogicalBytesEstimate": 398313323, "pairBudgetBytes": 2147483648, "basis": "largest observed expansion ratio; not a guaranteed bound"},
25+
{"label": "bridge-ifc4x2-15", "fixtureSha256": "09e76df5ab48b726c0d21786f2b4c3417a7600251c99f40eb883718a1e0d2c57", "sourceBytes": 15171642, "pairLogicalBytesEstimate": 224893149, "pairBudgetBytes": 2147483648, "basis": "largest observed expansion ratio; not a guaranteed bound"},
26+
{"label": "school-54", "fixtureSha256": "bd455803048d0dacf4af7de1027beb1968f0727cde38f22bdea65e57484ff121", "sourceBytes": 56359451, "pairLogicalBytesEstimate": 835430626, "pairBudgetBytes": 2147483648, "basis": "largest observed expansion ratio; not a guaranteed bound"},
27+
{"label": "downloads-01-1259mb", "fixtureSha256": "887c68571ac721e40c9c0d98a5ca889c3b8ad037a1012c06314a674a798ddc9a", "sourceBytes": 1259429221, "pairLogicalBytesEstimate": 14626749414, "pairBudgetBytes": 21940124121, "basis": "observed-r3"},
28+
{"label": "downloads-02-1050mb", "fixtureSha256": "b381f5b684e3a17753cfe76d444d3b13436ca3cd9e48a77c8078a2874eb548c1", "sourceBytes": 1050352901, "pairLogicalBytesEstimate": 15569650979, "pairBudgetBytes": 23354476469, "basis": "largest observed expansion ratio; not a guaranteed bound"},
29+
{"label": "downloads-04-1034mb", "fixtureSha256": "3590dabb008a4d86c1f1ef5eea19b4b5d2b8f18fe63cb57380dba3f4d224ecd2", "sourceBytes": 1034356508, "pairLogicalBytesEstimate": 15332532334, "pairBudgetBytes": 22998798501, "basis": "largest observed expansion ratio; not a guaranteed bound"},
30+
{"label": "downloads-05-1034mb", "fixtureSha256": "9f07f4a05fd0e0ba90e2914b4984d205d7b38ae800d972b65b3cdc611d6e7b40", "sourceBytes": 1033537204, "pairLogicalBytesEstimate": 15320387581, "pairBudgetBytes": 22980581372, "basis": "largest observed expansion ratio; not a guaranteed bound"},
31+
{"label": "downloads-06-511mb", "fixtureSha256": "f967b4692369828196fb222a7abb893659482356290da034ee53a61530f3498f", "sourceBytes": 510506767, "pairLogicalBytesEstimate": 7567373001, "pairBudgetBytes": 11351059502, "basis": "largest observed expansion ratio; not a guaranteed bound"},
32+
{"label": "downloads-07-283mb", "fixtureSha256": "9fb76969ef03ec593580040c68f8e360eb7ead9033d34a31311d35711eddc548", "sourceBytes": 282818289, "pairLogicalBytesEstimate": 4192288179, "pairBudgetBytes": 6288432269, "basis": "largest observed expansion ratio; not a guaranteed bound"},
33+
{"label": "downloads-08-263mb", "fixtureSha256": "40b56e7dcc907ebd6b7987f5412abf8564bbfcbfbcd1638632bbc2e5243ea820", "sourceBytes": 262557714, "pairLogicalBytesEstimate": 3891960469, "pairBudgetBytes": 5837940704, "basis": "largest observed expansion ratio; not a guaranteed bound"},
34+
{"label": "downloads-12-13mb", "fixtureSha256": "2ac970ce065ecac4e0c9e5f453a257169e90d0067f419b7e33533a64ef837880", "sourceBytes": 13003205, "pairLogicalBytesEstimate": 192749850, "pairBudgetBytes": 2147483648, "basis": "largest observed expansion ratio; not a guaranteed bound"},
35+
{"label": "downloads-13-13mb", "fixtureSha256": "8b5fdab886578e647abf4368735d38ea278b25834c68e8919818fd0c5e271f4b", "sourceBytes": 13003203, "pairLogicalBytesEstimate": 192749820, "pairBudgetBytes": 2147483648, "basis": "largest observed expansion ratio; not a guaranteed bound"},
36+
{"label": "downloads-14-11mb", "fixtureSha256": "8f65ccbb6308bbf6c79f8f7caa9babc4a47f2f242ee3fef77924a22cfbbd334d", "sourceBytes": 10621837, "pairLogicalBytesEstimate": 157450220, "pairBudgetBytes": 2147483648, "basis": "largest observed expansion ratio; not a guaranteed bound"},
37+
{"label": "downloads-15-5mb", "fixtureSha256": "2d7121d9b241cb668595a35d9c0ad3dcab5b88b35e7fb4edbfa04a33d1b5087c", "sourceBytes": 4535696, "pairLogicalBytesEstimate": 67233788, "pairBudgetBytes": 2147483648, "basis": "largest observed expansion ratio; not a guaranteed bound"},
38+
{"label": "downloads-16-1mb", "fixtureSha256": "ee4660df822389aaefe4295ada4722943aea963ca05a652baf2fd356854c4359", "sourceBytes": 1097001, "pairLogicalBytesEstimate": 16261128, "pairBudgetBytes": 2147483648, "basis": "largest observed expansion ratio; not a guaranteed bound"},
39+
{"label": "downloads-17-1mb", "fixtureSha256": "6b1dc56693fd9de0434508d449d89790edcd7217267257e596badaf115a98e44", "sourceBytes": 849030, "pairLogicalBytesEstimate": 12585390, "pairBudgetBytes": 2147483648, "basis": "largest observed expansion ratio; not a guaranteed bound"},
40+
{"label": "downloads-18-1mb", "fixtureSha256": "c9cd25d631c55f9d40cf304c6110f7b151652857879accf25960c73790dea53f", "sourceBytes": 625337, "pairLogicalBytesEstimate": 9269532, "pairBudgetBytes": 2147483648, "basis": "largest observed expansion ratio; not a guaranteed bound"},
41+
{"label": "downloads-19-0mb", "fixtureSha256": "ebe529f72af160a2c7cbfb1655082edf169266b632bb35bae3f7211980ad82f7", "sourceBytes": 159982, "pairLogicalBytesEstimate": 2371455, "pairBudgetBytes": 2147483648, "basis": "largest observed expansion ratio; not a guaranteed bound"},
42+
{"label": "downloads-20-0mb", "fixtureSha256": "0f76dd3c30a6defd0698b70f3609ba46225202eca024fc781bb358d7b711ac1d", "sourceBytes": 114592, "pairLogicalBytesEstimate": 1698627, "pairBudgetBytes": 2147483648, "basis": "largest observed expansion ratio; not a guaranteed bound"}
43+
]
44+
}

‎scripts/perf/evidence/server-pgo-darwin-2026-09-07/corpus.example.json‎

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
{
2+
"expanded_corpus": [
3+
{"label": "large-mep-1050", "path": "<LOCAL_FIXTURE_DIRECTORY>/large-mep-1050.ifc", "fixture_identity": {"sha256": "ce0510a0117b88b34b7c52c4234254155def73d860f5acecbf1f47559f00c5cd", "bytes": 1050352883}},
4+
{"label": "large-architecture-343", "path": "<LOCAL_FIXTURE_DIRECTORY>/large-architecture-343.ifc", "fixture_identity": {"sha256": "e91ddbbd672bbde946af14631de4c732f0cf8a7cfae5dbbf06fbeab03b5c46df", "bytes": 342657851}},
5+
{"label": "large-csg-177", "path": "<LOCAL_FIXTURE_DIRECTORY>/large-csg-177.ifc", "fixture_identity": {"sha256": "d8cc92c00ba634d9f25f3d00185136cbc34f3b14f2cc552634551997ddc148f8", "bytes": 177465622}},
6+
{"label": "small-haus", "path": "<LOCAL_FIXTURE_DIRECTORY>/small-haus.ifc", "fixture_identity": {"sha256": "ea6f04eaf92fac4d7ad0038bc3d2dfea4c094dd3f516ecc33c50bf1835ca108d", "bytes": 2526544}},
7+
{"label": "csg-129", "path": "<LOCAL_FIXTURE_DIRECTORY>/csg-129.ifc", "fixture_identity": {"sha256": "ffdfa9a91ac6a6c301d7da0d7861dfbc3958ceb55098c143a560468702642131", "bytes": 12030684}},
8+
{"label": "large-sanitary-ifc4-218", "path": "<LOCAL_FIXTURE_DIRECTORY>/large-sanitary-ifc4-218.ifc", "fixture_identity": {"sha256": "fbd0b9222cd8af49aee9c14e41f83ff87a4bdb41052eefdbdd9a774d05189482", "bytes": 217904990}},
9+
{"label": "large-architecture-192", "path": "<LOCAL_FIXTURE_DIRECTORY>/large-architecture-192.ifc", "fixture_identity": {"sha256": "d0a421e90aae06d9ea93b31d04fa7d6a076864afe3a759a72008a13b844868a5", "bytes": 192239836}},
10+
{"label": "services-73", "path": "<LOCAL_FIXTURE_DIRECTORY>/services-73.ifc", "fixture_identity": {"sha256": "33eb10aeeaa2db809504256a9a010dded6db3b99e37040bde8b9a383cf7b0fd2", "bytes": 72893787}},
11+
{"label": "structural-tekla-27", "path": "<LOCAL_FIXTURE_DIRECTORY>/structural-tekla-27.ifc", "fixture_identity": {"sha256": "5f7423ef7a7c7db1a56e214b802edc9122315d32e7c3d43a4f3ebbeae5979e76", "bytes": 26870837}},
12+
{"label": "bridge-ifc4x2-15", "path": "<LOCAL_FIXTURE_DIRECTORY>/bridge-ifc4x2-15.ifc", "fixture_identity": {"sha256": "09e76df5ab48b726c0d21786f2b4c3417a7600251c99f40eb883718a1e0d2c57", "bytes": 15171642}},
13+
{"label": "school-54", "path": "<LOCAL_FIXTURE_DIRECTORY>/school-54.ifc", "fixture_identity": {"sha256": "bd455803048d0dacf4af7de1027beb1968f0727cde38f22bdea65e57484ff121", "bytes": 56359451}},
14+
{"label": "downloads-01-1259mb", "path": "<LOCAL_FIXTURE_DIRECTORY>/downloads-01-1259mb.ifc", "fixture_identity": {"sha256": "887c68571ac721e40c9c0d98a5ca889c3b8ad037a1012c06314a674a798ddc9a", "bytes": 1259429221}},
15+
{"label": "downloads-02-1050mb", "path": "<LOCAL_FIXTURE_DIRECTORY>/downloads-02-1050mb.ifc", "fixture_identity": {"sha256": "b381f5b684e3a17753cfe76d444d3b13436ca3cd9e48a77c8078a2874eb548c1", "bytes": 1050352901}},
16+
{"label": "downloads-04-1034mb", "path": "<LOCAL_FIXTURE_DIRECTORY>/downloads-04-1034mb.ifc", "fixture_identity": {"sha256": "3590dabb008a4d86c1f1ef5eea19b4b5d2b8f18fe63cb57380dba3f4d224ecd2", "bytes": 1034356508}},
17+
{"label": "downloads-05-1034mb", "path": "<LOCAL_FIXTURE_DIRECTORY>/downloads-05-1034mb.ifc", "fixture_identity": {"sha256": "9f07f4a05fd0e0ba90e2914b4984d205d7b38ae800d972b65b3cdc611d6e7b40", "bytes": 1033537204}},
18+
{"label": "downloads-06-511mb", "path": "<LOCAL_FIXTURE_DIRECTORY>/downloads-06-511mb.ifc", "fixture_identity": {"sha256": "f967b4692369828196fb222a7abb893659482356290da034ee53a61530f3498f", "bytes": 510506767}},
19+
{"label": "downloads-07-283mb", "path": "<LOCAL_FIXTURE_DIRECTORY>/downloads-07-283mb.ifc", "fixture_identity": {"sha256": "9fb76969ef03ec593580040c68f8e360eb7ead9033d34a31311d35711eddc548", "bytes": 282818289}},
20+
{"label": "downloads-08-263mb", "path": "<LOCAL_FIXTURE_DIRECTORY>/downloads-08-263mb.ifc", "fixture_identity": {"sha256": "40b56e7dcc907ebd6b7987f5412abf8564bbfcbfbcd1638632bbc2e5243ea820", "bytes": 262557714}},
21+
{"label": "downloads-12-13mb", "path": "<LOCAL_FIXTURE_DIRECTORY>/downloads-12-13mb.ifc", "fixture_identity": {"sha256": "2ac970ce065ecac4e0c9e5f453a257169e90d0067f419b7e33533a64ef837880", "bytes": 13003205}},
22+
{"label": "downloads-13-13mb", "path": "<LOCAL_FIXTURE_DIRECTORY>/downloads-13-13mb.ifc", "fixture_identity": {"sha256": "8b5fdab886578e647abf4368735d38ea278b25834c68e8919818fd0c5e271f4b", "bytes": 13003203}},
23+
{"label": "downloads-14-11mb", "path": "<LOCAL_FIXTURE_DIRECTORY>/downloads-14-11mb.ifc", "fixture_identity": {"sha256": "8f65ccbb6308bbf6c79f8f7caa9babc4a47f2f242ee3fef77924a22cfbbd334d", "bytes": 10621837}},
24+
{"label": "downloads-15-5mb", "path": "<LOCAL_FIXTURE_DIRECTORY>/downloads-15-5mb.ifc", "fixture_identity": {"sha256": "2d7121d9b241cb668595a35d9c0ad3dcab5b88b35e7fb4edbfa04a33d1b5087c", "bytes": 4535696}},
25+
{"label": "downloads-16-1mb", "path": "<LOCAL_FIXTURE_DIRECTORY>/downloads-16-1mb.ifc", "fixture_identity": {"sha256": "ee4660df822389aaefe4295ada4722943aea963ca05a652baf2fd356854c4359", "bytes": 1097001}},
26+
{"label": "downloads-17-1mb", "path": "<LOCAL_FIXTURE_DIRECTORY>/downloads-17-1mb.ifc", "fixture_identity": {"sha256": "6b1dc56693fd9de0434508d449d89790edcd7217267257e596badaf115a98e44", "bytes": 849030}},
27+
{"label": "downloads-18-1mb", "path": "<LOCAL_FIXTURE_DIRECTORY>/downloads-18-1mb.ifc", "fixture_identity": {"sha256": "c9cd25d631c55f9d40cf304c6110f7b151652857879accf25960c73790dea53f", "bytes": 625337}},
28+
{"label": "downloads-19-0mb", "path": "<LOCAL_FIXTURE_DIRECTORY>/downloads-19-0mb.ifc", "fixture_identity": {"sha256": "ebe529f72af160a2c7cbfb1655082edf169266b632bb35bae3f7211980ad82f7", "bytes": 159982}},
29+
{"label": "downloads-20-0mb", "path": "<LOCAL_FIXTURE_DIRECTORY>/downloads-20-0mb.ifc", "fixture_identity": {"sha256": "0f76dd3c30a6defd0698b70f3609ba46225202eca024fc781bb358d7b711ac1d", "bytes": 114592}}
30+
]
31+
}

‎scripts/perf/evidence/server-pgo-darwin-2026-09-07/plan.example.json‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
{
2+
"sourceCommit": "cf38caabaca57ffe8be54b534da884787e2f5fb8",
3+
"profileKind": "Continuous counter-only; value annotations unavailable",
4+
"training": [
5+
{"label": "large-csg-177", "path": "<LOCAL_FIXTURE_DIRECTORY>/large-csg-177.ifc", "publicSha256": "d8cc92c00ba634d9f25f3d00185136cbc34f3b14f2cc552634551997ddc148f8"},
6+
{"label": "small-haus", "path": "<LOCAL_FIXTURE_DIRECTORY>/small-haus.ifc", "publicSha256": "ea6f04eaf92fac4d7ad0038bc3d2dfea4c094dd3f516ecc33c50bf1835ca108d"},
7+
{"label": "structural-tekla-27", "path": "<LOCAL_FIXTURE_DIRECTORY>/structural-tekla-27.ifc", "publicSha256": "5f7423ef7a7c7db1a56e214b802edc9122315d32e7c3d43a4f3ebbeae5979e76"},
8+
{"label": "bridge-ifc4x2-15", "path": "<LOCAL_FIXTURE_DIRECTORY>/bridge-ifc4x2-15.ifc", "publicSha256": "09e76df5ab48b726c0d21786f2b4c3417a7600251c99f40eb883718a1e0d2c57"},
9+
{"label": "school-54", "path": "<LOCAL_FIXTURE_DIRECTORY>/school-54.ifc", "publicSha256": "bd455803048d0dacf4af7de1027beb1968f0727cde38f22bdea65e57484ff121"}
10+
]
11+
}

0 commit comments

Comments
 (0)