proof/dash · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof dash

2 folders · 23 files

at bend/all-docs

gildrb.com · dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101) · 2w ago

dash_stored_spec

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)

dash_token_spec

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)

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

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

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

dash_entry_answers.bend

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)

dash_entry_exact.bend

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)

dash_entry_example.bend

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)

dash_entry_reads.bend

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)

dash_entry_refuses.bend

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)

dash_frame_is_model.bend

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)

dash_frame_runs_only_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>

dash_frame_spec.bend

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)

dash_gate_is_model.bend

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)

dash_gate_spec.bend

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)

dash_keep_spec.bend

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)

dash_open_pairs_only_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>

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

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

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

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

dash_stored_spec.bend

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)

dash_token_example.bend

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)

dash_token_spec.bend

dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)