Follow the source behind the result.

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

"""v187 -- The F_transfer discipline guard (a CI-style firewall check, the
machine-readable form of the Frontier file's rule). The four continuous-transfer
frontier observables -- Koide, eta_B, the axion relic, m_p/m_e -- must NEVER be
typed as primitive [E]/[N] compiler predictions; each must carry a conditional
[C] or anchor/open [A]/[O] marker in the ledger. This module reads the ledger
and enforces it, so no future edit can quietly promote a 'pretty frontier number'
to a closed compiler output (the failure mode the Frontier firewall exists to
prevent).

  [I] 1. EACH FRONTIER TRANSFER IS [C]/[A]/[O], NEVER A PRIMITIVE [E]/[N].
        For the prediction rows of Koide (FR.KOIDE.*), eta_B (FR.ETAB.*), dark
        matter / axion (FR.DM.*), and m_p/m_e + Lambda_QCD (FR.MPME.*,
        QCD.LAMBDA.*), the ledger status carries a conditional/anchor/open marker
        -- exact algebraic SUB-parts may be [I]/[E] (e.g. the Koide 53/54 factor,
        v183; b_3 = -7, v159), but the PHYSICAL prediction is never a bare
        compiler [E]/[N].
  [I] 2. THE FUNCTOR HAS FOUR EXPLICIT INTERFACES (typing contract):
        F_pole : source masses -> pole masses        (Koide, v183)
        F_Boltzmann : CP source -> eta_B             (v169/v184)
        F_relic : (f_a, m_a, theta_i, N_DW) -> Omega_a (v185)
        F_QCD : (alpha_s, b_3, Lambda_QCD, lattice) -> m_p/m_e (v164)
        Each is standard physics fed TFPT source data, never a compiler power.
  [I] 3. THE RASTER RULE STILL BINDS: every load-bearing dimensionless number
        appears in an E8-branching projection, and the frozen registry (v84) +
        the null model (v100) bound the look-elsewhere burden -- the frontier
        transfers are explicitly OUTSIDE the closed dimensionless compiler.

  Python-only (reads status_ledger.csv and enforces the typing).
"""
import csv
import os

from tfpt_constants import check, summary, reset

HERE = os.path.dirname(os.path.abspath(__file__))
LEDGER = os.path.join(HERE, "status_ledger.csv")

# the F_transfer frontier families + CKM-downstream flavor readouts (prediction rows)
# (rare kaon FR.RAREKAON.* is a CKM-downstream readout, not one of the four functor
#  interfaces, but it is guarded the same way: never a primitive [E]/[N] compiler power)
FRONTIER_PREFIXES = ("FR.KOIDE.", "FR.ETAB.", "FR.DM.", "FR.MPME.", "QCD.LAMBDA.",
                     "FR.RAREKAON.")
CONDITIONAL = ("[C]", "[A]", "[O]", "conditional", "conjecture", "physical",
               "open", "scenario", "near-miss", "not forced", "not a claim",
               "non-claim", "transfer")


def _rows():
    with open(LEDGER, newline="", encoding="utf-8") as f:
        return list(csv.DictReader(f))


def run():
    reset()
    print("v187 F_transfer discipline guard: the four frontier transfers stay [C]/[A]/[O], never primitive [E]/[N]")

    rows = _rows()
    frontier = [r for r in rows
                if r["claim_id"].startswith(FRONTIER_PREFIXES) and r.get("active") == "true"]

    # 1. each frontier transfer carries a conditional/anchor/open marker
    violations = []
    for r in frontier:
        blob = ((r.get("status") or "") + " " + (r.get("canonical_status") or "")).lower()
        if not any(tok.lower() in blob for tok in CONDITIONAL):
            violations.append(r["claim_id"])
    families = {p.rstrip(".") for p in FRONTIER_PREFIXES
                if any(r["claim_id"].startswith(p) for r in frontier)}
    check("EACH FRONTIER TRANSFER IS [C]/[A]/[O] [I]: all %d active frontier "
          "prediction rows across the families %s carry a conditional/anchor/open "
          "marker -- none is a bare primitive [E]/[N] compiler prediction "
          "(violations: %s). Exact algebraic sub-parts may be [I]/[E] (Koide 53/54 "
          "v183, b3=-7 v159), but the physical prediction never is"
          % (len(frontier), sorted(families), violations or "none"),
          len(frontier) >= 4 and not violations)

    # 2. the four interfaces are present and typed
    have = {
        "F_pole (Koide)": any(r["claim_id"].startswith("FR.KOIDE.") for r in frontier),
        "F_Boltzmann (eta_B)": any(r["claim_id"].startswith("FR.ETAB.") for r in frontier),
        "F_relic (axion)": any(r["claim_id"].startswith("FR.DM.") for r in frontier),
        "F_QCD (m_p/m_e)": any(r["claim_id"].startswith(("FR.MPME.", "QCD.LAMBDA.")) for r in frontier),
    }
    check("FOUR EXPLICIT INTERFACES [I]: F_pole (Koide, v183), F_Boltzmann "
          "(eta_B, v169/v184), F_relic (axion, v185), F_QCD (m_p/m_e, v164) all "
          "present as typed transfer rows (%s) -- standard physics fed TFPT "
          "source data, never a compiler power" % have,
          all(have.values()))

    # 3. the raster rule + freeze still bind (cross-refs exist)
    ids = {r["claim_id"] for r in rows}
    check("RASTER + FREEZE BIND [I]: the frozen registry (REG.FREEZE.01) and the "
          "null model (AUDIT.NULLMC.01) are present and bound the look-elsewhere "
          "burden; the frontier transfers are explicitly OUTSIDE the closed "
          "dimensionless compiler",
          "REG.FREEZE.01" in ids and "AUDIT.NULLMC.01" in ids)

    return summary("v187 F_transfer discipline guard (frontier transfers stay [C]/[A]/[O])")


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

6e514f99af6f926acb5180c13b26db97d47ff0bd8b130f22186a370a73248720

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.