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
/
command
1 folder
·
63 files
at
bend/all
gildrb.com
·
command laws: after a word that names a child, the rest of the line is pinned in every table (spaces, a child, or argument text and unknown words by the named entry's own flags)
·
2w ago
38d4d9bd
base
command laws: after a word that names a child, the rest of the line is pinned in every table (spaces, a child, or argument text and unknown words by the named entry's own flags)
2w ago
base.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_blank_runs_nothing.bend
command laws: every spelling of a path (names in any case, aliases, any spacing) resolves and shows its menu as its canonical names; Tab and Enter act on the path the line's menu lists; a blank line runs nothing
2w ago
command_enter_on_row.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_enter_row_any_spacing.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_enter_without_row.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_answers.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_decides.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_example.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_left_over.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_malformed_unless_request.bend
laws: a Nat on the wire is its decimal digits (every entry); the command reply readers read the spelled reply grammar; every command answer but the malformed error comes from an input that begins with a request
2w ago
command_ffi_malformed.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_menu_reads_spelled.bend
laws: a Nat on the wire is its decimal digits (every entry); the command reply readers read the spelled reply grammar; every command answer but the malformed error comes from an input that begins with a request
2w ago
command_ffi_menu_round_trip.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_out_reads_spelled.bend
laws: a Nat on the wire is its decimal digits (every entry); the command reply readers read the spelled reply grammar; every command answer but the malformed error comes from an input that begins with a request
2w ago
command_ffi_out_round_trip.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_premises_witness.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_reads_only_requests.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_res_reads_spelled.bend
laws: a Nat on the wire is its decimal digits (every entry); the command reply readers read the spelled reply grammar; every command answer but the malformed error comes from an input that begins with a request
2w ago
command_ffi_res_round_trip.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_round_trip.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_spelled_left_over.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_unknown_menu.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_unknown_press.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_unknown_query.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_unknown_res.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_unknown_row.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_ffi_witness.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_free_takes_rest.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_key_follows_menu.bend
command laws: every spelling of a path (names in any case, aliases, any spacing) resolves and shows its menu as its canonical names; Tab and Enter act on the path the line's menu lists; a blank line runs nothing
2w ago
command_memory_model_example.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_memory_model_keys_example.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_menu_lists_children.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_menu_names_first_word.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_menu_shut_off_path.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_menu_space_gap.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_menu_space_lead_word.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_menu_space_lead.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_named_dup_example.bend
command laws: a word that names a child acts as that child in every table, also one that declares a path twice
2w ago
command_named_example.bend
command laws: every spelling of a path (names in any case, aliases, any spacing) resolves and shows its menu as its canonical names; Tab and Enter act on the path the line's menu lists; a blank line runs nothing
2w ago
command_named_premises_witness.bend
command laws: every spelling of a path (names in any case, aliases, any spacing) resolves and shows its menu as its canonical names; Tab and Enter act on the path the line's menu lists; a blank line runs nothing
2w ago
command_named_word_ends.bend
command laws: a word that names a child acts as that child in every table, also one that declares a path twice
2w ago
command_named_word_menu_any.bend
command laws: a word that names a child acts as that child in every table, also one that declares a path twice
2w ago
command_named_word_menu.bend
command laws: a word that names a child acts as that child in every table, also one that declares a path twice
2w ago
command_named_word_resolves_alike.bend
command laws: a word that names a child acts as that child in every table, also one that declares a path twice
2w ago
command_named_word_resolves.bend
command laws: a word that names a child acts as that child in every table, also one that declares a path twice
2w ago
command_named_word_then_blank.bend
command laws: after a word that names a child, the rest of the line is pinned in every table (spaces, a child, or argument text and unknown words by the named entry's own flags)
2w ago
command_named_word_then_child.bend
command laws: after a word that names a child, the rest of the line is pinned in every table (spaces, a child, or argument text and unknown words by the named entry's own flags)
2w ago
command_named_word_then_other.bend
command laws: after a word that names a child, the rest of the line is pinned in every table (spaces, a child, or argument text and unknown words by the named entry's own flags)
2w ago
command_path_runs_itself.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_premises_witness.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_row_ignored_off_path.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_row_ignored_shut_menu.bend
command laws: every spelling of a path (names in any case, aliases, any spacing) resolves and shows its menu as its canonical names; Tab and Enter act on the path the line's menu lists; a blank line runs nothing
2w ago
command_space_gap.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_space_lead.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_space_trailing.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_spacing_example.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_stale_row_any_spacing.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_stale_row_ignored.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_stray_is_not_a_command.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_tab_completes_row.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_tab_row_any_spacing.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_tab_without_row.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
command_unknown_runs_nothing.bend
command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend
2w ago
