Skip to content

docs: add AGENTS.md for AI coding agents - #125

Merged
aien-spark merged 1 commit into
mainfrom
docs/agents-md
Oct 25, 2026
Merged

aien-spark merged 1 commit into
mainfrom
docs/agents-md

Conversation

@aien-spark

Copy link
Copy Markdown
Collaborator

Adds AGENTS.md (instructions for AI coding agents), following the aienos.com AGENTS.md structure and pointing at the shared rules at https://www.aienos.com/agents/RULES.md. Only AGENTS.md changes.

Verified in a fresh clone of main (1b4fd7d), Rust 1.98.1

  • cargo build --locked --workspace: OK.
  • cargo fmt --all --check: OK (first step of scripts/ci/portable.sh workspace).
  • tests/gates/run.sh zero-disk-secrets: PASS (env_files_found false).
  • crumb verify . with the crumb tool built from aien-architecture 12ad0141 (the pin in crumb.lock and aien-verification.yml): OK on main and OK with AGENTS.md committed (generated data on demand, no recompile needed).
  • grep -nP '[\x{2013}\x{2014}]' AGENTS.md: no output.

Pre-existing failure on main (not caused by this PR)

  • bash scripts/ci/portable.sh workspace fails at cargo clippy --locked --workspace --all-targets -- -D warnings: crates/synapse-store/src/j1_corpus.rs (test code) does not compile against WalRecord, which gained a seal field (E0027 at lines 251, 274; E0063 at 404, 410, 415). cargo test --locked --workspace fails the same way.
  • cargo test --locked --workspace --exclude synapse-store: 50 test binaries, 0 failures.

Listed but not run

  • tests/gates/run.sh crumb-verify and tests/gates/run.sh conformance: need the sibling checkout ../aien-architecture, which a plain clone lacks (I ran the equivalent crumb verify by hand, above).
  • scripts/run_gate4_qualification.sh: benchmark that needs a real fixture repository and is meant for the DGX Spark.

@aien-spark
aien-spark merged commit 81ce993 into main Oct 25, 2026
5 checks passed
@aien-spark
aien-spark deleted the docs/agents-md branch October 25, 2026 19:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant