Forgex
SPECIFICATION: FORGEX ENGINE
Status: DRAFT (auto-generated by LOOPX — requires Captain review)
Generated: 2026-04-20 10:24 UTC
Source: ~/forgex_engine.py
Auto-generated by: loopx_engine.handle_fill()
⚠ DRAFT NOTICE: This spec was auto-generated from forgex_engine.py.
Invariants were extracted mechanically. Failure modes and verification criteria
require Captain review before this spec is considered AUTHORIZED.
PURPOSE
FORGEX ENGINE — Forge pipeline status module
κ ⚒ | ROUTX module (no standalone server) | Vacuum Rule
handle_query(q) → {"result": ..., "_routed_to": "forgex"}
Commands:
"forge status" → active forge (brain / epoch / ETA) or idle
"forge last" → last completed forge (brain, result, date, loss)
"forge queue" → next items in the forge queue
"forge history" → all forge records from LOBSTER_LOG
Implementation: ~/forgex_engine.py — no HTTP port (module-only)
ENDPOINTS
(no HTTP endpoints — module-only)
PUBLIC API
handle_status()— Check if a forge is currently running. Return active status or idle.handle_last()— Return the last completed forge from LOBSTER_LOG.handle_queue()— Return items in the forge queue — PRE-ENTRY blocks without a later completion.handle_history()— Return all forge records from LOBSTER_LOG.handle_config()— Extract CONFIG block values from forge_template.py.handle_query(q: str)
DEPENDENCIES
Imports: os, re, subprocess, time
INVARIANTS
These must remain true at all times. (Auto-extracted — verify each.)
LOBSTER_LOG=os.path.expanduser("~/LOBSTER_LOG.md")(extracted from source — verify design intent)BRAIN_FORGE_LOG=os.path.expanduser("~/brain_forge.log")(extracted from source — verify design intent)SESSIONS_FILE=os.path.expanduser("~/SESSIONS.md")(extracted from source — verify design intent)
VERIFICATION CRITERIA
GAP — requires Captain review.
Auto-generation cannot determine correctness criteria.
Add verification criteria based on design intent:
>
- [ ] VCx: [describe expected behavior under normal conditions]
- [ ] VCx: [describe expected output for known inputs]
- [ ] VCx: [describe integration behavior with ROUTX / other modules]
FAILURE MODES
GAP — requires Captain review.
Auto-generation cannot determine failure semantics.
Add failure modes based on operational experience:
>
- [ ] FMx: [describe what breaks when dependency X is unavailable]
- [ ] FMx: [describe what happens on malformed input]
- [ ] FMx: [describe recovery behavior]
κ ⚒ LOOPX auto-generated draft. Φζ.⊤.
Promote to AUTHORIZED after Captain review and gap fill.
Jeremy Zlabis
Chronogeometer · Visionary · Disruptor · Chief
42 Sisters AI · East York, Toronto
🍁 Φ 0.042