From f3d11359c64e8967a8c46f15e3e885f944b2e166 Mon Sep 17 00:00:00 2001 From: allaun Date: Mon, 22 Jun 2026 02:22:34 -0500 Subject: [PATCH] docs(infra): document canonical database locations and lake build ingest shim Adds canonical database location notes to 4-Infrastructure/AGENTS.md: - Postgres canonical instance is the arxiv-pg container on neon-64gb. - Gremlin canonical instance is the Azure Cosmos DB endpoint. - Explicitly warns against spinning up local Postgres on qfox for production data. Also adds `lake_build_ingest.py` to the stack-solidification anchors. --- 4-Infrastructure/AGENTS.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/4-Infrastructure/AGENTS.md b/4-Infrastructure/AGENTS.md index 6b70fd98..ccd4fb26 100644 --- a/4-Infrastructure/AGENTS.md +++ b/4-Infrastructure/AGENTS.md @@ -368,6 +368,13 @@ python3 4-Infrastructure/storage/storage_agent.py --loop --interval 900 - `4-Infrastructure/shim/rrc_bosonic_tensor_gpu.py` — GPU-accelerated Bosonic Tensor Network Centrality: computes exp(-i*A*theta) using adaptive RK4 on GPU with `wgpu` (Vulkan) to scale N to 10000+ without CPU eigendecomposition bottleneck. Receipt: `rrc_bosonic_tensor_gpu_receipt.json`. - `4-Infrastructure/shim/rrc_bosonic_db_buffer.py` — Asynchronous database ingestion buffer: queues, batches, and flushes PostgreSQL inserts for bosonic tensor network receipts and metrics in thread-safe worker pools. - `4-Infrastructure/shim/pist_trace_classify_offline.py` — Offline, token-free trace classifier implementing Lean's `Semantics.PIST.Classify` color-space model and executing the local `rrc-watchdog` binary in the container. +- `4-Infrastructure/shim/lake_build_ingest.py` — Pure-I/O shim that runs `lake build ` and ingests the result into `ene.sessions`, `ene.packages`, `ene.receipts`, and `ene.ingest_events` on the canonical neon-64gb Postgres (`arxiv-pg` container). No admissibility logic, no Float arithmetic. + +## Canonical database locations + +- **Postgres (canonical):** `arxiv-pg` podman container on **neon-64gb** (`100.92.88.64`). Databases: `arxiv` (arXiv papers + pgvector HNSW), `ene` (ENE memory substrate with full schema from `ene_substrate_schema.sql`). +- **Gremlin (canonical):** Azure Cosmos DB endpoint in `.env.gremlin` (`mathblob.gremlin.cosmos.azure.com`). Current graph: 44,804 vertices, 29,466 edges. +- **Local qfox Postgres:** none. Do not spin up local Postgres containers on qfox for production data; they are not replicated to neon and create confusion. ## Compute Dispatch (WGSL → any substrate)