ouroboros/.github
Andrei Kaznacheev 559e16c517 test: the class gates and the serial-lane contract
Six gates that fail a whole CLASS of defect rather than an instance, because the
postmortem this branch answers found the same three shapes thirty-seven times.

They scan the source: every producer of a policy-bearing seam must be reachable
from the one judge; every disclosure the code claims must have a producer that
emits it; every dual-route handler must be labelled with which route it covers;
no test may signal a process group it did not create; no documented claim may
name a tool the registry does not export.

The serial lane is a contract, not a dumping ground. A test that spawns a real
process, binds a real port, or mutates module-level state is marked `serial`; a
merely slow test is made faster or split. `test_serial_lane_contract.py` enforces
that distinction so the unbounded lane stays small enough to be worth running.

CI gains the execd jobs: the bundle is built, verified and smoke-tested against a
real OpenSSH container, and the release job publishes only the named, attested
assets.
2026-08-15 19:02:02 +04:00
..
actions/setup-python-env fix(deps): complete uv migration contracts 2026-08-11 06:34:54 +03:00
ISSUE_TEMPLATE docs: sharpen Ouroboros repository presentation (#74) 2026-07-24 07:14:13 +03:00
workflows test: the class gates and the serial-lane contract 2026-08-15 19:02:02 +04:00
PULL_REQUEST_TEMPLATE.md Make contributor reviews agent-first and route-neutral 2026-08-14 10:00:05 +03:00