-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathlive.html
More file actions
89 lines (82 loc) · 10.5 KB
/
Copy pathlive.html
File metadata and controls
89 lines (82 loc) · 10.5 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
<!doctype html><html><head><meta charset="utf-8">
<meta http-equiv="refresh" content="30">
<title>ScienceBro LIVE</title><style>
body{background:#0b0714;color:#e8e6f0;font-family:Segoe UI,Arial;
margin:0;padding:24px;max-width:980px;margin:auto}
h1{color:#3fe7f5;font-size:24px;margin-bottom:2px}
h2{color:#9ff5ff;font-size:17px;margin:26px 0 8px}
.t{color:#8f8ba0;font-size:12px;font-weight:normal}
.card{background:#140d24;border:1px solid #241a38;border-radius:12px;
padding:14px 16px;margin:10px 0}
.cardh{font-size:16px;color:#e8e6f0;margin-bottom:8px}
.bar{position:relative;background:#241a38;border-radius:8px;height:22px;
overflow:hidden}
.fill{height:100%;border-radius:8px;transition:width 1s}
.pct{position:absolute;right:10px;top:2px;font-size:13px;color:#fff;
text-shadow:0 0 4px #000}
.chips{margin-top:8px}
.chip{display:inline-block;font-size:12px;border-radius:14px;
padding:2px 10px;margin:2px 4px 2px 0;border:1px solid #241a38}
.chip.on{color:#3fe7f5;border-color:#0aa3c2}
.chip.run{color:#f9f871;border-color:#f9f871}
.chip.off{color:#6a6580}
ul{list-style:none;padding-left:6px}
li{font-size:13px;margin:4px 0} li.on{color:#3fe7f5} li.off{color:#8f8ba0}
table{border-collapse:collapse;width:100%}
td{border-bottom:1px solid #241a38;padding:4px 8px;font-size:12px}
.mono{font-family:Consolas,monospace;color:#c9c5da;font-size:11px}
.quest{background:#140d24;border:1px solid #3fe7f5;border-radius:14px;
padding:18px 12px}
.qrow{display:flex;align-items:flex-start;justify-content:center}
.qcell{text-align:center;width:96px}
.qnode{width:64px;height:64px;border-radius:50%;margin:0 auto;
display:flex;align-items:center;justify-content:center;padding:4px}
.qin{width:52px;height:52px;border-radius:50%;background:#0b0714;
display:flex;align-items:center;justify-content:center;font-size:24px}
.qnode.done{box-shadow:0 0 12px #3fe7f5}
.qnode.active{box-shadow:0 0 18px #f9f871;animation:pulse 1.2s infinite}
.qnode.locked{opacity:.45;filter:grayscale(.6)}
.qlink{flex:1;height:5px;background:#241a38;border-radius:3px;margin-top:30px;
min-width:14px;max-width:56px}
.qlink.done{background:linear-gradient(90deg,#0aa3c2,#3fe7f5);
box-shadow:0 0 8px #0aa3c2}
.qname{font-size:11px;color:#9ff5ff;margin-top:6px;line-height:1.2}
.qpct{font-size:13px;color:#f9f871;margin-top:2px}
.qdays{font-size:10px;color:#8f8ba0}
@keyframes pulse{0%,100%{opacity:1}50%{opacity:.5}}
.big .bar{height:30px} .big .pct{top:5px;font-size:15px}
</style></head><body>
<h1>🔴 ScienceBro — живой статус</h1>
<div class='t'>Обновлено 23:58:05 07.09.2026 · страница сама обновляется каждые 30 с ·
все цифры считаются из реальных файлов результатов, не руками</div>
<div class='card' style='border-color:#f9f871'>
<div style='font-size:15px'>🛠 Машина считает: <b>дно ножа 6</b> (задача 1 из 8, старт 18:57:52). проверяем самое глубокое дно: раскладываем формулу на множители и доказываем, что каждый положителен.</div>
<div class='t' style='margin-top:4px'>Дальше в очереди: дно ножа 7, полоса ножа 6. Проценты двигаются, когда машина
дорешивает кусок и записывает файл-доказательство — обычно раз в 30-60 минут.
Если долго тихо — значит идёт длинный кусок, это нормально.</div></div>
<div class='quest'><div class='qrow'><div class='qcell'><div class='qnode done' style='background:conic-gradient(#3fe7f5 360deg,#241a38 360deg)'><div class='qin'>🔪</div></div><div class='qname'>Нож 2</div><div class='qpct'>✔</div></div><div class='qlink done'></div><div class='qcell'><div class='qnode done' style='background:conic-gradient(#3fe7f5 360deg,#241a38 360deg)'><div class='qin'>🔪</div></div><div class='qname'>Нож 3</div><div class='qpct'>✔</div></div><div class='qlink done'></div><div class='qcell'><div class='qnode done' style='background:conic-gradient(#3fe7f5 360deg,#241a38 360deg)'><div class='qin'>🔪</div></div><div class='qname'>Нож 4</div><div class='qpct'>✔</div></div><div class='qlink done'></div><div class='qcell'><div class='qnode done' style='background:conic-gradient(#3fe7f5 360deg,#241a38 360deg)'><div class='qin'>🔪</div></div><div class='qname'>Нож 5</div><div class='qpct'>✔</div></div><div class='qlink done'></div><div class='qcell'><div class='qnode done' style='background:conic-gradient(#3fe7f5 360deg,#241a38 360deg)'><div class='qin'>🔪</div></div><div class='qname'>Нож 6</div><div class='qpct'>✔</div></div><div class='qlink done'></div><div class='qcell'><div class='qnode done' style='background:conic-gradient(#3fe7f5 360deg,#241a38 360deg)'><div class='qin'>🔪</div></div><div class='qname'>Нож 7</div><div class='qpct'>✔</div></div><div class='qlink done'></div><div class='qcell'><div class='qnode active' style='background:conic-gradient(#3fe7f5 241deg,#241a38 241deg)'><div class='qin'>🗿</div></div><div class='qname'>ЗАМКОВЫЙ КАМЕНЬ</div><div class='qpct'>67%<br><span class='qdays'>2-7 дн</span></div></div><div class='qlink'></div><div class='qcell'><div class='qnode locked' style='background:conic-gradient(#3fe7f5 0deg,#241a38 0deg)'><div class='qin'>🏁</div></div><div class='qname'>ФЛАГМАН</div><div class='qpct'>🔒<br><span class='qdays'>2-3 дн</span></div></div></div><div class='t' style='margin-top:10px;text-align:center'>⏱ теорема: осталось одно неравенство в узкой зоне; оценка честная — недели, не часы · замер 09:55 17.08 · ✔ = уровень пройден, пульс = играем сейчас, 🔒 = откроется дальше</div></div>
<h2>ГЛАВНАЯ ТЕОРЕМА <span class='t'>— «ни один нож не режет ниже берега,
все ножи сразу». Прогресс = 60% ступени (ножи) + 40% замковый камень</span></h2>
<div class='big'><div class='bar'><div class='fill' style='width:87%;background:linear-gradient(90deg,#7a3fd0,#3fe7f5)'></div><span class='pct'>87%</span></div></div>
<h2>Ступени — теоремы по ножам <span class='t'>(ножи 2 и 3 доказаны и
опубликованы ранее)</span></h2>
<div class='card'><div class='cardh'>Нож 4
<span class='t'>— теорема «окна ножа 4 не режут ниже берега»</span></div>
<div class='bar'><div class='fill' style='width:100%;background:linear-gradient(90deg,#ff2a6d,#3fe7f5)'></div><span class='pct'>100%</span></div><div class='chips'><span class='chip on'>✔ мелководье</span><span class='chip on'>✔ хвосты+глубина</span><span class='chip on'>✔ полоса у диагонали</span><span class='chip on'>✔ далёкое дно</span></div></div><div class='card'><div class='cardh'>Нож 5
<span class='t'>— теорема «окна ножа 5 не режут ниже берега»</span></div>
<div class='bar'><div class='fill' style='width:100%;background:linear-gradient(90deg,#ff2a6d,#3fe7f5)'></div><span class='pct'>100%</span></div><div class='chips'><span class='chip on'>✔ мелководье</span><span class='chip on'>✔ хвосты+глубина</span><span class='chip on'>✔ полоса у диагонали</span><span class='chip on'>✔ далёкое дно</span></div></div><div class='card'><div class='cardh'>Нож 6
<span class='t'>— теорема «окна ножа 6 не режут ниже берега»</span></div>
<div class='bar'><div class='fill' style='width:100%;background:linear-gradient(90deg,#ff2a6d,#3fe7f5)'></div><span class='pct'>100%</span></div><div class='chips'><span class='chip on'>✔ мелководье</span><span class='chip on'>✔ хвосты+глубина</span><span class='chip on'>✔ полоса у диагонали</span><span class='chip on'>✔ далёкое дно</span></div></div><div class='card'><div class='cardh'>Нож 7
<span class='t'>— теорема «окна ножа 7 не режут ниже берега»</span></div>
<div class='bar'><div class='fill' style='width:100%;background:linear-gradient(90deg,#ff2a6d,#3fe7f5)'></div><span class='pct'>100%</span></div><div class='chips'><span class='chip on'>✔ мелководье</span><span class='chip on'>✔ хвосты+глубина</span><span class='chip on'>✔ полоса у диагонали</span><span class='chip on'>✔ далёкое дно</span></div></div>
<h2>Замковый камень <span class='t'>— один аргумент для ВСЕХ ножей до
бесконечности (творческая часть)</span></h2>
<div class='card'><div class='bar'><div class='fill' style='width:67%;background:linear-gradient(90deg,#ff2a6d,#f9f871)'></div><span class='pct'>67%</span></div><ul><li class='on'>✔ охота на контрпримеры (109 980 проверок, 0 нарушений)</li><li class='on'>✔ замер отношения уровней (972 проверки, всё > 0)</li><li class='on'>✔ ядро с константой 0.29 (арка не касается пола)</li><li class='on'>✔ две простые леммы проверены и отброшены (биномиальный след)</li><li class='off'>· X-лемма в поясе (сертификат)</li><li class='off'>· аргумент вне пояса + сборка</li></ul></div>
<h2>Независимый судья Z3 <span class='t'>— чужой движок перепроверяет наши
ячейки</span></h2>
<div class='card'><div class='bar'><div class='fill' style='width:99%;background:linear-gradient(90deg,#0aa3c2,#3fe7f5)'></div><span class='pct'>99%</span></div>
<div class='t' style='margin-top:6px'>1666 из 1677 ячеек подтверждены чужим движком, тревог: 0</div></div>
<h2>Пульс машины <span class='t'>(🟢 живой лог · 🟡 долгий счёт · ⚪ молчит
или закончил)</span></h2>
<table><tr><td>⚪ tail_rerun_j6</td><td class='mono'>deep-fixed m<41: OK (212s)</td><td class='t'>32531 мин</td></tr><tr><td>⚪ z3_retry_j4</td><td class='mono'>RETRY: 24/35 confirmed, 0 alarms, 11 still unknown</td><td class='t'>32098 мин</td></tr><tr><td>⚪ keystone_hunt</td><td class='mono'>NO VIOLATIONS in 109980 checks</td><td class='t'>32475 мин</td></tr></table>
</body></html>