/research/experiments/045-proof-compiler/

• ../
• 2026-10-19-app.jsonl
• 2026-10-19-break.jsonl
• 2026-10-19-keyed.jsonl
• 2026-10-19-leaves.jsonl
• 2026-10-19-message.jsonl
• 2026-10-19-ops-v0r.txt
• 2026-10-19-ops.txt
• 2026-10-19-range.jsonl
• 2026-10-19-where-app.txt
• 2026-10-19-where-range.txt
• 2026-10-19-where-v0.txt
• app-way.h
• app.c
• cost.c
• events.c
• native-hook.patch
• ops-count.patch
• range.c
• stitch.c
• unit.c
• units
• variants
• where.c
• where.py