{title}

#!/usr/bin/env python3 """Bundle authored lab sources, with exact offline source inspection.""" from __future__ import annotations import hashlib import html import json from pathlib import Path ROOT = Path(__file__).resolve().parents[1] TEMPLATE = ''' {title}

{stage}

offline artifact

ready

Surrounding inputs & harness

The lesson flow above describes lab responsibilities. These are the external authoring inputs and the harness boundaries for this actual bundle.

Exact bundled source

Complete authored inputs, including shared support, the HTML builder and project/catalog context. The specification is not the entire implementation. SHA-256 identifies bytes; it does not certify generation or acceptance.

''' def source_paths(lab: Path) -> list[Path]: return [ lab / 'component.md', lab / 'lab.json', lab / 'main.js', ROOT / 'shared/lab.css', ROOT / 'shared/lab-runtime.js', ROOT / 'scripts/build_labs.py', ROOT.parent / 'literate.project.json', ROOT.parent / 'flavors/lang-javascript/flavor.md', ] def build_page(lab: Path) -> str: config = json.loads((lab / 'lab.json').read_text()) config['spec'] = (lab / 'component.md').read_bytes().decode('utf-8') project = json.loads((ROOT.parent / 'literate.project.json').read_text()) lab_path = lab.relative_to(ROOT.parent).as_posix() def registered(roots: list[str]) -> bool: return any(lab_path == root or lab_path.startswith(root.rstrip('/') + '/') for root in roots) config['harness'] = { 'project': project['project_id'], 'version': project['version'], 'documentation_root': registered(project['documentation_roots']), 'component_root': registered(project['component_roots']), 'selected_flavors': [], 'language_selection': 'Authored JavaScript; chosen manually, not resolved from a Flavor.', 'available_flavor': 'flavors/lang-javascript/flavor.md', } config['sources'] = [ {'path': path.relative_to(ROOT.parent).as_posix(), 'sha256': hashlib.sha256(path.read_bytes()).hexdigest(), 'content': path.read_bytes().decode('utf-8')} for path in source_paths(lab) ] # JSON is data, never executable code; escape script end tags in source text. serialized = json.dumps(config, separators=(',', ':')).replace('<', '\\u003c') return TEMPLATE.format( title=html.escape(config['title']), stage=html.escape(config['stage']), css=(ROOT / 'shared/lab.css').read_text(), runtime=(ROOT / 'shared/lab-runtime.js').read_text(), main=(lab / 'main.js').read_text(), config=serialized, ) def main() -> None: labs = sorted(ROOT.glob('[0-9][0-9]-*/lab.json')) for manifest in labs: (manifest.parent / 'index.html').write_text(build_page(manifest.parent)) print(f'built {len(labs)} standalone labs with exact source inspection') if __name__ == '__main__': main()