Proof boundary
The skill names what it cannot prove from prose and routes the claim to an outside gate.
Strange-loop lab
GEB Skill Loop Lab
Map Gödel, Escher, and Bach into Agent Skills work: proof boundary, visible level crossing, repeatable variation, and handoff receipt.
Level crossing
The lab makes each jump visible: user intent, skill package, tool authority, artifact, receipt.
Canon replay
The workflow returns in multiple voices: description, SKILL.md, references, scripts, assets, evals.
Loop map0/100
Generated packetGödel
Receipts
The lab stays tied to the public note and source layers.
/blog/geb-agent-skills-strange-loops/Source-backed field note with the GEB-to-skills operating rule.
remotion/geb-agent-skills-loop/Deterministic square trailer and frame-plan contract.
geb-hyperframes-video.htmlSeekable DOM composition with external CSS and timeline script.
window.render_geb_skill_loop_lab_to_text()Returns a compact JSON summary for browser tests and smoke checks.