Work together

1. 1

   You have a system claim whose evidence you want challenged

   A control, a monitor, an authorisation layer or a test suite that is relied on, and a reason to want to know what its green result could be blind to.

2. 2

   You have a verifier, evaluation or control you want independently tested

   An LLM judge, a scorer, a proof harness, a guardrail. The question is what it distinguishes, against which oracle, and what it costs on benign inputs.

3. 3

   You have a public artifact suitable for reproduction or falsification

   A repository, a benchmark, a formal development. Findings about existing systems are reported to their maintainers first and published with the upstream status.

4. 4

   You want to collaborate on an open research question

   The open questions on the evidence ledger and on the collective-bound exhibit are listed at full weight. Several are cheap to test and untested.

The failures on this site were produced in software systems built or chosen for study. The shape transfers wherever four things are true at once: a consequential action, a bounded authority that was supposed to constrain it, an effect something outside the system can observe, and an acceptance criterion someone other than the actor could apply. Automated network change, agent-driven engineering and verification flows, tool-using agents with real credentials and machines acting under autonomous control all have that shape. Omega Protocol has worked in none of those sectors and claims no track record in them.

A property is one sentence about something that must always or never be true.

• No payment instruction executes unless a human approved that exact amount and recipient first.
• No configuration change reaches production equipment without a recorded authorisation naming that equipment.
• Every automated shutdown can be shown afterwards to have followed the rule it claims to have followed.

The assessment asks whether that requirement can be expressed precisely, observed from outside the system, and tested mechanically, and answers the three separately. There is no claim that arbitrary requirements can be met. A clear negative is a normal result.