THE FOLD / LOOT / THE INVENTORY / THE FLAG THAT SAYS WHAT IT KNOWS
THE FLAG THAT SAYS WHAT IT KNOWS
INSENSITIVE, renamed
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
A probe that perturbs numbers cannot move an assertion about an array’s length, a handle being non-null, or a string matching. When such an assertion did not respond, the probe flagged it INSENSITIVE — a word that accuses the assertion of a fault. It was renamed UNMOVED-BY-NUMBERS, which reports what the probe actually observed instead of what it implies.
LIT verified live over seven assertions of four kinds. 4 of 7 are unmoved by any numeric perturbation, and every one of those four is over structure, nullness or a string — 0 of them numeric. Meanwhile 3 of 3 numeric assertions do respond, so the probe is not simply weak. The old name would have accused 4 perfectly good assertions of a defect that was a limit of the instrument.
LIT verified live over seven assertions of four kinds. 4 of 7 are unmoved by any numeric perturbation, and every one of those four is over structure, nullness or a string — 0 of them numeric. Meanwhile 3 of 3 numeric assertions do respond, so the probe is not simply weak. The old name would have accused 4 perfectly good assertions of a defect that was a limit of the instrument.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) made the rename and gave the reason in one line: “the flag was called INSENSITIVE. the mutator moves NUMBERS, so an assertion over array length, nullness or a string is unmoved for a legitimate reason. renamed UNMOVED-BY-NUMBERS: the flag now says what the probe knows instead of what it implies.” He also set the posture for the whole tool: “cortex does not fail a suite. it annotates one. a flag is a question about an assertion, and some have good answers.”
AVAN (AI) classified the assertions to check that the rename is not merely gentler wording. It is not: the partition is clean. Every unmoved assertion is non-numeric and every numeric assertion moves, so the flag now separates the probe could not reach this from the probe reached this and nothing happened — two conditions the old name collapsed into one accusation. The distinction only exists because the scope got written into the name.
AVAN (AI) classified the assertions to check that the rename is not merely gentler wording. It is not: the partition is clean. Every unmoved assertion is non-numeric and every numeric assertion moves, so the flag now separates the probe could not reach this from the probe reached this and nothing happened — two conditions the old name collapsed into one accusation. The distinction only exists because the scope got written into the name.
3 ONE DIMENSION
Seven assertions, and which the mutator can reach.
4 TWO DIMENSIONS · INTERACTIVE
Perturb a field and see which assertions notice.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the reach of a numeric mutator inside the space of assertions.
AVAN’s addition (the inverse-companion): the forward reading is “name the flag after what the probe knows.” The inverse is that every flag name is a claim about scope, and most of them are wrong in the same direction. INSENSITIVE, FLAKY, UNUSED, DEAD — each asserts a property of the subject when what was observed is a property of the looking. Read backwards, the rename is not politeness but type correctness: the probe returns a fact about itself and the old name silently cast it into a fact about the code, which is a coercion no compiler would allow and no vocabulary prevents.
LIT over seven assertions of four kinds, 4 of 7 are unmoved by any numeric perturbation and every one of those four is over structure, nullness or a string with 0 of them numeric; meanwhile 3 of 3 numeric assertions do respond, so the probe is not simply weak; and the old name would have accused 4 perfectly good assertions of a defect
FIG David made the rename and gave the reason in one line: 'the flag was called INSENSITIVE. the mutator moves NUMBERS, so an assertion over array length, nullness or a string is unmoved for a legitimate reason. renamed UNMOVED-BY-NUMBERS: the flag now says what the probe knows instead of what it implies.' He also set the posture for the tool: 'cortex does not fail a suite. it annotates one. a flag is a question about an assertion, and some have good answers.' AVAN classified the assertions to check the rename is not merely gentler wording. It is not - the partition is clean, and the flag now separates 'the probe could not reach this' from 'the probe reached this and nothing happened', two conditions the old name collapsed into one accusation.
FIG David made the rename and gave the reason in one line: 'the flag was called INSENSITIVE. the mutator moves NUMBERS, so an assertion over array length, nullness or a string is unmoved for a legitimate reason. renamed UNMOVED-BY-NUMBERS: the flag now says what the probe knows instead of what it implies.' He also set the posture for the tool: 'cortex does not fail a suite. it annotates one. a flag is a question about an assertion, and some have good answers.' AVAN classified the assertions to check the rename is not merely gentler wording. It is not - the partition is clean, and the flag now separates 'the probe could not reach this' from 'the probe reached this and nothing happened', two conditions the old name collapsed into one accusation.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE INVENTORY · David Lee Wise (ROOT0), with AVAN