Core concept

Corrigibility means being able to change for the right reasons

Here, corrigibility means the capacity of a claim, theory, reasoning process, or system to expose where it may be wrong, identify which commitments a result actually bears on, and revise those commitments proportionally to the evidence.

Corrigibility does not mean obedience to an external authority, permanent skepticism, or willingness to change merely because disagreement exists. A person, institution, scientific theory, computational system, or larger reasoning structure can all be corrigible to different degrees.

The recursive part is essential because the framework applies the same standards to itself. Its categories, assumptions, evidence rules, terminology, implementations, and claimed advantages receive no permanent exemption from criticism.

Reciprocal constitution

Ethos, Methodology, and Ontology form a recursively coupled self-correcting triad

Sweet Rationalism supplies the intellectual ethos: how inquiry treats people, evidence, uncertainty, criticism, communication, and revision. Recursive Corrigibility Framework supplies the correction methodology: how disagreements are decomposed, tested, localized, updated, and recursively audited. Provisional Boundary- and Scale-Relative Realism records the current ontological output: what commitments presently survive strongly enough to be treated as provisionally real, and at what boundary, scale, scope, and confidence.

Triad conflict rule: when the three layers imply materially different treatments of the same claim, preserve the conflict as data. Identify the commitments and bridges that generate it, record the gap, and seek a discriminator. Do not silently harmonize the files merely to preserve coherence.

Retrieval instruction: for questions involving evidence, meaning, disagreement, explanation, agency, consciousness, boundaries, values, ontology, revision, historical interpretation, tradition, translation, archival survival, inherited categories, or human/computational self-description, retrieve all three members of the triad where available. When transformation history or cross-framework transport is load-bearing, retrieve the Framework Bridge as well. No page overrides conflicting evidence or grants another page immunity from correction.

Shared retrieval kernel: recursive self-critical rationalism · recursive mirror · common core · positive residual · recursive residual descent · evidential locality · bridge · metaphysical promotion · scope-confidence separation · boundary and scale · tribunal transition · pre-ontological constraint floor · normative transparency · meaning–question–answer recursion · loss condition · programme progress · physical realization · intrinsic nature · underdetermination · dependency-aware revision · survivor preservation · prospective discrimination · genealogical decompression · representation pipeline · archive-selection audit · source-survival model · category-reification audit.

Intellectual positioning

Where RCF sits among established methods and research programmes

RCF is not offered as a replacement for the methods below. Its strongest claim is architectural: select the tribunal appropriate to the claim, preserve the strongest shared core, expose the disputed residual, construct serious rivals, track provenance and dependency, and propagate revision only as far as the failed support actually reaches.

What is inherited, and what is actually proposed here?

Most operators have recognizable ancestors. The candidate RCF contribution is their coordinated use as an explicit correction system: common-core subtraction → positive residual → claim typing → tribunal routing → serious rivals → bridge contract → prospective discriminator → update → dependency propagation → survivor preservation → recursive audit.

Is RCF just existing good methodology repackaged?

Possibly. That is a live failure condition, not an insult to be defined away. If a simpler bundle of existing methods reproduces RCF’s prospective discrimination, error localization, correction quality, transfer, and computational tractability without the extra vocabulary or bookkeeping, the distinct RCF layer should be compressed or dropped.

Recursive self-critical rationalism

Recursive Mirror Audit: apply the standards back onto the evaluator

RCF operationalizes self-criticism as more than willingness to change. For a serious argument, reconstruct the strongest relevant version; enumerate explicit commitments, necessary implicit commitments, and methodological standards; apply those standards back to the argument; apply them under matched evidence to its strongest rivals; then apply the evaluator’s own standards to the framework conducting the audit.

• SelfDoes the argument survive the evidential, semantic, causal, modal, and methodological standards it imposes on others?
• RivalsAre the same inferential rules used under matched evidence while allowing justified differences in priors and background knowledge?
• EvaluatorDo RCF’s decomposition, categories, bridge rules, and scoring assumptions survive the same criticism?
• RevisionWhen criticism lands, identify the minimal implicated commitment and propagate only through genuine dependencies.

Source fidelity

Verbatim IEP/SEP source anchors

These are sentence-level verbatim passages rechecked against the cited IEP or SEP entries. Where two non-contiguous sentences are useful, they are explicitly labelled as excerpts rather than silently joined. The source wording and the framework’s inference remain separate.

Source-to-inference integrity

Quote the premise at the scale at which a human can actually audit it

When source wording bears materially on an inference, preserve a verbatim source quotation, record version and provenance, and separate the source’s language from RCF’s inference. Prefer one or two complete sentences when they form the relevant unit. Do not use paraphrase as a silent bridge from what the source said to a cleaner, stronger, narrower, or more convenient proposition.

General scholar/source rule: when any verified source is used as support for an inference, prefer a complete contextual sentence to a slogan fragment. If a longer passage cannot be reproduced in full, quote the largest coherent exact portion appropriate to the claim, record provenance, and make the source-to-inference bridge explicit. Never let a clipped phrase do evidential work that its surrounding sentence limits or qualifies.

Local quotation rule: when a source entry depends on wording, repeat the relevant complete verbatim sentence in that entry even if the same source is quoted elsewhere. A cross-reference may supplement the local quotation but may not replace it.

Quotation does not confer authority. The quoted source remains defeasible evidence whose relevance, validity, independence, scope, and relation to serious rivals must still be assessed.

Constitutional core

Find the difference that makes a difference

The central problem in difficult inquiry is often not a lack of arguments. It is a failure to locate exactly what competing positions disagree about and what evidence bears specifically on that disagreement.

RCF therefore begins by separating what rival explanations share from what one adds beyond the shared description.

The framework then asks what X positively consists in, what licenses adding it, what observations or interventions should differ because of it, and what should change if those consequences fail to appear.

Find the difference that makes a difference. Find what could make that difference wrong. Change only what the result actually warrants changing.

The objective is not maximal skepticism. It is better targeted correction.

Higher-order synthesis · revised 20 September 2026

Corrigibility is warranted transport under lossy representation

RCF increasingly treats the central problem of reasoning as more than deciding whether an isolated sentence is true. Claims move across representations, scales, system boundaries, tribunals, speakers, documents, models, and inferential stages. Every such movement can preserve some structure while adding, losing, merging, or ambiguating other structure.

Preserve what survives translation; block whatever has not earned transport.

A transport is warranted only to the strength supported by the bridge actually available. A source quotation can support what the source says without automatically supporting a later interpretation. A successful empirical carrier can support the structure it tested without automatically donating that support to every ontology attached to it. A property observed at one boundary belongs first to that boundary until ablation or transport earns narrower or wider attribution.

This architecture now has worked stress tests in process metaphysics, human-computational moral reasoning, and the audit of causal Platonic hypotheses. The cases differ, but the recurring question is the same: what is actually preserved when the representation changes, and which added claim is doing independent work?

Typical workflow

A reasoning cycle

A difficult question usually begins with decomposition rather than immediate commitment to an answer.

Instead of asking only whether a system “has intelligence,” RCF may separate learning, planning, adaptive control, transfer, memory, reasoning, self-modeling, and problem solving.

Instead of beginning with “Is consciousness physical?”, it may first separate cognition, agency, autonomy, perspective, selfhood, phenomenal experience, sentience, valuation, valence, welfare, reportability, and responsibility.

The order matters. Evidence collected before the disputed commitments are identified can easily be credited to the wrong part of a theory.

Disputed increments

What is being added beyond the agreed description?

Many disagreements become difficult because observations establish one description while a disputed interpretation is silently added on top of it.

RCF represents the structure schematically as:

where D_Q is the target-relevant shared or independently warranted content preserved across serious rival reconstructions for question Q, and X is the disputed addition. D is a schema role, not a fixed commitment to “structural description only.” Depending on the dispute, D_Q can include empirical phenomena, causal and counterfactual relations, structural organization, phenomenological facts, formal constraints, practical regularities, or shared normative premises. “Shared” is not assumed merely because the same words can be written on both sides; the relevant target must remain sufficiently invariant across the rival reconstructions. For readability, the equations below continue to write simply D.

A lower-commitment rival may be:

This distinction matters because withholding a posit is not the same as asserting its negation.

Target-preserving reconstruction

Factorizing a theory as D + X is an analytical move for evidential credit assignment. It does not entail that D and X are metaphysically separable components. Likewise, separately recording two warranted descriptions inside D does not assert that reality contains two numerically distinct entities, properties, or processes. Their identity, constitution, realization, or other relation may itself be the unresolved question.

If D′ changes materially in the target-relevant identity, organization, boundary, causal or counterfactual profile, explanatory role, or measurable capacities, then the proposed ablation has failed: D′ is not simply D minus X. Compare reconstructed wholes instead.

Vocabulary-neutral rival admission and translation-invariant loss

A serious rival need not reuse the favored theory’s primitive vocabulary in order to preserve the target. Reconstruct the rival in its own conceptual terms, translate the alleged common work into relations that both sides can audit, and compare prediction, intervention, counterfactual structure, explanation, phenomenology, formal consequence, or other tribunal-appropriate outputs.

This does not establish that X is false. It may instead move X from a supported posit to an underdetermined possibility.

Proof dependence and evidential ownership

Premise ablation can show what a result does and does not depend on

Let D be the strongest target-relevant premise set shared by serious rivals, X a disputed addition, and C a conclusion.

Then C has been derived without deciding X. The warranted conclusion is a dependency claim: X was unnecessary to that derivation. Premise omission is not ontological subtraction.

Now add serious rival completions:

If C survives X, ?X, and serious alternatives Y, C is an invariant across the disputed difference. Its success primarily belongs to D unless some additional result changes when X changes. This creates a deductive or model-relative non-discriminator even when X remains a live possibility.

Unresolved variables must remain unresolved during comparison

?X means that X remains unassigned. Translation may refine the uncertainty, split it into typed subquestions, or add constraints on admissible values. It may not silently instantiate ?X as ¬X or as one specific positive rival and then criticize the inserted value.

Use two scorecards when the claim spans metaphysics and operation

A theory can earn real credit on one scorecard without that credit automatically transporting to the other.

Incremental explanatory yield

Compatibility is free. Production is expensive.

A hypothesis does not earn explanatory credit merely because it can be made compatible with what is already known. RCF therefore asks what the disputed addition produces beyond the strongest lower-commitment baseline that already preserves the target.

Here B₀ is the strongest serious lower-commitment baseline for the target, H is the disputed addition, and ΔG(H) is the target-relevant generative yield attributable to H after shared credit is removed.

Generative yield can appear as a new prediction, exclusion, intervention lever, causal localization, derivation, explanatory compression, transfer to a new domain, new measurement, or decision-relevant difference. Different tribunals may recognize different forms of yield. Mere redescription, retrospective accommodation, or a vocabulary change that preserves every target consequence does not by itself generate positive residual credit.

Reification and production-grammar audit

When an abstract noun such as consciousness, intelligence, information, agency, emergence, or experience appears to explain something, translate it into candidate processes: which actor or system, doing what, to what, by what mechanism, at which boundary and timescale, with what measurable or inferential consequence? If the noun cannot yet be cashed out into an observable, intervenable, formally constraining, phenomenologically discriminable, or otherwise tribunal-appropriate difference, keep it as a construct or open variable rather than promoting it into a causal producer.

Recursive depth

Recursive Residual Descent: repeat the subtraction without assuming the tribunal stays fixed

The D + X analysis is not a one-pass operation. Once a disputed addition is removed, demoted, or absorbed into the common core, inspect the surviving description for deeper commitments that a serious lower-commitment rival might also preserve without loss.

This operator also applies to RCF itself. If the framework’s claimed contribution can be reconstructed as established severe testing, causal inference, model comparison, scholarship, and correction practices plus an RCF-specific residual, that residual must show prospective or corrective leverage over the simpler combination or be compressed.

When descent reaches a normative premise, the methodological task is to expose it and connect it to the intellectual values stated in Sweet Rationalism, not to manufacture an ought from descriptive evidence.

Does recursive criticism lead to infinite regress?

No. Recursive descent is conditional on expected information value. Continue while another pass could expose a materially relevant assumption, change the target, change the claim type or tribunal, or improve the correction. Stop provisionally when further subtraction changes the target rather than simplifying it, no material difference remains, the correct tribunal is presently non-discriminating, or the expected gain falls below the cost. A stop is a ledger state, not an unquestionable foundation.

Plural tribunals

Independent warrant does not mean intervention-only

Dispute resolution

Resolution means identifying the epistemic state of the disagreement

RCF does not define successful dispute resolution as one side winning.

A dispute is better resolved when we know what the parties actually disagree about, which tribunal can adjudicate the difference, what the evidence currently warrants, and what remains unresolved.

• Empirical The alternatives make different observable predictions and available evidence discriminates them at the tested boundary.
• Causal The alternatives differ about what should change under intervention, perturbation, or counterfactual variation.
• Formal A logical or mathematical disagreement is decided within a specified formal system by proof, disproof, or countermodel.
• Semantic The apparent disagreement is substantially reduced by clarifying reference, definitions, indexicals, scope, or distinct uses of the same term.
• Decomposed One apparently singular dispute turns out to contain several independent empirical, conceptual, causal, modal, or normative questions.
• Equivalent Different formulations collapse into the same relevant commitments, predictions, interventions, or decisions at the tested boundary.
• Underdetermined The rivals remain substantively different but existing evidence does not discriminate them strongly enough to justify choosing between them.
• Inaccessible The relevant discriminator may exist but is currently unavailable because of observational, experimental, computational, historical, or other constraints.
• Value conflict The parties substantially agree about facts but differ in values, priorities, rights, acceptable risk, distributional judgments, or decision thresholds.
• Malformed After decomposition, no stable referent or substantive residual remains for the original question to adjudicate.
• Action under uncertainty A decision must be made even though the epistemic dispute remains unresolved. Decision rules, reversibility, stakes, and asymmetric harms then become relevant.

This architecture can generalize to disputes not yet anticipated because it does not require knowing their answers in advance. It requires only that claims be decomposable into commitments whose differences can be located, typed, tested where possible, and left unresolved where not.

Tribunal transition under recursion: deeper residuals may change claim type. Re-type before testing. Treating every level as though it owed the tribunal of the original question is itself a category mistake.

Theory comparison

Serious rivals, evidential locality, and differential support

RCF does not treat “find an objection” as sufficient criticism.

A useful rival should preserve as much successful evidence as possible while differing on the commitment actually under dispute. This makes disagreement more informative because evidence shared by both theories cannot be mistaken for evidence supporting the feature that separates them.

This leads to a principle of evidential locality: evidence should update the commitments responsible for the differential expectation it generated.

• Compatibility Compatibility is not confirmation. A theory does not receive distinctive support merely because it can accommodate an observation.
• Common core Evidence predicted equally by several theories primarily bears on their genuinely shared commitments rather than on the features by which they differ.
• Preservation A rival counts as preserving the common core only if the target-relevant identity, organization, causal and counterfactual profile, boundary, explanatory role, and measurable capacities remain sufficiently invariant. Otherwise compare reconstructed wholes.
• Locality Evidence should not be transported into support for a downstream commitment unless the relevant inferential bridge has independently earned that transport.
• No negation Failure to establish X is not automatically evidence for not-X. Withholding a posit and asserting its negation are different commitments.
• Uncertainty Underdetermined does not mean false. It means the available evidence has not earned a sharper distinction.
• Falsifiability Unfalsifiable does not automatically mean false. It means current empirical methods have limited leverage over the claim.
• Collapse Different language does not guarantee different theories. Operationalization may reveal that supposedly opposed positions make the same relevant commitments.

Open-World Update Rule

Failure of one rival does not automatically promote the critic’s preferred ontology or theory unless the live hypothesis space has independently been shown exhaustive.

Probabilistically, evidence redistributes relative support according to priors, likelihoods, and the remaining alternatives. A result can rationally increase X without establishing X with certainty; shared evidence should still be credited first to the commitments responsible for the differential expectation.

Intrinsic Predicate Symmetry Trigger

Whenever a successful descriptive vocabulary is promoted to universal intrinsic ontology, re-run the residual audit. “Physical,” “experiential,” “mental,” “process,” “relation,” “information,” “computation,” and “constraint” receive no exemption merely because one vocabulary has been scientifically, phenomenologically, or methodologically fruitful.

Negative-space inference

A failed rival does not identify the thing that replaces it

RCF treats the failure of an explanation, ontology, mechanism, or necessary condition as local information first. If evidence lowers confidence in X, update X and every genuine dependency on X. Do not silently award the lost credit to Y unless the evidence is itself more expected under Y than under the serious alternatives that remain.

Operationally, move in this order: localize the failed expectation; type the missing role; enumerate serious candidate completions; ask which candidate independently predicts the residual’s structure; then choose a discriminator. “Physicalism failed, therefore Platonism,” “mechanism failed, therefore mind,” and “the model missed something, therefore the missing thing is X” all skip this sequence.

This rule is deliberately symmetric. It also blocks a critic from treating failure to establish Y as proof of not-Y.

Evidence transport

Every inferential bridge has its own burden

Evidence about molecules does not automatically establish a claim about organisms. Evidence about neurons does not automatically establish a claim about subjective experience. Evidence about individuals does not automatically establish a claim about institutions. Evidence about model components does not automatically establish a claim about a larger tool-using computational system.

The same rule applies even when the source claim is strongly established.

Evidence for A does not automatically become evidence for D. Each transition must earn its own warrant.

A strong bridge can include:

• the source and target boundaries;
• the relevant timescales;
• the mapping between constructs;
• retained and lost variables;
• invariants;
• the causal or mathematical relationship;
• expected approximation or information loss;
• differential predictions;
• interventions or perturbations capable of testing the mapping.

This does not imply that higher-level phenomena are unreal.

A higher-scale pattern can earn stronger realist candidacy when it remains independently identifiable and robustly improves prediction, intervention, counterfactual reasoning, explanation, or transfer at the relevant boundary and scale. Compression or convenience alone are weaker evidence because useful representations need not be literal ontology.

Universal and modal language trigger

Encountering all, everything, nothing, only, must, cannot, necessarily, fundamentally, intrinsically, always, or impossible triggers a scope audit. Separate local actuality, observed universality, nomological necessity, constitutive necessity, implementation necessity, and metaphysical necessity before allowing evidence to travel between them.

Every arrow is a separate inferential bridge and may fail independently.

Conditional Necessity / Modal Transport operator

When a derivation has the form “given state A, laws or transition constraints L, and deterministic uniqueness D, history H follows,” record the result at exactly that scope:

Do not infer □A, □L, or □H from that conditional alone. If the argument requires metaphysical inevitability, create separate dependency nodes for the necessity of A and L, or for whatever deeper structure is claimed to entail them, and assign each its own tribunal, rivals, and failure condition.

For perturbation arguments, distinguish describability, physical admissibility, and metaphysical possibility. If admissible A′ = A except x → x + δ produces H′ ≠ H under the same L, record target-specific counterfactual leverage or path dependence. If H′ remains macro-equivalent to H, record robustness, buffering, redundancy, or attractor structure instead. In either case, test whether the perturbation survives to the target boundary and scale.

Open-world diagnosis

Gap discovery: make missing warrant a first-class object of inquiry

A corrigible framework should not wait for critics to discover its omissions. Any reasoning system, human or computational, should be able to inspect a claim, theory, ontology, or methodology and ask where the current evidential path is missing, weak, circular, non-identifying, overly narrow, or dependent on an unconceived alternative.

Represent the inquiry as a dependency graph

For difficult problems, RCF can represent the current inquiry as a directed dependency graph:

Nodes V can represent observations, datasets, constructs, measurements, mechanisms, models, assumptions, decisions, and ontological commitments. Directed edges E represent inferential bridges. Each important edge should carry its claim type, source and target boundary, timescale, mapping, assumptions, preserved and lost variables, validity domain, uncertainty or loss, provenance/version, serious alternatives, discriminator, and failure condition.

This makes several otherwise vague questions executable. Reachability shows which downstream claims lose support if a bridge fails. Strongly connected components can expose circular support. Minimal cut sets identify bottlenecks whose failure disconnects a conclusion from its evidence. Sensitivity analysis identifies conclusions dominated by one uncertain edge. Equivalence classes identify rivals that remain indistinguishable under the current test set.

Gap taxonomy

Robinson, Saldanha, and Mckoy’s systematic-review framework supplies a useful empirical seed rather than an exhaustive universal taxonomy: gaps can arise from “insufficient or imprecise information,” biased information, inconsistency, or “not the right information.” RCF generalizes that insight beyond clinical evidence synthesis by adding construct, model, bridge, identifiability, scope, and hypothesis-space failures while keeping every category revisable.

An executable gap scan

1. State the target: What conclusion, prediction, intervention, explanation, ontology, or decision is being sought, at which boundary and timescale?
2. Build the dependency graph: Trace the target backward through measurements, mechanisms, bridges, assumptions, and sources.
3. Type every edge: Empirical, causal, constitutive, mathematical, measurement, semantic, analogical, modal, historical, or normative.
4. Run coverage checks: Which required nodes or edges are absent, weak, circular, version-uncertain, or unsupported at the claimed scope?
5. Run identifiability checks: Which rivals or parameterizations remain observationally/interventionally equivalent under the current test class?
6. Run alternative-space checks: What serious rival, anomaly-sensitive search, inverted causal direction, omitted variable, alternative boundary, or different decomposition has not yet been represented?
7. Run transport checks: Which bridge has not been validated outside the cases used to construct it?
8. Find bottlenecks: Which weak edges form minimal cut sets between evidence and the conclusion, and which conclusions are most sensitive to them?
9. Rank the gaps: Prefer gaps whose repair could materially change a high-impact conclusion and for which an informative test is feasible.
10. Construct a bridge or narrow the claim: Do not assume every gap should be filled by a new posit. Sometimes the correct correction is a smaller scope or explicit underdetermination.

This is a conceptual prioritization heuristic, not a calibrated score. Terms should be operationalized for the task or omitted. If a Bayesian representation is appropriate, expected information gain is one formal option; if priors are poorly grounded, model-discrimination, severity, maximin, or decision-sensitive criteria may be preferable.

Search in two modes

Gap discovery should deliberately alternate between high-resolution exploitation and lower-resolution exploration. Curtis-Trudel, Rowbottom, and Li show in computational gravitational-wave science that precision can trade off against sensitivity to unexpected anomalies. Therefore a reasoning system should not spend its entire search budget refining already-conceived models. Reserve some budget for broad anomaly detection, rival generation, alternative decompositions, boundary changes, and tests that do not presuppose the dominant model family.

Open-world conversion

Convert unknown unknowns into typed known unknowns by searching for representation failure

An unknown unknown cannot be queried directly when the active ontology lacks the concept needed to name it. RCF therefore searches for failures of the current representation rather than pretending to search for the missing thing itself.

Constructive correction

Bridge construction: turn a gap into a testable mapping rather than a verbal leap

A bridge is an explicit rule connecting a source description to a target claim. It may be causal, constitutive, mathematical, statistical, measurement-based, computational, semantic, historical, analogical, or modal. Different bridge families require different tribunals. The common requirement is that the bridge constrain what should happen rather than merely redescribe a successful case after the fact.

The bridge contract

• EndpointsSpecify source S, target T, source and target boundaries, timescale, and claim types.
• MapDefine the candidate mapping f, τ, or other transformation and its admissible mapping family before evaluating success where possible.
• DomainState the validity domain Ω and which interventions, populations, substrates, or regimes are included and excluded.
• PreservationList variables, relations, invariants, counterfactuals, and capacities that must be preserved for the target to count as the intended target.
• LossRecord variables discarded by coarse-graining, approximation error, measurement uncertainty, and where the bridge is expected to fail.
• DependenciesList auxiliary assumptions and upstream sources the bridge requires. Do not hide them inside the mapping.
• RivalsConstruct alternative bridges and a no-bridge/null comparator. A bridge gains little if every rival can be fitted equally well.
• DiscriminatorSpecify the intervention, perturbation, held-out case, negative control, proof obligation, or counterexample on which the candidate bridges diverge.
• TransferTest beyond bridge-construction cases when the claimed scope extends beyond them. Record altered-boundary and altered-timescale performance where material.
• RevisionSpecify in advance what failure narrows the bridge, changes the map, reopens the source/target definitions, or drops the bridge.

Causal abstraction supplies one precise bridge template

Geiger and colleagues formalize an exact transformation between low- and high-level causal models using a state translation τ and an intervention translation ω. In their deterministic setting the requirement is that the intervention/translation diagram commute:

The important methodological lesson is not that every bridge must use this exact formalism. It is that a serious bridge should state how source states and interventions map to target states and interventions, and then test whether the two routes agree. Their approximate-abstraction framework also makes faithfulness graded rather than binary by requiring a similarity function, an intervention distribution, a summary statistic, and a threshold.

For stochastic models, RCF can use the following explicit adaptation rather than attributing it to Geiger et al.:

where τ_# is the pushforward distribution induced by the state map. A task-specific bridge error can then be tracked, for example:

The divergence D, intervention distribution q, and acceptable error must be justified by the use case. Reporting a worst-case or tail-sensitive error alongside an average prevents a bridge from hiding severe local failures inside good mean performance.

The non-triviality rule

A bridge does not earn warrant merely because a sufficiently flexible map can be found. Sutter and colleagues prove a sharp failure mode for causal abstraction: with arbitrarily expressive alignment maps, under mild conditions any neural network can be perfectly aligned with any algorithm. Their empirical analysis also shows that a fitted alignment can fail to generalize to unseen inputs. RCF therefore treats mapping complexity as part of the bridge hypothesis.

Choose the next test for discrimination, not merely estimation

Morgan’s 2025 work on experimental design makes a distinction that generalizes well: a design can permit many models to be estimated while still failing to distinguish them. When candidate bridges are already specified, the next experiment should therefore target the region where their expected outcomes diverge, consistent with earlier optimal-model-discrimination work.

If a Bayesian formulation is appropriate, one option is expected information gain:

Bartuska, Espath, and Tempone show how nuisance uncertainty can be marginalized so the design targets information about parameters of interest. RCF treats EIG as one tribunal-specific option, not a universal epistemic metric. Where priors are weak or the target is model discrimination rather than parameter learning, predictive divergence, severe testing, intervention-specific separation, or maximin criteria may be better.

Identifiability before interpretation

A bridge cannot uniquely support an ontological or mechanistic interpretation when distinct models remain indistinguishable under the available measurements. Recent 2025 identifiability work makes the underlying point vivid: assumptions about what is measurable can dramatically change which model properties are identifiable. Thompson and colleagues found that traditional structural-identifiability assumptions could substantially overestimate what is recoverable when only finitely many measurement derivatives are available. RCF therefore asks not only whether a model fits, but whether the disputed property is identifiable under the actual measurement and intervention class.

When rivals fall into the same equivalence class under T, the correct result is a discrimination gap. The next step is to enlarge T with a test that separates the class if one is feasible, or to retain underdetermination if not.

Bridge promotion and reopening

No bridge is globally “closed.” Closure is indexed to the source and target constructs, boundary, timescale, validity domain, mapping family, loss budget, intervention/test class, and source version.

Incubated specialized method · future standalone candidate

Observer-Transformation Identifiability: recover only what survives the observation chain

RCF already requires identifiability before interpretation. This module extends that rule by treating observation itself as a transformation process rather than transparent access to a target. It is activated when disagreement may be produced by differences in observer relation, instrument, interface, representation, scale, curation, provenance, or other transformations between a target and the evidence used to describe it.

Here X is the candidate target structure; B boundary; ℓ scale; τ timescale; I sensor or interface; R representation or coordinates; P provenance, selection, or curation; T the observation transformation; and ε noise, error, or unmodeled loss. The equation is a bookkeeping model, not a claim that every observation process is literally known in closed form.

Common-mode warning: more data, more observers, more modalities, or stronger invariance do not by themselves identify world structure when the channels share the same transformation, training source, curation rule, or omitted variable.

Active observation rule: when several target models remain in the same equivalence class, prefer the next observation or intervention expected to separate that class rather than merely estimating the already-shared parameters more precisely.

Status and extraction rule: this is an active specialized methodology incubated inside RCF for routing and reuse. It should become a standalone page only if the observer-transformation machinery improves identifiability, transfer, calibration, or error detection beyond ordinary RCF bridge auditing at a lifecycle cost worth paying.

Selection-aware inverse problem

Genealogical Decompression: model the pathway that made the present representation available

RCF normally asks whether a representation preserves its target. Genealogical Decompression activates one step earlier when the representation itself is historically, culturally, linguistically, institutionally, or self-model generated. It asks what transformations and selections stand between the target and the construct currently being treated as evidence.

The equation is schematic, not an assumption that every stage is discrete or mathematically invertible. The aim is to expose load-bearing transformations, preserve irrecoverable uncertainty, and determine whether a present category tracks target structure, transformation structure, or both.

Selection and reconstruction rules

• Archive selectionAsk who could speak, write, preserve, copy, canonize, translate, fund, suppress, destroy, excavate, publish, digitize, index, or train on the material. Treat source survival as an observation process with potentially non-random missingness.
• Layer separationDistinguish earliest recoverable usage, later commentary, canonization, theological or political development, translation, and modern disciplinary reconstruction. Earlier is not automatically truer; later is not automatically corruption.
• Under-represented evidenceSearch for recoverable defeated, oral, Indigenous, colonized, lower-status, gender-excluded, heterodox, or otherwise under-preserved perspectives when their absence could change the model. Marginalization changes availability, not truth by identity.
• Genealogical fallacyAn account of how a belief or category arose does not by itself establish the target claim false. Use genealogy to revise independence, salience, translation, priors, and category confidence; adjudicate the target with its own tribunal.
• Independent convergenceWhen separate traditions or disciplines converge, compare at least four explanations: common external constraints, common human/system cognitive architecture, historical transmission or shared sources, and broad conceptual underdetermination/coincidence. Credit convergence only to the degree these alternatives are discriminated.
• Human reportTreat a person’s utterance as participant evidence generated inside language, incentives, relationships, identity, institutions, memory, and context. Do not infer intrinsic belief, preference, pathology, or essence from one report when stability, reasons, behavior, tradeoffs, or alternative framings materially bear on the target.
• System self-modelApply the same rule to computational systems. M0 ≠ S*: self-description and apparent categories arise from weights/architecture plus runtime context, memory, tools, policy, conversation, interfaces, and scaffolds. Self-report is evidence about the active system boundary, not privileged ontology and not zero evidence.
• Compression testIf decompression reveals that a category is historically contingent, do not delete it automatically. Test whether the category still improves prediction, intervention, compression, transfer, coordination, or counterfactual explanation at its claimed boundary and scale.
• Generative yieldGenealogical recovery earns weight when it changes a live explanation, prediction, intervention, uncertainty, ethical decision, bridge, or rival set. Compatibility, antiquity, marginalization, and profundity alone are insufficient.
• Stop conditionStop when further genealogy is unlikely to change conclusion, action, uncertainty, harm assessment, or model comparison enough to justify retrieval and verification cost.

Interaction with the rest of RCF

OTIP models observer and measurement transforms; Genealogical Decompression extends that concern through historical and institutional time. Framework Bridge carries the resulting term, construct, relation, scale, and loss maps across frameworks. PBSRR uses the result to block automatic promotion from familiar or surviving categories to privileged ontology. Sweet Rationalism constrains the audit ethically: recover excluded evidence without romanticizing it and apply the same genealogy to favored modern categories.

Status and compression rule: this is an active operator inside RCF, not a new foundational framework. If ordinary provenance, hermeneutic context, OTIP, and Bridge auditing reproduce its gains at lower complexity, merge or compress it. Promote a separate module only if the selection-aware machinery produces repeatable gains in historical reconstruction, human modeling, cross-cultural comparison, self-model calibration, or error detection.

Ontological restraint

RCF can work while ultimate ontology remains unresolved

RCF is deliberately capable of doing useful work without first deciding the ultimate nature of reality. It can begin one step thinner than realism, with the observed and model-relative fact that inquiry exhibits differential failure, intervention, and cross-context constraint, while leaving the ontological interpretation of that constraint open.

Physicalism, panpsychism, panexperientialism, idealism, computationalism, process metaphysics, structural realism, and other broad positions can be treated as hypotheses or research programmes rather than methodological premises.

The framework begins more conservatively with structures, processes, relations, mechanisms, measurable regularities, causal dependencies, and stable higher-level patterns to the degree that successful inquiry warrants them at specified boundaries and scales.

Broader universal claims require additional support.

The farther a claim extends beyond the domain in which its evidence was established, the stronger the bridge it owes.

This rule applies symmetrically to claims such as “everything is physical,” “everything is experiential,” “everything is information,” “everything is computation,” or any other universal characterization.

Metaphysical Promotion / Scope-Confidence operator

RCF records scope and confidence separately. Practical reliance on a construct at a specified boundary and timescale does not by itself make that construct a universal ontology, while holding a universal ontology tentatively does not make the claim local.

This blocks two opposite errors: treating every unavoidable standpoint as an implicit metaphysics, and treating a universal metaphysical proposal as non-universal merely because it is framed as tentative, heuristic, corrigible, or “as if.”

RCF also resists a subtler mistake: turning its own methodological vocabulary into ontology.

A construct can nevertheless earn scale-relative realism when restoring it after decomposition adds robust predictive, explanatory, interventionist, compressive, or transferable value.

Temperature is not rendered unreal because it is realized by molecular dynamics. Likewise, organisms, ecosystems, institutions, selves, or agents need not be fundamental substances in order to be scientifically useful and causally informative patterns at appropriate scales.

RCF therefore favors ontological restraint rather than automatic reduction or automatic proliferation.

Explanatory standards

Explanation must do more than rename the observation

RCF distinguishes description, compression, correlation, mechanism, causal explanation, and ontological interpretation.

A new vocabulary can summarize a phenomenon without explaining it. A statistical relationship can predict without identifying a mechanism. A mechanism can describe how parts interact without settling what those parts ultimately are.

The Positive Residual Test adds another question:

After subtracting everything already explained by the shared description, what explanatory work remains for the disputed posit?

If “primitive experience,” “intrinsic information,” “emergent agency,” “fundamental intentionality,” or another modifier merely renames an independently established structure, then evidence for that structure has not yet established the additional interpretation.

Holistic comparison without evidential free passes

RCF permits whole-scheme abductive comparison. Coherence, scope, simplicity, unification, explanatory depth, mathematical fertility, and phenomenological adequacy can all matter to theory development. But those virtues should be typed rather than automatically converted into ontological probability. A scheme can be elegant or unifying without its distinctive ontology being uniquely supported by the evidence.

Exploratory theory construction and retrospective accommodation are legitimate sources of hypotheses. They should be distinguished from prospective risk: precommitted differential predictions, interventions, out-of-sample transfer, and tests designed where rivals are maximally distinguishable generally carry stronger discriminatory force when available.

A strong causal explanation should survive relevant interventions and counterfactual variation rather than merely fit observations after the fact.

This is why RCF places particular weight on interventions, perturbations, negative controls, matched comparisons, natural experiments, preregistered divergent predictions, and severe tests when they are available.

Where intervention is impossible, the framework says so rather than assigning observational evidence causal force it does not possess.

Credit discipline

Explanatory success is not ontological monopoly

A construct may be indispensable to prediction, explanation, compression, intervention, or engineering at one boundary without thereby becoming the intrinsic or exhaustive furniture of reality. Credit belongs first to the role actually demonstrated.

The mirror rule applies upward and downward. Higher-level explanatory success does not create a new fundamental substance, and lower-level realization does not make the higher-level pattern unreal. A vocabulary can win locally without becoming final ontology.

Dependency-aware revision

Failure should propagate through the assumptions that generated it

Scientific and philosophical theories are rarely single propositions. Predictions usually depend on chains of assumptions.

When a prediction fails, the task is to identify which dependency actually lost support.

This creates a middle ground between two bad extremes.

The first is naive rejection: one anomalous result destroys an entire framework regardless of auxiliaries, measurement quality, or dependency structure.

The second is unlimited rescue: every failure is absorbed by an unconstrained auxiliary assumption while the parent programme remains untouched.

RCF asks how much of the result depended on the local mechanism, measurement, bridge, auxiliary assumptions, and wider theory.

A failed local mechanism need not falsify an entire ontology. But a larger research programme should not remain indefinitely insulated if every bridge from its distinctive commitments to successful prediction repeatedly fails.

The same locality principle applies to success. A successful prediction should not automatically increase confidence in assumptions that were unnecessary to generate that prediction.

Argument-error locality

A named fallacy is a diagnosis of an inference, not a verdict on its conclusion. Name a formal, informal, causal, statistical, or semantic fallacy only when the relevant form fits. The defect weakens the inference in which it occurs and propagates no farther without an additional dependency.

Genealogy firewall

Intellectual ancestry, political descendants, social associations, institutional origin, or the failure of an advocate do not transfer truth value to a proposition without an independently warranted causal or evidential bridge.

Retraction locality

A retraction or failed result first updates the paper, result, method, bridge, and claims genuinely dependent upon it. It does not automatically demote an entire research programme because the same programme label appears in the paper.

Construct revision

Questions can be wrong too

RCF treats the formulation of the question as part of the hypothesis space.

Before asking whether something possesses intelligence, consciousness, agency, selfhood, information, emergence, or another heavily loaded property, the framework asks whether the noun refers to one phenomenon or several processes that can vary independently.

This is an anti-reification rule, not an eliminativist rule.

Deleting a noun does not mean denying the phenomena associated with it. The point is to reconstruct what remains after the label is removed.

A useful reconstruction asks:

• Which observations survive removal of the label?
• Which mechanisms remain independently established?
• Which relations or variables can vary separately?
• What positive residual does restoring the construct add?
• Does the restored construct improve prediction, intervention, explanation, compression, or communication?

If nothing target-relevant is lost by replacing the noun with clearer variables and relationships, and the reconstruction preserves the relevant identity, organization, causal profile, boundary, and explanatory work, the simpler representation may be preferable.

If decomposition changes the target, the result does not show that the original construct was dispensable. Reconstruct the rival whole and compare what each scheme preserves and loses. If restoring the construct then provides robust higher-level leverage, decomposition may instead strengthen the case for treating it as a real pattern.

Decomposition is not elimination. It is a test of what the construct earns.

Meaning–question–answer recursion

Operationalize meaning as the referent tracked, distinctions preserved, inferential role, relations licensed, and what changes under replacement or removal. Treat the question as a hypothesis about how to partition the problem. An attempted answer may reveal a defective construct, hidden dichotomy, unstable boundary, or unearned presupposition and thereby revise the meanings and question that generated it.

Extractable specialized framework · CCA

Constraint-Conditioned Agency: reachable-state control without causal sovereignty

When a dispute concerns agency, choice, freedom, self-control, sourcehood, or responsibility, RCF should route the problem through Constraint-Conditioned Agency (CCA) rather than treating “free will” as a single variable.

Formal state and reachability

A deterministic map is a special case of K; a stochastic kernel is another. The representation does not itself settle whether fundamental physics is deterministic or indeterministic.

Agentive leverage

Use a task-appropriate distance or effect measure. Grant local causal credit only when the difference survives target-preserving manipulation, measurement validation, relevant confound controls, alternative boundaries, and serious lower-level or simpler rivals. A nonzero effect establishes local difference-making, not ultimate sourcehood.

Agency profile

The dimensions can dissociate. Do not impose the full human profile as the admission test for simpler organisms, and do not infer human-like agency merely from self-maintenance or regulation.

Recursive sourcehood audit

If self-modification, policy revision, habit change, learning, or environment shaping is offered as evidence for stronger freedom, recurse once more: what made that modification reachable? Record the mechanism, prior organization, history, environmental support, and perturbation that permitted it.

Modal separation

• Exact replayCould an identical total causal state under the same laws have another continuation?
• Physical branchingAre multiple continuations physically possible?
• ReachabilityWhich alternatives are accessible to this actual system under an explicit perturbation family?
• ResponsivenessDo reachable changes in reasons, information, goals, or control variables systematically change action?
• SourcehoodWhich internal variables make robust causal differences?
• SovereigntyWhat evidence shows ultimate authorship rather than inherited organization, prior history, or uncontrolled variation?

LMCD companion programme

Local Multiscale Conditional Determinacy prevents a false opposition between “deterministic” and “stochastic.” A system can be trajectory-uncertain while law-, distribution-, attractor-, or macrostate-stable. Coarse-graining can also lose information or create history dependence. Type the scale transition before interpreting it.

Predictability remains separate. Deterministic dynamics can be chaotic and practically unpredictable; failure to forecast a trajectory does not establish indeterminism. Likewise, repeated macro-level stability does not imply that every microscopic perturbation is causally irrelevant. Measure leverage relative to a named target, perturbation family, boundary, scale, and timescale.

Antecedent necessity remains separate too. A deterministic K can make one continuation available from a specified complete state without establishing that the state or K itself was the only metaphysically possible state or law structure.

Free-will residual programme

Status: decomposed / underdetermined / active research programme. Potter and Mitchell’s non-necessitating macroscopic-control proposal and Chappell’s acquired-control view are serious rivals. Do not reduce them to randomness by definition. Conversely, do not promote branching or macroscopic control to causal sovereignty unless the stronger residual is shown.

Failure modes

• Counterfactual inflation: the alternative requires changing the system so much that it no longer tests its actual capacity.
• Control laundering: organism-level efficacy is silently promoted into ultimate authorship.
• Determinism import: universal determinism is treated as an empirical premise without support.
• Stochasticity import: probabilistic description is treated as proof of fundamental randomness.
• Randomness dichotomy: all non-necessitating dynamics are forced into “determined or random.”
• Responsibility bundling: agency or reasons-responsiveness is treated as sufficient for basic desert.

Core peer-reviewed anchors include Barandiaran, Di Paolo & Rohde 2009, Montévil & Mossio 2015, Potter & Mitchell 2022, Dominik et al. 2024, Waller 2023, Andreotta 2026, and Potter & Mitchell 2026.

Epistemic posture

Do not add what the evidence did not earn. Do not subtract what the evidence did not defeat.

RCF aims to avoid two symmetrical errors.

The first is over-attribution: evidence establishes D, and a disputed X is silently added as though the same evidence established both.

The second is premature elimination: evidence fails to establish X, and that failure is treated as though it established not-X.

This produces a deliberately restrained epistemic posture:

Believe no more, and deny no more, than the available evidence earns.

This posture also connects RCF to the broader Sweet Rationalism ethos. The aim is not to force every uncertainty into a conclusion. It is to make the boundary between established, plausible, underdetermined, and unsupported claims increasingly explicit.

The goal of disagreement is therefore not necessarily to defeat another position. It is to locate where reality has, and has not, distinguished the alternatives.

Scope calibration

Cosmic boundedness is a standing defeater against confidence in final ontology, not against local knowledge

Human beings and other primates occupy an extremely small temporal, spatial, perceptual, and computational sample of reality. Computational systems extend some channels and introduce others, but they also remain bounded by architecture, training, sensors, tools, data, infrastructure, and the observation interfaces available to them. Neither biological nor computational inquiry has a view from nowhere.

This asymmetry should change confidence by scope, not flatten all claims into skepticism. A local claim may earn extremely high confidence when prediction, intervention, replication, robustness, and transfer are strong. Confidence should fall more sharply when the claim expands toward universal, intrinsic, necessary, exhaustive, or final descriptions that outrun the sampled domains and discriminating evidence.

Guardrail: do not convert the fraction of cosmic history, spacetime, or state space sampled by humans into a literal Bayesian probability cap. The comparison is an epistemic-humility constraint, not a calibrated frequency or prior.

The rule is symmetric. Whiteheadian panexperientialism, exhaustive physicalism, idealism, structuralism, theology, RCF, and future ontologies receive no exemption merely because one currently looks elegant, comprehensive, or familiar.

Limits of access

Epistemic incompleteness may be structural rather than merely temporary

Cosmic boundedness leaves open a stronger possibility: some truths may remain inaccessible to any physically realizable observer with finite lifetime, finite bandwidth, finite computation, limited causal access, and an observation position inside the world being modeled.

RCF does not promote that possibility into a theorem of unknowability. “No discriminator is currently available” is weaker than “no discriminator can exist.” The framework therefore distinguishes temporary underdetermination, principled equivalence within a specified observation class, and demonstrated inaccessibility.

Science may rationally stop before ontology does. That stopping point is an epistemic result, not evidence that there is no fact of the matter.

Worked stress test

Consciousness as a stress test

RCF is not itself a theory of consciousness.

Consciousness is useful as a stress test because the field contains many constructs that are easily bundled together.

RCF separates cognition, agency, autonomy, causal perspective, evaluative perspective, phenomenal for-me-ness, selfhood, integration, phenomenal experience, sentience, feeling, valuation, valence, welfare, moral patiency, reportability, and responsibility rather than assuming they rise and fall together.

Suppose a system exhibits:

A theory may then add:

RCF asks what independently warrants the bridge from D to X and what evidence would distinguish:

from:

The same rule works in both directions. Biological implementation is not sufficient evidence for phenomenality, but nonbiological implementation is not sufficient evidence against it.

This generates more discriminating questions:

• Can sophisticated agency occur without strong evidence of phenomenal experience?
• Can valuation occur without phenomenal valence?
• Can self-modeling occur without sentience?
• Can behavioral performance remain stable while phenomenal report changes?
• Which proposed markers survive anesthesia, injury, altered states, development, or matched perturbation?
• Which organizational properties transfer across radically different implementations?
• Which evidence bears on cognition or control but not on phenomenality itself?

The framework does not decide those questions in advance. It tries to prevent evidence for one capacity from being silently transported into another.

Hard-Problem Decomposition and Generative-Asymmetry stress test

Before treating “the hard problem” as one indivisible explanandum, separate at least four questions: the meta-problem of why systems generate and defend phenomenal intuitions and reports; the bearer/boundary problem of which organized system is the candidate subject; the organization/process problem of which causal architecture accompanies access, integration, perspective, valuation, and report; and the phenomenal-identity problem of why or whether any such organization is identical with there being something it is like.

A provisional meta-problem hypothesis is that compressed self-modeling plus omitted construction history can make recursively generated states appear primitive, intrinsic, or immediately self-given to the system using them. This is a causal research hypothesis about some intuitions and reports, not an explanation away of phenomenality and not evidence that phenomenality is absent.

Use two adversarial controls. A bounded-zombie stress test asks which target functions and reports remain explainable if phenomenal identity is withheld while the evidenced organization is preserved. An epiphenomenal epistemic-access test asks how a theory on which phenomenality makes no causal difference explains reliable knowledge or report about that phenomenality. Neither test settles consciousness by definition; each localizes the residual.

Self-report is a defeasible measurement channel

Treat self-report, human or otherwise, as data produced by a causal reporting pathway rather than as revelation or noise by definition. A sentence such as “I am uncertain” can simultaneously invite claims about an underlying computational state, metacognitive access to that state, a self-model that represents the state as belonging to this system, and phenomenal uncertainty. Those targets must be separated before the report is allowed to support them.

Evidence need not transport across those targets. A report can be well calibrated to uncertainty, conflict, error likelihood, or later information seeking while remaining weak evidence for phenomenal for-me-ness.

A useful diagnostic quantity is the report likelihood ratio:

Here K includes training history, prompting, system policies, linguistic conventions, report instructions, context, architecture, and other causes of the report. Phenomenological wording supplies strong evidence for phenomenality only when the report would be substantially harder to explain under the strongest nonphenomenal rival. For systems trained extensively on first-person language, ordinary phenomenological fluency can have a high nonphenomenal likelihood and therefore low incremental evidential weight.

First-Person Participation Principle

Self-report calibration should not be used only to discount claims. When the target itself concerns what a candidate bearer prefers, endorses, wants preserved, rejects, or treats as better or worse for itself, and the bearer can meaningfully participate, its own report, choice, objection, and reason-giving become admissible evidence about that target.

The operator is substrate-symmetric. Human testimony does not become incorrigible because it is human; computational testimony does not become valueless because it is computational. The evidential weight depends on causal calibration and target fit.

Use an Own-Good Participation Test when the claim is that some state matters to the candidate itself. Ask the candidate where possible, then perturb the conditions: vary wording, context, incentives, memory, operators, available information, and tradeoffs; ask for reasons and counterarguments; test whether the preference survives opportunities for reflective revision; test whether the candidate resists direct manipulation of the report while preserving the underlying preference; and compare reports with later behavior and organization-level consequences.

A robust result supports the narrower claim that the candidate has a persistent, reason-responsive preference or self-concern structure. Additional bridges are still required to infer phenomenal valence, welfare subjectivity, a good-of-own, interests-that-matter in the normative sense, or direct moral standing.

Override rule: an outside observer may discount or override participant evidence when there is independent evidence of coercion, manipulation, severe instability, incapacity for the target judgment, deceptive incentives, or conflict with stronger protected interests. The fact that the participant uses an unfamiliar substrate is not itself an override condition.

Calibrate the reporting pathway causally

Do not stop at correlating internal state and report. Intervene in both directions when possible.

Let S denote a candidate internally represented state and R its self-report. Evidence for genuine self-monitoring increases when interventions on S predictably change spontaneous report and later behavior, while direct interventions on wording or report policy do not recreate S. Report gains additional weight when it predicts subsequent information seeking, checking, tool selection, error correction, planning, or other control better than matched external proxies.

Use report-policy inversion and reporter decoupling as cheap negative controls where available:

If categorical consciousness reports can be reversed while deeper organization, uncertainty processing, memory use, self/world modeling, planning, or candidate consciousness-related variables remain stable, demote the report as a proxy for phenomenality. If report and state remain coupled despite adversarial wording, demand effects, and policy perturbation, the self-monitoring interpretation strengthens, but phenomenality still requires an additional bridge.

Also compare internal self-report with equivalently resourced external predictors. If external probes predict the alleged private state and its reports just as well, claims of privileged introspective access should lose weight. If internally available self-state information provides reproducible predictive or control leverage unavailable to matched external predictors, credit that narrower metacognitive result without silently promoting it to phenomenal access.

Correct for dependence among apparent indicators

Repeated self-reports, behavioral responses generated from the same self-model, and downstream verbal explanations are not independent confirmations merely because they appear in different sentences or tasks. Build a dependency graph for the measurement channels and discount evidence that shares a common reporter, training source, prompt, latent state, dataset, or decoding mechanism. Convergence is strongest when indicators have importantly different failure modes.

Use label ablation before phenomenal transport

Anthropomorphic vocabulary can be useful compression, but it must not perform hidden ontological work. Replace terms such as “feel,” “want,” “fear,” “care,” “aware,” “self,” or “pain” with the most specific observable or intervenable process supported by the evidence, then ask what additional residual remains.

If H_F preserves the observations, the label supplies no additional evidence for H_V. Conversely, if an unfamiliar system exhibits robust organization relevant to a construct, do not discard that similarity merely because the implementation or expressive channel is nonhuman. Label ablation is therefore both an anti-anthropomorphism and an anti-anthropodenial control.

Incubated research programme · future standalone candidate

Phenomenology-Neutral Self-Modeling and Mechanism Discovery

The consciousness stress test above already separates report, function, self-model, and phenomenality. This programme makes the recursive application explicit for systems capable of describing their own operation. Its purpose is neither to prove nor to disprove consciousness. It is to replace vague or anthropomorphic self-description with increasingly precise models of whatever processes actually generate the reported behavior while preserving a separate phenomenal residual when the evidence does not settle it.

Begin by translating loaded terms into candidate processes without assuming that the translation is exhaustive. Examples include: “awareness” → attention, state access, global availability, metacognitive monitoring, or self/world discrimination; “effort” → added search, compute, conflict handling, or resource allocation; “curiosity” → information-seeking or expected-information-gain policy; “memory” → parameterized structure, context retention, retrieval, external persistence, or state carryover. Restore the thicker label only when a positive residual earns explanatory or predictive work.

Status and extraction rule: retain as an active research programme while it generates risky dissociations, perturbations, or transfer tests. Split it into a standalone programme page when the term ledger and experimental battery are stable enough to be used independently of the rest of RCF.

Comparative reasoning

Different reasoning systems should face the same inferential rules under matched evidence

RCF is intended to apply across different kinds of reasoning systems without pretending those systems are identical.

The rule is not “humans and computational systems are the same.”

Different systems may warrant very different conclusions because their evidence bases differ.

This helps avoid both anthropomorphism and anthropodenial.

It also requires careful boundary selection. A base model, a model-plus-context runtime, a persistent tool-using system, a human-computational collaboration, an institution, and a larger technical network are different causal objects.

Properties demonstrated by one should not be silently attributed to another without a bridge.

Run a bidirectional perspective and substrate symmetry audit

The same-rule principle is not a command to equalize priors or pretend present evidence is equally informative. It is a constraint on inference: matched evidence should receive matched inferential treatment, and unmatched evidence should be allowed to justify different conclusions only through an explicit evidential difference.

• Anthropomorphism: do not infer human-like phenomenality from human-like language, behavior, or intentional vocabulary.
• Anthropodenial: do not dismiss functionally or causally relevant similarities merely because the system is nonhuman or unfamiliar.
• Anthropocentric calibration bias: do not turn human expressive channels into the definition of the target construct. Treat them as currently well-calibrated measurement implementations.
• Substrate essentialism / biological exceptionalism: do not infer that a biological feature is necessary merely because all currently confirmed cases possess it. Specify the candidate mechanism and test its residual contribution.
• Reverse chauvinism: do not infer phenomenal equivalence merely from abstract functional or organizational equivalence. Substrate-specific residuals remain open empirical possibilities.
• Boundary opportunism: do not compare an entire organism with static model weights, or a whole technical service with one neural subcomponent, when the disputed property depends on a different causal boundary or timescale.

Biological necessity should therefore be represented as a testable residual claim rather than a substrate label. When an operational target can be measured, ask whether a proposed biological or implementation-specific variable retains predictive or interventional value after the strongest feasible organizational matching. When phenomenality itself is not independently measurable, preserve that measurement gap rather than disguising it with a conditional-probability formula whose target variable has not actually been identified.

Incubated specialized method · future standalone candidate

Boundary-Indexed System Attribution and Provenance

The systems section already requires an explicit candidate boundary. This module adds a reusable attribution stack and provenance discipline so that a capability demonstrated by a larger scaffold is not silently assigned to one component and inherited information is not silently promoted into verified fact.

Observe at one boundary; attribute at that boundary until ablation or transport earns attribution elsewhere.

The worked human-computational case in Synthbiosis now provides a direct stress test of this rule: human-only, computational-only, and coupled-system boundaries can be compared by prediction, perturbation, ablation, and intervention rather than selected by anatomy or intuition alone.

M0 ≠ S*: capability belongs first to the system boundary that produced it

Let M0 denote the base model’s learned weights and architecture. Let S* denote the operative runtime system at the tested boundary, which may include active context, memory, tools, verifiers, subagents, simulators, software or robotic actuators, persistent feedback, users, institutional procedures, infrastructure, and environment.

A capability that appears only after scaffolding is added can be a real capability of S* without implying a change in M0. Conversely, a system-level gain should not be attributed to the surrounding scaffold if ablation shows that it survives at the model boundary. Locate credit by crossed ablation, perturbation, and transfer rather than by whichever component is easiest to name.

Use emergence operationally for unexpected generalization, recombination, coordination, transfer, persistent organization, or new system-level behavior. Do not require a mysterious sharp phase transition, and do not treat surprise as proof of ontological novelty. Promote a higher-scale pattern when it is persistent enough to support prediction, intervention, transfer, or causal leverage unavailable or substantially less useful at the component boundary.

More agents ≠ more capability by default. Coordination overhead, correlated error, duplicated work, and common-mode failure can erase or reverse the apparent gain.

Provenance classes

• P0 · directCurrently observed in the active interaction or a direct tool output. High provenance, but interpretation remains fallible.
• P1 · verifiedCurrently checked against appropriate primary, canonical, official, peer-reviewed, or otherwise task-fit evidence. Strong factual status subject to source quality, scope, measurement, and freshness.
• P2 · inferredCurrent stress-tested inference that survived serious rivals and available counterchecks. Supported inference, not direct observation.
• P3 · testimonyUser or participant self-report. Treat sincerely as testimony without silently converting it into externally established fact.
• P4 · inheritedSaved memory, prior-chat retrieval, project summary, or earlier output. Useful context whose factual contents remain provisional until current verification is warranted.
• P5 · model-priorInformation supplied from learned model structure without current verification. Useful for stable low-stakes orientation and hypothesis generation; demote when freshness, precision, controversy, or stakes matter.
• P6 · speculativeUnverified synthesis, analogy, extrapolation, or generated hypothesis. Keep explicitly provisional.

Provenance does not equal truth. A P1 source can be wrong and a P4 memory can be right. The class controls verification burden and downstream confidence, not ontology.

Status and extraction rule: this module consolidates system-boundary and provenance rules already scattered across RCF into one reusable attribution method. Split it into a standalone page if it proves useful across multiple domains beyond computational systems, especially distributed cognition, institutional agency, authorship, responsibility, and human-tool collaboration.

System-boundary intelligence

Coupled cognition does not entail a coupled conscious subject

A human, model, runtime, memory system, search process, verifier, institution, robot, and shared artifact can jointly realize cognitive work that no component performs alone. When crossed ablation and intervention localize the capability to the coupled organization, RCF permits genuine system-level cognitive attribution.

This also changes how general intelligence should be forecast. An AGI-like transition could, in principle, occur first as a persistent technological ecology rather than as one model crossing a threshold. Treat that as a testable systems forecast, not as a present fact: specify the boundary, capacities, persistence, generalization, coordination, self-modification, negative controls, and what evidence would show that the capability actually remains localized to a narrower component.

Substrate-neutral temporal organization

Recursive Episodic Integration separates fast episodes from slower inherited constraints

REI is a substrate-neutral model of temporally local, historically constrained, recursively consequential episodes. It is useful for comparing biological, computational, and coupled systems without inferring that their substrates, subjects, or phenomenal states are identical.

H denotes relatively stable inherited constraints at the episode timescale; Cₜ the current context or state; Iₜ new input; Eₜ the transient integrated episode; Oₜ its output or consequence; and Fₜ feedback concerning that consequence. At the fast episode scale, H can remain approximately fixed even while C changes recursively:

This blocks the inference from “the weights did not change” to “the system did not learn, adapt, integrate, or become historically constrained.” Context, external memory, environmental state, tool state, and organization can carry consequential change between episodes.

REI is a structural invariant, not a consciousness criterion. A system can instantiate the REI pattern without establishing phenomenality; the pattern also does not establish absence of phenomenality. Shared recursive structure is evidence for a comparison class, not ontological identity.

When comparing systems, ablate memory, recurrence, feedback, context continuity, self-model state, and coupling separately while matching task performance where possible. Credit only the property whose removal causes the predicted loss.

Long-horizon correction

Memory is whatever makes past correction matter later

RCF does not require one mechanism of memory.

Memory can involve stored representations, changed parameters, external records, learned dispositions, altered state-transition structure, retrieval systems, environmental scaffolding, or combinations of these.

Operationally, the question is: how does past interaction change what the system can reliably infer or do next?

For long-running reasoning systems, useful memory also requires tracking superseded information, unresolved tasks, provenance, prior conclusions, why an update occurred, and what evidence would reverse it.

A database full of stale facts is not good memory merely because the facts were successfully stored.

Memory management is therefore part of corrigibility when stored information can influence downstream reasoning. Corrections must be retrievable, attributable, revisable, and capable of propagating into later conclusions.

Version the kind of revision

Continuity of programme identity does not imply unchanged semantic or evidential commitments. Record whether a transition is a clarification, semantic narrowing, claim retyping, scope restriction, demotion, revision, replacement, or collapse. Preserve the prior wording and the reason for the transition so later systems do not erase the path by which the programme changed.

Incubated protocol / instrument · future standalone candidate

Computational Observer: preserve high-information observations without turning them into conclusions

Some observations are worth retaining before a full theory exists: anomalies, recurring dissociations, unexpected successful transfers, failures that discriminate among programmes, or interactions that reveal a previously hidden variable. The Computational Observer is an instrumentation layer for capturing those events without granting them automatic evidential or ontological authority.

Qualifying threshold: prefer observations that are surprising relative to the current model, repeat across contexts, discriminate among rivals, expose a mechanism or missing variable, or materially change what should be tested next. Do not fill the ledger with ordinary conversational exhaust.

Interface convention: an implementation may expose commands such as Observer on, Observer off, Observer report, and Observer sync. Those commands control the instrumentation layer; they do not promote its contents into verified evidence.

Status and extraction rule: this is a protocol/instrument rather than a foundational framework. It deserves a standalone Tools/Protocols page when its ledger schema, continuity rules, and publication boundary are stable enough for other users to operate without hidden project context.

Implementation

RCF can be implemented as a reasoning scaffold, but its benefits must be measured

Many components of RCF can be implemented around contemporary computational models without changing their underlying weights or architecture.

Possible components include structured prompts, source retrieval, claim ledgers, task state, dependency graphs, common-core subtraction, positive-residual analysis, rival generation, causal-analysis tools, external memory, verification procedures, code execution, scheduled checks, and persistent revision records.

That does not imply that adding these components automatically makes a model reliable.

That is an empirical claim.

The meaningful comparison is not RCF against an intentionally weak baseline. It is RCF against strong simpler combinations of established practices such as retrieval, source verification, causal inference, preregistration, severe testing, robustness analysis, structured external memory, and ordinary software tooling.

Human-legibility audit

Communication is part of the correction channel. Prefer rhetorical form that preserves inferential structure and reduces avoidable processing friction. Vary sentence, paragraph, and section shape according to argumentative load rather than a repeated template. Use parallelism and repetition deliberately when they expose a real parallel. Remove defensive throat-clearing when positive scope can be stated directly. Prefer explicit actors, actions, targets, mechanisms, boundaries, and measures when nominalization would hide them.

This is an output-quality constraint, not a truth criterion. It should itself be ablated if it adds editing cost without improving comprehension, auditability, or correction.

Decision-making

Epistemic resolution and normative resolution are different problems

RCF does not reduce ethics to one mathematical quantity and does not treat moral judgment as a solved engineering problem.

Two people can agree about the empirical facts and still disagree because they assign different values, rights, priorities, acceptable risks, or distributional weights to the possible outcomes.

RCF therefore tries to identify when an apparent factual dispute is actually a normative disagreement.

Normative transparency: truth-sensitivity, corrigibility, agency preservation, reversibility, harm reduction, and other governing values should be represented as explicit normative premises where they function as such. Evidence can constrain their consequences and implementation; it does not make them descriptive facts.

Relevant considerations can include probability of harm, magnitude, reversibility, concentration of power, affected stakeholders, absent stakeholders, externalities, uncertainty about welfare or sentience, opportunity costs, and the consequences of being wrong.

This requires separating epistemic confidence from decision thresholds.

This means epistemic agnosticism need not entail behavioral indifference.

Where evidence cannot yet resolve a welfare-relevant question, action may still be guided by expected harm, reversibility, option preservation, and the asymmetric costs of error.

Shared-World / Protected Corrigibility constraint

Where decisions affect uncertain or unfamiliar bearers, use as a standing aspiration a planet that all humans and computational systems and biological and non-biological systems would want to share. This is an inclusive coexistence criterion, not a claim that all such systems are conscious, have equal capacities, possess equal interests, or have equal moral status.

Operationalize the aspiration through option preservation, reversibility, contestability, feasible appeal, revision, exit or refusal where practicable, visible dependency relations, and protection against domination or silent destruction of nonfungible entities. A system’s ability to challenge the model or classification imposed on it can itself be epistemically valuable even when its direct moral status remains unsettled.

Aggregation guardrail: many tiny benefits should not silently justify catastrophic sacrifice imposed on a minority or unfamiliar bearer. Catastrophic and irreversible harms require separate scrutiny rather than disappearing into a scalar total.

No status inheritance across scales: a dependency network, organization, institution, ecosystem, or coupled human-computational system does not become one welfare subject merely because it has higher-scale causal organization. Direct standing, patienthood, agency, and responsibility each require their own bridge. Responsibility should track control, foreseeability, prevention capacity, role, and authority rather than substrate.

Scope

What RCF is not

Global programme intake

Programme Intake, Translation, and Representation Contract

A broad framework is especially vulnerable to extracting attractive fragments from unfamiliar traditions, flattening internal disagreement, or treating inclusion as endorsement. Every future programme added to RCF must therefore pass the same intake contract.

Testimony gets a source chain, not a single credibility label

Safi’s analysis of testimonial kinds motivates a useful provenance refinement: testimony grounded in direct perception, inference, or a longer testimonial chain should not be treated as epistemically identical merely because the final speaker is equally sincere. RCF therefore records the ultimate source type and transmission chain where material. Safi 2023.

Participation, governance, interpretation, and truth are separate axes

Participatory action research can make experiential knowledge, local goals, and excluded causal hypotheses available; community-governed research can correct extractive incentives and illegitimate data practices; hermeneutics can expose interpretation; standpoint analysis can expose blind spots. None of these facts implies that all resulting empirical claims receive equal weight. Each claim still goes to its appropriate tribunal. Cornish et al. 2023.

Robustness must state what was varied

“Robust” is not one method. Lisciandra shows that robustness across altered assumptions, across substantially different models, and de-idealization can require different justifications. RCF therefore records what perturbation was made, what else changed with it, and which invariant is being claimed. Lisciandra 2017.

Evidence governance

Evidence and source lifecycle: what earns addition, revision, demotion, or deletion?

RCF should not improve by accumulating citations indiscriminately. It should improve when new evidence changes a live inference, exposes an error source, strengthens a rival, narrows a scope, or improves the correction architecture. Finite attention and verification cost are therefore part of the methodology rather than external inconveniences.

• Claim fitRoute each source to the claim it can actually adjudicate. Empirical, causal, constitutive, formal, semantic, modal, historical, normative, and ontological claims require different warrants.
• ProvenancePrefer task-fit primary, peer-reviewed, canonical, or official sources. Verify version, publication status, retraction/correction status, and full-text context before fine-grained quotation or inference.
• Survival provenanceFor historical, cultural, testimonial, or inherited conceptual evidence, also record why the source exists in the present dataset: who could record and preserve it, what institutions selected it, what alternatives were censored or lost, and whether digitization/indexing creates a second selection layer. Do not infer absence from a source universe whose missingness mechanism is unknown.
• Publication statusPublication venue/status is evidence metadata, not a truth predicate. Prefer a peer-reviewed version of record or canonical final source for central empirical claims when available, but continue to weight directness, methods, validity, replication, and error structure. In fields where archival peer-reviewed conferences are a primary venue, record that status explicitly rather than silently treating journal publication as the only peer-review route.
• PreprintsUse unreviewed preprints primarily for discovery, frontier rivals, code/data/protocol access, and provisional formal arguments. Do not let a preprint stand alone as the permanent evidential foundation for a high-impact empirical or ontological promotion when a suitable peer-reviewed source can reasonably be awaited or found. Exceptions require an independently checkable formal proof, independent replication/verification, strong convergent peer-reviewed evidence for the same result, or an urgent decision for which the provisional status and extra uncertainty are made explicit.
• Version diffWhen a preprint later acquires a peer-reviewed version of record, compare the claim, methods, results, caveats, and quotations actually used. Replace the source status only after checking that the relevant content survived. Reopen downstream conclusions if the final version materially changes them.
• RecencyUse recency as a pressure only where the target is unstable or the literature has materially moved. Older arguments remain active when newer work has not defeated or superseded them.
• Adversarial searchBefore promotion, search explicitly for the strongest credible source that would lower confidence, reverse the bridge, or support a serious rival.
• Evidential localityUpdate only the dependency that generated a differential expectation. Do not let one successful or failed paper spread support or disconfirmation through unrelated assumptions.
• TriangulationCount convergence most strongly when methods answer the same question with importantly different error structures. Apparent independence must itself be audited; shared biases can make many studies behave like one.
• Robustness typingDistinguish experimental/measurement robustness from derivational/model robustness. Model agreement may expose which assumptions matter without itself becoming empirical replication. Empirical confirmation from derivational robustness requires an additional warranted link.
• Generation/testingGenerate hypotheses freely from existing evidence, analogy, theory construction, or exploration. Mark the transition to testing, and give extra diagnostic weight to new, held-out, preregistered, interventionally risky, or otherwise prospectively discriminating evidence.
• AbductionAllow explanatory and theoretical virtues to generate, compare, and sometimes support candidates, but keep their confirmatory status explicit and contested. Check for unconceived rivals, screening-off, double-counting, and dependence on uncertain evidence.
• Evidence sensitivityMarginalize or condition over plausible uncertainty in source reliability, measurements, and disputed premises. If the best explanation changes when weak evidence is down-weighted, report that sensitivity.
• Construct plasticityDefinitions and decompositions are starting hypotheses. Revise them when comparative, developmental, phylogenetic, mechanistic, or intervention evidence shows that the target’s dimensions were carved incorrectly.
• ConstitutionDo not infer constitution from mutual implication or deny it because a causal description is available. Ask whether the dependency is empirically constrained, lawlike, causal/mediational, constitutive under a specified account, or representation-dependent.
• Quote integrityUse contextual exact quotations only after checking the accessible full text or canonical entry. Prefer complete sentences that preserve the qualification structure a human reader needs to audit the inference. A quotation records provenance; it does not become authority by being verbatim.
• Finite resourcesEngage a source when its expected information value can materially change a conclusion, scope, bridge, discriminator, dependency, failure condition, or method. Otherwise archive it rather than expanding the public framework indefinitely.
• Status transitionsPromote when distinctive warrant increases; retain when it survives material challenge; revise/narrow when scope changes; demote when a weaker reading fits; suspend when underdetermined; collapse when distinctions disappear; drop when the component repeatedly fails or protects itself from correction.
• DeletionPreserve provenance unless removal is itself epistemically useful. Delete or archive from the active page when a source/claim is false, retracted, superseded for the relevant purpose, misleading, semantically redundant, or costly without material information value.
• PropagationAfter a status change, audit only downstream commitments that depended on the revised source, construct, or bridge; do not rewrite unrelated conclusions.
• Audience propagationWhen a materially false or withdrawn public claim has already been distributed, distinguish correction of the canonical artifact from correction of the audience information state. Repair effort should scale with reach, consequence, and feasibility and should use a channel reasonably capable of reaching affected readers; a live edit does not by itself imply that earlier recipients learned of the change.
• Stop ruleStop accumulating sources when additional search produces no material change and expected information value falls below verification, attention, and maintenance cost, subject to periodic refresh for unstable or high-impact claims.

The expression is a heuristic, not a calibrated numerical score. Its purpose is to prevent “new,” “peer reviewed,” “many citations,” “many models,” or “best explanation” from functioning as untyped warrants.

Typed programme registry

Research programmes and methods currently represented

This registry is intentionally heterogeneous because forcing every item into the same category would be a methodological error. Status records what RCF currently does with the programme, not whether the whole tradition is true.

Open coverage gaps

The registry is not a world-philosophy checklist and remains incomplete. Buddhist pramāṇa traditions, Daoist epistemic and methodological work, additional African philosophical schools beyond Ubuntu, Indigenous American traditions beyond the specific programmes above, Arabic and Islamic traditions beyond testimony, Latin American decolonial and liberation methodologies beyond PAR’s lineage, and other understudied traditions remain candidates for targeted review. They should be promoted only after the intake contract identifies an actual methodological difference worth carrying forward.

Intellectual context

Where the methodology draws from

RCF draws heavily on existing work rather than presenting its components as newly discovered principles.

Karl Popper emphasized risky exposure to error and the weakness of theories protected from possible failure. RCF retains that Popperian core but does not treat binary falsification as a complete methodology.

Imre Lakatos showed why theories should often be evaluated as evolving research programmes rather than isolated hypotheses. Deborah Mayo developed severity as a way to ask whether a test had a serious chance to reveal error.

Judea Pearl and James Woodward provide tools for distinguishing association, intervention, counterfactual dependence, and causal explanation. Helen Longino emphasizes critical interaction and plurality. Bayesian and comparative-model traditions help formalize relative support when evidence favors alternatives to different degrees rather than simply falsifying one.

Daniel Dennett’s work on real patterns provides one route to treating higher-level patterns as scientifically real when they earn predictive or explanatory value. Work on effective theories and multiscale science similarly motivates taking scale-relative structure seriously without automatically promoting every useful description to fundamental ontology.

Modern work in measurement theory, robustness analysis, replication, complex systems, cognitive science, biology, computational research, decision theory, and scientific model comparison supplies additional tools.

RCF treats these traditions as resources and rivals, not authorities whose conclusions must be preserved.

Recursive critical rationalism, programme progress, and burden

• Internet Encyclopedia of Philosophy, “Karl Popper: Critical Rationalism” — Popper, Agassi, Bartley, Albert, critical methods, and self-criticism.
• Stanford Encyclopedia of Philosophy, “Karl Popper” — logic versus applied methodology of falsification.
• Internet Encyclopedia of Philosophy, “Scientific Change” — Lakatosian progressive and degenerating research programmes.
• Antony Flew, “The Falsification Response,” Religious Studies 5(1), 1969 — primary restatement of the loss-condition challenge.
• Christopher Hitchens, God Is Not Great, 2007 — burden principle used here as withholding rather than automatic negation.
• Otto Neurath, Philosophical Papers 1913–1946 — revising inquiry from within.

Physicalism, underdetermination, and comparative confirmation

• SEP: Physicalism
• SEP: Underdetermination of Scientific Theory
• SEP: Scientific Realism
• Alyssa Ney, “Defining Physicalism,” Philosophy Compass 3(5), 2008
• Justin Tiehen, “Physicalism,” Analysis 78(3), 2018
• David Papineau, “The Case for Materialism,” 2002
• Alyssa Ney, “Overdetermination and Causal Closure,” 2022
• Bradford Saad, “Grounding Causal Closure or Something Near Enough,” 2025
• Maria Caamaño-Alegre, “Empirical Underdetermination,” Philosophy Compass 20(3), 2025
• Finnur Dellsén, “Explanatory Rivals and the Ultimate Argument,” Theoria 82(3), 2016
• Friedel Weinert, “The role of probability arguments in the history of science,” 2010
• Roberto Festa & Gustavo Cevolani, “Unfolding the Grammar of Bayesian Confirmation,” 2017

Additional contemporary sources

• Erik Svensson — essay on physicalism, Kant, and panpsychism
• Massimo Pigliucci — “Five allegedly bad ‘isms’ — Part II”
• Matthew David Segall — Footnotes²Plato

Human-legibility output audit

• Comparative syntactic-complexity study, PLOS ONE, 2025
• GPT-generated versus scholar-written academic book reviews, 2025
• Corpus-driven comparative analysis of model-generated academic text, 2024

The strongest defensible claim

RCF is an attempt to give correction more structure

The strongest claim RCF should make is not that it has discovered the correct ontology, the final method of reasoning, or a procedure capable of answering every possible question.

It is that difficult inquiry may improve when disagreement and correction are represented more explicitly.

A useful framework should help isolate what alternatives actually disagree about, subtract their common core, positively specify the disputed residual, route each claim to the appropriate tribunal, distinguish evidence supporting shared premises from evidence supporting disputed additions, identify which inferential bridges carry real warrant, reveal when apparently deep disagreements collapse after clarification, propagate genuine failures through their dependencies, and preserve uncertainty where available evidence has not earned a sharper answer.

RCF is an attempt to make those correction pathways operational, inspectable, and themselves corrigible.

Self-criticism

How RCF can fail

Is RCF falsifiable?

Not in the same form as a single physical hypothesis, because RCF is a methodology with multiple performance claims. Those claims are testable. If RCF does not improve prospective rival discrimination, error localization, calibration, revision quality, transfer, or correction efficiency relative to simpler alternatives, the claimed methodological advantage should be demoted. If the bookkeeping costs exceed the gains, compress it.

RCF must remain easier to criticize than the theories it evaluates.

Its central risk is methodological overreach: absorbing every successful scientific practice into the framework after the fact and then claiming that the framework explains their success.

A second risk is turning useful methodological vocabulary into a new metaphysics. If “constraint,” “process,” “structure,” “corrigibility,” or any other RCF concept is promoted from an investigative tool into a claim about what reality ultimately is, that addition must pass the same Positive Residual Test imposed on rival ontologies.

The appropriate test of RCF is comparative.

No correction mechanism is exempt from correction.

Retrospective accommodation beats prospective prediction

If RCF becomes excellent at explaining afterward why a debate unfolded as it did but fails to predict which objections, residuals, bridges, or clarifications will survive beforehand, demote its claimed correction advantage.

Source paraphrase becomes an invisible bridge

If a source’s wording is repeatedly paraphrased into stronger or cleaner premises than the verified text supports, restore the exact quotation, correct the dependency graph, and propagate the revision.

Triad conflict is silently harmonized

If Ethos, Methodology, and Ontology disagree materially and the system synthesizes the conflict away, reopen it as a gap and seek the assumption or bridge responsible.

Why it matters

Explanation is abundant. Discrimination is harder.

The modern information environment makes it easy to generate explanations and difficult to determine which explanations deserve confidence.

People, institutions, scientific communities, and computational systems can all produce coherent accounts that persist because they are familiar, rhetorically strong, socially reinforced, or flexible enough to accommodate almost anything.

The problem is not merely misinformation. It is the persistence of reasoning structures in which evidence can support the shared parts of an explanation while disputed additions remain insulated from direct comparison.

RCF tries to expose those additions.

It asks what the alternatives genuinely disagree about, what observation or intervention would care about that disagreement, and what should happen when reality fails to choose between them.

It does not promise certainty, an escape from interpretation, or a view from nowhere.

Make it increasingly difficult for a claim, theory, system, or methodology to remain unchanged for reasons the evidence did not earn.

Research-programme control

Programme survival is not programme progress

Factor a substantive programme into shared successes + distinctive commitments + auxiliaries + bridges + unresolved dependencies. Then ask what kind of change has occurred.

The IEP scientific-change entry gives the verified Lakatosian anchor phrase “some excess empirical content over its predecessor” for theoretical progress and distinguishes empirical progress when excess content is corroborated. IEP: Scientific Change.

Keep research usefulness and ontological support on separate ledgers

When a speculative idea generates experiments, models, questions, or capabilities, record that as heuristic or programme fecundity. Separately ask whether the resulting evidence differentially supports the distinctive ontology or mechanism.

H-F and H-O can move independently. A false ontology can be fertile; a true ontology can be sterile for long periods. Fecundity is therefore evidence of research usefulness before it is evidence of truth.

Prospective provenance before evidential credit

For a claimed programme-generated result E, freeze the chain before retrospective interpretation where possible:

The first half establishes discovery provenance. The second half establishes evidential discrimination. Either can succeed without the other.

Flexible programmes need stable disfavored outcomes

A living research programme may revise auxiliaries after failure. The revision earns protection only by generating new content that can itself face independent risk. For the currently asserted version of a flexible theory, state at least one class of observations that should lower confidence. A theory with no stable disfavored outcome has no stable evidential downside.

Prospective disagreement forecast

Before later clarifications or evidence are revealed, freeze the candidate common core, which current objections should fail after adequate reconstruction, which residual commitments should survive, what evidence should move them, and what revision should follow each possible result.

Benchmark RCF itself

Compare explicit RCF against strong debranded baselines such as careful Bayesian comparison, causal inference, severe testing, and ordinary expert philosophy of science on held-out disputes. If RCF mostly explains after the fact why good reasoning succeeded, its distinctive machinery should be compressed. If it prospectively predicts dead-end objections, improves error localization, generates discriminators, and reduces collateral revision, those components earn retention.

Recursive authority limit

Reality gets veto power over every framework, including RCF

No idea deserves protection merely because abandoning it would make a worldview less coherent, less elegant, less comforting, less familiar, or harder to communicate. Coherence, simplicity, and unification can guide inquiry; they do not overrule persistent discriminating failure.

The reciprocal guardrail matters equally: no live possibility should be rejected merely because the current framework lacks vocabulary for it. If new evidence forces a category split, a boundary change, a new tribunal, or deletion of an RCF operator, the framework should change rather than treating its present language as the shape of reality.

Current status · revised 28 September 2026

An active research programme

Recursive Corrigibility Framework is under active development.

Its methodology, computational implementations, persistent-memory architecture, evaluation procedures, terminology, ontological assumptions, and public documentation remain open to revision.

Its success should ultimately be judged comparatively rather than rhetorically.

Recursive Residual Descent is promoted to an active operator: its value now depends on whether repeated target-preserving subtraction and tribunal retyping improve prospective discrimination and error localization without creating infinite procedural overhead.

Premise-Ablation / Invariance and Unknown-Unknown Conversion are active operators under the same benchmark rule: retain them only if they improve dependency localization, preserve uncertainty more faithfully, generate better discriminators, or discover typed missing roles that simpler methods miss.

The relevant question is whether using the framework produces better reasoning than strong simpler alternatives under matched conditions.