# David core (J)

Stack lock: **J + PostgreSQL/pgvector + Prolog**.

| Path | Role |
|------|------|
| `scorer.ijs` | Deterministic score shape (ported from Python harness) |
| `eligibility.ijs` | **Product** — J → SWI-Prolog eligibility (candidates + request → minimum agent set) |
| `run_eligibility_smoke.ijs` | Product smoke for `eligibility.ijs` (ANN fixture + Quant negative) |
| `symbolic_call.ijs` | Thin delegate → `run_eligibility_smoke.ijs` |
| `execution.ijs` | WorkItem → AgentResult; Prolog selected-set; EvidenceBundle-only |
| `run_execution_smoke.ijs` | Smoke for `execution.ijs` |
| `evidence.ijs` | Hybrid evidence retrieve (product; seed + `ev_retrieve` / `ev_smoke`) |
| `run_evidence_smoke.ijs` | Smoke for `evidence.ijs` |
| `fixtures/ann_topk.txt` | Fixture candidate ids (ANN top-K shape + Quant negative) |
| `../sql/001_agent_and_evidence_indexes.sql` | AGENT / EVIDENCE indexes |
| `../sql/002_evidence_hybrid_retrieve.sql` | Product hybrid retrieve against `evidence` |
| `../router/symbolic_rules.pl` | Product Prolog eligibility rules |
| `../router/registry_facts.pl` | Generated agent facts from `registry/seed_agents.yaml` |

Python under `../router`, `../execution`, `../evidence` is smoke only — not the product.

Foundry J lives separately at `/workspace/foundry-j`.

Handoff: `../scripts/prolog_selected_handoff.sh` writes `../logs/selected_cobol.txt` for `load_selected`.
Product Spec path: `eligibility.ijs` → `swipl` `run_eligibility/1` (not Python filters).