{
  "label": "Privacy-prepared evidence member manifest",
  "version": 1,
  "generatedUtc": "2026-09-13T17:42:52.089856+00:00",
  "originalRun": "Fresh-20260913T121046Z",
  "originalProjectChanged": false,
  "newLeanOrKernelChecksRun": false,
  "allPreparedTextCheckedForKnownPrivatePrefixes": true,
  "redactionTokens": [
    "{WORKSPACE_ROOT}",
    "{USER_HOME}"
  ],
  "totalPrivatePrefixReplacements": {
    "{WORKSPACE_ROOT}": 97544,
    "{USER_HOME}": 4
  },
  "selfHashOmittedToAvoidCircularity": true,
  "members": [
    {
      "member": "FRESH_VERIFICATION_REPORT.privacy-prepared.md",
      "copyBytes": 5151,
      "copySha256": "05847654A0635644AB646F2831E89A0C000C78C8A43984352821F38253CE44D7",
      "originalRelativePath": "verification/FRESH_VERIFICATION_REPORT.md",
      "originalBytes": 5479,
      "originalSha256": "292329105FE246FED4BC5FD97A4DDE7272D0531FE2D2408E3EF50C9632E3BDC7",
      "transformation": "Complete UTF-8 text; only private path prefixes replaced (UTF-8 BOM removed if present).",
      "privatePrefixReplacementCount": 8
    },
    {
      "member": "fresh-verification-summary.privacy-prepared.json",
      "copyBytes": 7854981,
      "copySha256": "E6A3A4AF6D795DA5AE52ED96241EBC0737FDD195F56053AA7A3ABEB71518FB34",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/fresh-verification-summary.json",
      "originalBytes": 10016865,
      "originalSha256": "DE525840ABBE8CFCDAEB64B7E63B158F34A2630034382C85B2B3C62ED3541435",
      "transformation": "Complete JSON; all fields, values, and list order retained; path prefixes in strings/keys replaced; whitespace compacted.",
      "privatePrefixReplacementCount": 41511
    },
    {
      "member": "final-checks-1/status.privacy-prepared.json",
      "copyBytes": 7847998,
      "copySha256": "57DF2E4DDB2CF7F8E489AFAD4BE09B1D9CEB43A410FC329C19C96107C340704F",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/final-checks-1/status.json",
      "originalBytes": 10051139,
      "originalSha256": "FEE5AC380B1D3301AA47E39D0460EEAEED886DFD235B84DEAD286F189C38A28B",
      "transformation": "Complete JSON; all fields, values, and list order retained; path prefixes in strings/keys replaced; whitespace compacted.",
      "privatePrefixReplacementCount": 41518
    },
    {
      "member": "kernel-replay-1/status.json",
      "copyBytes": 2237,
      "copySha256": "FBC57F9417D81399508C83BEB146C37BAA3B2F892631E64830BE525300EB70C3",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/kernel-replay-1/status.json",
      "originalBytes": 3080,
      "originalSha256": "7C3A8E429E8D62E568BEFA0AF2E824636C20F10C6AA6545FCF4C224F65EF2563",
      "transformation": "Complete JSON; all fields, values, and list order retained; path prefixes in strings/keys replaced; whitespace compacted.",
      "privatePrefixReplacementCount": 13
    },
    {
      "member": "kernel-replay-1/stderr.txt",
      "copyBytes": 0,
      "copySha256": "E3B0C44298FC1C149AFBF4C8996FB92427AE41E4649B934CA495991B7852B855",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/kernel-replay-1/stderr.txt",
      "originalBytes": 0,
      "originalSha256": "E3B0C44298FC1C149AFBF4C8996FB92427AE41E4649B934CA495991B7852B855",
      "transformation": "Complete UTF-8 text; only private path prefixes replaced (UTF-8 BOM removed if present).",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "inspection/status.json",
      "copyBytes": 3503,
      "copySha256": "30921C94160E7837B84AD1C7B47CB34DA4F89F65090676F0C6EF77BB15A7C7EF",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/inspection/status.json",
      "originalBytes": 4574,
      "originalSha256": "784C9BB0BD346AF9DBE53B19B7C9A1010F79C9677342063E83E1468B1EBB7FBD",
      "transformation": "Complete JSON; all fields, values, and list order retained; path prefixes in strings/keys replaced; whitespace compacted.",
      "privatePrefixReplacementCount": 12
    },
    {
      "member": "inspection/stderr.txt",
      "copyBytes": 0,
      "copySha256": "E3B0C44298FC1C149AFBF4C8996FB92427AE41E4649B934CA495991B7852B855",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/inspection/stderr.txt",
      "originalBytes": 0,
      "originalSha256": "E3B0C44298FC1C149AFBF4C8996FB92427AE41E4649B934CA495991B7852B855",
      "transformation": "Complete UTF-8 text; only private path prefixes replaced (UTF-8 BOM removed if present).",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "kernel-replay-1/stdout.txt",
      "copyBytes": 37,
      "copySha256": "AE4491F68F9CCCC625AA0AC1261D9966D1EC1F829DCABCE33C1B4E029C1A40DE",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/kernel-replay-1/stdout.txt",
      "originalBytes": 37,
      "originalSha256": "AE4491F68F9CCCC625AA0AC1261D9966D1EC1F829DCABCE33C1B4E029C1A40DE",
      "transformation": "Complete UTF-8 text; only private path prefixes replaced (UTF-8 BOM removed if present).",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "inspection/command.json",
      "copyBytes": 1234,
      "copySha256": "5279652E9491072234DFCE1F7044BFC046188B8E967DE3B4725A26CB0D691529",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/inspection/command.json",
      "originalBytes": 1847,
      "originalSha256": "1FAAF1A77FEF6CC0F4D721EC5787D880169CEF84E4FBEA2A211585BF1376C98A",
      "transformation": "Complete JSON; all fields, values, and list order retained; path prefixes in strings/keys replaced; whitespace compacted.",
      "privatePrefixReplacementCount": 10
    },
    {
      "member": "inspection/stdout.privacy-prepared.txt.gz",
      "copyBytes": 3965211,
      "copySha256": "3391F72B602C02CCCA3E0271F44C184B396DD31B55CEA662AF338E77D3C7C2E4",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/inspection/stdout.txt",
      "originalBytes": 194716063,
      "originalSha256": "A36013DBC6142A855B7B9D26CAD5816144C88CA4AEAE5DD9E57A8E299C54D154",
      "uncompressedCopyBytes": 194125130,
      "uncompressedCopySha256": "DADCADC9D523BAF73C5EC2C5A1CFA3053EE7593F106EFF2AA44475EDEDCFDB32",
      "privatePrefixReplacementCount": 14413,
      "transformation": "Complete raw UTF-8 log, private path-prefix replacements only, then deterministic gzip compression. No lines or records omitted."
    },
    {
      "member": "inspection/QUICK_RECORD_EXTRACT.txt",
      "copyBytes": 29746,
      "copySha256": "BF66C8F507BE87C1E30D2DFF69A259D2896A84970A9BBBF6761657FE59C69216",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/inspection/stdout.txt",
      "originalSha256": "A36013DBC6142A855B7B9D26CAD5816144C88CA4AEAE5DD9E57A8E299C54D154",
      "transformation": "Derived selective raw-line extract. Only tags listed in BUNDLE_README.md; full log is separately included as gzip. Not a replacement for full inspection output."
    },
    {
      "member": "formal-statements/Definitions.lean",
      "copyBytes": 5030,
      "copySha256": "1B56C4F85EBA48B6CBDE93D8CB7674CDA5C7227E8671FE2618F7B2DC1020D5F4",
      "originalRelativePath": "PL1/Definitions.lean",
      "originalBytes": 5030,
      "originalSha256": "1B56C4F85EBA48B6CBDE93D8CB7674CDA5C7227E8671FE2618F7B2DC1020D5F4",
      "transformation": "Complete UTF-8 text; only private path prefixes replaced (UTF-8 BOM removed if present).",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "formal-statements/LatticeDefinitions.lean",
      "copyBytes": 1372,
      "copySha256": "3007A7906E5E8CA773BA81863BA82E796AAB0E96B9C3A87B1682AEBC11376604",
      "originalRelativePath": "PL1/LatticeDefinitions.lean",
      "originalBytes": 1372,
      "originalSha256": "3007A7906E5E8CA773BA81863BA82E796AAB0E96B9C3A87B1682AEBC11376604",
      "transformation": "Complete UTF-8 text; only private path prefixes replaced (UTF-8 BOM removed if present).",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "formal-statements/Statements.lean",
      "copyBytes": 3637,
      "copySha256": "6ADC0894C6EE4F091160CBC77FFD39AFD6AFD1B6A6E369E1A0DA97653C6DC6B3",
      "originalRelativePath": "PL1/Statements.lean",
      "originalBytes": 3637,
      "originalSha256": "6ADC0894C6EE4F091160CBC77FFD39AFD6AFD1B6A6E369E1A0DA97653C6DC6B3",
      "transformation": "Complete UTF-8 text; only private path prefixes replaced (UTF-8 BOM removed if present).",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "formal-statements/MainTheoremA.lean",
      "copyBytes": 882,
      "copySha256": "0203389E42AB458319CC1BF912DB8482792417C132484E2934871135DAF57B3A",
      "originalRelativePath": "PL1/MainTheoremA.lean",
      "originalBytes": 882,
      "originalSha256": "0203389E42AB458319CC1BF912DB8482792417C132484E2934871135DAF57B3A",
      "transformation": "Complete UTF-8 text; only private path prefixes replaced (UTF-8 BOM removed if present).",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "formal-statements/MainTheoremB.lean",
      "copyBytes": 3020,
      "copySha256": "EB8D34075256768803F6AE87154FA2A7FD2C05E07EACF04FFF63BDCA69DD8C72",
      "originalRelativePath": "PL1/MainTheoremB.lean",
      "originalBytes": 3020,
      "originalSha256": "EB8D34075256768803F6AE87154FA2A7FD2C05E07EACF04FFF63BDCA69DD8C72",
      "transformation": "Complete UTF-8 text; only private path prefixes replaced (UTF-8 BOM removed if present).",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "widget-build/README.md",
      "copyBytes": 4872,
      "copySha256": "5824ED5CC7E1DB372C2660CA3CB895F6177429720B22D390FC84CA2B7EFAB405",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/widget-build/README.md",
      "originalBytes": 4872,
      "originalSha256": "5824ED5CC7E1DB372C2660CA3CB895F6177429720B22D390FC84CA2B7EFAB405",
      "transformation": "Complete UTF-8 text; only private path prefixes replaced (UTF-8 BOM removed if present).",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "widget-build/status.json",
      "copyBytes": 3391,
      "copySha256": "5EE85E1E466B9EC13148796DA556E6560B52A9FD10C9C3D4991B27CBAF6B0054",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/widget-build/status.json",
      "originalBytes": 4377,
      "originalSha256": "A6834FF07CE7FBD3DA6DB55E016FED083B05E3668AD1F1A5B4B50E4D986083B2",
      "transformation": "Complete JSON; all fields, values, and list order retained; path prefixes in strings/keys replaced; whitespace compacted.",
      "privatePrefixReplacementCount": 1
    },
    {
      "member": "widget-build/fresh-asset-hashes.json",
      "copyBytes": 2839,
      "copySha256": "D5F2D8857D6179C27A6AF0578DC768292E9D8E929ABC0CC7F8D52EE1AE04C0F5",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/widget-build/fresh-asset-hashes.json",
      "originalBytes": 3480,
      "originalSha256": "EAC3D32277359AA562B80DF436E23D52A6039229BDD140005E18EC0E6BA1914C",
      "transformation": "Complete JSON; all fields, values, and list order retained; path prefixes in strings/keys replaced; whitespace compacted.",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "widget-build/include-str-asset-check.json",
      "copyBytes": 3552,
      "copySha256": "715BD4B44F2654FAD192C83A6EC3975003A9E4353CF50FDA64C0C00CC85C24F3",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/widget-build/include-str-asset-check.json",
      "originalBytes": 4662,
      "originalSha256": "97E3FDF5B12EA6CA1CA1A5E5545406CD8F629A52AB75654AB4E7318DADD00B7C",
      "transformation": "Complete JSON; all fields, values, and list order retained; path prefixes in strings/keys replaced; whitespace compacted.",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "widget-build/npm-install-status.json",
      "copyBytes": 683,
      "copySha256": "1D4E802CF81B879290B974DD9A40953E53BC201E2F97F7659CDBED0E77355C74",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/widget-build/npm-install-status.json",
      "originalBytes": 993,
      "originalSha256": "24882B8FBA489D207E7F5F1FE11FD641F55C373401E707EB4CA13D9DE99B79F7",
      "transformation": "Complete JSON; all fields, values, and list order retained; path prefixes in strings/keys replaced; whitespace compacted.",
      "privatePrefixReplacementCount": 5
    },
    {
      "member": "widget-build/npm-build-status.json",
      "copyBytes": 675,
      "copySha256": "FDE0CD3EA2991510331E489F92D29A8999CEBC812B2EF3472AFEED08079E24D4",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/widget-build/npm-build-status.json",
      "originalBytes": 977,
      "originalSha256": "FDD11844AED70EE617990EC021C60965E2AE8E463A7674FCDFA74DB917C72441",
      "transformation": "Complete JSON; all fields, values, and list order retained; path prefixes in strings/keys replaced; whitespace compacted.",
      "privatePrefixReplacementCount": 5
    },
    {
      "member": "widget-build/npm-install.stdout.log",
      "copyBytes": 27,
      "copySha256": "C3DDF85726A2387A7CBD1B662727D02C6A313A77EC111651F4C97961B237C388",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/widget-build/npm-install.stdout.log",
      "originalBytes": 27,
      "originalSha256": "C3DDF85726A2387A7CBD1B662727D02C6A313A77EC111651F4C97961B237C388",
      "transformation": "Complete UTF-8 text; only private path prefixes replaced (UTF-8 BOM removed if present).",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "widget-build/npm-install.stderr.log",
      "copyBytes": 511,
      "copySha256": "69DC3D33BB93B026DBB5600006B9DF7AC30249D3D09127F01633FE02A9CAE0F3",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/widget-build/npm-install.stderr.log",
      "originalBytes": 511,
      "originalSha256": "69DC3D33BB93B026DBB5600006B9DF7AC30249D3D09127F01633FE02A9CAE0F3",
      "transformation": "Complete UTF-8 text; only private path prefixes replaced (UTF-8 BOM removed if present).",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "widget-build/npm-build.stdout.log",
      "copyBytes": 115,
      "copySha256": "EA691B7BCCAC2B850B81D427D08EDB628CAD39750CDEED9E707E191C2CC12D2D",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/widget-build/npm-build.stdout.log",
      "originalBytes": 115,
      "originalSha256": "EA691B7BCCAC2B850B81D427D08EDB628CAD39750CDEED9E707E191C2CC12D2D",
      "transformation": "Complete UTF-8 text; only private path prefixes replaced (UTF-8 BOM removed if present).",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "widget-build/npm-build.stderr.log",
      "copyBytes": 4746,
      "copySha256": "2711EF579410433674DD455C7646A61D571CB851A231FBAF968FC3B2DBD67B43",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/widget-build/npm-build.stderr.log",
      "originalBytes": 4746,
      "originalSha256": "2711EF579410433674DD455C7646A61D571CB851A231FBAF968FC3B2DBD67B43",
      "transformation": "Complete UTF-8 text; only private path prefixes replaced (UTF-8 BOM removed if present).",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "widget-build/attempt1-npm-build-status.json",
      "copyBytes": 667,
      "copySha256": "1ECCF9327C38E6D1339AFC09D3DE7C904849B14037C3C017C22DC0E269B0BA81",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/widget-build/attempt1-npm-build-status.json",
      "originalBytes": 969,
      "originalSha256": "2657C935246365271C10ED14402B68BFCBDBFE776BB4D38DEBD428087B88AFF9",
      "transformation": "Complete JSON; all fields, values, and list order retained; path prefixes in strings/keys replaced; whitespace compacted.",
      "privatePrefixReplacementCount": 5
    },
    {
      "member": "widget-build/attempt1-npm-build.stdout.log",
      "copyBytes": 115,
      "copySha256": "EA691B7BCCAC2B850B81D427D08EDB628CAD39750CDEED9E707E191C2CC12D2D",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/widget-build/attempt1-npm-build.stdout.log",
      "originalBytes": 115,
      "originalSha256": "EA691B7BCCAC2B850B81D427D08EDB628CAD39750CDEED9E707E191C2CC12D2D",
      "transformation": "Complete UTF-8 text; only private path prefixes replaced (UTF-8 BOM removed if present).",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "widget-build/attempt1-npm-build.stderr.log",
      "copyBytes": 1695,
      "copySha256": "A61AFE382A67B056F80E48A5F567E78B48B97FCC403137A2CA372A0FD3D00739",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/widget-build/attempt1-npm-build.stderr.log",
      "originalBytes": 1777,
      "originalSha256": "41F5F87FF54202959F2BE0C593E1C2CD388D15326F1706B372BFFEBEF9765408",
      "transformation": "Complete UTF-8 text; only private path prefixes replaced (UTF-8 BOM removed if present).",
      "privatePrefixReplacementCount": 2
    },
    {
      "member": "widget-build/generated-assets-exclusion.json",
      "copyBytes": 166,
      "copySha256": "9C5C7B7FD3EE858ABD6929D3463CCADCACDAD8C5A65D6619FFB523B24D5D4BAA",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/widget-build/generated-assets-exclusion.json",
      "originalBytes": 230,
      "originalSha256": "82E16DD44973BBA45CA79665DE024304AE47BEA9A2E9A385360738CD5968A164",
      "transformation": "Complete JSON; all fields, values, and list order retained; path prefixes in strings/keys replaced; whitespace compacted.",
      "privatePrefixReplacementCount": 1
    },
    {
      "member": "widget-build/source-hash-comparison-recheck.json",
      "copyBytes": 279,
      "copySha256": "44026CA637F79E42E0517B9E8F8B8EE965634976E0A3C5E609BD3651C258C6D2",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/widget-build/source-hash-comparison-recheck.json",
      "originalBytes": 302,
      "originalSha256": "8DECC1C142F10569BCB73EFCD5D53EE7585C17145183A37A66DD62F0E10B72A7",
      "transformation": "Complete JSON; all fields, values, and list order retained; path prefixes in strings/keys replaced; whitespace compacted.",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "source-build-recovery-1/recovery-summary.json",
      "copyBytes": 10859,
      "copySha256": "E1DAF69006DEFB2CD909CE3A089E19598B12D200206826225ED0D9962EEAD254",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/source-build-recovery-1/recovery-summary.json",
      "originalBytes": 14080,
      "originalSha256": "86269DCF06482EE949DB600CF0D7CD8D697F3C58641BB894B69A82C16991DE41",
      "transformation": "Complete JSON; all fields, values, and list order retained; path prefixes in strings/keys replaced; whitespace compacted.",
      "privatePrefixReplacementCount": 44
    },
    {
      "member": "source-build-recovery-1/writer-tests.json",
      "copyBytes": 243,
      "copySha256": "333361D0E73ABFE0FDC71E4A03F3A6422EDF13579B40ECC50E212AB720AF8A8F",
      "originalRelativePath": "verification/Fresh-20260913T121046Z/source-build-recovery-1/writer-tests.json",
      "originalBytes": 278,
      "originalSha256": "BFCFA409A80949F26334B801B67DAEA24FEE9FC51CA08F1314CEE46E3947E7B0",
      "transformation": "Complete JSON; all fields, values, and list order retained; path prefixes in strings/keys replaced; whitespace compacted.",
      "privatePrefixReplacementCount": 0
    },
    {
      "member": "verification-facts.json",
      "copyBytes": 3694,
      "copySha256": "D3285C0D18EA8B4AE828D64AB070C36B85AD748C8C115492E54B64886AD4C929",
      "transformation": "New compact facts derived from final summary and frozen statement sources."
    },
    {
      "member": "BUNDLE_README.md",
      "copyBytes": 3551,
      "copySha256": "C578085043F273ABFAF70479237B463D50DE06004BF27B6DD3BBB0BC819EA5A4",
      "transformation": "New publication-copy disclosure and navigation."
    }
  ]
}