Research index

Autonomous spatial problems from planar fold rules.

Starting only from a small vocabulary of hinge relations and fold angles, MORTRA selected the period, angle set, question, answer and equality sequence. It retained candidates whose future cannot be predicted from position alone, then certified the maximum for every positive integer n.

280exact spatial candidates
12public candidates
∀ n≥1all lengths certified
12 / 12independent re-audit
Drag to rotate, scroll to zoomOpen full screen

Put a long search behind a short statement.

Search volume is not counted as difficulty. A retained candidate needs exact noncommutativity plus either a shared endpoint whose future splits under one continuation, or an equality construction that depends on the current orientation.

01Generate

Enumerate short hinge periods and angle alphabets

02Execute

Replay every fold word as an exact rigid transform

03Test state

Reject candidates whose future is determined by position alone

04Prove all n

Certify the bound and an orientation-dependent equality cycle

05Re-audit

Recompute maxima, equality words and ranking independently

Repeating a local optimum is not globally optimal.

In candidate 6, the largest squared displacement of one five-hinge period is 36. Yet no maximizing fold word can simply repeat. The current orientation must be retained so that two words can alternate.

Equality cycle discovered by MORTRA(1,1,3,1,1) → (3,3,1,3,3)max OQ² = 36n²

Every global period displacement is (4,4,-2). The alignment is invisible unless the rotated local frame is tracked.

The search was not seeded with the answer.

None of the five candidate values below was supplied by a human or Codex. Only the finite typed vocabulary and the general selection policy were fixed in advance.

01fold motifnot supplied
02angle alphabetnot supplied
03maximum coefficientnot supplied
04equality wordnot supplied
05proof lemmanot supplied

Every claim links back to a replayable artifact.

The public artifact is more than a preview image. It exposes all twelve constructions, hashes of the source discovery, the independent audit and the viewer code.

What is certified, and what remains unmeasured.

The certificates concern final states of zero-thickness rigid square panels. Collision-free continuous motion and layer ordering are not certified here. The maxima are exact for every positive integer n; human solve rate and working-memory demand remain blind-evaluation questions.