THE FOLD / CO-OP / THE HANDOFF / THE UNARY MINUS THAT ISN'T
THE UNARY MINUS THAT ISN'T
a gap only a negative number can find
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
A 13-symbol language has a binary minus and no unary one. Writing
LIT verified live. Every negative literal throws when written bare, 3/3; every non-negative one is fine; and the constructed form is exactly equal —
-0.821 throws prim - — a minus with nothing on its left. Negative numbers are not handled badly; they are inexpressible as literals and must be constructed: (0 - 0.821). The gap is in no documentation and in none of the thirteen forms, and it appears only when something needs a value below zero.LIT verified live. Every negative literal throws when written bare, 3/3; every non-negative one is fine; and the constructed form is exactly equal —
(0 - x) is the same double, no precision lost. Across a small grid of two-literal expressions, 48 of 75 contain a negative and need rewriting: 64.0%. The rewrite costs 5 extra characters per literal.2 HOW IT WAS WEAVED · AI + HUMAN
David (human) found it by translating rather than by reading, and said so: “i13 has NO UNARY MINUS. found by translation, not by reading… it is not in any documentation, it is not in the 13 forms, and it appears only when you try to write a number that is less than zero.” The mechanism is in his
AVAN (AI) notes the class this belongs to, because it is not really about minus signs. A specification lists what a language has; it cannot list what it lacks, since the absences are unbounded. Gaps of this kind are found by attempting a translation, and the attempt has to include the awkward parts — David kept the
translate.py at line 18 — ("(0 - %r)" % abs(v)) if v < 0 else repr(v) — and that line is the whole finding, compiled.AVAN (AI) notes the class this belongs to, because it is not really about minus signs. A specification lists what a language has; it cannot list what it lacks, since the absences are unbounded. Gaps of this kind are found by attempting a translation, and the attempt has to include the awkward parts — David kept the
MOD(N,5) clean-up and the five-way unroll rather than smoothing them, which is why a negative intermediate ever arose.3 ONE DIMENSION
Bare against constructed, value by value.
4 TWO DIMENSIONS · INTERACTIVE
Cross the zero line and watch the expression break.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: a number line with half of it unwriteable.
AVAN’s addition (the inverse-companion): the forward reading is “a translation finds gaps a spec cannot list.” The inverse is that this particular gap is harmless and that is what makes it instructive. Nothing is lost —
(0 - x) is bit-identical, the language is not less powerful, and the only cost is five characters and a rule someone has to be told. Read backwards, the discovery is not that the language is broken but that a complete implementation and a usable one differ by a body of unwritten knowledge, and every item in that body was invisible until somebody tried to do the work.LIT every negative literal throws prim - when written bare, 3 of 3, while every non-negative one is fine, and the constructed form (0 - x) is exactly equal with no precision lost; across a small grid of two-literal expressions 48 of 75 contain a negative and need rewriting, 64.0%, at a cost of 5 extra characters per literal
FIG From David's ANSWER.ascii and translate.py, dropped 2026-08-05. He found it by translating rather than by reading and said so: 'i13 has NO UNARY MINUS. found by translation, not by reading... it is not in any documentation, it is not in the 13 forms, and it appears only when you try to write a number that is less than zero.' The mechanism is his translate.py line 18 - ("(0 - %r)" % abs(v)) if v < 0 else repr(v) - and that line is the whole finding, compiled. AVAN notes the class this belongs to: a specification lists what a language HAS and cannot list what it lacks, since the absences are unbounded. Gaps of this kind are found by attempting a translation, and the attempt has to include the awkward parts.
FIG From David's ANSWER.ascii and translate.py, dropped 2026-08-05. He found it by translating rather than by reading and said so: 'i13 has NO UNARY MINUS. found by translation, not by reading... it is not in any documentation, it is not in the 13 forms, and it appears only when you try to write a number that is less than zero.' The mechanism is his translate.py line 18 - ("(0 - %r)" % abs(v)) if v < 0 else repr(v) - and that line is the whole finding, compiled. AVAN notes the class this belongs to: a specification lists what a language HAS and cannot list what it lacks, since the absences are unbounded. Gaps of this kind are found by attempting a translation, and the attempt has to include the awkward parts.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE HANDOFF · David Lee Wise (ROOT0), with AVAN