proof/tiny · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof tiny

1 folder · 38 files

gildrb.com · laws: tiny_worker_terms_exact (a fresh specification-completeness review proved every tiny law with a worker model that never starts a worker, `needs` and `last_tag` redefined to match) · 2w ago

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

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: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_confirm_spec.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_elect_is_worker_model.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_elect_spec.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_every_need_served.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_ffi_answers.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_ffi_rejects_left_over.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_ffi_rejects_malformed.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_ffi_request_round_trip.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_launched_spec.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_pick_first.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_pick_in_chain.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_pick_unavailable.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_at_most_once.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_ended_does_nothing.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_ends_once.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_entry_answers.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_entry_exact.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_entry_example.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_entry_history.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_entry_open_exact.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_entry_open_refuses.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_entry_open.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_entry_refuses.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_entry_shut.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_example.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_fits_example.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_is_model.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_opens.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_safe.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_run_step_is_model.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_same_tag_joins.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_seat_under_lock.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_shut_spec.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_terms_exact.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_worker_current.bend

tiny: the worker election runs as a compiled Bend stepper (entry tiny_run 400); the Rust election sequencing and the tiny bridge go

tiny_worker_terms_exact.bend

laws: tiny_worker_terms_exact (a fresh specification-completeness review proved every tiny law with a worker model that never starts a worker, `needs` and `last_tag` redefined to match)