scripts · eukhe · Tangled

Coding agent with a memory of all things

eukhe scripts

1 folder · 14 files

gildrb.com · ci: a test failure that passes alone is flaky, not a blocked release · 1w ago

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

bend: pin 2.0.39 (selfcheck 14 ok; runtime functions the shim mirrors byte-identical; core.c regenerated; both proof gates and every bridge pass)

bend: the compiled Bend core (crate eukhe-bend): one C entry over Bend's emitted C, steppers, the wire format proven (LAWS.bend section wire), make bend-core

check_laws_wired.py

command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend

ci: a test failure that passes alone is flaky, not a blocked release

ci: a test failure that passes alone is flaky, not a blocked release

ci_pr_crates.py

ci: GitHub runs no CI, only the daily release; every gate runs in the local prek hooks

ci_test_shard_summary.py

ci: the pre-push hook checks the pushed commits in place (fmt, secrets, clippy and tests on the touched crates, bend PROOF.bend) with no lock; the full gate runs nightly (scripts/ci_nightly.sh) and starts the release only when green

ci_test_shard.py

ci: the pre-push hook checks the pushed commits in place (fmt, secrets, clippy and tests on the touched crates, bend PROOF.bend) with no lock; the full gate runs nightly (scripts/ci_nightly.sh) and starts the release only when green

generate-catalog-fixture.py

Close untrusted code execution paths and pin every dependency

package_release.py

Release every green main commit as Eukhe v0.10.N, and set up Bend in CI with one pinned action

test_check_laws_wired.py

proofs: the Bend Bank layout per area: proof/<area>/<law>.bend per law, proof/<area>/base.bend and proof/base.bend for shared lemmas, PROOF.bend imports only

test_ci_pr_crates.py

ci: GitHub runs no CI, only the daily release; every gate runs in the local prek hooks

test_ci_test_shard.py

ci-local: the test gate runs 8 test shards at the same time and audits them (ci_test_shard.py and its summary return as local tools); the Rust lane stays in the foreground and background jobs restore the default SIGINT action

bridges: gone; auth reads and cron file and status writes run as proven entries