scripts · eukhe · Tangled

Coding agent with a memory of all things

eukhe scripts

1 folder · 14 files

gildrb.com · ci: a push to a branch other than main runs only fmt and the secrets scan (integration branches); main keeps the full pre-push gate · 2w 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

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

ci: a push to a branch other than main runs only fmt and the secrets scan (integration branches); main keeps the full pre-push gate

ci: the nightly gate builds from an empty build dir, and the full gate builds without incremental files and with line tables only (one day of gate runs grew its build dir to 410 GB)

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

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)