proof/doc_search · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof doc_search

37 files

at bend/stackfix

gildrb.com · laws: search_scope_rule (a fresh adversary's model scope that ignored directory roots passed every doc_search law, since the entry computes the scope inline) · 2w ago

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

continuation_contiguous.bend

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>

continuation_disjoint.bend

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>

continuation_progresses.bend

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>

fetch_reaches.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

grep_account_exact.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

grep_accounts_every_file.bend

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>

grep_keeps_spec.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

grep_notes_every_cut.bend

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>

grep_notes_every_gap.bend

laws: one laws/<area>.bend per area, shared spec helpers in laws/base.bend, LAWS.bend imports only; fills re-aliased def <Area>.<law>

grep_scope_pages.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

grep_walk_spec.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

limit_cuts.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

limit_round_robin.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

next_is_more.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

page_is_window.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

past_is_beyond.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

search_ask_fetches.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

search_ask_stops.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

search_calls_example.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

search_cuts_exact.bend

laws: search_note_count_exact, search_cuts_exact (a fresh adversary's symlink notice that read the excluded counter passed grep_notes_every_gap)

search_ffi_refuses.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

search_limit_answers.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

search_list_tests_exact.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

search_met_answers.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

search_note_count_exact.bend

laws: search_note_count_exact, search_cuts_exact (a fresh adversary's symlink notice that read the excluded counter passed grep_notes_every_gap)

search_open_answers.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

search_open_refuses.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

search_page_answers.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

search_refuses_example.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

search_scope_answers.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

search_scope_rule.bend

laws: search_scope_rule (a fresh adversary's model scope that ignored directory roots passed every doc_search law, since the entry computes the scope inline)

search_shut_refuses.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

search_step_refuses.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

search_walk_example.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

search_walk_runs.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)

upto_counts.bend

grep: its scope, walk, page and match limit decided by the compiled core (new doc_search entry id 40, a call and a Stepper)