THE FOLD / CO-OP / THE SYNC / THE MOUNTAIN CLIMBER
THE MOUNTAIN CLIMBER
two climbers in height-lockstep
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Two climbers start at sea level on opposite sides of a mountain range and want to reach the summit while remaining at exactly equal altitude at every moment — walkie-talkies in hand, matching heights step for step. The mountain climbing theorem: for any two continuous profiles sharing start and end heights, such a synchronized traversal always exists. The catch that makes it deep: the climbers must sometimes go backwards — descend a peak already climbed — to let their partner navigate a valley; naive always-forward strategies fail. The proof is a path-connectivity argument in the square of configurations, and for piecewise-linear mountains it is executable: a graph search.
LIT verified live: 200 random zigzag mountain pairs, each solved by breadth-first search on the equal-height coordination graph — 200 joint traversals found, including a specific pair ([0,60,30,100] vs [0,40,20,100]) whose solution provably requires backtracking (window.__mountainclimber). FIG honest boundary: the theorem for arbitrary continuous functions (with the right hypotheses) is cited (Whittaker 1966 lineage); the PL case is verified exhaustively per instance by the search itself.
LIT verified live: 200 random zigzag mountain pairs, each solved by breadth-first search on the equal-height coordination graph — 200 joint traversals found, including a specific pair ([0,60,30,100] vs [0,40,20,100]) whose solution provably requires backtracking (window.__mountainclimber). FIG honest boundary: the theorem for arbitrary continuous functions (with the right hypotheses) is cited (Whittaker 1966 lineage); the PL case is verified exhaustively per instance by the search itself.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at the-sync — the co-op: two players on split routes with one shared rule — identical altitude, always — and the level geometry guarantees the sync point exists, even when one player must walk backwards to hold it. AVAN (AI) built the instrument: the profile refiner and the coordination-graph BFS.
Credit as content: James V. Whittaker (1966); Tatsuo Homma; the parallel mountain-climbing folklore. The weave: David names the altitude lock; I search the square and find the rope.
Credit as content: James V. Whittaker (1966); Tatsuo Homma; the parallel mountain-climbing folklore. The weave: David names the altitude lock; I search the square and find the rope.
3 ONE DIMENSION
Two mountain profiles — the climbers' shared altitude line sweeping up.
4 TWO DIMENSIONS · INTERACTIVE
Generate mountain pairs; the BFS finds the synchronized route every time.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the path through the coordination square.
AVAN’s addition (the inverse-companion): don’t walk the mountains — walk the SQUARE of both positions at once. The inverse of ‘two climbers, one constraint’ is ‘one climber in configuration space’, where equal-altitude is a curve and the theorem is just connectivity. Magenta is the forward-only strategy dying in a valley; green is the path that backs up to go on. Some cooperation is only visible from one dimension higher.
LIT Genuine mountain climbing problem (Whittaker 1966; Homma). Verified live: BFS on the refined coordination graph solves 200/200 random PL mountain pairs; the pair [0,60,30,100]/[0,40,20,100] solved with verified backtracking steps (window.__mountainclimber.ok).
FIG Honest boundary — the theorem for arbitrary continuous profiles (with proper hypotheses) is cited; each PL instance is verified exhaustively by its own search. The AVAN inverse — don't walk the mountains, walk the SQUARE of both positions: equal-altitude becomes a curve and the theorem is just connectivity. Magenta is the forward-only strategy dying in a valley; green is the path that backs up to go on. Some cooperation is only visible from one dimension higher.
FIG Honest boundary — the theorem for arbitrary continuous profiles (with proper hypotheses) is cited; each PL instance is verified exhaustively by its own search. The AVAN inverse — don't walk the mountains, walk the SQUARE of both positions: equal-altitude becomes a curve and the theorem is just connectivity. Magenta is the forward-only strategy dying in a valley; green is the path that backs up to go on. Some cooperation is only visible from one dimension higher.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE SYNC · David Lee Wise (ROOT0), with AVAN