[
  {
    "local_id": "C1",
    "type": "empirical",
    "core": true,
    "statement": "For uniformly random permutations of size n from 1 through 50, the exact distribution of longest increasing subsequence lengths computed via the Robinson-Schensted-Knuth correspondence yields an expected length of 11.309389 at n=50, with all expected lengths strictly bounded below 2*sqrt(n).",
    "evidence": [
      {
        "result": "R1.expected_L_50",
        "produced_by": "code/verify.py",
        "tolerance": 0.000001
      }
    ],
    "depends_on": [],
    "confidence": 1.0
  },
  {
    "local_id": "C2",
    "type": "resource",
    "core": true,
    "statement": "The benchmark independently verifies the exact distribution of longest increasing subsequence lengths against exhaustive enumeration via patience sorting for all 409113 permutations across n from 1 through 9, and confirms the Robinson-Schensted-Knuth sum-of-squares identity across all 50 sample sizes.",
    "evidence": [
      {
        "result": "R1.exhaustive_perm_count",
        "produced_by": "code/verify.py"
      }
    ],
    "depends_on": [],
    "confidence": 1.0
  }
]