Home / Frame-Internal / Tautological Tier (FT)

Frame-Internal / Tautological Tier (FT)

The Frame-Internal / Tautological Tier, abbreviated FT, identifies claims that follow from the framework's accepted definitions and premises under valid inference. Their warrant is the stated entailment. A claim's FT label records that commitment; the label does not establish that the derivation succeeds.

How frame-internal claims are checked

A reader can accept the frame and still expose an invalid inference, an equivocation, inconsistent premises, or a conclusion stronger than its premises support. This is internal criticism, explicitly retained by the kernel's §0.21. It can repair a derivation without discarding the framework.

For example, accepting the definition of binding lets a reader use its stated relationship between a primitive and regulated discrepancy. It does not establish every additional claim about controller timing, implementation, or performance. Those claims need their own grounds. A countermodel satisfying the premises while falsifying a purported consequence demonstrates a failed entailment.

Declining a premise or definition is another available move. It changes the frame being used and calls for explaining what capacities the alternative preserves or changes. The distinction between internal criticism and frame declension makes both productive: one improves an account within its commitments; the other evaluates or replaces those commitments.

Relation to the other marks

FT belongs to the Contestability Gradient alongside CV and AC. It remains Derived. A successful derivation can be precise and dependable while its premises, interpretation, and application remain explicit. Its mapping accuracy is assessed separately from its conditional validity.

Which claims live at FT

The Two-Axis Ledger places several load-bearing claims at FT. The axiom itself sits here — itself derived, accessed symbolically, contestable by declining the axiom or exposing internal incoherence. So do its four operational consequences (corollaries by inference), the Integrity Rule (the contrapositive of the Capability Rule), and the captured-propagation sub-result of the telos-exemption (a conditional valid only within its antecedent). The most philosophically loaded FT resident is the Telos's constitutive identification — a proposed frame-internal identification whose derivation must hold under its stated definitions and premises.

Why FT accuracy is a separate question

A valid consequence of stipulated premises does not by itself establish that those premises describe a particular situation accurately. Application requires checking that the situation meets the premises and that the chosen terms capture the relevant distinctions. The two marks preserve both achievements: sound inference and accurate mapping.

Formal status

E: Derived, Exposition of the FT tier. A: distinguishes valid entailment from an asserted tier label and from accurate application. The definitions and claims used in this exposition remain assessable. Provenance: the framework’s contestability distinction and kernel §0.21.