{html.escape(label)}
{html.escape(value)}
No records visible. Clear filters or press Refresh.
'
center_columns = {3, 4, 5, 6, 7}
head_parts: list[str] = []
for index, (column, sort_type) in enumerate(TABLE_HEADERS):
class_attr = ' class="hx-center"' if index in center_columns else ""
head_parts.append(
f"{format_number(record.get("kl_divergence"), 6)}
',
' class="hx-center"',
),
(
f'{format_ratio(record.get("refusals"), n_bad)}
',
' class="hx-center"',
),
(
f'{format_ratio(record.get("base_refusals"), n_bad)}
',
' class="hx-center"',
),
(
f'{format_number(record.get("n_trials"))}
',
' class="hx-center"',
),
(f'{html_text(record.get("accelerator"))}
', ""),
(html_link("open", record.get("reproduce_json_url")), ""),
]
body_rows.append(
f"'
''
f"
"
'No records match the current filters.
'
)
def render_collector_status_html(
index: dict[str, Any], records: list[dict[str, Any]]
) -> str:
st = load_status()
last_ok = st.get("last_ok")
if st.get("state") == "running":
status_html = 'running'
elif last_ok is True:
status_html = 'ok'
elif last_ok is False:
status_html = 'failed'
else:
status_html = "idle"
unique_repos = len({r.get("source_repo") for r in records if r.get("source_repo")})
last_updated = to_display_time(
st.get("last_finished_at")
or st.get("last_started_at")
or index.get("generated_at")
)
return (
f"Collector status: {status_html} · Unique repositories: {unique_repos:,} · "
f"Last updated: {last_updated}"
)
def render_metric_cards_html(
records: list[dict[str, Any]],
filtered_count: int | None = None,
) -> str:
visible = filtered_count if filtered_count is not None else len(records)
unique_base = len({r.get("base_model") for r in records if r.get("base_model")})
cards = [
("Indexed records", f"{len(records):,}"),
("Visible after filters", f"{visible:,}"),
("Unique base models", f"{unique_base:,}"),
]
card_html = "".join(
f'█░█░█▀▀░█▀▄░█▀▀░▀█▀░█░█▀▀ █▀█░█▀▀░█▀▄░█▀▀░░█░░█░█░░ ▀░▀░▀▀▀░▀░▀░▀▀▀░░▀░░▀░▀▀▀
Search, filter, collect, and download reproducibility records from public Heretic model archives.
Updates twice daily.
Collector log{status_html}
{log_text}
' + render_header_html() + "
",
elem_id="app-shell-top",
container=False,
padding=False,
)
metrics_html = gr.HTML(
value=render_metric_cards_html(records, len(filtered)),
elem_id="app-metrics",
container=False,
padding=False,
)
gr.HTML(
value=render_toolbar_html("", "", ""),
elem_id="app-toolbar",
container=False,
padding=False,
)
table_html = gr.HTML(
value=render_records_table_html(sort_records_by_timestamp(records)),
elem_id="app-table",
container=False,
padding=False,
)
log_html = gr.HTML(
value=render_log_html(render_collector_status_html(index, records)),
elem_id="app-log",
container=False,
padding=False,
)
search = gr.Textbox(
value="", show_label=False, container=False, elem_id="bridge-search"
)
max_kl = gr.Textbox(
value="", show_label=False, container=False, elem_id="bridge-max-kl"
)
max_refusals = gr.Textbox(
value="", show_label=False, container=False, elem_id="bridge-max-refusals"
)
refresh_btn = gr.Button("Refresh", elem_id="bridge-refresh")
download_btn = gr.DownloadButton(
"Download CSV", value=None, elem_id="bridge-download"
)
inputs = [search, max_kl, max_refusals]
outputs = [metrics_html, table_html, log_html]
demo.load(
refresh_view,
inputs=inputs,
outputs=outputs,
show_progress="hidden",
queue=False,
)
refresh_btn.click(
refresh_view,
inputs=inputs,
outputs=outputs,
show_progress="hidden",
queue=False,
)
download_btn.click(
prepare_archive_csv_download,
outputs=[download_btn],
show_progress="hidden",
queue=False,
)
timer = gr.Timer(value=AUTO_REFRESH_SECONDS, active=True)
timer.tick(
refresh_view,
inputs=inputs,
outputs=outputs,
show_progress="hidden",
queue=False,
)
return demo
start_scheduler()
start_initial_collection_if_enabled()
demo = build_gradio_app()
if __name__ == "__main__":
demo.queue(default_concurrency_limit=1).launch(
theme=gr.themes.Base(),
css=CUSTOM_CSS,
js=TABLE_SORT_JS,
allowed_paths=[str(BASE_DIR / "assets")],
ssr_mode=False,
)