openalgo-script 0.1.0-alpha.1 → 0.4.0

package/spec/errors.json

@@ -92,7 +92,7 @@
       },
       "spec": "language.md 3.1, 3.3, 3.12",
       "refines": null,
-      "test": "tests/errors/OS1001"
+      "test": "tests/examples/rejected/OS1001.oscript"
     },
     {
       "code": "OS1002",
@@ -111,7 +111,7 @@
       },
       "spec": "language.md 3.10",
       "refines": null,
-      "test": "tests/errors/OS1002"
+      "test": "tests/examples/rejected/OS1002.oscript"
     },
     {
       "code": "OS1003",
@@ -129,12 +129,12 @@
       "fix": "Indent this line to {expected} spaces to keep it in the block, or to {line}'s own indentation to end the block here.",
       "autofix": true,
       "example": {
-        "before": "if trending\n    fast = ema(close, 9)\n     slow = ema(close, 21)",
-        "after": "if trending\n    fast = ema(close, 9)\n    slow = ema(close, 21)"
+        "before": "if trending\n    body = close - open\n     wick = high - low",
+        "after": "if trending\n    body = close - open\n    wick = high - low"
       },
       "spec": "language.md 3.10",
       "refines": null,
-      "test": "tests/errors/OS1003"
+      "test": "tests/examples/rejected/OS1003.oscript"
     },
     {
       "code": "OS1004",
@@ -155,7 +155,7 @@
       },
       "spec": "language.md 3.6",
       "refines": null,
-      "test": "tests/errors/OS1004"
+      "test": "tests/examples/rejected/OS1004.oscript"
     },
     {
       "code": "OS1005",
@@ -176,7 +176,7 @@
       },
       "spec": "language.md 3.6",
       "refines": "OS1004",
-      "test": "tests/errors/OS1005"
+      "test": "tests/examples/rejected/OS1005.oscript"
     },
     {
       "code": "OS1006",
@@ -195,7 +195,7 @@
       },
       "spec": "language.md 10.1",
       "refines": null,
-      "test": "tests/errors/OS1006"
+      "test": "tests/examples/rejected/OS1006.oscript"
     },
     {
       "code": "OS1007",
@@ -214,7 +214,7 @@
       },
       "spec": "language.md 3.10",
       "refines": null,
-      "test": "tests/errors/OS1007"
+      "test": "tests/examples/rejected/OS1007.oscript"
     },
     {
       "code": "OS1008",
@@ -236,7 +236,7 @@
       },
       "spec": "language.md 9.3",
       "refines": null,
-      "test": "tests/errors/OS1008"
+      "test": "tests/examples/rejected/OS1008.oscript"
     },
     {
       "code": "OS1009",
@@ -257,7 +257,7 @@
       },
       "spec": "language.md 10.5",
       "refines": null,
-      "test": "tests/errors/OS1009"
+      "test": "tests/examples/rejected/OS1009.oscript"
     },
     {
       "code": "OS1010",
@@ -278,7 +278,7 @@
       },
       "spec": "language.md 3.10",
       "refines": null,
-      "test": "tests/errors/OS1010"
+      "test": "tests/examples/rejected/OS1010.oscript"
     },
     {
       "code": "OS1011",
@@ -299,7 +299,7 @@
       },
       "spec": "language.md 8.2",
       "refines": null,
-      "test": "tests/errors/OS1011"
+      "test": "tests/examples/rejected/OS1011.oscript"
     },
     {
       "code": "OS1012",
@@ -321,7 +321,7 @@
       },
       "spec": "language.md 3.11",
       "refines": null,
-      "test": "tests/errors/OS1012"
+      "test": "tests/examples/rejected/OS1012.oscript"
     },
     {
       "code": "OS1013",
@@ -345,7 +345,7 @@
       },
       "spec": "language.md 19",
       "refines": null,
-      "test": "tests/errors/OS1013"
+      "test": "tests/examples/rejected/OS1013.oscript"
     },
     {
       "code": "OS1014",
@@ -366,7 +366,7 @@
       },
       "spec": "language.md 11.2",
       "refines": null,
-      "test": "tests/errors/OS1014"
+      "test": "tests/examples/rejected/OS1014.oscript"
     },
     {
       "code": "OS1015",
@@ -385,7 +385,7 @@
       },
       "spec": "language.md 9.5",
       "refines": null,
-      "test": "tests/errors/OS1015"
+      "test": "tests/examples/rejected/OS1015.oscript"
     },
     {
       "code": "OS1016",
@@ -407,7 +407,7 @@
       },
       "spec": "language.md 10.2",
       "refines": null,
-      "test": "tests/errors/OS1016"
+      "test": "tests/examples/rejected/OS1016.oscript"
     },
     {
       "code": "OS1017",
@@ -428,7 +428,7 @@
       },
       "spec": "language.md 10.6",
       "refines": null,
-      "test": "tests/errors/OS1017"
+      "test": "tests/examples/rejected/OS1017.oscript"
     },
     {
       "code": "OS1018",
@@ -449,7 +449,7 @@
       },
       "spec": "language.md 3.10",
       "refines": null,
-      "test": "tests/errors/OS1018"
+      "test": "tests/examples/rejected/OS1018.oscript"
     },
     {
       "code": "OS1019",
@@ -471,7 +471,7 @@
       },
       "spec": "language.md 3.4",
       "refines": null,
-      "test": "tests/errors/OS1019"
+      "test": "tests/examples/rejected/OS1019.oscript"
     },
     {
       "code": "OS1020",
@@ -492,7 +492,7 @@
       },
       "spec": "language.md 10.3",
       "refines": null,
-      "test": "tests/errors/OS1020"
+      "test": "tests/examples/rejected/OS1020.oscript"
     },
     {
       "code": "OS1021",
@@ -513,7 +513,7 @@
       },
       "spec": "language.md 4",
       "refines": null,
-      "test": "tests/errors/OS1021"
+      "test": "tests/examples/rejected/OS1021.oscript"
     },
     {
       "code": "OS1022",
@@ -530,11 +530,11 @@
       "autofix": false,
       "example": {
         "before": "len = input(14, \"Length\") +",
-        "after": "len = input(14, \"Length\") + 1"
+        "after": "len = input(14, \"Length\")"
       },
       "spec": "language.md 3.11",
       "refines": null,
-      "test": "tests/errors/OS1022"
+      "test": "tests/examples/rejected/OS1022.oscript"
     },
     {
       "code": "OS1023",
@@ -551,11 +551,11 @@
       "autofix": false,
       "example": {
         "before": "if trending\n    fn smoothed(src) => sma(src, 9)\n    plot(smoothed(close), \"Smooth\", aqua)",
-        "after": "fn smoothed(src) => sma(src, 9)\n\nif trending\n    plot(smoothed(close), \"Smooth\", aqua)"
+        "after": "fn smoothed(src) => sma(src, 9)\n\nsmooth = smoothed(close)\nplot(trending ? smooth : none, \"Smooth\", aqua)"
       },
       "spec": "language.md 11.1",
       "refines": null,
-      "test": "tests/errors/OS1023"
+      "test": "tests/examples/rejected/OS1023.oscript"
     },
     {
       "code": "OS1024",
@@ -576,7 +576,7 @@
       },
       "spec": "language.md 9.6, 14.1, 19",
       "refines": null,
-      "test": "tests/errors/OS1024"
+      "test": "tests/examples/rejected/OS1024.oscript"
     },
     {
       "code": "OS1025",
@@ -598,7 +598,7 @@
       },
       "spec": "language.md 15.2, 19",
       "refines": null,
-      "test": "tests/errors/OS1025"
+      "test": "tests/examples/rejected/OS1025.oscript"
     },
     {
       "code": "OS1026",
@@ -619,7 +619,7 @@
       },
       "spec": "language.md 3.2",
       "refines": null,
-      "test": "tests/errors/OS1026"
+      "test": "tests/examples/rejected/OS1026.oscript"
     },
     {
       "code": "OS1027",
@@ -640,7 +640,7 @@
       },
       "spec": "language.md 3.8",
       "refines": "OS1001",
-      "test": "tests/errors/OS1027"
+      "test": "tests/examples/rejected/OS1027.oscript"
     },
     {
       "code": "OS1028",
@@ -663,7 +663,7 @@
       },
       "spec": "language.md 3.11",
       "refines": "OS1003",
-      "test": "tests/errors/OS1028"
+      "test": "tests/examples/rejected/OS1028.oscript"
     },
     {
       "code": "OS1029",
@@ -685,7 +685,7 @@
       },
       "spec": "language.md 3.3, 3.5",
       "refines": "OS1001",
-      "test": "tests/errors/OS1029"
+      "test": "tests/examples/rejected/OS1029.oscript"
     },
     {
       "code": "OS2001",
@@ -707,7 +707,7 @@
       },
       "spec": "language.md 12.2, 12.5",
       "refines": null,
-      "test": "tests/errors/OS2001"
+      "test": "tests/unit/check-names.test.ts"
     },
     {
       "code": "OS2002",
@@ -729,7 +729,7 @@
       },
       "spec": "language.md 12.3, 12.4",
       "refines": null,
-      "test": "tests/errors/OS2002"
+      "test": "tests/unit/check-names.test.ts"
     },
     {
       "code": "OS2003",
@@ -739,11 +739,11 @@
       "since": 1,
       "message": "{leftType} and {rightType} do not mix here.",
       "placeholders": {
-        "leftType": "the type of the left operand or of the name's first assignment",
+        "leftType": "the type of the left operand or of the name's first assignment, or the words a per-bar value where the position takes a value of any type and a declaration handle was written",
         "rightType": "the type of the right operand or of the value being assigned"
       },
       "cause": "There is no implicit conversion anywhere in the language: 0 is not false, an empty string is not false, and a number is not a string. A name's type is fixed by its first assignment, so assigning a different type later arrives here too. A first assignment of none fixes no type, because none is a member of every type; the type comes from the first assignment that gives a definite one, and this code names the second definite type rather than the first. Every silent coercion rule is a source of bugs that survive review, and a trading script that quietly treats a zero as a false is a bug nobody finds until it costs money. A declaration handle arrives here as well: plot(), plotCandles(), fill() and level() return the compile-time half of a declaration (language.md 5.4), so a handle in a position that requires a value has nothing to give, and the message names its type as plot, fill or level.",
-      "fix": "Convert explicitly: text(x) for a string, number(s) for a number, bool(x) for a bool, or use a separate name for the second value. A plot, fill or level handle converts to nothing: leave it named at the top level, pass it to fill(), and use draw.line() or draw.box() where the script needs something it can keep.",
+      "fix": "Convert explicitly: text(x) for a string, or text(x, decimals) to fix the decimals. Where no conversion applies, write the value in the type the line needs, or give the second value a name of its own. A plot, fill or level handle converts to nothing: leave it named at the top level, pass it to fill(), and use draw.line() or draw.box() where the script needs something it can keep.",
       "autofix": false,
       "example": {
         "before": "s = \"count: \" + 5",
@@ -751,7 +751,7 @@
       },
       "spec": "language.md 5.3, 5.4, 10.1",
       "refines": null,
-      "test": "tests/errors/OS2003"
+      "test": "tests/unit/check-handles.test.ts"
     },
     {
       "code": "OS2004",
@@ -764,7 +764,7 @@
         "expr": "the expression the history operator was applied to"
       },
       "cause": "History is retained for four kinds of value: a built-in series, a name assigned at the top level of the file, a call to a function declared to return a series, and a series parameter of a user function. Retaining it for every temporary inside every block would cost memory per bar and would not run fifty thousand bars in a browser tab. A name bound to a declaration handle is none of the four, although it sits at the top level: it is a compile-time binding with no per-bar value at all. A runtime object carries no history either, so [] on a line, a label, a box, a polyline or a table is this error as well (language.md 5.4).",
-      "fix": "Assign the value to a name at the top level of the file, then read that name's history.",
+      "fix": "If the value is a per-bar number computed inside a block or left as a temporary, assign it at the top level of the file and read the history of that top level name. If it is a declaration handle, a runtime object or a library fact that is not a series, no name gives it a history: assign what you want to look back at to a top level name of its own, and read that.",
       "autofix": false,
       "example": {
         "before": "if trending\n    body = close - open\n    plot(body[1], \"Previous body\", aqua)",
@@ -772,7 +772,7 @@
       },
       "spec": "language.md 5.2, 5.4",
       "refines": null,
-      "test": "tests/errors/OS2004"
+      "test": "tests/unit/check-types.test.ts"
     },
     {
       "code": "OS2005",
@@ -794,7 +794,7 @@
       },
       "spec": "language.md 11.4",
       "refines": null,
-      "test": "tests/errors/OS2005"
+      "test": "tests/unit/check-names.test.ts"
     },
     {
       "code": "OS2006",
@@ -815,7 +815,7 @@
       },
       "spec": "language.md 10.3",
       "refines": null,
-      "test": "tests/errors/OS2006"
+      "test": "tests/unit/check-names.test.ts"
     },
     {
       "code": "OS2007",
@@ -834,7 +834,7 @@
       },
       "spec": "language.md 13.1",
       "refines": null,
-      "test": "tests/errors/OS2007"
+      "test": "tests/unit/check-support.ts"
     },
     {
       "code": "OS2008",
@@ -856,7 +856,7 @@
       },
       "spec": "language.md 13.1",
       "refines": null,
-      "test": "tests/errors/OS2008"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS2009",
@@ -879,7 +879,7 @@
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS2009"
+      "test": "tests/unit/check-names.test.ts"
     },
     {
       "code": "OS2010",
@@ -902,7 +902,7 @@
       },
       "spec": "language.md 15.1",
       "refines": null,
-      "test": "tests/errors/OS2010"
+      "test": null
     },
     {
       "code": "OS2011",
@@ -924,7 +924,7 @@
       },
       "spec": "language.md 5.3, 10.2",
       "refines": "OS2003",
-      "test": "tests/errors/OS2011"
+      "test": "tests/unit/check-types.test.ts"
     },
     {
       "code": "OS2012",
@@ -938,7 +938,7 @@
         "rightType": "the type of the arm after the colon"
       },
       "cause": "The ternary yields one value, so both arms must agree on its type. The one exception is none, which is a member of every type and is how an arm says there is nothing here.",
-      "fix": "Make both arms the same type with text() or number(), or use none for the empty arm.",
+      "fix": "Make both arms the same type with text() or toNumber(), or use none for the empty arm.",
       "autofix": false,
       "example": {
         "before": "label = up ? 1 : \"down\"",
@@ -946,7 +946,7 @@
       },
       "spec": "language.md 9.5",
       "refines": "OS2003",
-      "test": "tests/errors/OS2012"
+      "test": "tests/unit/check-types.test.ts"
     },
     {
       "code": "OS2013",
@@ -969,7 +969,7 @@
       },
       "spec": "language.md 14.1",
       "refines": "OS2003",
-      "test": "tests/errors/OS2013"
+      "test": "tests/unit/check-types.test.ts"
     },
     {
       "code": "OS2014",
@@ -990,7 +990,7 @@
       },
       "spec": "language.md 11.1, 18",
       "refines": null,
-      "test": "tests/errors/OS2014"
+      "test": "tests/emit/worked-example.test.ts"
     },
     {
       "code": "OS2015",
@@ -1009,7 +1009,7 @@
       },
       "spec": "language.md 14.1",
       "refines": null,
-      "test": "tests/errors/OS2015"
+      "test": "tests/unit/check-types.test.ts"
     },
     {
       "code": "OS2016",
@@ -1030,7 +1030,7 @@
       },
       "spec": "language.md 5.1, 5.4, 19",
       "refines": null,
-      "test": "tests/errors/OS2016"
+      "test": "tests/unit/check-types.test.ts"
     },
     {
       "code": "OS2017",
@@ -1052,7 +1052,7 @@
       },
       "spec": "language.md 11.1",
       "refines": null,
-      "test": "tests/errors/OS2017"
+      "test": "tests/unit/check-names.test.ts"
     },
     {
       "code": "OS2018",
@@ -1073,7 +1073,7 @@
       },
       "spec": "language.md 11.2",
       "refines": null,
-      "test": "tests/errors/OS2018"
+      "test": "tests/unit/check-names.test.ts"
     },
     {
       "code": "OS2019",
@@ -1094,7 +1094,28 @@
       },
       "spec": "language.md 5.4, 14.1, 19",
       "refines": "OS2016",
-      "test": "tests/errors/OS2019"
+      "test": "tests/unit/check-types.test.ts"
+    },
+    {
+      "code": "OS2020",
+      "title": "Name is planned, not implemented",
+      "severity": "error",
+      "stage": "check",
+      "since": 1,
+      "message": "{name} is planned and is not implemented in this version.",
+      "placeholders": {
+        "name": "the planned name that was called or read"
+      },
+      "cause": "The library names a few calls and facts it does not implement yet, so that the gap is visible rather than left for a reader to guess at (stdlib.md 1). The checker knows this name and knows it carries no behaviour, which is a different fact from a name it has never heard of: nothing about the spelling is wrong, no line above it would help, and the name starts working on a version that implements it.",
+      "fix": "Compute what {name} would give from names the library implements today, or take the line out until a version implements it. Do not reach for the nearest name that compiles: a neighbour computes something else, and a plot that quietly changes meaning is worse than one that refuses to compile.",
+      "autofix": false,
+      "example": {
+        "before": "zScore = (close - sma(close, 20)) / stdev(close, 20)\nplot(math.tanh(zScore), \"Squashed\", aqua)",
+        "after": "zScore = (close - sma(close, 20)) / stdev(close, 20)\ndoubled = exp(2 * zScore)\nplot((doubled - 1) / (doubled + 1), \"Squashed\", aqua)"
+      },
+      "spec": "stdlib.md 1",
+      "refines": "OS2001",
+      "test": "tests/unit/check-names.test.ts"
     },
     {
       "code": "OS3001",
@@ -1113,12 +1134,12 @@
       "fix": "Pass the arguments the signature names: {signature}.",
       "autofix": false,
       "example": {
-        "before": "e = ema(close)",
+        "before": "e = ema(close, 9, 2)",
         "after": "e = ema(close, 9)"
       },
       "spec": "language.md 11.2",
       "refines": null,
-      "test": "tests/errors/OS3001"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3002",
@@ -1142,7 +1163,7 @@
       },
       "spec": "language.md 11.2",
       "refines": null,
-      "test": "tests/errors/OS3002"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3003",
@@ -1159,11 +1180,11 @@
       "autofix": false,
       "example": {
         "before": "study(\"Range\", precision = round(close / 1000))",
-        "after": "study(\"Range\", precision = input(2, \"Precision\"))"
+        "after": "study(\"Range\", precision = input(2, \"precision\"))"
       },
       "spec": "language.md 13.2, 15.3",
       "refines": null,
-      "test": "tests/errors/OS3003"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3004",
@@ -1182,12 +1203,12 @@
       "fix": "Pass a whole number inside {range}, and wrap a computed value in floor() or round().",
       "autofix": false,
       "example": {
-        "before": "s = sma(close, len / 2)",
-        "after": "s = sma(close, floor(len / 2))"
+        "before": "t = table(\"Summary\", 2.5, 2)",
+        "after": "t = table(\"Summary\", 3, 2)"
       },
       "spec": "language.md 5.1, 10.3",
       "refines": null,
-      "test": "tests/errors/OS3004"
+      "test": "tests/engine/machine.test.ts"
     },
     {
       "code": "OS3005",
@@ -1206,7 +1227,7 @@
       },
       "spec": "language.md 11.2",
       "refines": null,
-      "test": "tests/errors/OS3005"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3006",
@@ -1228,7 +1249,7 @@
       },
       "spec": "language.md 7.1, 15.3; stdlib.md 17.6",
       "refines": null,
-      "test": "tests/errors/OS3006"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3007",
@@ -1243,11 +1264,11 @@
       "autofix": false,
       "example": {
         "before": "if useBand\n    len = input(20, \"Length\")",
-        "after": "len = input(20, \"Length\")\nif useBand\n    b = sma(close, len)"
+        "after": "len = input(20, \"Length\")\nb = sma(close, len)\nplot(useBand ? b : none, \"Band\", aqua)"
       },
       "spec": "language.md 13.4",
       "refines": null,
-      "test": "tests/errors/OS3007"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3008",
@@ -1271,7 +1292,7 @@
       },
       "spec": "language.md 13.3",
       "refines": null,
-      "test": "tests/errors/OS3008"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3009",
@@ -1289,12 +1310,12 @@
       "fix": "Set {required} in the declaration, or choose a value of {option} that stands on its own.",
       "autofix": false,
       "example": {
-        "before": "study(\"Ticks\")\n\nif close > open\n    alert(\"Up\", frequency = \"everyUpdate\")",
-        "after": "study(\"Ticks\", onUnconfirmed = true)\n\nif close > open\n    alert(\"Up\", frequency = \"everyUpdate\")"
+        "before": "study(\"Ticks\")\n\nif close > open\n    alert(\"Up\", id = \"up\", frequency = \"everyUpdate\")",
+        "after": "study(\"Ticks\", onUnconfirmed = true)\n\nif close > open\n    alert(\"Up\", id = \"up\", frequency = \"everyUpdate\")"
       },
       "spec": "language.md 7.5, 13.2",
       "refines": null,
-      "test": "tests/errors/OS3009"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3010",
@@ -1316,7 +1337,7 @@
       },
       "spec": "language.md 13.3, 15.3",
       "refines": null,
-      "test": "tests/errors/OS3010"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3011",
@@ -1332,7 +1353,7 @@
         "found": "the type of the expression at the call site"
       },
       "cause": "Arguments are checked against the declared parameter types, with broadcast as the only widening: a plain value may be passed where a series is expected, and it is read as that same value on every bar. Nothing else converts on its own. A declaration handle passed to an argument that does not take one arrives here too; where that argument wanted a runtime object the case has its own code, OS3019, and fill's two plot arguments have OS3020.",
-      "fix": "Convert the value with text(), number() or bool(), or pass an expression of type {expected}.",
+      "fix": "Convert the value with text(), toNumber() or toBool(), or pass an expression of type {expected}.",
       "autofix": false,
       "example": {
         "before": "e = ema(close, \"9\")",
@@ -1340,7 +1361,7 @@
       },
       "spec": "language.md 5.2, 5.3",
       "refines": null,
-      "test": "tests/errors/OS3011"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3012",
@@ -1363,7 +1384,7 @@
       },
       "spec": "language.md 11.2, 13.2",
       "refines": null,
-      "test": "tests/errors/OS3012"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3013",
@@ -1384,7 +1405,7 @@
       },
       "spec": "language.md 11.2",
       "refines": null,
-      "test": "tests/errors/OS3013"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3014",
@@ -1405,7 +1426,7 @@
       },
       "spec": "language.md 10.7",
       "refines": null,
-      "test": "tests/errors/OS3014"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3015",
@@ -1426,7 +1447,7 @@
       },
       "spec": "language.md 10.7",
       "refines": null,
-      "test": "tests/errors/OS3015"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3016",
@@ -1448,7 +1469,7 @@
       },
       "spec": "language.md 13.2",
       "refines": null,
-      "test": "tests/errors/OS3016"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3017",
@@ -1458,11 +1479,11 @@
       "since": 1,
       "message": "{kind} names must be unique in a file; {name} is also used at line {line}.",
       "placeholders": {
-        "kind": "the thing being named: plot, plotCandles, level, input, table or leg",
+        "kind": "the thing being named: plot, plotCandles, level, input, table, alert or leg",
         "name": "the repeated name, quoted",
         "line": "the line of the first use of that name"
       },
-      "cause": "The legend row, the settings dialog and the saved layout all key a column by its name, and an alert message names it. Two columns with one name would overwrite each other's saved settings. fill is not on the list: a band has no name of its own and is identified by the two plots it is drawn between. A leg's name is what every later call keys on, so two legs with one name leave every leg call with no answer.",
+      "cause": "The legend row, the settings dialog and the saved layout all key a column by its name, and an alert message names it. Two columns with one name would overwrite each other's saved settings. fill is not on the list: a band has no name of its own and is identified by the two plots it is drawn between. A leg's name is what every later call keys on, so two legs with one name leave every leg call with no answer. An alert is named by its id, written or derived from the line, and a subscription is kept under that name, so two alerts sharing one leave the user subscribed to whichever of the two the host kept.",
       "fix": "Rename one of them so each name appears once.",
       "autofix": false,
       "example": {
@@ -1471,7 +1492,7 @@
       },
       "spec": "language.md 15.3",
       "refines": null,
-      "test": "tests/errors/OS3017"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3018",
@@ -1493,7 +1514,7 @@
       },
       "spec": "language.md 13.4",
       "refines": null,
-      "test": "tests/errors/OS3018"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3019",
@@ -1517,7 +1538,7 @@
       },
       "spec": "language.md 5.4, 15.3",
       "refines": "OS3011",
-      "test": "tests/errors/OS3019"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS3020",
@@ -1539,7 +1560,89 @@
       },
       "spec": "language.md 5.4, 15.3",
       "refines": "OS3011",
-      "test": "tests/errors/OS3020"
+      "test": "tests/unit/check-calls.test.ts"
+    },
+    {
+      "code": "OS3021",
+      "title": "An input written in place has no title",
+      "severity": "error",
+      "stage": "check",
+      "since": 1,
+      "message": "An input() assigned to no name is named by its title, and this one has no title written as a string literal.",
+      "placeholders": {},
+      "cause": "A host stores one value per input key, and the key is the name the input was assigned to (host-interface.md 8.1). An input written where a value belongs is assigned to no name, so its title is its key as well as its dialog label. The title is read from the line as a string literal rather than folded, because a key and a label are both fixed before anything is computed and because the row a reader sees should be named on the line that declares it. With neither a name nor such a title there is nothing to label the row with and nothing to store a user's value under, and a key made from the input's position instead would move the moment another input was written above it, taking a user's stored value onto a different row.",
+      "fix": "Give it a title written as a string literal: input(2, \"Precision\").",
+      "autofix": false,
+      "example": {
+        "before": "study(\"Range\", precision = input(2))",
+        "after": "study(\"Range\", precision = input(2, \"Precision\"))"
+      },
+      "spec": "language.md 13.4, host-interface.md 8.1",
+      "refines": null,
+      "test": "tests/unit/check-calls.test.ts"
+    },
+    {
+      "code": "OS3022",
+      "title": "Two inputs share a settings key",
+      "severity": "error",
+      "stage": "check",
+      "since": 1,
+      "message": "This input is keyed by its title {name}, which is already the name of the input at line {line}.",
+      "placeholders": {
+        "name": "the title of the input written in place, quoted",
+        "line": "the line of the input that already carries that key"
+      },
+      "cause": "A host stores one value per key (host-interface.md 8.1). An input assigned to a name is keyed by that name, and one written in place is keyed by its title, so a title that spells another input's name puts two rows on one key. One user value would then serve two rows and nothing anywhere decides which of them gets it. Two inputs carrying one title are OS3017 for the same reason.",
+      "fix": "Give this one a title of its own, or rename the input at line {line}.",
+      "autofix": false,
+      "example": {
+        "before": "width = input(2, \"Width\")\nplot(close + width * input(3, \"width\"), \"Band\", aqua)",
+        "after": "width = input(2, \"Width\")\nplot(close + width * input(3, \"Multiplier\"), \"Band\", aqua)"
+      },
+      "spec": "language.md 13.4, host-interface.md 8.1",
+      "refines": "OS3017",
+      "test": "tests/unit/check-calls.test.ts"
+    },
+    {
+      "code": "OS3023",
+      "title": "An order names a leg this file does not declare",
+      "severity": "error",
+      "stage": "check",
+      "since": 1,
+      "message": "{name} was given a {argument}, and this file declares none.",
+      "placeholders": {
+        "name": "the order function that was called",
+        "argument": "the parameter that names the declaration, which is leg"
+      },
+      "cause": "Every order function names the leg it acts on, and a leg is a contract declared before the run (stdlib.md 17.1, 17.6). A file that declares no leg has exactly one, the instrument its chart is showing, and every order acts on it with no leg named. So in a file with no leg declaration there is no name a leg argument could carry, and one written there names nothing. Ignored, it is silent in the most expensive way an order can be: a script that entered under one name and closed another flattened the only leg there is and was told nothing, and a name the script computed was dropped just as quietly. It is refused whatever the argument holds, rather than held against a list of accepted values the way OS3008 holds every other fixed set, because here the list is empty and the value is not what is wrong.",
+      "fix": "Leave {argument} out. A file that declares no leg has exactly one, and every order acts on it.",
+      "autofix": false,
+      "example": {
+        "before": "if pos.isFlat\n    buy(qty = 1, leg = \"hedge\")\nelse\n    close()",
+        "after": "if pos.isFlat\n    buy(qty = 1)\nelse\n    close()"
+      },
+      "spec": "stdlib.md 17.1, 17.2",
+      "refines": "OS3008",
+      "test": "tests/unit/check-calls.test.ts"
+    },
+    {
+      "code": "OS3024",
+      "title": "An input written in place has an empty title",
+      "severity": "error",
+      "stage": "check",
+      "since": 1,
+      "message": "An input() assigned to no name is named by its title, and this one's title is empty.",
+      "placeholders": {},
+      "cause": "The title of an input written where a value belongs is its settings key as well as its dialog label (host-interface.md 8.1), and the empty string is neither. There is nothing to store a user's value under and nothing to label the row with, and a second input written the same way would land on the same empty key and take the same stored value. This is the case OS3021 refuses, reached by a different edit, and it carries its own code because OS3021 tells a reader to give the input a title written as a string literal and this reader has written one. A message and a fix that are both already true of the program in front of somebody send them to change nothing. What is wrong here is not that the title was left out: it is that the title says nothing, and the fix is to give it something to say. An input assigned to a name is not this. It has a key already, and an empty title there is read as no title and labelled with the name, which language.md 13.4 states.",
+      "fix": "Give the title something to say: input(2, \"Precision\").",
+      "autofix": false,
+      "example": {
+        "before": "study(\"Range\", precision = input(2, \"\"))",
+        "after": "study(\"Range\", precision = input(2, \"Precision\"))"
+      },
+      "spec": "language.md 13.4, host-interface.md 8.1",
+      "refines": "OS3021",
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS4001",
@@ -1560,7 +1663,7 @@
       },
       "spec": "language.md 7.4",
       "refines": null,
-      "test": "tests/errors/OS4001"
+      "test": "tests/engine/machine.test.ts"
     },
     {
       "code": "OS4002",
@@ -1578,12 +1681,12 @@
       "fix": "Raise the depth in one place: limits(history = {suggested}).",
       "autofix": false,
       "example": {
-        "before": "study(\"Long lookback\")\n\nold = close[5000]",
-        "after": "study(\"Long lookback\")\nlimits(history = 5001)\n\nold = close[5000]"
+        "before": "study(\"Long lookback\")\nlimits(history = 50)\n\nold = close[120]",
+        "after": "study(\"Long lookback\")\nlimits(history = 120)\n\nold = close[120]"
       },
       "spec": "language.md 7.4, 10.7",
       "refines": null,
-      "test": "tests/errors/OS4002"
+      "test": "tests/engine/machine.test.ts"
     },
     {
       "code": "OS4003",
@@ -1601,12 +1704,12 @@
       "fix": "Round the value before passing it: floor() towards zero, round() to nearest.",
       "autofix": false,
       "example": {
-        "before": "mid = element(values, size(values) / 2)",
-        "after": "mid = element(values, floor(size(values) / 2))"
+        "before": "s = sma(close, len / 2)",
+        "after": "s = sma(close, floor(len / 2))"
       },
       "spec": "language.md 14.1",
       "refines": null,
-      "test": "tests/errors/OS4003"
+      "test": null
     },
     {
       "code": "OS4004",
@@ -1629,7 +1732,7 @@
       },
       "spec": "language.md 14.1",
       "refines": null,
-      "test": "tests/errors/OS4004"
+      "test": "tests/engine/machine.test.ts"
     },
     {
       "code": "OS4005",
@@ -1651,7 +1754,7 @@
       },
       "spec": "language.md 5.4",
       "refines": null,
-      "test": "tests/errors/OS4005"
+      "test": "tests/engine/objects.test.ts"
     },
     {
       "code": "OS4006",
@@ -1672,7 +1775,8 @@
       },
       "spec": "language.md 14.1",
       "refines": null,
-      "test": "tests/errors/OS4006"
+      "test": null,
+      "deferred": "Nothing raises this yet. Taking an element from an empty array raises the broader OS4004, and summarising one returns absence, which is the silent drain this entry exists to refuse. Raised when the array library tells the empty case apart from an index outside a filled array, language.md 14.1."
     },
     {
       "code": "OS4007",
@@ -1695,7 +1799,8 @@
       },
       "spec": "language.md 14.1",
       "refines": null,
-      "test": "tests/errors/OS4007"
+      "test": null,
+      "deferred": "Nothing raises this yet. slice takes whatever range it is given and returns a shortened or empty array, so a reversed or out of range pair produces a plausible answer instead of a refusal. Raised when the array library checks the range against the array, language.md 14.1."
     },
     {
       "code": "OS4008",
@@ -1719,7 +1824,8 @@
       },
       "spec": "language.md 15.3",
       "refines": null,
-      "test": "tests/errors/OS4008"
+      "test": null,
+      "deferred": "Nothing raises this yet. A write outside the declared grid raises the broader OS4004, which names an index rather than the shape the declaration fixed. Raised when the table surface reports the cell against the table it was written to, language.md 15.3."
     },
     {
       "code": "OS4009",
@@ -1742,7 +1848,8 @@
       },
       "spec": "language.md 3.8",
       "refines": null,
-      "test": "tests/errors/OS4009"
+      "test": null,
+      "deferred": "Nothing raises this yet. The colour calls build a colour from whatever channels they are given, so a channel outside its range reaches the chart rather than stopping the bar. Raised when the colour library checks each channel, language.md 3.8."
     },
     {
       "code": "OS4010",
@@ -1765,7 +1872,8 @@
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS4010"
+      "test": null,
+      "deferred": "Nothing raises this yet. Building a date returns absence only when a field is not a whole number, so a month past the end of the year rolls into the next one and becomes a timestamp the script never meant. Raised when the calendar library checks each field against its range, language.md 15.2."
     },
     {
       "code": "OS4011",
@@ -1787,7 +1895,8 @@
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS4011"
+      "test": null,
+      "deferred": "Nothing raises this yet. Taking part of a string slices the code points it holds, so a position outside the string returns a shorter string or an empty one, which is the plausible empty result this entry refuses. Raised when the string library checks the position against the string, language.md 15.2."
     },
     {
       "code": "OS4012",
@@ -1810,7 +1919,8 @@
       },
       "spec": "language.md 14.1",
       "refines": null,
-      "test": "tests/errors/OS4012"
+      "test": null,
+      "deferred": "Nothing raises this yet. A computed name outside the accepted set produces absence on every bar rather than stopping, and only a name written as a literal is refused, at compile time, with OS3008. Raised when the engine checks a computed name on the bar that produced it, language.md 14.1."
     },
     {
       "code": "OS4013",
@@ -1831,7 +1941,7 @@
       },
       "spec": "language.md 10.3",
       "refines": null,
-      "test": "tests/errors/OS4013"
+      "test": "tests/engine/machine.test.ts"
     },
     {
       "code": "OS5001",
@@ -1854,7 +1964,7 @@
       },
       "spec": "language.md 10.7",
       "refines": null,
-      "test": "tests/errors/OS5001"
+      "test": "tests/engine/budget.test.ts"
     },
     {
       "code": "OS5002",
@@ -1876,8 +1986,9 @@
         "after": "var window = [0.0]\npush(window, close)\nif size(window) > 500\n    shift(window)"
       },
       "spec": "language.md 14.1",
+      "unexercised": "The ceiling is the engine's own and it is a large one, so an example that reached it would be a run long enough to fill it rather than a script anybody would read. The before block shows the window that is never trimmed, which is the shape that gets there, and not the bar it stops on.",
       "refines": null,
-      "test": "tests/errors/OS5002"
+      "test": "tests/engine/budget.test.ts"
     },
     {
       "code": "OS5003",
@@ -1900,13 +2011,13 @@
       },
       "spec": "language.md 10.7; host-interface.md 10.1",
       "refines": null,
-      "test": "tests/errors/OS5003"
+      "test": "tests/engine/verify.test.ts"
     },
     {
       "code": "OS5004",
       "title": "The program needs more state regions than the engine allows",
       "severity": "error",
-      "stage": "check",
+      "stage": "host",
       "since": 1,
       "message": "This program needs {found} state regions and the engine allows {max}; {first} calls {second} on several paths.",
       "placeholders": {
@@ -1924,7 +2035,7 @@
       },
       "spec": "compiled-program.md, state regions",
       "refines": null,
-      "test": "tests/errors/OS5004"
+      "test": "tests/engine/verify.test.ts"
     },
     {
       "code": "OS5005",
@@ -1946,8 +2057,9 @@
         "after": "inner = c ? (d ? 1 : 2) : 3\nz = a ? (b ? inner : 4) : 5"
       },
       "spec": "language.md 19",
+      "unexercised": "The ceiling is far above anything written by hand, which is the whole point of it: generated source is how a file reaches it. The before block shows the shape at four levels, where a reader can see it, and nothing that short can raise the code.",
       "refines": null,
-      "test": "tests/errors/OS5005"
+      "test": "tests/unit/parse-diagnostics.test.ts"
     },
     {
       "code": "OS5006",
@@ -1969,7 +2081,7 @@
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS5006"
+      "test": "tests/engine/requests-load.test.ts"
     },
     {
       "code": "OS5007",
@@ -1992,7 +2104,7 @@
       },
       "spec": "language.md 7.1",
       "refines": null,
-      "test": "tests/errors/OS5007"
+      "test": "tests/engine/budget.test.ts"
     },
     {
       "code": "OS5008",
@@ -2013,14 +2125,15 @@
         "after": "var logLines: array<string> = []\npush(logLines, text(close))\nif size(logLines) > 50\n    shift(logLines)"
       },
       "spec": "language.md 5.1",
+      "unexercised": "The ceiling is the engine's own and a bar appends a few characters, so reaching it takes a run of thousands of bars rather than an example. The before block shows the log that is never trimmed, which is the shape that gets there.",
       "refines": null,
-      "test": "tests/errors/OS5008"
+      "test": "tests/engine/budget.test.ts"
     },
     {
       "code": "OS5009",
       "title": "The program is too large",
       "severity": "error",
-      "stage": "check",
+      "stage": "host",
       "since": 1,
       "message": "This file compiles to {found} instructions and the ceiling is {max}.",
       "placeholders": {
@@ -2036,7 +2149,30 @@
       },
       "spec": "language.md 10.7",
       "refines": null,
-      "test": "tests/errors/OS5009"
+      "test": "tests/engine/verify.test.ts"
+    },
+    {
+      "code": "OS5010",
+      "title": "Too many drawing objects",
+      "severity": "error",
+      "stage": "runtime",
+      "since": 1,
+      "message": "A script holds at most {max} drawing objects; this one would be number {found}.",
+      "placeholders": {
+        "max": "the number of drawing objects the host will hold at once",
+        "found": "the count the object being created would have reached"
+      },
+      "cause": "An object lives until the script deletes it, so a script that creates one on every bar and deletes none grows for as long as the chart is open, and nothing can reclaim it: an undeleted object is held by the chart whether or not the script still names it. The ceiling is the host's, and reaching it stops the bar and names the number. The oldest object is never dropped to make room, because a study that is correct on the right of the chart and quietly wrong on the left is worse than one that stops.",
+      "fix": "Delete each object when it stops being wanted, and bound the set: keep the objects in an array, and when it is longer than you want, delete the oldest object and remove the element.",
+      "autofix": false,
+      "example": {
+        "before": "var zones: array<box> = []\npush(zones, draw.box(time, low, time, high))",
+        "after": "var zones: array<box> = []\npush(zones, draw.box(time, low, time, high))\nif size(zones) > 50\n    draw.delete(element(zones, 0))\n    shift(zones)"
+      },
+      "spec": "stdlib.md 14.4",
+      "unexercised": "The ceiling is the host's and a bar creates one object, so reaching it takes a run of thousands of bars rather than an example. The before block shows the script that creates on every bar and deletes on none, which is the shape that gets there.",
+      "refines": null,
+      "test": "tests/engine/objects.test.ts"
     },
     {
       "code": "OS6001",
@@ -2057,7 +2193,7 @@
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS6001"
+      "test": "tests/unit/check-repaint.test.ts"
     },
     {
       "code": "OS6002",
@@ -2079,7 +2215,7 @@
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS6002"
+      "test": "tests/engine/requests-load.test.ts"
     },
     {
       "code": "OS6003",
@@ -2100,7 +2236,7 @@
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS6003"
+      "test": "tests/unit/check-repaint.test.ts"
     },
     {
       "code": "OS6004",
@@ -2119,12 +2255,13 @@
       "fix": "Recompile the script against this engine's library, or run the program on an engine with the library version it was compiled against.",
       "autofix": false,
       "example": {
+        "kind": "transcript",
         "before": "program: library 5, entry 12 name \"stdev\" arity 3\nengine:  library 4, entry \"stdev\" arity 2",
         "after": "program: library 4, entry 12 name \"stdev\" arity 2\nengine:  library 4, entry \"stdev\" arity 2"
       },
       "spec": "compiled-program.md, the function table",
       "refines": null,
-      "test": "tests/errors/OS6004"
+      "test": "tests/engine/verify.test.ts"
     },
     {
       "code": "OS6005",
@@ -2145,7 +2282,7 @@
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS6005"
+      "test": "tests/stdlib/calendar.test.ts"
     },
     {
       "code": "OS6006",
@@ -2161,12 +2298,13 @@
       "fix": "Run the program on an engine that has {tag}, or remove the feature that needs it: the tag names it.",
       "autofix": false,
       "example": {
+        "kind": "transcript",
         "before": "program requires: core.1, arrays, orders\nengine has:       core.1, arrays",
         "after": "program requires: core.1, arrays\nengine has:       core.1, arrays"
       },
       "spec": "compiled-program.md, capability tags",
       "refines": null,
-      "test": "tests/errors/OS6006"
+      "test": "tests/engine/verify.test.ts"
     },
     {
       "code": "OS6007",
@@ -2188,7 +2326,7 @@
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS6007"
+      "test": "tests/hosts/host.ts"
     },
     {
       "code": "OS6008",
@@ -2210,7 +2348,7 @@
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS6008"
+      "test": "tests/hosts/host.ts"
     },
     {
       "code": "OS6009",
@@ -2233,7 +2371,7 @@
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS6009"
+      "test": "tests/engine/requests-host.test.ts"
     },
     {
       "code": "OS6010",
@@ -2250,12 +2388,13 @@
       "fix": "Choose an instrument and interval that have history, or widen the chart's date range until bars exist.",
       "autofix": false,
       "example": {
+        "kind": "transcript",
         "before": "host input: symbol SYMBOL, interval 5, bars 0",
         "after": "host input: symbol SYMBOL, interval 5, bars 1240"
       },
       "spec": "language.md 7.1",
       "refines": null,
-      "test": "tests/errors/OS6010"
+      "test": "tests/engine/series.test.ts"
     },
     {
       "code": "OS6011",
@@ -2273,12 +2412,13 @@
       "fix": "Reload the history; if the same bar repeats, the feed is sending duplicates and the host has to sort and deduplicate the bars before the engine runs.",
       "autofix": false,
       "example": {
+        "kind": "transcript",
         "before": "host input:\n  bar 41  09:15\n  bar 42  09:15\n  bar 43  09:10",
         "after": "host input:\n  bar 41  09:10\n  bar 42  09:15\n  bar 43  09:20"
       },
       "spec": "language.md 7.1",
       "refines": null,
-      "test": "tests/errors/OS6011"
+      "test": "tests/engine/series.test.ts"
     },
     {
       "code": "OS6012",
@@ -2300,7 +2440,7 @@
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS6012"
+      "test": "tests/engine/requests-host.test.ts"
     },
     {
       "code": "OS6013",
@@ -2323,7 +2463,8 @@
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS6013"
+      "test": null,
+      "deferred": "Nothing raises this yet. A read's identity is settled once before bar 0 and nothing asks again, so there is no second identity for the engine to compare the first one against. Raised when the engine resolves a read's identity per bar, language.md 15.2."
     },
     {
       "code": "OS6014",
@@ -2346,7 +2487,7 @@
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS6014"
+      "test": "tests/hosts/reads.ts"
     },
     {
       "code": "OS6015",
@@ -2369,7 +2510,7 @@
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS6015"
+      "test": "tests/engine/requests-load.test.ts"
     },
     {
       "code": "OS6016",
@@ -2377,21 +2518,22 @@
       "severity": "error",
       "stage": "host",
       "since": 1,
-      "message": "This program is in compiled format {found} and this engine implements up to {max}.",
+      "message": "This program is in compiled format {found} and this engine implements format {max}; a different major number is a different format, whether it is higher or lower.",
       "placeholders": {
         "found": "the format version the program declares",
-        "max": "the highest format version the engine implements"
+        "max": "the format version this engine implements"
       },
-      "cause": "The compiled program is a versioned data format, and an engine refuses a format it cannot read rather than guessing at instructions it does not know. Refusing at load, with both numbers named, is the whole reason the version is carried.",
+      "cause": "The compiled program is a versioned data format, and an engine refuses a format it cannot read rather than guessing at instructions it does not know. Only the major number decides. A higher minor loads, because a minor addition whose absence would change a number has to announce itself as a tag in the program's requires list, and an older minor loads because it carries a subset of the fields this engine already reads. A major number that is not this engine's is a different format wearing the same name, so it is refused in both directions: a program older than this engine is refused for the same reason as one newer, and neither is run approximately. Refusing at load, with both numbers named, is the whole reason the version is carried.",
       "fix": "Run the program on an engine that implements format {found}, or recompile the source with a compiler that emits format {max}.",
       "autofix": false,
       "example": {
-        "before": "program: compiled format 3\nengine:  compiled format 2",
-        "after": "program: compiled format 2\nengine:  compiled format 2"
+        "kind": "transcript",
+        "before": "program: compiled format 0.9\nengine:  compiled format 1.0",
+        "after": "program: compiled format 1.0\nengine:  compiled format 1.0"
       },
       "spec": "compiled-program.md, loading a program",
       "refines": null,
-      "test": "tests/errors/OS6016"
+      "test": "tests/engine/verify.test.ts"
     },
     {
       "code": "OS6017",
@@ -2408,12 +2550,13 @@
       "fix": "Upgrade the engine to one that implements language version {found}, or recompile the source against a version it has.",
       "autofix": false,
       "example": {
+        "kind": "transcript",
         "before": "program: language version 2\nengine:  language version 1",
         "after": "program: language version 1\nengine:  language version 1"
       },
       "spec": "language.md 4.1",
       "refines": null,
-      "test": "tests/errors/OS6017"
+      "test": "tests/engine/verify.test.ts"
     },
     {
       "code": "OS6018",
@@ -2430,12 +2573,13 @@
       "fix": "Recompile the script from its source; a program that fails verification came from a broken compiler or was edited after it was written, and neither is repairable by hand.",
       "autofix": false,
       "example": {
+        "kind": "transcript",
         "before": "instruction 402: JUMP target 9911, program holds 812 instructions",
         "after": "instruction 402: JUMP target 411, program holds 812 instructions"
       },
       "spec": "compiled-program.md 3.5, 9.4",
       "refines": null,
-      "test": "tests/errors/OS6018"
+      "test": "tests/engine/verify.test.ts"
     },
     {
       "code": "OS6019",
@@ -2453,12 +2597,106 @@
       "fix": "Correct the value in the settings dialog, or widen the input's own min, max or options so the value is allowed.",
       "autofix": false,
       "example": {
+        "kind": "transcript",
         "before": "input len: min 1, max 500\nhost setting: len = 0",
         "after": "input len: min 1, max 500\nhost setting: len = 14"
       },
       "spec": "language.md 13.4",
       "refines": null,
-      "test": "tests/errors/OS6019"
+      "test": "tests/engine/verify.test.ts"
+    },
+    {
+      "code": "OS6020",
+      "title": "The report window holds no bars",
+      "severity": "error",
+      "stage": "host",
+      "since": 1,
+      "message": "The window from {from} to {to} holds none of the {count} bars supplied.",
+      "placeholders": {
+        "from": "the first moment the window covers, or the first bar supplied where the host named none",
+        "to": "the last moment it covers",
+        "count": "how many bars were supplied"
+      },
+      "cause": "A report is about the bars inside the window the host chose, and a window holding none of them has nothing to report: no equity point, no trade and no summary. The bars outside it are warmup, which execute and whose orders are real, so an empty window is not an empty run, and reporting one as a flat curve would tell a reader that nothing happened when something did.",
+      "fix": "Widen the window until it covers bars, or supply the bars it covers. Both bounds are inclusive and are compared against the times of the bars supplied rather than against a calendar, so a window that falls inside a gap in the data is empty however wide it looks.",
+      "autofix": false,
+      "example": {
+        "kind": "transcript",
+        "before": "bars supplied: 1240, first day 1, last day 1240\nreport window: day 1300 to day 1400, bars inside 0",
+        "after": "bars supplied: 1240, first day 1, last day 1240\nreport window: day 1100 to day 1240, bars inside 141"
+      },
+      "spec": "language.md 7.1",
+      "refines": null,
+      "test": "tests/backtest/range.test.ts"
+    },
+    {
+      "code": "OS6021",
+      "title": "A run setting cannot be applied as stated",
+      "severity": "error",
+      "stage": "host",
+      "since": 1,
+      "message": "{setting} cannot be applied: {problem}.",
+      "placeholders": {
+        "setting": "the setting that cannot be applied, such as the charge schedule or the comparison tolerance",
+        "problem": "what makes it unusable, such as a charge line levied on a line declared after it"
+      },
+      "cause": "A run states the settings it is carried out under before its first bar, and a setting that cannot be carried out is refused there rather than quietly producing a figure. A charge line levied on lines not declared before it has no single evaluation order, so two engines would charge two different amounts and both would be defensible. A slippage stated in ticks with no tick size to measure a tick in would charge nothing at all, which is a backtest that lies in the strategy's favour. A comparison tolerance carrying a bound and no reason is a failed comparison somebody switched off.",
+      "fix": "State the setting so it can be carried out: declare a charge line after every line it is levied on, supply the tick size a slippage in ticks is measured in, or write down the reason a tolerance needs a bound. Nothing has been computed at the point this is refused, so correcting the setting and running again costs one run.",
+      "autofix": false,
+      "example": {
+        "kind": "transcript",
+        "before": "charge lines: tax on levy, levy\nslippage: 2 ticks, tick size not supplied",
+        "after": "charge lines: levy, tax on levy\nslippage: 2 ticks, tick size 0.05"
+      },
+      "spec": "stdlib.md 17.1",
+      "refines": null,
+      "test": "tests/accounting/schedules.test.ts"
+    },
+    {
+      "code": "OS6022",
+      "title": "The bars are not the bars the record was made from",
+      "severity": "error",
+      "stage": "host",
+      "since": 1,
+      "message": "The bars supplied hash to {found}, and the record was made from {expected}.",
+      "placeholders": {
+        "found": "the hash of the bars supplied now",
+        "expected": "the hash the record names"
+      },
+      "cause": "A record names the bars it was made from by a hash over their canonical form, so a replay can prove it is replaying the same run rather than producing a different study under the same name. Bars are revised: a feed corrects a print, a session is extended, a split is applied to history. A replay over revised bars that reported the original figures would be the most convincing wrong answer this system can produce.",
+      "fix": "Replay against the bars the record names. Where the revision is the point, make a second record over the revised bars and compare the two runs, rather than overwriting one run with the other under one name.",
+      "autofix": false,
+      "example": {
+        "kind": "transcript",
+        "before": "record: bars 1240, hash 9f2c4e...\nsupplied: bars 1240, hash 4ab70d...",
+        "after": "record: bars 1240, hash 9f2c4e...\nsupplied: bars 1240, hash 9f2c4e..."
+      },
+      "spec": "conformance.md 3",
+      "refines": null,
+      "test": "tests/backtest/record.test.ts"
+    },
+    {
+      "code": "OS6023",
+      "title": "Two cost models are stated at once",
+      "severity": "error",
+      "stage": "host",
+      "since": 1,
+      "message": "A charge schedule was supplied, and the declaration states a commission of {commission} in {commissionType}.",
+      "placeholders": {
+        "commission": "the commission the declaration states",
+        "commissionType": "the unit that commission is stated in"
+      },
+      "cause": "The declaration's commission is the script's own statement of what trading costs and a supplied schedule is the platform's, and the two describe the same money. Applied together they charge it twice; applied one at a time they charge whichever an engine happened to prefer, which is a rule nobody wrote down and a figure nobody can explain afterwards. So exactly one of the two is stated for a run, and stating both is refused before the first bar rather than reconciled behind the reader.",
+      "fix": "Supply the schedule and leave the declaration's commission at its default of zero, or state the commission in the declaration and supply no schedule. A schedule is the one of the two that can carry a floor, a cap, a charge levied on a charge, and a cost that falls on one side of the trade only.",
+      "autofix": false,
+      "example": {
+        "kind": "transcript",
+        "before": "declaration: commission 20, per trade\nhost: charge schedule supplied, 4 lines",
+        "after": "declaration: commission 0, per trade\nhost: charge schedule supplied, 4 lines"
+      },
+      "spec": "language.md 13.3; stdlib.md 17.1",
+      "refines": null,
+      "test": "tests/backtest/settings.test.ts"
     },
     {
       "code": "OS7001",
@@ -2480,7 +2718,7 @@
       },
       "spec": "language.md 13.1, 13.3",
       "refines": null,
-      "test": "tests/errors/OS7001"
+      "test": "tests/unit/check-names.test.ts"
     },
     {
       "code": "OS7002",
@@ -2502,7 +2740,7 @@
       },
       "spec": "language.md 6.8",
       "refines": null,
-      "test": "tests/errors/OS7002"
+      "test": "tests/engine/refusals.test.ts"
     },
     {
       "code": "OS7003",
@@ -2523,7 +2761,7 @@
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS7003"
+      "test": "tests/unit/check-repaint.test.ts"
     },
     {
       "code": "OS7004",
@@ -2545,7 +2783,7 @@
       },
       "spec": "language.md 13.3",
       "refines": null,
-      "test": "tests/errors/OS7004"
+      "test": "tests/engine/refusals.test.ts"
     },
     {
       "code": "OS7005",
@@ -2568,7 +2806,8 @@
       },
       "spec": "language.md 13.3",
       "refines": null,
-      "test": "tests/errors/OS7005"
+      "test": "tests/engine/ending.test.ts",
+      "deferred": "Nothing raises this yet. Nothing compares an order's quantity with the lot size its leg trades in, so a quantity no exchange would accept is sent and a backtest can report a trade that could not have happened. The same missing fact is what leaves two other shapes of stdlib.md 17.1 unheld, and all three are settled together. A quantity stated on a close in a declaration counting in lots, cash or an equity percent cannot be held against a position folded in units, which is the narrowing OS7017 carries. And an order that opposes what the leg holds in such a declaration cannot be divided into the half that closes the outgoing position and the half that opens its replacement, so it is sent whole. What is kept without the lot size, and kept in every unit: it is sent on a position reference of its own, whether or not anything has settled, so that it crosses nothing; and the outgoing position is named again, because a close works its own quantity out in units and is divided across the positions holding the leg's own side, oldest first, so that position returns to zero as soon as the leg's net comes back to its side. What is not kept is the instruction itself closing it. The outgoing position is left holding what it holds, and on a leg whose net never returns to that side it is carried for the life of the run with no order able to name it. Raised when order validation lands, stdlib.md 17.2, which is also when the ledger is given the lot size its leg trades in."
     },
     {
       "code": "OS7006",
@@ -2591,7 +2830,7 @@
       },
       "spec": "language.md 13.3",
       "refines": null,
-      "test": "tests/errors/OS7006"
+      "test": "tests/engine/refusals.test.ts"
     },
     {
       "code": "OS7007",
@@ -2613,7 +2852,7 @@
       },
       "spec": "language.md 13.3",
       "refines": null,
-      "test": "tests/errors/OS7007"
+      "test": "tests/engine/refusals.test.ts"
     },
     {
       "code": "OS7008",
@@ -2635,7 +2874,7 @@
       },
       "spec": "language.md 13.3",
       "refines": null,
-      "test": "tests/errors/OS7008"
+      "test": "tests/engine/refusals.test.ts"
     },
     {
       "code": "OS7009",
@@ -2648,15 +2887,15 @@
         "tag": "the tag that was passed"
       },
       "cause": "A tag names an order from the moment it is placed. Acting on a tag that names nothing is a script that has lost track of its own orders, and ignoring the call would leave it believing an order exists that does not. This code is for a call that acts on an order. The reading calls of stdlib.md section 17.3 read the ledger, which keeps a row after the order finishes, so a tag that names no row reads as the entry's documented empty value rather than raising.",
-      "fix": "Use the tag the order was placed with, and test order.working({tag}) before acting on it.",
+      "fix": "Use the tag the order was placed with, or cancelAll() where the script means every order it has working.",
       "autofix": false,
       "example": {
-        "before": "buy(qty = 1, tag = \"entry\")\norder.bracket(tag = \"entries\", loss = 10)",
-        "after": "buy(qty = 1, tag = \"entry\")\nif order.working(\"entry\")\n    order.bracket(tag = \"entry\", loss = 10)"
+        "before": "buy(qty = 1, tag = \"entry\")\ncancel(\"entries\")",
+        "after": "buy(qty = 1, tag = \"entry\")\ncancel(\"entry\")"
       },
       "spec": "language.md 15.2; stdlib.md 17.3",
       "refines": null,
-      "test": "tests/errors/OS7009"
+      "test": "tests/engine/tags.test.ts"
     },
     {
       "code": "OS7010",
@@ -2675,12 +2914,12 @@
       "fix": "Put the stop below a long entry and the limit above it, and swap the two for a short.",
       "autofix": false,
       "example": {
-        "before": "buy(qty = 1)\nexit(limit = pos.avgPrice - atrValue, stop = pos.avgPrice + atrValue)",
-        "after": "buy(qty = 1)\nexit(limit = pos.avgPrice + atrValue, stop = pos.avgPrice - atrValue)"
+        "before": "if pos.isFlat\n    buy(qty = 1)\nelse\n    exit(limit = pos.avgPrice - atrValue, stop = pos.avgPrice + atrValue)",
+        "after": "if pos.isFlat\n    buy(qty = 1)\nelse\n    exit(limit = pos.avgPrice + atrValue, stop = pos.avgPrice - atrValue)"
       },
       "spec": "language.md 13.3",
       "refines": null,
-      "test": "tests/errors/OS7010"
+      "test": "tests/engine/refusals.test.ts"
     },
     {
       "code": "OS7011",
@@ -2702,7 +2941,8 @@
       },
       "spec": "language.md 13.3",
       "refines": null,
-      "test": "tests/errors/OS7011"
+      "test": null,
+      "deferred": "Nothing raises this yet. Nothing compares an order's cost with the capital the strategy has, so a backtest can spend money it never had and report a return nobody could have earned. Raised when the ledger holds a capital figure to check against, language.md 13.3."
     },
     {
       "code": "OS7012",
@@ -2720,11 +2960,12 @@
       "autofix": false,
       "example": {
         "before": "if crossUp(fast, slow)\n    buy(qty = 1)",
-        "after": "if crossUp(fast, slow) and session.isOpen\n    buy(qty = 1)"
+        "after": "if crossUp(fast, slow) and session.isIn(\"0915-1530\")\n    buy(qty = 1)"
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS7012"
+      "test": null,
+      "deferred": "Nothing raises this yet. Nothing compares the bar's time with the instrument's session before an order is sent, so an order outside the session leaves the engine as though the venue were open. Raised when order validation reads the session, language.md 15.2."
     },
     {
       "code": "OS7013",
@@ -2742,12 +2983,12 @@
       "fix": "Make the conditions exclusive with else if, or place the exit on this bar and the entry on the next.",
       "autofix": false,
       "example": {
-        "before": "if crossUp(fast, slow)\n    buy(qty = 1)\nif rsi(close, 14) > 70\n    sell(qty = 1)",
-        "after": "if crossUp(fast, slow)\n    buy(qty = 1)\nelse if rsi(close, 14) > 70\n    sell(qty = 1)"
+        "before": "r = rsi(close, 14)\nif crossUp(fast, slow)\n    buy(qty = 1)\nif r > 70\n    sell(qty = 1)",
+        "after": "r = rsi(close, 14)\nif crossUp(fast, slow)\n    buy(qty = 1)\nelse if r > 70\n    sell(qty = 1)"
       },
       "spec": "language.md 13.3",
       "refines": null,
-      "test": "tests/errors/OS7013"
+      "test": "tests/engine/refusals.test.ts"
     },
     {
       "code": "OS7014",
@@ -2769,7 +3010,8 @@
       },
       "spec": "language.md 13.3",
       "refines": null,
-      "test": "tests/errors/OS7014"
+      "test": null,
+      "deferred": "Nothing raises this yet. A refusal that comes back is folded into the ledger row as a status and its text, and no diagnostic is raised, so nothing reports it against the line that placed the order. Raised when a refused fold reports, stdlib.md 17.8."
     },
     {
       "code": "OS7015",
@@ -2788,7 +3030,99 @@
       },
       "spec": "language.md 13.3",
       "refines": null,
-      "test": "tests/errors/OS7015"
+      "test": "tests/hosts/strategy.test.ts",
+      "deferred": "Nothing raises this yet. A strategy with nowhere to send orders is not stopped: it places intents that reach nobody, and nothing says so. Raised when the engine checks for a destination before the first order, host-interface.md 7.4."
+    },
+    {
+      "code": "OS7016",
+      "title": "A close names a tag nothing places",
+      "severity": "error",
+      "stage": "check",
+      "since": 1,
+      "message": "No order in this file is placed with the tag {tag}.",
+      "placeholders": {
+        "tag": "the tag the close was given"
+      },
+      "cause": "A close names the part of a position that one tag entered. A tag no order in the file is placed with can never name a part of one, so the call sends nothing on every bar and says nothing, and the script goes on believing it has flattened. It is read from the file rather than from the run because the run cannot tell this from an ordinary bar: a tag that has never named a ledger row is also what a working script looks like before its entry has happened. A tag the script computes is not read, and neither is any close in a file where an order's tag is computed.",
+      "fix": "Use the tag the entry was placed with, or leave the tag out to flatten the whole leg.",
+      "autofix": false,
+      "example": {
+        "before": "if pos.isFlat\n    buy(qty = 1, tag = \"entry\")\nelse\n    close(tag = \"entries\")",
+        "after": "if pos.isFlat\n    buy(qty = 1, tag = \"entry\")\nelse\n    close(tag = \"entry\")"
+      },
+      "spec": "stdlib.md 17.2",
+      "refines": null,
+      "test": "tests/unit/check-tags.test.ts"
+    },
+    {
+      "code": "OS7017",
+      "title": "A close states more than it is closing",
+      "severity": "error",
+      "stage": "runtime",
+      "since": 1,
+      "message": "close was given a quantity of {qty}, and {part} has {held} left to close.",
+      "placeholders": {
+        "qty": "the quantity the call stated",
+        "part": "what the close is closing: the leg, or the tag it named",
+        "held": "what is left for a close to send: what that part holds, less what is already working against it"
+      },
+      "cause": "No order crosses zero, and a reducing order can never send more than is available to reduce. A close larger than what is left to close sends one order that flattens the position and opens the opposite one under the same position reference, so a leg that was long ends short and a call named close has opened a position. The quantity is an argument the script wrote, which makes it a claim about the strategy's own position, and this claim is false. Sending what is there instead would leave the script believing it closed the number it asked for, and reading it as a reversal would make close open a position, which is the most expensive naming mistake available. What is left to close is what the leg holds, or what the tag the close names holds, less everything already working against it. A position is folded from settled fills, so an order the destination has not answered has filled nothing and the leg still reads what it held before that order left: measured against that alone, two closes of two on a leg of three each pass the ceiling and the pair ends the leg one short, and a close on every bar against a destination that never answers ends the run short by the position once per bar. The scope is therefore the run and the position rather than the bar, and what is still working is read from the ledger of stdlib.md 17.7: an order neither terminal nor fully filled, counted by the part of it that has not filled. A rejection, a cancellation and an expiry release what they were holding, because nothing more is coming from an order that has ended. What is counted is every order still going on the side that reduces what the leg holds now, and not only the ones that were reductions when they left: an entry the destination has not answered, on a leg the orders after it took the other way, is a reduction now, and leaving it out offered a close the whole of a position five units of which were already on their way. A close that states no quantity is not this: the engine works out what is left and sends it, which is nothing at all once the whole of it is going, and closing a tag that holds nothing sends nothing and says nothing. The comparison is made in full only where the two numbers count the same thing, which is a declaration whose quantity type is units: elsewhere a position folded from filled quantities and a quantity stated in the declaration's own unit are two different kinds of number, and a refusal with the wrong one in it is worse than none. The half of it that needs no conversion is made whatever the declaration counts in, because nothing left to close is zero in every unit. What that leaves unheld is one shape, a quantity stated against a position that is still there in a declaration counting in lots, cash or an equity percent, and joining those two numbers needs the instrument's lot size, which is the fact OS7005 is deferred on.",
+      "fix": "Leave the quantity out and close() flattens what is left, or size the part from pos.size and keep the quantity at or under {held}.",
+      "autofix": false,
+      "example": {
+        "before": "if pos.isFlat\n    buy(qty = 1)\nelse\n    close(qty = 5)",
+        "after": "if pos.isFlat\n    buy(qty = 1)\nelse\n    close()"
+      },
+      "spec": "stdlib.md 17.1, 17.2",
+      "refines": null,
+      "test": "tests/engine/closing.test.ts"
+    },
+    {
+      "code": "OS7018",
+      "title": "A frame names an order this strategy did not place",
+      "severity": "error",
+      "stage": "host",
+      "since": 1,
+      "message": "The frame names intent {intent}, and this strategy holds no such order.",
+      "placeholders": {
+        "intent": "the intent id the frame named"
+      },
+      "cause": "Step 1 of the fold locates the row a frame is about, and a frame naming no row cannot be folded into anything. It is a fact about the host rather than about the strategy: a destination answering for an order another strategy placed, or answering for a run that has already ended. The frame changes nothing and is reported, because a fold that passed over it in silence would leave a host's mistake invisible to the only party who can correct it.",
+      "fix": "Answer with the intent id the engine sent. A destination's own reference is carried in the frame's reference field, where the engine records it and never parses it, and it is not what an answer is addressed by.",
+      "autofix": false,
+      "example": {
+        "kind": "transcript",
+        "before": "engine sent: intent 7, intent 8\nframe: intent 11, status filled, filled qty 1",
+        "after": "engine sent: intent 7, intent 8\nframe: intent 8, status filled, filled qty 1"
+      },
+      "spec": "stdlib.md 17.8, 17.14",
+      "refines": null,
+      "test": null,
+      "deferred": "Nothing raises this yet. The fold refuses the frame and records the refusal as a word on the outcome it hands back, and a word is not a catalogue code, so nothing reports it against the run and a host answering for orders it was never handed stays invisible. Raised when the outcome of a fold carries a code and a bar carries a channel for a diagnostic that does not stop it, stdlib.md 17.8."
+    },
+    {
+      "code": "OS7019",
+      "title": "A fill was reported with no price",
+      "severity": "error",
+      "stage": "host",
+      "since": 1,
+      "message": "The frame reports {qty} filled for intent {intent}, and no average fill price.",
+      "placeholders": {
+        "qty": "the cumulative filled quantity the frame reports",
+        "intent": "the intent id the frame named"
+      },
+      "cause": "Step 3 of the fold takes the destination's own average over the cumulative quantity, because the engine never averages two averages of its own. A frame reporting more filled than the row holds and no price to take is a fill that can be marked against nothing: no position average, no realised profit, no equity point. It is refused whole rather than folded for its quantity alone, because a position holding a size and no price is worse than no position at all.",
+      "fix": "Report the average fill price the destination computed over the cumulative quantity, on every frame that reports a quantity greater than the last one. A frame carrying no new quantity needs no price.",
+      "autofix": false,
+      "example": {
+        "kind": "transcript",
+        "before": "frame: intent 8, status filled, filled qty 3, average fill price absent",
+        "after": "frame: intent 8, status filled, filled qty 3, average fill price 104.25"
+      },
+      "spec": "stdlib.md 17.8, 17.14",
+      "refines": null,
+      "test": null,
+      "deferred": "Nothing raises this yet. The fold refuses the frame and records the refusal as a word on the outcome it hands back, and a word is not a catalogue code, so a destination reporting a fill that can be marked against nothing is refused in silence. Raised when the outcome of a fold carries a code and a bar carries a channel for a diagnostic that does not stop it, stdlib.md 17.8."
     },
     {
       "code": "OS8001",
@@ -2809,7 +3143,7 @@
       },
       "spec": "language.md 11.4",
       "refines": null,
-      "test": "tests/errors/OS8001"
+      "test": "tests/unit/check-conditional.test.ts"
     },
     {
       "code": "OS8002",
@@ -2830,7 +3164,7 @@
       },
       "spec": "language.md 7.5",
       "refines": null,
-      "test": "tests/errors/OS8002"
+      "test": "tests/unit/check-repaint.test.ts"
     },
     {
       "code": "OS8003",
@@ -2851,7 +3185,7 @@
       },
       "spec": "language.md 4",
       "refines": null,
-      "test": "tests/errors/OS8003"
+      "test": "tests/unit/diagnostics.test.ts"
     },
     {
       "code": "OS8004",
@@ -2874,7 +3208,8 @@
       },
       "spec": "language.md 6.6",
       "refines": null,
-      "test": "tests/errors/OS8004"
+      "test": null,
+      "deferred": "Nothing raises this yet. The checker does not follow which names a branch on a possibly absent condition assigns, so the warmup shape this warns about compiles silently. Raised when the checker follows assignments out of a conditional block, language.md 6.6."
     },
     {
       "code": "OS8005",
@@ -2895,7 +3230,7 @@
       },
       "spec": "language.md 7.5",
       "refines": null,
-      "test": "tests/errors/OS8005"
+      "test": "tests/unit/check-repaint.test.ts"
     },
     {
       "code": "OS8006",
@@ -2916,7 +3251,8 @@
       },
       "spec": "language.md 15.2",
       "refines": null,
-      "test": "tests/errors/OS8006"
+      "test": null,
+      "deferred": "Nothing raises this yet. The checker does not compare a session average's call with the chart's interval, so the accumulation this warns about compiles silently. Raised when the checker reads the declared interval at the call site, language.md 15.2."
     },
     {
       "code": "OS8007",
@@ -2938,19 +3274,19 @@
       },
       "spec": "language.md 13.2, 15.3",
       "refines": null,
-      "test": "tests/errors/OS8007"
+      "test": null
     },
     {
       "code": "OS8008",
-      "title": "An alert with no id",
+      "title": "An alert with no fixed id",
       "severity": "warning",
       "stage": "check",
       "since": 1,
-      "message": "This alert has no id, so its identity is derived from its position at line {line}.",
+      "message": "This alert has no fixed id, so its identity is derived from its position at line {line}.",
       "placeholders": {
         "line": "the line the alert is declared on"
       },
-      "cause": "A user's alert subscription is keyed by the alert's id, and an id derived from a call's position changes the moment a line is inserted above it. The subscription then belongs to an alert that no longer exists, and it stops firing without telling anybody.",
+      "cause": "A user's alert subscription is keyed by the alert's id, and an id derived from a call's position changes the moment a line is inserted above it. The subscription then belongs to an alert that no longer exists, and it stops firing without telling anybody. An id taken from an input() is not fixed either, and is derived in the same way: the key is written into the program before any setting is read, and a name that moves when somebody opens the settings dialog is not a name a subscription can be kept under.",
       "fix": "Give the alert a stable id of your own: alert(\"text\", id = \"emaCross\").",
       "autofix": false,
       "example": {
@@ -2959,7 +3295,7 @@
       },
       "spec": "language.md 15.3",
       "refines": null,
-      "test": "tests/errors/OS8008"
+      "test": "tests/unit/check-repaint.test.ts"
     },
     {
       "code": "OS8009",
@@ -2980,7 +3316,7 @@
       },
       "spec": "language.md 6.7",
       "refines": null,
-      "test": "tests/errors/OS8009"
+      "test": "tests/unit/check-warmup.test.ts"
     },
     {
       "code": "OS8010",
@@ -3002,7 +3338,7 @@
       },
       "spec": "language.md 12.2",
       "refines": null,
-      "test": "tests/errors/OS8010"
+      "test": "tests/unit/diagnostics.test.ts"
     },
     {
       "code": "OS8011",
@@ -3023,7 +3359,7 @@
       },
       "spec": "language.md 7.5, 8.2",
       "refines": null,
-      "test": "tests/errors/OS8011"
+      "test": "tests/unit/check-handles.test.ts"
     },
     {
       "code": "OS8012",
@@ -3044,7 +3380,7 @@
       },
       "spec": "language.md 6.4, 6.5",
       "refines": null,
-      "test": "tests/errors/OS8012"
+      "test": null
     },
     {
       "code": "OS8013",
@@ -3067,7 +3403,8 @@
       },
       "spec": "language.md 4.1",
       "refines": null,
-      "test": "tests/errors/OS8013"
+      "test": null,
+      "deferred": "Nothing raises this yet. No name in the library is marked deprecated and there is no marker for one to carry, so the checker has nothing to warn about. Raised when the library carries a deprecation marker the checker reads, language.md 4.1."
     },
     {
       "code": "OS8014",
@@ -3088,7 +3425,8 @@
       },
       "spec": "language.md 7.2",
       "refines": null,
-      "test": "tests/errors/OS8014"
+      "test": null,
+      "deferred": "Nothing raises this yet. The checker does not follow a bar index into a persistent value, so the stored position this warns about compiles silently. Raised when the checker follows a bar index into persistent state, language.md 7.2."
     },
     {
       "code": "OS8015",
@@ -3111,7 +3449,7 @@
       },
       "spec": "language.md 10.3",
       "refines": null,
-      "test": "tests/errors/OS8015"
+      "test": null
     },
     {
       "code": "OS8016",
@@ -3132,7 +3470,7 @@
       },
       "spec": "language.md 11.3",
       "refines": null,
-      "test": "tests/errors/OS8016"
+      "test": null
     },
     {
       "code": "OS8017",
@@ -3153,7 +3491,7 @@
       },
       "spec": "language.md 10.2",
       "refines": null,
-      "test": "tests/errors/OS8017"
+      "test": null
     },
     {
       "code": "OS8018",
@@ -3175,7 +3513,7 @@
       },
       "spec": "language.md 13.4",
       "refines": null,
-      "test": "tests/errors/OS8018"
+      "test": "tests/unit/check-calls.test.ts"
     },
     {
       "code": "OS8019",
@@ -3198,7 +3536,8 @@
       },
       "spec": "language.md 5.4",
       "refines": null,
-      "test": "tests/errors/OS8019"
+      "test": null,
+      "deferred": "Nothing raises this yet. The checker does not follow a reference to a deleted object, so the held handle this warns about compiles silently. Raised when the checker follows a deletion to the names and elements still holding the object, language.md 5.4."
     }
   ]
 }