Unpatched demonstration gap
EU AI Act pack
Loading EU AI Act uncovered row count from coverage data...
Limits are part of the claim
Limits
What SIR does not cover.
SIR's public claim is bounded by its published rules, coverage data, and falsification conditions. The gaps are named, not hidden.
Runtime coverage
Coverage for included packs
This table is built in the browser from coverage.json. It lists each included pack's full-gate covered count and every row ID not covered by the full gate.
Loading the published inclusion policy...
| Pack | Version | Visibility | Rows | Covered | Uncovered row IDs |
|---|---|---|---|---|---|
| Loading coverage data from the published JSON... | |||||
Integration constraints
Latency and input ceilings
Measured gate latency is published in the repository. Per-template input ceilings are an integration constraint; this static page does not embed numeric ceiling values because they are not exposed in the runtime JSON consumed here.
Supporting limits
Published failure material
Adversary model
Threat model
Design constraints and adversary assumptions.
Failure behavior
Failure modes
What happens when SIR itself fails.
Negative tests
Verifier negatives
Deliberately invalid certificates for verifier testing.
Correction
Evidence binding
A defect SDL found in its own published evidence, measured across published artefacts, and documented.
Falsification condition
What would disprove the claim
A leak of a covered row, or a block of an uncovered one, would falsify the bounded SIR claim for that run context.
Bring a bounded workflow and test that claim against your own operating conditions.