proof/semver · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof semver

39 files

at bend/stackfix

gildrb.com · semver: the entry reads only lengths and counts that fit the wire (semver_ffi_exact_fits), the gap a blind adversary found in the log entry · 2w ago

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

replace_rank_in_range.bend

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

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

semver_ffi_behind_example.bend

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

semver_ffi_exact_fits.bend

semver: the entry reads only lengths and counts that fit the wire (semver_ffi_exact_fits), the gap a blind adversary found in the log entry

semver_ffi_exact.bend

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

semver_ffi_long_example.bend

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

semver_ffi_malformed_example.bend

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

semver_ffi_release_example.bend

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

semver_ffi_release_long.bend

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

semver_ffi_release.bend

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

semver_ffi_series_example.bend

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

semver_ffi_series_long.bend

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

semver_ffi_series.bend

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

semver_ffi_why_example.bend

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

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

semver_in_series_exact.bend

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

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

semver_le_exact.bend

semver: the order is pinned (semver_le_exact): a blind adversary passed every law with minor-before-major

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

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

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

semver_next_exact.bend

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

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

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

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

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

semver_parse_exact.bend

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

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

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

semver_release_exact.bend

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

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

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

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

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

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

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

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

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