.amplification-visualization-module__zVJlsW__stage{gap:.9rem;min-width:0;display:grid}.amplification-visualization-module__zVJlsW__localizedText{unicode-bidi:plaintext}.amplification-visualization-module__zVJlsW__notation{direction:ltr;unicode-bidi:isolate}.amplification-visualization-module__zVJlsW__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.amplification-visualization-module__zVJlsW__legend{padding-inline:.15rem}.amplification-visualization-module__zVJlsW__caption{fill:var(--muted);letter-spacing:.02em;font-size:14px;font-weight:800}.amplification-visualization-module__zVJlsW__laneLabel{fill:var(--foreground);font-size:12px;font-weight:800}.amplification-visualization-module__zVJlsW__tickLabel{fill:var(--muted);font-size:11px;font-weight:700}.amplification-visualization-module__zVJlsW__axisTitle{fill:var(--muted);font-size:12px;font-weight:750}.amplification-visualization-module__zVJlsW__cellPositive{fill:color-mix(in srgb, var(--success) 24%, var(--card));stroke:color-mix(in srgb, var(--success) 62%, var(--border));stroke-width:1.6px;vector-effect:non-scaling-stroke}.amplification-visualization-module__zVJlsW__cellNegative{fill:color-mix(in srgb, var(--warning) 22%, var(--card));stroke:color-mix(in srgb, var(--warning) 62%, var(--border));stroke-dasharray:5 3;stroke-width:1.6px;vector-effect:non-scaling-stroke}.amplification-visualization-module__zVJlsW__cellGlyph{fill:var(--foreground);pointer-events:none;font-size:15px;font-weight:850}.amplification-visualization-module__zVJlsW__gateGood{fill:color-mix(in srgb, var(--primary) 16%, var(--card));stroke:color-mix(in srgb, var(--primary) 65%, var(--border));stroke-width:2px;vector-effect:non-scaling-stroke}.amplification-visualization-module__zVJlsW__gateBad{fill:color-mix(in srgb, var(--warning) 18%, var(--card));stroke:color-mix(in srgb, var(--warning) 70%, var(--border));stroke-dasharray:6 4;stroke-width:2px;vector-effect:non-scaling-stroke}.amplification-visualization-module__zVJlsW__gateLabel{fill:var(--foreground);font-size:12px;font-weight:850}.amplification-visualization-module__zVJlsW__gateGlyph{fill:var(--foreground);font-size:15px;font-weight:850}.amplification-visualization-module__zVJlsW__divider{stroke:var(--border);stroke-width:1px;vector-effect:non-scaling-stroke}.amplification-visualization-module__zVJlsW__gridLine{stroke:color-mix(in srgb, var(--border) 85%, transparent);stroke-dasharray:3 5;stroke-width:1px;vector-effect:non-scaling-stroke}.amplification-visualization-module__zVJlsW__axis{stroke:color-mix(in srgb, var(--muted) 55%, var(--border));stroke-width:1.5px;vector-effect:non-scaling-stroke}.amplification-visualization-module__zVJlsW__ceilingBand{fill:color-mix(in srgb, var(--warning) 16%, transparent);stroke:none}.amplification-visualization-module__zVJlsW__ceilingCurve{fill:none;stroke:var(--warning);stroke-dasharray:9 5;stroke-linecap:round;stroke-width:3px;vector-effect:non-scaling-stroke}.amplification-visualization-module__zVJlsW__majorityCurve{fill:none;stroke:var(--primary);stroke-linecap:round;stroke-width:3px;vector-effect:non-scaling-stroke}.amplification-visualization-module__zVJlsW__rpCurve{fill:none;stroke:var(--success);stroke-linecap:round;stroke-width:3px;vector-effect:non-scaling-stroke}.amplification-visualization-module__zVJlsW__reuseCurve{fill:none;stroke:var(--foreground);stroke-dasharray:2 6;stroke-linecap:round;stroke-width:3px;vector-effect:non-scaling-stroke}.amplification-visualization-module__zVJlsW__rpMarker{fill:var(--card);stroke:var(--success);stroke-width:2.4px;vector-effect:non-scaling-stroke}.amplification-visualization-module__zVJlsW__majorityMarker{fill:var(--card);stroke:var(--primary);stroke-width:2.4px;vector-effect:non-scaling-stroke}.amplification-visualization-module__zVJlsW__ceilingMarker{fill:var(--card);stroke:var(--warning);stroke-width:2.4px;vector-effect:non-scaling-stroke}.amplification-visualization-module__zVJlsW__keyPositive,.amplification-visualization-module__zVJlsW__keyNegative,.amplification-visualization-module__zVJlsW__keyBand{border:1px solid color-mix(in srgb, var(--success) 62%, var(--border));background:color-mix(in srgb, var(--success) 24%, var(--card));border-radius:.28rem;width:.85rem;height:.85rem;display:inline-block}.amplification-visualization-module__zVJlsW__keyNegative{border-style:dashed;border-color:color-mix(in srgb, var(--warning) 62%, var(--border));background:color-mix(in srgb, var(--warning) 22%, var(--card))}.amplification-visualization-module__zVJlsW__keyBand{border-color:color-mix(in srgb, var(--warning) 40%, var(--border));background:color-mix(in srgb, var(--warning) 16%, var(--card))}.amplification-visualization-module__zVJlsW__keyRp,.amplification-visualization-module__zVJlsW__keyMajority,.amplification-visualization-module__zVJlsW__keyCeiling,.amplification-visualization-module__zVJlsW__keyReuse{background:var(--success);border-radius:999px;width:1.2rem;height:.28rem;display:inline-block}.amplification-visualization-module__zVJlsW__keyMajority{background:var(--primary)}.amplification-visualization-module__zVJlsW__keyCeiling{background:repeating-linear-gradient(90deg, var(--warning) 0 .34rem, transparent .34rem .52rem)}.amplification-visualization-module__zVJlsW__keyReuse{background:repeating-linear-gradient(90deg, var(--foreground) 0 .12rem, transparent .12rem .36rem)}.amplification-visualization-module__zVJlsW__card,.amplification-visualization-module__zVJlsW__note,.amplification-visualization-module__zVJlsW__budget,.amplification-visualization-module__zVJlsW__invariant{border:1px solid var(--border);background:var(--card);border-radius:.75rem;padding:.7rem .85rem}.amplification-visualization-module__zVJlsW__card{color:var(--muted);gap:.45rem;font-size:.8rem;display:grid}.amplification-visualization-module__zVJlsW__card>strong{color:var(--foreground);font-size:.82rem}.amplification-visualization-module__zVJlsW__note{border-inline-start:4px solid var(--warning);background:color-mix(in srgb, var(--warning) 8%, var(--card));color:var(--muted);gap:.4rem;font-size:.8rem;display:grid}.amplification-visualization-module__zVJlsW__note>strong{color:var(--foreground);font-size:.82rem}.amplification-visualization-module__zVJlsW__ladderScroller{padding-block-end:.2rem;overflow-x:auto}.amplification-visualization-module__zVJlsW__ladder{gap:.25rem;min-width:max-content;display:grid}.amplification-visualization-module__zVJlsW__ladderHead,.amplification-visualization-module__zVJlsW__ladderRow{grid-template-columns:2.8rem repeat(var(--ladder-columns,1), minmax(6rem, max-content));align-items:baseline;gap:.5rem;display:grid}.amplification-visualization-module__zVJlsW__ladderHead{color:var(--muted);letter-spacing:.02em;font-size:.7rem;font-weight:800}.amplification-visualization-module__zVJlsW__ladderRow{border-block-start:1px dashed var(--border);padding-block-start:.3rem}.amplification-visualization-module__zVJlsW__ladderK{color:var(--foreground);direction:ltr;unicode-bidi:isolate;font-size:.8rem;font-weight:850}.amplification-visualization-module__zVJlsW__ladderCell{direction:ltr;unicode-bidi:isolate;gap:.05rem;display:grid}.amplification-visualization-module__zVJlsW__ladderCell strong{color:var(--foreground);white-space:nowrap;font-size:.76rem;font-weight:800}.amplification-visualization-module__zVJlsW__ladderCell em{color:var(--muted);white-space:nowrap;font-size:.7rem;font-style:normal;font-weight:700}.amplification-visualization-module__zVJlsW__budget{gap:.4rem;display:grid}.amplification-visualization-module__zVJlsW__budget>strong{color:var(--foreground);font-size:.82rem}.amplification-visualization-module__zVJlsW__budgetRow{border-block-start:1px dashed var(--border);color:var(--muted);flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.5rem;padding-block-start:.4rem;font-size:.8rem;display:flex}.amplification-visualization-module__zVJlsW__budgetRow strong{color:var(--foreground);font-size:.85rem;font-weight:850}.amplification-visualization-module__zVJlsW__traps{grid-template-columns:repeat(2,minmax(0,1fr));gap:.55rem;display:grid}.amplification-visualization-module__zVJlsW__trapCard{border:1px solid color-mix(in srgb, var(--warning) 42%, var(--border));background:color-mix(in srgb, var(--warning) 7%, var(--card));border-radius:.6rem;align-content:start;gap:.25rem;padding:.5rem .6rem;font-size:.75rem;display:grid}.amplification-visualization-module__zVJlsW__trapCard strong{color:var(--foreground);font-size:.79rem}.amplification-visualization-module__zVJlsW__invariant{border-color:color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;flex-wrap:wrap;justify-content:center;align-items:center;gap:.35rem .9rem;font-size:.85rem;font-weight:800;display:flex}@media (max-width:680px){.amplification-visualization-module__zVJlsW__traps{grid-template-columns:1fr}.amplification-visualization-module__zVJlsW__budgetRow{flex-direction:column;align-items:flex-start}}
.reduction-diagrams-module__iDy-6W__stage{gap:.9rem;min-width:0;display:grid}.reduction-diagrams-module__iDy-6W__localizedText{unicode-bidi:plaintext}.reduction-diagrams-module__iDy-6W__notation{direction:ltr;unicode-bidi:isolate}.reduction-diagrams-module__iDy-6W__formula,.reduction-diagrams-module__iDy-6W__summary,.reduction-diagrams-module__iDy-6W__invariant{border:1px solid var(--border);background:var(--card);border-radius:.75rem;padding:.7rem .85rem}.reduction-diagrams-module__iDy-6W__formula,.reduction-diagrams-module__iDy-6W__summary,.reduction-diagrams-module__iDy-6W__invariant,.reduction-diagrams-module__iDy-6W__answerFlow,.reduction-diagrams-module__iDy-6W__detailLink,.reduction-diagrams-module__iDy-6W__windowLabel,.reduction-diagrams-module__iDy-6W__constraintCard,.reduction-diagrams-module__iDy-6W__proofCard,.reduction-diagrams-module__iDy-6W__encodingLabel,.reduction-diagrams-module__iDy-6W__dpRowLabel{unicode-bidi:plaintext}.reduction-diagrams-module__iDy-6W__formula{text-align:center;font-family:Cambria Math,Times New Roman,serif;font-weight:700}.reduction-diagrams-module__iDy-6W__summary{color:var(--muted);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.55rem;font-size:.82rem;display:flex}.reduction-diagrams-module__iDy-6W__summary strong{color:var(--foreground)}.reduction-diagrams-module__iDy-6W__invariant{border-color:color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;font-weight:800}.reduction-diagrams-module__iDy-6W__flow{grid-template-columns:minmax(7rem,1fr) auto minmax(8rem,1.2fr) auto minmax(7rem,1fr);align-items:center;gap:.55rem;display:grid}.reduction-diagrams-module__iDy-6W__flowNode{border:2px solid var(--border);background:var(--card);text-align:center;border-radius:.8rem;place-items:center;min-height:4.6rem;padding:.6rem;font-weight:800;display:grid}.reduction-diagrams-module__iDy-6W__flowNode small{color:var(--muted);font-size:.72rem;font-weight:650}.reduction-diagrams-module__iDy-6W__flowNodeActive{border-color:var(--primary);background:var(--accent)}.reduction-diagrams-module__iDy-6W__flowNodeSolver{border-color:color-mix(in srgb, var(--success) 55%, var(--border));background:color-mix(in srgb, var(--success) 10%, var(--card))}.reduction-diagrams-module__iDy-6W__flowArrow{color:var(--primary-strong);font-size:1.35rem;font-weight:900}.reduction-diagrams-module__iDy-6W__answerFlow{border-block-start:2px dashed var(--success);color:var(--success);text-align:center;grid-column:1/-1;padding-block-start:.45rem;font-size:.78rem;font-weight:800}.reduction-diagrams-module__iDy-6W__truthGrid,.reduction-diagrams-module__iDy-6W__constraintGrid,.reduction-diagrams-module__iDy-6W__proofGrid{grid-template-columns:repeat(2,minmax(0,1fr));gap:.65rem;display:grid}.reduction-diagrams-module__iDy-6W__truthCard,.reduction-diagrams-module__iDy-6W__constraintCard,.reduction-diagrams-module__iDy-6W__proofCard{border:1px solid var(--border);background:var(--card);border-radius:.7rem;padding:.65rem .75rem}.reduction-diagrams-module__iDy-6W__truthCard{grid-template-columns:auto 1fr auto;align-items:center;gap:.5rem;font-size:.82rem;font-weight:750;display:grid}.reduction-diagrams-module__iDy-6W__truthYes{border-color:color-mix(in srgb, var(--success) 50%, var(--border))}.reduction-diagrams-module__iDy-6W__truthNo{border-color:color-mix(in srgb, var(--danger) 45%, var(--border))}.reduction-diagrams-module__iDy-6W__truthArrow{color:var(--muted)}.reduction-diagrams-module__iDy-6W__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.reduction-diagrams-module__iDy-6W__edge{fill:none;stroke:color-mix(in srgb, var(--muted) 72%, var(--border));stroke-width:2.5px;vector-effect:non-scaling-stroke}.reduction-diagrams-module__iDy-6W__edgeActive{stroke:var(--primary);stroke-width:3.5px}.reduction-diagrams-module__iDy-6W__edgeComposed{stroke:var(--success);stroke-dasharray:8 5;stroke-width:3.5px}.reduction-diagrams-module__iDy-6W__edgeLabel{fill:var(--muted);paint-order:stroke;stroke:var(--card);stroke-linejoin:round;stroke-width:4px;font-size:11px;font-weight:750}.reduction-diagrams-module__iDy-6W__mapNode rect{fill:var(--card);stroke:var(--border);stroke-width:2px;vector-effect:non-scaling-stroke}.reduction-diagrams-module__iDy-6W__mapNode text{fill:var(--foreground);pointer-events:none;font-size:15px;font-weight:850}.reduction-diagrams-module__iDy-6W__mapNodeActive rect{fill:var(--accent);stroke:var(--primary);stroke-width:3px}.reduction-diagrams-module__iDy-6W__mapNodeDetail rect{fill:color-mix(in srgb, var(--success) 10%, var(--card));stroke:var(--success)}.reduction-diagrams-module__iDy-6W__mapNodeRoute rect{fill:color-mix(in srgb, #0ea5e9 9%, var(--card));stroke:color-mix(in srgb, #0ea5e9 60%, var(--border))}.reduction-diagrams-module__iDy-6W__mapNodeCut rect{fill:color-mix(in srgb, var(--warning) 10%, var(--card));stroke:color-mix(in srgb, var(--warning) 60%, var(--border))}.reduction-diagrams-module__iDy-6W__mapNodeArithmetic rect{fill:color-mix(in srgb, #8b5cf6 10%, var(--card));stroke:color-mix(in srgb, #8b5cf6 60%, var(--border))}.reduction-diagrams-module__iDy-6W__branchLegend{border:2px solid var(--primary);background:var(--accent);border-radius:.2rem;width:.8rem;height:.8rem}.reduction-diagrams-module__iDy-6W__branchLegendRoute{background:color-mix(in srgb, #0ea5e9 14%, var(--card));border-color:#0ea5e9}.reduction-diagrams-module__iDy-6W__branchLegendCut{border-color:var(--warning);background:color-mix(in srgb, var(--warning) 14%, var(--card))}.reduction-diagrams-module__iDy-6W__branchLegendArithmetic{background:color-mix(in srgb, #8b5cf6 14%, var(--card));border-color:#8b5cf6}.reduction-diagrams-module__iDy-6W__detailLink{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));border-radius:.7rem;justify-content:space-between;align-items:center;gap:.65rem;padding:.65rem .75rem;font-size:.82rem;display:flex}.reduction-diagrams-module__iDy-6W__detailLink code{color:var(--success);font-weight:850}.reduction-diagrams-module__iDy-6W__tableau{border:1px solid var(--border);background:var(--card);border-radius:.85rem;padding:.65rem;overflow-x:auto}.reduction-diagrams-module__iDy-6W__tableauRows{gap:.35rem;min-width:38rem;display:grid}.reduction-diagrams-module__iDy-6W__tableauRow{grid-template-columns:3rem repeat(5,minmax(5.6rem,1fr));gap:.35rem;display:grid}.reduction-diagrams-module__iDy-6W__rowLabel,.reduction-diagrams-module__iDy-6W__tableauCell{border:1px solid var(--border);border-radius:.55rem;place-items:center;min-height:3.75rem;display:grid}.reduction-diagrams-module__iDy-6W__rowLabel{color:var(--muted);border-style:dashed;font-size:.75rem;font-weight:850}.reduction-diagrams-module__iDy-6W__tableauCell{background:color-mix(in srgb, var(--background) 74%, var(--card));font-family:Cambria Math,Times New Roman,serif;font-weight:800;position:relative}.reduction-diagrams-module__iDy-6W__tableauCellMarked{border-color:var(--primary);background:var(--accent);color:var(--primary-strong)}.reduction-diagrams-module__iDy-6W__tableauCellWindow{border-color:var(--warning);box-shadow:inset 0 0 0 2px color-mix(in srgb, var(--warning) 42%, transparent)}.reduction-diagrams-module__iDy-6W__cellVariable{color:var(--muted);text-overflow:ellipsis;white-space:nowrap;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.58rem;font-weight:700;position:absolute;inset:auto .25rem .18rem;overflow:hidden}.reduction-diagrams-module__iDy-6W__windowLabel{border:1px solid color-mix(in srgb, var(--warning) 55%, var(--border));background:color-mix(in srgb, var(--warning) 12%, var(--card));color:color-mix(in srgb, var(--warning) 80%, var(--foreground));text-align:center;border-radius:999px;padding:.3rem .6rem;font-size:.75rem;font-weight:850}.reduction-diagrams-module__iDy-6W__constraintCard{min-height:4.4rem}.reduction-diagrams-module__iDy-6W__constraintCard strong,.reduction-diagrams-module__iDy-6W__proofCard strong{color:var(--foreground);margin-block-end:.3rem;font-size:.79rem;display:block}.reduction-diagrams-module__iDy-6W__constraintCard code,.reduction-diagrams-module__iDy-6W__proofCard code{color:var(--primary-strong);overflow-wrap:anywhere;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.72rem}.reduction-diagrams-module__iDy-6W__encoding{border:1px solid var(--border);background:var(--card);border-radius:.85rem;padding:.65rem;overflow-x:auto}.reduction-diagrams-module__iDy-6W__encodingGrid{grid-template-columns:minmax(8rem,1.3fr) repeat(4,minmax(4.3rem,.7fr));gap:.32rem;min-width:35rem;display:grid}.reduction-diagrams-module__iDy-6W__encodingCell{border:1px solid var(--border);background:color-mix(in srgb, var(--background) 72%, var(--card));border-radius:.45rem;place-items:center;min-height:2.6rem;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.76rem;font-weight:800;display:grid}.reduction-diagrams-module__iDy-6W__encodingHeader{background:var(--accent);color:var(--primary-strong);font-family:inherit}.reduction-diagrams-module__iDy-6W__encodingLabel{justify-items:start;padding-inline:.55rem;font-family:inherit}.reduction-diagrams-module__iDy-6W__encodingChoice{border-color:color-mix(in srgb, var(--primary) 52%, var(--border))}.reduction-diagrams-module__iDy-6W__encodingSlack{border-style:dashed;border-color:color-mix(in srgb, var(--warning) 55%, var(--border))}.reduction-diagrams-module__iDy-6W__encodingSelected{border-color:var(--success);background:color-mix(in srgb, var(--success) 12%, var(--card));color:color-mix(in srgb, var(--success) 82%, var(--foreground))}.reduction-diagrams-module__iDy-6W__encodingTarget{border-color:var(--foreground);background:color-mix(in srgb, var(--foreground) 8%, var(--card))}.reduction-diagrams-module__iDy-6W__columnTotals{grid-template-columns:repeat(4,minmax(0,1fr));gap:.4rem;display:grid}.reduction-diagrams-module__iDy-6W__columnTotal{background:var(--accent);text-align:center;border-radius:.5rem;padding:.45rem;font-size:.75rem;font-weight:850}.reduction-diagrams-module__iDy-6W__dpScroller{border:1px solid var(--border);background:var(--card);border-radius:.85rem;padding:.65rem;overflow-x:auto}.reduction-diagrams-module__iDy-6W__dpTable{grid-template-columns:minmax(6.4rem,1.4fr) repeat(15,minmax(2.5rem,.55fr));gap:.25rem;min-width:58rem;display:grid}.reduction-diagrams-module__iDy-6W__dpCell{border:1px solid var(--border);background:color-mix(in srgb, var(--background) 74%, var(--card));min-height:2.35rem;color:var(--muted);border-radius:.35rem;place-items:center;font-size:.7rem;font-weight:800;display:grid}.reduction-diagrams-module__iDy-6W__dpHeader,.reduction-diagrams-module__iDy-6W__dpRowLabel{background:var(--accent);color:var(--primary-strong)}.reduction-diagrams-module__iDy-6W__dpRowLabel{justify-items:start;padding-inline:.45rem}.reduction-diagrams-module__iDy-6W__dpReachable{border-color:color-mix(in srgb, var(--primary) 52%, var(--border));background:color-mix(in srgb, var(--primary) 11%, var(--card));color:var(--foreground)}.reduction-diagrams-module__iDy-6W__dpSuccess{border-color:var(--success);background:color-mix(in srgb, var(--success) 18%, var(--card));color:color-mix(in srgb, var(--success) 78%, var(--foreground));box-shadow:inset 0 0 0 2px color-mix(in srgb, var(--success) 35%, transparent)}.reduction-diagrams-module__iDy-6W__dpBacktrack{border-color:var(--warning);background:color-mix(in srgb, var(--warning) 16%, var(--card));color:var(--foreground);box-shadow:inset 0 0 0 2px color-mix(in srgb, var(--warning) 32%, transparent)}.reduction-diagrams-module__iDy-6W__recurrence{border:1px solid color-mix(in srgb, var(--primary) 45%, var(--border));background:var(--accent);color:var(--primary-strong);text-align:center;border-radius:.65rem;padding:.6rem .75rem;font-family:Cambria Math,Times New Roman,serif;font-size:.86rem;font-weight:800}.reduction-diagrams-module__iDy-6W__explanationStack{gap:.55rem;display:grid}.reduction-diagrams-module__iDy-6W__explanationStack p{border-inline-start:3px solid var(--primary);background:var(--accent);padding:.5rem .6rem}@media (max-width:680px){.reduction-diagrams-module__iDy-6W__flow{grid-template-columns:1fr}.reduction-diagrams-module__iDy-6W__flowArrow{text-align:center;transform:rotate(90deg)}.reduction-diagrams-module__iDy-6W__truthGrid,.reduction-diagrams-module__iDy-6W__constraintGrid,.reduction-diagrams-module__iDy-6W__proofGrid{grid-template-columns:1fr}.reduction-diagrams-module__iDy-6W__detailLink{flex-direction:column;align-items:flex-start}}@media print{.reduction-diagrams-module__iDy-6W__tableau,.reduction-diagrams-module__iDy-6W__encoding,.reduction-diagrams-module__iDy-6W__dpScroller{overflow:visible}}
.advanced-diagrams-module__Yp-XMa__diagramBoard{gap:.9rem;min-width:0;display:grid}.advanced-diagrams-module__Yp-XMa__notation{direction:ltr;unicode-bidi:isolate}.advanced-diagrams-module__Yp-XMa__legend{padding-inline:.15rem}.advanced-diagrams-module__Yp-XMa__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.advanced-diagrams-module__Yp-XMa__containmentChain{border:1px solid var(--border);background:var(--card);scrollbar-width:thin;border-radius:.85rem;align-items:stretch;padding:1rem;display:flex;overflow-x:auto}.advanced-diagrams-module__Yp-XMa__chainItem{flex:1 0 auto;align-items:center;display:flex}.advanced-diagrams-module__Yp-XMa__classNode{border:2px solid var(--primary);background:color-mix(in srgb, var(--accent) 72%, var(--card));text-align:center;border-radius:1.2rem;place-content:center;gap:.25rem;width:clamp(7.2rem,12vw,9rem);min-height:6.5rem;padding:.7rem;display:grid}.advanced-diagrams-module__Yp-XMa__classNode strong{color:var(--primary-strong);font-size:1.05rem}.advanced-diagrams-module__Yp-XMa__classNode span{max-width:8rem;color:var(--muted);font-size:.7rem;line-height:1.35}.advanced-diagrams-module__Yp-XMa__containmentArrow{min-width:3.4rem;color:var(--primary-strong);justify-items:center;display:grid}.advanced-diagrams-module__Yp-XMa__containmentArrow span{font-size:1.55rem;font-weight:900}.advanced-diagrams-module__Yp-XMa__containmentArrow small{color:var(--muted);letter-spacing:.05em;text-transform:uppercase;font-size:.6rem;font-weight:800}.advanced-diagrams-module__Yp-XMa__callout,.advanced-diagrams-module__Yp-XMa__multigraphRule{border-inline-start:4px solid var(--primary);background:var(--accent);color:var(--muted);border-radius:.55rem;align-items:center;gap:.65rem;padding:.65rem .8rem;font-size:.8rem;display:flex}.advanced-diagrams-module__Yp-XMa__statusGrid{grid-template-columns:repeat(2,minmax(0,1fr));gap:.7rem;display:grid}.advanced-diagrams-module__Yp-XMa__theoremCard,.advanced-diagrams-module__Yp-XMa__openCard{border:1px solid var(--border);border-radius:.75rem;gap:.3rem;padding:.8rem;display:grid}.advanced-diagrams-module__Yp-XMa__theoremCard{border-color:color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card))}.advanced-diagrams-module__Yp-XMa__openCard{border-style:dashed;border-color:color-mix(in srgb, var(--warning) 55%, var(--border));background:color-mix(in srgb, var(--warning) 7%, var(--card))}.advanced-diagrams-module__Yp-XMa__theoremCard span,.advanced-diagrams-module__Yp-XMa__openCard span,.advanced-diagrams-module__Yp-XMa__collapseHypothesis span,.advanced-diagrams-module__Yp-XMa__runtimeScale span,.advanced-diagrams-module__Yp-XMa__probabilityPanel span,.advanced-diagrams-module__Yp-XMa__ratioScale article>span{color:var(--muted);letter-spacing:.06em;text-transform:uppercase;font-size:.67rem;font-weight:800}.advanced-diagrams-module__Yp-XMa__solidKey,.advanced-diagrams-module__Yp-XMa__strictKey,.advanced-diagrams-module__Yp-XMa__openKey,.advanced-diagrams-module__Yp-XMa__sigmaKey,.advanced-diagrams-module__Yp-XMa__piKey,.advanced-diagrams-module__Yp-XMa__witnessKey,.advanced-diagrams-module__Yp-XMa__activeKey,.advanced-diagrams-module__Yp-XMa__sourceKey,.advanced-diagrams-module__Yp-XMa__paddingKey,.advanced-diagrams-module__Yp-XMa__protectedKey,.advanced-diagrams-module__Yp-XMa__chosenKey,.advanced-diagrams-module__Yp-XMa__lowerBoundKey,.advanced-diagrams-module__Yp-XMa__upperBoundKey{border-radius:.3rem;width:1rem;height:1rem;display:inline-block}.advanced-diagrams-module__Yp-XMa__solidKey{border-block-start:3px solid var(--primary);border-radius:0;height:0}.advanced-diagrams-module__Yp-XMa__strictKey{background:var(--success)}.advanced-diagrams-module__Yp-XMa__openKey{border:2px dashed var(--warning)}.advanced-diagrams-module__Yp-XMa__phLattice{border:1px solid var(--border);background:var(--card);border-radius:.85rem;gap:.55rem;padding:.9rem;display:grid}.advanced-diagrams-module__Yp-XMa__phRow{grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);align-items:center;gap:.65rem;display:grid}.advanced-diagrams-module__Yp-XMa__phRow:last-child{grid-template-columns:1fr}.advanced-diagrams-module__Yp-XMa__sigmaNode,.advanced-diagrams-module__Yp-XMa__piNode,.advanced-diagrams-module__Yp-XMa__baseNode{border:1px solid var(--border);text-align:center;border-radius:.7rem;gap:.22rem;padding:.65rem .8rem;display:grid}.advanced-diagrams-module__Yp-XMa__sigmaNode{border-color:color-mix(in srgb, var(--primary) 55%, var(--border));background:color-mix(in srgb, var(--primary) 9%, var(--card))}.advanced-diagrams-module__Yp-XMa__piNode{border-color:color-mix(in srgb, var(--warning) 55%, var(--border));background:color-mix(in srgb, var(--warning) 8%, var(--card))}.advanced-diagrams-module__Yp-XMa__baseNode{border-color:color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));justify-self:center;width:min(100%,25rem)}.advanced-diagrams-module__Yp-XMa__sigmaNode span,.advanced-diagrams-module__Yp-XMa__piNode span,.advanced-diagrams-module__Yp-XMa__baseNode span{color:var(--muted);font-family:Cambria Math,Times New Roman,serif;font-size:.77rem}.advanced-diagrams-module__Yp-XMa__levelLabel{color:var(--muted);text-transform:uppercase;font-size:.66rem;font-weight:800}.advanced-diagrams-module__Yp-XMa__phUnion{background:var(--accent);color:var(--primary-strong);text-align:center;border-radius:.65rem;padding:.6rem;font-family:Cambria Math,Times New Roman,serif;font-weight:800}.advanced-diagrams-module__Yp-XMa__collapseHypothesis{border:2px dashed var(--warning);background:color-mix(in srgb, var(--warning) 7%, var(--card));text-align:center;border-radius:.75rem;justify-items:center;gap:.2rem;padding:.75rem;display:grid}.advanced-diagrams-module__Yp-XMa__collapseHypothesis strong{font-size:1.15rem}.advanced-diagrams-module__Yp-XMa__collapseHypothesis small{color:var(--muted)}.advanced-diagrams-module__Yp-XMa__quantifierMerge{border:1px solid var(--border);background:var(--card);border-radius:.75rem;grid-template-columns:minmax(0,1fr) auto minmax(0,1.2fr) auto minmax(0,1.2fr);align-items:center;gap:.4rem;padding:.75rem;display:grid;overflow-x:auto}.advanced-diagrams-module__Yp-XMa__quantifierMerge code{background:var(--accent);color:var(--foreground);text-align:center;white-space:nowrap;border-radius:.45rem;padding:.55rem;font-family:Cambria Math,Times New Roman,serif;font-size:.76rem}.advanced-diagrams-module__Yp-XMa__quantifierMerge small{color:var(--muted);text-align:center;grid-column:1/-1}.advanced-diagrams-module__Yp-XMa__collapseResult{grid-template-columns:repeat(2,minmax(0,1fr));gap:.55rem;display:grid}.advanced-diagrams-module__Yp-XMa__collapseResult div{border:1px solid var(--border);background:var(--card);text-align:center;border-radius:.65rem;padding:.65rem;font-weight:800;display:grid}.advanced-diagrams-module__Yp-XMa__collapseResult div span{color:var(--muted);font-size:.68rem;font-weight:500}.advanced-diagrams-module__Yp-XMa__collapseResult>strong{background:color-mix(in srgb, var(--success) 12%, var(--card));color:var(--success);text-align:center;border-radius:.65rem;grid-column:1/-1;padding:.7rem}.advanced-diagrams-module__Yp-XMa__sigmaKey{background:var(--primary)}.advanced-diagrams-module__Yp-XMa__piKey{background:var(--warning)}.advanced-diagrams-module__Yp-XMa__svgPanel{fill:color-mix(in srgb, var(--card) 92%, var(--accent));stroke:var(--border);stroke-width:2px}.advanced-diagrams-module__Yp-XMa__svgHeading{fill:var(--foreground);font-size:14px;font-weight:800}.advanced-diagrams-module__Yp-XMa__svgNote{fill:var(--muted);font-size:11px;font-weight:700}.advanced-diagrams-module__Yp-XMa__svgWarning{fill:var(--warning);font-size:11px;font-weight:800}.advanced-diagrams-module__Yp-XMa__svgPlaceholder{fill:var(--muted);font-size:13px;font-weight:700}.advanced-diagrams-module__Yp-XMa__graphEdge,.advanced-diagrams-module__Yp-XMa__graphEdgeWitness,.advanced-diagrams-module__Yp-XMa__protectedEdge,.advanced-diagrams-module__Yp-XMa__chosenEdge,.advanced-diagrams-module__Yp-XMa__treeEdge,.advanced-diagrams-module__Yp-XMa__cutGuide,.advanced-diagrams-module__Yp-XMa__finalCutGuide,.advanced-diagrams-module__Yp-XMa__deletedLoop,.advanced-diagrams-module__Yp-XMa__deleteMark{fill:none;vector-effect:non-scaling-stroke}.advanced-diagrams-module__Yp-XMa__graphEdge,.advanced-diagrams-module__Yp-XMa__treeEdge{stroke:var(--muted);stroke-width:2.3px}.advanced-diagrams-module__Yp-XMa__graphEdge polygon{fill:var(--muted);stroke:none}.advanced-diagrams-module__Yp-XMa__graphEdgeWitness{stroke:var(--success);stroke-width:4px}.advanced-diagrams-module__Yp-XMa__graphEdgeWitness polygon{fill:var(--success);stroke:none}.advanced-diagrams-module__Yp-XMa__graphNode circle,.advanced-diagrams-module__Yp-XMa__kargerNode circle{fill:var(--card);stroke:var(--primary);stroke-width:3px;vector-effect:non-scaling-stroke}.advanced-diagrams-module__Yp-XMa__graphNode text,.advanced-diagrams-module__Yp-XMa__kargerNode text,.advanced-diagrams-module__Yp-XMa__kargerSupernode text{fill:var(--foreground);font-size:16px;font-weight:800}.advanced-diagrams-module__Yp-XMa__recursionRoot,.advanced-diagrams-module__Yp-XMa__recursionPending,.advanced-diagrams-module__Yp-XMa__recursionActive,.advanced-diagrams-module__Yp-XMa__recursionDone{stroke-width:2px;vector-effect:non-scaling-stroke}.advanced-diagrams-module__Yp-XMa__recursionRoot{fill:var(--accent);stroke:var(--primary)}.advanced-diagrams-module__Yp-XMa__recursionPending{fill:var(--card);stroke:var(--border);stroke-dasharray:5 4}.advanced-diagrams-module__Yp-XMa__recursionActive{fill:color-mix(in srgb, var(--primary) 14%, var(--card));stroke:var(--primary)}.advanced-diagrams-module__Yp-XMa__recursionDone{fill:color-mix(in srgb, var(--success) 14%, var(--card));stroke:var(--success)}.advanced-diagrams-module__Yp-XMa__recursionText,.advanced-diagrams-module__Yp-XMa__recursionSmallText{fill:var(--foreground);font-family:Cambria Math,Times New Roman,serif;font-size:13px;font-weight:800}.advanced-diagrams-module__Yp-XMa__recursionSmallText{font-size:11px}.advanced-diagrams-module__Yp-XMa__midpointTrials{grid-template-columns:repeat(3,minmax(0,1fr));gap:.5rem;display:grid}.advanced-diagrams-module__Yp-XMa__midpointTrials span{border:1px solid var(--border);background:var(--card);text-align:center;border-radius:.6rem;gap:.1rem;padding:.55rem;font-family:Cambria Math,Times New Roman,serif;font-size:.78rem;display:grid}.advanced-diagrams-module__Yp-XMa__midpointTrials b{color:var(--muted);font-family:Arial,Noto Sans Hebrew,sans-serif;font-size:.63rem}.advanced-diagrams-module__Yp-XMa__midpointTrials span[data-trial-state=accepted]{border-color:var(--success);background:color-mix(in srgb, var(--success) 8%, var(--card))}.advanced-diagrams-module__Yp-XMa__stackView{border:1px solid var(--border);background:var(--card);border-radius:.65rem;grid-template-columns:auto minmax(0,1fr) minmax(0,1fr);align-items:center;gap:.45rem;padding:.6rem;display:grid}.advanced-diagrams-module__Yp-XMa__stackView>span{color:var(--muted);font-size:.7rem;font-weight:800}.advanced-diagrams-module__Yp-XMa__stackView code{border-inline-start:3px solid var(--primary);background:var(--accent);padding:.4rem;font-size:.7rem}.advanced-diagrams-module__Yp-XMa__recurrenceResult{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));text-align:center;border-radius:.7rem;grid-template-columns:repeat(2,minmax(0,1fr));gap:.4rem;padding:.7rem;display:grid}.advanced-diagrams-module__Yp-XMa__recurrenceResult span{color:var(--muted);font-size:.74rem}.advanced-diagrams-module__Yp-XMa__recurrenceResult strong{color:var(--success);grid-column:1/-1}.advanced-diagrams-module__Yp-XMa__witnessKey{border-block-start:4px solid var(--success);border-radius:0;height:0}.advanced-diagrams-module__Yp-XMa__activeKey{border:2px solid var(--primary);background:color-mix(in srgb, var(--primary) 14%, var(--card))}.advanced-diagrams-module__Yp-XMa__encodingPanel{border:1px solid var(--border);background:var(--card);border-radius:.85rem;gap:.75rem;padding:1rem;display:grid;overflow:hidden}.advanced-diagrams-module__Yp-XMa__encodingLabel{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.5rem;display:flex}.advanced-diagrams-module__Yp-XMa__encodingLabel span{color:var(--muted);letter-spacing:.06em;text-transform:uppercase;font-size:.7rem;font-weight:800}.advanced-diagrams-module__Yp-XMa__encodingLabel strong{font-family:Cambria Math,Times New Roman,serif}.advanced-diagrams-module__Yp-XMa__tape{scrollbar-width:thin;padding-block-end:.25rem;display:flex;overflow-x:auto}.advanced-diagrams-module__Yp-XMa__sourceCell,.advanced-diagrams-module__Yp-XMa__delimiterCell,.advanced-diagrams-module__Yp-XMa__paddingCell{border:1px solid var(--border);flex:0 0 2.45rem;place-items:center;height:2.7rem;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-weight:800;display:grid}.advanced-diagrams-module__Yp-XMa__sourceCell:first-child{border-start-start-radius:.55rem;border-end-start-radius:.55rem}.advanced-diagrams-module__Yp-XMa__sourceCell{border-color:color-mix(in srgb, var(--primary) 45%, var(--border));background:color-mix(in srgb, var(--primary) 10%, var(--card))}.advanced-diagrams-module__Yp-XMa__delimiterCell{border-color:var(--warning);background:color-mix(in srgb, var(--warning) 12%, var(--card));color:var(--warning)}.advanced-diagrams-module__Yp-XMa__paddingCell{background:color-mix(in srgb, var(--success) 9%, var(--card));color:var(--success)}.advanced-diagrams-module__Yp-XMa__paddingCell:last-child{border-start-end-radius:.55rem;border-end-end-radius:.55rem}.advanced-diagrams-module__Yp-XMa__lengthRail{flex-wrap:wrap;gap:.45rem;display:flex}.advanced-diagrams-module__Yp-XMa__lengthRail span{background:var(--accent);color:var(--muted);border-radius:999px;padding:.28rem .55rem;font-size:.72rem}.advanced-diagrams-module__Yp-XMa__validationGrid{grid-template-columns:repeat(2,minmax(0,1fr));gap:.45rem;display:grid}.advanced-diagrams-module__Yp-XMa__validationGrid span{border:1px solid color-mix(in srgb, var(--success) 40%, var(--border));background:color-mix(in srgb, var(--success) 7%, var(--card));color:var(--success);border-radius:.55rem;padding:.5rem;font-size:.74rem;font-weight:700}.advanced-diagrams-module__Yp-XMa__validationGrid span[data-validation-state=reject]{border-color:color-mix(in srgb, var(--warning) 45%, var(--border));background:color-mix(in srgb, var(--warning) 7%, var(--card));color:var(--warning)}.advanced-diagrams-module__Yp-XMa__runtimeScale{border:1px solid var(--border);background:var(--card);border-radius:.7rem;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);align-items:center;gap:.55rem;padding:.75rem;display:grid}.advanced-diagrams-module__Yp-XMa__runtimeScale div{text-align:center;gap:.15rem;display:grid}.advanced-diagrams-module__Yp-XMa__runtimeScale small{color:var(--muted);text-align:center;grid-column:1/-1}.advanced-diagrams-module__Yp-XMa__scaleArrow{color:var(--primary-strong)!important;font-size:1.25rem!important}.advanced-diagrams-module__Yp-XMa__warningPanel{border:2px dashed var(--warning);background:color-mix(in srgb, var(--warning) 7%, var(--card));border-radius:.7rem;gap:.25rem;padding:.7rem;display:grid}.advanced-diagrams-module__Yp-XMa__warningPanel span{color:var(--muted);font-size:.78rem}.advanced-diagrams-module__Yp-XMa__sourceKey{background:var(--primary)}.advanced-diagrams-module__Yp-XMa__paddingKey{background:var(--success)}.advanced-diagrams-module__Yp-XMa__protectedEdge{stroke:var(--warning);stroke-width:4px}.advanced-diagrams-module__Yp-XMa__chosenEdge{stroke:var(--success);stroke-width:5px;stroke-dasharray:7 4}.advanced-diagrams-module__Yp-XMa__cutGuide,.advanced-diagrams-module__Yp-XMa__finalCutGuide{stroke:var(--warning);stroke-width:2px;stroke-dasharray:7 5}.advanced-diagrams-module__Yp-XMa__kargerSupernode rect{fill:color-mix(in srgb, var(--primary) 12%, var(--card));stroke:var(--primary);stroke-width:3px;vector-effect:non-scaling-stroke}.advanced-diagrams-module__Yp-XMa__deletedLoop{stroke:var(--warning);stroke-width:3px;stroke-dasharray:5 4}.advanced-diagrams-module__Yp-XMa__deleteMark{stroke:var(--warning);stroke-width:3px}.advanced-diagrams-module__Yp-XMa__multigraphRule{align-items:start}.advanced-diagrams-module__Yp-XMa__multigraphRule span{color:var(--muted);font-size:.77rem}.advanced-diagrams-module__Yp-XMa__cutResult{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));border-radius:.65rem;flex-wrap:wrap;justify-content:space-between;gap:.45rem;padding:.6rem .7rem;font-size:.78rem;display:flex}.advanced-diagrams-module__Yp-XMa__probabilityPanel{grid-template-columns:repeat(3,minmax(0,1fr));gap:.5rem;display:grid}.advanced-diagrams-module__Yp-XMa__probabilityPanel div{border:1px solid var(--border);background:var(--card);text-align:center;border-radius:.6rem;gap:.2rem;padding:.6rem;display:grid}.advanced-diagrams-module__Yp-XMa__probabilityPanel strong{font-family:Cambria Math,Times New Roman,serif;font-size:.78rem}.advanced-diagrams-module__Yp-XMa__probabilityPanel small{color:var(--muted);text-align:center;grid-column:1/-1}.advanced-diagrams-module__Yp-XMa__protectedKey{background:var(--warning)}.advanced-diagrams-module__Yp-XMa__chosenKey{border:2px dashed var(--success)}.advanced-diagrams-module__Yp-XMa__ratioScale{grid-template-columns:repeat(2,minmax(0,1fr));gap:.65rem;display:grid}.advanced-diagrams-module__Yp-XMa__ratioScale article{border:1px solid var(--border);background:var(--card);border-radius:.75rem;gap:.35rem;padding:.8rem;display:grid}.advanced-diagrams-module__Yp-XMa__ratioScale article:first-child{border-block-start:4px solid var(--primary)}.advanced-diagrams-module__Yp-XMa__ratioScale article:last-child{border-block-start:4px solid var(--warning)}.advanced-diagrams-module__Yp-XMa__ratioScale strong{font-family:Cambria Math,Times New Roman,serif}.advanced-diagrams-module__Yp-XMa__ratioScale small{color:var(--muted);line-height:1.35}.advanced-diagrams-module__Yp-XMa__bridgeGrid{grid-template-columns:repeat(2,minmax(0,1fr));gap:.65rem;display:grid}.advanced-diagrams-module__Yp-XMa__proofBridge,.advanced-diagrams-module__Yp-XMa__proofBridgeActive{border:1px solid var(--border);background:var(--card);border-radius:.75rem;gap:.6rem;padding:.75rem;display:grid}.advanced-diagrams-module__Yp-XMa__proofBridgeActive{border-color:var(--primary);box-shadow:0 0 0 2px color-mix(in srgb, var(--primary) 16%, transparent)}.advanced-diagrams-module__Yp-XMa__proofBridge header span{color:var(--muted);letter-spacing:.06em;text-transform:uppercase;font-size:.64rem;font-weight:800}.advanced-diagrams-module__Yp-XMa__proofBridge h3,.advanced-diagrams-module__Yp-XMa__proofBridgeActive h3{margin:.1rem 0 0;font-size:.92rem}.advanced-diagrams-module__Yp-XMa__bridgeFlow{text-align:center;grid-template-columns:minmax(0,1fr) auto minmax(0,.8fr) auto minmax(0,1fr);align-items:center;gap:.3rem;font-size:.68rem;display:grid}.advanced-diagrams-module__Yp-XMa__bridgeFlow span,.advanced-diagrams-module__Yp-XMa__bridgeFlow strong{background:var(--accent);border-radius:.4rem;padding:.4rem .25rem}.advanced-diagrams-module__Yp-XMa__bridgeFlow strong{color:var(--primary-strong)}.advanced-diagrams-module__Yp-XMa__bridgeConclusion{background:color-mix(in srgb, var(--success) 11%, var(--card));color:var(--success);text-align:center;border-radius:.45rem;padding:.45rem;font-family:Cambria Math,Times New Roman,serif;font-weight:800}.advanced-diagrams-module__Yp-XMa__proofBridge p,.advanced-diagrams-module__Yp-XMa__proofBridgeActive p{color:var(--muted);margin:0;font-size:.69rem;line-height:1.4}.advanced-diagrams-module__Yp-XMa__proofChecklist{grid-template-columns:repeat(4,minmax(0,1fr));gap:.4rem;display:grid}.advanced-diagrams-module__Yp-XMa__proofChecklist span{border:1px solid color-mix(in srgb, var(--success) 40%, var(--border));background:color-mix(in srgb, var(--success) 7%, var(--card));color:var(--success);text-align:center;border-radius:999px;padding:.4rem;font-size:.67rem;font-weight:700}.advanced-diagrams-module__Yp-XMa__lowerBoundKey{background:var(--primary)}.advanced-diagrams-module__Yp-XMa__upperBoundKey{background:var(--warning)}@media (max-width:720px){.advanced-diagrams-module__Yp-XMa__statusGrid,.advanced-diagrams-module__Yp-XMa__ratioScale,.advanced-diagrams-module__Yp-XMa__bridgeGrid,.advanced-diagrams-module__Yp-XMa__collapseResult,.advanced-diagrams-module__Yp-XMa__validationGrid,.advanced-diagrams-module__Yp-XMa__phRow{grid-template-columns:1fr}.advanced-diagrams-module__Yp-XMa__levelLabel{justify-self:center}.advanced-diagrams-module__Yp-XMa__collapseResult>strong{grid-column:auto}.advanced-diagrams-module__Yp-XMa__midpointTrials,.advanced-diagrams-module__Yp-XMa__probabilityPanel,.advanced-diagrams-module__Yp-XMa__stackView{grid-template-columns:1fr}.advanced-diagrams-module__Yp-XMa__probabilityPanel small{grid-column:auto}.advanced-diagrams-module__Yp-XMa__proofChecklist{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (max-width:480px){.advanced-diagrams-module__Yp-XMa__runtimeScale{grid-template-columns:1fr}.advanced-diagrams-module__Yp-XMa__runtimeScale small{grid-column:auto}.advanced-diagrams-module__Yp-XMa__scaleArrow{transform:rotate(90deg)}.advanced-diagrams-module__Yp-XMa__bridgeFlow{grid-template-columns:1fr}.advanced-diagrams-module__Yp-XMa__bridgeFlow b{transform:rotate(90deg)}.advanced-diagrams-module__Yp-XMa__proofChecklist{grid-template-columns:1fr}}@media (prefers-reduced-motion:reduce){.advanced-diagrams-module__Yp-XMa__containmentChain,.advanced-diagrams-module__Yp-XMa__tape,.advanced-diagrams-module__Yp-XMa__quantifierMerge{scroll-behavior:auto}}@media print{.advanced-diagrams-module__Yp-XMa__containmentChain,.advanced-diagrams-module__Yp-XMa__tape,.advanced-diagrams-module__Yp-XMa__quantifierMerge{overflow:visible}.advanced-diagrams-module__Yp-XMa__proofBridge,.advanced-diagrams-module__Yp-XMa__proofBridgeActive,.advanced-diagrams-module__Yp-XMa__theoremCard,.advanced-diagrams-module__Yp-XMa__openCard{break-inside:avoid}}
.configuration-graph-visualization-module___ktO_q__stage{gap:.85rem;display:grid}.configuration-graph-visualization-module___ktO_q__machineSummary{border:1px solid var(--border);background:var(--card);border-radius:.8rem;flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.65rem;padding:.65rem .8rem;display:flex}.configuration-graph-visualization-module___ktO_q__machineSummary span{color:var(--muted);font-size:.78rem;font-weight:700}.configuration-graph-visualization-module___ktO_q__machineSummary strong{color:var(--foreground)}.configuration-graph-visualization-module___ktO_q__transitionRule{background:var(--accent);border-radius:999px;padding:.32rem .58rem;font-family:Cambria Math,Times New Roman,serif;color:var(--primary-strong)!important}.configuration-graph-visualization-module___ktO_q__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.configuration-graph-visualization-module___ktO_q__edge{stroke:var(--muted);stroke-width:2px;vector-effect:non-scaling-stroke}.configuration-graph-visualization-module___ktO_q__edgeVisited{stroke:var(--primary);stroke-width:3px}.configuration-graph-visualization-module___ktO_q__arrow{fill:var(--muted)}.configuration-graph-visualization-module___ktO_q__arrowVisited{fill:var(--primary)}.configuration-graph-visualization-module___ktO_q__edgeLabel{fill:var(--muted);font-size:11px;font-weight:800}.configuration-graph-visualization-module___ktO_q__node rect{fill:var(--card);stroke:var(--border);stroke-width:2px;vector-effect:non-scaling-stroke;transition:fill .18s,stroke .18s}.configuration-graph-visualization-module___ktO_q__node text{fill:var(--muted);font-size:12px;font-weight:700}.configuration-graph-visualization-module___ktO_q__node .configuration-graph-visualization-module___ktO_q__state{fill:var(--foreground);font-size:14px;font-weight:900}.configuration-graph-visualization-module___ktO_q__nodeVisited rect{fill:color-mix(in srgb, var(--accent) 70%, var(--card));stroke:var(--primary)}.configuration-graph-visualization-module___ktO_q__nodeActive rect{fill:color-mix(in srgb, var(--primary) 14%, var(--card));stroke:var(--primary);stroke-width:4px}.configuration-graph-visualization-module___ktO_q__nodeAccept rect{fill:color-mix(in srgb, var(--success) 14%, var(--card));stroke:var(--success)}.configuration-graph-visualization-module___ktO_q__snapshot{border:1px solid var(--border);background:var(--card);border-radius:.8rem;grid-template-columns:minmax(0,1fr) auto;gap:.75rem;padding:.8rem;display:grid}.configuration-graph-visualization-module___ktO_q__snapshotHeader{flex-wrap:wrap;grid-column:1/-1;justify-content:space-between;gap:.5rem;display:flex}.configuration-graph-visualization-module___ktO_q__snapshotHeader strong{color:var(--foreground)}.configuration-graph-visualization-module___ktO_q__snapshotHeader span{color:var(--muted);font-size:.78rem;font-weight:800}.configuration-graph-visualization-module___ktO_q__tape{justify-content:center;align-items:flex-start;gap:.25rem;min-width:0;display:flex}.configuration-graph-visualization-module___ktO_q__cellWrap{justify-items:center;gap:.28rem;display:grid}.configuration-graph-visualization-module___ktO_q__head{min-height:1rem;color:var(--primary-strong);font-size:.68rem;font-weight:900}.configuration-graph-visualization-module___ktO_q__cell{border:2px solid var(--border);background:var(--background);width:2.65rem;height:2.65rem;color:var(--muted);border-radius:.45rem;place-items:center;font-family:Cambria Math,Times New Roman,serif;font-size:1.05rem;font-weight:900;display:grid}.configuration-graph-visualization-module___ktO_q__cellVisited{border-color:color-mix(in srgb, var(--primary) 55%, var(--border));color:var(--foreground)}.configuration-graph-visualization-module___ktO_q__cellActive{border-color:var(--primary);background:var(--accent);box-shadow:0 0 0 3px color-mix(in srgb, var(--primary) 15%, transparent)}.configuration-graph-visualization-module___ktO_q__nextMove{border-inline-start:3px solid var(--primary);background:var(--accent);max-width:13rem;color:var(--muted);border-radius:.45rem;align-self:center;padding:.55rem .65rem;font-size:.76rem;font-weight:700}.configuration-graph-visualization-module___ktO_q__nextMove strong{color:var(--foreground);margin-block-end:.15rem;display:block}.configuration-graph-visualization-module___ktO_q__legendLine,.configuration-graph-visualization-module___ktO_q__legendNode,.configuration-graph-visualization-module___ktO_q__legendHead{display:inline-block}.configuration-graph-visualization-module___ktO_q__legendLine{border-block-start:3px solid var(--primary);width:1.7rem}.configuration-graph-visualization-module___ktO_q__legendNode{border:2px solid var(--primary);background:var(--accent);border-radius:.25rem;width:.85rem;height:.85rem}.configuration-graph-visualization-module___ktO_q__legendHead{color:var(--primary-strong);font-size:.9rem;font-style:normal}.configuration-graph-visualization-module___ktO_q__spaceBound{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));border-radius:.75rem;grid-template-columns:repeat(3,minmax(0,1fr));gap:.5rem;padding:.7rem;display:grid}.configuration-graph-visualization-module___ktO_q__spaceBound span{color:var(--muted);font-size:.72rem;font-weight:800}.configuration-graph-visualization-module___ktO_q__spaceBound strong{color:var(--foreground);margin-block-start:.18rem;font-size:.9rem;display:block}@media (max-width:620px){.configuration-graph-visualization-module___ktO_q__snapshot{grid-template-columns:1fr}.configuration-graph-visualization-module___ktO_q__nextMove{max-width:none}.configuration-graph-visualization-module___ktO_q__tape{justify-content:flex-start;padding-block-end:.35rem;overflow-x:auto}.configuration-graph-visualization-module___ktO_q__spaceBound{grid-template-columns:1fr}}@media (prefers-reduced-motion:reduce){.configuration-graph-visualization-module___ktO_q__node rect{transition:none}}
.growth-rate-map-visualization-module__vO7fwW__stage{gap:.85rem;display:grid}.growth-rate-map-visualization-module__vO7fwW__toolbar{border:1px solid var(--border);background:var(--card);border-radius:.8rem;flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.75rem;padding:.7rem .8rem;display:flex}.growth-rate-map-visualization-module__vO7fwW__inputControl{min-width:min(100%,18rem);color:var(--muted);flex:1;grid-template-columns:auto minmax(8rem,1fr) auto;align-items:center;gap:.65rem;font-size:.8rem;font-weight:700;display:grid}.growth-rate-map-visualization-module__vO7fwW__inputControl strong{color:var(--foreground);font-variant-numeric:tabular-nums}.growth-rate-map-visualization-module__vO7fwW__inputControl input{width:100%;accent-color:var(--primary)}.growth-rate-map-visualization-module__vO7fwW__scaleToggle{border:1px solid var(--border);background:var(--background);border-radius:999px;gap:.25rem;padding:.2rem;display:inline-flex}.growth-rate-map-visualization-module__vO7fwW__scaleToggle button{color:var(--muted);cursor:pointer;font:inherit;background:0 0;border:0;border-radius:999px;padding:.38rem .65rem;font-size:.76rem;font-weight:800}.growth-rate-map-visualization-module__vO7fwW__scaleToggle button[aria-pressed=true]{background:var(--primary);color:var(--background)}.growth-rate-map-visualization-module__vO7fwW__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.growth-rate-map-visualization-module__vO7fwW__gridLine,.growth-rate-map-visualization-module__vO7fwW__axis{vector-effect:non-scaling-stroke}.growth-rate-map-visualization-module__vO7fwW__gridLine{stroke:color-mix(in srgb, var(--border) 72%, transparent);stroke-width:1px}.growth-rate-map-visualization-module__vO7fwW__axis{stroke:var(--muted);stroke-width:1.5px}.growth-rate-map-visualization-module__vO7fwW__tickLabel,.growth-rate-map-visualization-module__vO7fwW__axisLabel{fill:var(--muted);font-size:12px;font-weight:700}.growth-rate-map-visualization-module__vO7fwW__axisLabel{fill:var(--foreground);font-size:13px}.growth-rate-map-visualization-module__vO7fwW__curve{fill:none;stroke-width:3px;stroke-linecap:round;stroke-linejoin:round;vector-effect:non-scaling-stroke;transition:opacity .18s}.growth-rate-map-visualization-module__vO7fwW__logCurve{stroke:#0f766e}.growth-rate-map-visualization-module__vO7fwW__linearCurve{stroke:#2563eb}.growth-rate-map-visualization-module__vO7fwW__nLogNCurve{stroke:#7c3aed}.growth-rate-map-visualization-module__vO7fwW__squareCurve{stroke:#d97706}.growth-rate-map-visualization-module__vO7fwW__exponentialCurve{stroke:#dc2626}.growth-rate-map-visualization-module__vO7fwW__curveLabel{paint-order:stroke;stroke:var(--card);stroke-width:4px;font-size:13px;font-weight:900}.growth-rate-map-visualization-module__vO7fwW__marker{stroke:var(--foreground);stroke-width:2px;stroke-dasharray:6 5;vector-effect:non-scaling-stroke}.growth-rate-map-visualization-module__vO7fwW__markerLabel{fill:var(--foreground);font-size:13px;font-weight:900}.growth-rate-map-visualization-module__vO7fwW__point{stroke:var(--card);stroke-width:2.5px;vector-effect:non-scaling-stroke}.growth-rate-map-visualization-module__vO7fwW__legendSwatch{background:currentColor;border-radius:50%;width:.85rem;height:.85rem;display:inline-block}.growth-rate-map-visualization-module__vO7fwW__logLegend{color:#0f766e}.growth-rate-map-visualization-module__vO7fwW__linearLegend{color:#2563eb}.growth-rate-map-visualization-module__vO7fwW__nLogNLegend{color:#7c3aed}.growth-rate-map-visualization-module__vO7fwW__squareLegend{color:#d97706}.growth-rate-map-visualization-module__vO7fwW__exponentialLegend{color:#dc2626}.growth-rate-map-visualization-module__vO7fwW__curveLabel.growth-rate-map-visualization-module__vO7fwW__logLegend,.growth-rate-map-visualization-module__vO7fwW__point.growth-rate-map-visualization-module__vO7fwW__logCurve{fill:#0f766e}.growth-rate-map-visualization-module__vO7fwW__curveLabel.growth-rate-map-visualization-module__vO7fwW__linearLegend,.growth-rate-map-visualization-module__vO7fwW__point.growth-rate-map-visualization-module__vO7fwW__linearCurve{fill:#2563eb}.growth-rate-map-visualization-module__vO7fwW__curveLabel.growth-rate-map-visualization-module__vO7fwW__nLogNLegend,.growth-rate-map-visualization-module__vO7fwW__point.growth-rate-map-visualization-module__vO7fwW__nLogNCurve{fill:#7c3aed}.growth-rate-map-visualization-module__vO7fwW__curveLabel.growth-rate-map-visualization-module__vO7fwW__squareLegend,.growth-rate-map-visualization-module__vO7fwW__point.growth-rate-map-visualization-module__vO7fwW__squareCurve{fill:#d97706}.growth-rate-map-visualization-module__vO7fwW__curveLabel.growth-rate-map-visualization-module__vO7fwW__exponentialLegend,.growth-rate-map-visualization-module__vO7fwW__point.growth-rate-map-visualization-module__vO7fwW__exponentialCurve{fill:#dc2626}.growth-rate-map-visualization-module__vO7fwW__values{grid-template-columns:repeat(5,minmax(0,1fr));gap:.45rem;display:grid}.growth-rate-map-visualization-module__vO7fwW__value{border:1px solid var(--border);background:var(--card);text-align:center;border-radius:.65rem;padding:.55rem}.growth-rate-map-visualization-module__vO7fwW__value span{color:var(--muted);font-size:.7rem;font-weight:800;display:block}.growth-rate-map-visualization-module__vO7fwW__value strong{color:var(--foreground);font-variant-numeric:tabular-nums;margin-block-start:.2rem;font-size:.9rem;display:block}.growth-rate-map-visualization-module__vO7fwW__note{border-inline-start:3px solid var(--primary);background:var(--accent);color:var(--muted);border-radius:.45rem;padding:.6rem .7rem;font-size:.79rem;font-weight:700}@media (max-width:620px){.growth-rate-map-visualization-module__vO7fwW__values{grid-template-columns:repeat(2,minmax(0,1fr))}.growth-rate-map-visualization-module__vO7fwW__toolbar{align-items:stretch}.growth-rate-map-visualization-module__vO7fwW__scaleToggle{justify-content:center}}@media (prefers-reduced-motion:reduce){.growth-rate-map-visualization-module__vO7fwW__curve{transition:none}}
.ham-cycle-to-tsp-visualization-module__9MCC7a__stage{gap:.9rem;min-width:0;display:grid}.ham-cycle-to-tsp-visualization-module__9MCC7a__localizedText{unicode-bidi:plaintext}.ham-cycle-to-tsp-visualization-module__9MCC7a__notation{direction:ltr;unicode-bidi:isolate}.ham-cycle-to-tsp-visualization-module__9MCC7a__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.ham-cycle-to-tsp-visualization-module__9MCC7a__panelTitle{fill:var(--muted);font-size:13px;font-weight:800}.ham-cycle-to-tsp-visualization-module__9MCC7a__originalEdge{fill:none;stroke:color-mix(in srgb, var(--primary) 74%, var(--foreground));stroke-linecap:round;stroke-width:3px;vector-effect:non-scaling-stroke}.ham-cycle-to-tsp-visualization-module__9MCC7a__chordEdge{fill:none;stroke:color-mix(in srgb, var(--muted) 70%, var(--border));stroke-dasharray:7 5;stroke-linecap:round;stroke-width:2.5px;vector-effect:non-scaling-stroke}.ham-cycle-to-tsp-visualization-module__9MCC7a__tourEdge{fill:none;stroke:color-mix(in srgb, var(--success) 55%, var(--card));stroke-linecap:round;stroke-width:13px;vector-effect:non-scaling-stroke}.ham-cycle-to-tsp-visualization-module__9MCC7a__penaltyEdge{fill:none;stroke:var(--warning);stroke-dasharray:11 7;stroke-linecap:round;stroke-width:5px;vector-effect:non-scaling-stroke}.ham-cycle-to-tsp-visualization-module__9MCC7a__closingMarker{fill:var(--card);stroke:var(--success);stroke-width:3.5px;vector-effect:non-scaling-stroke}.ham-cycle-to-tsp-visualization-module__9MCC7a__costBadge circle{fill:var(--card);stroke:color-mix(in srgb, var(--primary) 60%, var(--border));stroke-width:2px;vector-effect:non-scaling-stroke}.ham-cycle-to-tsp-visualization-module__9MCC7a__costBadge text{fill:var(--foreground);font-size:13px;font-weight:850}.ham-cycle-to-tsp-visualization-module__9MCC7a__costBadgePenalty circle{fill:color-mix(in srgb, var(--warning) 16%, var(--card));stroke:color-mix(in srgb, var(--warning) 72%, var(--border));stroke-dasharray:4 3}.ham-cycle-to-tsp-visualization-module__9MCC7a__vertex circle{fill:var(--card);stroke:var(--foreground);stroke-width:2.5px;vector-effect:non-scaling-stroke}.ham-cycle-to-tsp-visualization-module__9MCC7a__vertex text{fill:var(--foreground);font-size:16px;font-weight:850}.ham-cycle-to-tsp-visualization-module__9MCC7a__legend{margin-block-start:.1rem}.ham-cycle-to-tsp-visualization-module__9MCC7a__swatch{background:var(--border);border-radius:999px;width:1.3rem;height:.3rem;display:inline-block}.ham-cycle-to-tsp-visualization-module__9MCC7a__swatchOriginal{background:color-mix(in srgb, var(--primary) 74%, var(--foreground))}.ham-cycle-to-tsp-visualization-module__9MCC7a__swatchChord{background:repeating-linear-gradient(90deg, color-mix(in srgb, var(--muted) 70%, var(--border)) 0 5px, transparent 5px 9px)}.ham-cycle-to-tsp-visualization-module__9MCC7a__swatchTour{background:color-mix(in srgb, var(--success) 55%, var(--card));height:.6rem}.ham-cycle-to-tsp-visualization-module__9MCC7a__swatchPenalty{background:repeating-linear-gradient(90deg, var(--warning) 0 7px, transparent 7px 11px);height:.4rem}.ham-cycle-to-tsp-visualization-module__9MCC7a__swatchClosing{border:3px solid var(--success);background:var(--card);border-radius:999px;width:.8rem;height:.8rem}.ham-cycle-to-tsp-visualization-module__9MCC7a__budgetBar{border:1px solid color-mix(in srgb, var(--primary) 45%, var(--border));background:var(--accent);color:var(--primary-strong);unicode-bidi:plaintext;border-radius:.75rem;flex-wrap:wrap;align-items:center;gap:.45rem .9rem;padding:.6rem .8rem;font-size:.8rem;font-weight:750;display:flex}.ham-cycle-to-tsp-visualization-module__9MCC7a__budgetValue{font-size:.98rem;font-weight:900}.ham-cycle-to-tsp-visualization-module__9MCC7a__rule{border-inline-start:3px solid color-mix(in srgb, var(--primary) 55%, var(--border));unicode-bidi:plaintext;padding-inline-start:.5rem}.ham-cycle-to-tsp-visualization-module__9MCC7a__tally{border:1px solid var(--border);background:var(--card);border-radius:.75rem;gap:.5rem;padding:.65rem .8rem;display:grid}.ham-cycle-to-tsp-visualization-module__9MCC7a__tallyTitle{color:var(--muted);unicode-bidi:plaintext;font-size:.78rem;font-weight:800}.ham-cycle-to-tsp-visualization-module__9MCC7a__tallyRow{flex-wrap:wrap;gap:.4rem;display:flex}.ham-cycle-to-tsp-visualization-module__9MCC7a__tallyItem{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 10%, var(--card));color:var(--foreground);unicode-bidi:plaintext;border-radius:999px;align-items:center;gap:.35rem;padding:.22rem .6rem;font-size:.74rem;font-weight:800;display:inline-flex}.ham-cycle-to-tsp-visualization-module__9MCC7a__tallyClosing{border-color:var(--success);box-shadow:inset 0 0 0 2px color-mix(in srgb, var(--success) 30%, transparent)}.ham-cycle-to-tsp-visualization-module__9MCC7a__tallyTotal{color:var(--foreground);unicode-bidi:plaintext;font-size:.88rem;font-weight:900;display:block}.ham-cycle-to-tsp-visualization-module__9MCC7a__proofGrid{grid-template-columns:repeat(2,minmax(0,1fr));gap:.65rem;display:grid}.ham-cycle-to-tsp-visualization-module__9MCC7a__proofCard{border:1px solid var(--border);background:var(--card);unicode-bidi:plaintext;border-radius:.7rem;padding:.65rem .75rem;font-size:.78rem}.ham-cycle-to-tsp-visualization-module__9MCC7a__proofCardRival{border-color:color-mix(in srgb, var(--warning) 50%, var(--border));background:color-mix(in srgb, var(--warning) 8%, var(--card))}.ham-cycle-to-tsp-visualization-module__9MCC7a__proofCard strong{color:var(--foreground);margin-block-end:.3rem;font-size:.8rem;display:block}.ham-cycle-to-tsp-visualization-module__9MCC7a__proofCard p{color:var(--muted);margin:0}.ham-cycle-to-tsp-visualization-module__9MCC7a__proofSum{color:var(--foreground);margin-block-start:.4rem;font-weight:900;display:block}.ham-cycle-to-tsp-visualization-module__9MCC7a__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;unicode-bidi:plaintext;border-radius:.75rem;padding:.7rem .85rem;font-size:.9rem;font-weight:800}@media (max-width:680px){.ham-cycle-to-tsp-visualization-module__9MCC7a__proofGrid{grid-template-columns:1fr}}
.metric-tsp-approx-visualization-module___e_zsa__stage{gap:.9rem;min-width:0;display:grid}.metric-tsp-approx-visualization-module___e_zsa__localizedText{unicode-bidi:plaintext}.metric-tsp-approx-visualization-module___e_zsa__notation{direction:ltr;unicode-bidi:isolate}.metric-tsp-approx-visualization-module___e_zsa__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.metric-tsp-approx-visualization-module___e_zsa__legend{padding-inline:.15rem}.metric-tsp-approx-visualization-module___e_zsa__caption{fill:var(--muted);letter-spacing:.02em;font-size:14px;font-weight:800}.metric-tsp-approx-visualization-module___e_zsa__metricEdge{fill:none;stroke:color-mix(in srgb, var(--muted) 62%, var(--border));stroke-width:2px;vector-effect:non-scaling-stroke}.metric-tsp-approx-visualization-module___e_zsa__metricEdgeDim{stroke:color-mix(in srgb, var(--border) 78%, transparent);stroke-dasharray:4 6;stroke-width:1.5px}.metric-tsp-approx-visualization-module___e_zsa__treeEdge{stroke:var(--primary);stroke-width:4px}.metric-tsp-approx-visualization-module___e_zsa__doubledEdge{fill:none;stroke:var(--primary-strong);stroke-linecap:round;stroke-width:3.5px;vector-effect:non-scaling-stroke}.metric-tsp-approx-visualization-module___e_zsa__tourEdge{fill:none;stroke:var(--success);stroke-width:4px;vector-effect:non-scaling-stroke}.metric-tsp-approx-visualization-module___e_zsa__shortcutEdge{fill:none;stroke:var(--warning);stroke-dasharray:10 5;stroke-width:4px;vector-effect:non-scaling-stroke}.metric-tsp-approx-visualization-module___e_zsa__costLabel{fill:var(--foreground);paint-order:stroke;stroke:var(--card);stroke-linejoin:round;stroke-width:4px;font-size:13px;font-weight:800}.metric-tsp-approx-visualization-module___e_zsa__costLabelDim{fill:var(--muted);font-size:12px;font-weight:650}.metric-tsp-approx-visualization-module___e_zsa__costLabelStrong{fill:var(--primary-strong)}.metric-tsp-approx-visualization-module___e_zsa__orderBadge{fill:var(--card);stroke:var(--primary-strong);stroke-width:2px;vector-effect:non-scaling-stroke}.metric-tsp-approx-visualization-module___e_zsa__orderBadgeText{fill:var(--primary-strong);font-size:12px;font-weight:850}.metric-tsp-approx-visualization-module___e_zsa__node circle{fill:var(--card);stroke:var(--foreground);stroke-width:2.5px;vector-effect:non-scaling-stroke}.metric-tsp-approx-visualization-module___e_zsa__node text{fill:var(--foreground);pointer-events:none;font-size:15px;font-weight:850}.metric-tsp-approx-visualization-module___e_zsa__keyMetric,.metric-tsp-approx-visualization-module___e_zsa__keyTree,.metric-tsp-approx-visualization-module___e_zsa__keyDoubled,.metric-tsp-approx-visualization-module___e_zsa__keyTour,.metric-tsp-approx-visualization-module___e_zsa__keyShortcut{background:color-mix(in srgb, var(--muted) 62%, var(--border));border-radius:999px;width:1.15rem;height:.28rem;display:inline-block}.metric-tsp-approx-visualization-module___e_zsa__keyTree{background:var(--primary)}.metric-tsp-approx-visualization-module___e_zsa__keyDoubled{background:var(--primary-strong)}.metric-tsp-approx-visualization-module___e_zsa__keyTour{background:var(--success)}.metric-tsp-approx-visualization-module___e_zsa__keyShortcut{background:repeating-linear-gradient(90deg, var(--warning) 0 .32rem, transparent .32rem .5rem)}.metric-tsp-approx-visualization-module___e_zsa__card,.metric-tsp-approx-visualization-module___e_zsa__note,.metric-tsp-approx-visualization-module___e_zsa__ledger,.metric-tsp-approx-visualization-module___e_zsa__invariant{border:1px solid var(--border);background:var(--card);border-radius:.75rem;padding:.7rem .85rem}.metric-tsp-approx-visualization-module___e_zsa__card{color:var(--muted);gap:.45rem;font-size:.8rem;display:grid}.metric-tsp-approx-visualization-module___e_zsa__card strong{color:var(--foreground);font-size:.82rem}.metric-tsp-approx-visualization-module___e_zsa__note{border-inline-start:4px solid var(--warning);background:color-mix(in srgb, var(--warning) 8%, var(--card));color:var(--foreground);font-size:.8rem;font-weight:700}.metric-tsp-approx-visualization-module___e_zsa__chipRow{flex-wrap:wrap;gap:.4rem;display:flex}.metric-tsp-approx-visualization-module___e_zsa__chip{border:1px solid color-mix(in srgb, var(--primary) 45%, var(--border));background:var(--accent);color:var(--primary-strong);border-radius:999px;padding:.22rem .6rem;font-size:.75rem;font-weight:800}.metric-tsp-approx-visualization-module___e_zsa__sequence{flex-wrap:wrap;gap:.35rem;padding-block-end:.15rem;display:flex;overflow-x:auto}.metric-tsp-approx-visualization-module___e_zsa__sequenceItem{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 10%, var(--card));min-width:1.9rem;color:var(--foreground);border-radius:.45rem;place-items:center;padding:.22rem .45rem;font-size:.8rem;font-weight:850;display:grid}.metric-tsp-approx-visualization-module___e_zsa__sequenceRepeat{border-color:color-mix(in srgb, var(--warning) 55%, var(--border));background:color-mix(in srgb, var(--warning) 12%, var(--card));border-style:dashed}.metric-tsp-approx-visualization-module___e_zsa__cards{grid-template-columns:repeat(2,minmax(0,1fr));gap:.55rem;display:grid}.metric-tsp-approx-visualization-module___e_zsa__shortcutCard{border:1px solid color-mix(in srgb, var(--warning) 45%, var(--border));background:color-mix(in srgb, var(--warning) 7%, var(--card));border-radius:.6rem;gap:.25rem;padding:.5rem .6rem;font-size:.75rem;display:grid}.metric-tsp-approx-visualization-module___e_zsa__shortcutCard strong{color:var(--foreground);font-size:.8rem}.metric-tsp-approx-visualization-module___e_zsa__ledger{gap:.4rem;display:grid}.metric-tsp-approx-visualization-module___e_zsa__ledger>strong{color:var(--foreground);font-size:.82rem}.metric-tsp-approx-visualization-module___e_zsa__ledgerRow{border-block-start:1px dashed var(--border);color:var(--muted);flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.5rem;padding-block-start:.4rem;font-size:.8rem;display:flex}.metric-tsp-approx-visualization-module___e_zsa__ledgerRow strong{color:var(--foreground);font-size:.85rem;font-weight:850}.metric-tsp-approx-visualization-module___e_zsa__invariant{border-color:color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;flex-wrap:wrap;justify-content:center;align-items:center;gap:.35rem .9rem;font-size:.9rem;font-weight:800;display:flex}@media (max-width:680px){.metric-tsp-approx-visualization-module___e_zsa__cards{grid-template-columns:1fr}.metric-tsp-approx-visualization-module___e_zsa__ledgerRow{flex-direction:column;align-items:flex-start}}
.nondeterministic-tree-visualization-module__KrAT0a__stage{gap:.85rem;display:grid}.nondeterministic-tree-visualization-module__KrAT0a__formula{border:1px solid var(--border);background:var(--card);border-radius:.8rem;flex-wrap:wrap;justify-content:center;align-items:center;gap:.4rem;padding:.65rem .8rem;font-family:Cambria Math,Times New Roman,serif;font-weight:800;display:flex}.nondeterministic-tree-visualization-module__KrAT0a__formula span{background:var(--accent);border-radius:.4rem;padding:.12rem .35rem}.nondeterministic-tree-visualization-module__KrAT0a__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.nondeterministic-tree-visualization-module__KrAT0a__edge{stroke:var(--muted);stroke-width:2px;vector-effect:non-scaling-stroke;transition:stroke .18s,stroke-width .18s}.nondeterministic-tree-visualization-module__KrAT0a__acceptingEdge{stroke:var(--success);stroke-width:4px}.nondeterministic-tree-visualization-module__KrAT0a__choiceLabel{paint-order:stroke;fill:var(--foreground);stroke:var(--card);stroke-width:4px;font-size:12px;font-weight:900}.nondeterministic-tree-visualization-module__KrAT0a__node circle{fill:var(--card);stroke:var(--primary);stroke-width:2.5px;vector-effect:non-scaling-stroke;transition:fill .18s,stroke .18s}.nondeterministic-tree-visualization-module__KrAT0a__node text{fill:var(--foreground);pointer-events:none;font-size:11px;font-weight:900}.nondeterministic-tree-visualization-module__KrAT0a__acceptingNode circle{fill:color-mix(in srgb, var(--success) 15%, var(--card));stroke:var(--success)}.nondeterministic-tree-visualization-module__KrAT0a__rejectingNode circle{fill:color-mix(in srgb, var(--warning) 12%, var(--card));stroke:var(--warning)}.nondeterministic-tree-visualization-module__KrAT0a__witnessNode circle{stroke:var(--success);stroke-width:5px}.nondeterministic-tree-visualization-module__KrAT0a__leafResult{fill:var(--muted);font-size:10px;font-weight:900}.nondeterministic-tree-visualization-module__KrAT0a__acceptResult{fill:var(--success)}.nondeterministic-tree-visualization-module__KrAT0a__rejectResult{fill:var(--warning)}.nondeterministic-tree-visualization-module__KrAT0a__levelLabel{fill:var(--muted);font-size:11px;font-weight:800}.nondeterministic-tree-visualization-module__KrAT0a__legendLine,.nondeterministic-tree-visualization-module__KrAT0a__legendNode,.nondeterministic-tree-visualization-module__KrAT0a__legendWitness{display:inline-block}.nondeterministic-tree-visualization-module__KrAT0a__legendLine{border-block-start:2px solid var(--muted);width:1.7rem}.nondeterministic-tree-visualization-module__KrAT0a__legendNode{border:2px solid var(--success);background:color-mix(in srgb, var(--success) 15%, var(--card));border-radius:50%;width:.82rem;height:.82rem}.nondeterministic-tree-visualization-module__KrAT0a__legendWitness{border-block-start:4px solid var(--success);width:1.7rem}.nondeterministic-tree-visualization-module__KrAT0a__choiceString{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--muted);border-radius:.75rem;flex-wrap:wrap;justify-content:center;align-items:center;gap:.45rem;padding:.65rem;font-size:.8rem;font-weight:800;display:flex}.nondeterministic-tree-visualization-module__KrAT0a__choiceString code,.nondeterministic-tree-visualization-module__KrAT0a__certificate code{background:var(--background);color:var(--foreground);font-family:var(--font-geist-mono), Consolas, monospace;border-radius:.35rem;padding:.2rem .38rem}.nondeterministic-tree-visualization-module__KrAT0a__certificate{border:1px solid color-mix(in srgb, var(--success) 50%, var(--border));background:var(--card);border-radius:.8rem;grid-template-columns:auto minmax(0,1fr);gap:.75rem;padding:.8rem;display:grid}.nondeterministic-tree-visualization-module__KrAT0a__certificateBadge{background:var(--success);min-width:5.25rem;color:var(--background);letter-spacing:.06em;text-transform:uppercase;border-radius:.65rem;place-items:center;font-size:.72rem;font-weight:900;display:grid}.nondeterministic-tree-visualization-module__KrAT0a__certificateBody{gap:.45rem;display:grid}.nondeterministic-tree-visualization-module__KrAT0a__certificateBody strong{color:var(--foreground)}.nondeterministic-tree-visualization-module__KrAT0a__certificateBody p{color:var(--muted);margin:0;font-size:.8rem;font-weight:700}.nondeterministic-tree-visualization-module__KrAT0a__checks{flex-wrap:wrap;gap:.4rem;display:flex}.nondeterministic-tree-visualization-module__KrAT0a__checks span{background:var(--accent);color:var(--primary-strong);border-radius:999px;padding:.28rem .5rem;font-size:.72rem;font-weight:800}.nondeterministic-tree-visualization-module__KrAT0a__bound{border-inline-start:3px solid var(--primary);background:var(--accent);color:var(--muted);padding:.5rem .6rem;font-size:.76rem;font-weight:800}@media (max-width:560px){.nondeterministic-tree-visualization-module__KrAT0a__certificate{grid-template-columns:1fr}.nondeterministic-tree-visualization-module__KrAT0a__certificateBadge{min-height:2.2rem}}@media (prefers-reduced-motion:reduce){.nondeterministic-tree-visualization-module__KrAT0a__edge,.nondeterministic-tree-visualization-module__KrAT0a__node circle{transition:none}}
.np-conp-venn-visualization-module__9lHXBa__stage{gap:.85rem;display:grid}.np-conp-venn-visualization-module__9lHXBa__status{flex-wrap:wrap;justify-content:center;gap:.45rem;display:flex}.np-conp-venn-visualization-module__9lHXBa__status span{border:1px solid var(--border);background:var(--card);color:var(--muted);border-radius:999px;padding:.32rem .58rem;font-size:.73rem;font-weight:800}.np-conp-venn-visualization-module__9lHXBa__status strong{color:var(--foreground)}.np-conp-venn-visualization-module__9lHXBa__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.np-conp-venn-visualization-module__9lHXBa__npSet,.np-conp-venn-visualization-module__9lHXBa__coNpSet{stroke-width:3px;stroke-dasharray:9 6;vector-effect:non-scaling-stroke}.np-conp-venn-visualization-module__9lHXBa__npSet{fill:#2563eb1f;stroke:#2563eb}.np-conp-venn-visualization-module__9lHXBa__coNpSet{fill:#d977061f;stroke:#d97706}.np-conp-venn-visualization-module__9lHXBa__intersection{fill:color-mix(in srgb, var(--success) 22%, transparent)}.np-conp-venn-visualization-module__9lHXBa__pSet{fill:color-mix(in srgb, var(--success) 18%, var(--card));stroke:var(--success);stroke-width:3px;stroke-dasharray:4 4;vector-effect:non-scaling-stroke}.np-conp-venn-visualization-module__9lHXBa__setLabel{fill:var(--foreground);font-size:25px;font-weight:900}.np-conp-venn-visualization-module__9lHXBa__setSubtitle{fill:var(--muted);font-size:11px;font-weight:800}.np-conp-venn-visualization-module__9lHXBa__intersectionLabel{fill:var(--success);font-size:12px;font-weight:900}.np-conp-venn-visualization-module__9lHXBa__pLabel{fill:var(--foreground);font-size:18px;font-weight:900}.np-conp-venn-visualization-module__9lHXBa__pSubtitle{fill:var(--muted);font-size:9px;font-weight:800}.np-conp-venn-visualization-module__9lHXBa__exampleCard{fill:var(--card);stroke:var(--border);stroke-width:2px;vector-effect:non-scaling-stroke}.np-conp-venn-visualization-module__9lHXBa__exampleTitle{fill:var(--foreground);font-size:15px;font-weight:900}.np-conp-venn-visualization-module__9lHXBa__exampleText{fill:var(--muted);font-size:10px;font-weight:800}.np-conp-venn-visualization-module__9lHXBa__membershipArrow{fill:none;stroke-width:2.5px;stroke-dasharray:5 4;vector-effect:non-scaling-stroke}.np-conp-venn-visualization-module__9lHXBa__npArrow{stroke:#2563eb}.np-conp-venn-visualization-module__9lHXBa__coNpArrow{stroke:#d97706}.np-conp-venn-visualization-module__9lHXBa__openBadge{fill:var(--card);stroke:var(--warning);stroke-width:2px;stroke-dasharray:5 4;vector-effect:non-scaling-stroke}.np-conp-venn-visualization-module__9lHXBa__openTitle{fill:var(--foreground);font-size:13px;font-weight:900}.np-conp-venn-visualization-module__9lHXBa__openText{fill:var(--warning);letter-spacing:.06em;font-size:10px;font-weight:900}.np-conp-venn-visualization-module__9lHXBa__caution{border-inline-start:3px solid var(--warning);background:color-mix(in srgb, var(--warning) 9%, var(--card));color:var(--muted);border-radius:.45rem;padding:.6rem .7rem;font-size:.78rem;font-weight:750}.np-conp-venn-visualization-module__9lHXBa__caution strong{color:var(--foreground)}.np-conp-venn-visualization-module__9lHXBa__legendBoundary,.np-conp-venn-visualization-module__9lHXBa__legendKnown,.np-conp-venn-visualization-module__9lHXBa__legendOpen{display:inline-block}.np-conp-venn-visualization-module__9lHXBa__legendBoundary{border-block-start:3px dashed #2563eb;width:1.55rem}.np-conp-venn-visualization-module__9lHXBa__legendKnown{border:2px dashed var(--success);background:color-mix(in srgb, var(--success) 18%, var(--card));border-radius:50%;width:.85rem;height:.85rem}.np-conp-venn-visualization-module__9lHXBa__legendOpen{border:1px dashed var(--warning);color:var(--warning);border-radius:.2rem;padding-inline:.18rem;font-size:.68rem;font-style:normal}.np-conp-venn-visualization-module__9lHXBa__facts{grid-template-columns:repeat(3,minmax(0,1fr));gap:.45rem;display:grid}.np-conp-venn-visualization-module__9lHXBa__fact{border:1px solid var(--border);background:var(--card);border-radius:.65rem;padding:.55rem .65rem}.np-conp-venn-visualization-module__9lHXBa__fact span{color:var(--muted);letter-spacing:.04em;text-transform:uppercase;font-size:.68rem;font-weight:800;display:block}.np-conp-venn-visualization-module__9lHXBa__fact strong{color:var(--foreground);margin-block-start:.22rem;font-size:.82rem;display:block}@media (max-width:620px){.np-conp-venn-visualization-module__9lHXBa__facts{grid-template-columns:1fr}}
.oracle-relativization-visualization-module__LHfXVq__stage{gap:.9rem;min-width:0;display:grid}.oracle-relativization-visualization-module__LHfXVq__localizedText{unicode-bidi:plaintext}.oracle-relativization-visualization-module__LHfXVq__notation{direction:ltr;unicode-bidi:isolate}.oracle-relativization-visualization-module__LHfXVq__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.oracle-relativization-visualization-module__LHfXVq__panel{fill:var(--card);stroke:var(--border);stroke-width:1.5px;vector-effect:non-scaling-stroke}.oracle-relativization-visualization-module__LHfXVq__panelTitle{fill:var(--muted);letter-spacing:.02em;font-size:12.5px;font-weight:850}.oracle-relativization-visualization-module__LHfXVq__caption{fill:var(--muted);font-size:11px;font-weight:700}.oracle-relativization-visualization-module__LHfXVq__box{fill:color-mix(in srgb, var(--background) 70%, var(--card));stroke:var(--border);stroke-width:2px;vector-effect:non-scaling-stroke}.oracle-relativization-visualization-module__LHfXVq__boxLabel{fill:var(--foreground);font-size:16px;font-weight:900}.oracle-relativization-visualization-module__LHfXVq__boxSubLabel{fill:var(--muted);font-size:11px;font-weight:750}.oracle-relativization-visualization-module__LHfXVq__tapeCell{fill:var(--card);stroke:color-mix(in srgb, var(--primary) 45%, var(--border));stroke-width:2px;vector-effect:non-scaling-stroke}.oracle-relativization-visualization-module__LHfXVq__oracleBox{fill:var(--accent);stroke:var(--primary);stroke-width:2.5px;vector-effect:non-scaling-stroke}.oracle-relativization-visualization-module__LHfXVq__oracleLabel{fill:var(--primary-strong);font-size:15px;font-weight:900}.oracle-relativization-visualization-module__LHfXVq__flowLine{fill:none;stroke:color-mix(in srgb, var(--muted) 78%, var(--border));stroke-width:2.5px;vector-effect:non-scaling-stroke}.oracle-relativization-visualization-module__LHfXVq__flowHead{fill:color-mix(in srgb, var(--muted) 78%, var(--border));stroke:none}.oracle-relativization-visualization-module__LHfXVq__flowLabel{fill:var(--muted);font-size:11px;font-weight:800}.oracle-relativization-visualization-module__LHfXVq__answerLabel{fill:var(--foreground);font-size:12px;font-weight:850}.oracle-relativization-visualization-module__LHfXVq__classPill{fill:color-mix(in srgb, var(--primary) 12%, var(--card));stroke:color-mix(in srgb, var(--primary) 60%, var(--border));stroke-width:2.5px;vector-effect:non-scaling-stroke}.oracle-relativization-visualization-module__LHfXVq__classLabel{fill:var(--foreground);font-size:15px;font-weight:900}.oracle-relativization-visualization-module__LHfXVq__reasonLabel{fill:var(--muted);font-size:10.5px;font-weight:800}.oracle-relativization-visualization-module__LHfXVq__worldPanel{stroke-width:2.5px;vector-effect:non-scaling-stroke}.oracle-relativization-visualization-module__LHfXVq__worldEqual{fill:color-mix(in srgb, var(--success) 7%, var(--card));stroke:color-mix(in srgb, var(--success) 55%, var(--border))}.oracle-relativization-visualization-module__LHfXVq__worldSeparate{fill:color-mix(in srgb, var(--warning) 7%, var(--card));stroke:color-mix(in srgb, var(--warning) 60%, var(--border))}.oracle-relativization-visualization-module__LHfXVq__worldTitle{fill:var(--foreground);font-size:14px;font-weight:900}.oracle-relativization-visualization-module__LHfXVq__worldSub{fill:var(--muted);font-size:11px;font-weight:750}.oracle-relativization-visualization-module__LHfXVq__worldNote{fill:var(--foreground);font-size:11px;font-weight:800}.oracle-relativization-visualization-module__LHfXVq__verdictBadge{stroke-width:2.5px;vector-effect:non-scaling-stroke}.oracle-relativization-visualization-module__LHfXVq__verdictEqual{fill:color-mix(in srgb, var(--success) 16%, var(--card));stroke:var(--success)}.oracle-relativization-visualization-module__LHfXVq__verdictSeparate{fill:color-mix(in srgb, var(--warning) 16%, var(--card));stroke:var(--warning)}.oracle-relativization-visualization-module__LHfXVq__verdictLabel{fill:var(--foreground);font-size:16px;font-weight:900}.oracle-relativization-visualization-module__LHfXVq__sectionTitle{color:var(--muted);letter-spacing:.05em;text-transform:uppercase;unicode-bidi:plaintext;font-size:.75rem;font-weight:850}.oracle-relativization-visualization-module__LHfXVq__barrierGrid{grid-template-columns:repeat(2,minmax(0,1fr));gap:.65rem;display:grid}.oracle-relativization-visualization-module__LHfXVq__candidateCard{border:1px solid color-mix(in srgb, var(--warning) 50%, var(--border));border-inline-start:4px solid var(--warning);background:color-mix(in srgb, var(--warning) 8%, var(--card));unicode-bidi:plaintext;border-radius:.7rem;gap:.32rem;padding:.65rem .75rem;display:grid}.oracle-relativization-visualization-module__LHfXVq__candidateBadge{border:1px solid color-mix(in srgb, var(--warning) 60%, var(--border));background:color-mix(in srgb, var(--warning) 16%, var(--card));color:color-mix(in srgb, var(--warning) 82%, var(--foreground));letter-spacing:.04em;text-transform:uppercase;border-radius:999px;justify-self:start;padding:.16rem .5rem;font-size:.68rem;font-weight:900}.oracle-relativization-visualization-module__LHfXVq__candidateTitle{color:var(--foreground);font-size:.84rem;font-weight:850}.oracle-relativization-visualization-module__LHfXVq__candidateFail{color:var(--muted);font-size:.79rem;font-weight:700}.oracle-relativization-visualization-module__LHfXVq__note{border-inline-start:3px solid var(--primary);background:var(--accent);color:var(--foreground);unicode-bidi:plaintext;border-radius:.45rem;padding:.55rem .7rem;font-size:.79rem;font-weight:750}.oracle-relativization-visualization-module__LHfXVq__limits{border:1px solid var(--border);background:var(--card);border-radius:.75rem;gap:.45rem;padding:.7rem .85rem;display:grid}.oracle-relativization-visualization-module__LHfXVq__limitsList{gap:.4rem;margin:0;padding:0;list-style:none;display:grid}.oracle-relativization-visualization-module__LHfXVq__limitItem{border-inline-start:3px solid color-mix(in srgb, var(--primary) 60%, var(--border));color:var(--foreground);unicode-bidi:plaintext;padding-inline-start:.6rem;font-size:.8rem;font-weight:700}.oracle-relativization-visualization-module__LHfXVq__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;border-radius:.75rem;padding:.7rem .85rem;font-weight:800}.oracle-relativization-visualization-module__LHfXVq__legendShared,.oracle-relativization-visualization-module__LHfXVq__legendEqual,.oracle-relativization-visualization-module__LHfXVq__legendSeparate,.oracle-relativization-visualization-module__LHfXVq__legendRejected{border-style:solid;border-width:2px;border-radius:.25rem;width:.85rem;height:.85rem;display:inline-block}.oracle-relativization-visualization-module__LHfXVq__legendShared{border-color:color-mix(in srgb, var(--primary) 60%, var(--border));background:color-mix(in srgb, var(--primary) 14%, var(--card))}.oracle-relativization-visualization-module__LHfXVq__legendEqual{border-color:var(--success);background:color-mix(in srgb, var(--success) 18%, var(--card));border-radius:50%}.oracle-relativization-visualization-module__LHfXVq__legendSeparate{border-color:var(--warning);background:color-mix(in srgb, var(--warning) 18%, var(--card));border-radius:50%}.oracle-relativization-visualization-module__LHfXVq__legendRejected{border-style:dashed;border-color:var(--warning);background:color-mix(in srgb, var(--warning) 8%, var(--card))}@media (max-width:680px){.oracle-relativization-visualization-module__LHfXVq__barrierGrid{grid-template-columns:1fr}}
.partition-to-bin-packing-visualization-module__qIvZKW__stage{gap:.9rem;min-width:0;display:grid}.partition-to-bin-packing-visualization-module__qIvZKW__localizedText{unicode-bidi:plaintext}.partition-to-bin-packing-visualization-module__qIvZKW__notation{direction:ltr;unicode-bidi:isolate}.partition-to-bin-packing-visualization-module__qIvZKW__ledger{flex-wrap:wrap;justify-content:center;gap:.45rem;display:flex}.partition-to-bin-packing-visualization-module__qIvZKW__ledgerItem{border:1px solid var(--border);background:var(--card);color:var(--foreground);unicode-bidi:plaintext;border-radius:999px;padding:.32rem .62rem;font-size:.78rem;font-weight:800}.partition-to-bin-packing-visualization-module__qIvZKW__ledgerCapacity{border-color:color-mix(in srgb, var(--primary) 55%, var(--border));background:color-mix(in srgb, var(--primary) 12%, var(--card))}.partition-to-bin-packing-visualization-module__qIvZKW__ledgerGap{border-color:color-mix(in srgb, var(--warning) 55%, var(--border));background:color-mix(in srgb, var(--warning) 14%, var(--card))}.partition-to-bin-packing-visualization-module__qIvZKW__ledgerBarrier{border-color:color-mix(in srgb, var(--success) 50%, var(--border));background:color-mix(in srgb, var(--success) 10%, var(--card))}.partition-to-bin-packing-visualization-module__qIvZKW__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.partition-to-bin-packing-visualization-module__qIvZKW__sectionTitle{fill:var(--muted);font-size:15px;font-weight:800}.partition-to-bin-packing-visualization-module__qIvZKW__valueLabel{fill:var(--foreground);font-size:15px;font-weight:850}.partition-to-bin-packing-visualization-module__qIvZKW__rowBlock{fill:color-mix(in srgb, var(--primary) 22%, var(--card));stroke:var(--primary);stroke-width:2px;vector-effect:non-scaling-stroke}.partition-to-bin-packing-visualization-module__qIvZKW__panel{fill:var(--card);stroke:color-mix(in srgb, var(--border) 80%, var(--foreground));stroke-width:2px;vector-effect:non-scaling-stroke}.partition-to-bin-packing-visualization-module__qIvZKW__panelTitle{fill:var(--foreground);font-size:15px;font-weight:850}.partition-to-bin-packing-visualization-module__qIvZKW__panelSubtitle{fill:var(--muted);font-size:13px;font-weight:800}.partition-to-bin-packing-visualization-module__qIvZKW__binFrame{fill:color-mix(in srgb, var(--card) 82%, var(--background));stroke:color-mix(in srgb, var(--muted) 55%, var(--border));stroke-width:2px;vector-effect:non-scaling-stroke}.partition-to-bin-packing-visualization-module__qIvZKW__itemBlock{stroke-width:2px;vector-effect:non-scaling-stroke}.partition-to-bin-packing-visualization-module__qIvZKW__itemBlockYes{fill:color-mix(in srgb, var(--success) 26%, var(--card));stroke:var(--success)}.partition-to-bin-packing-visualization-module__qIvZKW__itemBlockNo{fill:color-mix(in srgb, var(--primary) 22%, var(--card));stroke:var(--primary)}.partition-to-bin-packing-visualization-module__qIvZKW__slackBlock{fill:color-mix(in srgb, var(--warning) 30%, var(--card));stroke:color-mix(in srgb, var(--warning) 78%, var(--foreground));stroke-width:2px;stroke-dasharray:5 4;vector-effect:non-scaling-stroke}.partition-to-bin-packing-visualization-module__qIvZKW__blockLabel{fill:var(--foreground);font-size:14px;font-weight:850}.partition-to-bin-packing-visualization-module__qIvZKW__blockLabelOutside{fill:var(--muted);font-size:13px;font-weight:850}.partition-to-bin-packing-visualization-module__qIvZKW__loadLabel{fill:color-mix(in srgb, var(--foreground) 88%, var(--muted));font-size:13px;font-weight:900}.partition-to-bin-packing-visualization-module__qIvZKW__capacityLine{stroke:var(--foreground);stroke-width:3px;stroke-dasharray:8 5;stroke-linecap:round;vector-effect:non-scaling-stroke}.partition-to-bin-packing-visualization-module__qIvZKW__slackCaption{fill:color-mix(in srgb, var(--success) 80%, var(--foreground));unicode-bidi:plaintext;font-size:14px;font-weight:900}.partition-to-bin-packing-visualization-module__qIvZKW__slackCaptionWarn{fill:color-mix(in srgb, var(--warning) 82%, var(--foreground));unicode-bidi:plaintext;font-size:14px;font-weight:900}.partition-to-bin-packing-visualization-module__qIvZKW__rulerAxis{stroke:var(--foreground);stroke-width:3px;stroke-linecap:round;vector-effect:non-scaling-stroke}.partition-to-bin-packing-visualization-module__qIvZKW__tickMark{stroke:color-mix(in srgb, var(--muted) 80%, var(--foreground));stroke-width:2.5px;vector-effect:non-scaling-stroke}.partition-to-bin-packing-visualization-module__qIvZKW__tickBarrier{stroke:color-mix(in srgb, var(--warning) 85%, var(--foreground));stroke-width:4px;vector-effect:non-scaling-stroke}.partition-to-bin-packing-visualization-module__qIvZKW__tickLabel{fill:var(--muted);font-size:13px;font-weight:850}.partition-to-bin-packing-visualization-module__qIvZKW__markStem{stroke:color-mix(in srgb, var(--primary) 60%, var(--border));stroke-width:2px;stroke-dasharray:4 3;vector-effect:non-scaling-stroke}.partition-to-bin-packing-visualization-module__qIvZKW__markDot{fill:color-mix(in srgb, var(--primary) 45%, var(--card));stroke:var(--primary-strong);stroke-width:2.5px;vector-effect:non-scaling-stroke}.partition-to-bin-packing-visualization-module__qIvZKW__markLabel{fill:var(--foreground);unicode-bidi:plaintext;font-size:13px;font-weight:800}.partition-to-bin-packing-visualization-module__qIvZKW__forbiddenZone{fill:color-mix(in srgb, var(--warning) 36%, var(--card));stroke:color-mix(in srgb, var(--warning) 82%, var(--foreground));stroke-width:2px;stroke-dasharray:6 4;vector-effect:non-scaling-stroke}.partition-to-bin-packing-visualization-module__qIvZKW__forbiddenLabel{fill:color-mix(in srgb, var(--warning) 82%, var(--foreground));unicode-bidi:plaintext;font-size:14px;font-weight:900}.partition-to-bin-packing-visualization-module__qIvZKW__swatch{border:2px solid var(--border);border-radius:.25rem;width:.85rem;height:.85rem;display:inline-block}.partition-to-bin-packing-visualization-module__qIvZKW__swatchItem{border-color:var(--primary);background:color-mix(in srgb, var(--primary) 22%, var(--card))}.partition-to-bin-packing-visualization-module__qIvZKW__swatchCapacity{border-width:0;border-block-start:3px dashed var(--foreground);border-radius:0;height:0}.partition-to-bin-packing-visualization-module__qIvZKW__swatchFlush{border-color:var(--success);background:color-mix(in srgb, var(--success) 26%, var(--card))}.partition-to-bin-packing-visualization-module__qIvZKW__swatchSlack{border-style:dashed;border-color:color-mix(in srgb, var(--warning) 78%, var(--foreground));background:color-mix(in srgb, var(--warning) 30%, var(--card))}.partition-to-bin-packing-visualization-module__qIvZKW__swatchRatio{border-color:var(--primary-strong);background:color-mix(in srgb, var(--primary) 45%, var(--card));border-radius:999px}.partition-to-bin-packing-visualization-module__qIvZKW__swatchForbidden{border-style:dashed;border-color:color-mix(in srgb, var(--warning) 82%, var(--foreground));background:color-mix(in srgb, var(--warning) 36%, var(--card))}.partition-to-bin-packing-visualization-module__qIvZKW__cards{grid-template-columns:repeat(2,minmax(0,1fr));gap:.55rem;display:grid}.partition-to-bin-packing-visualization-module__qIvZKW__cardsWide{grid-template-columns:repeat(auto-fit,minmax(min(100%,15rem),1fr));gap:.55rem;display:grid}.partition-to-bin-packing-visualization-module__qIvZKW__card{border:1px solid var(--border);border-inline-start:3px solid var(--primary);background:var(--card);unicode-bidi:plaintext;border-radius:.65rem;padding:.55rem .65rem}.partition-to-bin-packing-visualization-module__qIvZKW__card strong{color:var(--primary-strong);margin-block-end:.28rem;font-size:.8rem;font-weight:900;display:block}.partition-to-bin-packing-visualization-module__qIvZKW__card span{color:var(--muted);font-size:.76rem;font-weight:650;line-height:1.45;display:block}.partition-to-bin-packing-visualization-module__qIvZKW__pairs{border:1px solid color-mix(in srgb, var(--warning) 45%, var(--border));background:color-mix(in srgb, var(--warning) 7%, var(--card));border-radius:.75rem;gap:.45rem;padding:.65rem .8rem;display:grid}.partition-to-bin-packing-visualization-module__qIvZKW__pairsTitle{color:var(--foreground);unicode-bidi:plaintext;margin:0;font-size:.8rem;font-weight:900}.partition-to-bin-packing-visualization-module__qIvZKW__pairsRow{flex-wrap:wrap;gap:.4rem;display:flex}.partition-to-bin-packing-visualization-module__qIvZKW__pairChip{border:1px solid color-mix(in srgb, var(--warning) 60%, var(--border));background:var(--card);color:var(--foreground);border-radius:999px;padding:.28rem .6rem;font-size:.78rem;font-weight:850}.partition-to-bin-packing-visualization-module__qIvZKW__pairsConclusion{color:var(--muted);unicode-bidi:plaintext;margin:0;font-size:.76rem;font-weight:650;line-height:1.45}.partition-to-bin-packing-visualization-module__qIvZKW__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;unicode-bidi:plaintext;border-radius:.75rem;padding:.7rem .85rem;font-size:.86rem;font-weight:800}@media (max-width:620px){.partition-to-bin-packing-visualization-module__qIvZKW__cards{grid-template-columns:1fr}}
.subset-sum-to-partition-visualization-module__SkWexW__stage{gap:.9rem;min-width:0;display:grid}.subset-sum-to-partition-visualization-module__SkWexW__localizedText{unicode-bidi:plaintext}.subset-sum-to-partition-visualization-module__SkWexW__notation{direction:ltr;unicode-bidi:isolate}.subset-sum-to-partition-visualization-module__SkWexW__ledger{flex-wrap:wrap;justify-content:center;gap:.45rem;display:flex}.subset-sum-to-partition-visualization-module__SkWexW__ledgerItem{border:1px solid var(--border);background:var(--card);color:var(--foreground);unicode-bidi:plaintext;border-radius:999px;padding:.32rem .62rem;font-size:.78rem;font-weight:800}.subset-sum-to-partition-visualization-module__SkWexW__ledgerAdded{border-color:color-mix(in srgb, var(--warning) 55%, var(--border));background:color-mix(in srgb, var(--warning) 12%, var(--card))}.subset-sum-to-partition-visualization-module__SkWexW__ledgerSide{border-color:color-mix(in srgb, var(--success) 50%, var(--border));background:color-mix(in srgb, var(--success) 10%, var(--card))}.subset-sum-to-partition-visualization-module__SkWexW__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.subset-sum-to-partition-visualization-module__SkWexW__rowTitle{fill:var(--muted);font-size:15px;font-weight:800}.subset-sum-to-partition-visualization-module__SkWexW__valueLabel{fill:var(--foreground);font-size:15px;font-weight:850}.subset-sum-to-partition-visualization-module__SkWexW__captionLabel{fill:color-mix(in srgb, var(--warning) 78%, var(--foreground));font-size:14px;font-weight:850}.subset-sum-to-partition-visualization-module__SkWexW__bar{stroke-width:2px;vector-effect:non-scaling-stroke}.subset-sum-to-partition-visualization-module__SkWexW__barOriginal{fill:color-mix(in srgb, var(--primary) 22%, var(--card));stroke:var(--primary)}.subset-sum-to-partition-visualization-module__SkWexW__barMarker{fill:color-mix(in srgb, var(--warning) 26%, var(--card));stroke:color-mix(in srgb, var(--warning) 78%, var(--foreground))}.subset-sum-to-partition-visualization-module__SkWexW__barWitness{fill:color-mix(in srgb, var(--success) 26%, var(--card));stroke:var(--success);stroke-width:3.5px;stroke-dasharray:7 4;vector-effect:non-scaling-stroke}.subset-sum-to-partition-visualization-module__SkWexW__beam{stroke:var(--foreground);stroke-width:7px;stroke-linecap:round;vector-effect:non-scaling-stroke}.subset-sum-to-partition-visualization-module__SkWexW__hanger{stroke:color-mix(in srgb, var(--muted) 75%, var(--border));stroke-width:3px;vector-effect:non-scaling-stroke}.subset-sum-to-partition-visualization-module__SkWexW__fulcrum{fill:color-mix(in srgb, var(--primary) 30%, var(--card));stroke:var(--primary);stroke-width:2px;vector-effect:non-scaling-stroke}.subset-sum-to-partition-visualization-module__SkWexW__pan{fill:var(--card);stroke:color-mix(in srgb, var(--success) 45%, var(--border));stroke-width:2.5px;vector-effect:non-scaling-stroke}.subset-sum-to-partition-visualization-module__SkWexW__panTitle{fill:var(--muted);font-size:14px;font-weight:850}.subset-sum-to-partition-visualization-module__SkWexW__panSum{fill:color-mix(in srgb, var(--success) 80%, var(--foreground));font-size:15px;font-weight:900}.subset-sum-to-partition-visualization-module__SkWexW__clashTitle{fill:var(--foreground);font-size:15px;font-weight:850}.subset-sum-to-partition-visualization-module__SkWexW__clashAllowed{fill:color-mix(in srgb, var(--primary) 18%, var(--card));stroke:var(--primary);stroke-width:2px;vector-effect:non-scaling-stroke}.subset-sum-to-partition-visualization-module__SkWexW__clashExcess{fill:color-mix(in srgb, var(--warning) 42%, var(--card));stroke:color-mix(in srgb, var(--warning) 80%, var(--foreground));stroke-width:2px;vector-effect:non-scaling-stroke}.subset-sum-to-partition-visualization-module__SkWexW__clashLimit{stroke:var(--foreground);stroke-width:2.5px;stroke-dasharray:6 5;vector-effect:non-scaling-stroke}.subset-sum-to-partition-visualization-module__SkWexW__clashLimitLabel{fill:var(--muted);font-size:13px;font-weight:850}.subset-sum-to-partition-visualization-module__SkWexW__clashSumLabel{fill:color-mix(in srgb, var(--warning) 82%, var(--foreground));font-size:15px;font-weight:900}.subset-sum-to-partition-visualization-module__SkWexW__swatch{border:2px solid var(--border);border-radius:.25rem;width:.85rem;height:.85rem;display:inline-block}.subset-sum-to-partition-visualization-module__SkWexW__swatchOriginal{border-color:var(--primary);background:color-mix(in srgb, var(--primary) 22%, var(--card))}.subset-sum-to-partition-visualization-module__SkWexW__swatchMarker{border-color:color-mix(in srgb, var(--warning) 78%, var(--foreground));background:color-mix(in srgb, var(--warning) 26%, var(--card))}.subset-sum-to-partition-visualization-module__SkWexW__swatchWitness{border-style:dashed;border-color:var(--success);background:color-mix(in srgb, var(--success) 26%, var(--card))}.subset-sum-to-partition-visualization-module__SkWexW__swatchExcess{border-color:color-mix(in srgb, var(--warning) 80%, var(--foreground));background:color-mix(in srgb, var(--warning) 42%, var(--card))}.subset-sum-to-partition-visualization-module__SkWexW__guards{grid-template-columns:repeat(3,minmax(0,1fr));gap:.55rem;display:grid}.subset-sum-to-partition-visualization-module__SkWexW__guardCard{border:1px solid var(--border);border-inline-start:3px solid var(--warning);background:var(--card);unicode-bidi:plaintext;border-radius:.65rem;padding:.55rem .65rem}.subset-sum-to-partition-visualization-module__SkWexW__guardCard strong{color:var(--primary-strong);margin-block-end:.28rem;font-size:.8rem;font-weight:900;display:block}.subset-sum-to-partition-visualization-module__SkWexW__guardCard span{color:var(--muted);font-size:.76rem;font-weight:650;line-height:1.45;display:block}.subset-sum-to-partition-visualization-module__SkWexW__invariant{border:1px solid color-mix(in srgb, var(--success) 45%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card));color:var(--foreground);text-align:center;unicode-bidi:plaintext;border-radius:.75rem;padding:.7rem .85rem;font-size:.86rem;font-weight:800}@media (max-width:620px){.subset-sum-to-partition-visualization-module__SkWexW__guards{grid-template-columns:1fr}}
.time-hierarchy-visualization-module__PtrBMa__stage{gap:.9rem;min-width:0;display:grid}.time-hierarchy-visualization-module__PtrBMa__localizedText{unicode-bidi:plaintext}.time-hierarchy-visualization-module__PtrBMa__notation{direction:ltr;unicode-bidi:isolate}.time-hierarchy-visualization-module__PtrBMa__bounds{border:1px solid var(--border);background:var(--card);unicode-bidi:plaintext;border-radius:.75rem;flex-wrap:wrap;justify-content:center;align-items:center;gap:.45rem 1.1rem;padding:.6rem .8rem;display:flex}.time-hierarchy-visualization-module__PtrBMa__bounds span{color:var(--muted);align-items:center;gap:.4rem;font-size:.78rem;font-weight:700;display:inline-flex}.time-hierarchy-visualization-module__PtrBMa__bounds strong{color:var(--foreground);font-family:Cambria Math,Times New Roman,serif;font-size:.95rem;font-weight:850}.time-hierarchy-visualization-module__PtrBMa__padding{border-inline-start:3px solid var(--primary);background:var(--accent);unicode-bidi:plaintext;border-radius:.6rem;padding:.55rem .7rem}.time-hierarchy-visualization-module__PtrBMa__padding strong{color:var(--primary-strong);margin-block-end:.25rem;font-size:.8rem;display:block}.time-hierarchy-visualization-module__PtrBMa__padding p{color:var(--muted);margin:0;font-size:.76rem;font-weight:650}.time-hierarchy-visualization-module__PtrBMa__paddingList{flex-wrap:wrap;gap:.35rem .5rem;margin-block-start:.4rem;display:flex;overflow-x:auto}.time-hierarchy-visualization-module__PtrBMa__paddingChip{border:1px solid color-mix(in srgb, var(--primary) 40%, var(--border));background:var(--card);color:var(--foreground);border-radius:999px;padding:.18rem .5rem;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.72rem;font-weight:800}.time-hierarchy-visualization-module__PtrBMa__rule{border:1px solid color-mix(in srgb, var(--primary) 45%, var(--border));background:var(--accent);color:var(--primary-strong);unicode-bidi:plaintext;border-radius:.65rem;flex-wrap:wrap;justify-content:center;align-items:center;gap:.4rem .6rem;padding:.55rem .75rem;font-size:.8rem;font-weight:750;display:flex}.time-hierarchy-visualization-module__PtrBMa__rule code{font-family:Cambria Math,Times New Roman,serif;font-size:.92rem;font-weight:850}.time-hierarchy-visualization-module__PtrBMa__viewport{border:1px solid var(--border);background:color-mix(in srgb, var(--card) 88%, var(--accent));border-radius:.85rem}.time-hierarchy-visualization-module__PtrBMa__headerCell,.time-hierarchy-visualization-module__PtrBMa__clockCell,.time-hierarchy-visualization-module__PtrBMa__rowLabelCell,.time-hierarchy-visualization-module__PtrBMa__cornerCell{fill:var(--accent);stroke:var(--border);stroke-width:1px;vector-effect:non-scaling-stroke}.time-hierarchy-visualization-module__PtrBMa__clockCell{fill:color-mix(in srgb, var(--warning) 12%, var(--card));stroke:color-mix(in srgb, var(--warning) 50%, var(--border))}.time-hierarchy-visualization-module__PtrBMa__cornerCell{fill:var(--card)}.time-hierarchy-visualization-module__PtrBMa__headerText,.time-hierarchy-visualization-module__PtrBMa__rowLabelText{fill:var(--primary-strong);font-family:Cambria Math,Times New Roman,serif;font-size:16px;font-weight:850}.time-hierarchy-visualization-module__PtrBMa__headerSub{fill:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:11px;font-weight:700}.time-hierarchy-visualization-module__PtrBMa__cornerText{fill:var(--muted);font-size:11px;font-weight:750}.time-hierarchy-visualization-module__PtrBMa__clockText{fill:color-mix(in srgb, var(--warning) 78%, var(--foreground));font-family:Cambria Math,Times New Roman,serif;font-size:13px;font-weight:850}.time-hierarchy-visualization-module__PtrBMa__clockSub{fill:var(--muted);font-size:11px;font-weight:700}.time-hierarchy-visualization-module__PtrBMa__gutterLabel{fill:var(--muted);font-size:11px;font-weight:800}.time-hierarchy-visualization-module__PtrBMa__cell{fill:color-mix(in srgb, var(--background) 74%, var(--card));stroke:var(--border);stroke-width:1px;vector-effect:non-scaling-stroke}.time-hierarchy-visualization-module__PtrBMa__cellAccept{fill:color-mix(in srgb, var(--success) 14%, var(--card));stroke:color-mix(in srgb, var(--success) 55%, var(--border))}.time-hierarchy-visualization-module__PtrBMa__cellReject{fill:color-mix(in srgb, var(--muted) 10%, var(--card));stroke:color-mix(in srgb, var(--muted) 45%, var(--border))}.time-hierarchy-visualization-module__PtrBMa__cellTimeout{fill:color-mix(in srgb, var(--warning) 16%, var(--card));stroke:color-mix(in srgb, var(--warning) 60%, var(--border))}.time-hierarchy-visualization-module__PtrBMa__cellGlyph{font-family:Cambria Math,Times New Roman,serif;font-size:17px;font-weight:900}.time-hierarchy-visualization-module__PtrBMa__glyphAccept{fill:color-mix(in srgb, var(--success) 80%, var(--foreground))}.time-hierarchy-visualization-module__PtrBMa__glyphReject{fill:var(--foreground)}.time-hierarchy-visualization-module__PtrBMa__glyphTimeout{fill:color-mix(in srgb, var(--warning) 80%, var(--foreground))}.time-hierarchy-visualization-module__PtrBMa__glyphUnknown{fill:var(--muted)}.time-hierarchy-visualization-module__PtrBMa__cellCaption{fill:var(--muted);font-size:11px;font-weight:750}.time-hierarchy-visualization-module__PtrBMa__diagonalOutline{fill:none;stroke:var(--primary);stroke-width:3px;vector-effect:non-scaling-stroke}.time-hierarchy-visualization-module__PtrBMa__diagonalPath{fill:none;stroke:var(--primary);stroke-dasharray:7 6;stroke-width:2.5px;vector-effect:non-scaling-stroke}.time-hierarchy-visualization-module__PtrBMa__flipRail{fill:none;stroke:color-mix(in srgb, var(--primary) 70%, var(--border));stroke-dasharray:5 4;stroke-width:2.5px;vector-effect:non-scaling-stroke}.time-hierarchy-visualization-module__PtrBMa__flipArrow{fill:color-mix(in srgb, var(--primary) 70%, var(--border))}.time-hierarchy-visualization-module__PtrBMa__diagonalCellLabel{fill:var(--primary-strong);font-size:11px;font-weight:850}.time-hierarchy-visualization-module__PtrBMa__dRowCell{fill:color-mix(in srgb, var(--primary) 13%, var(--card));stroke:var(--primary);stroke-width:2px;vector-effect:non-scaling-stroke}.time-hierarchy-visualization-module__PtrBMa__dRowLabelCell{fill:var(--primary);stroke:var(--primary);stroke-width:1px;vector-effect:non-scaling-stroke}.time-hierarchy-visualization-module__PtrBMa__dRowLabelText{fill:var(--background);font-family:Cambria Math,Times New Roman,serif;font-size:16px;font-weight:900}.time-hierarchy-visualization-module__PtrBMa__flipMark{fill:var(--primary-strong);font-family:Cambria Math,Times New Roman,serif;font-size:12px;font-weight:850}.time-hierarchy-visualization-module__PtrBMa__disagreeBadge{fill:color-mix(in srgb, var(--warning) 18%, var(--card));stroke:color-mix(in srgb, var(--warning) 65%, var(--border));stroke-width:1.5px;vector-effect:non-scaling-stroke}.time-hierarchy-visualization-module__PtrBMa__disagreeText{fill:color-mix(in srgb, var(--warning) 82%, var(--foreground));font-family:Cambria Math,Times New Roman,serif;font-size:12px;font-weight:850}.time-hierarchy-visualization-module__PtrBMa__swatch{border:2px solid var(--border);background:var(--card);width:1.05rem;height:1.05rem;color:var(--foreground);border-radius:.28rem;place-items:center;font-size:.66rem;font-style:normal;font-weight:900;display:inline-grid}.time-hierarchy-visualization-module__PtrBMa__swatchAccept{border-color:color-mix(in srgb, var(--success) 60%, var(--border));background:color-mix(in srgb, var(--success) 16%, var(--card));color:color-mix(in srgb, var(--success) 82%, var(--foreground))}.time-hierarchy-visualization-module__PtrBMa__swatchReject{border-color:color-mix(in srgb, var(--muted) 50%, var(--border))}.time-hierarchy-visualization-module__PtrBMa__swatchTimeout{border-color:color-mix(in srgb, var(--warning) 62%, var(--border));background:color-mix(in srgb, var(--warning) 18%, var(--card));color:color-mix(in srgb, var(--warning) 82%, var(--foreground))}.time-hierarchy-visualization-module__PtrBMa__swatchDiagonal{border-color:var(--primary);background:var(--card);border-width:3px}.time-hierarchy-visualization-module__PtrBMa__swatchFlip{border-color:var(--primary);background:color-mix(in srgb, var(--primary) 16%, var(--card));color:var(--primary-strong)}.time-hierarchy-visualization-module__PtrBMa__swatchDisagree{border-color:color-mix(in srgb, var(--warning) 62%, var(--border));background:var(--card);color:color-mix(in srgb, var(--warning) 82%, var(--foreground))}.time-hierarchy-visualization-module__PtrBMa__cards{grid-template-columns:repeat(3,minmax(0,1fr));gap:.6rem;display:grid}.time-hierarchy-visualization-module__PtrBMa__card{border:1px solid var(--border);background:var(--card);unicode-bidi:plaintext;border-radius:.7rem;padding:.6rem .7rem}.time-hierarchy-visualization-module__PtrBMa__card strong{color:var(--foreground);margin-block-end:.3rem;font-size:.78rem;display:block}.time-hierarchy-visualization-module__PtrBMa__card code{color:var(--primary-strong);overflow-wrap:anywhere;margin-block-end:.28rem;font-family:Cambria Math,Times New Roman,serif;font-size:.85rem;font-weight:850;display:block}.time-hierarchy-visualization-module__PtrBMa__card p{color:var(--muted);margin:0;font-size:.74rem;font-weight:650}.time-hierarchy-visualization-module__PtrBMa__cardResult{border-color:color-mix(in srgb, var(--success) 48%, var(--border));background:color-mix(in srgb, var(--success) 8%, var(--card))}.time-hierarchy-visualization-module__PtrBMa__clash{border:1px solid color-mix(in srgb, var(--warning) 55%, var(--border));background:color-mix(in srgb, var(--warning) 9%, var(--card));unicode-bidi:plaintext;border-radius:.75rem;gap:.5rem;padding:.65rem .8rem;display:grid}.time-hierarchy-visualization-module__PtrBMa__clash strong{color:var(--foreground);font-size:.8rem}.time-hierarchy-visualization-module__PtrBMa__clash p{color:var(--muted);margin:0;font-size:.75rem;font-weight:650}.time-hierarchy-visualization-module__PtrBMa__clashRow{flex-wrap:wrap;align-items:center;gap:.45rem .7rem;display:flex}.time-hierarchy-visualization-module__PtrBMa__clashRow code{border:1px solid var(--border);background:var(--card);color:var(--foreground);border-radius:.45rem;padding:.22rem .5rem;font-family:Cambria Math,Times New Roman,serif;font-size:.86rem;font-weight:850}.time-hierarchy-visualization-module__PtrBMa__clashRow em{color:var(--muted);font-size:.76rem;font-style:normal;font-weight:750}.time-hierarchy-visualization-module__PtrBMa__clashRow span{color:color-mix(in srgb, var(--warning) 82%, var(--foreground));font-family:Cambria Math,Times New Roman,serif;font-size:1rem;font-weight:900}.time-hierarchy-visualization-module__PtrBMa__caveats{grid-template-columns:repeat(2,minmax(0,1fr));gap:.6rem;display:grid}.time-hierarchy-visualization-module__PtrBMa__caveat{border-inline-start:3px solid var(--warning);background:color-mix(in srgb, var(--warning) 7%, var(--card));unicode-bidi:plaintext;border-radius:.55rem;padding:.55rem .7rem}.time-hierarchy-visualization-module__PtrBMa__caveat strong{color:var(--foreground);margin-block-end:.22rem;font-size:.77rem;display:block}.time-hierarchy-visualization-module__PtrBMa__caveat p{color:var(--muted);margin:0;font-size:.74rem;font-weight:650}.time-hierarchy-visualization-module__PtrBMa__invariant{border:1px solid color-mix(in srgb, var(--success) 48%, var(--border));background:color-mix(in srgb, var(--success) 9%, var(--card));color:var(--foreground);text-align:center;unicode-bidi:plaintext;border-radius:.75rem;flex-wrap:wrap;justify-content:center;align-items:center;gap:.35rem .55rem;padding:.7rem .85rem;font-size:.82rem;font-weight:800;display:flex}.time-hierarchy-visualization-module__PtrBMa__invariantMain{font-family:Cambria Math,Times New Roman,serif;font-size:1.05rem;font-weight:900}@media (max-width:720px){.time-hierarchy-visualization-module__PtrBMa__cards,.time-hierarchy-visualization-module__PtrBMa__caveats{grid-template-columns:1fr}}