| { | |
| "schema": "szl.kernel-operational/v1", | |
| "hub": "SZLHOLDINGS/YARQA-ATTN", | |
| "github_source": "szl-holdings/YARQA-ATTN", | |
| "github_sha": "160640bd8ed138e0170838c5a0de470ba8539367", | |
| "computed_at": "2026-08-29T16:00:49Z", | |
| "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": 1.0, | |
| "lambda_label": "ADVISORY", | |
| "lambda_uniqueness": "CONJECTURE_1", | |
| "khipu_merkle_sha256": "cd5fc07f477ff323399242f80f76d9b592b03f144344d5f6fe4ec2862d34ab23", | |
| "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/YARQA-ATTN\", 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." | |
| ] | |
| } | |