Follow the source behind the result.

The registered Python source is shown as text. Displaying it does not execute the code.

"""v188 -- the frontier-wording guard (a prose sentinel, no new physics). v187
protects the *ledger typing*; this guard protects the *prose*: it forbids stale
sentences whose semantics an earlier round superseded, so a frozen Zenodo release
can never re-introduce wording that was true yesterday and is only half-true
today. Each forbidden pattern records what superseded it. The guard PASSES when
none of the stale phrasings appear in the active documents.

  [I] FORBIDDEN STALE PROSE (must be absent from the active .tex set):
    1. "leptogenesis interface (\\mE)"  -> v184 retyped Route B to [C]
       (M_R is the seesaw scale, not a compiler power).
    2. "closed branch also fixes the leptogenesis inputs" -> same; the branch
       fixes the spectrum + a washout anchor, NOT the heavy scale.
    3. "relic scale $f_a,m_a$ open" -> v185 sharpened DM: the scales DEFINE the
       branch; what is open is the hilltop-sensitive relic abundance.
    4. "computed $Q=0.664$, ... near, not exact" -> v183 gave the 53/54 factor an
       exact operator origin; the summary must show that.
    5. "Suite now 187 modules" -> conflates count with ID; the count is 187 and
       the highest ID is v188 (v186 skipped).
    6. "Full quantum dynamics" -> standalone over-claim; the closure is the
       ADMISSIBLE physical sector, not the full ambient 4D theory.
    7. "Here is the complete solution" -> standalone over-claim; scope it to the
       admissible sector and state the ambient measure is not constructed.
    8. "64.36" (the old determinant-line axion mass 64.36 ueV / f_a~8.86e10 GeV)
       -> the SUPERSEDED small-angle (theta_i=phi0) reading; the current closed
       reading is theta_i=170.4 deg, f_a=M_scal/128~2.39e11 GeV, m_a~23.8 ueV.

  Python-only (text sentinel over the active documents).
"""

from tex_sources import source_chunks
from pathlib import Path
import os
import re

from tfpt_constants import check, summary, reset

HERE = os.path.dirname(os.path.abspath(__file__))
ROOT = os.path.dirname(HERE)

ACTIVE_DOCS = [
    "introduction.tex", "tfpt_1_architecture_e8.tex", "tfpt_2_standard_model.tex",
    "tfpt_3_e8_audit_bootstrap.tex", "tfpt_4_frontier.tex", "tfpt_5_redteam.tex",
    "tfpt_horizon_readouts.tex", "tfpt_research_contracts.tex", "origin_theory.tex",
    "changelog.tex",
]

# pattern (regex) -> what superseded it
FORBIDDEN = {
    r"leptogenesis interface \(\\mE\)":
        "v184 retyped Route B to [C] (M_R is the seesaw scale, not a compiler power)",
    r"closed branch also fixes the\s+leptogenesis inputs":
        "v184: the branch fixes the spectrum + a washout anchor, NOT the heavy scale M_R",
    r"relic scale \$f_a,m_a\$ open":
        "v185: f_a/m_a DEFINE the branch; the open item is the hilltop-sensitive relic abundance",
    r"computed \$Q=0\.664\$.{0,40}near, not exact":
        "v183: the 53/54 source->pole factor has an exact operator origin (F=R+Q corner)",
    r"Suite now 187 modules":
        "conflates count with ID: the count is 187 and the highest ID is v188 (v186 skipped); "
        "use 'has 187 modules, highest ID v188'",
    r"Full quantum dynamics":
        "standalone over-claim: the closure is the ADMISSIBLE physical sector, not the full "
        "ambient 4D theory; use 'Constructive QFT closure of the admissible physical sector'",
    r"Here is the complete solution":
        "standalone over-claim (gives reviewers free ammunition): scope it to the admissible "
        "sector and state the ambient measure is not constructed (G_metric frontier)",
    r"64\.36":
        "the determinant-line axion mass 64.36 ueV (f_a ~ 8.86e10 GeV) is the SUPERSEDED "
        "small-angle (theta_i=phi0) reading; the current closed reading is theta_i=170.4 deg, "
        "f_a=M_scal/128 ~ 2.39e11 GeV, m_a ~ 23.8 ueV (tfpt_4_frontier)",
}


def document_body(path: Path) -> str:
    """Read active prose, excluding the separate generated index/history.

    These reference appendices were not part of the former root-file guard;
    their historical quotations must not become current prose by expansion.
    """
    excluded = {(Path(ROOT) / "tex-artefacts/verification.tex").resolve()}
    history = (Path(ROOT) / "changelog.tex").resolve()
    if path.resolve() != history:
        excluded.add(history)
    return "".join(chunk.text for chunk in source_chunks(path)
                   if not excluded.intersection(chunk.include_chain))


def run():
    reset()
    print("v188 frontier-wording guard: stale prose must be absent from the active documents")

    texts = {}
    for d in ACTIVE_DOCS:
        p = os.path.join(ROOT, d)
        texts[d] = document_body(Path(p)) if os.path.exists(p) else ""

    all_present = all(texts[d] for d in ACTIVE_DOCS)
    check("ACTIVE DOC SET READABLE [I]: all %d active documents present and read "
          "(%s)" % (len(ACTIVE_DOCS), ", ".join(d.replace(".tex", "") for d in ACTIVE_DOCS)),
          all_present)

    for pat, reason in FORBIDDEN.items():
        hits = [d for d, t in texts.items() if re.search(pat, t)]
        check("STALE PROSE ABSENT [I]: /%s/ not in any active doc (superseded by: %s)%s"
              % (pat, reason, "" if not hits else "  --- FOUND IN: %s" % hits),
              not hits)

    return summary("v188 frontier-wording guard (stale prose absent from active documents)")


if __name__ == "__main__":
    raise SystemExit(1 if run() else 0)

89c8e3a589f551241915927d0f535c2039cf4827b9f87c6786fbb8b3edc033e2

The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.