FV-01 validated · FORMALLY-VALID · [A]
phi=cot(theta/2), nu=tan(theta/2) imply phi*nu=1
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
Record · frontier, not finish
Frontier ledger
Projection of
CLAIM_STATUS.yaml only — 72 rows.
A kill is a move. Reach is not a term. This is not a complete ontology and
will not become one by filling the table. World contact accepted:
0. Machine copy:
frontier.json.
FV-02 validated · FORMALLY-VALID · [A]
(phi-nu)^2>=0 implies phi+nu>=2
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-03 validated · FORMALLY-VALID · [A]
B=2/(phi+nu)=sin(theta)<=1
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-04 validated · FORMALLY-VALID · [A]
phi=nu=1 uniquely maximizes B and minimizes phi+nu
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-05 validated · FORMALLY-VALID · [A]
log phi + log nu = 0; B=sech(s); H=2cosh(s)>=2
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-06 validated · FORMALLY-VALID · [A]
1 is the self-dual positive point
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-07 validated · FORMALLY-VALID · [A]
inversion fixes +1 and -1 and swaps the orbit {0, infinity}
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-08 validated · FORMALLY-VALID · [A]
Z minus {0} is not additively closed since (+1)+(-1)=0
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-09 validated · FORMALLY-VALID · [A]
the real projective line has real dimension one
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-10 validated · FORMALLY-VALID · [A]
no map from X to its power set is surjective
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-11 validated · FORMALLY-VALID · [A]
the unrestricted Russell class is not a set
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-12 validated · FORMALLY-VALID · [A]
the AND-class boundary conditions do not select a unique member
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-13 validated · FORMALLY-VALID · [A]
a locally pure gauge has zero local curvature
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-14 validated · FORMALLY-VALID · [A]
Fourier duality and noncommuting observables give the uncertainty principle
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-15 validated · FORMALLY-VALID · [S]
G7 = M4 disjoint-union F3 has exactly seven symbols by construction, never by nature
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-16 validated · FORMALLY-VALID · [S]
substrate stock falls by at least epsilon per unit time and the substrate-supported component of extractor power falls with it
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-17 validated · FORMALLY-VALID · [S]
higher-level constraints reweight lower-law-admissible trajectories and never manufacture forbidden ones
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-18 validated · FORMALLY-VALID · [S]
with the budget premise, full evaluated foresight leaves zero means and the node score is zero; without it, no such consequence
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-19 validated · FORMALLY-VALID · [A]
for any two ordered triples of pairwise distinct points of the complex projective line, a unique Möbius transformation maps the first triple pointwise to the second; two corresponding distinct source/target points leave a non-trivial one-parameter stabilizer (scaling after normalization); this forces three normalization constraints only in that named projective problem
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-20 validated · FORMALLY-VALID · [S]
the declared metric-gradient flow ds/dt=-2tanh(2s) has sinh(2s(t))=sinh(2s(0))e^(-4t) and converges to s=0; no physical F5 dynamics follows
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
FV-21 validated · FORMALLY-VALID · [A]
finite reachability is exactly the positive rationals, so sqrt(2) is in the state space but not finitely reachable; zero and infinity are approached boundaries, not finite attainments
Raise. Already formally valid inside the declared system. A raise would be a category error.
Kill. unrecorded
W0-CROWN open · NOT-WELL-POSED
optional creedal posture retained; no typed instantiation relation or modal/contact discriminator exists
Raise. unrecorded
Kill. unrecorded
W1 open · COMPONENT-SUPPORTED
model-relative finite reachability is defined and witnessed; physical/domain discrimination remains open
Raise. Freeze a real-domain state space, initial set, transformations, costs, bounds, and target before outcomes; derive at least one non-stipulated exclusion and a held-out consequence beyond relabelling what occurred.
Kill. No target is excluded except by stipulation, or the typed bridge predicts nothing unavailable to occurrence-as-reachability redescription.
W2 open · COMPONENT-SUPPORTED
decoherence is real; the integrated reading does not inherit it
Raise. Freeze state, dynamics, clock, instrument, context, horizon, and held-out record-order statistic; require an increment beyond the strongest matched native decoherence, histories, and timeless rivals.
Kill. The result is decoherence redescription, imports an interpretation, or adds no held-out record-order discrimination.
W3 open · OPEN-EMPIRICAL
Raise. unrecorded
Kill. unrecorded
W4 open · OPEN-EMPIRICAL
Raise. Validate independent commensurate cardinal scales, then compare the product with one-factor, additive, minimum, harmonic, and preregistered CES rivals on held-out evaluated work.
Kill. The scale contract fails or a rival predicts as well on the frozen held-out outcomes.
W5 open · OPEN-EMPIRICAL
Raise. Freeze a finite set of premise-satisfying systems and sample failures and disappearances as well as survivors; compare balance advantage against matched rivals.
Kill. No balance advantage remains under survivorship-free sampling.
W6 open · OPEN-EMPIRICAL
Raise. Freeze domains, matched alternatives, full bearer accounting, and long-horizon durability and warranted-trust outcomes; prefer observational or natural experiments.
Kill. The matched durability or warranted-trust increment fails across the preregistered set.
W7a open · OPEN-EMPIRICAL
Raise. Freeze a non-arbitrary D1-to-QCD map, recover an accepted QCD result, beat every row permutation, and predict a held-out QCD-specific quantity.
Kill. The map is only opposites-bind language, permutes freely, or fails native-theory recovery.
W7b open · OPEN-EMPIRICAL
Raise. Recover U(1) or Maxwell structure and a held-out electromagnetic-specific effect not inserted by hand, then beat every row permutation.
Kill. Generic graph or geometry language fits every force, or the native observables are not recovered.
W7c open · OPEN-EMPIRICAL
Raise. Select chirality and flavor-changing weak structure rather than quantum transition generally, recover accepted electroweak theory, and predict a held-out weak observable.
Kill. Strong or electromagnetic rows fit equally well, or no weak-specific increment exists.
W7d open · OPEN-EMPIRICAL
Raise. Recover general relativity and valid low-energy EFT without importing spacetime circularly, add a held-out boundary prediction, and beat row permutations.
Kill. Native recovery fails, valid EFT is excluded, or the construction presupposes what it claims to map.
W7e open · OPEN-EMPIRICAL
Raise. After a nontrivial native dynamics is fixed, show a D5-specific intervention effect beyond control, learning, evolution, and teleonomy, and beat every force-row permutation.
Kill. No independent dynamics, no incremental effect, free permutation, or retrocausality is required.
W8 open · COMPONENT-SUPPORTED
Raise. First separate represented future content from salience, demand, reward, memory, and expectancy; then require an independent D5 measure to beat rich D4 planning, search, model-based, and model-free baselines.
Kill. A fair-baseline null, unbounded all-timelines language, or dependence on physical coexistence of alternatives.
W9 open · COMPONENT-SUPPORTED
Raise. Separately manipulate persistent trace, carrier turnover, incentives, command, and environment; require all five markers including recurrent bias and visible substrate costs.
Kill. Any marker fails or carrier identity, incentives, direct coordination, or environment absorbs the effect.
W10 open · OPEN-EMPIRICAL
Raise. Establish causal lineage separation before counting; freeze inclusion and centre-plus-mirror coding, use blind coders and negative controls, then test a held-out lineage against transmission and selection-bias rivals.
Kill. Independence cannot be shown or recurrence does not beat the frozen null.
W11 open · DECORATIVE
the extra worldview claim does no work beyond ordinary algebra and mnemonic symbolism
Raise. unrecorded
Kill. unrecorded
W12 open · OPEN-EMPIRICAL
Raise. Compare the D6 stop-and-return instruction with a strongest belief-neutral fallibilist or defusion control on false closure, revisability, leaveability, burden, distress, and optional first-person reports.
Kill. No incremental discrimination, harmful pressure, compulsory mediation, or non-revisability.
W10-SPARK open · OPEN-EMPIRICAL
Raised as one [I] claim; splits into an [S] aim, a [C] mechanism and an untiered presupposition. Only the mechanism is open here. See 00_META/ADJUDICATION_SPARK_AND_COMPLETENESS_2026_08_13.md.
Raise. Once /record/frontier is served and reachable, materially higher engagement with the falsification register than with equivalent prose.
Kill. Surface served, reachable, and unengaged over a declared interval. The mechanism dies; the aim narrows to a publishing choice.
W0-COMPLETE open · NOT-WELL-POSED
Raised as [C]. Register equivocation on 'complete', not a conjecture. Sibling of W0-CROWN. Not a verdict that the creed is false.
Raise. unrecorded
Kill. unrecorded
RQ-01 investigations · OPEN-EMPIRICAL · [C]
Is there an instrument that can test the equator-transfer claim at all?
Raise. a design with survivorship-free sampling over premise-satisfying systems
Kill. no admissible instrument exists, in which case W5 is untestable and must say so
RQ-02 investigations · OPEN-EMPIRICAL · [C]
Does any real system instantiate a relational eta near zero as a witness?
Raise. preregistered search across candidate mutualisms with full bearer accounting
Kill. no candidate survives a bearer-complete audit
RQ-03 investigations · NARROWED · [C]
Is there any hypothesis set under which N=3 is forced?
Raise. exhibit hypotheses plus a proof, or prove a general no-go
Kill. neither a forcing result nor a no-go after honest search
RQ-04 investigations · NOT-WELL-POSED · [C]
Is there a non-trivial substrate-plurality claim that survives the martyr counterexample?
Raise. first define substrate, comparison unit, persistence horizon, and outcome under a new claim ID; only then can a matched comparison be admissible
Kill. the required types cannot be declared without changing the claim, so this row has no executable discriminator
RQ-05 investigations · OPEN-EMPIRICAL · [C]
Can lineage independence be established for any convergence datum?
Raise. historical and philological demonstration of causal separation before any counting
Kill. no separable lineage can be shown
RQ-06 investigations · OPEN-EMPIRICAL · [C]
Does the civilizational analogy yield a discriminator?
Raise. one held-out prediction the analogy makes that rival social science does not Freeze historical coding and rival typologies, then require one held-out prediction or classification increment from the named Rosetta features that rival social science does not supply.
Kill. no discriminator after an honest attempt No held-out increment survives blind coding, provenance review, and rival comparison.
RQ-07 investigations · NARROWED · [C]
Under what declared dynamics does the squared deviation tend to zero?
Raise. state a dynamics, derive the trajectory, then test it
Kill. no dynamics makes the trajectory non-trivial
RQ-08 investigations · NARROWED · [C]
Does any numeric overlay predict something not already known?
Raise. one held-out quantitative prediction from the overlay
Kill. no such prediction
RQ-09 investigations · NARROWED · [C]
Can REACHABLE be defined non-circularly?
Raise. a definition from declared initial conditions, allowed transformations, and finite or convergent resource bounds that excludes some target
Kill. no non-circular definition is found
TR-01 typed_survivors · FORMALLY-VALID · [A]
In their declared structures, projective inversion exchanges the two projective endpoints, the selected positive numeric midpoint is self-reciprocal, and the open reciprocal chart satisfies phi times nu equals one. These are numeric/projective facts, not Titan equations or identities.
Raise. unrecorded
Kill. unrecorded
DF-01 graves · FORMALLY-REFUTED
unification by derivation
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. four structural breaks recorded in `126_WELTANSCHAUUNG_FORMAL_AUDIT_2026_07_13.md` section 5
DF-02 graves · CATEGORY-ERROR
ethic-as-theorem
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. is-to-ought bypass by redefinition
DF-03 graves · EMPIRICALLY-REFUTED
seven-as-forced and Rosetta-as-universal
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. planetary confound; the cleanest witness carries the seven visible planets
DF-04 graves · FORMALLY-REFUTED
product-uniqueness as keel
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. FV-12: minimum instantiates the same zero boundary
DF-05 graves · CATEGORY-ERROR
phi*nu=1 as a conserved discovery
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. a coordinate identity read as a world law
DF-06 graves · EMPIRICALLY-REFUTED
the symmetric balance hump as empirical law
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. Munnell trough; the GFS study was retracted by its owner
DF-07 graves · EMPIRICALLY-REFUTED
the squid as an eta=0 witness
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. D. gigas is panmictic, semelparous, and weak-targeting
DF-08 graves · FORMALLY-REFUTED
literal D6 identical to D0
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. loop-as-equation fails: D6 and D0 are not identical, and no order, homeomorphism or physical recurrence relates them — only a boundary-role resemblance survives (`126_WELTANSCHAUUNG_FORMAL_AUDIT_2026_07_13.md` A3-5)
DF-09 graves · FORMALLY-REFUTED
forced Titan-3
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. FV-07: inversion fixes two points, not one
DF-10 graves · FORMALLY-REFUTED
force bijection
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. 117_FORCE_LADDER_FORMALIZED_07B.md and 117_PATH_D_NEGATIVE_RESULT.md show that photon and gluon share the free-field threshold, gravity has a separate graviton threshold, the massive weak vector supplies no fourth force-specific threshold, and Path D yields 0, 1, or 2 rays rather than Standard Model gauge structure; electroweak unification is supporting context, not the no-go by itself
DF-11 graves · FORMALLY-REFUTED
N=3 forced
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. explicit Z5 counterexample; the group lemma is false
DF-12 graves · FORMALLY-REFUTED
Godel universal lift
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. Presburger arithmetic and real-closed fields are complete and decidable
DF-13 graves · NOT-WELL-POSED
three substrates minimum
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. the signed universal minimum remains retracted; the martyr defeats a minimum of three organisms or independently embodied agents but is not by itself a proof about substrate cardinality, as corrected in 132_TOMBSTONES_HALAHALA_REAUDIT_2026_07_19.md
DF-14 graves · FORMALLY-REFUTED
universal frame/operand exclusivity for ordinary numbers
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. ordinary numeric identities are operands
DF-15 graves · CATEGORY-ERROR
convergence-as-proof
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. fifteen renderings of one shape are one datum, not fifteen confirmations
DF-16 graves · FORMALLY-REFUTED
extraction is irrational as a general Nash result
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. private side-payments break it outside Model A
DF-17 graves · NOT-WELL-POSED
civilizational physics
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. a conjecture-tier analogy asserted as physics; no discriminator was ever stated
DF-18 graves · NOT-WELL-POSED
dissolves the Hard Problem, is-ought, death, and free will
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. unfalsifiable frame-trick; mechanism asserted rather than shown
DF-19 graves · FORMALLY-REFUTED
ektropy and F5 as the teleological force
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. (phi-nu)^2 supplies no trajectory; a static inequality is not a dynamics
DF-20 graves · CATEGORY-ERROR
numeric coincidences as derivations
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. overlay is not derivation; the horn-torus and light-cone identification was killed by `151_HORN_TORUS_SR_FORMAL_AUDIT_2026_07_20.md`
DF-21 graves · FORMALLY-REFUTED
CC-CORE-1, the kernel-to-ethics warrant
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. the seam holds precisely off the catastrophe case, so it was never evidence for the multiplicative floor
DF-22 graves · PROCESS-DEFECT
Rosetta kill-criterion mislabel
Raise. Forbidden. Graves do not thaw. A weaker successor needs its own ID.
Kill. a fired falsifier was logged as a pass