Repository navigation
ci: the way into main installs the packages on all five platforms and checks every verb's answer - #1347
Merged
Conversation
… runs every verb A pull request into main now packs @axiomcode/code-graph once, and on linux-x64, linux-arm64, win32-x64, darwin-arm64 and darwin-x64 installs it with that platform's engine package, with no Soufflé, and for every language indexes a case and runs impact, test-impact, path (SQL and Datalog), path --every (both) and context. The required CI check fails unless every platform passes, so a release is never cut from a main that has not done this.
…e, in all five languages .github/e2e/<language> is entry() -> helper() -> leaf() and one test calling entry(). e2e-queries.sh indexes it and requires: impact leaf lists helper as a resolved caller; path entry leaf reaches it through helper, from SQL and from the shipped Datalog programs; --every lists a route through helper; context names leaf; and after a real edit to leaf, changed names it and test-impact selects the test through the graph, not by its name. A non-zero exit or a traceback fails. Removing the call, or the test's call, turns it red.
swapnilpaliwal-sd
requested review from
JaredHLZhang,
Whua689 and
suyashpaliwal26
as code owners
September 25, 2026 21:33
swapnilpaliwal-sd
added a commit
that referenced
this pull request
Sep 25, 2026
* parser/readme: C# and TypeScript are documented, and usage, output and tests match the code (#1321) * parser/readme: C# and TypeScript are documented, and usage, output and tests match the code * parser/readme: nested type names and the spellings a query still meets * parser: a description that does not list languages, so it cannot go stale * index: use python3's sqlite3 module, not the sqlite3 CLI (#1329) (#1333) * index: use python3's sqlite3 module, not the sqlite3 CLI (#1329) axiomcode-build shelled out to the sqlite3 command-line program in four places. Stock Ubuntu and Git for Windows do not ship it, so index exited 127 after building the graph and, under set -e, skipped the fact export and rule warm-up, which then crashed context on a missing edge.facts. python3 is already a stated requirement and carries sqlite3 itself. * release: 0.1.1 (#1329); the vendored parser keeps 0.1.0 * windows: find Python as the MCP launcher does, and give bash a python3 that runs it (#1331) (#1334) * windows: find Python the way the MCP launcher does, and give bash a python3 that runs it (#1331) A python.org install on Windows has python.exe and py.exe and no python3, and on a desktop Windows python3 is the Store placeholder. Every CLI verb and every hook called python3, so all of them failed although Python was installed. - mcp/find-python.js: AXIOMCODE_PYTHON, python3, python, py -3; the first that runs, by its sys.executable. launch.js now takes its list from here. - bin/axiomcode.js and launch.js put scripts/pyshim/python3 first on bash's PATH, pointing at that interpreter (always on Windows, and elsewhere when python3 is not the one chosen). - hooks: every command is node hooks/run.js <hook>.py, which passes stdin, stdout, stderr and the exit status through unchanged, and exits 0 when there is no Python so a hook never blocks a tool. - scripts/axiomcode makes the same choice when run straight from a shell, as the skill says to without MCP tools. - Python-started builds use AXIOMCODE_BASH when set, as server.py already does. - tests/python_names.py: 7 checks, all red on dev; manifests.py requires the runner. - version 0.1.1. * ax_fresh: Git Bash's fd 9 is not a descriptor in native python.exe, so the build lock looped forever (#1331) tests/README.md is left as it was. * windows: run Python in UTF-8 mode, so a piped answer with → does not raise UnicodeEncodeError (#1331) * graph: run axiomcode-build through bash; Windows cannot exec a script (#1331) * parser stays at 0.1.0 * version.mjs: the vendored parser keeps its own version * graph: a small repository opens as clean as a large one, and no label covers another (#1336) (#1337) The chip thresholds compared the absolute zoom, and a small disc is fitted at a zoom that already passed all of them, so every node was labelled on open. They now count from the zoom fitAll chose. chip() skips a box that overlaps one already drawn; the hover and the selection always draw. Only the ambient chips give way to the rim package labels, so a selection's callers and callees stay labelled. The pass that labelled every node when fewer than 500 were shown is removed. readme: an image of the graph under "Why AxiomCode Graph?", one method selected with its resolved calls drawn across the codebase. * README: replace the graph screenshot with the test-impact graph (#1338) * README: replace the Spring graph screenshot with the test-impact graph * README: transparent corners on the impact graph image * path --every: bound the route enumeration by work, not only by routes found (#1341) (#1342) Through a cycle the partial routes multiply with every hop, and when fewer than max_paths short routes exist the heap grew until the machine ran out of memory. The search now stops after AXIOMCODE_EVERY_BUDGET partial routes (200,000) and says so, with how to narrow an endpoint. * windows: the index stores '/' paths on every platform, so context and --in find their scopes (#1340) (#1343) rel() built the index's paths with os.path.relpath, which uses the platform separator, while every reader of the index splits on '/'. On Windows context found no scope and exited 2. The indexer, the hooks and the verbs now build '/'-separated keys, and --in accepts a path written with backslashes. * engines: ship the query programs compiled, so impact and path need no Soufflé (#1330) (#1335) build-engines compiles impact.dl, path.dl, path-opt.dl and path-every.dl on all five platforms next to the language engines, keyed by dl_program.py's own rules id, and checks each platform's binaries against the interpreter on a small fixture. The engine package ships them under queries/, dl_program.py uses the one built from these rules before it tries a local compile, and publish refuses a platform that lacks them. The nightly e2e now indexes, runs impact and path from the installed tarballs with no souffle on PATH. A local dl/.cache no longer reaches the npm package. * path --every: list routes with Yen's k-shortest paths, count them up to 1000 (#1341) (#1344) #1342 stopped the enumeration after a fixed amount of work, which kept memory bounded but cut the route list short: on a cyclic subgraph it printed one route where far more exist. Yen's algorithm finds each next-shortest simple route with a bounded number of breadth-first searches, so the work grows with the routes asked for and the ones printed are exactly the shortest. --every counts routes up to 1000, prints the shortest --paths N (20), and past 1000 says so and asks for a narrower endpoint. * ci: the way into main installs the packages on all five platforms and checks every verb's answer (#1347) * ci: the way into main installs the packages on all five platforms and runs every verb A pull request into main now packs @axiomcode/code-graph once, and on linux-x64, linux-arm64, win32-x64, darwin-arm64 and darwin-x64 installs it with that platform's engine package, with no Soufflé, and for every language indexes a case and runs impact, test-impact, path (SQL and Datalog), path --every (both) and context. The required CI check fails unless every platform passes, so a release is never cut from a main that has not done this. * e2e: every query verb must return the answer a tiny project makes true, in all five languages .github/e2e/<language> is entry() -> helper() -> leaf() and one test calling entry(). e2e-queries.sh indexes it and requires: impact leaf lists helper as a resolved caller; path entry leaf reaches it through helper, from SQL and from the shipped Datalog programs; --every lists a route through helper; context names leaf; and after a real edit to leaf, changed names it and test-impact selects the test through the graph, not by its name. A non-zero exit or a traceback fails. Removing the call, or the test's call, turns it red. * context: a tree with every file at its root is scoped to the root, not refused (#1345) (#1346) The scope menu is built from the directories above the indexed files, so a repository whose files sit at its root had nothing to offer, and context refused with an empty list of suggestions. The root is the one scope such a tree has: context now uses it and says so, the way a single-package tree is handled. --------- Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
A pull request into
mainnow proves that what a user installs answers every query verb correctly, on all five platforms and in all five languages, before anything can be released from it.ci.yml, on the way intomain(and in the nightly), wherever the platform engines are built:packbuilds@axiomcode/code-graphonce; the tarball is platform-independent.e2eruns on linux-x64, linux-arm64, win32-x64, darwin-arm64 and darwin-x64. Each runner has no Soufflé. It installs the tarball with that platform's engine package, the waynpm idoes, and for every language:.github/scripts/e2e-queries.shon.github/e2e/<language>;CIcheck includespackande2e, so a failure on any platform or language blocks the merge..github/e2e/<language>is a project small enough to know every answer:entry()→helper()→leaf(), and one test callingentry().e2e-queries.shindexes it and requires, not just a zero exit:impact leafhelperas a[resolved]callerpath entry leaf(SQL, and Datalog from the shipped programs)helperpath entry leaf --every(both)helpertoleafcontext leafleafas an entry pointchanged, afterleafreturns 42 instead of 41leaftest-impact, same edittests to run: N), not by its nameNo answer may carry a Python traceback.
Validation
helperno longer callingleaf,impactfails ("helper is a resolved caller"); with the test no longer callingentry,test-impactfails ("a test reaches the change through the graph"). Both answered before the checks were made strict:helperappeared as a sibling, and the test was selected by its name.