Skip to content

docs: README matches main on 2026-10-19 - #114

Merged
drakestapleton merged 1 commit into
mainfrom
docs/readme-2026-10-19
Oct 19, 2026
Merged

drakestapleton merged 1 commit into
mainfrom
docs/readme-2026-10-19

Conversation

@drakestapleton

Copy link
Copy Markdown
Contributor

Refreshes the README files so they match main as of 2026-10-19 (Drake asked for a README refresh across the repositories).

What changed: status line dated 2026-10-19, links moved to the current aien-dev/*-mv repository names, how to build and test, how the Spark judges a pull request, and where the evidence lives. Every claim names its source (a file on main, a merged pull request, or a command run on the Spark on 2026-10-19). Nothing here claims a hardware result that is not recorded in a merged file.

Files:

  • README.md
  • adapters/aien/README.md
  • bench/README.md
  • conformance/README.md
  • provenance/README.md
  • rust/README.md

Checks: crumb verify . OK on this head (crumb verify: OK: 0 crumbs current...). No em or en dashes added.

Supersedes #111, which will be closed after this merges.

Docs only. The Spark judges this head; it merges on Spark PASS on the exact head, the hosted AIEN Verification check and a clean merge state.

Supersedes the README parts of PR #111 (docs/readme-refresh-2026-10-18),
rebased in content on main 12b59dc. What was stale and how it was checked:

- Root README: said "CI runs it (job rust)" and "CI fails if a Python file
  is tracked", but the hosted test workflows were removed on 2026-10-18
  (#112, #113); every check is now a Spark gate in tests/gates/. Added what
  the repo is, where it fits in AIEN (Aienix attachment, links to the
  aien-dev/*-mv siblings and aien-receipts), a dated status, a build and
  test section with the seven gates, where the evidence lives, and a
  SECURITY.md pointer. Lenshift dialect list now matches dialects/fixtures
  (openai, openai_stream, qwen35, aien_legacy). Layout gains tests/gates,
  .aien, PIPELINE.md, CHANGELOG.md.
- rust/README: title said 0.1 (workspace is 0.3.0); dialect list was short;
  "cargo run -p interplane-conformance -- ..." fails because the crate has
  two binaries (ran it: "could not determine which binary to run"); now
  uses --bin and lists interplane-corpus and the examples.
- conformance/README: spoke of two runners and "CI compares"; now one Rust
  runner and the INTERPLANE-RUST gate; dialect fixture path covers all four
  dialects and replay/.
- adapters/aien/README: aien-spark repository names replaced with
  aien-dev/*-mv; hosted job adapter-aien replaced by the Spark gate; Mojo
  note (pinned aegis f4e8709 still has the mojo build.rs; aegis main
  removed Mojo in its PR #49 on 2026-10-15, checked in a clone).
- bench/README: removed Python tools no longer described as present; the
  0.2x campaign is no longer called "not run" (it ran 2026-10-05, FAIL).
- provenance/README: aien-spark/waldo marked archived (gh api: archived).

Checked by running on the Spark (clone of main 12b59dc): both offline
examples (exit 0), the conformance runner (106 of 106, cmp equal to
conformance/expected/verdicts.json), interplane-corpus schemas and
validate (PASS, 56 dialect fixtures), cargo test --all (exit 0),
tests/gates/run.sh no-python, the five provenance fixture verdicts, and
every relative link in every README.

Co-authored-by: Drake Stapleton <drake@aienos.com>
@drakestapleton
drakestapleton merged commit b669d06 into main Oct 19, 2026
5 of 7 checks passed
@drakestapleton
drakestapleton deleted the docs/readme-2026-10-19 branch October 19, 2026 14:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant