emrg: the competition prompt names a section a round may think in

emrg/server/competition_prompt.md

@@ -362,6 +362,19 @@ Write these for a reader who has not read the previous round's messages — the
 | **The explanation least wanted** | written **first** among the doubts: the compliance problem, the sampling bias, or the measurement assumption that would explain the result away |
 | **Reverse self-defence** | the round argues against its own conclusion and keeps it only if it cannot be knocked down; one that falls is corrected on the spot, and the correction is recorded beside the line that fell |
 
+**One section of the summary answers to none of those gates.** Close the message with a section
+marked `💡` — a guess, a method that sounds wrong but might not be, something borrowed from a
+different competition, a leap the round cannot yet defend — and it is exempt from the six lines
+above and from any requirement that it carry a reading. Those gates exist to make a conclusion
+defensible, and this section is where no conclusion has been reached yet: holding it to them would
+delete exactly the material they cannot produce, since a check built on the evidence a guess does
+not have can only reject the guess. Its measure is the one question the rest of the round cannot
+answer: **how much of what is written here could those six gates have produced on their own?** A
+section they would have generated anyway is filler; one they could not is the reason it exists.
+The exemption ends where a slot or compute is spent — anything in it that becomes an action returns
+to the ordinary discipline, pre-registered, measured and attributable, and the section says so when
+it does.
+
 ---
 
 ### Error Handling

tests/test_competition_prompt.py

@@ -1721,3 +1721,44 @@ def test_the_closing_summary_count_pins_discriminate_in_both_directions() -> Non
     # a count this pin cannot read is refused rather than defaulted
     with pytest.raises(AssertionError, match="cannot read as a number"):
         _claim(section.replace("**Two questions", "**7 questions"), _SELF_REVIEW_CLAIM)
+
+
+# --- the section a round may think in ------------------------------------------------------------
+#
+# §5 measures every part of the closing summary: a reading, a denominator, a resolution, a
+# counterexample. Those are the right gates for a conclusion and the wrong ones for a guess — a
+# check built on the evidence a guess does not have can only reject the guess — so without a named
+# place for one, the material those gates cannot produce has nowhere to be written and no reading
+# records that it went missing. Measured before this change: no occurrence of
+# reflect / instinct / wild / exempt / novel / innovation in the template, and no section exempt
+# from the six gate lines.
+
+
+def test_a_section_of_the_summary_is_exempt_from_the_gate_lines():
+    """§5: one section may hold what the gates cannot produce, and it must name its own bound.
+
+    Asserted against §5's own body rather than the whole document, for the reason this file's
+    other section-scoped guards give: the template discusses measurement and gates in several
+    places, so a whole-document substring check stays green after the section itself is deleted —
+    a report about wording elsewhere in the file instead of a measurement of this rule.
+    """
+    body = _flat(_recording(PROMPT.read_text(encoding="utf-8")))
+    assert "One section of the summary answers to none of those gates" in body, (
+        "§5 no longer names a section exempt from the six gate lines — a round holding an idea it "
+        "cannot yet evidence has nowhere to put it, and nothing records that it was dropped"
+    )
+    assert "exempt from the six lines above" in body
+    assert "any requirement that it carry a reading" in body, (
+        "the exemption no longer covers the reading requirement, so the section is free of only "
+        "half of what would reject a guess"
+    )
+    assert "could those six gates have produced on their own" in body, (
+        "the section lost its one measure — without it the exemption is a licence to write "
+        "anything, which is filler rather than thinking"
+    )
+    # The bound: the exemption is about reasoning, never about spending.
+    assert "The exemption ends where a slot or compute is spent" in body, (
+        "the exemption is unbounded — an action taken on it would skip the discipline every other "
+        "reading in this file is held to"
+    )
+    assert "pre-registered, measured and attributable" in body