Rename AGENT.md.example to AGENTS.md.example; require Jerboa for all code
ober
9dd276043dc39fdac5e96744e092836a826e176c
deleted file mode 100644 --- a/AGENT.md.example +++ /dev/null @@ -1,40 +0,0 @@ -# AGENT.md for jerboa-$app Repositories - -These instructions apply to agents working in this repository. - -## Build Contract - -The Makefile must provide these targets: - -- `make` prints the available targets. It must not build, install, test, or mutate artifacts. -- `make binary` builds the application binary for the local host OS and architecture. -- `make linux-amd64` cross-builds the Linux amd64 binary from the current host. -- `make linux-arm64` cross-builds the Linux arm64 binary from the current host. -- `make freebsd-amd64` cross-builds the FreeBSD amd64 binary from the current host. - -The cross-build targets must use the local cross toolchains and Jerboa/Chez -cross-build setup. Never use Docker or Podman for building, testing, smoke -testing, packaging, or verifying these targets. - -## Required Verification - -Before committing or pushing any code, all required build targets must succeed: - -```sh -make -make binary -make linux-amd64 -make linux-arm64 -make freebsd-amd64 -``` - -Do not commit or push if any target fails. If a cross-build cannot run because -the host is missing a required toolchain or sysroot, stop and report the missing -dependency instead of committing or pushing partially verified code. - -## Working Rules - -- Keep changes inside the current repository unless the user explicitly names another path. -- Preserve the target semantics above when editing the Makefile. -- Treat the cross-build targets as release-critical, not optional follow-up work. -- Do not add Dockerfiles, container scripts, Podman invocations, or container-based verification paths. new file mode 100644 --- /dev/null +++ b/AGENTS.md.example @@ -0,0 +1,52 @@ +# AGENTS.md for jerboa-$app Repositories + +These instructions apply to agents working in this repository. + +## Language: Jerboa ONLY + +All code in any `jerboa-*` directory or repository must be written in **Jerboa** +— `.ss` files using `(jerboa prelude)`, `def`, `defstruct`, the Jerboa reader +extras (`[...]` lists, `{...}` method dispatch, `keyword:` args), and +`(std ...)` modules. The Jerboa toolchain compiles `.ss` → `.sls`. + +Never write raw Chez `.sls` files with `#!chezscheme` + R6RS +`define`/`define-record-type`/`(library ...)` forms, and never write the +application logic in another language (shell, Python, Rust, etc.) — that +bypasses Jerboa entirely and defeats the purpose of these repos. + +## Build Contract + +The Makefile must provide these targets: + +- `make` prints the available targets. It must not build, install, test, or mutate artifacts. +- `make binary` builds the application binary for the local host OS and architecture. +- `make linux-amd64` cross-builds the Linux amd64 binary from the current host. +- `make linux-arm64` cross-builds the Linux arm64 binary from the current host. +- `make freebsd-amd64` cross-builds the FreeBSD amd64 binary from the current host. + +The cross-build targets must use the local cross toolchains and Jerboa/Chez +cross-build setup. Never use Docker or Podman for building, testing, smoke +testing, packaging, or verifying these targets. + +## Required Verification + +Before committing or pushing any code, all required build targets must succeed: + +```sh +make +make binary +make linux-amd64 +make linux-arm64 +make freebsd-amd64 +``` + +Do not commit or push if any target fails. If a cross-build cannot run because +the host is missing a required toolchain or sysroot, stop and report the missing +dependency instead of committing or pushing partially verified code. + +## Working Rules + +- Keep changes inside the current repository unless the user explicitly names another path. +- Preserve the target semantics above when editing the Makefile. +- Treat the cross-build targets as release-critical, not optional follow-up work. +- Do not add Dockerfiles, container scripts, Podman invocations, or container-based verification paths.