-
Notifications
You must be signed in to change notification settings - Fork 65
Troubleshooting FAQ
SHAURYASANYAL3 edited this page Jul 24, 2026
·
2 revisions
Before opening an issue or a PR, please check this live troubleshooting document.
If you encounter a failure bringing up the api service because port 8000 is already in use:
-
Diagnosis: Run
lsof -i :8000(Mac/Linux) ornetstat -ano | findstr :8000(Windows) to identify the conflicting process. -
Fix: Either terminate the conflicting process, or override the port in your local
.envfile by changing the API bind port.
If your agent's execution halts unexpectedly:
-
Diagnosis: Check the
EventBuslogs for aLatticeVerdict.BLOCKEDevent. The log will specify whether the block originated from theCapabilityLattice,StateLattice, orCognitiveLattice. -
Fix: If this is a false positive (e.g. the
ShadowSimulatorincorrectly predicted a system violation), use theInvariantEvolverAPI to submit the trace and suggest a threshold relaxation.
If telemetry seems delayed or is dropping during high-throughput execution:
-
Diagnosis: Monitor the internal
EventBusqueue depth metrics. - Fix: Ensure your background worker threads are not starved. The V2 EventBus uses non-blocking dispatch, but if your disk I/O is saturated (e.g. writing massive telemetry logs synchronously), it can slow down the worker threads. Increase worker pool size or batch writes.
If your CLI command appears to hang indefinitely waiting for a background task:
- Check Redis: Ensure the Redis container is running. Background tasks require Redis to broker the jobs.
-
Check Workers: Ensure you started the worker container (
docker compose up -d worker). If workers are starved, tasks will queue indefinitely.