| # 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). |
|
|
