Logx

SPEC_LOGX.md · 2026-04-20

SPECIFICATION: LOGX ENGINE

Status: DRAFT (auto-generated by LOOPX — requires Captain review)

Generated: 2026-04-20 10:24 UTC

Source: ~/logx_engine.py

Auto-generated by: loopx_engine.handle_fill()


⚠ DRAFT NOTICE: This spec was auto-generated from logx_engine.py.
Invariants were extracted mechanically. Failure modes and verification criteria
require Captain review before this spec is considered AUTHORIZED.

PURPOSE

LOGX ENGINE — Unified ship log search

κ ⚒ port=9898 | localhost only | Vacuum Rule

Returns JSON. ◌ on failure.

Endpoints:

POST /search {"query": "error", "hours": 24} → search recent lines

POST /search {"query": "error", "file": "ALERT.log"} → search specific file

POST /query {"query": "search error"} → same via query bus

GET /files → list all searchable log files

Implementation: ~/logx_engine.py — port=9898


ENDPOINTS


  /files
  /health
  /query
  /search

PUBLIC API


DEPENDENCIES

Imports: datetime, http.server, json, pathlib, re, sys, time


INVARIANTS

These must remain true at all times. (Auto-extracted — verify each.)

  1. Port: 9898 (must not change without updating ROUTX classifier)

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