0-Call Engine & Verification Slot
Token counter, AST slice bundler & local verifier exit-0 smoke check
Substrate: db_atomic · p99 Claim Target: ≤ 4 ms · Phase: 242 - 260 Specialized Modality, Formal Proof, 3D/CAD, Legal, EDGAR & Civic Queues
Mode B <=4,000-Token Leaf Context Packer (aq255_overnight_leaf_pack_assembly)
Packages exact target code slices, IOPE contracts, and deterministic verification commands into <=4,000-token packs for local 8B-32B overnight models.
<=4,000 Context TokensSelf-Check CommandStore S11..S20
Model-Guided Escalation & Synthesis Role
Minimal sufficient context selector
5-Role Component Pod: 0-Call Slot / Solver + OpenSearch / Split-Supervisor (≤4k tok) / Diagnostic Repair + Twin Shim / CPOP + Sister Distiller.
Enforced Category State Machine: legal_clause_obligation_check
Commit Invariant: Monotonic lease_epoch compare-and-swap fencing with content-addressed SWHID verification.
Architectural Problem Solved: Coordinates parallel execution without duplicate work or split-brain overwrites.
POST https://api.teleon.dev/v1/tenants/:tenantId/queues/aq255_overnight_leaf_pack_assembly/enqueue
{
"queue_category": "legal_clause_obligation_check",
"priority": 80,
"payload": { "stage": "255", "objective": "Mode B <=4,000-Token Leaf Context Packer" }
}