#!/usr/bin/env python3
"""Write embed.html: the hub's attempt tree alone, for the iframe on Proposition IX (satake-two-levels/props/converse.html).
Run after build_tree.py: python3 scripts/R/make_embed.py (from the run folder, or anywhere)
The stage markup is copied from index.html, so the embedded tree is the hub's tree, drawn by the same
assets/tree.js from the same assets/data.js. opens a clicked step in the whole window.
"""
import re
from pathlib import Path
RUN = Path(__file__).resolve().parents[2]
hub = (RUN / 'index.html').read_text()
start = hub.index('
', hub.index('
'))
stage = hub[start:end]
page = f"""
Attempt tree ยท Proposition IX
{stage}
"""
(RUN / 'embed.html').write_text(page)
print(f'embed.html: {len(page)} bytes')