- service/: 4 of 4 files (validator server, client, contract_test, validator.py)
- lib/: faithfulness.nlib
- oracle/: 2 files (Oracle.agda, build.sh)
Scope: comments only; the validator service API and behavior untouched. КОНТРАКТ.md documents the validator guarantees — that document is handled in the root-documents issue.
Proof: python3 service/contract_test.py still passes (needs the local service on 8991) or, if the service is not runnable here, stated openly; no Cyrillic in touched files.
Scope: comments only; the validator service API and behavior untouched. КОНТРАКТ.md documents the validator guarantees — that document is handled in the root-documents issue.
Proof:
python3 service/contract_test.pystill passes (needs the local service on 8991) or, if the service is not runnable here, stated openly; no Cyrillic in touched files.