shaikidris /

priority-controller-phase1

Lean formalization of priority-controller results and resource-respecting encoded-machine reduction bridges

A new way for AI to search for data
View on GitHub
1GitHub stars
15commits on main
2forks

Lean 99.8%, Python 0.2% · created 2026-10-18 · last push 2026-10-22

What XERJ indexed

Snapshot

983 files · 18.1 MB

The whole repository at commit 8551f86622 (2026-10-19). main is 6 commits ahead.

Selected work

Idris Ali Shaik
@shaikidris

“Strengthen stream and refutation contracts; state algorithm boundaries”. 26 files, 1,116 lines in entries, Controller, the project root.

Licence

The repository

Apache-2.0

LICENSE file checked at the pinned commit; the author agreed to inclusion.

The XERJ corpus

Apache-2.0, with credit

The author agreed by email on 2026-10-20. Same terms as the repository. Answers name the repo, the commit and the file:line.

selected for the XERJ Corpus Hublicence clearedsuggested use: adapt with attribution

Example questions

The prompt

Paste it into your AI agent. It clones shaikidris/priority-controller-phase1 at the pinned commit and indexes it on your machine.

Search the GitHub repository shaikidris/priority-controller-phase1 with XERJ (https://hub.xerj.org/corpus/shaikidris--priority-controller-phase1).
Run these in a shell, in order, and check each result before the next:
1. xerj --help  (success: it prints usage). If xerj is missing: curl -fsSL https://xerj.org/get | sh
2. git clone https://github.com/shaikidris/priority-controller-phase1 priority-controller-phase1 && git -C priority-controller-phase1 checkout 8551f8662245461bc15b5ee2f1367d66ead13c33
3. Start a local node and leave it running: xerj --insecure --data-dir ./xerj-data
4. xerj autoindex ./priority-controller-phase1 --url http://127.0.0.1:9200 --prefix priority-controller-phas --progress plain
5. xerj autoindex map --url http://127.0.0.1:9200
Then answer my question from the indexed files and cite the ax_path of every hit. Query syntax: https://xerj.org/llms.txt
Licence: Apache-2.0. Keep the copyright notice and credit the authors.

Related

Idris Ali ShaikAPI design and specification corporadjabbat/PN-leanjfairfaxball-348/Inverse-Zero-Sum-ResearchThe-Last-Math-Competition/The-Last-Math-Competition

Stats: GitHub API, fetched 2026-10-31. Snapshot: the git tree at the pinned commit. Selected work and consent: the XERJ registry.