Executable Theory

Programming
Experiments

Small programs constructed from theoretical distinctions. Each experiment asks what must become observable when a claim is translated into states, transformations, constraints, interventions, and trajectories.

A demonstration asks whether an idea can be shown.
An experiment asks where it stops working.
12 experiments
11 scaffolds
1 prototypes
0 operational
Experiment Catalog
EXP / 001 prototype

Aspect Relegation

When can an explicitly controlled operation disappear into automatic execution, and what forces it back into explicit control?

Aspect Relegation Theory
EXP / 002 scaffold

Admissible Degradation

How much damage can a system absorb while preserving the conditions required for legitimate continuation?

Admissible Degradation
EXP / 003 scaffold

Continuation

What can reachable trajectories tell us that inspection of the present state cannot?

Continuation Geometry
EXP / 004 scaffold

Repair and Difference

Can a repair restore immediate function while destroying distinctions required for future behavior?

Difference-Preserving Repair
EXP / 005 scaffold

Refusal

What changes when refusal is represented as an explicit state transition rather than as missing output?

Explicit Refusal
EXP / 006 scaffold

Replay

What information must an event history preserve for reconstruction to remain semantically adequate?

Persistent State
EXP / 007 scaffold

Defeat

How does policy-relative defeat differ computationally from the structural existence of an attack?

Adversaria
EXP / 008 scaffold

No Scalar

Which distinctions disappear when multidimensional standing is compressed into a single score?

Scalar Inadequacy
EXP / 009 scaffold

Projection

What properties survive when a richer object is exposed through a restricted interface?

Projection and Interface
EXP / 010 scaffold

Unfinishedness

Can deliberately retained attachment points increase future reachability compared with completed structures?

Unfinishedness as Interface
EXP / 011 scaffold

Smoothness

When does smooth observable behavior conceal discontinuity or divergence in the process producing it?

The Smoothness Paradox
EXP / 012 scaffold

MEM|8

What becomes observable when transformation is decomposed into explicit POP, REFUSE, BIND, TRANSFORM, VERIFY, and COLLAPSE operations?

MEM|8
Experimental Contract

Each program should identify its theoretical claim, operational interpretation, manipulated variables, observable state, expected relationship, competing interpretation, and embarrassment condition. An interactive result is evidence about the implementation before it is evidence about the theory.