YMRohit commited on
Commit
30290ed
·
verified ·
1 Parent(s): a8eb0ba

Update logbook: Repro - Optimal Unconstrained Self-Distillation in Ridge Regression

Browse files
README.md CHANGED
@@ -1,10 +1,18 @@
1
  ---
2
- title: Icml2026 22249 Self Distillation Logbook
3
- emoji: 🏢
4
- colorFrom: blue
5
- colorTo: purple
6
  sdk: static
7
  pinned: false
 
 
 
 
 
 
8
  ---
9
 
10
- Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
 
 
 
1
  ---
2
+ title: "Repro - Optimal Unconstrained Self-Distillation in Ridge Regression"
3
+ emoji: 🔬
4
+ colorFrom: yellow
5
+ colorTo: red
6
  sdk: static
7
  pinned: false
8
+ tags:
9
+ - trackio
10
+ - trackio-logbook
11
+ - open-experiment
12
+ - icml2026-repro
13
+ - paper-MdHcU4C4Rm
14
  ---
15
 
16
+ # Repro - Optimal Unconstrained Self-Distillation in Ridge Regression
17
+
18
+ An open experiment logbook, published with [Trackio](https://github.com/gradio-app/trackio).
bucket-icon.svg ADDED
index.html CHANGED
@@ -1,19 +1,54 @@
1
  <!doctype html>
2
- <html>
3
- <head>
4
- <meta charset="utf-8" />
5
- <meta name="viewport" content="width=device-width" />
6
- <title>My static Space</title>
7
- <link rel="stylesheet" href="style.css" />
8
- </head>
9
- <body>
10
- <div class="card">
11
- <h1>Welcome to your static Space!</h1>
12
- <p>You can modify this app directly by editing <i>index.html</i> in the Files and versions tab.</p>
13
- <p>
14
- Also don't forget to check the
15
- <a href="https://huggingface.co/docs/hub/spaces" target="_blank">Spaces documentation</a>.
16
- </p>
17
- </div>
18
- </body>
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
19
  </html>
 
1
  <!doctype html>
2
+ <html lang="en">
3
+ <head>
4
+ <meta charset="utf-8" />
5
+ <meta name="viewport" content="width=device-width, initial-scale=1" />
6
+ <title>Repro - Optimal Unconstrained Self-Distillation in Ridge Regression</title>
7
+ <link rel="stylesheet" href="./logbook.css" />
8
+ </head>
9
+ <body>
10
+ <div id="app">
11
+ <aside id="sidebar">
12
+ <div id="book-head">
13
+ <img id="book-wordmark" src="./trackio-wordmark-dark.png" alt="" />
14
+ <div id="book-title" class="sr-only">Logbook</div>
15
+ </div>
16
+ <nav id="tree"></nav>
17
+ <div id="sidebar-foot" hidden>
18
+ <button id="connect-btn" type="button">
19
+ <span class="ico">ⓘ</span> Collaborate with your agent
20
+ </button>
21
+ </div>
22
+ </aside>
23
+ <main id="content">
24
+ <div id="page"></div>
25
+ </main>
26
+ </div>
27
+
28
+ <div id="modal" hidden>
29
+ <div class="modal-backdrop"></div>
30
+ <div class="modal-card" role="dialog" aria-modal="true">
31
+ <div class="modal-head">
32
+ <div class="modal-title">
33
+ <img class="modal-logo" src="./trackio-logo.png" alt="" />
34
+ Collaborate with your agent
35
+ </div>
36
+ <div class="modal-actions">
37
+ <button id="copy-agent" class="btn">Copy for agent</button>
38
+ <button id="modal-close" class="btn icon" aria-label="Close">×</button>
39
+ </div>
40
+ </div>
41
+ <div class="modal-body">
42
+ <p class="modal-intro">
43
+ Point your coding agent at this logbook. It reads a compact,
44
+ token-efficient version — and if you've given it write access to this
45
+ Space, it can add findings that sync back automatically.
46
+ </p>
47
+ <ol id="connect-steps"></ol>
48
+ </div>
49
+ </div>
50
+ </div>
51
+
52
+ <script src="./logbook.js"></script>
53
+ </body>
54
  </html>
logbook.css ADDED
@@ -0,0 +1,1602 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ :root {
2
+ --bg: #ffffff;
3
+ --paper: #fdfcf9;
4
+ --panel: #ffffff;
5
+ --ink: #1f2937;
6
+ --muted: #6b7280;
7
+ --line: #e5e7eb;
8
+ --accent: #f97316;
9
+ --accent-strong: #ea580c;
10
+ --accent-soft: #fff7ed;
11
+ --accent-line: rgba(249, 115, 22, 0.16);
12
+ --grid-line: rgba(31, 41, 55, 0.045);
13
+ --code-bg: #f3f4f6;
14
+ --radius: 12px;
15
+ --serif: ui-serif, "Iowan Old Style", "Palatino Linotype", Georgia, serif;
16
+ --sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial,
17
+ sans-serif;
18
+ --mono: "SFMono-Regular", "Cascadia Mono", "JetBrains Mono", Menlo, Consolas,
19
+ ui-monospace, monospace;
20
+ }
21
+
22
+ * {
23
+ box-sizing: border-box;
24
+ }
25
+
26
+ html,
27
+ body {
28
+ margin: 0;
29
+ padding: 0;
30
+ }
31
+
32
+ html {
33
+ scroll-behavior: smooth;
34
+ }
35
+
36
+ body {
37
+ background: var(--bg);
38
+ color: var(--ink);
39
+ font-family: var(--sans);
40
+ font-size: 13px;
41
+ line-height: 1.65;
42
+ -webkit-font-smoothing: antialiased;
43
+ }
44
+
45
+ #app {
46
+ display: flex;
47
+ min-height: 100vh;
48
+ }
49
+
50
+ /* ---- sidebar (composition-book cover) ---- */
51
+ #sidebar {
52
+ width: 280px;
53
+ flex: 0 0 280px;
54
+ background: #17181c;
55
+ color: #e7e7ea;
56
+ position: sticky;
57
+ top: 0;
58
+ height: 100vh;
59
+ overflow-y: auto;
60
+ padding: 22px 16px;
61
+ display: flex;
62
+ flex-direction: column;
63
+ }
64
+
65
+ #book-head {
66
+ display: flex;
67
+ align-items: center;
68
+ gap: 10px;
69
+ padding: 8px;
70
+ margin-bottom: 12px;
71
+ border-radius: 10px;
72
+ cursor: pointer;
73
+ transition: background 0.12s;
74
+ }
75
+ #book-head:hover {
76
+ background: rgba(255, 255, 255, 0.05);
77
+ }
78
+ #book-wordmark {
79
+ width: 154px;
80
+ height: auto;
81
+ object-fit: contain;
82
+ }
83
+ .sr-only {
84
+ position: absolute;
85
+ width: 1px;
86
+ height: 1px;
87
+ padding: 0;
88
+ margin: -1px;
89
+ overflow: hidden;
90
+ clip: rect(0, 0, 0, 0);
91
+ white-space: nowrap;
92
+ border: 0;
93
+ }
94
+
95
+ #tree {
96
+ flex: 1;
97
+ padding-top: 8px;
98
+ }
99
+
100
+ #tree a {
101
+ display: block;
102
+ padding: 6px 10px;
103
+ border-radius: 8px;
104
+ color: #c3c4cb;
105
+ text-decoration: none;
106
+ font-size: 14px;
107
+ transition: background 0.12s, color 0.12s;
108
+ }
109
+
110
+ #tree a:hover {
111
+ background: rgba(255, 255, 255, 0.06);
112
+ color: #ffffff;
113
+ }
114
+
115
+ #tree a.active {
116
+ background: rgba(249, 115, 22, 0.16);
117
+ color: #fdba74;
118
+ font-weight: 600;
119
+ }
120
+
121
+ #tree a .tree-mark {
122
+ color: #6b6d76;
123
+ }
124
+
125
+ #tree a:hover .tree-mark,
126
+ #tree a.active .tree-mark {
127
+ color: inherit;
128
+ opacity: 0.6;
129
+ }
130
+
131
+ #tree .depth-1 {
132
+ padding-left: 22px;
133
+ }
134
+ #tree .depth-2 {
135
+ padding-left: 34px;
136
+ }
137
+ #tree .depth-3 {
138
+ padding-left: 46px;
139
+ }
140
+
141
+
142
+ /* ---- content ---- */
143
+ #content {
144
+ flex: 1;
145
+ min-width: 0;
146
+ padding: 48px 40px 120px;
147
+ background-color: var(--paper);
148
+ background-image:
149
+ linear-gradient(var(--grid-line) 1px, transparent 1px),
150
+ linear-gradient(90deg, var(--grid-line) 1px, transparent 1px);
151
+ background-size: 26px 26px;
152
+ background-position: center top;
153
+ }
154
+
155
+ #page {
156
+ width: 100%;
157
+ min-width: 0;
158
+ max-width: 1052px;
159
+ margin: 0 auto;
160
+ }
161
+
162
+ .page-section {
163
+ scroll-margin-top: 40px;
164
+ padding: 0 0 35px;
165
+ margin: 0 0 32px;
166
+ }
167
+
168
+ .page-section:last-child {
169
+ margin-bottom: 0;
170
+ }
171
+
172
+ .page-layout {
173
+ display: grid;
174
+ grid-template-columns: minmax(0, 760px) 248px;
175
+ gap: 44px;
176
+ align-items: start;
177
+ }
178
+
179
+ .page-body {
180
+ min-width: 0;
181
+ }
182
+
183
+ .resource-anchor {
184
+ display: block;
185
+ height: 0;
186
+ overflow: hidden;
187
+ }
188
+
189
+ /* ---- pinned notes ---- */
190
+ .pinned-notes {
191
+ margin: 30px 0 0;
192
+ }
193
+ .pinned-notes-list .cell {
194
+ margin: 0;
195
+ border-color: rgba(249, 115, 22, 0.55);
196
+ }
197
+ .pinned-notes-list .cell + .cell {
198
+ margin-top: 12px;
199
+ }
200
+ .cell.pinned-source {
201
+ border-color: rgba(249, 115, 22, 0.55);
202
+ }
203
+ .book-intro.has-pinned-notes {
204
+ border-bottom: none;
205
+ padding-bottom: 22px;
206
+ margin-bottom: 30px;
207
+ }
208
+ .book-intro.book-intro-tight {
209
+ border-bottom: none;
210
+ padding-bottom: 4px;
211
+ margin-bottom: 20px;
212
+ }
213
+
214
+ #page h1 {
215
+ font-family: var(--serif);
216
+ font-size: 34px;
217
+ line-height: 1.15;
218
+ letter-spacing: -0.02em;
219
+ margin: 0 0 8px;
220
+ overflow-wrap: anywhere;
221
+ }
222
+
223
+ #page .page-section:not(.book-intro) h1 {
224
+ font-size: 26px;
225
+ }
226
+
227
+ #page h2 {
228
+ font-family: var(--serif);
229
+ font-size: 24px;
230
+ margin: 36px 0 10px;
231
+ }
232
+
233
+ #page h3 {
234
+ font-size: 17px;
235
+ font-weight: 700;
236
+ margin: 26px 0 2px;
237
+ letter-spacing: -0.01em;
238
+ }
239
+
240
+ #page h3::before {
241
+ content: "";
242
+ display: inline-block;
243
+ width: 7px;
244
+ height: 7px;
245
+ border-radius: 2px;
246
+ background: var(--accent);
247
+ margin-right: 10px;
248
+ vertical-align: middle;
249
+ transform: translateY(-1px);
250
+ }
251
+
252
+ #page p {
253
+ margin: 10px 0;
254
+ }
255
+
256
+ #page blockquote {
257
+ margin: 14px 0;
258
+ padding: 2px 16px;
259
+ border-left: 3px solid #fdba74;
260
+ color: var(--muted);
261
+ }
262
+
263
+ #page hr {
264
+ display: none;
265
+ }
266
+
267
+ #page code {
268
+ font-family: var(--mono);
269
+ font-size: 0.86em;
270
+ background: var(--code-bg);
271
+ padding: 2px 6px;
272
+ border-radius: 6px;
273
+ }
274
+
275
+ #page pre {
276
+ max-width: 100%;
277
+ background: var(--code-bg);
278
+ border: 1px solid var(--line);
279
+ border-radius: var(--radius);
280
+ padding: 14px 16px;
281
+ overflow-x: auto;
282
+ }
283
+ #page pre code {
284
+ background: none;
285
+ padding: 0;
286
+ font-size: 11.5px;
287
+ }
288
+
289
+ /* ---- code blocks + collapsible accordion ---- */
290
+ #page pre.hl {
291
+ background: #17181c;
292
+ border: none;
293
+ color: #e7e7ea;
294
+ font-size: 13px;
295
+ line-height: 1.58;
296
+ }
297
+ #page pre.hl code {
298
+ color: inherit;
299
+ font-family: var(--mono);
300
+ }
301
+ .code-accordion {
302
+ border: 1px solid rgba(249, 115, 22, 0.2);
303
+ border-radius: 8px;
304
+ overflow: hidden;
305
+ margin: 12px 0;
306
+ background: #17181c;
307
+ }
308
+ .code-accordion summary {
309
+ list-style: none;
310
+ cursor: pointer;
311
+ display: flex;
312
+ align-items: center;
313
+ gap: 9px;
314
+ padding: 9px 12px;
315
+ font-family: var(--mono);
316
+ font-size: 11.5px;
317
+ font-weight: 700;
318
+ color: #e7e7ea;
319
+ background: #1e2027;
320
+ user-select: none;
321
+ overflow-wrap: anywhere;
322
+ }
323
+ .code-accordion summary::-webkit-details-marker {
324
+ display: none;
325
+ }
326
+ .code-accordion summary::after {
327
+ content: "▸";
328
+ margin-left: auto;
329
+ color: var(--accent);
330
+ transition: transform 0.12s;
331
+ transform: rotate(180deg);
332
+ }
333
+ .code-accordion[open] summary::after {
334
+ transform: rotate(90deg);
335
+ }
336
+ .code-accordion .code-ico {
337
+ color: var(--accent);
338
+ font-weight: 700;
339
+ }
340
+ .code-accordion pre.hl {
341
+ margin: 0;
342
+ border-radius: 0;
343
+ border: none;
344
+ border-top: 1px solid rgba(249, 115, 22, 0.16);
345
+ }
346
+ .tok-comment {
347
+ color: #7a7d87;
348
+ font-style: italic;
349
+ }
350
+ .tok-string {
351
+ color: #a5d6a7;
352
+ }
353
+ .tok-keyword {
354
+ color: #fdba74;
355
+ }
356
+ .tok-number {
357
+ color: #7fd0e0;
358
+ }
359
+
360
+ #page a {
361
+ color: var(--accent);
362
+ }
363
+
364
+ #page ul {
365
+ padding-left: 20px;
366
+ }
367
+
368
+ .ts {
369
+ font-family: var(--mono);
370
+ font-size: 12px;
371
+ color: var(--muted);
372
+ background: none;
373
+ padding: 0;
374
+ }
375
+
376
+ /* ---- notebook-style cells ---- */
377
+ .cell {
378
+ max-width: 100%;
379
+ border: 1px solid var(--line);
380
+ border-radius: 10px;
381
+ background: rgba(255, 255, 255, 0.86);
382
+ margin: 18px 0;
383
+ overflow: hidden;
384
+ box-shadow: 0 2px 10px rgba(31, 41, 55, 0.035);
385
+ }
386
+ .cell-head {
387
+ display: flex;
388
+ justify-content: space-between;
389
+ gap: 16px;
390
+ align-items: center;
391
+ padding: 14px 18px;
392
+ background: rgba(255, 255, 255, 0.92);
393
+ border-bottom: 1px solid var(--line);
394
+ }
395
+ .cell-head.no-title {
396
+ justify-content: flex-end;
397
+ padding-top: 10px;
398
+ padding-bottom: 10px;
399
+ }
400
+ .cell-title {
401
+ flex: 1;
402
+ min-width: 0;
403
+ font-size: 13px;
404
+ font-weight: 650;
405
+ color: var(--ink);
406
+ line-height: 1.35;
407
+ overflow-wrap: anywhere;
408
+ }
409
+ .cell-meta {
410
+ flex: 0 0 auto;
411
+ display: flex;
412
+ align-items: center;
413
+ gap: 10px;
414
+ font-family: var(--sans);
415
+ font-size: 13px;
416
+ color: var(--muted);
417
+ }
418
+ .cell-open {
419
+ flex: 0 0 auto;
420
+ font-family: var(--mono);
421
+ font-size: 12px;
422
+ color: var(--accent);
423
+ text-decoration: none;
424
+ }
425
+ .cell-open:hover {
426
+ color: var(--accent-strong);
427
+ }
428
+ .cell-body {
429
+ min-width: 0;
430
+ padding: 14px 18px 18px;
431
+ }
432
+ .cell.dashboard .cell-body {
433
+ padding: 0;
434
+ }
435
+ #page .cell-body h1,
436
+ #page .cell-body h2 {
437
+ font-family: var(--sans);
438
+ font-size: 17px;
439
+ font-weight: 700;
440
+ letter-spacing: -0.01em;
441
+ line-height: 1.35;
442
+ margin: 22px 0 6px;
443
+ }
444
+ #page .cell-body > :first-child {
445
+ margin-top: 0;
446
+ }
447
+ #page .cell-body > :last-child {
448
+ margin-bottom: 0;
449
+ }
450
+ .cell.code .cell-head {
451
+ background: #fbfbfc;
452
+ }
453
+ .figure-fit {
454
+ position: relative;
455
+ overflow: hidden;
456
+ min-height: 160px;
457
+ border: 1px solid var(--line);
458
+ border-radius: 8px;
459
+ background: #fff;
460
+ }
461
+ .figure-fit[hidden] {
462
+ display: none;
463
+ }
464
+ .figure-fit:fullscreen,
465
+ .figure-fit:-webkit-full-screen {
466
+ width: 100%;
467
+ height: 100%;
468
+ border: none;
469
+ border-radius: 0;
470
+ }
471
+ .figure-frame {
472
+ display: block;
473
+ width: 100%;
474
+ min-height: 160px;
475
+ border: none;
476
+ background: #fff;
477
+ }
478
+ .figure-frame[hidden],
479
+ .figure-raw[hidden] {
480
+ display: none;
481
+ }
482
+ .fig-switch {
483
+ position: relative;
484
+ display: inline-flex;
485
+ flex: 0 0 auto;
486
+ border: 1px solid var(--line);
487
+ border-radius: 999px;
488
+ background: var(--code-bg);
489
+ padding: 2px;
490
+ }
491
+ .fig-switch button {
492
+ position: relative;
493
+ z-index: 1;
494
+ flex: 1;
495
+ min-width: 62px;
496
+ border: none;
497
+ background: none;
498
+ font-family: var(--sans);
499
+ font-size: 12px;
500
+ font-weight: 600;
501
+ color: var(--muted);
502
+ padding: 3px 12px;
503
+ border-radius: 999px;
504
+ cursor: pointer;
505
+ transition: color 0.15s;
506
+ }
507
+ .fig-switch button.active {
508
+ color: var(--accent-strong);
509
+ }
510
+ .fig-switch-thumb {
511
+ position: absolute;
512
+ top: 2px;
513
+ bottom: 2px;
514
+ left: 2px;
515
+ width: calc(50% - 2px);
516
+ border-radius: 999px;
517
+ background: var(--panel);
518
+ border: 1px solid rgba(249, 115, 22, 0.35);
519
+ box-shadow: 0 1px 4px rgba(31, 41, 55, 0.08);
520
+ transition: transform 0.18s ease;
521
+ }
522
+ .fig-switch.raw .fig-switch-thumb {
523
+ transform: translateX(100%);
524
+ }
525
+ #page .figure-raw pre {
526
+ margin: 0;
527
+ max-height: 420px;
528
+ overflow: auto;
529
+ font-family: var(--mono);
530
+ font-size: 13px;
531
+ line-height: 1.55;
532
+ background: var(--code-bg);
533
+ border: 1px solid var(--line);
534
+ border-radius: 8px;
535
+ padding: 12px 14px;
536
+ }
537
+ /* ---- figure fullscreen ---- */
538
+ .cell-fullscreen {
539
+ position: relative;
540
+ display: inline-flex;
541
+ flex: 0 0 auto;
542
+ }
543
+ .cell-fullscreen-btn {
544
+ display: inline-flex;
545
+ align-items: center;
546
+ justify-content: center;
547
+ width: 26px;
548
+ height: 26px;
549
+ padding: 0;
550
+ border: 1px solid var(--line);
551
+ border-radius: 999px;
552
+ background: var(--code-bg);
553
+ color: var(--muted);
554
+ cursor: pointer;
555
+ transition: color 0.15s, border-color 0.15s, background 0.15s;
556
+ }
557
+ .cell-fullscreen-btn:hover {
558
+ color: var(--accent-strong);
559
+ border-color: rgba(249, 115, 22, 0.35);
560
+ background: var(--accent-soft);
561
+ }
562
+ .cell-fullscreen-btn svg {
563
+ width: 14px;
564
+ height: 14px;
565
+ }
566
+ /* ---- copyable snippets ---- */
567
+ .snippet {
568
+ position: relative;
569
+ }
570
+ .copy-snippet {
571
+ position: absolute;
572
+ top: 7px;
573
+ right: 8px;
574
+ width: 24px;
575
+ height: 24px;
576
+ border: none;
577
+ border-radius: 6px;
578
+ background: rgba(255, 255, 255, 0.08);
579
+ color: #9a9da8;
580
+ font-size: 12px;
581
+ line-height: 1;
582
+ cursor: pointer;
583
+ opacity: 0;
584
+ transition: opacity 0.12s, color 0.12s, background 0.12s;
585
+ }
586
+ .snippet:hover .copy-snippet,
587
+ .jp-out:hover .copy-snippet,
588
+ .figure-raw:hover .copy-snippet,
589
+ .code-accordion summary:hover .copy-snippet {
590
+ opacity: 1;
591
+ }
592
+ .copy-snippet:hover {
593
+ color: #ffffff;
594
+ background: rgba(255, 255, 255, 0.16);
595
+ }
596
+ .copy-snippet.copied {
597
+ color: #52d08a;
598
+ opacity: 1;
599
+ }
600
+ .code-accordion .code-name {
601
+ user-select: text;
602
+ cursor: text;
603
+ }
604
+ .jp-out,
605
+ .figure-raw {
606
+ position: relative;
607
+ }
608
+ .jp-out .copy-snippet,
609
+ .figure-raw .copy-snippet {
610
+ background: var(--code-bg);
611
+ color: var(--muted);
612
+ border: 1px solid var(--line);
613
+ }
614
+ .jp-out .copy-snippet:hover,
615
+ .figure-raw .copy-snippet:hover {
616
+ color: var(--accent-strong);
617
+ background: var(--panel);
618
+ }
619
+
620
+ /* ---- jupyter-style code cells ---- */
621
+ .jp {
622
+ border: 1px solid var(--line);
623
+ border-radius: 10px;
624
+ overflow: hidden;
625
+ margin: 12px 0;
626
+ background: var(--panel);
627
+ }
628
+ .jp-gutter {
629
+ flex: 0 0 46px;
630
+ padding: 13px 0 0 13px;
631
+ font-family: var(--mono);
632
+ font-size: 10.5px;
633
+ letter-spacing: 0.07em;
634
+ text-transform: uppercase;
635
+ font-weight: 600;
636
+ user-select: none;
637
+ }
638
+ .jp-in {
639
+ display: flex;
640
+ background: #17181c;
641
+ }
642
+ .jp-in .jp-gutter {
643
+ color: #6f727d;
644
+ }
645
+ .jp-in-body {
646
+ flex: 1;
647
+ min-width: 0;
648
+ }
649
+ #page .jp-in-body pre.hl {
650
+ margin: 0;
651
+ border: none;
652
+ border-radius: 0;
653
+ background: none;
654
+ padding: 12px 16px 12px 0;
655
+ }
656
+ .jp-in-body .code-accordion {
657
+ margin: 0;
658
+ border: none;
659
+ border-top: 1px solid rgba(255, 255, 255, 0.09);
660
+ border-radius: 0;
661
+ background: none;
662
+ }
663
+ .jp-in-body .code-accordion summary {
664
+ background: none;
665
+ padding: 9px 16px 9px 0;
666
+ }
667
+ .jp-in-body .code-accordion pre.hl {
668
+ border-top: 1px solid rgba(255, 255, 255, 0.09);
669
+ }
670
+ .jp-meta {
671
+ padding: 5px 14px;
672
+ font-family: var(--mono);
673
+ font-size: 11.5px;
674
+ color: var(--muted);
675
+ background: #fbfbfc;
676
+ border-top: 1px solid var(--line);
677
+ }
678
+ .jp-out {
679
+ display: flex;
680
+ border-top: 1px solid var(--line);
681
+ background: var(--panel);
682
+ }
683
+ .jp-out .jp-gutter {
684
+ color: var(--accent-strong);
685
+ }
686
+ .jp-out-body {
687
+ flex: 1;
688
+ min-width: 0;
689
+ }
690
+ #page .jp-out-pre {
691
+ min-width: 0;
692
+ margin: 0;
693
+ border: none;
694
+ border-radius: 0;
695
+ background: none;
696
+ color: var(--ink);
697
+ font-family: var(--mono);
698
+ font-size: 13px;
699
+ line-height: 1.55;
700
+ padding: 12px 16px 12px 0;
701
+ white-space: pre;
702
+ overflow-x: auto;
703
+ overflow-y: auto;
704
+ max-height: 26em;
705
+ }
706
+ .jp-artifacts {
707
+ display: flex;
708
+ flex-direction: column;
709
+ }
710
+ .jp-out-body .jp-out-pre + .jp-artifacts {
711
+ border-top: 1px solid var(--line);
712
+ }
713
+ .out-artifact {
714
+ display: flex;
715
+ align-items: baseline;
716
+ gap: 8px;
717
+ padding: 9px 16px 9px 0;
718
+ text-decoration: none;
719
+ color: inherit;
720
+ }
721
+ .out-artifact + .out-artifact {
722
+ border-top: 1px solid var(--line);
723
+ }
724
+ a.out-artifact:hover .out-artifact-name {
725
+ color: var(--accent-strong);
726
+ }
727
+ .out-artifact-ico {
728
+ flex: 0 0 auto;
729
+ font-size: 13px;
730
+ }
731
+ .out-artifact-name {
732
+ font-family: var(--mono);
733
+ font-size: 12.5px;
734
+ font-weight: 600;
735
+ color: var(--ink);
736
+ overflow: hidden;
737
+ text-overflow: ellipsis;
738
+ white-space: nowrap;
739
+ }
740
+ .out-artifact-meta {
741
+ flex: 0 0 auto;
742
+ margin-left: auto;
743
+ padding-left: 12px;
744
+ font-size: 12px;
745
+ color: var(--muted);
746
+ white-space: nowrap;
747
+ }
748
+ .out-artifact-state.open {
749
+ color: var(--accent);
750
+ font-weight: 600;
751
+ }
752
+ .trackio-embed {
753
+ border: 1px solid var(--line);
754
+ border-radius: var(--radius);
755
+ overflow: hidden;
756
+ background: var(--panel);
757
+ }
758
+ .trackio-cell-meta {
759
+ display: flex;
760
+ gap: 6px;
761
+ flex-wrap: wrap;
762
+ justify-content: flex-end;
763
+ }
764
+
765
+ /* ---- unfurl cards ---- */
766
+ .unfurl {
767
+ display: block;
768
+ border: 1px solid var(--line);
769
+ border-radius: var(--radius);
770
+ background: var(--panel);
771
+ margin: 12px 0;
772
+ overflow: hidden;
773
+ text-decoration: none;
774
+ color: inherit;
775
+ transition: border-color 0.14s, box-shadow 0.14s;
776
+ }
777
+ .unfurl:hover {
778
+ border-color: #cfcbe6;
779
+ box-shadow: 0 4px 18px rgba(30, 20, 80, 0.06);
780
+ }
781
+
782
+ .unfurl-body {
783
+ padding: 13px 16px;
784
+ display: flex;
785
+ gap: 12px;
786
+ align-items: flex-start;
787
+ }
788
+
789
+ .unfurl-ico {
790
+ font-size: 20px;
791
+ line-height: 1.3;
792
+ flex: 0 0 auto;
793
+ }
794
+
795
+ .unfurl-main {
796
+ min-width: 0;
797
+ flex: 1;
798
+ }
799
+
800
+ .unfurl-kind {
801
+ font-family: var(--mono);
802
+ font-size: 10.5px;
803
+ text-transform: uppercase;
804
+ letter-spacing: 0.08em;
805
+ color: var(--accent);
806
+ font-weight: 600;
807
+ }
808
+
809
+ .unfurl-title {
810
+ font-weight: 650;
811
+ font-size: 15px;
812
+ margin: 1px 0 2px;
813
+ white-space: nowrap;
814
+ overflow: hidden;
815
+ text-overflow: ellipsis;
816
+ }
817
+
818
+ .unfurl-desc {
819
+ color: var(--muted);
820
+ font-size: 13.5px;
821
+ line-height: 1.45;
822
+ }
823
+
824
+ .unfurl-meta {
825
+ margin-top: 6px;
826
+ display: flex;
827
+ flex-wrap: wrap;
828
+ gap: 6px;
829
+ }
830
+
831
+ .chip {
832
+ font-size: 11.5px;
833
+ background: var(--code-bg);
834
+ border-radius: 999px;
835
+ padding: 2px 9px;
836
+ color: var(--muted);
837
+ font-family: var(--mono);
838
+ }
839
+
840
+ .unfurl-raw {
841
+ font-family: var(--mono);
842
+ font-size: 11px;
843
+ color: var(--muted);
844
+ border-top: 1px solid var(--line);
845
+ padding: 7px 16px;
846
+ white-space: nowrap;
847
+ overflow: hidden;
848
+ text-overflow: ellipsis;
849
+ }
850
+
851
+ .unfurl.embed {
852
+ padding: 0;
853
+ overflow: hidden;
854
+ }
855
+ .embed-head {
856
+ display: flex;
857
+ align-items: center;
858
+ gap: 10px;
859
+ padding: 10px 14px;
860
+ border-bottom: 1px solid var(--line);
861
+ }
862
+ .embed-head .unfurl-kind {
863
+ flex: 0 0 auto;
864
+ }
865
+ .embed-title {
866
+ flex: 1;
867
+ min-width: 0;
868
+ font-weight: 650;
869
+ font-size: 14px;
870
+ color: var(--ink);
871
+ text-decoration: none;
872
+ white-space: nowrap;
873
+ overflow: hidden;
874
+ text-overflow: ellipsis;
875
+ }
876
+ .embed-title:hover {
877
+ color: var(--accent);
878
+ }
879
+ .embed-open {
880
+ flex: 0 0 auto;
881
+ font-family: var(--mono);
882
+ font-size: 12px;
883
+ color: var(--accent);
884
+ text-decoration: none;
885
+ }
886
+ .embed-frame {
887
+ display: block;
888
+ width: 100%;
889
+ height: 560px;
890
+ border: 0;
891
+ background: var(--code-bg);
892
+ }
893
+
894
+ .dashboard-shell {
895
+ display: block;
896
+ }
897
+ .dashboard-shell .dashboard-frame {
898
+ display: block;
899
+ width: 100%;
900
+ height: 900px;
901
+ border: 0;
902
+ background: var(--code-bg);
903
+ }
904
+
905
+ .unfurl.image {
906
+ padding: 0;
907
+ }
908
+ .unfurl.image img {
909
+ display: block;
910
+ width: 100%;
911
+ height: auto;
912
+ max-height: 460px;
913
+ object-fit: contain;
914
+ background: var(--code-bg);
915
+ }
916
+
917
+ .artifact-chip {
918
+ border: 1px solid var(--line);
919
+ background: var(--panel);
920
+ border-radius: var(--radius);
921
+ padding: 10px 14px;
922
+ margin: 8px 0;
923
+ font-size: 14px;
924
+ }
925
+ .cell.dashboard .artifact-chip {
926
+ margin: 14px 18px 18px;
927
+ }
928
+ .artifact-chip code {
929
+ color: var(--accent);
930
+ }
931
+
932
+ /* ---- task board ---- */
933
+ .board-wrap {
934
+ overflow-x: auto;
935
+ border: 1px solid var(--line);
936
+ border-radius: var(--radius);
937
+ margin: 12px 0 20px;
938
+ background: var(--panel);
939
+ }
940
+ table.board {
941
+ border-collapse: collapse;
942
+ width: 100%;
943
+ font-size: 14px;
944
+ }
945
+ table.board th,
946
+ table.board td {
947
+ text-align: left;
948
+ padding: 9px 14px;
949
+ border-bottom: 1px solid var(--line);
950
+ vertical-align: top;
951
+ }
952
+ table.board thead th {
953
+ background: var(--accent-soft);
954
+ font-size: 12px;
955
+ text-transform: uppercase;
956
+ letter-spacing: 0.05em;
957
+ color: #9a4a12;
958
+ font-weight: 600;
959
+ border-bottom: 1px solid var(--line);
960
+ }
961
+ table.board tbody tr:last-child td {
962
+ border-bottom: none;
963
+ }
964
+ table.board .col-check {
965
+ text-align: center;
966
+ width: 92px;
967
+ white-space: nowrap;
968
+ }
969
+ table.board tr.section-row td {
970
+ background: var(--accent-soft);
971
+ text-align: center;
972
+ font-weight: 700;
973
+ font-size: 13px;
974
+ color: var(--accent-strong);
975
+ padding: 7px 14px;
976
+ letter-spacing: 0.02em;
977
+ }
978
+ .box {
979
+ display: inline-flex;
980
+ align-items: center;
981
+ justify-content: center;
982
+ width: 18px;
983
+ height: 18px;
984
+ border: 1.5px solid #cfcbe0;
985
+ border-radius: 5px;
986
+ font-size: 12px;
987
+ color: #fff;
988
+ line-height: 1;
989
+ }
990
+ .box.on {
991
+ background: var(--accent);
992
+ border-color: var(--accent);
993
+ }
994
+ .who-chip {
995
+ display: inline-block;
996
+ padding: 3px 12px;
997
+ border-radius: 999px;
998
+ font-size: 12.5px;
999
+ font-weight: 600;
1000
+ white-space: nowrap;
1001
+ }
1002
+ .who-chip.muted {
1003
+ background: var(--code-bg);
1004
+ color: var(--muted);
1005
+ font-weight: 500;
1006
+ }
1007
+
1008
+ /* ---- status badges + clickable rows ---- */
1009
+ table.board .col-status {
1010
+ width: 130px;
1011
+ white-space: nowrap;
1012
+ }
1013
+ .badge {
1014
+ display: inline-block;
1015
+ padding: 3px 11px;
1016
+ border-radius: 999px;
1017
+ font-size: 12px;
1018
+ font-weight: 600;
1019
+ letter-spacing: 0.01em;
1020
+ }
1021
+ .badge.gray {
1022
+ background: var(--code-bg);
1023
+ color: var(--muted);
1024
+ }
1025
+ .badge.amber {
1026
+ background: var(--accent-soft);
1027
+ color: #b45309;
1028
+ }
1029
+ .badge.green {
1030
+ background: #e6f7ee;
1031
+ color: #1a8a55;
1032
+ }
1033
+ .badge.red {
1034
+ background: #fde8ec;
1035
+ color: #c62a4b;
1036
+ }
1037
+ table.board tr.linked-row {
1038
+ cursor: pointer;
1039
+ }
1040
+ table.board tr.linked-row:hover td {
1041
+ background: var(--accent-soft);
1042
+ }
1043
+ table.board tr.linked-row a {
1044
+ color: var(--ink);
1045
+ font-weight: 600;
1046
+ text-decoration: none;
1047
+ }
1048
+ table.board tr.linked-row:hover a {
1049
+ color: var(--accent-strong);
1050
+ }
1051
+
1052
+ /* ---- agent read hint ---- */
1053
+ .agent-hint {
1054
+ display: flex;
1055
+ align-items: center;
1056
+ flex-wrap: wrap;
1057
+ gap: 8px;
1058
+ margin: 4px 0 22px;
1059
+ font-size: 12.5px;
1060
+ color: var(--muted);
1061
+ }
1062
+ #page .agent-hint code {
1063
+ background: var(--code-bg);
1064
+ padding: 2px 9px;
1065
+ border-radius: 6px;
1066
+ font-family: var(--mono);
1067
+ font-size: 12px;
1068
+ font-weight: 500;
1069
+ color: var(--ink);
1070
+ }
1071
+ .agent-hint .copy {
1072
+ flex: 0 0 auto;
1073
+ background: none;
1074
+ color: var(--muted);
1075
+ border: 1px solid var(--line);
1076
+ border-radius: 6px;
1077
+ width: 22px;
1078
+ height: 22px;
1079
+ font-size: 11px;
1080
+ line-height: 1;
1081
+ cursor: pointer;
1082
+ transition: color 0.12s, border-color 0.12s;
1083
+ }
1084
+ .agent-hint .copy:hover {
1085
+ color: var(--accent-strong);
1086
+ border-color: var(--accent);
1087
+ }
1088
+ .agent-hint .copy.copied {
1089
+ color: #1a8a55;
1090
+ border-color: #1a8a55;
1091
+ }
1092
+ .agent-hint-note {
1093
+ margin-left: auto;
1094
+ font-size: 12px;
1095
+ color: var(--muted);
1096
+ }
1097
+
1098
+ /* ---- logbook summary stats ---- */
1099
+ .logbook-stats {
1100
+ display: flex;
1101
+ flex-wrap: wrap;
1102
+ gap: 12px;
1103
+ margin: 0 0 28px;
1104
+ }
1105
+ .stat-tile {
1106
+ position: relative;
1107
+ display: inline-flex;
1108
+ align-items: center;
1109
+ gap: 11px;
1110
+ border: 1px solid var(--line);
1111
+ background: var(--panel);
1112
+ border-radius: var(--radius);
1113
+ padding: 12px 23px;
1114
+ font: inherit;
1115
+ text-align: left;
1116
+ cursor: pointer;
1117
+ transition: border-color 0.12s, box-shadow 0.12s;
1118
+ }
1119
+ .stat-tile:hover:not([disabled]) {
1120
+ border-color: rgba(249, 115, 22, 0.45);
1121
+ box-shadow: 0 3px 12px rgba(31, 41, 55, 0.06);
1122
+ }
1123
+ .stat-tile:focus-visible {
1124
+ outline: 2px solid var(--accent);
1125
+ outline-offset: 2px;
1126
+ }
1127
+ .stat-tile[disabled] {
1128
+ cursor: default;
1129
+ opacity: 0.7;
1130
+ }
1131
+ .stat-tile.open {
1132
+ border-color: rgba(249, 115, 22, 0.6);
1133
+ box-shadow: 0 3px 12px rgba(31, 41, 55, 0.08);
1134
+ }
1135
+ .stat-icon {
1136
+ width: 24px;
1137
+ height: 24px;
1138
+ flex: 0 0 24px;
1139
+ object-fit: contain;
1140
+ align-self: center;
1141
+ }
1142
+ .stat-text {
1143
+ display: flex;
1144
+ align-items: baseline;
1145
+ gap: 8px;
1146
+ white-space: nowrap;
1147
+ line-height: 1;
1148
+ }
1149
+ .stat-num {
1150
+ font-family: var(--mono);
1151
+ font-size: 20px;
1152
+ font-weight: 600;
1153
+ line-height: 1;
1154
+ color: var(--accent-strong);
1155
+ }
1156
+ .stat-label {
1157
+ font-size: 15px;
1158
+ line-height: 1;
1159
+ color: var(--muted);
1160
+ }
1161
+ .stat-caret {
1162
+ margin-left: 2px;
1163
+ font-size: 10px;
1164
+ color: var(--muted);
1165
+ align-self: center;
1166
+ transition: transform 0.12s;
1167
+ }
1168
+ .stat-tile.open .stat-caret {
1169
+ transform: rotate(180deg);
1170
+ }
1171
+ .stat-popover {
1172
+ position: absolute;
1173
+ top: 100%;
1174
+ left: 0;
1175
+ margin-top: 6px;
1176
+ min-width: 300px;
1177
+ max-width: min(460px, 92vw);
1178
+ max-height: 340px;
1179
+ overflow-y: auto;
1180
+ z-index: 20;
1181
+ background: var(--panel);
1182
+ border: 1px solid var(--line);
1183
+ border-radius: var(--radius);
1184
+ box-shadow: 0 8px 28px rgba(31, 41, 55, 0.12);
1185
+ padding: 6px;
1186
+ }
1187
+ .stat-popover[hidden] {
1188
+ display: none;
1189
+ }
1190
+ .stat-pop-head {
1191
+ padding: 6px 10px 8px;
1192
+ font-size: 11.5px;
1193
+ font-weight: 700;
1194
+ letter-spacing: 0.03em;
1195
+ text-transform: uppercase;
1196
+ color: var(--muted);
1197
+ }
1198
+ .stat-row {
1199
+ display: flex;
1200
+ align-items: flex-start;
1201
+ gap: 10px;
1202
+ padding: 9px 11px;
1203
+ border-radius: 9px;
1204
+ border: 1px solid transparent;
1205
+ text-decoration: none;
1206
+ color: inherit;
1207
+ cursor: pointer;
1208
+ }
1209
+ .stat-row:hover {
1210
+ border-color: rgba(249, 115, 22, 0.4);
1211
+ background: var(--accent-soft);
1212
+ }
1213
+ .stat-row-ico {
1214
+ font-size: 15px;
1215
+ line-height: 1.3;
1216
+ flex: 0 0 auto;
1217
+ }
1218
+ .stat-row-main {
1219
+ min-width: 0;
1220
+ flex: 1;
1221
+ }
1222
+ .stat-row-title {
1223
+ font-family: var(--mono);
1224
+ font-size: 12.5px;
1225
+ font-weight: 600;
1226
+ color: var(--ink);
1227
+ overflow: hidden;
1228
+ text-overflow: ellipsis;
1229
+ white-space: nowrap;
1230
+ }
1231
+ .stat-row-meta {
1232
+ margin-top: 2px;
1233
+ font-size: 12px;
1234
+ color: var(--muted);
1235
+ }
1236
+ .stat-row-state.open {
1237
+ color: var(--accent);
1238
+ font-weight: 600;
1239
+ border-radius: 5px;
1240
+ padding: 1px 5px;
1241
+ margin: -1px -2px;
1242
+ }
1243
+ .stat-row-state.open:hover {
1244
+ background: rgba(249, 115, 22, 0.14);
1245
+ text-decoration: underline;
1246
+ }
1247
+ .art-ico {
1248
+ width: 1em;
1249
+ height: 1em;
1250
+ object-fit: contain;
1251
+ vertical-align: -0.15em;
1252
+ }
1253
+
1254
+ /* ---- scroll-to-resource highlight ---- */
1255
+ .res-flash {
1256
+ animation: res-flash 1.5s ease;
1257
+ border-radius: 8px;
1258
+ }
1259
+ @keyframes res-flash {
1260
+ 0%,
1261
+ 25% {
1262
+ box-shadow: 0 0 0 3px var(--accent);
1263
+ }
1264
+ 100% {
1265
+ box-shadow: 0 0 0 3px rgba(249, 115, 22, 0);
1266
+ }
1267
+ }
1268
+
1269
+ /* ---- inline resource chips ---- */
1270
+ #page .res-chip {
1271
+ display: inline-flex;
1272
+ align-items: center;
1273
+ gap: 5px;
1274
+ max-width: 100%;
1275
+ padding: 0 9px 0 6px;
1276
+ margin: 0 1px;
1277
+ border: 1px solid var(--line);
1278
+ border-radius: 999px;
1279
+ background: var(--panel);
1280
+ font-family: var(--mono);
1281
+ font-size: 0.78em;
1282
+ font-weight: 600;
1283
+ color: var(--ink);
1284
+ text-decoration: none;
1285
+ white-space: nowrap;
1286
+ overflow: hidden;
1287
+ text-overflow: ellipsis;
1288
+ vertical-align: middle;
1289
+ line-height: 1.65;
1290
+ transform: translateY(-0.08em);
1291
+ transition: border-color 0.12s, background 0.12s, color 0.12s;
1292
+ }
1293
+ .res-chip-ico {
1294
+ font-size: 1.05em;
1295
+ line-height: 1;
1296
+ }
1297
+ #page .res-chip:hover,
1298
+ #page .res-chip.res-hl {
1299
+ border-color: var(--accent);
1300
+ background: var(--accent-soft);
1301
+ color: var(--accent-strong);
1302
+ }
1303
+ #page a.res-link.res-hl {
1304
+ background: var(--accent-soft);
1305
+ border-radius: 4px;
1306
+ }
1307
+ .rail-item.res-hl {
1308
+ border-color: var(--accent);
1309
+ background: var(--accent-soft);
1310
+ box-shadow: 0 3px 12px rgba(249, 115, 22, 0.14);
1311
+ }
1312
+ .rail-item.res-hl .rail-title {
1313
+ color: var(--accent-strong);
1314
+ }
1315
+ .rail-item.rail-local {
1316
+ cursor: default;
1317
+ }
1318
+ .artifact-chip.res-hl {
1319
+ border-color: var(--accent);
1320
+ background: var(--accent-soft);
1321
+ }
1322
+
1323
+ /* ---- contextual resources rail ---- */
1324
+ .context-rail {
1325
+ position: relative;
1326
+ width: 248px;
1327
+ }
1328
+ .context-rail[hidden] {
1329
+ display: none;
1330
+ }
1331
+ .rail-kind {
1332
+ display: flex;
1333
+ align-items: center;
1334
+ gap: 5px;
1335
+ font-family: var(--mono);
1336
+ font-size: 10px;
1337
+ text-transform: uppercase;
1338
+ letter-spacing: 0.08em;
1339
+ font-weight: 600;
1340
+ color: var(--accent);
1341
+ margin-bottom: 4px;
1342
+ }
1343
+ .rail-item {
1344
+ position: absolute;
1345
+ left: 0;
1346
+ right: 0;
1347
+ display: block;
1348
+ border: 1px solid var(--line);
1349
+ border-radius: 10px;
1350
+ background: var(--panel);
1351
+ padding: 9px 12px;
1352
+ margin-bottom: 8px;
1353
+ text-decoration: none;
1354
+ color: inherit;
1355
+ transition: border-color 0.14s, box-shadow 0.14s;
1356
+ }
1357
+ .rail-item:hover {
1358
+ border-color: rgba(249, 115, 22, 0.45);
1359
+ box-shadow: 0 3px 12px rgba(31, 41, 55, 0.06);
1360
+ }
1361
+ .rail-title {
1362
+ font-family: var(--mono);
1363
+ font-size: 12.5px;
1364
+ font-weight: 600;
1365
+ color: var(--ink);
1366
+ overflow-wrap: anywhere;
1367
+ line-height: 1.4;
1368
+ }
1369
+ .rail-item:hover .rail-title {
1370
+ color: var(--accent-strong);
1371
+ }
1372
+ .rail-meta {
1373
+ font-size: 11.5px;
1374
+ color: var(--muted);
1375
+ margin-top: 2px;
1376
+ }
1377
+
1378
+ @media (max-width: 1400px) {
1379
+ .page-layout {
1380
+ display: block;
1381
+ }
1382
+ .context-rail {
1383
+ width: 100%;
1384
+ margin-top: 28px;
1385
+ position: static;
1386
+ min-height: 0 !important;
1387
+ display: grid;
1388
+ grid-template-columns: repeat(auto-fit, minmax(220px, 1fr));
1389
+ gap: 10px;
1390
+ }
1391
+ .context-rail[hidden] {
1392
+ display: none;
1393
+ }
1394
+ .context-rail .rail-item {
1395
+ position: static;
1396
+ margin-bottom: 0;
1397
+ }
1398
+ }
1399
+
1400
+ /* ---- connect footer + modal ---- */
1401
+ #sidebar-foot {
1402
+ margin-top: auto;
1403
+ padding-top: 14px;
1404
+ border-top: 1px solid rgba(255, 255, 255, 0.1);
1405
+ }
1406
+
1407
+ #connect-btn {
1408
+ width: 100%;
1409
+ display: flex;
1410
+ align-items: center;
1411
+ gap: 8px;
1412
+ background: rgba(255, 255, 255, 0.05);
1413
+ color: #c3c4cb;
1414
+ border: 1px solid rgba(255, 255, 255, 0.12);
1415
+ border-radius: 9px;
1416
+ padding: 9px 12px;
1417
+ font-size: 13.5px;
1418
+ font-family: var(--sans);
1419
+ cursor: pointer;
1420
+ transition: background 0.12s, color 0.12s, border-color 0.12s;
1421
+ }
1422
+ #connect-btn:hover {
1423
+ background: rgba(249, 115, 22, 0.14);
1424
+ border-color: rgba(249, 115, 22, 0.4);
1425
+ color: #fdba74;
1426
+ }
1427
+ #connect-btn .ico {
1428
+ font-size: 15px;
1429
+ }
1430
+
1431
+ #modal[hidden] {
1432
+ display: none;
1433
+ }
1434
+ #modal {
1435
+ position: fixed;
1436
+ inset: 0;
1437
+ z-index: 100;
1438
+ display: flex;
1439
+ align-items: center;
1440
+ justify-content: center;
1441
+ padding: 24px;
1442
+ }
1443
+ .modal-backdrop {
1444
+ position: absolute;
1445
+ inset: 0;
1446
+ background: rgba(20, 18, 30, 0.5);
1447
+ backdrop-filter: blur(2px);
1448
+ }
1449
+ .modal-card {
1450
+ position: relative;
1451
+ background: var(--panel);
1452
+ border-radius: 16px;
1453
+ width: 100%;
1454
+ max-width: 620px;
1455
+ max-height: 85vh;
1456
+ overflow-y: auto;
1457
+ box-shadow: 0 24px 70px rgba(20, 15, 50, 0.28);
1458
+ }
1459
+ .modal-head {
1460
+ display: flex;
1461
+ align-items: center;
1462
+ justify-content: space-between;
1463
+ gap: 12px;
1464
+ padding: 18px 22px;
1465
+ border-bottom: 1px solid var(--line);
1466
+ position: sticky;
1467
+ top: 0;
1468
+ background: var(--panel);
1469
+ }
1470
+ .modal-title {
1471
+ display: flex;
1472
+ align-items: center;
1473
+ gap: 10px;
1474
+ font-family: var(--serif);
1475
+ font-size: 21px;
1476
+ letter-spacing: -0.01em;
1477
+ }
1478
+ .modal-logo {
1479
+ width: 26px;
1480
+ height: 26px;
1481
+ object-fit: contain;
1482
+ }
1483
+ .modal-actions {
1484
+ display: flex;
1485
+ align-items: center;
1486
+ gap: 8px;
1487
+ }
1488
+ .btn {
1489
+ font-family: var(--sans);
1490
+ font-size: 13.5px;
1491
+ font-weight: 600;
1492
+ border: 1px solid var(--line);
1493
+ background: var(--panel);
1494
+ color: var(--ink);
1495
+ border-radius: 9px;
1496
+ padding: 8px 13px;
1497
+ cursor: pointer;
1498
+ transition: background 0.12s, border-color 0.12s, color 0.12s;
1499
+ }
1500
+ .btn:hover {
1501
+ border-color: var(--accent);
1502
+ color: var(--accent-strong);
1503
+ }
1504
+ .btn.copied {
1505
+ border-color: #1a8a55;
1506
+ color: #1a8a55;
1507
+ }
1508
+ .btn.icon {
1509
+ font-size: 18px;
1510
+ line-height: 1;
1511
+ padding: 6px 11px;
1512
+ font-weight: 400;
1513
+ }
1514
+ .modal-body {
1515
+ padding: 20px 22px 26px;
1516
+ }
1517
+ .modal-intro {
1518
+ margin: 0 0 20px;
1519
+ color: var(--muted);
1520
+ line-height: 1.55;
1521
+ }
1522
+ #connect-steps {
1523
+ list-style: none;
1524
+ margin: 0;
1525
+ padding: 0;
1526
+ }
1527
+ #connect-steps li {
1528
+ margin-bottom: 18px;
1529
+ }
1530
+ .step-title {
1531
+ font-weight: 600;
1532
+ font-size: 14.5px;
1533
+ margin-bottom: 8px;
1534
+ }
1535
+ .codeblock {
1536
+ display: flex;
1537
+ align-items: center;
1538
+ gap: 8px;
1539
+ background: #17181c;
1540
+ border-radius: 10px;
1541
+ padding: 11px 12px 11px 15px;
1542
+ }
1543
+ .codeblock code {
1544
+ flex: 1;
1545
+ min-width: 0;
1546
+ overflow-x: auto;
1547
+ white-space: nowrap;
1548
+ font-family: var(--mono);
1549
+ font-size: 13px;
1550
+ color: #f0efff;
1551
+ background: none;
1552
+ padding: 0;
1553
+ }
1554
+ .codeblock .copy {
1555
+ flex: 0 0 auto;
1556
+ background: rgba(255, 255, 255, 0.08);
1557
+ color: #c3c4cb;
1558
+ border: 1px solid rgba(255, 255, 255, 0.14);
1559
+ border-radius: 7px;
1560
+ width: 30px;
1561
+ height: 30px;
1562
+ font-size: 14px;
1563
+ cursor: pointer;
1564
+ transition: background 0.12s, color 0.12s;
1565
+ }
1566
+ .codeblock .copy:hover {
1567
+ background: rgba(249, 115, 22, 0.2);
1568
+ color: #fdba74;
1569
+ }
1570
+ .codeblock .copy.copied {
1571
+ color: #52d08a;
1572
+ }
1573
+
1574
+ @media (max-width: 720px) {
1575
+ #app {
1576
+ flex-direction: column;
1577
+ }
1578
+ #sidebar {
1579
+ width: 100%;
1580
+ flex: none;
1581
+ height: auto;
1582
+ position: static;
1583
+ }
1584
+ #content {
1585
+ display: block;
1586
+ width: 100%;
1587
+ padding: 28px 20px 80px;
1588
+ overflow-x: hidden;
1589
+ }
1590
+ #page {
1591
+ width: 100%;
1592
+ max-width: 100%;
1593
+ }
1594
+ #page h1 {
1595
+ font-size: 30px;
1596
+ }
1597
+ .cell-head {
1598
+ align-items: flex-start;
1599
+ flex-direction: column;
1600
+ gap: 4px;
1601
+ }
1602
+ }
logbook.js ADDED
@@ -0,0 +1,2275 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ (function () {
2
+ "use strict";
3
+
4
+ let MANIFEST = null;
5
+ const PAGE_CACHE = {};
6
+ const UNFURL_CACHE = {};
7
+ const LIVE_RELOAD_MS = 1500;
8
+ const FIGURE_FRAME_WINDOWS = new Set();
9
+ let FIGURE_NAVIGATION_READY = false;
10
+
11
+ function esc(s) {
12
+ return String(s)
13
+ .replace(/&/g, "&amp;")
14
+ .replace(/</g, "&lt;")
15
+ .replace(/>/g, "&gt;")
16
+ .replace(/"/g, "&quot;")
17
+ .replace(/'/g, "&#39;");
18
+ }
19
+
20
+ function flattenTree(node, depth, acc) {
21
+ acc.push({ node: node, depth: depth });
22
+ (node.children || []).forEach((c) => flattenTree(c, depth + 1, acc));
23
+ return acc;
24
+ }
25
+
26
+ function findNode(node, slug) {
27
+ if (node.slug === slug) return node;
28
+ for (const c of node.children || []) {
29
+ const hit = findNode(c, slug);
30
+ if (hit) return hit;
31
+ }
32
+ return null;
33
+ }
34
+
35
+ /* -------------------- minimal markdown -------------------- */
36
+
37
+ function inline(text) {
38
+ let t = esc(text);
39
+ t = t.replace(/`([^`]+)`/g, (_, c) => `<code>${c}</code>`);
40
+ t = t.replace(/\*\*([^*]+)\*\*/g, (_, c) => `<strong>${c}</strong>`);
41
+ t = t.replace(/\[([^\]]+)\]\(([^)]+)\)/g, (_, txt, url) => {
42
+ const safe = esc(url);
43
+ const attrs = /^https?:/.test(url) ? ' target="_blank" rel="noopener"' : "";
44
+ const item = /^https?:/.test(url) ? classifyResource(url) : null;
45
+ const data = item
46
+ ? ` class="res-link" data-res-url="${esc(item.url)}"`
47
+ : "";
48
+ return `<a href="${safe}"${attrs}${data}>${txt}</a>`;
49
+ });
50
+ t = t.replace(/(^|[\s(])(https?:\/\/[^\s<>)"'`]+)/g, (m, pre, url) => {
51
+ let rest = "";
52
+ const cut = url.search(/&quot;|&#39;|&lt;|&gt;/);
53
+ if (cut !== -1) {
54
+ rest = url.slice(cut);
55
+ url = url.slice(0, cut);
56
+ }
57
+ const trailing = (url.match(/[.,;:!?`]+$/) || [""])[0];
58
+ const clean = trailing ? url.slice(0, -trailing.length) : url;
59
+ if (!clean) return m;
60
+ const item = classifyResource(clean);
61
+ if (item) return `${pre}${resChipHtml(item)}${trailing}${rest}`;
62
+ return `${pre}<a href="${clean}" target="_blank" rel="noopener">${clean}</a>${trailing}${rest}`;
63
+ });
64
+ return t;
65
+ }
66
+
67
+ function resChipHtml(item) {
68
+ return (
69
+ `<a class="res-chip" href="${esc(item.url)}" target="_blank" ` +
70
+ `rel="noopener" data-res-url="${esc(item.url)}">` +
71
+ `<span class="res-chip-ico">${RESOURCE_ICONS[item.kind]}</span>` +
72
+ `${esc(item.id)}</a>`
73
+ );
74
+ }
75
+
76
+ const URL_ONLY = /^(https?:\/\/[^\s]+)$/;
77
+ const DETECTED_URL =
78
+ /(https?:\/\/[^\s<>)\]"'`]+|trackio-local-dashboard:\/\/[^\s<>)\]"'`]+|trackio-artifact:\/\/[^\s<>)\]"'`]+|trackio-local-path:\/\/[^\s<>)\]"'`]+)/g;
79
+
80
+ function renderMarkdown(md, container) {
81
+ const cellRe = /(^|\n)---\n<!-- trackio-cell\n([\s\S]*?)\n-->\n([\s\S]*?)(?=\n---\n<!-- trackio-cell\n|\s*$)/g;
82
+ const tokens = [];
83
+ let pos = 0;
84
+ let found = false;
85
+ let match;
86
+ while ((match = cellRe.exec(md))) {
87
+ found = true;
88
+ tokens.push({
89
+ kind: "md",
90
+ text: md.slice(pos, match.index + match[1].length),
91
+ });
92
+ tokens.push({
93
+ kind: "cell",
94
+ meta: parseCellMeta(match[2]),
95
+ body: match[3],
96
+ });
97
+ pos = match.index + match[0].length;
98
+ }
99
+ tokens.push({ kind: "md", text: found ? md.slice(pos) : md });
100
+
101
+ for (let i = 0; i < tokens.length; i++) {
102
+ const t = tokens[i];
103
+ if (t.kind === "md") {
104
+ renderMarkdownPlain(t.text, container);
105
+ continue;
106
+ }
107
+ if (t.consumed) continue;
108
+ if (t.meta.type === "code") {
109
+ const arts = [];
110
+ for (let j = i + 1; j < tokens.length; j++) {
111
+ const n = tokens[j];
112
+ if (n.kind === "md") {
113
+ if (n.text.trim() === "") continue;
114
+ break;
115
+ }
116
+ if (n.meta.type === "artifact") {
117
+ arts.push(n);
118
+ n.consumed = true;
119
+ continue;
120
+ }
121
+ break;
122
+ }
123
+ renderCell(t.meta, t.body, container, arts);
124
+ } else {
125
+ renderCell(t.meta, t.body, container);
126
+ }
127
+ }
128
+ }
129
+
130
+ function parseCellMeta(raw) {
131
+ try {
132
+ return JSON.parse(raw);
133
+ } catch (e) {
134
+ return { type: "markdown", title: "Note" };
135
+ }
136
+ }
137
+
138
+ function renderMarkdownPlain(md, container) {
139
+ const lines = md.replace(/<!--[\s\S]*?-->/g, "").split("\n");
140
+ let i = 0;
141
+ let para = [];
142
+
143
+ function flushPara() {
144
+ if (!para.length) return;
145
+ const joined = para.join(" ").trim();
146
+ para = [];
147
+ if (!joined) return;
148
+ if (/^trackio-artifact:\/\/\S+$/.test(joined)) return;
149
+ if (/^trackio-local-path:\/\/\S+$/.test(joined)) return;
150
+ if (joined.indexOf("📦 Artifact") !== -1) {
151
+ const div = document.createElement("div");
152
+ div.className = "artifact-chip";
153
+ div.innerHTML = ARTIFACT_ICON_IMG + inline(joined.replace(/📦\s*/, ""));
154
+ container.appendChild(div);
155
+ return;
156
+ }
157
+ if (URL_ONLY.test(joined) || IMG_PATH.test(joined)) {
158
+ const el = renderStandaloneUrl(joined);
159
+ if (el) container.appendChild(el);
160
+ return;
161
+ }
162
+ const p = document.createElement("p");
163
+ p.innerHTML = inline(joined);
164
+ container.appendChild(p);
165
+ }
166
+
167
+ while (i < lines.length) {
168
+ const line = lines[i];
169
+ const trimmed = line.trim();
170
+
171
+ if (trimmed === "") {
172
+ flushPara();
173
+ i++;
174
+ continue;
175
+ }
176
+ const fence = trimmed.match(/^(`{3,}|~{3,})(.*)$/);
177
+ if (fence) {
178
+ flushPara();
179
+ const marker = fence[1][0];
180
+ const closeRe = new RegExp("^" + marker + "{" + fence[1].length + ",}\\s*$");
181
+ const info = fence[2].trim();
182
+ const buf = [];
183
+ i++;
184
+ while (i < lines.length && !closeRe.test(lines[i].trim())) {
185
+ buf.push(lines[i]);
186
+ i++;
187
+ }
188
+ i++;
189
+ const lang = (info.split(/\s+/)[0] || "").toLowerCase();
190
+ const tm = info.match(/title=(\S+)/);
191
+ container.appendChild(
192
+ renderCode(buf.join("\n"), lang, tm ? tm[1] : null)
193
+ );
194
+ continue;
195
+ }
196
+ if (trimmed === "---") {
197
+ flushPara();
198
+ container.appendChild(document.createElement("hr"));
199
+ i++;
200
+ continue;
201
+ }
202
+ const h = trimmed.match(/^(#{1,4})\s+(.*)$/);
203
+ if (h) {
204
+ flushPara();
205
+ const el = document.createElement("h" + h[1].length);
206
+ el.innerHTML = inline(h[2]);
207
+ container.appendChild(el);
208
+ i++;
209
+ continue;
210
+ }
211
+ if (
212
+ trimmed.startsWith("|") &&
213
+ i + 1 < lines.length &&
214
+ /^\|?[\s:|-]*-{2,}[\s:|-]*\|?$/.test(lines[i + 1].trim())
215
+ ) {
216
+ flushPara();
217
+ const rows = [];
218
+ while (i < lines.length && lines[i].trim().startsWith("|")) {
219
+ rows.push(parseRow(lines[i].trim()));
220
+ i++;
221
+ }
222
+ renderTable(rows, container);
223
+ continue;
224
+ }
225
+ if (trimmed.startsWith("> ")) {
226
+ flushPara();
227
+ const bq = document.createElement("blockquote");
228
+ bq.innerHTML = inline(trimmed.slice(2));
229
+ container.appendChild(bq);
230
+ i++;
231
+ continue;
232
+ }
233
+ if (/^`[^`]+`$/.test(trimmed)) {
234
+ flushPara();
235
+ const el = document.createElement("div");
236
+ el.className = "ts";
237
+ el.textContent = trimmed.replace(/`/g, "");
238
+ container.appendChild(el);
239
+ i++;
240
+ continue;
241
+ }
242
+ if (trimmed.startsWith("- ")) {
243
+ flushPara();
244
+ const items = [];
245
+ while (i < lines.length && lines[i].trim().startsWith("- ")) {
246
+ items.push(lines[i].trim().slice(2).trim());
247
+ i++;
248
+ }
249
+ renderList(items, container);
250
+ continue;
251
+ }
252
+ para.push(trimmed);
253
+ i++;
254
+ }
255
+ flushPara();
256
+ }
257
+
258
+ function renderCell(meta, body, container, artifacts) {
259
+ const cell = document.createElement("section");
260
+ cell.className = `cell ${meta.type || "markdown"}`;
261
+ if (meta.id) cell.dataset.cellId = meta.id;
262
+ if (isPinned(meta)) cell.classList.add("pinned-source");
263
+
264
+ const head = document.createElement("div");
265
+ head.className = "cell-head";
266
+ const rawTitle = (meta.title || "").trim();
267
+ const title = rawTitle && rawTitle.toLowerCase() !== "untitled" ? esc(rawTitle) : "";
268
+ const when = meta.created_at ? `<span>${esc(formatTime(meta.created_at))}</span>` : "";
269
+ head.innerHTML =
270
+ (title ? `<div class="cell-title">${title}</div>` : "") +
271
+ `<div class="cell-meta">${when}</div>`;
272
+ if (!title) head.classList.add("no-title");
273
+ cell.appendChild(head);
274
+
275
+ const bodyEl = document.createElement("div");
276
+ bodyEl.className = "cell-body";
277
+ if (meta.type === "code") {
278
+ renderCodeCell(body, bodyEl, artifacts);
279
+ } else if (meta.type === "figure") {
280
+ cell.dataset.resUrl = `trackio-figure://${(meta.title || "Figure").trim()}`;
281
+ renderFigureCell(body, bodyEl, head);
282
+ } else if (meta.type === "artifact") {
283
+ renderMarkdownPlain(body, bodyEl);
284
+ const chip = bodyEl.querySelector(".artifact-chip");
285
+ const uri = body.match(
286
+ /(trackio-artifact:\/\/\S+|trackio-local-path:\/\/\S+|https:\/\/huggingface\.co\/buckets\/[^\s<)]+#\S+)/
287
+ );
288
+ if (chip && uri) chip.dataset.resUrl = uri[1];
289
+ } else if (meta.type === "dashboard") {
290
+ const sp = body.match(/https:\/\/huggingface\.co\/spaces\/[^\s<>)"'`]+/);
291
+ cell.dataset.resUrl = sp
292
+ ? sp[0]
293
+ : `trackio-local-dashboard://${(meta.dashboard_project || "").trim()}`;
294
+ renderDashboardCell(meta, body, bodyEl, head);
295
+ } else {
296
+ const cleaned = stripDuplicateTitle(body, meta.title);
297
+ renderMarkdownPlain(cleaned, bodyEl);
298
+ renderDetectedEmbeds(cleaned, bodyEl);
299
+ }
300
+ cell.appendChild(bodyEl);
301
+ container.appendChild(cell);
302
+ return cell;
303
+ }
304
+
305
+ function isPinned(meta) {
306
+ return Boolean(meta && (meta.pinned === true || meta.pinned === "true"));
307
+ }
308
+
309
+ function stripDuplicateTitle(body, title) {
310
+ if (!title) return body;
311
+ const m = body.match(/^\s*#{1,6}\s+([^\n]+)\n?/);
312
+ if (!m) return body;
313
+ const norm = (s) =>
314
+ s
315
+ .toLowerCase()
316
+ .replace(/[*_`#]/g, "")
317
+ .replace(/\s+/g, " ")
318
+ .trim();
319
+ return norm(m[1]) === norm(title) ? body.slice(m[0].length) : body;
320
+ }
321
+
322
+ function formatTime(iso) {
323
+ const d = new Date(iso);
324
+ if (Number.isNaN(d.getTime())) return iso;
325
+ return d.toLocaleString(undefined, {
326
+ month: "short",
327
+ day: "numeric",
328
+ hour: "2-digit",
329
+ minute: "2-digit",
330
+ });
331
+ }
332
+
333
+ function parseFences(text) {
334
+ const fenceRe = /(`{3,4}|~{3,4})([^\n]*)\n([\s\S]*?)\n\1/g;
335
+ const parts = [];
336
+ let pos = 0;
337
+ let match;
338
+ while ((match = fenceRe.exec(text))) {
339
+ if (match.index > pos) {
340
+ parts.push({ kind: "text", text: text.slice(pos, match.index) });
341
+ }
342
+ const info = match[2].trim();
343
+ const lang = (info.split(/\s+/)[0] || "").toLowerCase();
344
+ const titleMatch = info.match(/title=(\S+)/);
345
+ parts.push({
346
+ kind: lang === "result" || lang === "output" ? "output" : "code",
347
+ lang,
348
+ title: titleMatch ? titleMatch[1] : null,
349
+ text: match[3],
350
+ });
351
+ pos = match.index + match[0].length;
352
+ }
353
+ if (pos < text.length) parts.push({ kind: "text", text: text.slice(pos) });
354
+ return parts;
355
+ }
356
+
357
+ function fitFigureFrame(frame, wrap) {
358
+ let doc;
359
+ try {
360
+ doc = frame.contentDocument;
361
+ } catch (e) {
362
+ return;
363
+ }
364
+ if (!doc || !doc.body) return;
365
+ frame.style.transform = "none";
366
+ frame.style.width = "100%";
367
+ frame.style.height = "auto";
368
+ frame.style.position = "";
369
+ frame.style.left = "";
370
+ frame.style.top = "";
371
+ const avail = wrap.clientWidth;
372
+ const isFullscreen =
373
+ document.fullscreenElement === wrap ||
374
+ document.webkitFullscreenElement === wrap;
375
+ const availHeight = isFullscreen ? wrap.clientHeight : Infinity;
376
+ const cw = Math.max(doc.body.scrollWidth, doc.documentElement.scrollWidth, 1);
377
+ const ch = Math.max(doc.body.scrollHeight, doc.documentElement.scrollHeight, 1);
378
+ const scale = Math.min(avail / cw, availHeight / ch);
379
+ if (avail && scale < 1 - 1e-3) {
380
+ frame.style.width = `${cw}px`;
381
+ frame.style.height = `${ch}px`;
382
+ frame.style.transformOrigin = "top left";
383
+ frame.style.transform = `scale(${scale})`;
384
+ if (isFullscreen) {
385
+ frame.style.position = "absolute";
386
+ frame.style.left = `${Math.max(0, (avail - cw * scale) / 2)}px`;
387
+ frame.style.top = `${Math.max(0, (availHeight - ch * scale) / 2)}px`;
388
+ wrap.style.height = "100%";
389
+ } else {
390
+ wrap.style.height = `${Math.ceil(ch * scale)}px`;
391
+ }
392
+ } else {
393
+ frame.style.width = "100%";
394
+ frame.style.height = `${ch}px`;
395
+ wrap.style.height = isFullscreen ? "100%" : `${ch}px`;
396
+ }
397
+ }
398
+
399
+ function attachFigureFit(frame, wrap) {
400
+ const refit = () => fitFigureFrame(frame, wrap);
401
+ frame.addEventListener("load", refit);
402
+ if (window.ResizeObserver) {
403
+ const ro = new ResizeObserver(() => refit());
404
+ ro.observe(wrap);
405
+ }
406
+ }
407
+
408
+ function renderFigureCell(text, container, head) {
409
+ const parts = parseFences(text);
410
+ const htmlPart = parts.find((part) => part.lang === "html");
411
+ const rawPart = parts.find((part) => part.lang === "raw");
412
+ if (!htmlPart || !htmlPart.text.trim()) {
413
+ const empty = document.createElement("p");
414
+ empty.className = "muted";
415
+ empty.textContent = "No figure HTML.";
416
+ container.appendChild(empty);
417
+ return;
418
+ }
419
+ const frame = document.createElement("iframe");
420
+ frame.className = "figure-frame";
421
+ frame.sandbox = "allow-scripts allow-same-origin";
422
+ frame.loading = "lazy";
423
+ frame.srcdoc = htmlPart.text;
424
+ registerFigureNavigation(frame);
425
+ const figWrap = document.createElement("div");
426
+ figWrap.className = "figure-fit";
427
+ figWrap.appendChild(frame);
428
+ attachFigureFit(frame, figWrap);
429
+ if (head) {
430
+ const metaEl = head.querySelector(".cell-meta");
431
+ if (metaEl)
432
+ metaEl.insertBefore(buildFullscreenControl(figWrap, frame), metaEl.firstChild);
433
+ }
434
+ if (!rawPart || !rawPart.text.trim()) {
435
+ container.appendChild(figWrap);
436
+ return;
437
+ }
438
+ const sw = document.createElement("div");
439
+ sw.className = "fig-switch";
440
+ const thumb = document.createElement("span");
441
+ thumb.className = "fig-switch-thumb";
442
+ const figBtn = document.createElement("button");
443
+ figBtn.type = "button";
444
+ figBtn.className = "active";
445
+ figBtn.textContent = "Figure";
446
+ const rawBtn = document.createElement("button");
447
+ rawBtn.type = "button";
448
+ rawBtn.textContent = "Raw";
449
+ sw.appendChild(thumb);
450
+ sw.appendChild(figBtn);
451
+ sw.appendChild(rawBtn);
452
+ const rawView = document.createElement("div");
453
+ rawView.className = "figure-raw";
454
+ rawView.hidden = true;
455
+ const pre = document.createElement("pre");
456
+ const code = document.createElement("code");
457
+ code.textContent = rawPart.text;
458
+ pre.appendChild(code);
459
+ rawView.appendChild(pre);
460
+ rawView.appendChild(copySnippetBtn(rawPart.text));
461
+ const select = (showRaw) => {
462
+ sw.classList.toggle("raw", showRaw);
463
+ figBtn.classList.toggle("active", !showRaw);
464
+ rawBtn.classList.toggle("active", showRaw);
465
+ figWrap.hidden = showRaw;
466
+ rawView.hidden = !showRaw;
467
+ };
468
+ figBtn.addEventListener("click", () => select(false));
469
+ rawBtn.addEventListener("click", () => select(true));
470
+ if (head) {
471
+ head.insertBefore(sw, head.querySelector(".cell-meta"));
472
+ } else {
473
+ container.appendChild(sw);
474
+ }
475
+ container.appendChild(figWrap);
476
+ container.appendChild(rawView);
477
+ }
478
+
479
+ // Poster embeds can send `{ type: "trackio-logbook:navigate", target: "..." }`
480
+ // from their iframe. Only accept messages from figure frames we created, and
481
+ // only route to pages that are present in this logbook's manifest.
482
+ function registerFigureNavigation(frame) {
483
+ const registerFrameWindow = () => {
484
+ if (frame.contentWindow) FIGURE_FRAME_WINDOWS.add(frame.contentWindow);
485
+ };
486
+ // `srcdoc` replaces the initial about:blank document. Register after that
487
+ // navigation as well, so messages come from the live figure document.
488
+ frame.addEventListener("load", registerFrameWindow);
489
+ registerFrameWindow();
490
+ if (FIGURE_NAVIGATION_READY) return;
491
+ FIGURE_NAVIGATION_READY = true;
492
+ window.addEventListener("message", (event) => {
493
+ if (!FIGURE_FRAME_WINDOWS.has(event.source)) return;
494
+ const message = event.data;
495
+ if (!message || message.type !== "trackio-logbook:navigate") return;
496
+ const target = String(message.target || "").replace(/^#?\//, "");
497
+ if (!target || !MANIFEST || !findNode(MANIFEST.root, target)) return;
498
+ const hash = "#/" + target;
499
+ if (location.hash === hash) scrollToHash();
500
+ else location.hash = hash;
501
+ });
502
+ }
503
+
504
+ const FULLSCREEN_ICON =
505
+ '<svg viewBox="0 0 24 24" fill="none" stroke="currentColor" ' +
506
+ 'stroke-width="2" stroke-linecap="round" stroke-linejoin="round" aria-hidden="true">' +
507
+ '<path d="M8 3H3v5M16 3h5v5M21 16v5h-5M3 16v5h5"/>' +
508
+ '<path d="M3 8 8 3M16 3l5 5M21 16l-5 5M8 21l-5-5"/></svg>';
509
+
510
+ // Figures are rendered in same-origin iframes, so fullscreen the fitted
511
+ // wrapper rather than the iframe document. This uses the browser's native
512
+ // fullscreen UI and preserves the figure's existing responsive sizing.
513
+ function buildFullscreenControl(figWrap, frame) {
514
+ const wrap = document.createElement("span");
515
+ wrap.className = "cell-fullscreen";
516
+ const btn = document.createElement("button");
517
+ btn.type = "button";
518
+ btn.className = "cell-fullscreen-btn";
519
+ btn.setAttribute("aria-label", "Open figure in fullscreen");
520
+ btn.title = "Open figure in fullscreen";
521
+ btn.innerHTML = FULLSCREEN_ICON;
522
+ wrap.appendChild(btn);
523
+
524
+ btn.addEventListener("click", async () => {
525
+ const request = figWrap.requestFullscreen || figWrap.webkitRequestFullscreen;
526
+ if (!request) return;
527
+ try {
528
+ await request.call(figWrap);
529
+ } catch (_) {
530
+ // Fullscreen can be disabled by the embedding browser or policy.
531
+ }
532
+ });
533
+ document.addEventListener("fullscreenchange", () => {
534
+ if (document.fullscreenElement === figWrap) fitFigureFrame(frame, figWrap);
535
+ });
536
+ return wrap;
537
+ }
538
+
539
+ function extractUrls(text) {
540
+ const seen = new Set();
541
+ const urls = [];
542
+ let match;
543
+ while ((match = DETECTED_URL.exec(text))) {
544
+ const url = match[1].replace(/[.,;:!?'"`]+$/, "");
545
+ if (!seen.has(url)) {
546
+ seen.add(url);
547
+ urls.push(url);
548
+ }
549
+ }
550
+ DETECTED_URL.lastIndex = 0;
551
+ return urls;
552
+ }
553
+
554
+ const IMG_URL = /(\.(png|jpe?g|gif|svg|webp)(\?|$)|\/artifact_blob\/)/i;
555
+
556
+ function renderDetectedEmbeds(text, container) {
557
+ extractUrls(text).forEach((url) => {
558
+ if (url.startsWith("trackio-local-dashboard://")) {
559
+ const div = document.createElement("div");
560
+ div.className = "artifact-chip";
561
+ div.dataset.resUrl = url;
562
+ div.innerHTML =
563
+ "🎯 <strong>Local Trackio dashboard</strong> — publish the logbook to share it";
564
+ container.appendChild(div);
565
+ } else if (IMG_URL.test(url)) {
566
+ container.appendChild(renderImage(url));
567
+ } else if (/huggingface\.co\/spaces\//.test(url)) {
568
+ maybeEmbedTrackioSpace(url, container);
569
+ }
570
+ });
571
+ }
572
+
573
+ function renderStandaloneUrl(url) {
574
+ if (IMG_URL.test(url) || IMG_PATH.test(url)) return renderImage(url);
575
+ const item = classifyResource(url);
576
+ if (item) {
577
+ const marker = document.createElement("span");
578
+ marker.className = "resource-anchor";
579
+ marker.dataset.resUrl = item.url;
580
+ marker.setAttribute("aria-hidden", "true");
581
+ return marker;
582
+ }
583
+ const p = document.createElement("p");
584
+ p.innerHTML = inline(url);
585
+ return p;
586
+ }
587
+
588
+ function renderImage(url) {
589
+ const a = document.createElement("a");
590
+ a.className = "unfurl image";
591
+ a.href = url;
592
+ a.target = "_blank";
593
+ a.rel = "noopener";
594
+ const img = document.createElement("img");
595
+ img.loading = "lazy";
596
+ img.src = url;
597
+ img.alt = "artifact image";
598
+ a.appendChild(img);
599
+ return a;
600
+ }
601
+
602
+ function maybeEmbedTrackioSpace(url, container) {
603
+ const id = url.split("/spaces/")[1].split(/[?#]/)[0].replace(/\/$/, "");
604
+ const holder = document.createElement("div");
605
+ container.appendChild(holder);
606
+ getJSON(`https://huggingface.co/api/spaces/${id}`).then((d) => {
607
+ const tags = (d && d.tags) || [];
608
+ if (tags.some((t) => String(t).toLowerCase() === "trackio")) {
609
+ renderTrackioSpaceEmbed(holder, url, id);
610
+ } else {
611
+ holder.remove();
612
+ }
613
+ });
614
+ }
615
+
616
+ function jpGutter(label) {
617
+ const g = document.createElement("div");
618
+ g.className = "jp-gutter";
619
+ g.textContent = label;
620
+ return g;
621
+ }
622
+
623
+ function renderOutArtifact(info) {
624
+ const remote = !info.local && !!info.url;
625
+ const el = document.createElement(remote ? "a" : "div");
626
+ el.className = "out-artifact";
627
+ if (remote) {
628
+ el.href = info.url;
629
+ el.target = "_blank";
630
+ el.rel = "noopener";
631
+ }
632
+ el.dataset.resUrl = info.resUrl;
633
+ const parts = [info.type, info.size].filter(Boolean).map(esc);
634
+ const state = remote
635
+ ? `<span class="out-artifact-state open">Open ↗</span>`
636
+ : `<span class="out-artifact-state">publish to share</span>`;
637
+ const meta = parts.length ? `${parts.join(" · ")} · ${state}` : state;
638
+ el.innerHTML =
639
+ `<span class="out-artifact-ico">${ARTIFACT_ICON_IMG}</span>` +
640
+ `<span class="out-artifact-name">${esc(info.name)}</span>` +
641
+ `<span class="out-artifact-meta">${meta}</span>`;
642
+ return el;
643
+ }
644
+
645
+ function renderCodeCell(body, container, artifacts) {
646
+ const parts = parseFences(body);
647
+ const block = document.createElement("div");
648
+ block.className = "jp";
649
+ const input = document.createElement("div");
650
+ input.className = "jp-in";
651
+ const inputBody = document.createElement("div");
652
+ inputBody.className = "jp-in-body";
653
+ input.appendChild(jpGutter("In"));
654
+ input.appendChild(inputBody);
655
+ let metaEl = null;
656
+ let outputEl = null;
657
+ let outBody = null;
658
+ const ensureOut = () => {
659
+ if (outputEl) return;
660
+ outputEl = document.createElement("div");
661
+ outputEl.className = "jp-out";
662
+ outputEl.appendChild(jpGutter("Out"));
663
+ outBody = document.createElement("div");
664
+ outBody.className = "jp-out-body";
665
+ outputEl.appendChild(outBody);
666
+ };
667
+ const embedTexts = [];
668
+ parts.forEach((part) => {
669
+ if (part.kind === "text") {
670
+ const text = part.text.trim();
671
+ if (!text) return;
672
+ if (/^exit\s+\S+(\s|·)/.test(text)) {
673
+ metaEl = document.createElement("div");
674
+ metaEl.className = "jp-meta";
675
+ metaEl.textContent = text.replace(
676
+ /\s*·\s*[A-Z][a-z]{2} \d{1,2}, \d{4}.*$/,
677
+ ""
678
+ );
679
+ } else {
680
+ renderMarkdownPlain(text, container);
681
+ embedTexts.push(text);
682
+ }
683
+ return;
684
+ }
685
+ if (part.kind === "output") {
686
+ ensureOut();
687
+ const pre = document.createElement("pre");
688
+ pre.className = "jp-out-pre";
689
+ const c = document.createElement("code");
690
+ c.textContent = part.text;
691
+ pre.appendChild(c);
692
+ outBody.appendChild(pre);
693
+ outputEl.appendChild(copySnippetBtn(part.text));
694
+ embedTexts.push(part.text);
695
+ return;
696
+ }
697
+ inputBody.appendChild(renderCode(part.text, part.lang, part.title));
698
+ });
699
+ if (artifacts && artifacts.length) {
700
+ ensureOut();
701
+ const artWrap = document.createElement("div");
702
+ artWrap.className = "jp-artifacts";
703
+ artifacts.forEach((a) => {
704
+ artWrap.appendChild(
705
+ renderOutArtifact(artifactInfoFromCell(a.meta, a.body))
706
+ );
707
+ });
708
+ outBody.appendChild(artWrap);
709
+ }
710
+ if (inputBody.childNodes.length > 0) block.appendChild(input);
711
+ if (metaEl) block.appendChild(metaEl);
712
+ if (outputEl) block.appendChild(outputEl);
713
+ if (block.childNodes.length) container.appendChild(block);
714
+ embedTexts.forEach((text) => renderDetectedEmbeds(text, container));
715
+ }
716
+
717
+ function parseRow(line) {
718
+ let s = line.trim();
719
+ if (s.startsWith("|")) s = s.slice(1);
720
+ if (s.endsWith("|")) s = s.slice(0, -1);
721
+ return s.split(/(?<!\\)\|/).map((c) => c.replace(/\\\|/g, "|").trim());
722
+ }
723
+
724
+ const TRUTHY = ["x", "✓", "✔", "yes", "done", "true", "[x]"];
725
+ const CHIP_COLORS = [
726
+ ["#e7f0ff", "#2158d0"],
727
+ ["#fde8ec", "#c62a4b"],
728
+ ["#e6f7ee", "#1a8a55"],
729
+ ["#fdf0e0", "#b26a12"],
730
+ ["#efe9ff", "#5b3bd6"],
731
+ ["#e6f6f8", "#127b88"],
732
+ ];
733
+
734
+ function chipColor(name) {
735
+ let h = 0;
736
+ for (let i = 0; i < name.length; i++) h = (h * 31 + name.charCodeAt(i)) >>> 0;
737
+ return CHIP_COLORS[h % CHIP_COLORS.length];
738
+ }
739
+
740
+ const STATUS_MAP = {
741
+ "": ["Planned", "gray"],
742
+ planned: ["Planned", "gray"],
743
+ todo: ["Planned", "gray"],
744
+ "to do": ["Planned", "gray"],
745
+ backlog: ["Planned", "gray"],
746
+ "in progress": ["In progress", "amber"],
747
+ "in-progress": ["In progress", "amber"],
748
+ wip: ["In progress", "amber"],
749
+ running: ["In progress", "amber"],
750
+ active: ["In progress", "amber"],
751
+ done: ["Done", "green"],
752
+ complete: ["Done", "green"],
753
+ completed: ["Done", "green"],
754
+ blocked: ["Blocked", "red"],
755
+ failed: ["Failed", "red"],
756
+ abandoned: ["Abandoned", "gray"],
757
+ };
758
+
759
+ function statusBadge(val) {
760
+ const [label, tone] = STATUS_MAP[val.toLowerCase()] || [val || "—", "gray"];
761
+ return `<span class="badge ${tone}">${esc(label)}</span>`;
762
+ }
763
+
764
+ function renderTable(rows, container) {
765
+ if (rows.length < 2) return;
766
+ const header = rows[0];
767
+ const body = rows.slice(2);
768
+ const roles = header.map((h) => {
769
+ const t = h.toLowerCase();
770
+ if (t.includes("status") || t.includes("state")) return "status";
771
+ if (t.includes("progress") || t.includes("complete") || t.includes("done"))
772
+ return "check";
773
+ if (t === "who" || t.includes("assign") || t.includes("owner")) return "who";
774
+ return "text";
775
+ });
776
+ const table = document.createElement("table");
777
+ table.className = "board";
778
+ const thead = document.createElement("thead");
779
+ const htr = document.createElement("tr");
780
+ header.forEach((h, c) => {
781
+ const th = document.createElement("th");
782
+ th.textContent = h;
783
+ if (roles[c] === "check") th.className = "col-check";
784
+ htr.appendChild(th);
785
+ });
786
+ thead.appendChild(htr);
787
+ table.appendChild(thead);
788
+ const tbody = document.createElement("tbody");
789
+ body.forEach((cells) => {
790
+ const nonEmpty = cells.filter((x) => x !== "").length;
791
+ if (header.length > 1 && nonEmpty === 1 && cells[0]) {
792
+ const tr = document.createElement("tr");
793
+ tr.className = "section-row";
794
+ const td = document.createElement("td");
795
+ td.colSpan = header.length;
796
+ td.innerHTML = inline(cells[0]);
797
+ tr.appendChild(td);
798
+ tbody.appendChild(tr);
799
+ return;
800
+ }
801
+ const tr = document.createElement("tr");
802
+ header.forEach((_, c) => {
803
+ const td = document.createElement("td");
804
+ const val = (cells[c] || "").trim();
805
+ if (roles[c] === "status") {
806
+ td.className = "col-status";
807
+ td.innerHTML = statusBadge(val);
808
+ } else if (roles[c] === "check") {
809
+ td.className = "col-check";
810
+ const on = TRUTHY.indexOf(val.toLowerCase()) !== -1;
811
+ td.innerHTML = `<span class="box ${on ? "on" : ""}">${on ? "✓" : ""}</span>`;
812
+ } else if (roles[c] === "who") {
813
+ if (!val || /^to assign$/i.test(val)) {
814
+ td.innerHTML = `<span class="who-chip muted">${esc(val || "—")}</span>`;
815
+ } else {
816
+ const [bg, fg] = chipColor(val);
817
+ td.innerHTML = `<span class="who-chip" style="background:${bg};color:${fg}">${esc(val)}</span>`;
818
+ }
819
+ } else {
820
+ td.innerHTML = inline(val);
821
+ }
822
+ tr.appendChild(td);
823
+ });
824
+ const link = tr.querySelector('a[href^="#/"]');
825
+ if (link) {
826
+ tr.classList.add("linked-row");
827
+ tr.addEventListener("click", (e) => {
828
+ if (e.target.tagName !== "A") location.hash = link.getAttribute("href");
829
+ });
830
+ }
831
+ tbody.appendChild(tr);
832
+ });
833
+ table.appendChild(tbody);
834
+ const wrap = document.createElement("div");
835
+ wrap.className = "board-wrap";
836
+ wrap.appendChild(table);
837
+ container.appendChild(wrap);
838
+ }
839
+
840
+ const HL_RULES = {
841
+ python: [
842
+ ["comment", /#[^\n]*/],
843
+ ["string", /'''[\s\S]*?'''|"""[\s\S]*?"""|'(?:\\.|[^'\\])*'|"(?:\\.|[^"\\])*"/],
844
+ [
845
+ "keyword",
846
+ /\b(?:def|class|return|if|elif|else|for|while|import|from|as|with|try|except|finally|raise|in|not|and|or|is|None|True|False|lambda|yield|global|nonlocal|assert|pass|break|continue|async|await|print)\b/,
847
+ ],
848
+ ["number", /\b\d[\d_.eE+-]*\b/],
849
+ ],
850
+ bash: [
851
+ ["comment", /#[^\n]*/],
852
+ ["string", /'(?:\\.|[^'\\])*'|"(?:\\.|[^"\\])*"/],
853
+ ["keyword", /\b(?:if|then|else|fi|for|in|do|done|while|case|esac|function|export|source|echo|cd|return|local)\b/],
854
+ ["number", /(?<=\s)-{1,2}[a-zA-Z][\w-]*/],
855
+ ],
856
+ json: [
857
+ ["string", /"(?:\\.|[^"\\])*"/],
858
+ ["keyword", /\b(?:true|false|null)\b/],
859
+ ["number", /-?\b\d[\d.eE+-]*\b/],
860
+ ],
861
+ yaml: [
862
+ ["comment", /#[^\n]*/],
863
+ ["string", /'(?:\\.|[^'\\])*'|"(?:\\.|[^"\\])*"/],
864
+ ["keyword", /\b(?:true|false|null|yes|no)\b/],
865
+ ["number", /-?\b\d[\d.eE+-]*\b/],
866
+ ],
867
+ };
868
+ HL_RULES.javascript = HL_RULES.python;
869
+ HL_RULES.typescript = HL_RULES.python;
870
+ HL_RULES.sql = [
871
+ ["comment", /--[^\n]*/],
872
+ ["string", /'(?:\\.|[^'\\])*'/],
873
+ [
874
+ "keyword",
875
+ /\b(?:SELECT|FROM|WHERE|JOIN|LEFT|RIGHT|INNER|OUTER|ON|GROUP|BY|ORDER|LIMIT|INSERT|INTO|VALUES|UPDATE|SET|DELETE|CREATE|TABLE|AS|AND|OR|NOT|NULL|COUNT|DISTINCT|IN)\b/i,
876
+ ],
877
+ ["number", /\b\d[\d.]*\b/],
878
+ ];
879
+
880
+ function highlightCode(code, lang) {
881
+ const rules = HL_RULES[lang];
882
+ if (!rules) return esc(code);
883
+ const combined = new RegExp(rules.map((r) => "(" + r[1].source + ")").join("|"), "g");
884
+ let out = "";
885
+ let last = 0;
886
+ let m;
887
+ while ((m = combined.exec(code))) {
888
+ if (m[0] === "") {
889
+ combined.lastIndex++;
890
+ continue;
891
+ }
892
+ out += esc(code.slice(last, m.index));
893
+ let gi = 1;
894
+ while (gi < m.length && m[gi] === undefined) gi++;
895
+ out += `<span class="tok-${rules[gi - 1][0]}">${esc(m[0])}</span>`;
896
+ last = m.index + m[0].length;
897
+ }
898
+ out += esc(code.slice(last));
899
+ return out;
900
+ }
901
+
902
+ function copySnippetBtn(text) {
903
+ const btn = document.createElement("button");
904
+ btn.type = "button";
905
+ btn.className = "copy-snippet";
906
+ btn.title = "Copy";
907
+ btn.textContent = "⧉";
908
+ btn.addEventListener("click", (e) => {
909
+ e.preventDefault();
910
+ e.stopPropagation();
911
+ copyText(text, btn, "⧉");
912
+ });
913
+ return btn;
914
+ }
915
+
916
+ function renderCode(code, lang, title) {
917
+ const pre = document.createElement("pre");
918
+ pre.className = "hl";
919
+ const c = document.createElement("code");
920
+ c.innerHTML = highlightCode(code, lang);
921
+ pre.appendChild(c);
922
+ if (!title) {
923
+ const wrap = document.createElement("div");
924
+ wrap.className = "snippet";
925
+ wrap.appendChild(pre);
926
+ wrap.appendChild(copySnippetBtn(code));
927
+ return wrap;
928
+ }
929
+ const det = document.createElement("details");
930
+ det.className = "code-accordion";
931
+ det.dataset.resUrl = `trackio-script://${title}`;
932
+ const sum = document.createElement("summary");
933
+ sum.innerHTML =
934
+ `<span class="code-ico">&lt;/&gt;</span>` +
935
+ `<span class="code-name">${esc(title)}</span>`;
936
+ sum
937
+ .querySelector(".code-name")
938
+ .addEventListener("click", (e) => e.preventDefault());
939
+ det.appendChild(sum);
940
+ const wrap = document.createElement("div");
941
+ wrap.className = "snippet";
942
+ wrap.appendChild(pre);
943
+ wrap.appendChild(copySnippetBtn(code));
944
+ det.appendChild(wrap);
945
+ return det;
946
+ }
947
+
948
+ const IMG_PATH = /^[^\s]+\.(png|jpe?g|gif|svg|webp)$/i;
949
+
950
+ function renderList(items, container) {
951
+ let ul = null;
952
+ items.forEach((item) => {
953
+ if (URL_ONLY.test(item) || IMG_PATH.test(item)) {
954
+ const el = renderStandaloneUrl(item);
955
+ if (el) {
956
+ ul = null;
957
+ container.appendChild(el);
958
+ }
959
+ } else if (item.indexOf("📦 Artifact") !== -1) {
960
+ ul = null;
961
+ const div = document.createElement("div");
962
+ div.className = "artifact-chip";
963
+ div.innerHTML = inline(item.replace("📦", "🪣"));
964
+ container.appendChild(div);
965
+ } else if (item.indexOf("trackio-local-dashboard://") !== -1) {
966
+ ul = null;
967
+ const uri = item.match(/trackio-local-dashboard:\/\/\S+/)?.[0] || "";
968
+ const div = document.createElement("div");
969
+ div.className = "artifact-chip";
970
+ if (uri) div.dataset.resUrl = uri;
971
+ div.innerHTML =
972
+ "🎯 <strong>Local dashboard</strong> — publish the logbook to share it";
973
+ container.appendChild(div);
974
+ } else {
975
+ if (!ul) {
976
+ ul = document.createElement("ul");
977
+ container.appendChild(ul);
978
+ }
979
+ const li = document.createElement("li");
980
+ li.innerHTML = inline(item);
981
+ ul.appendChild(li);
982
+ }
983
+ });
984
+ }
985
+
986
+ /* -------------------- resources rail -------------------- */
987
+
988
+ function fmt(n) {
989
+ if (n == null) return null;
990
+ if (n >= 1e6) return (n / 1e6).toFixed(1) + "M";
991
+ if (n >= 1e3) return (n / 1e3).toFixed(1) + "k";
992
+ return String(n);
993
+ }
994
+
995
+ const RESOURCE_SECTIONS = [
996
+ ["dashboard", "Dashboards", "🎯"],
997
+ ["model", "Models", "🤗"],
998
+ ["dataset", "Datasets", "📊"],
999
+ ["space", "Spaces", "🚀"],
1000
+ ["artifact", "Artifacts", "🪣"],
1001
+ ["paper", "Papers", "📄"],
1002
+ ["repo", "Code", "🐙"],
1003
+ ["job", "Jobs", "⚙️"],
1004
+ ["bucket", "Buckets", "🪣"],
1005
+ ];
1006
+
1007
+ const RESOURCE_ICONS = Object.fromEntries(
1008
+ RESOURCE_SECTIONS.map(([kind, , icon]) => [kind, icon])
1009
+ );
1010
+
1011
+ const ARTIFACT_ICON_IMG = `<img class="art-ico" src="./bucket-icon.svg" alt="" />`;
1012
+ const DASHBOARD_ICON_IMG = `<img class="art-ico" src="./trackio-logo-light.png" alt="" />`;
1013
+
1014
+ const RESOURCE_DESC = {
1015
+ dashboard: "Dashboard",
1016
+ model: "Model",
1017
+ dataset: "Dataset",
1018
+ space: "Space",
1019
+ artifact: "Artifact — in Bucket",
1020
+ paper: "Paper",
1021
+ repo: "Repository",
1022
+ job: "Job — status & logs",
1023
+ bucket: "Bucket — artifacts & data",
1024
+ };
1025
+
1026
+ const HF_NON_MODEL_PREFIX =
1027
+ /^(datasets|spaces|jobs|buckets|papers|blog|docs|api|posts|collections|organizations|settings|new|join|login|pricing|tasks|learn|chat|models)(\/|$)/;
1028
+
1029
+ function hfId(url, marker) {
1030
+ return url.split(marker)[1].split(/[?#]/)[0].replace(/\/$/, "");
1031
+ }
1032
+
1033
+ function classifyResource(url) {
1034
+ if (IMG_URL.test(url)) {
1035
+ return null;
1036
+ }
1037
+ let m;
1038
+ if (url.startsWith("trackio-local-dashboard://")) {
1039
+ return {
1040
+ kind: "dashboard",
1041
+ id: url.slice("trackio-local-dashboard://".length),
1042
+ url,
1043
+ local: true,
1044
+ };
1045
+ }
1046
+ if (url.startsWith("trackio-artifact://")) {
1047
+ return {
1048
+ kind: "artifact",
1049
+ id: url.slice("trackio-artifact://".length),
1050
+ url,
1051
+ local: true,
1052
+ };
1053
+ }
1054
+ if (url.startsWith("trackio-local-path://")) {
1055
+ return {
1056
+ kind: "artifact",
1057
+ id: url.slice("trackio-local-path://".length),
1058
+ url,
1059
+ local: true,
1060
+ };
1061
+ }
1062
+ if ((m = url.match(/huggingface\.co\/buckets\/[^#\s]+#(.+)/))) {
1063
+ return { kind: "artifact", id: decodeURIComponent(m[1]), url };
1064
+ }
1065
+ if (/huggingface\.co\/datasets\/[^/]+\/[^/]+/.test(url)) {
1066
+ return { kind: "dataset", id: hfId(url, "/datasets/"), url };
1067
+ }
1068
+ if (/huggingface\.co\/spaces\/[^/]+\/[^/]+/.test(url)) {
1069
+ return { kind: "space", id: hfId(url, "/spaces/"), url };
1070
+ }
1071
+ if (/huggingface\.co\/jobs\//.test(url)) {
1072
+ const parts = hfId(url, "/jobs/").split("/");
1073
+ const jid = parts[1] || "";
1074
+ return {
1075
+ kind: "job",
1076
+ id: parts[0] + (jid ? ` · ${jid.slice(0, 12)}${jid.length > 12 ? "…" : ""}` : ""),
1077
+ url,
1078
+ };
1079
+ }
1080
+ if (/huggingface\.co\/buckets\//.test(url)) {
1081
+ return { kind: "bucket", id: hfId(url, "/buckets/"), url };
1082
+ }
1083
+ if (/huggingface\.co\/papers\//.test(url)) {
1084
+ return { kind: "paper", id: `Paper ${hfId(url, "/papers/")}`, url };
1085
+ }
1086
+ if ((m = url.match(/arxiv\.org\/(?:abs|pdf)\/([^?#\s]+)/))) {
1087
+ return { kind: "paper", id: `arXiv:${m[1].replace(/\.pdf$/, "")}`, url };
1088
+ }
1089
+ if ((m = url.match(/github\.com\/([^/?#]+\/[^/?#]+)/))) {
1090
+ return { kind: "repo", id: m[1], url };
1091
+ }
1092
+ if ((m = url.match(/huggingface\.co\/([^?#]+)/))) {
1093
+ const rest = m[1].replace(/\/$/, "");
1094
+ if (/^[^/]+\/[^/]+$/.test(rest) && !HF_NON_MODEL_PREFIX.test(rest)) {
1095
+ return { kind: "model", id: rest, url };
1096
+ }
1097
+ }
1098
+ return null;
1099
+ }
1100
+
1101
+ async function fillRailMeta(item, el) {
1102
+ if (item.local) return;
1103
+ const meta = el.querySelector(".rail-meta");
1104
+ const set = (parts) => {
1105
+ const text = parts.filter(Boolean).join(" · ");
1106
+ if (text) meta.textContent = text;
1107
+ };
1108
+ if (item.kind === "model") {
1109
+ const d = await getJSON(`https://huggingface.co/api/models/${item.id}`);
1110
+ if (d) set([d.pipeline_tag, `↓ ${fmt(d.downloads)}`, `♥ ${fmt(d.likes)}`]);
1111
+ } else if (item.kind === "dataset") {
1112
+ const d = await getJSON(`https://huggingface.co/api/datasets/${item.id}`);
1113
+ if (d) set([`↓ ${fmt(d.downloads)}`, `♥ ${fmt(d.likes)}`]);
1114
+ } else if (item.kind === "space" || item.kind === "dashboard") {
1115
+ const d = await getJSON(`https://huggingface.co/api/spaces/${item.id}`);
1116
+ if (d) set([d.sdk, `♥ ${fmt(d.likes)}`]);
1117
+ } else if (item.kind === "repo") {
1118
+ const d = await getJSON(`https://api.github.com/repos/${item.id}`);
1119
+ if (d) set([`★ ${fmt(d.stargazers_count)}`, d.language]);
1120
+ } else if (item.kind === "paper") {
1121
+ const m = item.id.match(/^(?:arXiv:|Paper )(.+)$/);
1122
+ if (!m) return;
1123
+ const arxivId = m[1].replace(/v\d+$/, "");
1124
+ const d = await getJSON(`https://huggingface.co/api/papers/${arxivId}`);
1125
+ if (d && d.id) {
1126
+ if (el.href) el.href = `https://huggingface.co/papers/${d.id}`;
1127
+ const title =
1128
+ d.title && d.title.length > 70 ? `${d.title.slice(0, 69)}…` : d.title;
1129
+ set([title, d.upvotes ? `▲ ${fmt(d.upvotes)}` : null]);
1130
+ }
1131
+ }
1132
+ }
1133
+
1134
+ const BARE_ID_SKIP_DIRS = new Set([
1135
+ "scripts",
1136
+ "configs",
1137
+ "config",
1138
+ "results",
1139
+ "figures",
1140
+ "data",
1141
+ "datasets",
1142
+ "src",
1143
+ "tests",
1144
+ "test",
1145
+ "examples",
1146
+ "pages",
1147
+ "assets",
1148
+ "docs",
1149
+ "outputs",
1150
+ "output",
1151
+ "checkpoints",
1152
+ "models",
1153
+ "utils",
1154
+ "lib",
1155
+ "bin",
1156
+ "tmp",
1157
+ "node_modules",
1158
+ "dist",
1159
+ "build",
1160
+ ]);
1161
+ const FILE_EXT_RE =
1162
+ /\.(py|pyc|js|ts|jsx|tsx|json|jsonl|yaml|yml|csv|tsv|md|txt|sh|bash|html|css|png|jpe?g|svg|gif|webp|ipynb|toml|cfg|ini|lock|pdf|whl|gz|zip|tar|pt|pth|bin|safetensors|db|sqlite)$/i;
1163
+
1164
+ async function detectBareModelIds(text, groups) {
1165
+ const stripped = text.replace(DETECTED_URL, " ");
1166
+ DETECTED_URL.lastIndex = 0;
1167
+ const seen = new Set();
1168
+ const candidates = [];
1169
+ const re = /(^|[\s"'`(=[])([A-Za-z0-9][\w.-]*\/[A-Za-z0-9][\w.-]*)/g;
1170
+ let m;
1171
+ while ((m = re.exec(stripped)) && candidates.length < 15) {
1172
+ const id = m[2].replace(/[.:,]+$/, "");
1173
+ if (seen.has(id)) continue;
1174
+ seen.add(id);
1175
+ if (FILE_EXT_RE.test(id)) continue;
1176
+ if (BARE_ID_SKIP_DIRS.has(id.split("/")[0].toLowerCase())) continue;
1177
+ candidates.push(id);
1178
+ }
1179
+ const results = await Promise.all(
1180
+ candidates.map((id) => getJSON(`https://huggingface.co/api/models/${id}`))
1181
+ );
1182
+ let added = false;
1183
+ const confirmed = [];
1184
+ results.forEach((d, i) => {
1185
+ if (!d || !d.id) return;
1186
+ const id = candidates[i];
1187
+ confirmed.push(id);
1188
+ const url = `https://huggingface.co/${id}`;
1189
+ if (!groups.has("model")) groups.set("model", new Map());
1190
+ if (!groups.get("model").has(url)) {
1191
+ groups.get("model").set(url, { kind: "model", id, url });
1192
+ added = true;
1193
+ }
1194
+ });
1195
+ return { added, confirmed };
1196
+ }
1197
+
1198
+ function chipifyBareIds(ids, container) {
1199
+ if (!ids.length) return;
1200
+ const escaped = ids.map((id) => id.replace(/[.*+?^${}()|[\]\\]/g, "\\$&"));
1201
+ const pattern = new RegExp("(" + escaped.join("|") + ")");
1202
+ const splitter = new RegExp(pattern.source, "g");
1203
+ container
1204
+ .querySelectorAll(".cell.markdown .cell-body")
1205
+ .forEach((body) => {
1206
+ const walker = document.createTreeWalker(body, NodeFilter.SHOW_TEXT, {
1207
+ acceptNode(node) {
1208
+ if (!pattern.test(node.nodeValue)) return NodeFilter.FILTER_REJECT;
1209
+ for (
1210
+ let el = node.parentElement;
1211
+ el && el !== body;
1212
+ el = el.parentElement
1213
+ ) {
1214
+ if (["A", "CODE", "PRE", "BUTTON"].indexOf(el.tagName) !== -1) {
1215
+ return NodeFilter.FILTER_REJECT;
1216
+ }
1217
+ }
1218
+ return NodeFilter.FILTER_ACCEPT;
1219
+ },
1220
+ });
1221
+ const nodes = [];
1222
+ while (walker.nextNode()) nodes.push(walker.currentNode);
1223
+ nodes.forEach((node) => {
1224
+ const frag = document.createDocumentFragment();
1225
+ node.nodeValue.split(splitter).forEach((part) => {
1226
+ if (ids.indexOf(part) !== -1) {
1227
+ const holder = document.createElement("span");
1228
+ holder.innerHTML = resChipHtml({
1229
+ kind: "model",
1230
+ id: part,
1231
+ url: `https://huggingface.co/${part}`,
1232
+ });
1233
+ frag.appendChild(holder.firstChild);
1234
+ } else if (part) {
1235
+ frag.appendChild(document.createTextNode(part));
1236
+ }
1237
+ });
1238
+ node.parentNode.replaceChild(frag, node);
1239
+ });
1240
+ });
1241
+ }
1242
+
1243
+ let RAIL_TOKEN = 0;
1244
+ const RAIL_EXCLUDE_KINDS = new Set(["paper", "repo", "artifact", "dashboard"]);
1245
+
1246
+ function railDashboardItem(it) {
1247
+ return {
1248
+ kind: "dashboard",
1249
+ id: it.id,
1250
+ url: it.local ? it.resUrl : it.url || it.resUrl,
1251
+ local: it.local,
1252
+ railLabel: "Dashboard",
1253
+ };
1254
+ }
1255
+
1256
+ function promoteTrackioSpacesInRail(groups, dashResUrls, body, rail, token) {
1257
+ const spaceGroup = groups.get("space");
1258
+ if (!spaceGroup || !spaceGroup.size) return;
1259
+ spaceGroup.forEach((item, url) => {
1260
+ getJSON(`https://huggingface.co/api/spaces/${item.id}`)
1261
+ .then((d) => {
1262
+ if (rail.dataset.renderToken !== token) return;
1263
+ const tags = (d && d.tags) || [];
1264
+ if (!tags.some((t) => String(t).toLowerCase() === "trackio")) return;
1265
+ if (dashResUrls.has(url)) return;
1266
+ spaceGroup.delete(url);
1267
+ if (!spaceGroup.size) groups.delete("space");
1268
+ if (!groups.has("dashboard")) groups.set("dashboard", new Map());
1269
+ groups.get("dashboard").set(url, {
1270
+ kind: "dashboard",
1271
+ id: item.id,
1272
+ url: item.url,
1273
+ local: false,
1274
+ railLabel: "Dashboard",
1275
+ });
1276
+ dashResUrls.add(url);
1277
+ paintRail(groups, body, rail);
1278
+ })
1279
+ .catch(() => {});
1280
+ });
1281
+ }
1282
+
1283
+ function renderRail(md, body, rail) {
1284
+ const token = String(++RAIL_TOKEN);
1285
+ rail.dataset.renderToken = token;
1286
+ const scanText = md.replace(
1287
+ /(`{3,4}|~{3,4})(html|raw)[^\n]*\n[\s\S]*?\n\1/g,
1288
+ " "
1289
+ );
1290
+ const groups = new Map();
1291
+ const dashMap = new Map();
1292
+ const dashResUrls = new Set();
1293
+ cellDashboardItems(md).forEach((it) => {
1294
+ if (dashMap.has(it.resUrl)) return;
1295
+ dashMap.set(it.resUrl, railDashboardItem(it));
1296
+ dashResUrls.add(it.resUrl);
1297
+ });
1298
+ if (dashMap.size) groups.set("dashboard", dashMap);
1299
+ extractUrls(scanText).forEach((url) => {
1300
+ const item = classifyResource(url);
1301
+ if (!item) return;
1302
+ if (RAIL_EXCLUDE_KINDS.has(item.kind)) return;
1303
+ if (dashResUrls.has(url)) return;
1304
+ if (!groups.has(item.kind)) groups.set(item.kind, new Map());
1305
+ groups.get(item.kind).set(item.url, item);
1306
+ });
1307
+ const artMap = new Map();
1308
+ cellArtifactItems(md).forEach((it) => {
1309
+ if (artMap.has(it.resUrl)) return;
1310
+ const label = it.type
1311
+ ? it.type.charAt(0).toUpperCase() + it.type.slice(1)
1312
+ : "Artifact";
1313
+ artMap.set(it.resUrl, {
1314
+ kind: "artifact",
1315
+ id: it.name,
1316
+ url: it.local ? it.resUrl : it.url || it.resUrl,
1317
+ local: it.local,
1318
+ railLabel: label,
1319
+ size: it.size,
1320
+ });
1321
+ });
1322
+ if (artMap.size) groups.set("artifact", artMap);
1323
+ paintRail(groups, body, rail);
1324
+ promoteTrackioSpacesInRail(groups, dashResUrls, body, rail, token);
1325
+ detectBareModelIds(scanText, groups)
1326
+ .then((result) => {
1327
+ if (rail.dataset.renderToken !== token) return;
1328
+ chipifyBareIds(result.confirmed, body);
1329
+ if (result.added) paintRail(groups, body, rail);
1330
+ })
1331
+ .catch(() => {});
1332
+ }
1333
+
1334
+ function paintRail(groups, body, rail) {
1335
+ rail.innerHTML = "";
1336
+ RESOURCE_SECTIONS.forEach(([kind, label, icon]) => {
1337
+ const group = groups.get(kind);
1338
+ if (!group || !group.size) return;
1339
+ group.forEach((item) => {
1340
+ const el = document.createElement(item.local ? "div" : "a");
1341
+ el.className = item.local ? "rail-item rail-local" : "rail-item";
1342
+ if (!item.local) {
1343
+ el.href = item.url;
1344
+ el.target = "_blank";
1345
+ el.rel = "noopener";
1346
+ }
1347
+ el.dataset.resUrl = item.url;
1348
+ let desc;
1349
+ if (kind === "artifact") {
1350
+ const state = item.local ? "publish to share" : "Open ↗";
1351
+ desc = item.size ? `${item.size} · ${state}` : state;
1352
+ } else if (kind === "dashboard") {
1353
+ desc = item.local ? "publish to share" : "Open ↗";
1354
+ } else {
1355
+ desc = item.local ? "publish to share" : RESOURCE_DESC[kind];
1356
+ }
1357
+ const kindLabel = item.railLabel || label.replace(/s$/, "");
1358
+ const iconHtml =
1359
+ kind === "artifact"
1360
+ ? ARTIFACT_ICON_IMG
1361
+ : kind === "dashboard"
1362
+ ? DASHBOARD_ICON_IMG
1363
+ : `<span>${icon}</span>`;
1364
+ el.innerHTML =
1365
+ `<div class="rail-kind">${iconHtml}${esc(kindLabel)}</div>` +
1366
+ `<div class="rail-title">${esc(item.id)}</div>` +
1367
+ `<div class="rail-meta">${esc(desc)}</div>`;
1368
+ rail.appendChild(el);
1369
+ fillRailMeta(item, el)
1370
+ .catch(() => {})
1371
+ .finally(() => scheduleRailPosition(body, rail));
1372
+ });
1373
+ });
1374
+ rail.hidden = !rail.childElementCount;
1375
+ scheduleRailPosition(body, rail);
1376
+ }
1377
+
1378
+ function resourceAnchor(body, url) {
1379
+ return body.querySelector(`[data-res-url="${CSS.escape(url)}"]`);
1380
+ }
1381
+
1382
+ function positionRail(body, rail) {
1383
+ if (rail.hidden || !rail.isConnected) return;
1384
+ const bodyRect = body.getBoundingClientRect();
1385
+ const items = Array.from(rail.querySelectorAll(".rail-item")).map((el, index) => {
1386
+ const anchor = resourceAnchor(body, el.dataset.resUrl);
1387
+ return {
1388
+ el,
1389
+ index,
1390
+ desired: anchor
1391
+ ? Math.max(0, anchor.getBoundingClientRect().top - bodyRect.top)
1392
+ : 0,
1393
+ };
1394
+ });
1395
+ items.sort((a, b) => a.desired - b.desired || a.index - b.index);
1396
+ let cursor = 0;
1397
+ items.forEach(({ el, desired }) => {
1398
+ const top = Math.max(desired, cursor);
1399
+ el.style.top = `${top}px`;
1400
+ cursor = top + el.offsetHeight + 10;
1401
+ });
1402
+ rail.style.minHeight = `${Math.max(body.offsetHeight, cursor)}px`;
1403
+ }
1404
+
1405
+ function scheduleRailPosition(body, rail) {
1406
+ cancelAnimationFrame(Number(rail.dataset.positionFrame || 0));
1407
+ rail.dataset.positionFrame = String(
1408
+ requestAnimationFrame(() => positionRail(body, rail))
1409
+ );
1410
+ }
1411
+
1412
+ function dashboardSubdomainFromUrl(url) {
1413
+ return spaceIdFromUrl(url).toLowerCase().replace(/[^a-z0-9-]/g, "-");
1414
+ }
1415
+
1416
+ function dashboardOpenLink(head, url) {
1417
+ if (!head || !url) return;
1418
+ const meta = head.querySelector(".cell-meta");
1419
+ if (!meta) return;
1420
+ let link = meta.querySelector(".cell-open");
1421
+ if (!link) {
1422
+ link = document.createElement("a");
1423
+ link.className = "cell-open";
1424
+ link.target = "_blank";
1425
+ link.rel = "noopener";
1426
+ meta.insertBefore(link, meta.firstChild);
1427
+ }
1428
+ link.href = url;
1429
+ link.textContent = "Open ↗";
1430
+ }
1431
+
1432
+ function dashboardFrame(src) {
1433
+ const iframe = document.createElement("iframe");
1434
+ iframe.className = "dashboard-frame";
1435
+ iframe.src = src;
1436
+ iframe.loading = "lazy";
1437
+ iframe.allow = "clipboard-read; clipboard-write; fullscreen";
1438
+ return iframe;
1439
+ }
1440
+
1441
+ function renderDashboardCell(meta, body, container, head) {
1442
+ const project = meta.dashboard_project || "";
1443
+ const holder = document.createElement("div");
1444
+ holder.className = "dashboard-shell";
1445
+ container.appendChild(holder);
1446
+ const space = body.match(/https:\/\/huggingface\.co\/spaces\/[^\s<>)"'`]+/);
1447
+ if (space) {
1448
+ const url = space[0];
1449
+ dashboardOpenLink(head, url);
1450
+ holder.appendChild(
1451
+ dashboardFrame(
1452
+ `https://${dashboardSubdomainFromUrl(url)}.hf.space/?sidebar=hidden&hide_empty_tabs=true`
1453
+ )
1454
+ );
1455
+ return;
1456
+ }
1457
+ if (!isLocalPreview()) {
1458
+ holder.className = "artifact-chip";
1459
+ holder.dataset.resUrl = `trackio-local-dashboard://${project}`;
1460
+ holder.innerHTML =
1461
+ "🎯 <strong>Local Trackio dashboard</strong> — publish the logbook to share it";
1462
+ return;
1463
+ }
1464
+ const open = "/dashboard/?project=" + encodeURIComponent(project);
1465
+ dashboardOpenLink(head, open);
1466
+ holder.appendChild(
1467
+ dashboardFrame(open + "&sidebar=hidden&hide_empty_tabs=true"),
1468
+ );
1469
+ }
1470
+
1471
+ const CACHE_PREFIX = "trackio-logbook:";
1472
+ const CACHE_TTL_MS = 24 * 60 * 60 * 1000;
1473
+ const CACHE_MISS_TTL_MS = 60 * 60 * 1000;
1474
+
1475
+ function cacheGet(url) {
1476
+ try {
1477
+ const raw = localStorage.getItem(CACHE_PREFIX + url);
1478
+ if (!raw) return undefined;
1479
+ const entry = JSON.parse(raw);
1480
+ const ttl = entry.d === null ? CACHE_MISS_TTL_MS : CACHE_TTL_MS;
1481
+ if (Date.now() - entry.t > ttl) {
1482
+ localStorage.removeItem(CACHE_PREFIX + url);
1483
+ return undefined;
1484
+ }
1485
+ return entry.d;
1486
+ } catch (e) {
1487
+ return undefined;
1488
+ }
1489
+ }
1490
+
1491
+ function cacheSet(url, data) {
1492
+ try {
1493
+ localStorage.setItem(
1494
+ CACHE_PREFIX + url,
1495
+ JSON.stringify({ t: Date.now(), d: data })
1496
+ );
1497
+ } catch (e) {}
1498
+ }
1499
+
1500
+ async function getJSON(url) {
1501
+ if (UNFURL_CACHE[url] !== undefined) return UNFURL_CACHE[url];
1502
+ const cached = cacheGet(url);
1503
+ if (cached !== undefined) {
1504
+ UNFURL_CACHE[url] = cached;
1505
+ return cached;
1506
+ }
1507
+ try {
1508
+ const r = await fetch(url);
1509
+ if (!r.ok) throw new Error(r.status);
1510
+ const j = await r.json();
1511
+ UNFURL_CACHE[url] = j;
1512
+ cacheSet(url, j);
1513
+ return j;
1514
+ } catch (e) {
1515
+ UNFURL_CACHE[url] = null;
1516
+ cacheSet(url, null);
1517
+ return null;
1518
+ }
1519
+ }
1520
+
1521
+ /* -------------------- routing / render -------------------- */
1522
+
1523
+ function buildTree() {
1524
+ const tree = document.getElementById("tree");
1525
+ tree.innerHTML = "";
1526
+ const nodes = [];
1527
+ (MANIFEST.root.children || []).forEach((c) => flattenTree(c, 0, nodes));
1528
+ nodes.forEach(({ node, depth }) => {
1529
+ const a = document.createElement("a");
1530
+ a.href = "#/" + node.slug;
1531
+ a.className = "depth-" + depth;
1532
+ a.dataset.slug = node.slug;
1533
+ const mark = document.createElement("span");
1534
+ mark.className = "tree-mark";
1535
+ mark.textContent = "§";
1536
+ a.appendChild(mark);
1537
+ a.appendChild(document.createTextNode(" " + node.title));
1538
+ tree.appendChild(a);
1539
+ });
1540
+ }
1541
+
1542
+ function highlight(slug) {
1543
+ document
1544
+ .querySelectorAll("#tree a")
1545
+ .forEach((a) => a.classList.toggle("active", a.dataset.slug === slug));
1546
+ document
1547
+ .getElementById("book-head")
1548
+ .classList.toggle("active", slug === MANIFEST.root.slug);
1549
+ }
1550
+
1551
+ function clearPageCache() {
1552
+ Object.keys(PAGE_CACHE).forEach((key) => {
1553
+ delete PAGE_CACHE[key];
1554
+ });
1555
+ }
1556
+
1557
+ function isLocalPreview() {
1558
+ return ["localhost", "127.0.0.1", "::1"].includes(location.hostname);
1559
+ }
1560
+
1561
+ async function fetchManifest() {
1562
+ const suffix = isLocalPreview() ? `?t=${Date.now()}` : "";
1563
+ return await (await fetch("./logbook.json" + suffix, { cache: "no-store" })).json();
1564
+ }
1565
+
1566
+ async function fetchPage(node) {
1567
+ if (PAGE_CACHE[node.file]) return PAGE_CACHE[node.file];
1568
+ try {
1569
+ const suffix = isLocalPreview()
1570
+ ? `?rev=${encodeURIComponent(MANIFEST.revision || "")}`
1571
+ : "";
1572
+ const r = await fetch("./" + node.file + suffix, { cache: "no-store" });
1573
+ PAGE_CACHE[node.file] = await r.text();
1574
+ } catch (e) {
1575
+ PAGE_CACHE[node.file] = "# " + node.title + "\n\n_Could not load section._";
1576
+ }
1577
+ return PAGE_CACHE[node.file];
1578
+ }
1579
+
1580
+ function allNodes() {
1581
+ const nodes = [];
1582
+ flattenTree(MANIFEST.root, 0, nodes);
1583
+ return nodes.map(({ node }) => node);
1584
+ }
1585
+
1586
+ function collectPinnedCells(markdown, nodes) {
1587
+ const cells = [];
1588
+ markdown.forEach((text, index) => {
1589
+ const cellRe = /(^|\n)---\n<!-- trackio-cell\n([\s\S]*?)\n-->\n([\s\S]*?)(?=\n---\n<!-- trackio-cell\n|\s*$)/g;
1590
+ let match;
1591
+ let cellIndex = 0;
1592
+ while ((match = cellRe.exec(text))) {
1593
+ const meta = parseCellMeta(match[2]);
1594
+ if (isPinned(meta)) {
1595
+ cells.push({
1596
+ meta,
1597
+ body: match[3],
1598
+ node: nodes[index],
1599
+ index: cells.length,
1600
+ order: meta.pinned_at || meta.created_at || "",
1601
+ cellIndex,
1602
+ });
1603
+ }
1604
+ cellIndex++;
1605
+ }
1606
+ });
1607
+ return cells.sort(
1608
+ (a, b) =>
1609
+ a.order.localeCompare(b.order) ||
1610
+ a.index - b.index ||
1611
+ a.cellIndex - b.cellIndex
1612
+ );
1613
+ }
1614
+
1615
+ function renderPinnedNotes(cells, container) {
1616
+ if (!cells.length) return;
1617
+ const deck = document.createElement("section");
1618
+ deck.className = "pinned-notes";
1619
+ const list = document.createElement("div");
1620
+ list.className = "pinned-notes-list";
1621
+ cells.forEach(({ meta, body }) => {
1622
+ const cell = renderCell(meta, body, list);
1623
+ cell.classList.add("pinned-copy");
1624
+ });
1625
+ deck.appendChild(list);
1626
+ const anchor =
1627
+ container.querySelector(".logbook-stats") ||
1628
+ container.querySelector(".agent-hint");
1629
+ container.insertBefore(deck, anchor ? anchor.nextSibling : container.firstChild);
1630
+ container.closest(".book-intro").classList.add("has-pinned-notes");
1631
+ }
1632
+
1633
+ function removeIndexProse(body) {
1634
+ const h1 = Array.from(body.children).find((el) => el.tagName === "H1");
1635
+ if (!h1) return;
1636
+ let current = h1.nextElementSibling;
1637
+ while (current && current.tagName !== "H2") {
1638
+ const next = current.nextElementSibling;
1639
+ current.remove();
1640
+ current = next;
1641
+ }
1642
+ }
1643
+
1644
+ function removePageDirectory(body) {
1645
+ const heading = Array.from(body.children).find(
1646
+ (el) => el.tagName === "H2" && el.textContent.trim().toLowerCase() === "pages"
1647
+ );
1648
+ if (!heading) return;
1649
+ let current = heading;
1650
+ while (current) {
1651
+ const next = current.nextElementSibling;
1652
+ current.remove();
1653
+ if (next && ["H1", "H2"].includes(next.tagName)) break;
1654
+ current = next;
1655
+ }
1656
+ }
1657
+
1658
+ const RAIL_OBSERVERS = [];
1659
+
1660
+ async function renderLogbook(opts = {}) {
1661
+ const scrollY = window.scrollY;
1662
+ const page = document.getElementById("page");
1663
+ RAIL_OBSERVERS.splice(0).forEach((observer) => observer.disconnect());
1664
+ page.innerHTML = "";
1665
+ const nodes = allNodes();
1666
+ const markdown = await Promise.all(nodes.map(fetchPage));
1667
+ const pinnedCells = collectPinnedCells(markdown, nodes);
1668
+ let bookIntroBody = null;
1669
+ nodes.forEach((node, index) => {
1670
+ const section = document.createElement("section");
1671
+ section.className = "page-section";
1672
+ section.id = "/" + node.slug;
1673
+ section.dataset.slug = node.slug;
1674
+
1675
+ const layout = document.createElement("div");
1676
+ layout.className = "page-layout";
1677
+ const body = document.createElement("div");
1678
+ body.className = "page-body";
1679
+ const rail = document.createElement("aside");
1680
+ rail.className = "context-rail";
1681
+ rail.setAttribute("aria-label", `Resources for ${node.title}`);
1682
+
1683
+ renderMarkdown(markdown[index], body);
1684
+ if (node.slug === MANIFEST.root.slug) {
1685
+ section.classList.add("book-intro");
1686
+ removeIndexProse(body);
1687
+ removePageDirectory(body);
1688
+ const hint = buildAgentHint();
1689
+ const h1 = body.querySelector("h1");
1690
+ if (h1 && h1.parentNode === body) {
1691
+ body.insertBefore(hint, h1.nextSibling);
1692
+ } else {
1693
+ body.prepend(hint);
1694
+ }
1695
+ hint.after(buildLogbookStats(markdown));
1696
+ bookIntroBody = body;
1697
+ }
1698
+ layout.appendChild(body);
1699
+ layout.appendChild(rail);
1700
+ section.appendChild(layout);
1701
+ page.appendChild(section);
1702
+ renderRail(markdown[index], body, rail);
1703
+ if (window.ResizeObserver) {
1704
+ const observer = new ResizeObserver(() => scheduleRailPosition(body, rail));
1705
+ observer.observe(body);
1706
+ observer.observe(rail);
1707
+ RAIL_OBSERVERS.push(observer);
1708
+ }
1709
+ });
1710
+ if (bookIntroBody) renderPinnedNotes(pinnedCells, bookIntroBody);
1711
+ if (bookIntroBody) {
1712
+ const section = bookIntroBody.closest(".book-intro");
1713
+ const hasExtra = Array.from(bookIntroBody.children).some(
1714
+ (el) =>
1715
+ el.tagName !== "H1" &&
1716
+ !el.classList.contains("agent-hint") &&
1717
+ !el.classList.contains("logbook-stats") &&
1718
+ !el.classList.contains("pinned-notes")
1719
+ );
1720
+ if (section && !section.classList.contains("has-pinned-notes") && !hasExtra) {
1721
+ section.classList.add("book-intro-tight");
1722
+ }
1723
+ }
1724
+ requestAnimationFrame(() => {
1725
+ if (opts.preserveScroll) {
1726
+ window.scrollTo(0, scrollY);
1727
+ } else {
1728
+ scrollToHash({ behavior: "auto" });
1729
+ }
1730
+ updateActiveSection();
1731
+ });
1732
+ }
1733
+
1734
+ function setupResourceHover() {
1735
+ document.addEventListener("mouseover", (e) => {
1736
+ const el = e.target.closest && e.target.closest("[data-res-url]");
1737
+ if (!el || el.classList.contains("rail-item")) return;
1738
+ const url = el.getAttribute("data-res-url");
1739
+ const section = el.closest(".page-section");
1740
+ const scope = section || document;
1741
+ scope.querySelectorAll(".context-rail [data-res-url]").forEach((n) => {
1742
+ n.classList.toggle("res-hl", n.getAttribute("data-res-url") === url);
1743
+ });
1744
+ });
1745
+ document.addEventListener("mouseout", (e) => {
1746
+ const el = e.target.closest && e.target.closest("[data-res-url]");
1747
+ if (!el || el.classList.contains("rail-item")) return;
1748
+ document.querySelectorAll(".context-rail .res-hl").forEach((n) => {
1749
+ n.classList.remove("res-hl");
1750
+ });
1751
+ });
1752
+ }
1753
+
1754
+ let STATS_TOKEN = 0;
1755
+ let STATS_LISTENERS = false;
1756
+
1757
+ function fmtBytes(n) {
1758
+ if (n == null || isNaN(n)) return null;
1759
+ if (n < 1000) return `${n} B`;
1760
+ const units = ["kB", "MB", "GB", "TB"];
1761
+ let v = n;
1762
+ let i = -1;
1763
+ do {
1764
+ v /= 1000;
1765
+ i++;
1766
+ } while (v >= 1000 && i < units.length - 1);
1767
+ return `${v.toFixed(v < 10 ? 1 : 0)} ${units[i]}`;
1768
+ }
1769
+
1770
+ function spaceIdFromUrl(url) {
1771
+ return url.split("/spaces/")[1].split(/[?#]/)[0].replace(/\/$/, "");
1772
+ }
1773
+
1774
+ const LB_CELL_RE = /(^|\n)---\n<!-- trackio-cell\n([\s\S]*?)\n-->\n([\s\S]*?)(?=\n---\n<!-- trackio-cell\n|\s*$)/g;
1775
+
1776
+ function cellDashboardItems(md) {
1777
+ const re = new RegExp(LB_CELL_RE.source, "g");
1778
+ const items = [];
1779
+ let m;
1780
+ while ((m = re.exec(md))) {
1781
+ const meta = parseCellMeta(m[2]);
1782
+ if (meta.type !== "dashboard") continue;
1783
+ const body = m[3];
1784
+ const project = meta.dashboard_project || "";
1785
+ const sp = body.match(/https:\/\/huggingface\.co\/spaces\/[^\s<>)"'`]+/);
1786
+ const local = !sp;
1787
+ const url = sp ? sp[0] : "";
1788
+ const resUrl = local ? `trackio-local-dashboard://${project}` : url;
1789
+ items.push({
1790
+ id: local ? project : spaceIdFromUrl(url),
1791
+ local,
1792
+ url,
1793
+ resUrl,
1794
+ });
1795
+ }
1796
+ return items;
1797
+ }
1798
+
1799
+ function artifactInfoFromCell(meta, body) {
1800
+ const name = meta.artifact || meta.path || "";
1801
+ let size = null;
1802
+ const sm = body.match(/·\s*([\d.]+\s*[kMGT]?B)\b/);
1803
+ if (sm) size = sm[1].trim();
1804
+ if (!size && meta.size != null) size = fmtBytes(meta.size);
1805
+ const bucket = body.match(/https:\/\/huggingface\.co\/buckets\/[^\s<>)"'`]+/);
1806
+ const artUri = body.match(/trackio-artifact:\/\/\S+/);
1807
+ const pathUri = body.match(/trackio-local-path:\/\/\S+/);
1808
+ const url = bucket ? bucket[0] : "";
1809
+ const local = !bucket;
1810
+ const resUrl =
1811
+ url || (artUri ? artUri[0] : pathUri ? pathUri[0] : `trackio-artifact://${name}`);
1812
+ return {
1813
+ name,
1814
+ type: meta.artifact_type || "",
1815
+ size,
1816
+ local,
1817
+ isPathRef: !!meta.path,
1818
+ url,
1819
+ resUrl,
1820
+ };
1821
+ }
1822
+
1823
+ function cellArtifactItems(md) {
1824
+ const re = new RegExp(LB_CELL_RE.source, "g");
1825
+ const items = [];
1826
+ let m;
1827
+ while ((m = re.exec(md))) {
1828
+ const meta = parseCellMeta(m[2]);
1829
+ const body = m[3];
1830
+ const order = meta.created_at || "";
1831
+ if (meta.type === "artifact") {
1832
+ const info = artifactInfoFromCell(meta, body);
1833
+ if (info.name) items.push({ ...info, order });
1834
+ }
1835
+ }
1836
+ return items;
1837
+ }
1838
+
1839
+ function collectLogbookResources(markdownList) {
1840
+ const re = new RegExp(LB_CELL_RE.source, "g");
1841
+ const dashboards = new Map();
1842
+ markdownList.forEach((md) => {
1843
+ let m;
1844
+ while ((m = re.exec(md))) {
1845
+ const meta = parseCellMeta(m[2]);
1846
+ const body = m[3];
1847
+ if (meta.type !== "dashboard") continue;
1848
+ const project = meta.dashboard_project || "";
1849
+ const space = body.match(/https:\/\/huggingface\.co\/spaces\/[^\s<>)"'`]+/);
1850
+ const local = !space;
1851
+ const url = space ? space[0] : "";
1852
+ const key = local ? `local:${project}` : `space:${spaceIdFromUrl(url)}`;
1853
+ const resUrl = local ? `trackio-local-dashboard://${project}` : url;
1854
+ if (!dashboards.has(key))
1855
+ dashboards.set(key, { project, local, url, resUrl });
1856
+ }
1857
+ });
1858
+ const artifacts = new Map();
1859
+ markdownList.forEach((md) => {
1860
+ cellArtifactItems(md).forEach((it) => {
1861
+ const key = `${it.type}:${it.name}`;
1862
+ const prev = artifacts.get(key);
1863
+ if (!prev || it.order >= prev.order) artifacts.set(key, it);
1864
+ });
1865
+ });
1866
+ return {
1867
+ dashboards: Array.from(dashboards.values()).sort((a, b) =>
1868
+ a.project.localeCompare(b.project)
1869
+ ),
1870
+ artifacts: Array.from(artifacts.values()).sort((a, b) =>
1871
+ a.name.localeCompare(b.name)
1872
+ ),
1873
+ };
1874
+ }
1875
+
1876
+ function closeStatPopovers() {
1877
+ document
1878
+ .querySelectorAll(".stat-popover")
1879
+ .forEach((p) => (p.hidden = true));
1880
+ document
1881
+ .querySelectorAll(".stat-tile.open")
1882
+ .forEach((t) => t.classList.remove("open"));
1883
+ }
1884
+
1885
+ function ensureStatListeners() {
1886
+ if (STATS_LISTENERS) return;
1887
+ STATS_LISTENERS = true;
1888
+ document.addEventListener("click", closeStatPopovers);
1889
+ document.addEventListener("keydown", (e) => {
1890
+ if (e.key === "Escape") closeStatPopovers();
1891
+ });
1892
+ }
1893
+
1894
+ function stateHtml(remote, url) {
1895
+ return remote
1896
+ ? `<a class="stat-row-state open" href="${esc(url)}" target="_blank" rel="noopener" title="Open in a new tab">Open ↗</a>`
1897
+ : `<span class="stat-row-state">publish to share</span>`;
1898
+ }
1899
+
1900
+ function scrollToResource(resUrl) {
1901
+ closeStatPopovers();
1902
+ if (!resUrl) return;
1903
+ const el = document.querySelector(
1904
+ `#page .page-body [data-res-url="${CSS.escape(resUrl)}"]:not(.stat-row)`
1905
+ );
1906
+ if (!el) return;
1907
+ el.scrollIntoView({ behavior: "smooth", block: "center" });
1908
+ el.classList.add("res-flash");
1909
+ setTimeout(() => el.classList.remove("res-flash"), 1500);
1910
+ }
1911
+
1912
+ function dashRowHtml(d) {
1913
+ const inner =
1914
+ `<span class="stat-row-ico">${DASHBOARD_ICON_IMG}</span>` +
1915
+ `<div class="stat-row-main"><div class="stat-row-title">${esc(d.project)}</div>` +
1916
+ `<div class="stat-row-meta">${stateHtml(!d.local, d.url)}</div></div>`;
1917
+ return `<div class="stat-row" data-res-url="${esc(d.resUrl)}" title="Jump to it in the logbook">${inner}</div>`;
1918
+ }
1919
+
1920
+ function artRowHtml(a) {
1921
+ const remote = !a.local && !!a.url;
1922
+ const parts = [a.type, a.size].filter(Boolean).map(esc);
1923
+ const meta = parts.length
1924
+ ? `${parts.join(" · ")} · ${stateHtml(remote, a.url)}`
1925
+ : stateHtml(remote, a.url);
1926
+ const inner =
1927
+ `<span class="stat-row-ico">${ARTIFACT_ICON_IMG}</span>` +
1928
+ `<div class="stat-row-main"><div class="stat-row-title">${esc(a.name)}</div>` +
1929
+ `<div class="stat-row-meta">${meta}</div></div>`;
1930
+ return `<div class="stat-row" data-res-url="${esc(a.resUrl)}" title="Jump to it in the logbook">${inner}</div>`;
1931
+ }
1932
+
1933
+ function statTile(icon, alt, singular, plural, head, rowFn) {
1934
+ const tile = document.createElement("button");
1935
+ tile.type = "button";
1936
+ tile.className = "stat-tile";
1937
+ const render = (items) => {
1938
+ const count = items.length;
1939
+ const label = count === 1 ? singular : plural;
1940
+ const caret = count > 0 ? `<span class="stat-caret">▾</span>` : "";
1941
+ tile.innerHTML =
1942
+ `<img class="stat-icon" src="${icon}" alt="${esc(alt)}" />` +
1943
+ `<div class="stat-text"><div class="stat-num">${count}</div>` +
1944
+ `<div class="stat-label">${esc(label)}</div></div>` +
1945
+ caret;
1946
+ tile.disabled = count === 0;
1947
+ if (count > 0) {
1948
+ const pop = document.createElement("div");
1949
+ pop.className = "stat-popover";
1950
+ pop.hidden = true;
1951
+ pop.innerHTML =
1952
+ `<div class="stat-pop-head">${esc(head)}</div>` +
1953
+ items.map(rowFn).join("");
1954
+ pop.addEventListener("click", (e) => {
1955
+ if (e.target.closest("a.stat-row-state")) {
1956
+ e.stopPropagation();
1957
+ return;
1958
+ }
1959
+ e.stopPropagation();
1960
+ const row = e.target.closest(".stat-row");
1961
+ if (row) scrollToResource(row.dataset.resUrl);
1962
+ });
1963
+ tile.appendChild(pop);
1964
+ }
1965
+ };
1966
+ tile.addEventListener("click", (e) => {
1967
+ if (tile.disabled) return;
1968
+ e.stopPropagation();
1969
+ const pop = tile.querySelector(".stat-popover");
1970
+ if (!pop) return;
1971
+ const isOpen = !pop.hidden;
1972
+ closeStatPopovers();
1973
+ if (!isOpen) {
1974
+ pop.hidden = false;
1975
+ tile.classList.add("open");
1976
+ }
1977
+ });
1978
+ return { tile, render };
1979
+ }
1980
+
1981
+ function buildLogbookStats(markdownList) {
1982
+ const token = ++STATS_TOKEN;
1983
+ ensureStatListeners();
1984
+ const { dashboards, artifacts } = collectLogbookResources(markdownList);
1985
+
1986
+ const el = document.createElement("div");
1987
+ el.className = "logbook-stats";
1988
+ const dash = statTile(
1989
+ "./trackio-logo-light.png",
1990
+ "Trackio",
1991
+ "Trackio Dashboard",
1992
+ "Trackio Dashboards",
1993
+ "Dashboards created in this logbook",
1994
+ dashRowHtml
1995
+ );
1996
+ const art = statTile(
1997
+ "./bucket-icon.svg",
1998
+ "Bucket",
1999
+ "Artifact",
2000
+ "Artifacts",
2001
+ "Artifacts created in this logbook",
2002
+ artRowHtml
2003
+ );
2004
+ dash.render(dashboards);
2005
+ art.render(artifacts);
2006
+ el.appendChild(dash.tile);
2007
+ el.appendChild(art.tile);
2008
+
2009
+ const scanText = markdownList
2010
+ .map((md) =>
2011
+ md.replace(/(`{3,4}|~{3,4})(html|raw)[^\n]*\n[\s\S]*?\n\1/g, " ")
2012
+ )
2013
+ .join("\n");
2014
+ const seen = new Set(
2015
+ dashboards.map((d) =>
2016
+ d.local ? `local:${d.project}` : `space:${spaceIdFromUrl(d.url)}`
2017
+ )
2018
+ );
2019
+ const remoteSpaces = new Map();
2020
+ extractUrls(scanText).forEach((url) => {
2021
+ const item = classifyResource(url);
2022
+ if (item && item.kind === "space" && !item.local) {
2023
+ remoteSpaces.set(item.url, item);
2024
+ }
2025
+ });
2026
+ remoteSpaces.forEach((s) => {
2027
+ const key = `space:${s.id}`;
2028
+ if (seen.has(key)) return;
2029
+ getJSON(`https://huggingface.co/api/spaces/${s.id}`)
2030
+ .then((d) => {
2031
+ if (STATS_TOKEN !== token) return;
2032
+ const tags = (d && d.tags) || [];
2033
+ if (
2034
+ !seen.has(key) &&
2035
+ tags.some((t) => String(t).toLowerCase() === "trackio")
2036
+ ) {
2037
+ seen.add(key);
2038
+ dashboards.push({
2039
+ project: s.id,
2040
+ local: false,
2041
+ url: s.url,
2042
+ resUrl: s.url,
2043
+ });
2044
+ dashboards.sort((a, b) => a.project.localeCompare(b.project));
2045
+ dash.render(dashboards);
2046
+ }
2047
+ })
2048
+ .catch(() => {});
2049
+ });
2050
+ return el;
2051
+ }
2052
+
2053
+ function buildAgentHint() {
2054
+ const onSpaces =
2055
+ /\.hf\.space$/.test(location.hostname) ||
2056
+ /(^|\.)huggingface\.co$/.test(location.hostname);
2057
+ let source = "";
2058
+ if (onSpaces && MANIFEST.space_id) {
2059
+ source = ` ${MANIFEST.space_id}`;
2060
+ } else if (/^https?:$/.test(location.protocol)) {
2061
+ source = ` ${location.origin}/`;
2062
+ }
2063
+ const command = `trackio logbook read${source}`;
2064
+ const tokens = MANIFEST.agent_view_tokens;
2065
+ const div = document.createElement("div");
2066
+ div.className = "agent-hint";
2067
+ const label = document.createElement("span");
2068
+ label.className = "agent-hint-label";
2069
+ label.textContent = "Read from the CLI:";
2070
+ const code = document.createElement("code");
2071
+ code.textContent = command;
2072
+ const copy = document.createElement("button");
2073
+ copy.className = "copy";
2074
+ copy.type = "button";
2075
+ copy.title = "Copy";
2076
+ copy.textContent = "⧉";
2077
+ copy.addEventListener("click", () => copyText(command, copy, "⧉"));
2078
+ const note = document.createElement("span");
2079
+ note.className = "agent-hint-note";
2080
+ note.textContent =
2081
+ "compact view for agents" + (tokens ? ` · ~${fmt(tokens)} tokens` : "");
2082
+ div.appendChild(label);
2083
+ div.appendChild(code);
2084
+ div.appendChild(copy);
2085
+ div.appendChild(note);
2086
+ return div;
2087
+ }
2088
+
2089
+ function currentSlug() {
2090
+ const slug = (location.hash || "").replace(/^#\//, "") || MANIFEST.root.slug;
2091
+ return findNode(MANIFEST.root, slug) ? slug : MANIFEST.root.slug;
2092
+ }
2093
+
2094
+ function scrollToHash(opts = {}) {
2095
+ const slug = currentSlug();
2096
+ if (!location.hash) {
2097
+ window.scrollTo({ top: 0, behavior: opts.behavior || "auto" });
2098
+ highlight(slug);
2099
+ return;
2100
+ }
2101
+ const section = document.getElementById("/" + slug);
2102
+ if (section) section.scrollIntoView({ behavior: opts.behavior || "smooth" });
2103
+ highlight(slug);
2104
+ }
2105
+
2106
+ function navigateToLogbookSlug(target) {
2107
+ const slug = String(target || "").replace(/^#?\//, "").trim();
2108
+ if (!slug || !findNode(MANIFEST.root, slug)) return;
2109
+ const hash = "#/" + slug;
2110
+ if (location.hash === hash) {
2111
+ scrollToHash({ behavior: "smooth" });
2112
+ } else {
2113
+ location.hash = hash;
2114
+ }
2115
+ }
2116
+
2117
+ function setupFigureNavigation() {
2118
+ window.addEventListener("message", (event) => {
2119
+ const data = event.data;
2120
+ if (!data || data.type !== "trackio-logbook:navigate") return;
2121
+ // Only accept messages from one of this logbook's sandboxed figure
2122
+ // iframes, rather than from an arbitrary same-origin page.
2123
+ const isFigureFrame = Array.from(
2124
+ document.querySelectorAll("iframe.figure-frame")
2125
+ ).some((frame) => frame.contentWindow === event.source);
2126
+ if (!isFigureFrame) return;
2127
+ navigateToLogbookSlug(data.target);
2128
+ });
2129
+ }
2130
+
2131
+ let SCROLL_FRAME = 0;
2132
+ function updateActiveSection() {
2133
+ cancelAnimationFrame(SCROLL_FRAME);
2134
+ SCROLL_FRAME = requestAnimationFrame(() => {
2135
+ const sections = Array.from(document.querySelectorAll(".page-section"));
2136
+ if (!sections.length) return;
2137
+ const marker = Math.min(window.innerHeight * 0.28, 180);
2138
+ let active = sections[0];
2139
+ sections.forEach((section) => {
2140
+ if (section.getBoundingClientRect().top <= marker) active = section;
2141
+ });
2142
+ if (
2143
+ window.innerHeight + window.scrollY >=
2144
+ document.documentElement.scrollHeight - 2
2145
+ ) {
2146
+ active = sections[sections.length - 1];
2147
+ }
2148
+ highlight(active.dataset.slug);
2149
+ });
2150
+ }
2151
+
2152
+ function startLiveReload() {
2153
+ if (!isLocalPreview()) return;
2154
+ setInterval(async () => {
2155
+ try {
2156
+ const next = await fetchManifest();
2157
+ if (!next || next.revision === MANIFEST.revision) return;
2158
+ MANIFEST = next;
2159
+ clearPageCache();
2160
+ document.title = MANIFEST.title + " · Trackio Logbook";
2161
+ document.getElementById("book-title").textContent = MANIFEST.title;
2162
+ document.getElementById("book-head").setAttribute("aria-label", MANIFEST.title);
2163
+ buildTree();
2164
+ renderLogbook({ preserveScroll: true });
2165
+ } catch (e) {}
2166
+ }, LIVE_RELOAD_MS);
2167
+ }
2168
+
2169
+ function setupConnect() {
2170
+ const space = MANIFEST.space_id;
2171
+ if (!space) return;
2172
+ const steps = [
2173
+ { t: "Install Trackio, if you don't have it yet.", c: "uv tool install trackio" },
2174
+ { t: "Add the Trackio skill for your agent, then reload it.", c: "trackio skills add" },
2175
+ { t: "Connect to this logbook.", c: `trackio logbook open ${space}` },
2176
+ ];
2177
+ const ol = document.getElementById("connect-steps");
2178
+ steps.forEach((s, i) => {
2179
+ const li = document.createElement("li");
2180
+ const title = document.createElement("div");
2181
+ title.className = "step-title";
2182
+ title.textContent = `${i + 1}. ${s.t}`;
2183
+ const block = document.createElement("div");
2184
+ block.className = "codeblock";
2185
+ const code = document.createElement("code");
2186
+ code.textContent = s.c;
2187
+ const copy = document.createElement("button");
2188
+ copy.className = "copy";
2189
+ copy.type = "button";
2190
+ copy.title = "Copy";
2191
+ copy.textContent = "⧉";
2192
+ copy.addEventListener("click", () => copyText(s.c, copy, "⧉"));
2193
+ block.appendChild(code);
2194
+ block.appendChild(copy);
2195
+ li.appendChild(title);
2196
+ li.appendChild(block);
2197
+ ol.appendChild(li);
2198
+ });
2199
+
2200
+ const agentPrompt =
2201
+ `Read and help maintain this Trackio experiment logbook ("${MANIFEST.title}").\n\n` +
2202
+ "1. If you don't have Trackio, install it: uv tool install trackio\n" +
2203
+ "2. Add the Trackio skill for your agent: trackio skills add (then reload)\n" +
2204
+ `3. Connect to this logbook: trackio logbook open ${space}\n\n` +
2205
+ "Start with `trackio logbook read`; use `trackio logbook read page \"...\"` " +
2206
+ "for a page-level view, then fetch relevant details with " +
2207
+ "`trackio logbook read cell cell_<id>`. If I've given you " +
2208
+ 'write access to the Space, add findings with `trackio logbook cell markdown "..." ' +
2209
+ '--page "..."` and they will sync back automatically.';
2210
+
2211
+ const foot = document.getElementById("sidebar-foot");
2212
+ foot.hidden = false;
2213
+ const modal = document.getElementById("modal");
2214
+ const open = () => (modal.hidden = false);
2215
+ const close = () => (modal.hidden = true);
2216
+ document.getElementById("connect-btn").addEventListener("click", open);
2217
+ document.getElementById("modal-close").addEventListener("click", close);
2218
+ modal.querySelector(".modal-backdrop").addEventListener("click", close);
2219
+ document.addEventListener("keydown", (e) => {
2220
+ if (e.key === "Escape") close();
2221
+ });
2222
+ const agentBtn = document.getElementById("copy-agent");
2223
+ agentBtn.addEventListener("click", () =>
2224
+ copyText(agentPrompt, agentBtn, "Copy for agent")
2225
+ );
2226
+ }
2227
+
2228
+ function copyText(text, btn, restore) {
2229
+ const done = () => {
2230
+ const prev = btn.textContent;
2231
+ btn.textContent = restore === "⧉" ? "✓" : "Copied!";
2232
+ btn.classList.add("copied");
2233
+ setTimeout(() => {
2234
+ btn.textContent = restore;
2235
+ btn.classList.remove("copied");
2236
+ }, 1400);
2237
+ void prev;
2238
+ };
2239
+ if (navigator.clipboard && navigator.clipboard.writeText) {
2240
+ navigator.clipboard.writeText(text).then(done, done);
2241
+ } else {
2242
+ const ta = document.createElement("textarea");
2243
+ ta.value = text;
2244
+ document.body.appendChild(ta);
2245
+ ta.select();
2246
+ try {
2247
+ document.execCommand("copy");
2248
+ } catch (e) {}
2249
+ document.body.removeChild(ta);
2250
+ done();
2251
+ }
2252
+ }
2253
+
2254
+ async function init() {
2255
+ MANIFEST = await fetchManifest();
2256
+ document.title = MANIFEST.title + " · Trackio Logbook";
2257
+ document.getElementById("book-title").textContent = MANIFEST.title;
2258
+ document.getElementById("book-head").setAttribute("aria-label", MANIFEST.title);
2259
+ document.getElementById("book-head").addEventListener("click", () => {
2260
+ const target = "#/" + MANIFEST.root.slug;
2261
+ if (location.hash === target) scrollToHash();
2262
+ else location.hash = target;
2263
+ });
2264
+ buildTree();
2265
+ setupConnect();
2266
+ setupResourceHover();
2267
+ setupFigureNavigation();
2268
+ window.addEventListener("hashchange", () => scrollToHash());
2269
+ window.addEventListener("scroll", updateActiveSection, { passive: true });
2270
+ await renderLogbook();
2271
+ startLiveReload();
2272
+ }
2273
+
2274
+ init();
2275
+ })();
logbook.json ADDED
@@ -0,0 +1,71 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "schema_version": 1,
3
+ "title": "Repro - Optimal Unconstrained Self-Distillation in Ridge Regression",
4
+ "emoji": "🔬",
5
+ "space_id": "YMRohit/icml2026-22249-self-distillation-logbook",
6
+ "paper": {
7
+ "arxiv_id": "2602.17565"
8
+ },
9
+ "tags": [
10
+ "icml2026-repro",
11
+ "paper-MdHcU4C4Rm"
12
+ ],
13
+ "updated_at": "2026-07-16T17:53:23+00:00",
14
+ "root": {
15
+ "slug": "index",
16
+ "title": "Repro - Optimal Unconstrained Self-Distillation in Ridge Regression",
17
+ "file": "pages/index.md",
18
+ "children": [
19
+ {
20
+ "slug": "claim-1-exact-improvement-and-sign",
21
+ "title": "Claim 1 — Exact improvement and sign",
22
+ "file": "pages/claim-1-exact-improvement-and-sign/page.md",
23
+ "children": []
24
+ },
25
+ {
26
+ "slug": "claim-2-deterministic-asymptotics",
27
+ "title": "Claim 2 — Deterministic asymptotics",
28
+ "file": "pages/claim-2-deterministic-asymptotics/page.md",
29
+ "children": []
30
+ },
31
+ {
32
+ "slug": "claim-3-one-shot-tuning",
33
+ "title": "Claim 3 — One-shot tuning",
34
+ "file": "pages/claim-3-one-shot-tuning/page.md",
35
+ "children": []
36
+ },
37
+ {
38
+ "slug": "icml22249-smoke-structural",
39
+ "title": "icml22249-smoke-structural",
40
+ "file": "pages/icml22249-smoke-structural/page.md",
41
+ "children": []
42
+ },
43
+ {
44
+ "slug": "icml22249-smoke-figure4",
45
+ "title": "icml22249-smoke-figure4",
46
+ "file": "pages/icml22249-smoke-figure4/page.md",
47
+ "children": []
48
+ },
49
+ {
50
+ "slug": "icml22249-smoke-size",
51
+ "title": "icml22249-smoke-size",
52
+ "file": "pages/icml22249-smoke-size/page.md",
53
+ "children": []
54
+ },
55
+ {
56
+ "slug": "conclusion",
57
+ "title": "Conclusion",
58
+ "file": "pages/conclusion/page.md",
59
+ "children": []
60
+ },
61
+ {
62
+ "slug": "icml22249-release-artifacts",
63
+ "title": "icml22249-release-artifacts",
64
+ "file": "pages/icml22249-release-artifacts/page.md",
65
+ "children": []
66
+ }
67
+ ]
68
+ },
69
+ "agent_view_tokens": 7160,
70
+ "revision": "1784224403115312366"
71
+ }
pages/claim-1-exact-improvement-and-sign/page.md ADDED
The diff for this file is too large to render. See raw diff
 
pages/claim-2-deterministic-asymptotics/page.md ADDED
The diff for this file is too large to render. See raw diff
 
pages/claim-3-one-shot-tuning/page.md ADDED
@@ -0,0 +1,1953 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ # Claim 3 — One-shot tuning
2
+
3
+
4
+ ---
5
+ <!-- trackio-cell
6
+ {"type": "markdown", "id": "cell_ec87e9942c63", "created_at": "2026-07-16T16:15:55+00:00", "title": "Claim and protocol"}
7
+ -->
8
+ Tests Equations 17–21 pointwise at fixed penalties over a p/n=1/2 size ladder. It compares training-only GCV xi/risk estimates to conditional population oracles and includes the deliberately wrong df_PD=tr(H) control against the claimed tr(H²).
9
+
10
+
11
+ ---
12
+ <!-- trackio-cell
13
+ {"type": "dashboard", "id": "cell_8614693ec81c", "created_at": "2026-07-16T16:25:52+00:00", "title": "Dashboard: icml22249-smoke-size", "dashboard_project": "icml22249-smoke-size"}
14
+ -->
15
+ **🎯 Trackio dashboard** `icml22249-smoke-size`
16
+
17
+ trackio-local-dashboard://icml22249-smoke-size
18
+
19
+
20
+ ---
21
+ <!-- trackio-cell
22
+ {"type": "code", "id": "cell_39209864e285", "created_at": "2026-07-16T16:25:52+00:00", "title": "Local size-ladder code-path smoke", "command": ["python", "scripts/run_reproduction.py", "--mode", "size", "--config", "configs/smoke.json", "--output-dir", "outputs/smoke/size", "--device", "cpu", "--dtype", "float64", "--trackio-project-prefix", "icml22249-smoke", "--run-name-prefix", "local-smoke-fixed"], "exit_code": 0, "duration_s": 1.438}
23
+ -->
24
+ ````bash
25
+ $ python scripts/run_reproduction.py --mode size --config configs/smoke.json --output-dir outputs/smoke/size --device cpu --dtype float64 --trackio-project-prefix icml22249-smoke --run-name-prefix local-smoke-fixed
26
+ ````
27
+
28
+ exit 0 · 1.4s
29
+
30
+
31
+ ````python title=run_reproduction.py
32
+ #!/usr/bin/env python3
33
+ """Run the three frozen self-distillation claim protocols.
34
+
35
+ The script intentionally has no dependency on the official author repository.
36
+ It writes only machine-readable raw rows and metadata; verdicts are computed by
37
+ ``audit_results.py`` in a separate pass.
38
+ """
39
+
40
+ from __future__ import annotations
41
+
42
+ import argparse
43
+ import csv
44
+ import hashlib
45
+ import json
46
+ import math
47
+ import os
48
+ import platform
49
+ import sys
50
+ import time
51
+ from pathlib import Path
52
+ from typing import Any
53
+
54
+ import numpy as np
55
+
56
+ from self_distillation_core import (
57
+ FiniteSimulationSpec,
58
+ ar1_covariance,
59
+ asymptotic_point,
60
+ bisection_root,
61
+ finite_simulation,
62
+ linear_prediction_risk,
63
+ logspace,
64
+ residual_cross_risk,
65
+ ridge_coefficient,
66
+ ridge_risk_derivative,
67
+ symmetric_error,
68
+ top_aligned_signal,
69
+ )
70
+
71
+
72
+ def write_json(path: Path, payload: Any) -> None:
73
+ path.parent.mkdir(parents=True, exist_ok=True)
74
+ path.write_text(json.dumps(payload, indent=2, sort_keys=True, allow_nan=False) + "\n", encoding="utf-8")
75
+
76
+
77
+ def clean_row(row: dict[str, Any]) -> dict[str, Any]:
78
+ cleaned: dict[str, Any] = {}
79
+ for key, value in row.items():
80
+ if isinstance(value, (np.integer,)):
81
+ cleaned[key] = int(value)
82
+ elif isinstance(value, (np.floating,)):
83
+ cleaned[key] = float(value)
84
+ else:
85
+ cleaned[key] = value
86
+ return cleaned
87
+
88
+
89
+ def write_csv(path: Path, rows: list[dict[str, Any]]) -> None:
90
+ path.parent.mkdir(parents=True, exist_ok=True)
91
+ if not rows:
92
+ raise ValueError(f"refusing to write empty CSV: {path}")
93
+ normalized = [clean_row(row) for row in rows]
94
+ fields: list[str] = []
95
+ seen: set[str] = set()
96
+ for row in normalized:
97
+ for key in row:
98
+ if key not in seen:
99
+ fields.append(key)
100
+ seen.add(key)
101
+ with path.open("w", newline="", encoding="utf-8") as handle:
102
+ writer = csv.DictWriter(handle, fieldnames=fields)
103
+ writer.writeheader()
104
+ writer.writerows(normalized)
105
+
106
+
107
+ def sha256_file(path: Path) -> str:
108
+ digest = hashlib.sha256()
109
+ with path.open("rb") as handle:
110
+ for chunk in iter(lambda: handle.read(1024 * 1024), b""):
111
+ digest.update(chunk)
112
+ return digest.hexdigest()
113
+
114
+
115
+ def environment_record(config_path: Path, device: str, dtype: str) -> dict[str, Any]:
116
+ import torch
117
+
118
+ source_path = Path(__file__).resolve()
119
+ core_path = source_path.with_name("self_distillation_core.py")
120
+ gpu_name = None
121
+ if device.startswith("cuda") and torch.cuda.is_available():
122
+ gpu_name = torch.cuda.get_device_name(torch.device(device))
123
+ return {
124
+ "argv": sys.argv,
125
+ "cwd": str(Path.cwd()),
126
+ "timestamp_utc": time.strftime("%Y-%m-%dT%H:%M:%SZ", time.gmtime()),
127
+ "python": sys.version,
128
+ "platform": platform.platform(),
129
+ "numpy_version": np.__version__,
130
+ "torch_version": torch.__version__,
131
+ "cuda_available": bool(torch.cuda.is_available()),
132
+ "cuda_version": torch.version.cuda,
133
+ "device": device,
134
+ "gpu_name": gpu_name,
135
+ "dtype": dtype,
136
+ "config_path": str(config_path.resolve()),
137
+ "config_sha256": sha256_file(config_path),
138
+ "runner_sha256": sha256_file(source_path),
139
+ "core_sha256": sha256_file(core_path),
140
+ "official_code_imported": False,
141
+ }
142
+
143
+
144
+ def resolve_lambdas(value: Any) -> tuple[float, ...]:
145
+ if isinstance(value, list):
146
+ result = tuple(float(item) for item in value)
147
+ elif isinstance(value, dict):
148
+ result = logspace(float(value["low"]), float(value["high"]), int(value["count"]))
149
+ else:
150
+ raise TypeError("lambdas must be a list or {low, high, count}")
151
+ if not result or any(item <= 0 or not np.isfinite(item) for item in result):
152
+ raise ValueError("all lambdas must be finite and positive")
153
+ return result
154
+
155
+
156
+ class TrackioRun:
157
+ def __init__(self, project: str | None, name: str, config: dict[str, Any]):
158
+ self.enabled = bool(project)
159
+ self.project = project
160
+ if not self.enabled:
161
+ return
162
+ import trackio
163
+
164
+ kwargs: dict[str, Any] = {
165
+ "project": str(project),
166
+ "name": name,
167
+ "config": config,
168
+ "auto_log_gpu": True,
169
+ "auto_log_cpu": True,
170
+ }
171
+ space_id = os.getenv("TRACKIO_SPACE_ID")
172
+ if space_id:
173
+ kwargs["space_id"] = space_id
174
+ trackio.init(**kwargs)
175
+
176
+ def log(self, metrics: dict[str, Any], step: int | None = None) -> None:
177
+ if not self.enabled:
178
+ return
179
+ import trackio
180
+
181
+ trackio.log(metrics, step=step)
182
+
183
+ def finish(self, artifact_path: Path | None = None, artifact_name: str | None = None) -> None:
184
+ if not self.enabled:
185
+ return
186
+ import trackio
187
+
188
+ if artifact_path is not None:
189
+ artifact = trackio.log_artifact(
190
+ artifact_path,
191
+ name=artifact_name,
192
+ type="dataset",
193
+ aliases=["latest"],
194
+ )
195
+ print(f"TRACKIO_ARTIFACT={artifact.qualified_name}", flush=True)
196
+ trackio.finish()
197
+
198
+
199
+ def run_structural(
200
+ section: dict[str, Any],
201
+ output_dir: Path,
202
+ *,
203
+ tracker: TrackioRun,
204
+ ) -> None:
205
+ n = int(section.get("n", 96))
206
+ p = int(section.get("p", 24))
207
+ seed = int(section.get("seed", 22249))
208
+ noise_variance = float(section.get("noise_variance", 0.7))
209
+ lambdas = resolve_lambdas(section.get("lambdas", {"low": 1e-4, "high": 1e3, "count": 81}))
210
+ xi_checks = tuple(float(value) for value in section.get("xi_checks", [-3.0, -0.5, 0.0, 0.4, 1.0, 2.5]))
211
+
212
+ rng = np.random.default_rng(seed)
213
+ sigma_train = ar1_covariance(p, 0.35)
214
+ cholesky_train = np.linalg.cholesky(sigma_train)
215
+ x = rng.standard_normal((n, p)) @ cholesky_train.T
216
+ beta_train = rng.standard_normal(p)
217
+ beta_train /= np.linalg.norm(beta_train)
218
+ y = x @ beta_train + rng.standard_normal(n) * np.sqrt(noise_variance)
219
+
220
+ scale = np.linspace(0.7, 1.35, p)
221
+ sigma_test_base = ar1_covariance(p, 0.55)
222
+ sigma_test = scale[:, None] * sigma_test_base * scale[None, :]
223
+ shift = rng.standard_normal(p)
224
+ shift -= beta_train * float(beta_train @ shift)
225
+ shift /= np.linalg.norm(shift)
226
+ beta_test = 0.9 * beta_train + 0.2 * shift
227
+
228
+ path_rows: list[dict[str, Any]] = []
229
+ coefficients: dict[float, tuple[np.ndarray, np.ndarray]] = {}
230
+ for step, lam in enumerate(lambdas):
231
+ teacher = ridge_coefficient(x, y, lam)
232
+ pure_distilled = ridge_coefficient(x, x @ teacher, lam)
233
+ coefficients[lam] = (teacher, pure_distilled)
234
+ risk_teacher = linear_prediction_risk(teacher, beta_test, sigma_test, noise_variance)
235
+ risk_pd = linear_prediction_risk(pure_distilled, beta_test, sigma_test, noise_variance)
236
+ cross = residual_cross_risk(
237
+ teacher,
238
+ pure_distilled,
239
+ beta_test,
240
+ sigma_test,
241
+ noise_variance,
242
+ )
243
+ delta = teacher - pure_distilled
244
+ d_direct = float(delta.T @ sigma_test @ delta)
245
+ d_risk = risk_teacher + risk_pd - 2.0 * cross
246
+ derivative = ridge_risk_derivative(
247
+ x,
248
+ y,
249
+ teacher,
250
+ beta_test,
251
+ sigma_test,
252
+ lam,
253
+ )
254
+ xi_decomposition = (risk_teacher - cross) / d_direct
255
+ xi_derivative = -lam * derivative / (2.0 * d_direct)
256
+ risk_sd_decomposition = risk_teacher - (risk_teacher - cross) ** 2 / d_direct
257
+ risk_sd_derivative = risk_teacher - lam**2 * derivative**2 / (4.0 * d_direct)
258
+ student = (1.0 - xi_decomposition) * teacher + xi_decomposition * pure_distilled
259
+ risk_sd_direct = linear_prediction_risk(student, beta_test, sigma_test, noise_variance)
260
+ xi_constrained = float(np.clip(xi_decomposition, 0.0, 1.0))
261
+ constrained = (1.0 - xi_constrained) * teacher + xi_constrained * pure_distilled
262
+ risk_constrained = linear_prediction_risk(constrained, beta_test, sigma_test, noise_variance)
263
+ normalized_slope = abs(lam * derivative) / max(1.0, risk_teacher)
264
+ path_rows.append(
265
+ {
266
+ "lambda": lam,
267
+ "risk_teacher": risk_teacher,
268
+ "risk_pd": risk_pd,
269
+ "cross": cross,
270
+ "D_direct": d_direct,
271
+ "D_risk_form": d_risk,
272
+ "D_identity_error": symmetric_error(d_direct, d_risk),
273
+ "risk_derivative": derivative,
274
+ "normalized_slope": normalized_slope,
275
+ "xi_decomposition": xi_decomposition,
276
+ "xi_derivative": xi_derivative,
277
+ "xi_formula_error": symmetric_error(xi_decomposition, xi_derivative),
278
+ "risk_sd_decomposition": risk_sd_decomposition,
279
+ "risk_sd_derivative": risk_sd_derivative,
280
+ "risk_sd_direct": risk_sd_direct,
281
+ "risk_formula_error": max(
282
+ symmetric_error(risk_sd_decomposition, risk_sd_derivative),
283
+ symmetric_error(risk_sd_decomposition, risk_sd_direct),
284
+ ),
285
+ "gain": risk_teacher - risk_sd_direct,
286
+ "sign_rule_holds": int(
287
+ normalized_slope <= 1e-9
288
+ or np.sign(xi_decomposition) == -np.sign(derivative)
289
+ ),
290
+ "xi_constrained": xi_constrained,
291
+ "risk_constrained": risk_constrained,
292
+ "unconstrained_gain_over_constrained": risk_constrained - risk_sd_direct,
293
+ }
294
+ )
295
+ if step % max(1, len(lambdas) // 12) == 0:
296
+ tracker.log(
297
+ {
298
+ "structural/lambda": lam,
299
+ "structural/xi_oracle": xi_decomposition,
300
+ "structural/gain": risk_teacher - risk_sd_direct,
301
+ "structural/formula_error": max(
302
+ symmetric_error(xi_decomposition, xi_derivative),
303
+ symmetric_error(risk_sd_decomposition, risk_sd_direct),
304
+ ),
305
+ },
306
+ step=step,
307
+ )
308
+
309
+ mixed_rows: list[dict[str, Any]] = []
310
+ selected_indices = sorted(set(np.linspace(0, len(lambdas) - 1, 9, dtype=int).tolist()))
311
+ for index in selected_indices:
312
+ lam = lambdas[index]
313
+ teacher, pure_distilled = coefficients[lam]
314
+ for xi in xi_checks:
315
+ mixed_labels = (1.0 - xi) * y + xi * (x @ teacher)
316
+ direct_student = ridge_coefficient(x, mixed_labels, lam)
317
+ affine_student = (1.0 - xi) * teacher + xi * pure_distilled
318
+ coefficient_error = float(
319
+ np.linalg.norm(direct_student - affine_student)
320
+ / max(1.0, np.linalg.norm(direct_student), np.linalg.norm(affine_student))
321
+ )
322
+ direct_risk = linear_prediction_risk(
323
+ direct_student, beta_test, sigma_test, noise_variance
324
+ )
325
+ affine_risk = linear_prediction_risk(
326
+ affine_student, beta_test, sigma_test, noise_variance
327
+ )
328
+ mixed_rows.append(
329
+ {
330
+ "lambda": lam,
331
+ "xi": xi,
332
+ "coefficient_error": coefficient_error,
333
+ "risk_error": symmetric_error(direct_risk, affine_risk),
334
+ }
335
+ )
336
+
337
+ # Locate a stationary penalty on the same conditional OOD risk path.
338
+ derivative_values = [float(row["risk_derivative"]) for row in path_rows]
339
+ brackets: list[tuple[float, float]] = []
340
+ for left, right, f_left, f_right in zip(
341
+ lambdas[:-1], lambdas[1:], derivative_values[:-1], derivative_values[1:]
342
+ ):
343
+ if f_left == 0.0 or np.signbit(f_left) != np.signbit(f_right):
344
+ brackets.append((left, right))
345
+ if not brackets:
346
+ raise RuntimeError("structural seed did not yield a stationary-point bracket")
347
+
348
+ def derivative_at(lam: float) -> float:
349
+ coefficient = ridge_coefficient(x, y, lam)
350
+ return ridge_risk_derivative(
351
+ x,
352
+ y,
353
+ coefficient,
354
+ beta_test,
355
+ sigma_test,
356
+ lam,
357
+ )
358
+
359
+ stationary_lambda = bisection_root(derivative_at, *brackets[0])
360
+ teacher_stationary = ridge_coefficient(x, y, stationary_lambda)
361
+ pd_stationary = ridge_coefficient(x, x @ teacher_stationary, stationary_lambda)
362
+ r_stationary = linear_prediction_risk(
363
+ teacher_stationary, beta_test, sigma_test, noise_variance
364
+ )
365
+ c_stationary = residual_cross_risk(
366
+ teacher_stationary,
367
+ pd_stationary,
368
+ beta_test,
369
+ sigma_test,
370
+ noise_variance,
371
+ )
372
+ delta_stationary = teacher_stationary - pd_stationary
373
+ d_stationary = float(delta_stationary.T @ sigma_test @ delta_stationary)
374
+ xi_stationary = (r_stationary - c_stationary) / d_stationary
375
+ risk_stationary_sd = r_stationary - (r_stationary - c_stationary) ** 2 / d_stationary
376
+ stationary_record = {
377
+ "lambda": stationary_lambda,
378
+ "risk_derivative": derivative_at(stationary_lambda),
379
+ "D": d_stationary,
380
+ "xi": xi_stationary,
381
+ "risk_teacher": r_stationary,
382
+ "risk_sd": risk_stationary_sd,
383
+ "gain": r_stationary - risk_stationary_sd,
384
+ "xi_symmetric_scale": abs(xi_stationary) / max(1.0, abs(xi_stationary)),
385
+ "gain_symmetric_scale": abs(r_stationary - risk_stationary_sd)
386
+ / max(1.0, abs(r_stationary), abs(risk_stationary_sd)),
387
+ }
388
+
389
+ # D=0 test distribution: x0 is deterministically zero.
390
+ zero_covariance = np.zeros_like(sigma_test)
391
+ degenerate_rows: list[dict[str, Any]] = []
392
+ reference_lambda = lambdas[len(lambdas) // 2]
393
+ teacher_reference, pd_reference = coefficients[reference_lambda]
394
+ for xi in xi_checks:
395
+ candidate = (1.0 - xi) * teacher_reference + xi * pd_reference
396
+ degenerate_rows.append(
397
+ {
398
+ "lambda": reference_lambda,
399
+ "xi": xi,
400
+ "risk": linear_prediction_risk(
401
+ candidate, beta_test, zero_covariance, noise_variance
402
+ ),
403
+ "D": float(
404
+ (teacher_reference - pd_reference).T
405
+ @ zero_covariance
406
+ @ (teacher_reference - pd_reference)
407
+ ),
408
+ "optimizer_identifiable": 0,
409
+ }
410
+ )
411
+
412
+ write_csv(output_dir / "structural_path.csv", path_rows)
413
+ write_csv(output_dir / "affine_refits.csv", mixed_rows)
414
+ write_csv(output_dir / "degenerate_control.csv", degenerate_rows)
415
+ write_json(output_dir / "stationary_point.json", stationary_record)
416
+ write_json(
417
+ output_dir / "structural_metadata.json",
418
+ {
419
+ "n": n,
420
+ "p": p,
421
+ "seed": seed,
422
+ "noise_variance": noise_variance,
423
+ "train_covariance": "AR1(0.35)",
424
+ "test_covariance": "diagonally scaled AR1(0.55)",
425
+ "test_projection_shifted": True,
426
+ "lambda_count": len(lambdas),
427
+ "affine_refit_count": len(mixed_rows),
428
+ "stationary_bracket": brackets[0],
429
+ "D_zero_control": True,
430
+ },
431
+ )
432
+ print(
433
+ json.dumps(
434
+ {
435
+ "mode": "structural",
436
+ "path_rows": len(path_rows),
437
+ "affine_refits": len(mixed_rows),
438
+ "stationary_lambda": stationary_lambda,
439
+ "max_affine_coefficient_error": max(row["coefficient_error"] for row in mixed_rows),
440
+ "max_formula_error": max(
441
+ max(row["xi_formula_error"], row["risk_formula_error"])
442
+ for row in path_rows
443
+ ),
444
+ },
445
+ sort_keys=True,
446
+ ),
447
+ flush=True,
448
+ )
449
+
450
+
451
+ def seeded_design(
452
+ n: int,
453
+ p: int,
454
+ rho: float,
455
+ noise_variance: float,
456
+ seed: int,
457
+ ) -> tuple[np.ndarray, np.ndarray]:
458
+ sigma = ar1_covariance(p, rho)
459
+ rng = np.random.default_rng(seed)
460
+ design = rng.standard_normal((n, p)) @ np.linalg.cholesky(sigma).T
461
+ noise = rng.standard_normal(n) * np.sqrt(noise_variance)
462
+ return design, noise
463
+
464
+
465
+ def run_figure4(
466
+ section: dict[str, Any],
467
+ output_dir: Path,
468
+ *,
469
+ device: str,
470
+ dtype: str,
471
+ tracker: TrackioRun,
472
+ ) -> None:
473
+ n = int(section["n"])
474
+ p = int(section["p"])
475
+ seeds = int(section["seeds"])
476
+ snrs = tuple(float(value) for value in section["snrs"])
477
+ lambdas = resolve_lambdas(section["lambdas"])
478
+ rho = float(section.get("rho", 0.25))
479
+ noise_variance = float(section.get("noise_variance", 1.0))
480
+ signal_seed = int(section.get("signal_seed", 2025))
481
+ seed_base = int(section.get("seed_base", 12000))
482
+ top_fraction = float(section.get("top_fraction", 0.1))
483
+ alignment_factor = float(section.get("alignment_factor", 0.9))
484
+ sigma = ar1_covariance(p, rho)
485
+
486
+ theory_rows: list[dict[str, Any]] = []
487
+ signal_rows: list[dict[str, Any]] = []
488
+ for snr in snrs:
489
+ beta, signal_info = top_aligned_signal(
490
+ sigma,
491
+ snr,
492
+ seed=signal_seed,
493
+ top_fraction=top_fraction,
494
+ alignment_factor=alignment_factor,
495
+ )
496
+ signal_rows.append({"snr": snr, **signal_info})
497
+ for lam in lambdas:
498
+ theory_rows.append(
499
+ {
500
+ "experiment": "figure4",
501
+ "n": n,
502
+ "p": p,
503
+ "snr": snr,
504
+ **asymptotic_point(p / n, sigma, beta, lam, noise_variance),
505
+ }
506
+ )
507
+
508
+ raw_rows: list[dict[str, Any]] = []
509
+ metadata_rows: list[dict[str, Any]] = []
510
+ progress_step = 0
511
+ for seed_index in range(seeds):
512
+ seed = seed_base + seed_index
513
+ design, noise = seeded_design(n, p, rho, noise_variance, seed)
514
+ seed_rows: list[dict[str, Any]] = []
515
+ for snr in snrs:
516
+ spec = FiniteSimulationSpec(
517
+ n=n,
518
+ p=p,
519
+ seed=seed,
520
+ snr=snr,
521
+ lambdas=lambdas,
522
+ rho=rho,
523
+ noise_variance=noise_variance,
524
+ signal_seed=signal_seed,
525
+ top_fraction=top_fraction,
526
+ alignment_factor=alignment_factor,
527
+ )
528
+ rows, metadata = finite_simulation(
529
+ spec,
530
+ device=device,
531
+ dtype=dtype,
532
+ design=design,
533
+ noise=noise,
534
+ )
535
+ for row in rows:
536
+ row["experiment"] = "figure4"
537
+ seed_rows.extend(rows)
538
+ metadata_rows.append(metadata)
539
+ raw_rows.extend(seed_rows)
540
+ mean_oracle = float(np.mean([row["risk_sd_oracle"] for row in seed_rows]))
541
+ mean_abs_gcv_error = float(
542
+ np.mean(
543
+ [
544
+ abs(row["risk_sd_hat"] - row["risk_sd_oracle"])
545
+ / max(1.0, row["risk_sd_oracle"])
546
+ for row in seed_rows
547
+ ]
548
+ )
549
+ )
550
+ tracker.log(
551
+ {
552
+ "figure4/completed_seeds": seed_index + 1,
553
+ "figure4/mean_oracle_risk": mean_oracle,
554
+ "figure4/mean_scaled_gcv_risk_error": mean_abs_gcv_error,
555
+ "figure4/max_D_hat_identity_error": max(
556
+ row["D_hat_identity_error"] for row in seed_rows
557
+ ),
558
+ },
559
+ step=progress_step,
560
+ )
561
+ progress_step += 1
562
+ print(
563
+ f"figure4 seed {seed_index + 1}/{seeds} complete "
564
+ f"({len(raw_rows)} rows, device={device}, dtype={dtype})",
565
+ flush=True,
566
+ )
567
+
568
+ write_csv(output_dir / "figure4_raw.csv", raw_rows)
569
+ write_csv(output_dir / "figure4_theory.csv", theory_rows)
570
+ write_csv(output_dir / "figure4_signal_metadata.csv", signal_rows)
571
+ write_json(
572
+ output_dir / "figure4_protocol.json",
573
+ {
574
+ "n": n,
575
+ "p": p,
576
+ "gamma": p / n,
577
+ "seed_count": seeds,
578
+ "seed_base": seed_base,
579
+ "snrs": snrs,
580
+ "lambda_count": len(lambdas),
581
+ "lambda_min": min(lambdas),
582
+ "lambda_max": max(lambdas),
583
+ "rho": rho,
584
+ "noise_variance": noise_variance,
585
+ "signal_seed": signal_seed,
586
+ "top_fraction": top_fraction,
587
+ "alignment_factor": alignment_factor,
588
+ "population_risk_evaluation": "analytic quadratic form",
589
+ "raw_row_count": len(raw_rows),
590
+ "theory_row_count": len(theory_rows),
591
+ },
592
+ )
593
+
594
+
595
+ def run_size_ladder(
596
+ section: dict[str, Any],
597
+ output_dir: Path,
598
+ *,
599
+ device: str,
600
+ dtype: str,
601
+ tracker: TrackioRun,
602
+ ) -> None:
603
+ sizes = tuple(int(value) for value in section["sizes"])
604
+ gamma = float(section.get("gamma", 0.5))
605
+ seeds = int(section["seeds"])
606
+ snr = float(section.get("snr", 1.0))
607
+ lambdas = resolve_lambdas(section["lambdas"])
608
+ rho = float(section.get("rho", 0.25))
609
+ noise_variance = float(section.get("noise_variance", 1.0))
610
+ signal_seed = int(section.get("signal_seed", 2025))
611
+ seed_base = int(section.get("seed_base", 42000))
612
+ top_fraction = float(section.get("top_fraction", 0.1))
613
+ alignment_factor = float(section.get("alignment_factor", 0.9))
614
+
615
+ raw_rows: list[dict[str, Any]] = []
616
+ theory_rows: list[dict[str, Any]] = []
617
+ signal_rows: list[dict[str, Any]] = []
618
+ progress_step = 0
619
+ for n in sizes:
620
+ p = int(round(gamma * n))
621
+ if p < 2 or p >= n:
622
+ raise ValueError("size ladder requires 2 <= p < n")
623
+ sigma = ar1_covariance(p, rho)
624
+ beta, signal_info = top_aligned_signal(
625
+ sigma,
626
+ snr,
627
+ seed=signal_seed,
628
+ top_fraction=top_fraction,
629
+ alignment_factor=alignment_factor,
630
+ )
631
+ signal_rows.append({"n": n, "p": p, "snr": snr, **signal_info})
632
+ for lam in lambdas:
633
+ theory_rows.append(
634
+ {
635
+ "experiment": "size_ladder",
636
+ "n": n,
637
+ "p": p,
638
+ "snr": snr,
639
+ **asymptotic_point(p / n, sigma, beta, lam, noise_variance),
640
+ }
641
+ )
642
+
643
+ for seed_index in range(seeds):
644
+ seed = seed_base + 1000 * n + seed_index
645
+ design, noise = seeded_design(n, p, rho, noise_variance, seed)
646
+ spec = FiniteSimulationSpec(
647
+ n=n,
648
+ p=p,
649
+ seed=seed,
650
+ snr=snr,
651
+ lambdas=lambdas,
652
+ rho=rho,
653
+ noise_variance=noise_variance,
654
+ signal_seed=signal_seed,
655
+ top_fraction=top_fraction,
656
+ alignment_factor=alignment_factor,
657
+ )
658
+ rows, _ = finite_simulation(
659
+ spec,
660
+ device=device,
661
+ dtype=dtype,
662
+ design=design,
663
+ noise=noise,
664
+ )
665
+ for row in rows:
666
+ row["experiment"] = "size_ladder"
667
+ raw_rows.extend(rows)
668
+ scaled_xi_errors = [
669
+ abs(row["xi_hat"] - row["xi_oracle"]) / max(1.0, abs(row["xi_oracle"]))
670
+ for row in rows
671
+ if np.isfinite(row["xi_hat"]) and np.isfinite(row["xi_oracle"])
672
+ ]
673
+ tracker.log(
674
+ {
675
+ "size_ladder/n": n,
676
+ "size_ladder/completed_seed_at_size": seed_index + 1,
677
+ "size_ladder/mean_scaled_xi_error": float(np.mean(scaled_xi_errors)),
678
+ "size_ladder/max_D_hat_identity_error": max(
679
+ row["D_hat_identity_error"] for row in rows
680
+ ),
681
+ },
682
+ step=progress_step,
683
+ )
684
+ progress_step += 1
685
+ print(
686
+ f"size ladder n={n}, p={p}: {seeds} seeds complete "
687
+ f"({len(raw_rows)} cumulative rows, device={device})",
688
+ flush=True,
689
+ )
690
+
691
+ write_csv(output_dir / "size_ladder_raw.csv", raw_rows)
692
+ write_csv(output_dir / "size_ladder_theory.csv", theory_rows)
693
+ write_csv(output_dir / "size_ladder_signal_metadata.csv", signal_rows)
694
+ write_json(
695
+ output_dir / "size_ladder_protocol.json",
696
+ {
697
+ "sizes": sizes,
698
+ "gamma": gamma,
699
+ "seeds_per_size": seeds,
700
+ "snr": snr,
701
+ "lambdas": lambdas,
702
+ "rho": rho,
703
+ "noise_variance": noise_variance,
704
+ "signal_seed": signal_seed,
705
+ "top_fraction": top_fraction,
706
+ "alignment_factor": alignment_factor,
707
+ "raw_row_count": len(raw_rows),
708
+ "theory_row_count": len(theory_rows),
709
+ },
710
+ )
711
+
712
+
713
+ def parse_args() -> argparse.Namespace:
714
+ parser = argparse.ArgumentParser(description=__doc__)
715
+ parser.add_argument("--mode", choices=["structural", "figure4", "size", "all"], required=True)
716
+ parser.add_argument("--config", type=Path, required=True)
717
+ parser.add_argument("--output-dir", type=Path, required=True)
718
+ parser.add_argument("--device", default="cpu")
719
+ parser.add_argument("--dtype", choices=["float32", "float64"], default="float64")
720
+ parser.add_argument("--trackio-project-prefix")
721
+ parser.add_argument("--run-name-prefix", default="reproduction")
722
+ return parser.parse_args()
723
+
724
+
725
+ def main() -> int:
726
+ args = parse_args()
727
+ config = json.loads(args.config.read_text(encoding="utf-8"))
728
+ args.output_dir.mkdir(parents=True, exist_ok=True)
729
+ write_json(
730
+ args.output_dir / "environment.json",
731
+ environment_record(args.config, args.device, args.dtype),
732
+ )
733
+ write_json(args.output_dir / "resolved_config.json", config)
734
+
735
+ selected_modes = [args.mode] if args.mode != "all" else ["structural", "figure4", "size"]
736
+ start = time.perf_counter()
737
+ for mode in selected_modes:
738
+ mode_output = args.output_dir if args.mode != "all" else args.output_dir / mode
739
+ mode_output.mkdir(parents=True, exist_ok=True)
740
+ project = None
741
+ if args.trackio_project_prefix:
742
+ project = f"{args.trackio_project_prefix}-{mode}"
743
+ tracker = TrackioRun(
744
+ project,
745
+ f"{args.run_name_prefix}-{mode}",
746
+ {
747
+ "paper": "MdHcU4C4Rm",
748
+ "submission": 22249,
749
+ "mode": mode,
750
+ "device": args.device,
751
+ "dtype": args.dtype,
752
+ "config_sha256": sha256_file(args.config),
753
+ },
754
+ )
755
+ mode_start = time.perf_counter()
756
+ try:
757
+ if mode == "structural":
758
+ run_structural(config["structural"], mode_output, tracker=tracker)
759
+ elif mode == "figure4":
760
+ run_figure4(
761
+ config["figure4"],
762
+ mode_output,
763
+ device=args.device,
764
+ dtype=args.dtype,
765
+ tracker=tracker,
766
+ )
767
+ elif mode == "size":
768
+ run_size_ladder(
769
+ config["size_ladder"],
770
+ mode_output,
771
+ device=args.device,
772
+ dtype=args.dtype,
773
+ tracker=tracker,
774
+ )
775
+ else: # pragma: no cover - guarded by argparse/list above
776
+ raise AssertionError(mode)
777
+ elapsed = time.perf_counter() - mode_start
778
+ write_json(
779
+ mode_output / "runtime.json",
780
+ {"mode": mode, "wall_time_seconds": elapsed},
781
+ )
782
+ tracker.log({f"{mode}/wall_time_seconds": elapsed})
783
+ tracker.finish(
784
+ artifact_path=mode_output,
785
+ artifact_name=f"icml22249-{mode}-{args.run_name_prefix}",
786
+ )
787
+ except Exception:
788
+ tracker.finish()
789
+ raise
790
+
791
+ total_elapsed = time.perf_counter() - start
792
+ write_json(
793
+ args.output_dir / "total_runtime.json",
794
+ {"mode": args.mode, "wall_time_seconds": total_elapsed},
795
+ )
796
+ print(
797
+ json.dumps(
798
+ {
799
+ "status": "complete",
800
+ "mode": args.mode,
801
+ "output_dir": str(args.output_dir),
802
+ "wall_time_seconds": total_elapsed,
803
+ },
804
+ sort_keys=True,
805
+ ),
806
+ flush=True,
807
+ )
808
+ return 0
809
+
810
+
811
+ if __name__ == "__main__":
812
+ raise SystemExit(main())
813
+
814
+ ````
815
+
816
+
817
+ ````json title=smoke.json
818
+ {
819
+ "structural": {
820
+ "n": 64,
821
+ "p": 12,
822
+ "seed": 22249,
823
+ "noise_variance": 0.7,
824
+ "lambdas": {
825
+ "low": 0.0001,
826
+ "high": 1000.0,
827
+ "count": 51
828
+ },
829
+ "xi_checks": [-3.0, -0.5, 0.0, 0.4, 1.0, 2.5]
830
+ },
831
+ "figure4": {
832
+ "n": 80,
833
+ "p": 40,
834
+ "seeds": 2,
835
+ "snrs": [0.5, 1.0, 3.0],
836
+ "lambdas": {
837
+ "low": 0.01,
838
+ "high": 50.0,
839
+ "count": 9
840
+ },
841
+ "rho": 0.25,
842
+ "noise_variance": 1.0,
843
+ "signal_seed": 2025,
844
+ "seed_base": 12000,
845
+ "top_fraction": 0.1,
846
+ "alignment_factor": 0.9
847
+ },
848
+ "size_ladder": {
849
+ "sizes": [40, 80],
850
+ "gamma": 0.5,
851
+ "seeds": 3,
852
+ "snr": 1.0,
853
+ "lambdas": [0.05, 0.5, 5.0],
854
+ "rho": 0.25,
855
+ "noise_variance": 1.0,
856
+ "signal_seed": 2025,
857
+ "seed_base": 42000,
858
+ "top_fraction": 0.1,
859
+ "alignment_factor": 0.9
860
+ }
861
+ }
862
+
863
+ ````
864
+
865
+
866
+ ````output
867
+ * Trackio project initialized: icml22249-smoke-size
868
+ * Trackio metrics logged to: /home/tihor/ICML/campaign/wave1/repro_22249_self_distillation/.hf/trackio
869
+ * View dashboard by running in your terminal:
870
+ trackio show --project "icml22249-smoke-size"
871
+ * or by running in Python: trackio.show(project="icml22249-smoke-size")
872
+ * Created new run: local-smoke-fixed-size
873
+ size ladder n=40, p=20: 3 seeds complete (9 cumulative rows, device=cpu)
874
+ size ladder n=80, p=40: 3 seeds complete (18 cumulative rows, device=cpu)
875
+ TRACKIO_ARTIFACT=icml22249-smoke-size/icml22249-size-local-smoke-fixed:v0
876
+ * Run finished. Uploading logs to Trackio (please wait...)
877
+ {"mode": "size", "output_dir": "outputs/smoke/size", "status": "complete", "wall_time_seconds": 0.5051872440089937}
878
+
879
+ ````
880
+
881
+
882
+ ---
883
+ <!-- trackio-cell
884
+ {"type": "artifact", "id": "cell_22a0c4d6ab2b", "created_at": "2026-07-16T16:25:52+00:00", "title": "Artifact: size_ladder_raw.csv", "path": "outputs/smoke/size/size_ladder_raw.csv", "size": 11296, "artifact_type": "dataset", "auto": true}
885
+ -->
886
+ **📦 Artifact** `outputs/smoke/size/size_ladder_raw.csv` · dataset · 11.3 kB
887
+
888
+ trackio-local-path://outputs/smoke/size/size_ladder_raw.csv
889
+
890
+
891
+ ---
892
+ <!-- trackio-cell
893
+ {"type": "artifact", "id": "cell_8f0871ca3281", "created_at": "2026-07-16T16:25:52+00:00", "title": "Artifact: size_ladder_theory.csv", "path": "outputs/smoke/size/size_ladder_theory.csv", "size": 3041, "artifact_type": "dataset", "auto": true}
894
+ -->
895
+ **📦 Artifact** `outputs/smoke/size/size_ladder_theory.csv` · dataset · 3.0 kB
896
+
897
+ trackio-local-path://outputs/smoke/size/size_ladder_theory.csv
898
+
899
+
900
+ ---
901
+ <!-- trackio-cell
902
+ {"type": "artifact", "id": "cell_884ca4af9497", "created_at": "2026-07-16T16:25:52+00:00", "title": "Artifact: size_ladder_signal_metadata.csv", "path": "outputs/smoke/size/size_ladder_signal_metadata.csv", "size": 330, "artifact_type": "dataset", "auto": true}
903
+ -->
904
+ **📦 Artifact** `outputs/smoke/size/size_ladder_signal_metadata.csv` · dataset · 330 B
905
+
906
+ trackio-local-path://outputs/smoke/size/size_ladder_signal_metadata.csv
907
+
908
+
909
+ ---
910
+ <!-- trackio-cell
911
+ {"type": "code", "id": "cell_22d32cd75f5b", "created_at": "2026-07-16T16:25:59+00:00", "title": "Independent smoke-result audit", "command": ["python", "scripts/audit_results.py", "--structural-dir", "outputs/smoke/structural", "--figure4-dir", "outputs/smoke/figure4", "--size-dir", "outputs/smoke/size", "--output-dir", "outputs/smoke/audit", "--profile", "smoke"], "exit_code": 0, "duration_s": 0.028}
912
+ -->
913
+ ````bash
914
+ $ python scripts/audit_results.py --structural-dir outputs/smoke/structural --figure4-dir outputs/smoke/figure4 --size-dir outputs/smoke/size --output-dir outputs/smoke/audit --profile smoke
915
+ ````
916
+
917
+ exit 0 · 0.0s
918
+
919
+
920
+ ````python title=audit_results.py
921
+ #!/usr/bin/env python3
922
+ """Recompute all frozen claim metrics from raw CSV/JSON outputs.
923
+
924
+ This script performs no model fitting. Its inputs are the immutable seed-level
925
+ rows emitted by ``run_reproduction.py``; its outputs are aggregate tables and
926
+ machine-readable pass/fail dispositions tied directly to ``CLAIMS.md``.
927
+ """
928
+
929
+ from __future__ import annotations
930
+
931
+ import argparse
932
+ import csv
933
+ import json
934
+ import math
935
+ import statistics
936
+ from collections import defaultdict
937
+ from pathlib import Path
938
+ from typing import Any, Iterable
939
+
940
+
941
+ def read_csv(path: Path) -> list[dict[str, str]]:
942
+ with path.open(newline="", encoding="utf-8") as handle:
943
+ return list(csv.DictReader(handle))
944
+
945
+
946
+ def number(row: dict[str, str], key: str) -> float:
947
+ return float(row[key])
948
+
949
+
950
+ def integer(row: dict[str, str], key: str) -> int:
951
+ return int(float(row[key]))
952
+
953
+
954
+ def key_float(value: float) -> str:
955
+ return f"{float(value):.14g}"
956
+
957
+
958
+ def median(values: Iterable[float]) -> float:
959
+ materialized = list(values)
960
+ if not materialized:
961
+ return float("nan")
962
+ return float(statistics.median(materialized))
963
+
964
+
965
+ def mean(values: Iterable[float]) -> float:
966
+ materialized = list(values)
967
+ if not materialized:
968
+ return float("nan")
969
+ return float(statistics.fmean(materialized))
970
+
971
+
972
+ def quantile(values: Iterable[float], probability: float) -> float:
973
+ ordered = sorted(float(value) for value in values)
974
+ if not ordered:
975
+ return float("nan")
976
+ if len(ordered) == 1:
977
+ return ordered[0]
978
+ position = probability * (len(ordered) - 1)
979
+ lower = int(math.floor(position))
980
+ upper = int(math.ceil(position))
981
+ weight = position - lower
982
+ return float((1.0 - weight) * ordered[lower] + weight * ordered[upper])
983
+
984
+
985
+ def sample_standard_error(values: list[float]) -> float:
986
+ if len(values) < 2:
987
+ return float("nan")
988
+ return float(statistics.stdev(values) / math.sqrt(len(values)))
989
+
990
+
991
+ def write_csv(path: Path, rows: list[dict[str, Any]]) -> None:
992
+ path.parent.mkdir(parents=True, exist_ok=True)
993
+ if not rows:
994
+ raise ValueError(f"empty aggregate table: {path}")
995
+ fields: list[str] = []
996
+ seen: set[str] = set()
997
+ for row in rows:
998
+ for key in row:
999
+ if key not in seen:
1000
+ fields.append(key)
1001
+ seen.add(key)
1002
+ with path.open("w", newline="", encoding="utf-8") as handle:
1003
+ writer = csv.DictWriter(handle, fieldnames=fields)
1004
+ writer.writeheader()
1005
+ writer.writerows(rows)
1006
+
1007
+
1008
+ def write_json(path: Path, payload: Any) -> None:
1009
+ path.parent.mkdir(parents=True, exist_ok=True)
1010
+ path.write_text(json.dumps(payload, indent=2, sort_keys=True, allow_nan=False) + "\n", encoding="utf-8")
1011
+
1012
+
1013
+ def safe_json_float(value: float) -> float | None:
1014
+ return float(value) if math.isfinite(float(value)) else None
1015
+
1016
+
1017
+ def gate(name: str, passed: bool, value: Any, threshold: str, detail: str = "") -> dict[str, Any]:
1018
+ return {
1019
+ "name": name,
1020
+ "passed": bool(passed),
1021
+ "value": value,
1022
+ "threshold": threshold,
1023
+ "detail": detail,
1024
+ }
1025
+
1026
+
1027
+ def audit_claim1(structural_dir: Path) -> tuple[dict[str, Any], list[dict[str, Any]]]:
1028
+ path_rows = read_csv(structural_dir / "structural_path.csv")
1029
+ affine_rows = read_csv(structural_dir / "affine_refits.csv")
1030
+ degenerate_rows = read_csv(structural_dir / "degenerate_control.csv")
1031
+ stationary = json.loads((structural_dir / "stationary_point.json").read_text(encoding="utf-8"))
1032
+
1033
+ max_affine = max(number(row, "coefficient_error") for row in affine_rows)
1034
+ usable = [row for row in path_rows if number(row, "D_direct") > 1e-12]
1035
+ max_formula = max(
1036
+ max(number(row, "xi_formula_error"), number(row, "risk_formula_error"))
1037
+ for row in usable
1038
+ )
1039
+ nonstationary = [row for row in usable if number(row, "normalized_slope") > 1e-9]
1040
+ strict_count = sum(
1041
+ number(row, "gain") > 2e-12 * max(1.0, number(row, "risk_teacher"))
1042
+ for row in nonstationary
1043
+ )
1044
+ sign_count = sum(integer(row, "sign_rule_holds") == 1 for row in nonstationary)
1045
+ over_regularized = [
1046
+ row
1047
+ for row in nonstationary
1048
+ if number(row, "risk_derivative") > 0.0
1049
+ ]
1050
+ over_pass_count = 0
1051
+ for row in over_regularized:
1052
+ teacher = number(row, "risk_teacher")
1053
+ constrained = number(row, "risk_constrained")
1054
+ over_pass_count += int(
1055
+ number(row, "xi_decomposition") < 0.0
1056
+ and abs(number(row, "xi_constrained")) <= 2e-10
1057
+ and abs(constrained - teacher) / max(1.0, abs(teacher), abs(constrained)) <= 2e-10
1058
+ and number(row, "gain") > 2e-12 * max(1.0, teacher)
1059
+ )
1060
+ degenerate_risks = [number(row, "risk") for row in degenerate_rows]
1061
+ degenerate_range = max(degenerate_risks) - min(degenerate_risks)
1062
+ max_degenerate_d = max(abs(number(row, "D")) for row in degenerate_rows)
1063
+ identifiable_count = sum(integer(row, "optimizer_identifiable") for row in degenerate_rows)
1064
+
1065
+ gates = [
1066
+ gate(
1067
+ "affine_refit_identity",
1068
+ max_affine <= 2e-10,
1069
+ max_affine,
1070
+ "max coefficient error <= 2e-10",
1071
+ f"{len(affine_rows)} direct mixed-label refits",
1072
+ ),
1073
+ gate(
1074
+ "closed_form_identities",
1075
+ max_formula <= 2e-9,
1076
+ max_formula,
1077
+ "max symmetric formula error <= 2e-9",
1078
+ f"{len(usable)} D-positive path points",
1079
+ ),
1080
+ gate(
1081
+ "strict_nonstationary_improvement",
1082
+ bool(nonstationary) and strict_count == len(nonstationary),
1083
+ {"passing": strict_count, "tested": len(nonstationary)},
1084
+ "all normalized-slope > 1e-9 points have gain > numerical tolerance",
1085
+ ),
1086
+ gate(
1087
+ "sign_rule",
1088
+ bool(nonstationary) and sign_count == len(nonstationary),
1089
+ {"passing": sign_count, "tested": len(nonstationary)},
1090
+ "100% sign agreement",
1091
+ ),
1092
+ gate(
1093
+ "stationary_touch",
1094
+ float(stationary["xi_symmetric_scale"]) <= 2e-7
1095
+ and float(stationary["gain_symmetric_scale"]) <= 2e-9,
1096
+ {
1097
+ "lambda": stationary["lambda"],
1098
+ "xi_scale": stationary["xi_symmetric_scale"],
1099
+ "gain_scale": stationary["gain_symmetric_scale"],
1100
+ },
1101
+ "xi scale <= 2e-7 and gain scale <= 2e-9",
1102
+ ),
1103
+ gate(
1104
+ "negative_xi_beats_constrained_control",
1105
+ bool(over_regularized) and over_pass_count == len(over_regularized),
1106
+ {"passing": over_pass_count, "tested": len(over_regularized)},
1107
+ "all over-regularized points: xi*<0, clipped xi=0, only unrestricted fit gains",
1108
+ ),
1109
+ gate(
1110
+ "D_zero_nonidentifiability_control",
1111
+ degenerate_range <= 2e-12
1112
+ and max_degenerate_d <= 2e-12
1113
+ and identifiable_count == 0,
1114
+ {
1115
+ "risk_range": degenerate_range,
1116
+ "max_abs_D": max_degenerate_d,
1117
+ "identifiable_count": identifiable_count,
1118
+ },
1119
+ "risk range and |D| <= 2e-12; optimizer never marked identifiable",
1120
+ ),
1121
+ ]
1122
+ passed = all(item["passed"] for item in gates)
1123
+ summary = {
1124
+ "claim": 1,
1125
+ "headline": "Exact pointwise improvement and unconstrained sign rule",
1126
+ "passed": passed,
1127
+ "verdict": "Supported, conditional" if passed else "Not reproduced",
1128
+ "evidence_class": "full algebraic/numerical identity check on a conditional OOD problem",
1129
+ "gates": gates,
1130
+ "counts": {
1131
+ "path_rows": len(path_rows),
1132
+ "nonstationary_rows": len(nonstationary),
1133
+ "over_regularized_rows": len(over_regularized),
1134
+ "affine_refits": len(affine_rows),
1135
+ "degenerate_controls": len(degenerate_rows),
1136
+ },
1137
+ "scope": "Conditional seeded mechanism evidence; D>0 and nonstationarity are essential.",
1138
+ }
1139
+ return summary, path_rows
1140
+
1141
+
1142
+ def theory_map(rows: list[dict[str, str]], include_size: bool) -> dict[tuple[str, ...], dict[str, str]]:
1143
+ result: dict[tuple[str, ...], dict[str, str]] = {}
1144
+ for row in rows:
1145
+ components = []
1146
+ if include_size:
1147
+ components.extend([str(integer(row, "n")), str(integer(row, "p"))])
1148
+ components.extend([key_float(number(row, "snr")), key_float(number(row, "lambda"))])
1149
+ result[tuple(components)] = row
1150
+ return result
1151
+
1152
+
1153
+ def audit_claim2(
1154
+ figure4_dir: Path,
1155
+ size_dir: Path,
1156
+ output_dir: Path,
1157
+ ) -> tuple[dict[str, Any], list[dict[str, Any]]]:
1158
+ raw = read_csv(figure4_dir / "figure4_raw.csv")
1159
+ theory = read_csv(figure4_dir / "figure4_theory.csv")
1160
+ lookup = theory_map(theory, include_size=False)
1161
+ grouped: dict[tuple[str, str], list[dict[str, str]]] = defaultdict(list)
1162
+ for row in raw:
1163
+ grouped[(key_float(number(row, "snr")), key_float(number(row, "lambda")))].append(row)
1164
+
1165
+ aggregates: list[dict[str, Any]] = []
1166
+ for key, rows in sorted(grouped.items(), key=lambda item: (float(item[0][0]), float(item[0][1]))):
1167
+ theory_row = lookup[key]
1168
+ d_theory = number(theory_row, "D_theory")
1169
+ empirical_risks = [number(row, "risk_sd_oracle") for row in rows]
1170
+ empirical_xis = [number(row, "xi_oracle") for row in rows]
1171
+ risk_mean = mean(empirical_risks)
1172
+ risk_theory = number(theory_row, "risk_sd_theory")
1173
+ relative_error = abs(risk_mean - risk_theory) / max(1e-12, abs(risk_theory))
1174
+ risk_se = sample_standard_error(empirical_risks)
1175
+ covered = int(
1176
+ (math.isfinite(risk_se) and abs(risk_mean - risk_theory) <= 2.0 * risk_se)
1177
+ or relative_error <= 0.03
1178
+ )
1179
+ xi_mean = mean(empirical_xis)
1180
+ xi_theory = number(theory_row, "xi_theory")
1181
+ xi_scaled_error = abs(xi_mean - xi_theory) / max(1.0, abs(xi_theory))
1182
+ sign_eligible = int(abs(xi_theory) >= 0.1)
1183
+ sign_agrees = int(not sign_eligible or math.copysign(1.0, xi_mean) == math.copysign(1.0, xi_theory))
1184
+ aggregates.append(
1185
+ {
1186
+ "snr": number(theory_row, "snr"),
1187
+ "lambda": number(theory_row, "lambda"),
1188
+ "seed_count": len(rows),
1189
+ "D_theory": d_theory,
1190
+ "risk_sd_theory": risk_theory,
1191
+ "risk_sd_empirical_mean": risk_mean,
1192
+ "risk_sd_empirical_se": risk_se,
1193
+ "risk_relative_error": relative_error,
1194
+ "risk_covered_2se_or_3pct": covered,
1195
+ "xi_theory": xi_theory,
1196
+ "xi_empirical_mean": xi_mean,
1197
+ "xi_scaled_error": xi_scaled_error,
1198
+ "xi_sign_eligible": sign_eligible,
1199
+ "xi_sign_agrees": sign_agrees,
1200
+ "fixed_point_residual": number(theory_row, "fixed_point_residual"),
1201
+ "min_D_oracle": min(number(row, "D_oracle") for row in rows),
1202
+ }
1203
+ )
1204
+
1205
+ usable = [row for row in aggregates if float(row["D_theory"]) > 1e-8]
1206
+ risk_errors = [float(row["risk_relative_error"]) for row in usable]
1207
+ median_risk_error = median(risk_errors)
1208
+ p90_risk_error = quantile(risk_errors, 0.9)
1209
+ coverage_rate = mean(float(row["risk_covered_2se_or_3pct"]) for row in usable)
1210
+ xi_eligible = [row for row in usable if int(row["xi_sign_eligible"]) == 1]
1211
+ sign_rate = mean(float(row["xi_sign_agrees"]) for row in xi_eligible)
1212
+ median_xi_scaled_error = median(float(row["xi_scaled_error"]) for row in usable)
1213
+ max_fp_residual = max(float(row["fixed_point_residual"]) for row in aggregates)
1214
+ min_d = min(
1215
+ min(float(row["D_theory"]), float(row["min_D_oracle"]))
1216
+ for row in usable
1217
+ )
1218
+
1219
+ size_raw = read_csv(size_dir / "size_ladder_raw.csv")
1220
+ size_theory = read_csv(size_dir / "size_ladder_theory.csv")
1221
+ size_lookup = theory_map(size_theory, include_size=True)
1222
+ size_groups: dict[tuple[str, str, str, str], list[dict[str, str]]] = defaultdict(list)
1223
+ for row in size_raw:
1224
+ key = (
1225
+ str(integer(row, "n")),
1226
+ str(integer(row, "p")),
1227
+ key_float(number(row, "snr")),
1228
+ key_float(number(row, "lambda")),
1229
+ )
1230
+ size_groups[key].append(row)
1231
+ size_cell_rows: list[dict[str, Any]] = []
1232
+ for key, rows in size_groups.items():
1233
+ theory_row = size_lookup[key]
1234
+ empirical_mean = mean(number(row, "risk_sd_oracle") for row in rows)
1235
+ theoretical = number(theory_row, "risk_sd_theory")
1236
+ size_cell_rows.append(
1237
+ {
1238
+ "n": int(key[0]),
1239
+ "p": int(key[1]),
1240
+ "lambda": number(theory_row, "lambda"),
1241
+ "seed_count": len(rows),
1242
+ "risk_sd_empirical_mean": empirical_mean,
1243
+ "risk_sd_theory": theoretical,
1244
+ "risk_relative_error": abs(empirical_mean - theoretical)
1245
+ / max(1e-12, abs(theoretical)),
1246
+ }
1247
+ )
1248
+ errors_by_size: dict[int, list[float]] = defaultdict(list)
1249
+ for row in size_cell_rows:
1250
+ errors_by_size[int(row["n"])].append(float(row["risk_relative_error"]))
1251
+ size_error_rows = [
1252
+ {
1253
+ "n": size,
1254
+ "cell_count": len(values),
1255
+ "mean_risk_relative_error": mean(values),
1256
+ "median_risk_relative_error": median(values),
1257
+ }
1258
+ for size, values in sorted(errors_by_size.items())
1259
+ ]
1260
+ smallest = min(errors_by_size)
1261
+ largest = max(errors_by_size)
1262
+ smallest_error = mean(errors_by_size[smallest])
1263
+ largest_error = mean(errors_by_size[largest])
1264
+
1265
+ gates = [
1266
+ gate(
1267
+ "median_risk_error",
1268
+ median_risk_error <= 0.05,
1269
+ median_risk_error,
1270
+ "<= 5%",
1271
+ ),
1272
+ gate(
1273
+ "p90_risk_error",
1274
+ p90_risk_error <= 0.12,
1275
+ p90_risk_error,
1276
+ "<= 12%",
1277
+ ),
1278
+ gate(
1279
+ "risk_coverage",
1280
+ coverage_rate >= 0.80,
1281
+ coverage_rate,
1282
+ ">= 80% within 2 SE or 3%",
1283
+ ),
1284
+ gate(
1285
+ "xi_sign_agreement",
1286
+ bool(xi_eligible) and sign_rate >= 0.95,
1287
+ {"rate": sign_rate, "eligible_cells": len(xi_eligible)},
1288
+ ">= 95% where |xi_theory| >= 0.1",
1289
+ ),
1290
+ gate(
1291
+ "median_xi_scaled_error",
1292
+ median_xi_scaled_error <= 0.15,
1293
+ median_xi_scaled_error,
1294
+ "<= 15%",
1295
+ ),
1296
+ gate(
1297
+ "size_convergence",
1298
+ largest_error < smallest_error,
1299
+ {
1300
+ "smallest_n": smallest,
1301
+ "smallest_mean_error": smallest_error,
1302
+ "largest_n": largest,
1303
+ "largest_mean_error": largest_error,
1304
+ },
1305
+ "largest-size aggregate risk error < smallest-size error",
1306
+ ),
1307
+ gate(
1308
+ "fixed_point_and_positive_D",
1309
+ max_fp_residual < 1e-10 and min_d > 0.0,
1310
+ {"max_fixed_point_residual": max_fp_residual, "minimum_usable_D": min_d},
1311
+ "fixed-point residual < 1e-10 and all usable D positive",
1312
+ ),
1313
+ ]
1314
+ passed = all(item["passed"] for item in gates)
1315
+ summary = {
1316
+ "claim": 2,
1317
+ "headline": "Deterministic equivalents align with finite-sample Figure 4 behavior",
1318
+ "passed": passed,
1319
+ "verdict": "Supported" if passed else "Not reproduced",
1320
+ "evidence_class": "paper-native stochastic reproduction plus proportional size check",
1321
+ "gates": gates,
1322
+ "counts": {
1323
+ "raw_seed_rows": len(raw),
1324
+ "theory_cells": len(aggregates),
1325
+ "usable_theory_cells": len(usable),
1326
+ "size_raw_rows": len(size_raw),
1327
+ "size_cells": len(size_cell_rows),
1328
+ },
1329
+ "scope": "Gaussian AR(1), fixed top-aligned signal, analytic in-distribution risk.",
1330
+ }
1331
+ write_csv(output_dir / "claim2_figure4_aggregates.csv", aggregates)
1332
+ write_csv(output_dir / "claim2_size_cells.csv", size_cell_rows)
1333
+ write_csv(output_dir / "claim2_size_summary.csv", size_error_rows)
1334
+ return summary, aggregates
1335
+
1336
+
1337
+ def audit_claim3(size_dir: Path, output_dir: Path) -> tuple[dict[str, Any], list[dict[str, Any]]]:
1338
+ raw = read_csv(size_dir / "size_ladder_raw.csv")
1339
+ usable: list[dict[str, Any]] = []
1340
+ excluded = 0
1341
+ for row in raw:
1342
+ d_oracle = number(row, "D_oracle")
1343
+ d_hat = number(row, "D_hat")
1344
+ if d_oracle <= 1e-10 or d_hat <= 1e-10:
1345
+ excluded += 1
1346
+ continue
1347
+ xi_oracle = number(row, "xi_oracle")
1348
+ xi_hat = number(row, "xi_hat")
1349
+ xi_wrong = number(row, "xi_wrong_df")
1350
+ risk_oracle = number(row, "risk_sd_oracle")
1351
+ risk_hat = number(row, "risk_sd_hat")
1352
+ actual = number(row, "risk_sd_xihat_actual")
1353
+ wrong_actual = number(row, "risk_wrong_df_actual")
1354
+ usable.append(
1355
+ {
1356
+ "n": integer(row, "n"),
1357
+ "p": integer(row, "p"),
1358
+ "seed": integer(row, "seed"),
1359
+ "lambda": number(row, "lambda"),
1360
+ "xi_oracle": xi_oracle,
1361
+ "xi_hat": xi_hat,
1362
+ "xi_wrong_df": xi_wrong,
1363
+ "xi_scaled_error": abs(xi_hat - xi_oracle) / max(1.0, abs(xi_oracle)),
1364
+ "xi_wrong_scaled_error": abs(xi_wrong - xi_oracle) / max(1.0, abs(xi_oracle)),
1365
+ "risk_estimate_scaled_error": abs(risk_hat - risk_oracle)
1366
+ / max(1.0, risk_oracle),
1367
+ "actual_regret_scaled": max(0.0, actual - risk_oracle) / max(1.0, risk_oracle),
1368
+ "wrong_actual_regret_scaled": max(0.0, wrong_actual - risk_oracle)
1369
+ / max(1.0, risk_oracle),
1370
+ "sign_eligible": int(abs(xi_oracle) >= 0.1),
1371
+ "sign_agrees": int(
1372
+ abs(xi_oracle) < 0.1
1373
+ or math.copysign(1.0, xi_hat) == math.copysign(1.0, xi_oracle)
1374
+ ),
1375
+ "negative_oracle": int(xi_oracle < -0.1),
1376
+ "negative_sign_agrees": int(xi_oracle >= -0.1 or xi_hat < 0.0),
1377
+ "D_hat": d_hat,
1378
+ "D_hat_identity_error": number(row, "D_hat_identity_error"),
1379
+ }
1380
+ )
1381
+
1382
+ grouped: dict[int, list[dict[str, Any]]] = defaultdict(list)
1383
+ for row in usable:
1384
+ grouped[int(row["n"])].append(row)
1385
+ size_summaries: list[dict[str, Any]] = []
1386
+ for n, rows in sorted(grouped.items()):
1387
+ eligible = [row for row in rows if row["sign_eligible"]]
1388
+ negatives = [row for row in rows if row["negative_oracle"]]
1389
+ size_summaries.append(
1390
+ {
1391
+ "n": n,
1392
+ "p": int(rows[0]["p"]),
1393
+ "usable_rows": len(rows),
1394
+ "mean_xi_scaled_error": mean(row["xi_scaled_error"] for row in rows),
1395
+ "median_xi_scaled_error": median(row["xi_scaled_error"] for row in rows),
1396
+ "mean_risk_estimate_scaled_error": mean(
1397
+ row["risk_estimate_scaled_error"] for row in rows
1398
+ ),
1399
+ "median_risk_estimate_scaled_error": median(
1400
+ row["risk_estimate_scaled_error"] for row in rows
1401
+ ),
1402
+ "mean_actual_regret_scaled": mean(row["actual_regret_scaled"] for row in rows),
1403
+ "median_actual_regret_scaled": median(row["actual_regret_scaled"] for row in rows),
1404
+ "sign_eligible_rows": len(eligible),
1405
+ "sign_agreement": mean(row["sign_agrees"] for row in eligible),
1406
+ "negative_oracle_rows": len(negatives),
1407
+ "negative_sign_agreement": mean(row["negative_sign_agrees"] for row in negatives),
1408
+ "mean_wrong_xi_scaled_error": mean(
1409
+ row["xi_wrong_scaled_error"] for row in rows
1410
+ ),
1411
+ "mean_wrong_actual_regret_scaled": mean(
1412
+ row["wrong_actual_regret_scaled"] for row in rows
1413
+ ),
1414
+ "max_D_hat_identity_error": max(row["D_hat_identity_error"] for row in rows),
1415
+ "min_D_hat": min(row["D_hat"] for row in rows),
1416
+ }
1417
+ )
1418
+
1419
+ smallest_n = min(grouped)
1420
+ largest_n = max(grouped)
1421
+ smallest = next(row for row in size_summaries if int(row["n"]) == smallest_n)
1422
+ largest = next(row for row in size_summaries if int(row["n"]) == largest_n)
1423
+ all_max_identity = max(row["D_hat_identity_error"] for row in usable)
1424
+ all_min_d_hat = min(row["D_hat"] for row in usable)
1425
+
1426
+ gates = [
1427
+ gate(
1428
+ "pointwise_error_decreases",
1429
+ float(largest["mean_xi_scaled_error"]) < float(smallest["mean_xi_scaled_error"])
1430
+ and float(largest["mean_risk_estimate_scaled_error"])
1431
+ < float(smallest["mean_risk_estimate_scaled_error"]),
1432
+ {
1433
+ "smallest_n": smallest_n,
1434
+ "smallest_mean_xi_error": smallest["mean_xi_scaled_error"],
1435
+ "largest_n": largest_n,
1436
+ "largest_mean_xi_error": largest["mean_xi_scaled_error"],
1437
+ "smallest_mean_risk_error": smallest["mean_risk_estimate_scaled_error"],
1438
+ "largest_mean_risk_error": largest["mean_risk_estimate_scaled_error"],
1439
+ },
1440
+ "largest-size mean xi and risk errors < smallest-size errors",
1441
+ ),
1442
+ gate(
1443
+ "largest_size_accuracy",
1444
+ float(largest["median_xi_scaled_error"]) <= 0.15
1445
+ and float(largest["median_risk_estimate_scaled_error"]) <= 0.05
1446
+ and float(largest["median_actual_regret_scaled"]) <= 0.02,
1447
+ {
1448
+ "median_xi_error": largest["median_xi_scaled_error"],
1449
+ "median_risk_error": largest["median_risk_estimate_scaled_error"],
1450
+ "median_actual_regret": largest["median_actual_regret_scaled"],
1451
+ },
1452
+ "largest size: xi <=15%, risk estimate <=5%, actual regret <=2%",
1453
+ ),
1454
+ gate(
1455
+ "largest_size_signs_including_negative",
1456
+ int(largest["sign_eligible_rows"]) > 0
1457
+ and int(largest["negative_oracle_rows"]) > 0
1458
+ and float(largest["sign_agreement"]) >= 0.90
1459
+ and float(largest["negative_sign_agreement"]) >= 0.90,
1460
+ {
1461
+ "eligible": largest["sign_eligible_rows"],
1462
+ "agreement": safe_json_float(float(largest["sign_agreement"])),
1463
+ "negative_eligible": largest["negative_oracle_rows"],
1464
+ "negative_agreement": safe_json_float(float(largest["negative_sign_agreement"])),
1465
+ },
1466
+ ">=90% overall and negative-weight sign agreement",
1467
+ ),
1468
+ gate(
1469
+ "D_hat_identity_and_nonnegativity",
1470
+ all_max_identity <= 2e-10 and all_min_d_hat >= -2e-12,
1471
+ {"max_identity_error": all_max_identity, "minimum_D_hat": all_min_d_hat},
1472
+ "identity error <=2e-10 and D_hat >=-2e-12",
1473
+ ),
1474
+ gate(
1475
+ "correct_PD_df_beats_wrong_control",
1476
+ float(largest["mean_xi_scaled_error"]) + 1e-5
1477
+ < float(largest["mean_wrong_xi_scaled_error"])
1478
+ and float(largest["mean_actual_regret_scaled"])
1479
+ <= float(largest["mean_wrong_actual_regret_scaled"]),
1480
+ {
1481
+ "correct_mean_xi_error": largest["mean_xi_scaled_error"],
1482
+ "wrong_mean_xi_error": largest["mean_wrong_xi_scaled_error"],
1483
+ "correct_mean_regret": largest["mean_actual_regret_scaled"],
1484
+ "wrong_mean_regret": largest["mean_wrong_actual_regret_scaled"],
1485
+ },
1486
+ "correct xi error at least 1e-5 lower and actual regret no larger",
1487
+ ),
1488
+ ]
1489
+ passed = all(item["passed"] for item in gates)
1490
+ summary = {
1491
+ "claim": 3,
1492
+ "headline": "One-shot GCV tuning is pointwise consistent",
1493
+ "passed": passed,
1494
+ "verdict": "Supported, conditional" if passed else "Not reproduced",
1495
+ "evidence_class": "fixed-penalty proportional size ladder",
1496
+ "gates": gates,
1497
+ "counts": {
1498
+ "raw_rows": len(raw),
1499
+ "usable_rows": len(usable),
1500
+ "excluded_D_small": excluded,
1501
+ "sizes": sorted(grouped),
1502
+ },
1503
+ "scope": "Pointwise fixed penalties only; no uniform lambda-selection claim.",
1504
+ }
1505
+ write_csv(output_dir / "claim3_size_summary.csv", size_summaries)
1506
+ write_csv(output_dir / "claim3_row_errors.csv", usable)
1507
+ return summary, size_summaries
1508
+
1509
+
1510
+ def build_markdown(claims: list[dict[str, Any]]) -> str:
1511
+ lines = [
1512
+ "# Reproduction audit summary",
1513
+ "",
1514
+ "This file is generated from seed-level raw CSVs by `scripts/audit_results.py`.",
1515
+ "",
1516
+ "| Claim | Verdict | Evidence class |",
1517
+ "|---|---|---|",
1518
+ ]
1519
+ for claim in claims:
1520
+ lines.append(
1521
+ f"| {claim['claim']} — {claim['headline']} | **{claim['verdict']}** | {claim['evidence_class']} |"
1522
+ )
1523
+ for claim in claims:
1524
+ lines.extend(["", f"## Claim {claim['claim']}", ""])
1525
+ for item in claim["gates"]:
1526
+ mark = "PASS" if item["passed"] else "FAIL"
1527
+ lines.append(
1528
+ f"- **{mark} — {item['name']}**: `{json.dumps(item['value'], sort_keys=True)}`; {item['threshold']}."
1529
+ )
1530
+ lines.extend(["", f"Scope: {claim['scope']}"])
1531
+ return "\n".join(lines) + "\n"
1532
+
1533
+
1534
+ def parse_args() -> argparse.Namespace:
1535
+ parser = argparse.ArgumentParser(description=__doc__)
1536
+ parser.add_argument("--structural-dir", type=Path, required=True)
1537
+ parser.add_argument("--figure4-dir", type=Path, required=True)
1538
+ parser.add_argument("--size-dir", type=Path, required=True)
1539
+ parser.add_argument("--output-dir", type=Path, required=True)
1540
+ parser.add_argument(
1541
+ "--profile",
1542
+ choices=["smoke", "frozen"],
1543
+ default="frozen",
1544
+ help="smoke computes all gates but exits zero if files/invariants parse; frozen exits nonzero on failed claims",
1545
+ )
1546
+ return parser.parse_args()
1547
+
1548
+
1549
+ def main() -> int:
1550
+ args = parse_args()
1551
+ args.output_dir.mkdir(parents=True, exist_ok=True)
1552
+ claim1, _ = audit_claim1(args.structural_dir)
1553
+ claim2, _ = audit_claim2(args.figure4_dir, args.size_dir, args.output_dir)
1554
+ claim3, _ = audit_claim3(args.size_dir, args.output_dir)
1555
+ claims = [claim1, claim2, claim3]
1556
+ payload = {
1557
+ "paper": "MdHcU4C4Rm",
1558
+ "submission": 22249,
1559
+ "profile": args.profile,
1560
+ "all_claims_passed": all(claim["passed"] for claim in claims),
1561
+ "claims": claims,
1562
+ }
1563
+ write_json(args.output_dir / "verdicts.json", payload)
1564
+ (args.output_dir / "audit_summary.md").write_text(build_markdown(claims), encoding="utf-8")
1565
+ print(json.dumps(payload, indent=2, sort_keys=True), flush=True)
1566
+ if args.profile == "frozen" and not payload["all_claims_passed"]:
1567
+ return 2
1568
+ return 0
1569
+
1570
+
1571
+ if __name__ == "__main__":
1572
+ raise SystemExit(main())
1573
+
1574
+ ````
1575
+
1576
+
1577
+ ````output
1578
+ {
1579
+ "all_claims_passed": false,
1580
+ "claims": [
1581
+ {
1582
+ "claim": 1,
1583
+ "counts": {
1584
+ "affine_refits": 54,
1585
+ "degenerate_controls": 6,
1586
+ "nonstationary_rows": 51,
1587
+ "over_regularized_rows": 26,
1588
+ "path_rows": 51
1589
+ },
1590
+ "evidence_class": "full algebraic/numerical identity check on a conditional OOD problem",
1591
+ "gates": [
1592
+ {
1593
+ "detail": "54 direct mixed-label refits",
1594
+ "name": "affine_refit_identity",
1595
+ "passed": true,
1596
+ "threshold": "max coefficient error <= 2e-10",
1597
+ "value": 2.832617238042333e-15
1598
+ },
1599
+ {
1600
+ "detail": "51 D-positive path points",
1601
+ "name": "closed_form_identities",
1602
+ "passed": true,
1603
+ "threshold": "max symmetric formula error <= 2e-9",
1604
+ "value": 1.0628259316071285e-12
1605
+ },
1606
+ {
1607
+ "detail": "",
1608
+ "name": "strict_nonstationary_improvement",
1609
+ "passed": true,
1610
+ "threshold": "all normalized-slope > 1e-9 points have gain > numerical tolerance",
1611
+ "value": {
1612
+ "passing": 51,
1613
+ "tested": 51
1614
+ }
1615
+ },
1616
+ {
1617
+ "detail": "",
1618
+ "name": "sign_rule",
1619
+ "passed": true,
1620
+ "threshold": "100% sign agreement",
1621
+ "value": {
1622
+ "passing": 51,
1623
+ "tested": 51
1624
+ }
1625
+ },
1626
+ {
1627
+ "detail": "",
1628
+ "name": "stationary_touch",
1629
+ "passed": true,
1630
+ "threshold": "xi scale <= 2e-7 and gain scale <= 2e-9",
1631
+ "value": {
1632
+ "gain_scale": 0.0,
1633
+ "lambda": 0.25059061945244254,
1634
+ "xi_scale": 1.2805712565489336e-13
1635
+ }
1636
+ },
1637
+ {
1638
+ "detail": "",
1639
+ "name": "negative_xi_beats_constrained_control",
1640
+ "passed": true,
1641
+ "threshold": "all over-regularized points: xi*<0, clipped xi=0, only unrestricted fit gains",
1642
+ "value": {
1643
+ "passing": 26,
1644
+ "tested": 26
1645
+ }
1646
+ },
1647
+ {
1648
+ "detail": "",
1649
+ "name": "D_zero_nonidentifiability_control",
1650
+ "passed": true,
1651
+ "threshold": "risk range and |D| <= 2e-12; optimizer never marked identifiable",
1652
+ "value": {
1653
+ "identifiable_count": 0,
1654
+ "max_abs_D": 0.0,
1655
+ "risk_range": 0.0
1656
+ }
1657
+ }
1658
+ ],
1659
+ "headline": "Exact pointwise improvement and unconstrained sign rule",
1660
+ "passed": true,
1661
+ "scope": "Conditional seeded mechanism evidence; D>0 and nonstationarity are essential.",
1662
+ "verdict": "Supported, conditional"
1663
+ },
1664
+ {
1665
+ "claim": 2,
1666
+ "counts": {
1667
+ "raw_seed_rows": 54,
1668
+ "size_cells": 6,
1669
+ "size_raw_rows": 18,
1670
+ "theory_cells": 27,
1671
+ "usable_theory_cells": 27
1672
+ },
1673
+ "evidence_class": "paper-native stochastic reproduction plus proportional size check",
1674
+ "gates": [
1675
+ {
1676
+ "detail": "",
1677
+ "name": "median_risk_error",
1678
+ "passed": false,
1679
+ "threshold": "<= 5%",
1680
+ "value": 0.08006072126529783
1681
+ },
1682
+ {
1683
+ "detail": "",
1684
+ "name": "p90_risk_error",
1685
+ "passed": true,
1686
+ "threshold": "<= 12%",
1687
+ "value": 0.11037946969877559
1688
+ },
1689
+ {
1690
+ "detail": "",
1691
+ "name": "risk_coverage",
1692
+ "passed": true,
1693
+ "threshold": ">= 80% within 2 SE or 3%",
1694
+ "value": 1.0
1695
+ },
1696
+ {
1697
+ "detail": "",
1698
+ "name": "xi_sign_agreement",
1699
+ "passed": true,
1700
+ "threshold": ">= 95% where |xi_theory| >= 0.1",
1701
+ "value": {
1702
+ "eligible_cells": 27,
1703
+ "rate": 1.0
1704
+ }
1705
+ },
1706
+ {
1707
+ "detail": "",
1708
+ "name": "median_xi_scaled_error",
1709
+ "passed": true,
1710
+ "threshold": "<= 15%",
1711
+ "value": 0.13512596511948174
1712
+ },
1713
+ {
1714
+ "detail": "",
1715
+ "name": "size_convergence",
1716
+ "passed": true,
1717
+ "threshold": "largest-size aggregate risk error < smallest-size error",
1718
+ "value": {
1719
+ "largest_mean_error": 0.05674350722735142,
1720
+ "largest_n": 80,
1721
+ "smallest_mean_error": 0.10447671076194422,
1722
+ "smallest_n": 40
1723
+ }
1724
+ },
1725
+ {
1726
+ "detail": "",
1727
+ "name": "fixed_point_and_positive_D",
1728
+ "passed": true,
1729
+ "threshold": "fixed-point residual < 1e-10 and all usable D positive",
1730
+ "value": {
1731
+ "max_fixed_point_residual": 1.2860823517257813e-12,
1732
+ "minimum_usable_D": 0.0006743324673149942
1733
+ }
1734
+ }
1735
+ ],
1736
+ "headline": "Deterministic equivalents align with finite-sample Figure 4 behavior",
1737
+ "passed": false,
1738
+ "scope": "Gaussian AR(1), fixed top-aligned signal, analytic in-distribution risk.",
1739
+ "verdict": "Not reproduced"
1740
+ },
1741
+ {
1742
+ "claim": 3,
1743
+ "counts": {
1744
+ "excluded_D_small": 0,
1745
+ "raw_rows": 18,
1746
+ "sizes": [
1747
+ 40,
1748
+ 80
1749
+ ],
1750
+ "usable_rows": 18
1751
+ },
1752
+ "evidence_class": "fixed-penalty proportional size ladder",
1753
+ "gates": [
1754
+ {
1755
+ "detail": "",
1756
+ "name": "pointwise_error_decreases",
1757
+ "passed": true,
1758
+ "threshold": "largest-size mean xi and risk errors < smallest-size errors",
1759
+ "value": {
1760
+ "largest_mean_risk_error": 0.19362946251869484,
1761
+ "largest_mean_xi_error": 0.2269784791228712,
1762
+ "largest_n": 80,
1763
+ "smallest_mean_risk_error": 0.47501481294468206,
1764
+ "smallest_mean_xi_error": 0.4778794167952708,
1765
+ "smallest_n": 40
1766
+ }
1767
+ },
1768
+ {
1769
+ "detail": "",
1770
+ "name": "largest_size_accuracy",
1771
+ "passed": false,
1772
+ "threshold": "largest size: xi <=15%, risk estimate <=5%, actual regret <=2%",
1773
+ "value": {
1774
+ "median_actual_regret": 0.003739119049884933,
1775
+ "median_risk_error": 0.14030021602939757,
1776
+ "median_xi_error": 0.19477224660886577
1777
+ }
1778
+ },
1779
+ {
1780
+ "detail": "",
1781
+ "name": "largest_size_signs_including_negative",
1782
+ "passed": false,
1783
+ "threshold": ">=90% overall and negative-weight sign agreement",
1784
+ "value": {
1785
+ "agreement": 0.8888888888888888,
1786
+ "eligible": 9,
1787
+ "negative_agreement": 1.0,
1788
+ "negative_eligible": 5
1789
+ }
1790
+ },
1791
+ {
1792
+ "detail": "",
1793
+ "name": "D_hat_identity_and_nonnegativity",
1794
+ "passed": true,
1795
+ "threshold": "identity error <=2e-10 and D_hat >=-2e-12",
1796
+ "value": {
1797
+ "max_identity_error": 1.033895191682177e-15,
1798
+ "minimum_D_hat": 0.016503081186781836
1799
+ }
1800
+ },
1801
+ {
1802
+ "detail": "",
1803
+ "name": "correct_PD_df_beats_wrong_control",
1804
+ "passed": true,
1805
+ "threshold": "correct xi error at least 1e-5 lower and actual regret no larger",
1806
+ "value": {
1807
+ "correct_mean_regret": 0.012903742744689797,
1808
+ "correct_mean_xi_error": 0.2269784791228712,
1809
+ "wrong_mean_regret": 0.154683141035474,
1810
+ "wrong_mean_xi_error": 1.0503204724881403
1811
+ }
1812
+ }
1813
+ ],
1814
+ "headline": "One-shot GCV tuning is pointwise consistent",
1815
+ "passed": false,
1816
+ "scope": "Pointwise fixed penalties only; no uniform lambda-selection claim.",
1817
+ "verdict": "Not reproduced"
1818
+ }
1819
+ ],
1820
+ "paper": "MdHcU4C4Rm",
1821
+ "profile": "smoke",
1822
+ "submission": 22249
1823
+ }
1824
+
1825
+ ````
1826
+
1827
+
1828
+ ---
1829
+ <!-- trackio-cell
1830
+ {"type": "artifact", "id": "cell_6cd250549b47", "created_at": "2026-07-16T16:25:59+00:00", "title": "Artifact: claim2_figure4_aggregates.csv", "path": "outputs/smoke/audit/claim2_figure4_aggregates.csv", "size": 6423, "artifact_type": "dataset", "auto": true}
1831
+ -->
1832
+ **📦 Artifact** `outputs/smoke/audit/claim2_figure4_aggregates.csv` · dataset · 6.4 kB
1833
+
1834
+ trackio-local-path://outputs/smoke/audit/claim2_figure4_aggregates.csv
1835
+
1836
+
1837
+ ---
1838
+ <!-- trackio-cell
1839
+ {"type": "artifact", "id": "cell_424c204461e9", "created_at": "2026-07-16T16:25:59+00:00", "title": "Artifact: claim3_row_errors.csv", "path": "outputs/smoke/audit/claim3_row_errors.csv", "size": 4311, "artifact_type": "dataset", "auto": true}
1840
+ -->
1841
+ **📦 Artifact** `outputs/smoke/audit/claim3_row_errors.csv` · dataset · 4.3 kB
1842
+
1843
+ trackio-local-path://outputs/smoke/audit/claim3_row_errors.csv
1844
+
1845
+
1846
+ ---
1847
+ <!-- trackio-cell
1848
+ {"type": "artifact", "id": "cell_20b2f35b2564", "created_at": "2026-07-16T16:25:59+00:00", "title": "Artifact: claim3_size_summary.csv", "path": "outputs/smoke/audit/claim3_size_summary.csv", "size": 827, "artifact_type": "dataset", "auto": true}
1849
+ -->
1850
+ **📦 Artifact** `outputs/smoke/audit/claim3_size_summary.csv` · dataset · 827 B
1851
+
1852
+ trackio-local-path://outputs/smoke/audit/claim3_size_summary.csv
1853
+
1854
+
1855
+ ---
1856
+ <!-- trackio-cell
1857
+ {"type": "artifact", "id": "cell_afdc5260000f", "created_at": "2026-07-16T16:25:59+00:00", "title": "Artifact: claim2_size_cells.csv", "path": "outputs/smoke/audit/claim2_size_cells.csv", "size": 507, "artifact_type": "dataset", "auto": true}
1858
+ -->
1859
+ **📦 Artifact** `outputs/smoke/audit/claim2_size_cells.csv` · dataset · 507 B
1860
+
1861
+ trackio-local-path://outputs/smoke/audit/claim2_size_cells.csv
1862
+
1863
+
1864
+ ---
1865
+ <!-- trackio-cell
1866
+ {"type": "artifact", "id": "cell_9caeacee461e", "created_at": "2026-07-16T16:25:59+00:00", "title": "Artifact: claim2_size_summary.csv", "path": "outputs/smoke/audit/claim2_size_summary.csv", "size": 159, "artifact_type": "dataset", "auto": true}
1867
+ -->
1868
+ **📦 Artifact** `outputs/smoke/audit/claim2_size_summary.csv` · dataset · 159 B
1869
+
1870
+ trackio-local-path://outputs/smoke/audit/claim2_size_summary.csv
1871
+
1872
+
1873
+ ---
1874
+ <!-- trackio-cell
1875
+ {"type": "markdown", "id": "cell_750abd75381d", "created_at": "2026-07-16T17:05:36+00:00", "title": "Final evidence and verdict"}
1876
+ -->
1877
+ Verdict: **Supported, conditional.** Across 300 fresh seeds per size, mean scaled xi error decreases from `31.16%` at `n=100` to `9.51%` at `n=1600`; mean risk-estimate error falls from `13.72%` to `3.46%`. At `n=1600`, median xi error is `7.98%`, median risk-estimate error `2.96%`, and median actual population regret `0.129%`. Eligible sign agreement is `95.61%`, including 300/300 negative weights at selected `lambda=5`.
1878
+
1879
+ The wrong-DF control is decisive: replacing `df_PD=tr(H^2)` with `tr(H)` gives mean xi error `99.57%` and mean actual regret `20.14%`, versus `9.51%` and `0.246%` with the paper correction. Maximum direct `D_hat` identity error is `1.985e-15`.
1880
+
1881
+ Scope: three fixed penalties with `p/n=1/2`; this supports pointwise consistency and does not establish uniform consistency or selecting lambda by minimizing the same estimated path. GPU Job: https://huggingface.co/jobs/YMRohit/6a590acb85d9643ce16d6881.
1882
+
1883
+
1884
+ ---
1885
+ <!-- trackio-cell
1886
+ {"type": "figure", "id": "cell_077a789946a0", "created_at": "2026-07-16T17:05:37+00:00", "title": "One-shot convergence and wrong-DF control"}
1887
+ -->
1888
+ ````html
1889
+ <!doctype html><html><head><meta charset='utf-8'><meta name='viewport' content='width=device-width'><style>html,body{margin:0;background:#f8fafb}svg{display:block;width:100%;height:auto}</style></head><body><svg xmlns="http://www.w3.org/2000/svg" width="1280" height="680" viewBox="0 0 1280 680" role="img" aria-label="One-shot tuning convergence and degrees-of-freedom control">
1890
+ <rect width="1280" height="680" fill="#f8fafb"/>
1891
+ <style>text{font-family:Inter,ui-sans-serif,Arial,sans-serif;fill:#16202a}.small{font-size:13px}.tick{font-size:12px;fill:#667085}.label{font-size:15px;font-weight:600}.title{font-size:27px;font-weight:750;letter-spacing:-.4px}.subtitle{font-size:14px;fill:#667085}.metric{font-size:20px;font-weight:750}</style>
1892
+ <text x="48.00" y="49.00" class="title" text-anchor="start">One-shot tuning converges; the PD degrees of freedom matter</text>
1893
+ <text x="48.00" y="75.00" class="subtitle" text-anchor="start">Fixed penalties, p/n = 1/2, 300 seeds per size; errors are against conditional population oracles</text>
1894
+ <rect x="42" y="100" width="1196" height="520" rx="10" fill="#ffffff" stroke="#dce2e8"/>
1895
+ <text x="62.00" y="131.00" class="label" text-anchor="start">Scaled error / population regret</text>
1896
+ <line x1="112" y1="491.57" x2="1182" y2="491.57" stroke="#dce2e8"/>
1897
+ <text x="103.00" y="495.57" class="tick" text-anchor="end">0.5%</text>
1898
+ <line x1="112" y1="456.06" x2="1182" y2="456.06" stroke="#dce2e8"/>
1899
+ <text x="103.00" y="460.06" class="tick" text-anchor="end">1%</text>
1900
+ <line x1="112" y1="373.62" x2="1182" y2="373.62" stroke="#dce2e8"/>
1901
+ <text x="103.00" y="377.62" class="tick" text-anchor="end">5%</text>
1902
+ <line x1="112" y1="338.11" x2="1182" y2="338.11" stroke="#dce2e8"/>
1903
+ <text x="103.00" y="342.11" class="tick" text-anchor="end">10%</text>
1904
+ <line x1="112" y1="255.66" x2="1182" y2="255.66" stroke="#dce2e8"/>
1905
+ <text x="103.00" y="259.66" class="tick" text-anchor="end">50%</text>
1906
+ <line x1="112" y1="220.15" x2="1182" y2="220.15" stroke="#dce2e8"/>
1907
+ <text x="103.00" y="224.15" class="tick" text-anchor="end">100%</text>
1908
+ <line x1="112.00" y1="205" x2="112.00" y2="550" stroke="#dce2e8" opacity=".55"/>
1909
+ <text x="112.00" y="570.00" class="tick" text-anchor="middle">100</text>
1910
+ <line x1="914.50" y1="205" x2="914.50" y2="550" stroke="#dce2e8" opacity=".55"/>
1911
+ <text x="914.50" y="570.00" class="tick" text-anchor="middle">800</text>
1912
+ <line x1="1182.00" y1="205" x2="1182.00" y2="550" stroke="#dce2e8" opacity=".55"/>
1913
+ <text x="1182.00" y="570.00" class="tick" text-anchor="middle">1600</text>
1914
+ <line x1="112" y1="550" x2="1182" y2="550" stroke="#16202a" stroke-width="1.2"/>
1915
+ <line x1="112" y1="205" x2="112" y2="550" stroke="#16202a" stroke-width="1.2"/>
1916
+ <polyline points="112.00,279.89 914.50,327.83 1182.00,340.68" fill="none" stroke="#d64550" stroke-width="3.0" stroke-linejoin="round" stroke-linecap="round" opacity="1.0"/>
1917
+ <circle cx="112.00" cy="279.89" r="4.2" fill="#d64550" stroke="#fff" stroke-width="1.5"/>
1918
+ <circle cx="914.50" cy="327.83" r="4.2" fill="#d64550" stroke="#fff" stroke-width="1.5"/>
1919
+ <circle cx="1182.00" cy="340.68" r="4.2" fill="#d64550" stroke="#fff" stroke-width="1.5"/>
1920
+ <line x1="132" y1="166" x2="162" y2="166" stroke="#d64550" stroke-width="3"/>
1921
+ <text x="170.00" y="170.00" class="small" text-anchor="start">one-shot ξ error</text>
1922
+ <polyline points="112.00,321.89 914.50,377.69 1182.00,392.52" fill="none" stroke="#11845b" stroke-width="3.0" stroke-linejoin="round" stroke-linecap="round" opacity="1.0"/>
1923
+ <circle cx="112.00" cy="321.89" r="4.2" fill="#11845b" stroke="#fff" stroke-width="1.5"/>
1924
+ <circle cx="914.50" cy="377.69" r="4.2" fill="#11845b" stroke="#fff" stroke-width="1.5"/>
1925
+ <circle cx="1182.00" cy="392.52" r="4.2" fill="#11845b" stroke="#fff" stroke-width="1.5"/>
1926
+ <line x1="442" y1="166" x2="472" y2="166" stroke="#11845b" stroke-width="3"/>
1927
+ <text x="480.00" y="170.00" class="small" text-anchor="start">one-shot risk-estimate error</text>
1928
+ <polyline points="112.00,413.37 914.50,504.08 1182.00,527.93" fill="none" stroke="#1769aa" stroke-width="3.0" stroke-linejoin="round" stroke-linecap="round" opacity="1.0"/>
1929
+ <circle cx="112.00" cy="413.37" r="4.2" fill="#1769aa" stroke="#fff" stroke-width="1.5"/>
1930
+ <circle cx="914.50" cy="504.08" r="4.2" fill="#1769aa" stroke="#fff" stroke-width="1.5"/>
1931
+ <circle cx="1182.00" cy="527.93" r="4.2" fill="#1769aa" stroke="#fff" stroke-width="1.5"/>
1932
+ <line x1="132" y1="190" x2="162" y2="190" stroke="#1769aa" stroke-width="3"/>
1933
+ <text x="170.00" y="194.00" class="small" text-anchor="start">actual one-shot regret</text>
1934
+ <polyline points="112.00,220.44 914.50,220.56 1182.00,220.37" fill="none" stroke="#c77800" stroke-width="3.0" stroke-linejoin="round" stroke-linecap="round" stroke-dasharray="8 5" opacity="1.0"/>
1935
+ <circle cx="112.00" cy="220.44" r="4.2" fill="#c77800" stroke="#fff" stroke-width="1.5"/>
1936
+ <circle cx="914.50" cy="220.56" r="4.2" fill="#c77800" stroke="#fff" stroke-width="1.5"/>
1937
+ <circle cx="1182.00" cy="220.37" r="4.2" fill="#c77800" stroke="#fff" stroke-width="1.5"/>
1938
+ <line x1="442" y1="190" x2="472" y2="190" stroke="#c77800" stroke-width="3"/>
1939
+ <text x="480.00" y="194.00" class="small" text-anchor="start">wrong df_PD ξ error</text>
1940
+ <text x="647.00" y="598.00" class="label" text-anchor="middle">sample size n (log scale)</text>
1941
+ <text x="54.00" y="650.00" class="subtitle" text-anchor="start">n=1600: median ξ error 7.98% • risk-estimate error 2.96% • actual regret 0.129%</text>
1942
+ </svg>
1943
+ </body></html>
1944
+
1945
+ ````
1946
+
1947
+ ````raw
1948
+ n,p,usable_rows,mean_xi_scaled_error,median_xi_scaled_error,mean_risk_estimate_scaled_error,median_risk_estimate_scaled_error,mean_actual_regret_scaled,median_actual_regret_scaled,sign_eligible_rows,sign_agreement,negative_oracle_rows,negative_sign_agreement,selected_over_lambda,selected_over_negative_rows,selected_over_sign_agreement,mean_wrong_xi_scaled_error,mean_wrong_actual_regret_scaled,max_D_hat_identity_error,min_D_hat
1949
+ 100,50,900,0.3115541422413274,0.22499827754724494,0.13724008913476787,0.11849399341255953,0.02301274488469826,0.010243838841622745,825,0.8424242424242424,448,0.8459821428571429,5.0,300,1.0,0.9944886784384712,0.21833721872271372,1.9845236565174673e-15,0.01431275351699921
1950
+ 800,400,900,0.12222796278777345,0.0937361791022027,0.046181186953768154,0.03689932669556971,0.003916639716223675,0.0019359537189323896,753,0.9136786188579017,445,0.8719101123595505,5.0,300,1.0,0.9920333469513096,0.20481100723334356,1.797173521111972e-15,0.01987170795748205
1951
+ 1600,800,900,0.09510709330233892,0.07979459785841933,0.034572977786416555,0.029603787516040852,0.002458608900848219,0.0012918376448209715,729,0.9561042524005487,429,0.9254079254079254,5.0,300,1.0,0.9957149697977374,0.20141494718631495,1.8735013540549517e-15,0.020624512650777485
1952
+
1953
+ ````
pages/conclusion/page.md ADDED
The diff for this file is too large to render. See raw diff
 
pages/icml22249-release-artifacts/page.md ADDED
@@ -0,0 +1,10 @@
 
 
 
 
 
 
 
 
 
 
 
1
+ # icml22249-release-artifacts
2
+
3
+
4
+ ---
5
+ <!-- trackio-cell
6
+ {"type": "artifact", "id": "cell_42577a0a57ce", "created_at": "2026-07-16T17:51:11+00:00", "title": "Artifact: icml22249-release-artifacts/icml2026-22249-full-reproduction:v0", "artifact": "icml22249-release-artifacts/icml2026-22249-full-reproduction:v0", "artifact_type": "dataset"}
7
+ -->
8
+ **📦 Artifact** `icml22249-release-artifacts/icml2026-22249-full-reproduction:v0` · dataset · 9.0 MB
9
+
10
+ trackio-artifact://icml22249-release-artifacts/icml2026-22249-full-reproduction:v0
pages/icml22249-smoke-figure4/page.md ADDED
@@ -0,0 +1,10 @@
 
 
 
 
 
 
 
 
 
 
 
1
+ # icml22249-smoke-figure4
2
+
3
+
4
+ ---
5
+ <!-- trackio-cell
6
+ {"type": "artifact", "id": "cell_3758572e8f62", "created_at": "2026-07-16T16:25:42+00:00", "title": "Artifact: icml22249-smoke-figure4/icml22249-figure4-local-smoke-fixed:v0", "artifact": "icml22249-smoke-figure4/icml22249-figure4-local-smoke-fixed:v0", "artifact_type": "dataset"}
7
+ -->
8
+ **📦 Artifact** `icml22249-smoke-figure4/icml22249-figure4-local-smoke-fixed:v0` · dataset · 49.7 kB
9
+
10
+ trackio-artifact://icml22249-smoke-figure4/icml22249-figure4-local-smoke-fixed:v0
pages/icml22249-smoke-size/page.md ADDED
@@ -0,0 +1,10 @@
 
 
 
 
 
 
 
 
 
 
 
1
+ # icml22249-smoke-size
2
+
3
+
4
+ ---
5
+ <!-- trackio-cell
6
+ {"type": "artifact", "id": "cell_912c9006f259", "created_at": "2026-07-16T16:25:52+00:00", "title": "Artifact: icml22249-smoke-size/icml22249-size-local-smoke-fixed:v0", "artifact": "icml22249-smoke-size/icml22249-size-local-smoke-fixed:v0", "artifact_type": "dataset"}
7
+ -->
8
+ **📦 Artifact** `icml22249-smoke-size/icml22249-size-local-smoke-fixed:v0` · dataset · 17.2 kB
9
+
10
+ trackio-artifact://icml22249-smoke-size/icml22249-size-local-smoke-fixed:v0
pages/icml22249-smoke-structural/page.md ADDED
@@ -0,0 +1,10 @@
 
 
 
 
 
 
 
 
 
 
 
1
+ # icml22249-smoke-structural
2
+
3
+
4
+ ---
5
+ <!-- trackio-cell
6
+ {"type": "artifact", "id": "cell_0f52b3046143", "created_at": "2026-07-16T16:25:33+00:00", "title": "Artifact: icml22249-smoke-structural/icml22249-structural-local-smoke-fixed:v0", "artifact": "icml22249-smoke-structural/icml22249-structural-local-smoke-fixed:v0", "artifact_type": "dataset"}
7
+ -->
8
+ **📦 Artifact** `icml22249-smoke-structural/icml22249-structural-local-smoke-fixed:v0` · dataset · 25.8 kB
9
+
10
+ trackio-artifact://icml22249-smoke-structural/icml22249-structural-local-smoke-fixed:v0
pages/index.md ADDED
@@ -0,0 +1,18 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ # Repro - Optimal Unconstrained Self-Distillation in Ridge Regression
2
+
3
+ Independent claim-level reproduction of *Optimal Unconstrained
4
+ Self-Distillation in Ridge Regression* (`MdHcU4C4Rm`). Results remain local
5
+ until independent review and root-coordinator approval.
6
+
7
+ ## Pages
8
+
9
+ | Page |
10
+ | --- |
11
+ | [Claim 1 — Exact improvement and sign](#/claim-1-exact-improvement-and-sign) |
12
+ | [Claim 2 — Deterministic asymptotics](#/claim-2-deterministic-asymptotics) |
13
+ | [Claim 3 — One-shot tuning](#/claim-3-one-shot-tuning) |
14
+ | [icml22249-smoke-structural](#/icml22249-smoke-structural) |
15
+ | [icml22249-smoke-figure4](#/icml22249-smoke-figure4) |
16
+ | [icml22249-smoke-size](#/icml22249-smoke-size) |
17
+ | [Conclusion](#/conclusion) |
18
+ | [icml22249-release-artifacts](#/icml22249-release-artifacts) |
trackio-logo-light.png ADDED
trackio-logo.png ADDED
trackio-wordmark-dark.png ADDED