{
 "generated_utc": "2026-10-17T16:25:16+00:00",
 "schema": "wulfram-progress/1",
 "note": "Progress metrics only; the reconstruction itself is not published here.",
 "snapshot": {
  "date": "2026-10-17T11:25:03-05:00",
  "subject": "Promote intake-6b: [fn] via chained vecctor-owner supersede (+1 fn / +934 B)",
  "verified_functions": 2449,
  "verified_bytes": 375172,
  "denominator_functions": 4392,
  "denominator_bytes": 986454,
  "verified_bytes_percent": 38.032,
  "verified_by_proof_tier": {
   "BYTES": 372653,
   "T1-diffexec": 2426,
   "T1-oracle": 93
  },
  "first_party_excluding_library_rows": {
   "percent": 39.588,
   "numerator_bytes": 375172,
   "denominator_bytes": 947693,
   "functions": 4310
  },
  "library_tier": {
   "percent": 59.073,
   "exact_bytes": 178866,
   "pending_bytes": 83449,
   "denominator_bytes": 302789
  },
  "provisional_counted_bytes": 9054,
  "bytes_tier_bytes": 372653,
  "bytes_tier_functions": 2423,
  "verified_bytes_by_subsystem": {
   "Game/Simulation": 68318,
   "System/Graphics": 58516,
   "Game/View": 50767,
   "System/Core": 39901,
   "Game/Session": 28743,
   "System/Network": 22895,
   "AppInit/AppCore": 15984,
   "System/UI": 15750,
   "System/Platform": 13418,
   "Tools/InGameEditors": 12913,
   "Tools/Debug": 10838,
   "Game/Data": 7391,
   "System/Input": 7341,
   "System/Audio": 6377,
   "Services": 5737,
   "Game": 2459,
   "Tools": 2459,
   "System": 1932,
   "Game/Common": 1217,
   "GUESS3": 972,
   "AppInit/AppInit_win32_winmain": 615,
   "System/Common": 525,
   "GUESS4": 104
  },
  "areas": {
   "view.hud": {
    "bytes": 69726,
    "verified_bytes": 16441,
    "functions": 234,
    "verified_functions": 97,
    "percent": 23.579
   },
   "gfx.backend": {
    "bytes": 66828,
    "verified_bytes": 42832,
    "functions": 282,
    "verified_functions": 211,
    "percent": 64.093
   },
   "view.screens": {
    "bytes": 58444,
    "verified_bytes": 18018,
    "functions": 260,
    "verified_functions": 124,
    "percent": 30.83
   },
   "tools.editors": {
    "bytes": 57988,
    "verified_bytes": 14248,
    "functions": 250,
    "verified_functions": 96,
    "percent": 24.571
   },
   "core.debug": {
    "bytes": 57121,
    "verified_bytes": 24010,
    "functions": 202,
    "verified_functions": 131,
    "percent": 42.034
   },
   "sim.world": {
    "bytes": 56378,
    "verified_bytes": 18704,
    "functions": 174,
    "verified_functions": 61,
    "percent": 33.176
   },
   "gfx.raster": {
    "bytes": 55913,
    "verified_bytes": 14232,
    "functions": 208,
    "verified_functions": 78,
    "percent": 25.454
   },
   "ui.widgets": {
    "bytes": 55790,
    "verified_bytes": 15750,
    "functions": 329,
    "verified_functions": 142,
    "percent": 28.231
   },
   "sim.physics": {
    "bytes": 38806,
    "verified_bytes": 19332,
    "functions": 174,
    "verified_functions": 118,
    "percent": 49.817
   },
   "view.tactical": {
    "bytes": 38434,
    "verified_bytes": 4935,
    "functions": 140,
    "verified_functions": 40,
    "percent": 12.84
   },
   "sim.collision": {
    "bytes": 38411,
    "verified_bytes": 15715,
    "functions": 122,
    "verified_functions": 69,
    "percent": 40.913
   },
   "social": {
    "bytes": 35515,
    "verified_bytes": 8581,
    "functions": 125,
    "verified_functions": 77,
    "percent": 24.162
   },
   "view.fx": {
    "bytes": 30657,
    "verified_bytes": 2283,
    "functions": 116,
    "verified_functions": 21,
    "percent": 7.447
   },
   "core.concurrency": {
    "bytes": 28893,
    "verified_bytes": 2044,
    "functions": 68,
    "verified_functions": 27,
    "percent": 7.074
   },
   "sim.entities": {
    "bytes": 28700,
    "verified_bytes": 14567,
    "functions": 155,
    "verified_functions": 109,
    "percent": 50.756
   },
   "app.bootstrap": {
    "bytes": 27558,
    "verified_bytes": 16599,
    "functions": 83,
    "verified_functions": 59,
    "percent": 60.233
   },
   "gfx.texture": {
    "bytes": 23996,
    "verified_bytes": 8037,
    "functions": 126,
    "verified_functions": 66,
    "percent": 33.493
   },
   "net.replication": {
    "bytes": 20317,
    "verified_bytes": 8003,
    "functions": 93,
    "verified_functions": 55,
    "percent": 39.391
   },
   "core.io": {
    "bytes": 19930,
    "verified_bytes": 6963,
    "functions": 117,
    "verified_functions": 56,
    "percent": 34.937
   },
   "services.updater": {
    "bytes": 19712,
    "verified_bytes": 11233,
    "functions": 120,
    "verified_functions": 97,
    "percent": 56.986
   },
   "net.protocol": {
    "bytes": 18207,
    "verified_bytes": 12610,
    "functions": 152,
    "verified_functions": 128,
    "percent": 69.259
   },
   "math.kernel": {
    "bytes": 15641,
    "verified_bytes": 11743,
    "functions": 101,
    "verified_functions": 78,
    "percent": 75.078
   },
   "assets.formats": {
    "bytes": 15278,
    "verified_bytes": 9966,
    "functions": 66,
    "verified_functions": 44,
    "percent": 65.231
   },
   "net.session": {
    "bytes": 14005,
    "verified_bytes": 9302,
    "functions": 86,
    "verified_functions": 63,
    "percent": 66.419
   },
   "input.devices": {
    "bytes": 13219,
    "verified_bytes": 7633,
    "functions": 88,
    "verified_functions": 64,
    "percent": 57.743
   },
   "net.transport": {
    "bytes": 12514,
    "verified_bytes": 9230,
    "functions": 78,
    "verified_functions": 66,
    "percent": 73.757
   },
   "core.runtime": {
    "bytes": 12024,
    "verified_bytes": 8988,
    "functions": 125,
    "verified_functions": 102,
    "percent": 74.75
   },
   "session.lifecycle": {
    "bytes": 11580,
    "verified_bytes": 3776,
    "functions": 69,
    "verified_functions": 37,
    "percent": 32.608
   },
   "input.bindings": {
    "bytes": 7899,
    "verified_bytes": 1636,
    "functions": 44,
    "verified_functions": 10,
    "percent": 20.711
   },
   "platform.window": {
    "bytes": 7418,
    "verified_bytes": 6842,
    "functions": 30,
    "verified_functions": 27,
    "percent": 92.235
   },
   "audio.runtime": {
    "bytes": 6656,
    "verified_bytes": 4412,
    "functions": 40,
    "verified_functions": 28,
    "percent": 66.286
   },
   "view.camera": {
    "bytes": 6436,
    "verified_bytes": 778,
    "functions": 30,
    "verified_functions": 9,
    "percent": 12.088
   },
   "view.comms": {
    "bytes": 5244,
    "verified_bytes": 1072,
    "functions": 25,
    "verified_functions": 8,
    "percent": 20.442
   },
   "audio.backend": {
    "bytes": 5212,
    "verified_bytes": 2012,
    "functions": 38,
    "verified_functions": 17,
    "percent": 38.603
   },
   "crypto.hash": {
    "bytes": 2992,
    "verified_bytes": 220,
    "functions": 7,
    "verified_functions": 4,
    "percent": 7.353
   },
   "sim.clock": {
    "bytes": 2843,
    "verified_bytes": 2257,
    "functions": 34,
    "verified_functions": 29,
    "percent": 79.388
   },
   "third-party.bzip2": {
    "bytes": 169,
    "verified_bytes": 168,
    "functions": 1,
    "verified_functions": 1,
    "percent": 99.408
   }
  },
  "roles": {
   "presentation": {
    "bytes": 423336,
    "verified_bytes": 130802,
    "percent": 30.898
   },
   "simulation": {
    "bytes": 180779,
    "verified_bytes": 82318,
    "percent": 45.535
   },
   "tooling": {
    "bytes": 134821,
    "verified_bytes": 49491,
    "percent": 36.709
   },
   "gameplay": {
    "bytes": 82552,
    "verified_bytes": 30592,
    "percent": 37.058
   },
   "platform": {
    "bytes": 62044,
    "verified_bytes": 25749,
    "percent": 41.501
   },
   "protocol": {
    "bytes": 55521,
    "verified_bytes": 30135,
    "percent": 54.277
   },
   "engine": {
    "bytes": 47232,
    "verified_bytes": 25917,
    "percent": 54.872
   },
   "third-party": {
    "bytes": 169,
    "verified_bytes": 168,
    "percent": 99.408
   }
  }
 },
 "exceptions": {
  "counted_bytes": 375172,
  "counted_functions": 2449,
  "bytes_tier_bytes": 372653,
  "bytes_tier_functions": 2423,
  "categories": [
   {
    "key": "provisional_amendment_20b",
    "label": "Shared-context rule (provisional)",
    "functions": 54,
    "bytes": 9054,
    "percent_of_counted": 2.413,
    "proof_tier": "byte-exact",
    "bytes_identical": true,
    "nature": "Byte-identical. These functions sit in multi-function units whose only outside helpers are functions that were already verified; those helpers ride along unchanged as shared build context and are not counted a second time. The open question is the admission rule, not the bytes.",
    "plan": "Gate rule under review. If it is tightened, the whole block can be taken out of the count in one step."
   },
   {
    "key": "T1",
    "label": "Behaviour-verified (lower tier)",
    "functions": 26,
    "bytes": 2519,
    "percent_of_counted": 0.671,
    "proof_tier": "behaviour",
    "bytes_identical": false,
    "nature": "Not yet byte-proven. Each function was run side by side with the original on recorded inputs and gave the same results, with a control that is able to fail. Counted in the campaign figure on a lower proof tier; not part of the byte-exact tier.",
    "plan": "Expected to be temporary: these are meant to be replaced by byte-exact versions as their units are rebuilt."
   },
   {
    "key": "name_forced",
    "label": "Chosen local-variable names",
    "functions": 6,
    "bytes": 1955,
    "percent_of_counted": 0.521,
    "proof_tier": "byte-exact",
    "bytes_identical": true,
    "nature": "Byte-identical. The period compiler orders some stack slots by the spelling of local variable names. Where no evidence names the original variable, a name was chosen that reproduces the layout.",
    "plan": "Evidence-quality flag; revisit if naming evidence turns up."
   },
   {
    "key": "invented_helpers",
    "label": "Invented helpers",
    "functions": 64,
    "bytes": 23842,
    "percent_of_counted": 6.355,
    "proof_tier": "byte-exact",
    "bytes_identical": true,
    "nature": "Byte-identical. The source uses a small helper the original may not have had, for example a stand-in caller that gives the compiler the right surrounding context. The helper itself is never counted.",
    "plan": "Evidence-quality flag; revisit and replace with the original structure where it can be identified."
   },
   {
    "key": "unnamed_global_aliases",
    "label": "References to not-yet-named globals",
    "functions": 412,
    "bytes": 99954,
    "percent_of_counted": 26.642,
    "proof_tier": "byte-exact",
    "bytes_identical": true,
    "nature": "Byte-identical, and every reference lands on the same address as in the original. The referenced global or function simply has no independently backed name yet.",
    "plan": "Naming work; the bytes and addresses already agree."
   },
   {
    "key": "declspec_align_grandfathered",
    "label": "Older alignment annotation",
    "functions": 4,
    "bytes": 420,
    "percent_of_counted": 0.112,
    "proof_tier": "byte-exact",
    "bytes_identical": true,
    "nature": "Byte-identical, but the source reproduces the stack frame with an explicit alignment annotation. A later study of frame alignment suggests the original was written differently.",
    "plan": "Grandfathered; due to be re-ported the newer way."
   },
   {
    "key": "provisional_amendment_13c",
    "label": "Other provisional rule",
    "functions": 3,
    "bytes": 998,
    "percent_of_counted": 0.266,
    "proof_tier": "byte-exact",
    "bytes_identical": true,
    "nature": "Byte-identical; admitted under a rule that is marked provisional.",
    "plan": "Under review."
   },
   {
    "key": "provisional_vecctor_owner",
    "label": "Other provisional rule",
    "functions": 4,
    "bytes": 2211,
    "percent_of_counted": 0.589,
    "proof_tier": "byte-exact",
    "bytes_identical": true,
    "nature": "Byte-identical; admitted under a rule that is marked provisional.",
    "plan": "Under review."
   },
   {
    "key": "provisional_amendment_20c",
    "label": "Other provisional rule",
    "functions": 11,
    "bytes": 4130,
    "percent_of_counted": 1.101,
    "proof_tier": "byte-exact",
    "bytes_identical": true,
    "nature": "Byte-identical; admitted under a rule that is marked provisional.",
    "plan": "Under review."
   },
   {
    "key": "provisional_manual_mutation",
    "label": "Other provisional rule",
    "functions": 2,
    "bytes": 1167,
    "percent_of_counted": 0.311,
    "proof_tier": "byte-exact",
    "bytes_identical": true,
    "nature": "Byte-identical; admitted under a rule that is marked provisional.",
    "plan": "Under review."
   },
   {
    "key": "provisional_amendment_20e",
    "label": "Other provisional rule",
    "functions": 1,
    "bytes": 298,
    "percent_of_counted": 0.079,
    "proof_tier": "byte-exact",
    "bytes_identical": true,
    "nature": "Byte-identical; admitted under a rule that is marked provisional.",
    "plan": "Under review."
   },
   {
    "key": "provisional_amendment_20f",
    "label": "Other provisional rule",
    "functions": 1,
    "bytes": 1733,
    "percent_of_counted": 0.462,
    "proof_tier": "byte-exact",
    "bytes_identical": true,
    "nature": "Byte-identical; admitted under a rule that is marked provisional.",
    "plan": "Under review."
   },
   {
    "key": "provisional_amendment_20c_realign",
    "label": "Other provisional rule",
    "functions": 1,
    "bytes": 141,
    "percent_of_counted": 0.038,
    "proof_tier": "byte-exact",
    "bytes_identical": true,
    "nature": "Byte-identical; admitted under a rule that is marked provisional.",
    "plan": "Under review."
   },
   {
    "key": "provisional_superseded_records",
    "label": "Replaced records (provisional)",
    "functions": 5,
    "bytes": 1621,
    "percent_of_counted": 0.432,
    "proof_tier": "byte-exact",
    "bytes_identical": true,
    "nature": "Byte-identical. A newer proof replaced an older record: either a larger unit that contains the old one, or a fresh proof for a record whose source had gone out of date. The old records are kept verbatim in a separate file; every function is counted once.",
    "plan": "Rule under review. Deleting that one file returns the count to what it was before the rule."
   }
  ],
  "library_provisional_rules": [
   {
    "key": "provisional_bss_gap_fit",
    "label": "provisional bss gap fit",
    "bytes": null,
    "nature": "Library tier only: library bytes admitted under an evidence rule marked provisional.",
    "plan": "Under review; never part of the first-party figure."
   }
  ],
  "note": "Apart from the behaviour-verified row, these flags describe how a unit was admitted or attributed (the evidence rules), not bytes that fail to match. A function can carry more than one flag, so the rows overlap and do not add up."
 }
}