{
  "checks": [
    {
      "name": "restart reordered points reuse exactly persisted switches",
      "passed": true
    },
    {
      "name": "persistent forward inverse composition",
      "passed": true
    },
    {
      "name": "independent materialized swap table matches durable queries",
      "passed": true
    },
    {
      "name": "full traversal touches every shared switch",
      "passed": true
    },
    {
      "name": "no distribution badge for explicit bit tape",
      "passed": true
    },
    {
      "name": "keyed provider order-independent across restarts",
      "passed": true
    },
    {
      "name": "independent seeded materialized table",
      "passed": true
    },
    {
      "name": "seeded point inverse consistency",
      "passed": true
    },
    {
      "name": "seeded model and security status explicit",
      "passed": true
    },
    {
      "name": "wrong seed refused",
      "passed": true
    },
    {
      "name": "non-dyadic bijection and inverse m=1",
      "passed": true
    },
    {
      "name": "cycle bound m=1",
      "passed": true
    },
    {
      "name": "non-dyadic bijection and inverse m=2",
      "passed": true
    },
    {
      "name": "cycle bound m=2",
      "passed": true
    },
    {
      "name": "non-dyadic bijection and inverse m=3",
      "passed": true
    },
    {
      "name": "cycle bound m=3",
      "passed": true
    },
    {
      "name": "non-dyadic bijection and inverse m=4",
      "passed": true
    },
    {
      "name": "cycle bound m=4",
      "passed": true
    },
    {
      "name": "non-dyadic bijection and inverse m=5",
      "passed": true
    },
    {
      "name": "cycle bound m=5",
      "passed": true
    },
    {
      "name": "non-dyadic bijection and inverse m=6",
      "passed": true
    },
    {
      "name": "cycle bound m=6",
      "passed": true
    },
    {
      "name": "non-dyadic bijection and inverse m=7",
      "passed": true
    },
    {
      "name": "cycle bound m=7",
      "passed": true
    },
    {
      "name": "non-dyadic bijection and inverse m=8",
      "passed": true
    },
    {
      "name": "cycle bound m=8",
      "passed": true
    },
    {
      "name": "63-bit exact decimal-wire inverse",
      "passed": true
    },
    {
      "name": "high-domain seeded queries retain no switch table",
      "passed": true
    },
    {
      "name": "invalid decimal wire ''",
      "passed": true
    },
    {
      "name": "invalid decimal wire '01'",
      "passed": true
    },
    {
      "name": "invalid decimal wire '-1'",
      "passed": true
    },
    {
      "name": "invalid decimal wire '+1'",
      "passed": true
    },
    {
      "name": "invalid decimal wire '1.0'",
      "passed": true
    },
    {
      "name": "invalid decimal wire ' 1'",
      "passed": true
    },
    {
      "name": "invalid decimal wire '1 '",
      "passed": true
    },
    {
      "name": "invalid decimal wire '1e3'",
      "passed": true
    },
    {
      "name": "invalid decimal wire '\u0661'",
      "passed": true
    },
    {
      "name": "invalid decimal wire 1",
      "passed": true
    },
    {
      "name": "invalid decimal wire True",
      "passed": true
    },
    {
      "name": "invalid decimal wire None",
      "passed": true
    },
    {
      "name": "invalid decimal wire '999999999999999999999999",
      "passed": true
    },
    {
      "name": "decimal outside domain",
      "passed": true
    },
    {
      "name": "largest 63-bit wire accepted exactly",
      "passed": true
    },
    {
      "name": "work exhaustion preserves first complete and later unknown",
      "passed": true
    },
    {
      "name": "capacity exhaustion yields unknown without fabricated result",
      "passed": true
    },
    {
      "name": "exhausted explicit tape is unknown",
      "passed": true
    },
    {
      "name": "different epoch cannot reuse store",
      "passed": true
    },
    {
      "name": "mismatch leaves prior store bytes unchanged",
      "passed": true
    },
    {
      "name": "incomplete append refused",
      "passed": true
    },
    {
      "name": "incomplete file not repaired or truncated",
      "passed": true
    },
    {
      "name": "duplicate switch row refused",
      "passed": true
    },
    {
      "name": "duplicate file preserved",
      "passed": true
    },
    {
      "name": "existing empty file refused",
      "passed": true
    },
    {
      "name": "existing empty file unchanged",
      "passed": true
    },
    {
      "name": "second writer timeout bounded",
      "passed": true
    },
    {
      "name": "local process worker 0 completed",
      "passed": true
    },
    {
      "name": "local process worker 1 completed",
      "passed": true
    },
    {
      "name": "two local workers agree across query order",
      "passed": true
    },
    {
      "name": "workers collectively generate exactly one value per key",
      "passed": true
    },
    {
      "name": "OS store restart composes with both workers",
      "passed": true
    },
    {
      "name": "OS randomness and distributed limits stay unverified",
      "passed": true
    },
    {
      "name": "same sequential RNG tape is not shared key assignment",
      "passed": true
    }
  ],
  "passed": 62,
  "failed": 0,
  "scope": "Synthetic materialized/decimal/restart/local-worker controls. No full source proof, numerical threshold, fair-bit law, network store, power-loss durability, security, workload advantage or buyer value verified.",
  "artifacts_directory": "research/prototypes/permutation-provider-controls-2026-10-09-v1",
  "all_artifacts_preserved": true
}