proof/doc_lines · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof doc_lines

22 files

at bend/stackfix

gildrb.com · laws: persist_writes_with_carry, edit_exact, load_holds_first_end (a fresh adversary's persist that started the carry from LF passed every doc_lines law) · 2w ago

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

edit_cut_points_exact.bend

docs: line endings and read views decided by the compiled core on a per-line projection (doc_lines id 9, new doc_rows id 41)

edit_exact.bend

laws: persist_writes_with_carry, edit_exact, load_holds_first_end (a fresh adversary's persist that started the carry from LF passed every doc_lines law)

edit_keeps_untouched_bytes.bend

proofs: files past 1,000 lines become folders by topic (proof/base/, proof/<area>/base/, proof/optchat/push_agrees_always/); P1 binders renamed

edit_writes_new_lines.bend

docs: line endings and read views decided by the compiled core on a per-line projection (doc_lines id 9, new doc_rows id 41)

grep_line_is_read_line.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>

lines_carry_is_first_end.bend

laws: lines_carry_is_first_end (the carry is the file's first ending scanned byte by byte; a fresh adversary's last-line carry passed lines_carry_is_first)

lines_carry_is_first.bend

docs: line endings and read views decided by the compiled core on a per-line projection (doc_lines id 9, new doc_rows id 41)

lines_entry_answers.bend

docs: line endings and read views decided by the compiled core on a per-line projection (doc_lines id 9, new doc_rows id 41)

lines_entry_exact.bend

docs: line endings and read views decided by the compiled core on a per-line projection (doc_lines id 9, new doc_rows id 41)

lines_entry_example.bend

docs: line endings and read views decided by the compiled core on a per-line projection (doc_lines id 9, new doc_rows id 41)

lines_entry_refines.bend

docs: line endings and read views decided by the compiled core on a per-line projection (doc_lines id 9, new doc_rows id 41)

lines_entry_rejects_example.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>

lines_req_fits_example.bend

docs: line endings and read views decided by the compiled core on a per-line projection (doc_lines id 9, new doc_rows id 41)

lines_wire_fits_example.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>

lines_write_keeps.bend

docs: line endings and read views decided by the compiled core on a per-line projection (doc_lines id 9, new doc_rows id 41)

load_holds_first_end.bend

laws: persist_writes_with_carry, edit_exact, load_holds_first_end (a fresh adversary's persist that started the carry from LF passed every doc_lines law)

load_persist_roundtrip.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>

persist_plan_example.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>

persist_plan_refines.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>

persist_weaves_carry.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>

persist_writes_with_carry.bend

laws: persist_writes_with_carry, edit_exact, load_holds_first_end (a fresh adversary's persist that started the carry from LF passed every doc_lines law)