{
  "all_integrity_checks_passed": true,
  "configuration": {
    "directory_creation_excluded": true,
    "memory_interleaved_and_alternating": true,
    "memory_samples_per_mechanism_and_size": 10,
    "timing_interleaved_and_alternating": true,
    "timing_samples_per_mechanism_and_size": 30,
    "unexpected_case_uses_production_descriptor_digest": true,
    "valid_case_content_hashing_stubbed": true,
    "valid_case_stub_semantics": "digest equals basename",
    "valid_object_counts": [
      128,
      1024,
      4096
    ],
    "warmups_per_mechanism_and_case": 3
  },
  "filesystem": "overlayfs",
  "integrity_checks": {
    "final_symlink_digest_is_rejected": true,
    "platform_exposes_o_nofollow": true,
    "regular_inode_digest_matches": true,
    "staged_symlink_is_rejected": true
  },
  "platform": "Linux-7.0.0-28-generic-x86_64-with-glibc2.39",
  "proof_boundary": "Local Python microbenchmark on one overlayfs host. The valid-set case isolates scan/control-structure cost by replacing content hashing with basename identity; it does not measure end-to-end corpus or solver throughput. The unexpected-object case uses the production descriptor/no-follow digest but reads a page-cached local file. tracemalloc excludes RSS, kernel buffers, filesystem cache, and some native allocations.",
  "python": "3.12.3",
  "schema": "symcc-f339-streaming-nofollow-staging-cost-v1",
  "unexpected_object": {
    "comparison": {
      "content_bytes_requested_avoided": 503316480,
      "digest_calls_avoided": 30,
      "materialized_to_streaming_median_time_ratio": 1406.0384697357204
    },
    "expected_absent_hash": "7da19c1bbe06f0c5c7b56742ccdc93cde82975eefd2d2d63436b56acd0e7dddf",
    "materialized": {
      "content_bytes_requested": 503316480,
      "digest_calls": 30,
      "samples_us": [
        7181.958,
        6972.062,
        6584.529,
        6567.273,
        6563.738,
        6556.737,
        6602.255,
        6659.281,
        6671.88,
        6641.605,
        6648.655,
        6664.018,
        6696.468,
        6724.87,
        6735.856,
        6724.249,
        6708.395,
        6694.745,
        6858.622,
        6592.01,
        6590.067,
        6578.86,
        6583.978,
        6573.392,
        6580.032,
        6578.31,
        6577.158,
        6579.18,
        6573.772,
        6590.007
      ],
      "timing_us": {
        "maximum": 7181.958,
        "mean": 6661.798733333333,
        "median": 6597.1325,
        "minimum": 6556.737,
        "p95": 6921.013999999999
      }
    },
    "object_bytes": 16777216,
    "streaming": {
      "content_bytes_requested": 0,
      "digest_calls": 0,
      "samples_us": [
        6.239,
        3.835,
        6.169,
        4.337,
        5.338,
        3.946,
        8.743,
        3.645,
        10.135,
        3.646,
        11.568,
        3.715,
        13.961,
        3.686,
        19.218,
        3.696,
        15.373,
        3.706,
        8.453,
        3.916,
        5.588,
        3.545,
        5.258,
        3.605,
        5.408,
        3.576,
        5.217,
        3.555,
        5.047,
        3.525
      ],
      "timing_us": {
        "maximum": 19.218,
        "mean": 6.254966666666666,
        "median": 4.692,
        "minimum": 3.525,
        "p95": 14.737599999999995
      }
    },
    "timing_samples_per_mechanism": 30,
    "unexpected_hash": "9ee00d649d0965fa704e4ae0e49c9e9c7150cac53dcc3c985916eebd066e8a67"
  },
  "valid_namespace": {
    "1024": {
      "comparison": {
        "materialized_to_streaming_median_memory_ratio": 2.710315131546386,
        "materialized_to_streaming_median_time_ratio": 0.9684539131894141,
        "streaming_to_materialized_median_time_ratio": 1.0325736582618528
      },
      "expected_objects": 1024,
      "materialized": {
        "memory_bytes": {
          "maximum": 383328.0,
          "mean": 383328.0,
          "median": 383328.0,
          "minimum": 383328.0,
          "p95": 383328.0
        },
        "peak_traced_bytes": [
          383328,
          383328,
          383328,
          383328,
          383328,
          383328,
          383328,
          383328,
          383328,
          383328
        ],
        "samples_us": [
          1591.886,
          1604.365,
          1719.939,
          1592.527,
          1565.726,
          1570.643,
          1565.696,
          1562.151,
          1567.589,
          1680.108,
          1577.564,
          1561.5,
          1563.262,
          1570.803,
          1558.015,
          1605.957,
          1583.914,
          1571.034,
          1573.408,
          1563.223,
          1561.2,
          1563.092,
          1564.654,
          1569.301,
          1563.323,
          1569.892,
          1568.04,
          1569.042,
          1580.338,
          1584.775
        ],
        "timing_us": {
          "maximum": 1719.939,
          "mean": 1581.4322333333334,
          "median": 1569.5965,
          "minimum": 1558.015,
          "p95": 1646.7400499999999
        }
      },
      "streaming": {
        "memory_bytes": {
          "maximum": 141433.0,
          "mean": 141433.0,
          "median": 141433.0,
          "minimum": 141433.0,
          "p95": 141433.0
        },
        "peak_traced_bytes": [
          141433,
          141433,
          141433,
          141433,
          141433,
          141433,
          141433,
          141433,
          141433,
          141433
        ],
        "samples_us": [
          1642.551,
          1638.807,
          1643.574,
          2275.865,
          1614.089,
          1613.758,
          1617.964,
          1618.296,
          1712.367,
          1714.069,
          1612.837,
          1615.942,
          1615.721,
          1615.02,
          1622.241,
          1621.66,
          1631.795,
          1623.813,
          1623.393,
          1610.854,
          1619.788,
          1612.346,
          1618.155,
          1615.471,
          1624.024,
          1617.293,
          1623.303,
          1615.361,
          1644.494,
          1635.191
        ],
        "timing_us": {
          "maximum": 2275.865,
          "mean": 1650.3347333333334,
          "median": 1620.7240000000002,
          "minimum": 1610.854,
          "p95": 1713.3031
        }
      }
    },
    "128": {
      "comparison": {
        "materialized_to_streaming_median_memory_ratio": 2.3365971459934136,
        "materialized_to_streaming_median_time_ratio": 0.9632483915239886,
        "streaming_to_materialized_median_time_ratio": 1.0381538228346954
      },
      "expected_objects": 128,
      "materialized": {
        "memory_bytes": {
          "maximum": 53216.0,
          "mean": 53216.0,
          "median": 53216.0,
          "minimum": 53216.0,
          "p95": 53216.0
        },
        "peak_traced_bytes": [
          53216,
          53216,
          53216,
          53216,
          53216,
          53216,
          53216,
          53216,
          53216,
          53216
        ],
        "samples_us": [
          197.707,
          199.029,
          196.425,
          196.406,
          198.599,
          196.265,
          197.016,
          197.146,
          196.415,
          196.105,
          196.075,
          198.138,
          196.045,
          197.006,
          199.28,
          209.335,
          208.774,
          210.096,
          210.197,
          204.478,
          196.336,
          196.005,
          195.784,
          198.469,
          197.047,
          201.143,
          200.942,
          199.811,
          199.1,
          200.802
        ],
        "timing_us": {
          "maximum": 210.197,
          "mean": 199.53253333333333,
          "median": 197.9225,
          "minimum": 195.784,
          "p95": 209.75355000000002
        }
      },
      "streaming": {
        "memory_bytes": {
          "maximum": 22775.0,
          "mean": 22775.0,
          "median": 22775.0,
          "minimum": 22775.0,
          "p95": 22775.0
        },
        "peak_traced_bytes": [
          22775,
          22775,
          22775,
          22775,
          22775,
          22775,
          22775,
          22775,
          22775,
          22775
        ],
        "samples_us": [
          205.219,
          205.138,
          205.078,
          205.299,
          205.209,
          205.409,
          207.332,
          205.579,
          205.93,
          207.121,
          205.178,
          204.578,
          205.099,
          205.56,
          206.541,
          205.539,
          223.466,
          219.89,
          222.425,
          219.511,
          205.539,
          207.522,
          205.158,
          204.828,
          206.06,
          205.389,
          204.948,
          204.718,
          207.402,
          205.048
        ],
        "timing_us": {
          "maximum": 223.466,
          "mean": 207.72376666666665,
          "median": 205.474,
          "minimum": 204.578,
          "p95": 221.28425
        }
      }
    },
    "4096": {
      "comparison": {
        "materialized_to_streaming_median_memory_ratio": 2.7249940867548643,
        "materialized_to_streaming_median_time_ratio": 0.9692954093115201,
        "streaming_to_materialized_median_time_ratio": 1.0316772269769532
      },
      "expected_objects": 4096,
      "materialized": {
        "memory_bytes": {
          "maximum": 1532256.0,
          "mean": 1532256.0,
          "median": 1532256.0,
          "minimum": 1532256.0,
          "p95": 1532256.0
        },
        "peak_traced_bytes": [
          1532256,
          1532256,
          1532256,
          1532256,
          1532256,
          1532256,
          1532256,
          1532256,
          1532256,
          1532256
        ],
        "samples_us": [
          6470.367,
          6476.156,
          6471.489,
          6635.445,
          6480.192,
          6490.247,
          6469.355,
          6696.066,
          6545.73,
          6493.682,
          6502.716,
          6498.6,
          6475.294,
          6487.553,
          6487.973,
          6478.93,
          6486.952,
          6490.056,
          6474.644,
          6487.173,
          6484.478,
          6473.702,
          6464.088,
          6486.791,
          6478.659,
          6478.118,
          6459.641,
          6479.181,
          6468.474,
          6467.433
        ],
        "timing_us": {
          "maximum": 6696.066,
          "mean": 6494.6395,
          "median": 6479.6865,
          "minimum": 6459.641,
          "p95": 6595.0732499999995
        }
      },
      "streaming": {
        "memory_bytes": {
          "maximum": 562297.0,
          "mean": 562297.0,
          "median": 562297.0,
          "minimum": 562297.0,
          "p95": 562297.0
        },
        "peak_traced_bytes": [
          562297,
          562297,
          562297,
          562297,
          562297,
          562297,
          562297,
          562297,
          562297,
          562297
        ],
        "samples_us": [
          6677.518,
          6664.128,
          6767.024,
          6721.745,
          6689.246,
          6678.66,
          6674.003,
          6684.95,
          6700.794,
          6698.1,
          6699.001,
          6848.607,
          6708.375,
          6713.893,
          6684.94,
          6663.879,
          6695.435,
          6689.627,
          6834.966,
          6688.415,
          6680.984,
          6705.932,
          6668.225,
          6652.751,
          6645.881,
          6636.277,
          6645.55,
          6638.23,
          6644.629,
          6638.19
        ],
        "timing_us": {
          "maximum": 6848.607,
          "mean": 6691.331833333333,
          "median": 6684.945,
          "minimum": 6636.277,
          "p95": 6804.3921
        }
      }
    }
  }
}