{
  "schema": "szl.kernel-operational/v1",
  "hub": "SZLHOLDINGS/szl-maskmod",
  "github_source": "szl-holdings/szl-maskmod",
  "github_sha": "7e9d9e3af892d76fc1c34d280b8f516ac57c3a17",
  "computed_at": "2026-08-29T16:03:21Z",
  "tests": "PASS",
  "eval": null,
  "get_kernel": "import-LIVE",
  "hub_kernel_repo": true,
  "hub_model_repo": true,
  "formula_tax": {
    "kind": "SOFTWARE",
    "registry_count": 21,
    "locked_8": [
      "F1",
      "F4",
      "F7",
      "F11",
      "F12",
      "F18",
      "F19",
      "F22"
    ],
    "lambda_aggregate": 0.316227766016838,
    "lambda_label": "ADVISORY",
    "lambda_uniqueness": "CONJECTURE_1",
    "khipu_merkle_sha256": "9041e7870a54f41a2aaac2c1c0a02df579e5d3094271b1fcd9d3ab25e1474b3a",
    "honesty": "Λ roll-up is advisory geomean over binary checks. Uniqueness is Conjecture 1, never a theorem. locked-8 = F1 F4 F7 F11 F12 F18 F19 F22."
  },
  "invariants_i1_i8": [
    "I1 receipt-chain-continuity",
    "I2 ledger-failure-shape",
    "I3 served-run-has-model",
    "I4 signed-columns-atomic",
    "I5 loop-steps-positive",
    "I6 receipt-ed25519-verify",
    "I7 receipt-columns-consistent",
    "I8 flywheel-lineage"
  ],
  "load_path": "from kernels import get_kernel\nk = get_kernel(\"SZLHOLDINGS/szl-maskmod\", revision=\"main\", trust_remote_code=True)",
  "honesty": [
    "Unsloth / LoRA training is the wrong tool for these kernels.",
    "Λ uniqueness is Conjecture 1, never a theorem.",
    "locked-8 formulas: F1 F4 F7 F11 F12 F18 F19 F22.",
    "Do not pickle/joblib.load Hub kernels. GitHub/torch-ext source is the approved path.",
    "torch.compile fullgraph failures on Windows Blackwell are MEASURED, not hidden.",
    "Receipted kernels, not silent CUDA. No tokens/s or joules claimed here.",
    "Do not convert a model-type card into a kernel-type repo by deleting nonexistent weights."
  ]
}