checks-stored-final.json

back to table · edit · history · where entries came from · files · download

3290 bytes, as of the version from 2026-10-26 21:30 (current). Recorded here, not run.

{
  "controls": {
    "2": {
      "1": 1
    },
    "3": {
      "2": 3,
      "3": 1
    },
    "4": {
      "3": 16,
      "4": 15,
      "5": 6,
      "6": 1
    },
    "5": {
      "4": 125,
      "5": 222,
      "6": 205,
      "7": 120,
      "8": 45,
      "9": 10,
      "10": 1
    }
  },
  "rows": [
    {
      "k": 0,
      "factor": "1/4",
      "number": "0.6266570686577501256039413212027613132517466851524845791574808940855734136519604937366489595945143165",
      "accuracy_bits": 510,
      "radius": "8.9460872e-155"
    },
    {
      "k": 1,
      "factor": "5/24",
      "number": "5/24",
      "accuracy_bits": null,
      "radius": null
    },
    {
      "k": 2,
      "factor": "5/256",
      "number": "0.04895758348888672856280791571896572759779270977753785774667819485043542294155941357317569996832143098",
      "accuracy_bits": 509,
      "radius": "1.1650594e-155"
    },
    {
      "k": 3,
      "factor": "221/24192",
      "number": "221/24192",
      "accuracy_bits": null,
      "radius": null
    },
    {
      "k": 4,
      "factor": "113/196608",
      "number": "0.001440678889126093835311795436521647713164212553349421334732978129713334060519847326502305754276125443",
      "accuracy_bits": 509,
      "radius": "5.3391162e-157"
    },
    {
      "k": 5,
      "factor": "16565/83026944",
      "number": "16565/83026944",
      "accuracy_bits": null,
      "radius": null
    },
    {
      "k": 6,
      "factor": "3935/396361728",
      "number": "0.00002488530441736540965177656202904500171767969692649061030417838241160086356996066525225880189930359609",
      "accuracy_bits": 509,
      "radius": "8.6813781e-159"
    },
    {
      "k": 7,
      "factor": "51281261/18021496356864",
      "number": "51281261/18021496356864",
      "accuracy_bits": null,
      "radius": null
    },
    {
      "k": 8,
      "factor": "3229117/26787711025152",
      "number": "3.021607918157577634613629168469447773913869296980984351897217753012124166454616503495567532531534959e-7",
      "accuracy_bits": 509,
      "radius": "1.2327332e-160"
    },
    {
      "k": 9,
      "factor": "12188095/405116714483712",
      "number": "12188095/405116714483712",
      "accuracy_bits": null,
      "radius": null
    },
    {
      "k": 10,
      "factor": "528393805/468034887031455744",
      "number": "2.829889156668449498654230171781235398511912319809836383109184237827433798010143911031981790214638236e-9",
      "accuracy_bits": 509,
      "radius": "1.0300636e-162"
    },
    {
      "k": 11,
      "factor": "17917174074467/70829601670880286474240",
      "number": "17917174074467/70829601670880286474240",
      "accuracy_bits": null,
      "radius": null
    }
  ],
  "measure_written": {
    "entries": 12,
    "longest": 106,
    "longest_at": 6,
    "block_kb": 1.1298828125
  },
  "independent_coefficients": "12/12 exact matches",
  "sigma_recurrence": "all required indices",
  "manifest": "agents/runs/20261026T210447Z-build-skills/manifest.json",
  "skill_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
  "stored_independent_checks": "12/12",
  "verify": "<VerifyReport T528: 12/12 matched, 0 differing, 0 missing, 0 extra>",
  "stored_excursion_moment_identity": "12/12 at authenticated draft T523"
}