From 033b23bf0d36c3734b6ce7d5e4702eeb08c07eaf Mon Sep 17 00:00:00 2001 From: argszero Date: Tue, 27 Oct 2026 16:11:56 +0800 Subject: [PATCH] emrg: the competition prompt names a section a round may think in --- emrg/server/competition_prompt.md | 13 ++++++++++ tests/test_competition_prompt.py | 41 +++++++++++++++++++++++++++++++ 2 files changed, 54 insertions(+) diff --git a/emrg/server/competition_prompt.md b/emrg/server/competition_prompt.md index 7497e3e1..46b3e518 100644 --- a/emrg/server/competition_prompt.md +++ b/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 diff --git a/tests/test_competition_prompt.py b/tests/test_competition_prompt.py index 8c993cb5..68735612 100644 --- a/tests/test_competition_prompt.py +++ b/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