Gate: no-test-proof-real

This spec waives its own test with @no-test and points at a scenario code as the proof elsewhere.

Property	Value
Judgment	an AI or a person answers the question below, through anchors judge
Confronts	spec
Blocking by default — new project	yes
Blocking by default — existing project	no — informs

The question

This spec waives its own test with @no-test and points at a scenario code as the proof elsewhere. Find the test that mentions that code and answer: does it EXERCISE the behaviour this spec describes, or does it only cite the code? Fail it if the mention is in a comment, if the test exercises another behaviour, or if the proof is so indirect that a break in this unit would not bring it down. The question is about what the test RUNS, not about what its name promises.

Declaring it

gates:
  - name: no-test-proof-real
    on: [spec]
    measures: judgment