Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
71,202 changes: 71,202 additions & 0 deletions research/bit-retirement-profile-rebuild/EXPECTED-LOCAL.json

Large diffs are not rendered by default.

19,731 changes: 19,731 additions & 0 deletions research/bit-retirement-profile-rebuild/EXPECTED-ORACLE.json

Large diffs are not rendered by default.

79 changes: 79 additions & 0 deletions research/bit-retirement-profile-rebuild/EXPECTED-PARENT.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,79 @@
{
"QUERYs": 900416,
"W": 28416,
"all_call_owners_checked": true,
"calls": 288,
"derived_idle_factors_sha256": "a3b987752e3e08ea946e4eccf2697f9e12dbbc117ff98a3bdb158a57421c9626",
"derived_idle_histogram_including_zero": {
"0": 254,
"2": 422,
"4": 412,
"6": 444,
"7": 666,
"10": 1,
"42": 21
},
"family_factors_checked": 111,
"full_profile": {
"1": 379872,
"2": 400000,
"3": 22464,
"4": 24416,
"5": 29376,
"6": 17088,
"7": 26496,
"10": 32,
"42": 672
},
"helper_occurrences": 125568,
"helper_width_histogram": {
"4": 4,
"8": 432
},
"helpers_per_call": 436,
"idle_factors_per_replica_including_zero": 2220,
"local_profile": {
"1": 1319,
"2": 1342,
"3": 78,
"4": 39,
"5": 102,
"6": 10,
"7": 18
},
"negative_controls": [
{
"control": "alter_terminal_width_copied_RECORD_unchanged",
"rejected_by": "independently supplied helper width differs from Q rank"
},
{
"control": "omit_nonzero_idle_copied_RECORD_unchanged",
"omitted": [
0,
0,
[
9,
10,
11,
12,
13,
14
]
],
"rejected_by": "derived QUERY count disagrees with copied RECORD"
}
],
"occupied_support_sha256": "fb97b356c50f65ff8ef0da17cf0adc61be0d706b022144d1bd0b21d47ae9a1bc",
"pairs": 4,
"parent_children": 10,
"ports": 111,
"private_families": 9,
"private_receives_DATA_credit": false,
"rankmass": 1808352,
"replicas": 32,
"scope": "Literal compact owner supports, chronology and paid profile only; no full native/SOURCE operator, physical tape, all-size supplier or outer theorem.",
"stages": 9,
"status": "PASS_INDEPENDENT_LITERAL_PARENT_PROFILE",
"terminal_relative_charts_checked": 24,
"terminal_relative_charts_used": 24
}
7 changes: 7 additions & 0 deletions research/bit-retirement-profile-rebuild/NOTICE
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
New audit prepared by ToikY with substantial OpenAI Codex assistance.
Exact retained inputs originate in ai-nanachi PR4326 head080f8c218d64c6d231ed6297987e39b7a912a4ef.
Ryanson Jonathan/pinterbanget PR4335 requested this separate literal profile reconstruction.
Source credit: Ross Richardson4183/4021; ai-nanachi3647 compact node; Ali Romman; Sagar Thakrar; cheesegrader; commdata2338; CubeJerry; Jose Manuel; David Arias; full original README/PROOF lineage retained verbatim under source/.
No predecessor source executable is imported or executed by this package.
Original source has no separate NOTICE/CREDITS/LICENSE files in the selected package. Repository licensing remains applicable.
Finite Q-frame and literal owner invoice only; no new kappa, native, physical supplier, outer multiplication, human or kernel acceptance.
Loading