Sign in
Join now
eukhe
gildrb.com
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Coding agent with a memory of all things
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
eukhe
/
proof
/
overflow
14 files
at
bend/all
gildrb.com
·
laws: overflow's message example fits the --verdict kernel's fuel
·
2w ago
a677118e
base.bend
ai: whether a reply is a context overflow runs as the compiled core (entry 231 overflow), on a proven text-pattern search (text_pat)
2w ago
overflow_decides.bend
ai: whether a reply is a context overflow runs as the compiled core (entry 231 overflow), on a proven text-pattern search (text_pat)
2w ago
overflow_entry_answers.bend
ai: whether a reply is a context overflow runs as the compiled core (entry 231 overflow), on a proven text-pattern search (text_pat)
2w ago
overflow_entry_exact.bend
ai: whether a reply is a context overflow runs as the compiled core (entry 231 overflow), on a proven text-pattern search (text_pat)
2w ago
overflow_entry_example.bend
ai: whether a reply is a context overflow runs as the compiled core (entry 231 overflow), on a proven text-pattern search (text_pat)
2w ago
overflow_entry_reads.bend
ai: whether a reply is a context overflow runs as the compiled core (entry 231 overflow), on a proven text-pattern search (text_pat)
2w ago
overflow_entry_refuses.bend
ai: whether a reply is a context overflow runs as the compiled core (entry 231 overflow), on a proven text-pattern search (text_pat)
2w ago
overflow_message_calm.bend
laws: overflow's message example fits the --verdict kernel's fuel
2w ago
overflow_message_context_example.bend
laws: overflow's message example fits the --verdict kernel's fuel
2w ago
overflow_message_decides.bend
laws: overflow's message example fits the --verdict kernel's fuel
2w ago
overflow_message_example.bend
ai: whether a reply is a context overflow runs as the compiled core (entry 231 overflow), on a proven text-pattern search (text_pat)
2w ago
overflow_message_found.bend
laws: overflow's message example fits the --verdict kernel's fuel
2w ago
overflow_recoverable.bend
ai: whether a reply is a context overflow runs as the compiled core (entry 231 overflow), on a proven text-pattern search (text_pat)
2w ago
overflow_usage_example.bend
ai: whether a reply is a context overflow runs as the compiled core (entry 231 overflow), on a proven text-pattern search (text_pat)
2w ago