#krabka-kernels{--kx-accent:#ff4d2e;--kx-accent-deep:#c82408;--kx-bg:#0c1322;--kx-panel:#0f172a;--kx-panel-raised:#141e33;--kx-border:#ffffff1a;--kx-border-strong:#fff3;--kx-text:#f3f4f6;--kx-text-soft:#d1d5db;--kx-muted:#9ca3af;--kx-ok:#45c178;--kx-amber:#f7b73a;--kx-error:#ff8466;--kx-mono:"JetBrains Mono", "Fira Code", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;border:1px solid var(--kx-border);background:var(--kx-bg);color:var(--kx-text);border-radius:12px;min-width:0;margin:1rem 0;padding:.75rem;font-size:.92rem;line-height:1.45}#krabka-kernels:not(.kx-ready) .kx-fallback{color:var(--kx-muted);margin:0}#krabka-kernels .kx-error{color:var(--kx-error);overflow-wrap:anywhere;margin:.6rem 0 0;font-size:.88rem}#krabka-kernels .kx-layout{grid-template-columns:230px minmax(0,1fr);align-items:start;gap:.9rem;display:grid}@media (width<=860px){#krabka-kernels .kx-layout{grid-template-columns:minmax(0,1fr)}}#krabka-kernels .kx-sidebar{flex-direction:column;gap:.5rem;min-width:0;max-height:calc(100vh - 6rem);display:flex;position:sticky;top:5rem}@media (width<=860px){#krabka-kernels .kx-sidebar{max-height:none;position:static}}#krabka-kernels .kx-list{min-width:0;padding-right:.2rem;overflow-y:auto}@media (width<=860px){#krabka-kernels .kx-list{border:1px solid var(--kx-border);background:var(--kx-panel);border-radius:10px;max-height:260px;padding:.4rem}}#krabka-kernels .kx-group{margin-bottom:.7rem}#krabka-kernels .kx-group-title{text-transform:uppercase;letter-spacing:.06em;color:var(--kx-muted);margin:0 0 .25rem;padding:0 .5rem;font-size:.6875rem;font-weight:700}#krabka-kernels .kx-item{width:100%;min-width:0;color:var(--kx-text);font:inherit;text-align:left;cursor:pointer;background:0 0;border:1px solid #0000;border-radius:8px;flex-direction:column;align-items:flex-start;gap:.05rem;margin:0 0 .12rem;padding:.35rem .55rem;transition:background .12s,border-color .12s;display:flex}#krabka-kernels .kx-item:hover{background:var(--kx-panel);border-color:var(--kx-border)}#krabka-kernels .kx-item.kx-active{background:var(--kx-panel);border-color:var(--kx-accent);box-shadow:inset 3px 0 0 var(--kx-accent)}#krabka-kernels .kx-item-title{overflow-wrap:anywhere;font-size:.84rem;font-weight:600}#krabka-kernels .kx-item-fn{max-width:100%;font-family:var(--kx-mono);color:var(--kx-muted);overflow-wrap:anywhere;word-break:normal;font-size:.6875rem}#krabka-kernels .kx-empty{color:var(--kx-muted);margin:0;padding:.4rem .5rem;font-size:.82rem}#krabka-kernels .kx-input,#krabka-kernels .kx-btn{font:inherit;border:1px solid var(--kx-border);background:var(--kx-panel);color:var(--kx-text);border-radius:7px;padding:.36rem .6rem;font-size:.86rem;transition:background .12s,border-color .12s,transform 50ms}#krabka-kernels .kx-input{box-sizing:border-box;width:100%;max-width:100%;font-family:var(--kx-mono);font-size:.82rem}#krabka-kernels .kx-input::placeholder{color:var(--kx-muted);opacity:1}#krabka-kernels .kx-input:focus,#krabka-kernels .kx-btn:focus-visible,#krabka-kernels .kx-item:focus-visible,#krabka-kernels .kx-ledger-pill:focus-visible,#krabka-kernels .kx-proof-summary:focus-visible{border-color:var(--kx-accent);outline:none;box-shadow:0 0 0 2px #ff4d2e40}#krabka-kernels .kx-filter{font-family:inherit;font-size:.86rem}#krabka-kernels .kx-textarea{resize:vertical;min-height:5.5rem;line-height:1.4}#krabka-kernels .kx-select{cursor:pointer;font-family:inherit}#krabka-kernels .kx-check{width:1rem;height:1rem;accent-color:var(--kx-accent);cursor:pointer;margin:0}#krabka-kernels .kx-btn{cursor:pointer;overflow-wrap:anywhere;max-width:100%}#krabka-kernels .kx-btn:hover{border-color:var(--kx-accent);color:var(--kx-accent)}#krabka-kernels .kx-btn:active{transform:translateY(1px)}#krabka-kernels .kx-btn.kx-primary{color:#fff;background:#e0300f;border-color:#e0300f;font-weight:600}#krabka-kernels .kx-btn.kx-primary:hover{background:var(--kx-accent-deep);border-color:var(--kx-accent-deep);color:#fff}#krabka-kernels .kx-label{text-transform:uppercase;letter-spacing:.06em;color:var(--kx-muted);font-size:.7rem;font-weight:700;display:block}#krabka-kernels .kx-result.kx-ok>.kx-label{text-transform:none;letter-spacing:0}#krabka-kernels .kx-hl-keyword{color:#ff8466}#krabka-kernels .kx-hl-type{color:#fcd9a8}#krabka-kernels .kx-hl-call{color:#93c5fd}#krabka-kernels .kx-hl-string{color:#86efac}#krabka-kernels .kx-hl-number{color:#fdba74}#krabka-kernels .kx-hl-const{color:#ffb39e}#krabka-kernels .kx-detail{min-width:0}#krabka-kernels .kx-head{border-bottom:1px solid var(--kx-border);min-width:0;margin-bottom:.7rem;padding-bottom:.6rem}#krabka-kernels .kx-title{color:var(--kx-text);overflow-wrap:anywhere;margin:0 0 .25rem;font-size:1.15rem;font-weight:800;line-height:1.25}#krabka-kernels .kx-path{flex-wrap:wrap;align-items:baseline;gap:.3rem .7rem;min-width:0;margin-bottom:.4rem;display:flex}#krabka-kernels .kx-fn{font-family:var(--kx-mono);color:var(--kx-accent);overflow-wrap:anywhere;word-break:normal;font-size:.8rem}#krabka-kernels .kx-source{color:var(--kx-muted);border-bottom:1px dotted var(--kx-border-strong);font-size:.78rem;text-decoration:none}#krabka-kernels .kx-source:hover{color:var(--kx-text);border-bottom-color:var(--kx-accent)}#krabka-kernels .kx-ledger-pill{color:var(--kx-accent);font:inherit;letter-spacing:.05em;text-transform:uppercase;cursor:pointer;background:#ff4d2e1a;border:1px solid #ff4d2e73;border-radius:999px;align-items:center;gap:.3rem;padding:.1rem .55rem;font-size:.6875rem;font-weight:700;line-height:1.5;transition:background .12s,border-color .12s;display:inline-flex}#krabka-kernels .kx-ledger-pill:before{content:"";background:currentColor;border-radius:999px;flex:none;width:.4rem;height:.4rem}#krabka-kernels .kx-ledger-pill:hover{border-color:var(--kx-accent);background:#ff4d2e33}#krabka-kernels .kx-summary{color:var(--kx-text-soft);overflow-wrap:anywhere;max-width:68ch;margin:0;font-size:.86rem}#krabka-kernels .kx-kafka{color:var(--kx-muted);flex-wrap:wrap;align-items:baseline;gap:.3rem .6rem;min-width:0;margin:.4rem 0 0;font-size:.78rem;display:flex}#krabka-kernels .kx-kafka-label{text-transform:uppercase;letter-spacing:.06em;font-size:.6875rem;font-weight:700}#krabka-kernels .kx-kafka-ref{font-family:var(--kx-mono);color:var(--kx-text-soft);overflow-wrap:anywhere;word-break:normal;font-size:.76rem}#krabka-kernels .kx-detail{container-type:inline-size}#krabka-kernels .kx-body{grid-template-columns:minmax(0,1fr) minmax(0,1fr);align-items:start;gap:.75rem;display:grid}@media (width<=1100px){#krabka-kernels .kx-body{grid-template-columns:minmax(0,1fr)}}@container (width<=639px){#krabka-kernels .kx-body{grid-template-columns:minmax(0,1fr)}}#krabka-kernels .kx-body>*{min-width:0}#krabka-kernels .kx-form,#krabka-kernels .kx-result,#krabka-kernels .kx-contract{background:var(--kx-panel);border:1px solid var(--kx-border);border-radius:10px;min-width:0;padding:.6rem}#krabka-kernels .kx-output{flex-direction:column;gap:.75rem;min-width:0;display:flex}#krabka-kernels .kx-output>*{min-width:0}#krabka-kernels .kx-presets{border-bottom:1px dashed var(--kx-border);flex-wrap:wrap;align-items:center;gap:.35rem;margin-bottom:.65rem;padding-bottom:.55rem;display:flex}#krabka-kernels .kx-presets .kx-label{margin-right:.15rem;display:inline}#krabka-kernels .kx-presets .kx-btn{text-align:left;padding:.24rem .55rem;font-size:.78rem}#krabka-kernels .kx-fields{flex-direction:column;gap:.6rem;display:flex}#krabka-kernels .kx-field{flex-direction:column;gap:.24rem;min-width:0;display:flex}#krabka-kernels .kx-field-label{color:var(--kx-text);overflow-wrap:anywhere;flex-wrap:wrap;align-items:baseline;gap:.5rem;font-size:.82rem;font-weight:600;display:flex}#krabka-kernels .kx-field-name{font-family:var(--kx-mono);color:var(--kx-muted);overflow-wrap:anywhere;font-size:.7rem;font-weight:400}#krabka-kernels .kx-check-row{align-items:center;gap:.5rem;display:flex}#krabka-kernels .kx-check-row .kx-field-label{cursor:pointer}#krabka-kernels .kx-help{color:var(--kx-muted);overflow-wrap:anywhere;margin:0;font-size:.75rem}#krabka-kernels .kx-field-error{color:var(--kx-error);overflow-wrap:anywhere;min-height:0;margin:0;font-size:.75rem}#krabka-kernels .kx-field-error:empty{display:none}#krabka-kernels .kx-field.kx-invalid .kx-input{border-color:var(--kx-accent-deep);box-shadow:0 0 0 2px #c8240840}#krabka-kernels .kx-actions{border-top:1px dashed var(--kx-border);flex-wrap:wrap;align-items:center;gap:.6rem;margin-top:.7rem;padding-top:.55rem;display:flex}#krabka-kernels .kx-status{color:var(--kx-muted);font-variant-numeric:tabular-nums;font-size:.75rem}#krabka-kernels .kx-result{border-left-width:4px;transition:border-color .15s}#krabka-kernels .kx-result.kx-ok{border-left-color:var(--kx-ok)}#krabka-kernels .kx-result.kx-precondition{border-left-color:var(--kx-amber);background:#f7b73a0f}#krabka-kernels .kx-result.kx-precondition .kx-label{color:var(--kx-amber)}#krabka-kernels .kx-result.kx-error{border-left-color:var(--kx-accent-deep);background:#c8240814}#krabka-kernels .kx-result.kx-error .kx-label{color:var(--kx-error)}#krabka-kernels .kx-result.kx-invalid{border-left-color:var(--kx-border-strong)}#krabka-kernels .kx-result-value{overflow-wrap:anywhere;min-width:0;margin-top:.3rem}#krabka-kernels .kx-result-message{font-family:var(--kx-mono);color:var(--kx-text);white-space:pre-wrap;overflow-wrap:anywhere;word-break:normal;margin:.3rem 0 0;font-size:.82rem}#krabka-kernels .kx-result.kx-precondition .kx-result-message{color:var(--kx-amber)}#krabka-kernels .kx-result.kx-error .kx-result-message{color:var(--kx-error)}#krabka-kernels .kx-result-hint{color:var(--kx-muted);overflow-wrap:anywhere;margin:.35rem 0 0;font-size:.77rem}#krabka-kernels .kx-detail-box{border-top:1px solid var(--kx-border);min-width:0;margin-top:.7rem;padding-top:.5rem}#krabka-kernels .kx-detail-box .kx-label{margin-bottom:.3rem}#krabka-kernels .kx-number{font-family:var(--kx-mono);font-variant-numeric:tabular-nums;color:var(--kx-text);overflow-wrap:anywhere;word-break:normal}#krabka-kernels .kx-number-big{letter-spacing:-.01em;font-size:2rem;font-weight:700;line-height:1.1}#krabka-kernels .kx-array{font-family:var(--kx-mono);color:var(--kx-text);white-space:pre-wrap;overflow-wrap:anywhere;word-break:normal;font-size:.8rem;display:block}#krabka-kernels .kx-array-big{font-size:1rem;font-weight:600}#krabka-kernels .kx-badge{border:1px solid var(--kx-border-strong);max-width:100%;font-family:var(--kx-mono);color:var(--kx-text);background:var(--kx-panel-raised);overflow-wrap:anywhere;word-break:normal;border-radius:999px;padding:.16rem .6rem;font-size:.8rem;font-weight:600;line-height:1.4;display:inline-block}#krabka-kernels .kx-result-value>.kx-badge{padding:.28rem .85rem;font-size:1rem}#krabka-kernels .kx-badge-true{color:var(--kx-ok);background:#45c1781a;border-color:#45c1788c}#krabka-kernels .kx-badge-false{color:var(--kx-error);background:#ff4d2e1a;border-color:#ff4d2e80}#krabka-kernels .kx-badge-null{color:var(--kx-muted);font-style:italic;font-weight:400}#krabka-kernels .kx-badge-string{color:var(--kx-text);border-color:#ff4d2e73}#krabka-kernels .kx-json{border:1px solid var(--kx-border);background:var(--kx-bg);font-family:var(--kx-mono);color:var(--kx-text);white-space:pre-wrap;overflow-wrap:anywhere;word-break:normal;border-radius:7px;margin:0;padding:.45rem .55rem;font-size:.76rem;line-height:1.45}#krabka-kernels .kx-kv,#krabka-kernels .kx-rows{table-layout:fixed;border-collapse:collapse;width:100%;font-size:.8rem}#krabka-kernels .kx-kv th,#krabka-kernels .kx-kv td,#krabka-kernels .kx-rows th,#krabka-kernels .kx-rows td{border-bottom:1px solid var(--kx-border);text-align:left;vertical-align:top;overflow-wrap:anywhere;word-break:normal;padding:.28rem .45rem}#krabka-kernels .kx-kv tr:last-child th,#krabka-kernels .kx-kv tr:last-child td,#krabka-kernels .kx-rows tbody tr:last-child td{border-bottom:none}#krabka-kernels .kx-kv th{width:38%;max-width:45%;font-family:var(--kx-mono);color:var(--kx-muted);font-size:.74rem;font-weight:500}@media (width<=350px){#krabka-kernels .kx-kv th{width:46%;max-width:50%}}#krabka-kernels .kx-rows th{font-family:var(--kx-mono);text-transform:uppercase;letter-spacing:.04em;color:var(--kx-muted);background:var(--kx-bg);font-size:.6875rem;font-weight:600}#krabka-kernels .kx-kv td .kx-badge,#krabka-kernels .kx-rows td .kx-badge{padding:.08rem .45rem;font-size:.74rem}#krabka-kernels .kx-contract{flex-direction:column;gap:.6rem;display:flex}#krabka-kernels .kx-signature-box{min-width:0}#krabka-kernels .kx-signature{border:1px solid var(--kx-border);background:var(--kx-bg);font-family:var(--kx-mono);color:var(--kx-text-soft);white-space:pre-wrap;overflow-wrap:anywhere;word-break:normal;border-radius:7px;margin:.3rem 0 0;padding:.45rem .55rem;font-size:.75rem;line-height:1.45}#krabka-kernels .kx-clauses{border:1px solid var(--kx-border);border-left-width:3px;border-radius:7px;min-width:0;padding:.5rem .6rem;transition:border-color .15s,background .15s}#krabka-kernels .kx-requires{border-left-color:var(--kx-muted)}#krabka-kernels .kx-ensures{border-left-color:var(--kx-ok)}#krabka-kernels .kx-requires.kx-violated{border-color:#f7b73a8c;border-left-color:var(--kx-amber);background:#f7b73a12}#krabka-kernels .kx-requires.kx-violated .kx-label{color:var(--kx-amber)}#krabka-kernels .kx-clause-list{margin:.3rem 0 0;padding:0;list-style:none}#krabka-kernels .kx-clause{font-family:var(--kx-mono);color:var(--kx-text);overflow-wrap:anywhere;word-break:normal;padding:.14rem 0;font-size:.77rem;line-height:1.4}#krabka-kernels .kx-clause+.kx-clause{border-top:1px solid var(--kx-border)}#krabka-kernels .kx-clause code{font-family:inherit;font-size:inherit;color:inherit;overflow-wrap:anywhere;background:0 0;padding:0}#krabka-kernels .kx-clause-none{color:var(--kx-muted);font-style:italic}#krabka-kernels .kx-proof{border:1px solid var(--kx-border);border-left:3px solid var(--kx-accent);border-radius:7px;min-width:0;padding:0;transition:background .15s}#krabka-kernels .kx-proof[open]{background:#ff4d2e0a}#krabka-kernels .kx-proof-summary{cursor:pointer;user-select:none;border-radius:7px;flex-wrap:wrap;align-items:baseline;gap:.15rem .5rem;min-width:0;padding:.5rem .6rem;list-style:none;display:flex}#krabka-kernels .kx-proof-summary::-webkit-details-marker{display:none}#krabka-kernels .kx-proof-summary:before{content:"";border-right:2px solid var(--kx-accent);border-bottom:2px solid var(--kx-accent);flex:none;width:.4rem;height:.4rem;margin-right:.15rem;transition:transform .15s;display:inline-block;transform:translateY(-.1rem)rotate(-45deg)}#krabka-kernels .kx-proof[open]>.kx-proof-summary:before{transform:translateY(-.2rem)rotate(45deg)}#krabka-kernels .kx-proof-title{letter-spacing:.06em;text-transform:uppercase;color:var(--kx-text);font-size:.7rem;font-weight:700}#krabka-kernels .kx-proof-hint{color:var(--kx-muted);overflow-wrap:anywhere;font-size:.74rem}#krabka-kernels .kx-proof-summary:hover .kx-proof-title{color:var(--kx-accent)}#krabka-kernels .kx-proof-body{border-top:1px dashed var(--kx-border);min-width:0;padding:.2rem .6rem .6rem}#krabka-kernels .kx-proof-list{flex-direction:column;gap:.55rem;margin:.45rem 0 0;padding:0;display:flex}#krabka-kernels .kx-proof-entry{min-width:0}#krabka-kernels .kx-proof-entry .kx-label{margin-bottom:.15rem}#krabka-kernels .kx-proof-value{color:var(--kx-text-soft);overflow-wrap:anywhere;word-break:normal;margin:0;font-size:.86rem;line-height:1.5}#krabka-kernels .kx-proof-html p,#krabka-kernels .kx-proof-html ul,#krabka-kernels .kx-proof-html pre{overflow-wrap:anywhere;word-break:normal;margin:0;font-size:.86rem;line-height:1.5}#krabka-kernels .kx-proof-html p+p,#krabka-kernels .kx-proof-html p+ul{margin-top:.4rem}#krabka-kernels .kx-proof-html ul{padding-left:1.1rem;list-style:outside}#krabka-kernels .kx-proof-html pre{border:1px solid var(--kx-border);background:var(--kx-bg);white-space:pre-wrap;border-radius:6px;padding:.4rem .5rem}#krabka-kernels .kx-proof-html code{font-family:var(--kx-mono);color:var(--kx-accent);overflow-wrap:anywhere;word-break:normal;background:#ffffff0a;border-radius:3px;padding:0 .15rem;font-size:.78rem}#krabka-kernels .kx-proof-html strong{color:var(--kx-text);font-weight:600}#krabka-kernels .kx-proof-html a{color:var(--kx-text);text-decoration:underline dotted var(--kx-border-strong);text-underline-offset:3px;text-decoration-thickness:1px}#krabka-kernels .kx-proof-html a:hover{color:var(--kx-accent);text-decoration-color:var(--kx-accent)}#krabka-kernels .kx-proof-html a code{color:inherit;background:0 0;padding:0}#krabka-kernels .kx-proof-links{flex-wrap:wrap;gap:.3rem;display:flex}#krabka-kernels .kx-proof-link{border:1px solid var(--kx-border-strong);background:var(--kx-panel-raised);max-width:100%;color:var(--kx-text);overflow-wrap:anywhere;border-radius:999px;padding:.08rem .5rem;font-size:.74rem;line-height:1.5;text-decoration:none;transition:border-color .12s,color .12s;display:inline-block}#krabka-kernels .kx-proof-link:hover{border-color:var(--kx-accent);color:var(--kx-accent)}#krabka-kernels .kx-proof-none{color:var(--kx-muted);margin:0;font-size:.84rem;font-style:italic}#krabka-kernels .kx-proof-foot{border-top:1px solid var(--kx-border);margin:.6rem 0 0;padding-top:.5rem;font-size:.8rem}#krabka-kernels .kx-proof-page{color:var(--kx-accent);overflow-wrap:anywhere;border-bottom:1px dotted #ff4d2e80;font-weight:600;text-decoration:none}#krabka-kernels .kx-proof-page:hover{color:var(--kx-text);border-bottom-color:var(--kx-text)}#krabka-kernels .kx-footer{border-top:1px solid var(--kx-border);color:var(--kx-muted);margin:.75rem 0 0;padding-top:.5rem;font-size:.77rem;line-height:1.5}