Spaces:
Running
Running
File size: 1,986 Bytes
468473c 96f85ac 468473c 96f85ac 468473c | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 | # Codex Instructions (Prompt_Squirrel_RAG)
## Environment (Windows / PowerShell)
- Always run from the repo root.
- Never run `python` or `pip` directly.
- Always use the venv interpreter:
- `.venv\Scripts\python.exe`
- Install deps with:
- `.venv\Scripts\python.exe -m pip install -r requirements.txt`
## Change discipline
- Keep diffs small: fix one issue or implement one focused step per patch.
- Do not rewrite large files.
- Do not move logic across modules unless the contract requires it.
- Preserve stage boundaries: rewriting (LLM) vs retrieval (candidate generation) vs selection (index-only).
## Project contracts
- Follow the retrieval grounding / candidate generation contract:
- `docs/retrieval_contract.md`
- If behavior conflicts with existing code, update code to match the contract (not the other way around).
## Git setup notes for this repository/user
- Remote mapping currently used by user:
- `github` => `https://github.com/FoodDesert/Prompt_Squirrel_RAG.git`
- `origin` => `https://huggingface.co/spaces/FoodDesert/Prompt_Squirrel_RAG`
- For code collaboration, prefer explicit GitHub remote commands to avoid pushing code to Hugging Face remote.
## Mandatory agent bootstrap for any new workspace
- Always run these first, in order:
1. `git status --short --branch`
2. `git remote -v`
3. `git branch -vv`
4. `rg --files | rg 'AGENTS.md|PROJECT_SUMMARY.md|SESSION_QUICKSTART.md'`
- If `github` remote is missing, add it immediately:
- `git remote add github https://github.com/FoodDesert/Prompt_Squirrel_RAG.git`
- Sync before any work:
- `git pull --rebase github HEAD`
### Git guidance style for this user
- Keep Git instructions short and step-by-step.
- Ask for / interpret `git status --short --branch` output first.
- Prefer explicit commands with remote names, e.g.:
- `git pull --rebase github HEAD`
- `git push github HEAD`
- If branch divergence appears, prefer a low-risk resync path over complex conflict resolution.
|