| { | |
| "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." | |
| ] | |
| } | |