proof/progress_terms · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof progress_terms

3 files

gildrb.com · chat memory: no root-turn lease; many windows turn at once (the user: never restrict multiple open threads) · 2w ago

chat memory: no root-turn lease; many windows turn at once (the user: never restrict multiple open threads)

progress_terms_exact.bend

laws: progress_terms_exact, progress_type_terms_exact (the progress model's terms, pinned; fresh adversaries noted them loose)

progress_type_terms_exact.bend

laws: progress_terms_exact, progress_type_terms_exact (the progress model's terms, pinned; fresh adversaries noted them loose)