Working engineering prototype
TravOS: evidence before completion
A worker saying done should not be enough to complete a task. This prototype keeps task requirements, artifacts, and acceptance evidence outside the worker's own success claim.
A bounded local demonstration
The October 20 demonstration uses synthetic tasks and simulated, scripted workers. Its goal is deliberately small: produce an agreed artifact and verify it. It makes three fixture dispatches and zero model-provider calls.
01 / Rejected
A worker says succeeded. The required file is missing.
A simulated, scripted worker claims success. The verifier rejects the attempt, including the missing-artifact condition. The failed claim and its receipts remain recorded.
02 / Held
The mission cannot complete on a claim alone.
A completion request is refused because every required task must be done. The operator can inspect the rejected attempt before choosing the next action.
03 / Accepted
An explicit correction supplies the evidence.
The separately requested fixture correction passes the agreed checks and the mission completes. The original rejection remains unchanged rather than being overwritten.
A sanitized factual summary of the local run. It is not a live execution or a substitute for the retained receipts.
What this proves
Within this deterministic fixture, a success claim can be rejected, mission completion is held until the checks pass, and a corrected attempt can be accepted without erasing the failed one. It is evidence of a working verification boundary in an engineering prototype.
This demonstration does not establish live-model reliability, interruption recovery, parallel worker isolation, unattended supervision, or production readiness. A person still has to choose acceptance criteria that represent a useful goal.
Future direction
The longer-term idea is a model-agnostic harness that preserves useful context and lessons as workers change. Compounding learning and broader autonomous operation remain research and development goals. They are separate from the narrow behavior demonstrated above.