Agenda Kernel Principle Canonical No externality may remain hidden: decisive scaffolding must be internalized, derived, typed, factored out, bridged, or marked unresolved.
Kernel PrincipleCanonical

No Externalities

No externality may remain hidden: decisive scaffolding must be internalized, derived, typed, factored out, bridged, or marked unresolved.

Substrate Non-Deferral Answer-Shape Requirements
Exposure
Hidden semantics, runtime, parameters, substrates, bridge rules, and interpretive assumptions must become visible.
Treatment
An externality may be handled in several ways, but it may not disappear by silence.
Scope
The rule applies across mathematics, physics, life, metaphysics, verification, and corpus metadata.

Why this principle matters

The program is not allowed to win by moving decisive work offstage.

If a claim depends on an unexamined runtime, imported semantics, free parameter, substrate, background space, bridge convention, or interpretive rule, that dependence is part of the claim. It must be visible.

The rule

No externality may remain hidden.

This does not mean the program has solved every boundary. It means unresolved boundaries must be named as unresolved boundaries rather than disguised as completed explanations.

The Ontic Closure Burden

Scientific plate titled The Ontic Closure Burden, showing a no-externalities boundary with rejected hidden runtime, hidden substrate, hidden semantic load, and residual boundary by silence, plus allowed treatments such as internalized, derived, typed, factored out, bridged, or marked unresolved.
The Ontic Closure Burden states the no-externalities discipline: a serious model cannot defer decisive explanatory work to a hidden runtime, hidden substrate, hidden semantic load, or boundary left standing by silence.

↓ Download print master · 1536 × 864 JPG · CC BY 4.0

Ontic status is not asserted by slogan. The theory treats ontic status as a burden: no decisive externality may remain hidden as runtime, substrate, semantic load, or unspoken boundary.

The six allowed treatments

Internalized The dependency is brought into the formal or conceptual architecture.
Derived The dependency is shown to follow from deeper structure.
Typed The dependency is not solved, but its role and level are made explicit.
Factored out by invariance The claim is shown not to depend on the contested choice.
Bridged explicitly The relation between internal structure and external domain is carried by a stated bridge rule.
Marked unresolved The boundary remains open and is recorded as such.

Externalities by domain

In mathematics, externalities include hidden metatheory, proof assumptions, encodings, and untracked dependence.

In physics, they include background spacetime, units, constants, measurement, regimes, empirical bridge rules, and explanatory parameters.

In life, they include boundary conditions, organization, agency, heredity, development, ecology, and mind/life transitions.

In metaphysics, they include being, identity, relation, causality, modality, truth, language, value, and the ultimate boundary of the account.

What the rule does not mean

No Externalities does not mean the program has already solved everything. It does not mean boundaries disappear. It does not mean empirical science is optional. It does not mean classical mathematics is rejected.

It means a boundary cannot remain hidden while the claim depending on it is treated as complete.

Relation to substrate

Substrate Non-Deferral is a special case of this rule. If a framework depends on computation, information, law, or formal execution, it must say what carries that dependence or how the dependence is removed.

Open frontiers

The program should be judged partly by how cleanly it exposes what remains external. A well-marked unresolved boundary is better than a hidden one.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert