fix: validate Symbolics API and stateless Prolog turns #61

Merged

lost-rob0t merged 1 commit from fix/api-startup-smoke into chore/add-launch-script

2026-08-27 09:03:17 +00:00

lost-rob0t commented

2026-08-27 08:51:31 +00:00

(Migrated from github.com)

Summary

make the Symbolics smoke runner, container healthcheck, and local verify command exercise GET /api/health
add deterministic smoke failure tests and an opt-in live pytest for the published UI/API URL
force OpenRouter Responses requests to use full client-side history instead of unsupported provider continuation state
prevent successful Prolog-RLM tool turns from being followed by repeated identical calls on OpenRouter

Verification

A0_SYMBOLICS_URL=http://127.0.0.1:5080 pytest tests/test_symbolics_docker.py tests/test_symbolics_smoke.py tests/test_symbolics_live_api.py -rs -> 22 passed
./scripts/verify -> passed against the running container
updated in-container smoke -> API health, context compiler, and Prolog-RLM readiness passed
updated healthcheck -> passed; container healthy with zero restarts
framework-runtime stateless transport assertion -> passed under /opt/venv-a0
full bare-host pytest remains environment-blocked because framework dependencies are not installed and ignored usr/ runtime state is collected

This is stacked on PR #60 and targets chore/add-launch-script to keep the launch changes out of the diff.

## Summary - make the Symbolics smoke runner, container healthcheck, and local verify command exercise `GET /api/health` - add deterministic smoke failure tests and an opt-in live pytest for the published UI/API URL - force OpenRouter Responses requests to use full client-side history instead of unsupported provider continuation state - prevent successful Prolog-RLM tool turns from being followed by repeated identical calls on OpenRouter ## Verification - `A0_SYMBOLICS_URL=http://127.0.0.1:5080 pytest tests/test_symbolics_docker.py tests/test_symbolics_smoke.py tests/test_symbolics_live_api.py -rs` -> 22 passed - `./scripts/verify` -> passed against the running container - updated in-container smoke -> API health, context compiler, and Prolog-RLM readiness passed - updated healthcheck -> passed; container healthy with zero restarts - framework-runtime stateless transport assertion -> passed under `/opt/venv-a0` - full bare-host `pytest` remains environment-blocked because framework dependencies are not installed and ignored `usr/` runtime state is collected This is stacked on PR #60 and targets `chore/add-launch-script` to keep the launch changes out of the diff.