scripts · eukhe · Tangled

Coding agent with a memory of all things

eukhe scripts

1 folder · 13 files

at bend/fix-tiny

gildrb.com · 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 · 3w ago

release: the workflow releases the commit the nightly gate names (`sha` input, no schedule) with notes from the commit subjects

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

laws: references cite LAWS.bend and PROOF.bend sections; check_laws_wired.py enforces the layout

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

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

laws: references cite LAWS.bend and PROOF.bend sections; check_laws_wired.py enforces the layout

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

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