0-Call Engine & Verification Slot
Blocker-to-seed router
Substrate: db_atomic · p99 Claim Target: ≤ 5 ms · Phase: 05 - 08 First-Pass Solve, 1-Up Compete, Research & Remix
Research Gap Loop (aq07_research_gap_loop)
Isolates exact missing APIs, schemas, or empirical facts that blocked a solve attempt and dispatches targeted Stage-01 acquisition.
Blocked FactTargeted QueryStage-01 Requeue
Model-Guided Escalation & Synthesis Role
Primary-source gap investigator
5-Role Component Pod: 0-Call Slot / Solver + OpenSearch / Split-Supervisor (≤4k tok) / Diagnostic Repair + Twin Shim / CPOP + Sister Distiller.
Enforced Category State Machine: lean4_formal_proof_check
Commit Invariant: Requires lake build exit code 0 with zero sorry or unapproved axiom declarations across formal state-machine and conservation specs.
Architectural Problem Solved: Eliminates subtle epoch-wrap, CAS race, and basis-point rounding bugs in critical state machines.
POST https://api.teleon.dev/v1/tenants/:tenantId/queues/aq07_research_gap_loop/enqueue
{
"queue_category": "lean4_formal_proof_check",
"priority": 80,
"payload": { "stage": "07", "objective": "Research Gap Loop" }
}