proof/skill_load · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof skill_load

12 files

at bend/all-docs

gildrb.com · skill_load: the loaded list is pinned (skill_loaded_exact) and the membership the reporting law reads has witnesses (skill_in_first_example, skill_in_later_example): a blind adversary's empty membership made skill_failure_reported vacuous · 2w ago

skill_load: runs as compiled Bend (ffi_skill_load, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

skill_diag_kinds.bend

skill_load: runs as compiled Bend (ffi_skill_load, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

skill_distinct_example.bend

skill_load: runs as compiled Bend (ffi_skill_load, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

skill_failure_reported.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/

skill_ffi_answers.bend

skill_load: runs as compiled Bend (ffi_skill_load, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

skill_ffi_example.bend

skill_load: runs as compiled Bend (ffi_skill_load, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

skill_ffi_malformed_exact.bend

skill_load: runs as compiled Bend (ffi_skill_load, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

skill_ffi_malformed.bend

skill_load: runs as compiled Bend (ffi_skill_load, spec-speller entry laws); the Rust copy, its bridge and the law-covered tests go

skill_in_first_example.bend

skill_load: the loaded list is pinned (skill_loaded_exact) and the membership the reporting law reads has witnesses (skill_in_first_example, skill_in_later_example): a blind adversary's empty membership made skill_failure_reported vacuous

skill_in_later_example.bend

skill_load: the loaded list is pinned (skill_loaded_exact) and the membership the reporting law reads has witnesses (skill_in_first_example, skill_in_later_example): a blind adversary's empty membership made skill_failure_reported vacuous

skill_loaded_exact.bend

skill_load: the loaded list is pinned (skill_loaded_exact) and the membership the reporting law reads has witnesses (skill_in_first_example, skill_in_later_example): a blind adversary's empty membership made skill_failure_reported vacuous

skill_loaded_not_failed.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/