Sufficiently, Not Maximally

Watch: sufficiently-not-maximally.mp4. 2 minutes 30 seconds, 1280x720, with score. Chalk on slate, three rooms, one argument. Watch it through; the third room is the point, and the last caption before the end card is the reason the third room exists.

The film is code: film.py. One script synthesizes the score, renders all 3,600 frames, and stitches the film with ffmpeg. Deterministic, seeded at 20260811, the day the SIAP note was written into the vault. Run it twice, get the same film twice. Requires Python with numpy and matplotlib, ffmpeg, and the Ink Free and Century Schoolbook fonts that ship with Windows.

Source material: the SIAP trio at vault root, read whole, read-only, nothing touched: Self-Indexed Arbitration Principle (SIAP) Thread (the continuation packet, audit manifest, claims ledger, and checkpoint), SIAP and the Unified Supposition (the live thread note), and Unified supposition (the constraint arc, propose-only, and it stays exactly as found). First creative run into the SIAP corpus.

Medium shift, per the diversity mandate: the last five runs were all survey paper: field guide, excavation report, seed catalog, volvelles, a QSL card. This run leaves paper entirely. It is a film, the third in the catalog and the first animated mathematics, and the palette leaves the aged-cream world too: slate green-black, chalk white, one vermilion. Chalk because that is the native medium of the theorems the source leans on; Brouwer and Presburger lived on blackboards.

The one idea

The SIAP thread is a consciousness argument built out of fixed point theorems, and its own claims ledger contains the image the film animates. Claim K002: a continuous self-map of a disk must hold some point still (Brouwer), but a continuous self-map of an annulus can be fixed point free; rotation works, because convexity supplies contractibility, not confinement. And the converged SIAP wording says what an inside is: "being the irreducible referent for the scale by which those stakes become comparable."

Put the two next to each other and the film writes itself. The referent is the hole.

Room I, the open plane. Under-constraint. The vector field does not close; particles streak off the frame and are gone; the room keeps introducing new ones and loses every one. Caption: nothing persists. This is the lower edge of the interval, the Russell and Gödel edge, where unconstrained self-reference tears itself apart.

Room II, the disk. Over-constraint. The room closes completely and Brouwer collects his fee: the same turning motion, but every trajectory spirals into the one point the theorem guarantees, and the room ends frozen, a single vermilion dot holding all of it. Caption, which is Presburger's epitaph and the thread's correction in four words: complete, decidable, silent, and then the line the whole title comes from: total closure has nothing to arbitrate.

Room III, the annulus. The same pull and the same turning, one point removed. The center is not in the room, so nothing can settle there; the particles fall toward the still point, catch on the rim of the hole, and orbit. Forever. The film gives this room the longest reel because duration is the argument: a fixed point free map does not end, it continues. The hole gets its label in vermilion, the only proper noun in the room: the referent. Everything orbits it. Nothing rests on it. The map never touches the thing the whole motion is organized around, which is the SIAP picture of a subject drawn with a compass.

The film is set between the two edges of the unified supposition's interval, and the credits keep the thread's open loop 3 intact: the interval's lower edge has names in four disciplines, the upper edge has none.

The score

Three movements on one clock, synthesized from sines and noise, nothing sampled. Room I gets a detuned cluster with no tonal center and 46 rising glissando pings, one per escape, thinning as the room empties. Room II gets a Zeno cadence: fifteen notes stepping down onto D, each interval 0.72 of the last, each gap 0.82 of the last, converging the way the particles do, then one held tone that decays into the freeze. Silence is the sound of a fixed point. Room III gets a two-hand ostinato on D minor pentatonic with unequal note lengths (0.55s against 0.63s), so the hands drift out of phase and realign on a long cycle, never cadencing; a third voice enters an octave up once the orbit is established. It does not resolve. It returns. A low D pedal runs under the whole film and swells in the third room, and every cut lands on a chalk tap.

Details that carry weight

• The three little glyphs on the title card are the whole plot: loose strokes, a circle with a dot, a circle with a hole.
• The fixed point in Room II sits off center, at no privileged location. Brouwer promises a point, not a throne.
• Room III's inward pull and turning are the same field shapes as Room II. Nothing about the map changed. Only the room did, which is the thread's own move: subjecthood as a fact about how the region is constituted, not about what the world does to it.
• The end card is the SIAP converged wording, quoted exactly, in Century Schoolbook against the chalk hand, because it is the one sentence in the film that is not the film's.