proof/tiny · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof tiny

22 files

at bend/stackfix

gildrb.com · tiny: each choice of a process's worker election runs as the compiled core (new entry tiny_elect id 100) · 2w ago

tiny: each choice of a process's worker election runs as the compiled core (new entry tiny_elect id 100)

tiny_bind_spec.bend

tiny: each choice of a process's worker election runs as the compiled core (new entry tiny_elect id 100)

tiny_confirm_spec.bend

tiny: each choice of a process's worker election runs as the compiled core (new entry tiny_elect id 100)

tiny_elect_entry_answers.bend

tiny: each choice of a process's worker election runs as the compiled core (new entry tiny_elect id 100)

tiny_elect_entry_exact.bend

tiny: each choice of a process's worker election runs as the compiled core (new entry tiny_elect id 100)

tiny_elect_entry_example.bend

tiny: each choice of a process's worker election runs as the compiled core (new entry tiny_elect id 100)

tiny_elect_entry_reads.bend

tiny: each choice of a process's worker election runs as the compiled core (new entry tiny_elect id 100)

tiny_elect_entry_refuses.bend

tiny: each choice of a process's worker election runs as the compiled core (new entry tiny_elect id 100)

tiny_elect_is_worker_model.bend

tiny: each choice of a process's worker election runs as the compiled core (new entry tiny_elect id 100)

tiny_elect_spec.bend

tiny: each choice of a process's worker election runs as the compiled core (new entry tiny_elect id 100)

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

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

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

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

tiny_ffi_request_round_trip.bend

proofs: no misc files: a claim that calls nothing is logic (proof/base/logic/), every other topic keeps its function name; comments cite laws/ and proof/

tiny_launched_spec.bend

tiny: each choice of a process's worker election runs as the compiled core (new entry tiny_elect id 100)

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

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

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

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

tiny_shut_spec.bend

tiny: each choice of a process's worker election runs as the compiled core (new entry tiny_elect id 100)

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