.lp{--paper2:#FAF3E1;--ink:#2A2418;--ink2:#5A4E38;--teal:#1F6E6B;--teal-deep:#14504E;--bright:#7FD1C8;--terra:#C05B33;--terra-b:#D2693F;--gold:#B08A2E;--gold-b:#C99A3A;--slate:#5D7B93;--slate-b:#7FA0BC;--void:#0F1D24;--void2:#14262E;--labtx:rgba(240,229,205,.92);--labdim:rgba(240,229,205,.55);--hair:rgba(52,40,22,.18)}.lp *{margin:0;padding:0;box-sizing:border-box}.lp{scroll-behavior:smooth}.lp{background:var(--paper);background-image:radial-gradient(rgba(120,96,52,.05) 1px,transparent 1.4px);background-size:26px 26px;color:var(--ink);font-family:"Noto Serif SC","Source Han Serif SC",Songti SC,serif;font-size:16px;line-height:1.9}.lp .mono{font-family:ui-monospace,SF Mono,Menlo,Consolas,monospace}.lp .wrap{max-width:1180px;margin:0 auto;padding:0 22px}.lp ::selection{background:#1f6e6b40}.lp b{color:inherit}.lp nav{position:sticky;top:0;z-index:60;background:#f3ead3eb;backdrop-filter:blur(8px);border-bottom:1px solid var(--hair)}.lp nav .row1{display:flex;align-items:center;gap:16px;height:50px;flex-wrap:wrap}.lp nav .brand{font-weight:900;font-size:15px;color:var(--teal-deep);letter-spacing:.05em}.lp .systabs{display:flex;gap:6px;margin-left:auto}.lp .systab{font-family:inherit;font-weight:700;font-size:13.5px;padding:6px 14px;border-radius:10px;border:1.5px solid var(--hair);background:var(--paper2);color:var(--ink2);cursor:pointer}.lp .systab.act{background:var(--teal);border-color:var(--teal);color:var(--panel)}.lp nav .row2{display:flex;gap:4px;padding:6px 0 8px;flex-wrap:wrap}.lp nav .row2 a{text-decoration:none;font-size:12.5px;color:var(--ink2);padding:4px 11px;border-radius:8px;border:1px solid transparent}.lp nav .row2 a:hover{background:#1f6e6b1a;color:var(--teal-deep)}.lp nav .row2 a b{color:var(--terra);margin-right:4px}.lp header{padding:44px 0 8px}.lp .eyebrow{font-size:12.5px;letter-spacing:.3em;color:var(--terra);font-weight:600}.lp h1{font-size:clamp(28px,4.4vw,46px);font-weight:900;line-height:1.25;margin:10px 0 4px}.lp .subt{font-size:clamp(15px,2vw,19px);color:var(--ink2);font-weight:600;margin-bottom:18px}.lp .verdict-hero{border-left:4px solid var(--teal);background:#1f6e6b0f;padding:14px 20px;border-radius:0 12px 12px 0;max-width:960px;font-size:15.5px}.lp .verdict-hero b{color:var(--teal-deep)}.lp #sysbanner{margin-top:16px;font-size:14px;color:var(--ink2)}.lp #sysbanner b{color:var(--terra)}.lp .sec{margin:66px auto 0}.lp .sechead{display:flex;align-items:baseline;gap:14px;border-bottom:2px solid rgba(52,40,22,.28);padding-bottom:8px;margin-bottom:6px}.lp .sechead .idx{font-size:34px;font-weight:900;color:var(--teal);line-height:1}.lp .sechead h2{font-size:clamp(20px,2.6vw,27px);font-weight:900}.lp .sechead .en{margin-left:auto;font-size:11px;letter-spacing:.2em;color:var(--ink2)}.lp .seclead{color:var(--ink2);font-size:14.5px;margin:8px 0 20px;max-width:960px}.lp .seclead b{color:var(--terra)}.lp .card{background:var(--paper2);border:1px solid var(--hair);border-radius:14px;padding:18px 20px}.lp .grid2{display:grid;grid-template-columns:1fr 1fr;gap:16px}.lp .grid3{display:grid;grid-template-columns:repeat(3,1fr);gap:14px}.lp .klabel{font-size:11.5px;letter-spacing:.18em;color:var(--ink2);font-weight:700;margin-bottom:6px}.lp .axcard{border:1px solid var(--hair);border-radius:12px;padding:12px 15px;background:#f3ead38c;cursor:pointer;transition:all .3s}.lp .axcard:hover{border-color:var(--teal)}.lp .axcard.open{background:#fff8;border-color:var(--teal)}.lp .axcard .axn{font-weight:900;font-size:15px}.lp .axcard .axn b{color:var(--teal);margin-right:8px}.lp .axcard .axc{font-size:13.5px;color:var(--ink2);margin-top:2px}.lp .axcard .axd{display:none;margin-top:8px;border-top:1px dashed var(--hair);padding-top:8px;font-size:13px}.lp .axcard.open .axd{display:block}.lp .axd .tagrej{display:inline-block;background:#c05b331f;border:1px solid rgba(192,91,51,.4);color:#8d4020;border-radius:999px;padding:1px 9px;font-size:11.5px;margin:2px 3px 0 0}.lp .statevec{display:grid;grid-template-columns:repeat(4,1fr);gap:8px}.lp .sv{background:var(--void);color:var(--labtx);border-radius:10px;padding:8px 10px;text-align:center}.lp .sv .svv{font-size:20px;font-weight:900;color:var(--bright)}.lp .sv .svk{font-size:10.5px;color:var(--labdim)}.lp .envrow{display:flex;flex-wrap:wrap;gap:6px}.lp .envc{font-size:12px;border-radius:999px;padding:3px 11px;border:1px solid}.lp .env-ok{background:#1f6e6b1a;border-color:#1f6e6b66;color:var(--teal-deep)}.lp .env-edge{background:#b08a2e1f;border-color:#b08a2e80;color:#7d621f}.lp .env-fatal{background:#c05b331f;border-color:#c05b3380;color:#8d4020}.lp .matrix{width:100%;border-collapse:collapse;font-size:12px}.lp .matrix th,.lp .matrix td{border:1px solid var(--hair);padding:5px 7px;text-align:center}.lp .matrix th{background:#1f6e6b14;font-size:11.5px}.lp .matrix td.rowh{text-align:left;font-weight:700;font-size:12.5px;background:#f3ead399}.lp .c-ok{color:var(--teal);font-weight:900}.lp .c-edge{color:var(--gold);font-weight:900}.lp .c-rej{color:var(--terra);font-weight:900}.lp .sortbar{display:flex;gap:8px;align-items:center;margin-bottom:12px;font-size:13px}.lp .sortbtn{font-family:inherit;font-weight:700;font-size:12.5px;padding:5px 13px;border-radius:9px;border:1.5px solid var(--hair);background:var(--paper2);cursor:pointer;color:var(--ink2)}.lp .sortbtn.act{background:var(--terra);border-color:var(--terra);color:#fff6ea}.lp .fault{border:1px solid var(--hair);border-radius:11px;padding:10px 14px;margin-bottom:8px;background:#f3ead380}.lp .fault .fn{font-weight:900;font-size:14.5px}.lp .fault .fn .rank{color:var(--terra);margin-right:8px}.lp .fault .fd{font-size:13px;color:var(--ink2);margin:2px 0 6px}.lp .fbars{display:grid;grid-template-columns:64px 1fr 34px;gap:6px;align-items:center;font-size:11px;color:var(--ink2)}.lp .fbar{height:7px;background:#3428161a;border-radius:99px;overflow:hidden}.lp .fbar i{display:block;height:100%;border-radius:99px}.lp .fb-loud i{background:var(--slate)}.lp .fb-silt i{background:var(--terra)}.lp .genchips{display:flex;gap:8px;flex-wrap:wrap;margin-bottom:14px}.lp .genchip{font-family:inherit;font-weight:900;font-size:13.5px;padding:7px 15px;border-radius:10px;border:1.5px solid var(--hair);background:var(--paper2);cursor:pointer;color:var(--ink2)}.lp .genchip.act{color:#fff6ea}.lp .g1.act{background:var(--teal);border-color:var(--teal)}.lp .g2.act{background:var(--terra);border-color:var(--terra)}.lp .g3.act{background:var(--slate);border-color:var(--slate)}.lp .g4.act{background:var(--gold);border-color:var(--gold)}.lp .mechbadge{display:inline-block;font-size:12px;font-weight:700;border-radius:999px;padding:3px 12px;margin:0 6px 6px 0;background:#1f6e6b1a;border:1px solid rgba(31,110,107,.4);color:var(--teal-deep)}.lp .acct{display:inline-block;font-size:12px;font-weight:700;border-radius:6px;padding:2px 10px;background:#c05b331a;border:1px dashed rgba(192,91,51,.55);color:#8d4020}.lp .ptable{width:100%;border-collapse:collapse;font-size:12.5px;margin-top:10px}.lp .ptable td,.lp .ptable th{border:1px solid var(--hair);padding:4px 8px;text-align:center}.lp .ptable th{background:#1f6e6b14}.lp .crisis{border-left:3px solid var(--terra);padding:6px 12px;margin-top:8px;background:#c05b330d;font-size:13.5px}.lp .crisis b{color:#8d4020}.lp .formula{background:var(--void);color:var(--bright);border-radius:10px;padding:10px 14px;font-size:13px;margin-top:10px;overflow-x:auto;white-space:nowrap}.lp .lab{background:var(--void);border:1px solid #0A141A;border-radius:18px;padding:18px;color:var(--labtx);box-shadow:0 26px 60px -30px #0f1d24b3}.lp .modebar{display:flex;gap:8px;align-items:center;flex-wrap:wrap;margin-bottom:12px}.lp .modebtn{font-family:inherit;font-weight:700;font-size:13px;padding:6px 15px;border-radius:10px;border:1.5px solid rgba(127,209,200,.35);background:transparent;color:var(--labdim);cursor:pointer}.lp .modebtn.act{background:var(--bright);border-color:var(--bright);color:#0f1d24}.lp .labgrid{display:grid;grid-template-columns:minmax(0,1fr) 300px;gap:14px}.lp .chartwrap{background:radial-gradient(1000px 500px at 50% 20%,var(--void2),var(--void) 65%);border:1px solid rgba(127,209,200,.16);border-radius:12px;padding:8px 8px 4px;position:relative}.lp svg.chart{display:block;width:100%;height:auto;user-select:none}.lp .ctrl{display:flex;gap:8px;align-items:center;flex-wrap:wrap;margin-top:10px}.lp .cbtn{font-family:inherit;font-weight:700;font-size:13px;padding:7px 14px;border-radius:9px;border:1.5px solid rgba(240,229,205,.4);background:transparent;color:var(--labtx);cursor:pointer}.lp .cbtn.primary{background:var(--bright);border-color:var(--bright);color:#0f1d24}.lp .cbtn:disabled{opacity:.4;cursor:default}.lp .ctrl select{font-family:inherit;background:#122129;color:var(--labtx);border:1px solid rgba(127,209,200,.3);border-radius:8px;padding:5px 8px;font-size:12.5px}.lp .ctrl input[type=range]{flex:1;min-width:120px;accent-color:#7FD1C8}.lp .legend{display:flex;gap:12px;flex-wrap:wrap;font-size:11.5px;color:var(--labdim);margin-top:8px}.lp .legend label{cursor:pointer;display:flex;gap:5px;align-items:center}.lp .legend i{width:16px;height:3px;border-radius:2px;display:inline-block}.lp .spanel{background:#122129;border:1px solid rgba(127,209,200,.14);border-radius:11px;padding:11px 13px;margin-bottom:11px}.lp .spanel h4{font-size:11px;letter-spacing:.18em;color:var(--labdim);font-weight:600;margin-bottom:8px}.lp .rvgrid{display:grid;grid-template-columns:1fr 1fr;gap:6px;font-size:11.5px}.lp .rv{background:#f0e5cd0d;border-radius:8px;padding:5px 9px;display:flex;justify-content:space-between}.lp .rv b{color:var(--bright)}.lp .tprog{height:9px;background:#f0e5cd1a;border-radius:99px;overflow:hidden;margin:6px 0 2px}.lp .tprog i{display:block;height:100%;background:var(--terra-b);border-radius:99px;transition:width .2s}.lp #evlist,.lp #evlist2{max-height:220px;overflow-y:auto;font-size:11.5px;scrollbar-width:thin}.lp .ev{border-left:2px solid rgba(127,209,200,.25);padding:3px 8px;margin-bottom:4px;cursor:pointer;color:var(--labdim);line-height:1.55}.lp .ev:hover{color:var(--labtx)}.lp .ev.past{border-color:var(--bright);color:var(--labtx)}.lp .ev.tr{border-color:var(--gold-b)}.lp .ev .ey{color:var(--gold-b);font-weight:700;margin-right:6px}.lp .outbanner{margin-top:10px;border-radius:10px;padding:9px 14px;font-size:13.5px;font-weight:700;border:1.5px solid}.lp .out-ok{border-color:var(--bright);color:var(--bright);background:#7fd1c814}.lp .out-dead{border-color:var(--terra-b);color:var(--terra-b);background:#d2693f1a}.lp .out-frozen{border-color:var(--slate-b);color:var(--slate-b);background:#7fa0bc1a}.lp .sliders{display:grid;grid-template-columns:1fr 1fr;gap:10px 16px;margin-top:6px}.lp .sl{font-size:12px;color:var(--labdim)}.lp .sl b{color:var(--labtx)}.lp .sl input{width:100%;accent-color:#C99A3A}.lp .kernelbox{margin-top:14px;background:#122129;border:1px dashed rgba(201,154,58,.5);border-radius:11px;padding:12px 16px;font-size:12.5px;color:var(--labdim)}.lp .kernelbox .mono{color:var(--gold-b)}.lp details.kern summary{cursor:pointer;color:var(--gold-b);font-weight:700;font-size:13px}.lp .posbox{border-left:4px solid var(--terra);background:#c05b330f;padding:12px 18px;border-radius:0 12px 12px 0;margin-bottom:16px;font-size:15px}.lp .formbar{display:grid;grid-template-columns:230px 1fr 46px;gap:10px;align-items:center;margin-bottom:8px;font-size:13.5px}.lp .fmb{height:14px;background:#3428161a;border-radius:99px;overflow:hidden}.lp .fmb i{display:block;height:100%;background:var(--teal);border-radius:99px;transition:width .6s}.lp .toggles{display:flex;gap:10px;flex-wrap:wrap;margin:12px 0}.lp .tgl{font-family:inherit;font-size:12.5px;font-weight:700;padding:6px 13px;border-radius:999px;border:1.5px solid var(--hair);background:var(--paper2);cursor:pointer;color:var(--ink2)}.lp .tgl.on{background:var(--gold);border-color:var(--gold);color:#fff8e8}.lp .exit{border:1px solid var(--hair);border-radius:10px;padding:9px 13px;margin-bottom:8px;font-size:13.5px;background:#f3ead380}.lp .exit b{color:#8d4020}.lp .stamp{display:inline-block;border:2px solid var(--terra);color:var(--terra);border-radius:8px;padding:4px 14px;font-weight:900;transform:rotate(-2deg);font-size:14px;margin-top:8px}.lp .falsify{border:1.5px dashed rgba(52,40,22,.4);border-radius:12px;padding:12px 16px;font-size:14px;background:#f3ead399;margin-top:14px}.lp .falsify b{color:var(--teal-deep)}.lp .coda{margin-top:20px;border:1.5px dashed rgba(52,40,22,.35);border-radius:14px;padding:18px 22px;background:#f3ead399;font-size:14px}.lp .coda h4{color:var(--terra);font-weight:900;margin-bottom:6px;letter-spacing:.08em}.lp .coda ol{margin-left:20px}.lp footer{margin:70px 0 40px;border-top:2px solid rgba(52,40,22,.28);padding-top:14px;font-size:12.5px;color:var(--ink2)}@media(max-width:980px){.lp .grid2,.lp .grid3,.lp .labgrid,.lp .sliders{grid-template-columns:1fr}.lp .statevec{grid-template-columns:repeat(4,1fr)}.lp .formbar{grid-template-columns:1fr;gap:4px}}@media(prefers-reduced-motion:reduce){.lp *{animation:none!important;transition:none!important}.lp{scroll-behavior:auto}}
