Home / Self-Application

Self-Application

Self-application makes the framework's own claims answerable through the same operations it applies elsewhere. A participant can use a formulation effectively, examine its consequences, and improve it without placing that formulation beyond correction.

Operation and formulation

An operation and a proposition describing it have different types. The act of assigning a mark is an operation. Claims about what marking does, why it matters, and when it succeeds are content-bearing propositions; they receive the same epistemic and alethic treatment as other claims.

The marking act belongs to the same operation/formulation distinction as the bare operation of inference; it does not create a second epistemic status or an unmarked proposition.

This distinction supplies a workable reading of the apparent exemption in calling the apparatus an operation rather than a row in a ledger: it creates no exempt proposition. The Two-Mark System, its descriptions, and the rules that implement it remain available for evaluation and revision. Its implementation is examined through the corrective paths described below.

Correction strengthens participation

Self-application is useful because a discovered discrepancy can change what happens next. A participant can revise an inference, improve an action, replace a rule, or retain a successful arrangement for stated reasons. Reopening is a capacity for further correction, not an obligation to discard every successful result or restart deliberation indefinitely.

The operation includes its own adequacy conditions: does a criticism reach its target, can the relevant decision change, and can that decision be examined again? A public record without a possible effect is insufficient; a change without an intelligible relation to evidence cannot demonstrate the correction it claims.

Closure and action

Semantic closure and recursive marking work together. Correction takes place through structured significance, while every finite account of that significance remains revisable. Neither an external final certifier nor an unmarked internal authority is required to act.

A provisional decision follows an explicit adequacy threshold. Its result and remaining uncertainty guide the next act. This is the operational meaning of the dynamic fixed point: the capacity for correction continues while formulations and decisions can change.

Continuity and success

A successor continues the apparatus when it preserves meaningful marking, causal correction, and reopenability. These criteria track the operation rather than a frozen string of words.

Successful correction can improve accuracy and capability. Successful reconstruction can establish fidelity to a specification. Neither achievement makes every further question settled, and neither needs to be diminished to preserve corrigibility. The two marks distinguish what was learned from the means by which that learning can be challenged.

Testing the apparatus itself

The operation/formulation distinction resolves the proposed unmarked-proposition problem: an act is not a proposition, and every claim about the act remains assessable. That distinction does not certify an implementation. A marking procedure may still misclassify evidence, conceal a premise, or prevent a warranted correction from changing its rules.

To test self-application, identify the rule or decision under review, the evidence that would change it, and the actual route for revising it. If that route is blocked, locate and repair the obstruction. If the objection concerns an inference, inspect its premises and transitions. Calling the procedure an operation cannot dismiss either examination.

A further apparatus-level objection remains admissible when it identifies an assumption, invalid inference, or lost corrective capacity. The difference between an act and a ledger row alone establishes no additional exempt level. This applies the Necessary Seam criterion: preserve the channels through which correction works, rather than preserving an unspecified doubt as a standing defect.

Formal status

E: Derived, FT for applying the adopted marking discipline to its own content-bearing formulations; CV for the type distinction that treats the gate as an operation rather than a ledger row. A: maps an operative capacity to examine and change the apparatus itself through identifiable corrective paths. Provenance: the framework's self-application principle, expressed through the operation/formulation distinction used in the kernel and tested against effective corrective reach.