openalgo-script 0.1.0-alpha.0 → 0.2.0

package/src/core/catalogue/catalogue.generated.ts

@@ -53,8 +53,8 @@ export const ENTRIES = {
   OS1029: { code: "OS1029", title: "A name written against a number", severity: "error", stage: "lex", since: 1, autofix: false, message: "{written} is neither a number nor a name: the number literal ends at {number}, and a name cannot begin with a digit.", fix: "Write the value in a form the language has: a decimal literal, or 0x and hexadecimal digits. There is no binary form and no octal form, and an underscore separates digit groups only where a digit follows it. Where a number and a name were meant as two things, put an operator between them.", placeholders: ["written", "number"] },
   OS2001: { code: "OS2001", title: "Name is not defined here", severity: "error", stage: "check", since: 1, autofix: false, message: "{name} is not defined at this point in the file.", fix: "Assign {name} above this line, move this line below its assignment, or correct the spelling to {suggestion}.", placeholders: ["name", "suggestion"] },
   OS2002: { code: "OS2002", title: "The name already exists in an enclosing scope", severity: "error", stage: "check", since: 1, autofix: false, message: "{name} is already declared at line {line}, so a second one cannot be declared here.", fix: "Rename this one, or drop the inner declaration and let the assignment update the {name} at line {line}.", placeholders: ["name", "line"] },
-  OS2003: { code: "OS2003", title: "Types do not match", severity: "error", stage: "check", since: 1, autofix: false, message: "{leftType} and {rightType} do not mix here.", 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.", placeholders: ["leftType", "rightType"] },
-  OS2004: { code: "OS2004", title: "This value has no history", severity: "error", stage: "check", since: 1, autofix: false, message: "{expr} has no history, so [] cannot read a past value of it.", fix: "Assign the value to a name at the top level of the file, then read that name's history.", placeholders: ["expr"] },
+  OS2003: { code: "OS2003", title: "Types do not match", severity: "error", stage: "check", since: 1, autofix: false, message: "{leftType} and {rightType} do not mix here.", 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.", placeholders: ["leftType", "rightType"] },
+  OS2004: { code: "OS2004", title: "This value has no history", severity: "error", stage: "check", since: 1, autofix: false, message: "{expr} has no history, so [] cannot read a past value of it.", 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.", placeholders: ["expr"] },
   OS2005: { code: "OS2005", title: "Recursive call", severity: "error", stage: "check", since: 1, autofix: false, message: "{name} calls itself: {cycle}.", fix: "Rewrite it as a loop, or split the work into two functions that do not call each other.", placeholders: ["name", "cycle"] },
   OS2006: { code: "OS2006", title: "Assignment to a loop variable", severity: "error", stage: "check", since: 1, autofix: false, message: "{name} is this loop's variable and cannot be assigned inside the body.", fix: "Use break to leave early, or keep a separate name for the value the body changes.", placeholders: ["name"] },
   OS2007: { code: "OS2007", title: "The file has no declaration", severity: "error", stage: "check", since: 1, autofix: false, message: "A file needs one study() or strategy() declaration before any other statement.", fix: "Add study(\"Name\") as the first statement, or strategy(\"Name\") if the file places orders.", placeholders: [] },
@@ -62,7 +62,7 @@ export const ENTRIES = {
   OS2009: { code: "OS2009", title: "Unknown member of a namespace", severity: "error", stage: "check", since: 1, autofix: false, message: "{namespace} has no member named {member}.", fix: "Use one of {namespace}'s members; {suggestion} is the closest match to what was written.", placeholders: ["namespace", "member", "suggestion"] },
   OS2010: { code: "OS2010", title: "This name is not a function", severity: "error", stage: "check", since: 1, autofix: false, message: "{name} is {type}, not a function, so it cannot be called.", fix: "Remove the argument list to read the value, or call the function that was meant: {suggestion}.", placeholders: ["name", "type", "suggestion"] },
   OS2011: { code: "OS2011", title: "A condition must be a bool", severity: "error", stage: "check", since: 1, autofix: false, message: "This condition is {type}; a condition must be bool or none.", fix: "Write the test out: {name} > 0 for a count, isNone({name}) for absence, {name} != \"\" for a string.", placeholders: ["type", "name"] },
-  OS2012: { code: "OS2012", title: "The two arms of the ternary have different types", severity: "error", stage: "check", since: 1, autofix: false, message: "The arms of this ? : are {leftType} and {rightType}.", fix: "Make both arms the same type with text() or number(), or use none for the empty arm.", placeholders: ["leftType", "rightType"] },
+  OS2012: { code: "OS2012", title: "The two arms of the ternary have different types", severity: "error", stage: "check", since: 1, autofix: false, message: "The arms of this ? : are {leftType} and {rightType}.", fix: "Make both arms the same type with text() or toNumber(), or use none for the empty arm.", placeholders: ["leftType", "rightType"] },
   OS2013: { code: "OS2013", title: "An array literal mixes types", severity: "error", stage: "check", since: 1, autofix: false, message: "This array holds {firstType} at index 0 and {otherType} at index {index}.", fix: "Make every element {firstType}, or keep two arrays and index them together.", placeholders: ["firstType", "otherType", "index"] },
   OS2014: { code: "OS2014", title: "A function cannot be used as a value", severity: "error", stage: "check", since: 1, autofix: false, message: "{name} is a function, and version 1 has no function values.", fix: "Call {name} with its arguments and use the value it returns.", placeholders: ["name"] },
   OS2015: { code: "OS2015", title: "The element type of this empty array is unknown", severity: "error", stage: "check", since: 1, autofix: false, message: "An empty array literal needs its element type from an annotation or from a first use.", fix: "Annotate the declaration, var hits: array<number> = [], or put the first element in with push(), unshift(), insert() or set() and let the type be read from that call.", placeholders: [] },
@@ -70,6 +70,7 @@ export const ENTRIES = {
   OS2017: { code: "OS2017", title: "A function with this name is already declared", severity: "error", stage: "check", since: 1, autofix: false, message: "{name} is already declared as a function at line {line}.", fix: "Rename one of them, or give the one function a default argument that covers both uses.", placeholders: ["name", "line"] },
   OS2018: { code: "OS2018", title: "Duplicate parameter name", severity: "error", stage: "check", since: 1, autofix: false, message: "{name} appears twice in this parameter list.", fix: "Rename the second parameter, so every name in the list appears once.", placeholders: ["name"] },
   OS2019: { code: "OS2019", title: "This type cannot be an array element", severity: "error", stage: "check", since: 1, autofix: false, message: "array<{type}> is not a type: {type} cannot be an array element.", fix: "Use an element type an array holds: number, string, bool, color, line, label, box, polyline or table. A plot cannot be kept anywhere, so declare each plot at the top level and give it its own name.", placeholders: ["type"] },
+  OS2020: { code: "OS2020", title: "Name is planned, not implemented", severity: "error", stage: "check", since: 1, autofix: false, message: "{name} is planned and is not implemented in this version.", 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.", placeholders: ["name"] },
   OS3001: { code: "OS3001", title: "Wrong number of arguments", severity: "error", stage: "check", since: 1, autofix: false, message: "{name} takes {expected} arguments and {found} were given.", fix: "Pass the arguments the signature names: {signature}.", placeholders: ["name", "expected", "found", "signature"] },
   OS3002: { code: "OS3002", title: "Unknown named argument", severity: "error", stage: "check", since: 1, autofix: false, message: "{name} has no argument called {argument}.", fix: "Use one of {names}; {suggestion} is the closest to what was written.", placeholders: ["name", "argument", "names", "suggestion"] },
   OS3003: { code: "OS3003", title: "This option must be a constant", severity: "error", stage: "check", since: 1, autofix: false, message: "{option} is read once, before the first bar, so it cannot depend on bar data.", fix: "Use a literal, or make it tunable with an input(): {option} = input(2, \"{option}\").", placeholders: ["option"] },
@@ -80,7 +81,7 @@ export const ENTRIES = {
   OS3008: { code: "OS3008", title: "The value is not valid for this parameter", severity: "error", stage: "check", since: 1, autofix: false, message: "{argument} accepts {values}; {found} is not one of them.", fix: "Use one of {values}; {suggestion} is the closest to what was written.", placeholders: ["argument", "values", "found", "suggestion"] },
   OS3009: { code: "OS3009", title: "This option needs another option to be set", severity: "error", stage: "check", since: 1, autofix: false, message: "{option} = {value} requires {required}.", fix: "Set {required} in the declaration, or choose a value of {option} that stands on its own.", placeholders: ["option", "value", "required"] },
   OS3010: { code: "OS3010", title: "Two arguments that cannot both be given", severity: "error", stage: "check", since: 1, autofix: false, message: "{first} and {second} set the same thing two ways.", fix: "Keep one of the two: an absolute price or a distance from the entry, one colour for the whole band or a colour for each side, and on a leg described as a future neither right nor strikeOffset.", placeholders: ["first", "second"] },
-  OS3011: { code: "OS3011", title: "Argument has the wrong type", severity: "error", stage: "check", since: 1, autofix: false, message: "{name}'s {argument} is {expected}; {found} was given.", fix: "Convert the value with text(), number() or bool(), or pass an expression of type {expected}.", placeholders: ["name", "argument", "expected", "found"] },
+  OS3011: { code: "OS3011", title: "Argument has the wrong type", severity: "error", stage: "check", since: 1, autofix: false, message: "{name}'s {argument} is {expected}; {found} was given.", fix: "Convert the value with text(), toNumber() or toBool(), or pass an expression of type {expected}.", placeholders: ["name", "argument", "expected", "found"] },
   OS3012: { code: "OS3012", title: "A required argument is missing", severity: "error", stage: "check", since: 1, autofix: false, message: "{name} requires {argument}, which has no default.", fix: "Pass {argument} at the call site, as the example shows: {example}.", placeholders: ["name", "argument", "example"] },
   OS3013: { code: "OS3013", title: "Argument given twice", severity: "error", stage: "check", since: 1, autofix: false, message: "{argument} is given twice at this call site.", fix: "Delete one of the two, keeping the value that was meant.", placeholders: ["argument"] },
   OS3014: { code: "OS3014", title: "limits() is in the wrong place", severity: "error", stage: "check", since: 1, autofix: false, message: "limits() appears at most once, immediately after the declaration; this one is at line {line}.", fix: "Move the limits() line directly under study(...) or strategy(...), and merge two calls into one.", placeholders: ["line"] },
@@ -90,6 +91,10 @@ export const ENTRIES = {
   OS3018: { code: "OS3018", title: "The default is not in the options list", severity: "error", stage: "check", since: 1, autofix: false, message: "This input's default {default} is not one of options {values}.", fix: "Add {default} to options, or make the default one of the listed values.", placeholders: ["default", "values"] },
   OS3019: { code: "OS3019", title: "A declaration handle in an object argument", severity: "error", stage: "check", since: 1, autofix: false, message: "{name}'s {argument} is {expected}; {found} is a declaration handle, which has no value at run time.", fix: "Pass an object the script created with draw.line(), draw.box() or draw.label(), and change a plot's own appearance through the arguments of the plot call instead.", placeholders: ["name", "argument", "expected", "found"] },
   OS3020: { code: "OS3020", title: "fill needs two declared plots", severity: "error", stage: "check", since: 1, autofix: false, message: "fill's {argument} is {found}; it takes a plot declared by plot() or plotCandles().", fix: "Plot both edges at the top level, name each one, and pass the two names to fill().", placeholders: ["argument", "found"] },
+  OS3021: { code: "OS3021", title: "An input written in place has no title", severity: "error", stage: "check", since: 1, autofix: false, message: "An input() assigned to no name is named by its title, and this one has no title written as a string literal.", fix: "Give it a title written as a string literal: input(2, \"Precision\").", placeholders: [] },
+  OS3022: { code: "OS3022", title: "Two inputs share a settings key", severity: "error", stage: "check", since: 1, autofix: false, message: "This input is keyed by its title {name}, which is already the name of the input at line {line}.", fix: "Give this one a title of its own, or rename the input at line {line}.", placeholders: ["name", "line"] },
+  OS3023: { code: "OS3023", title: "An order names a leg this file does not declare", severity: "error", stage: "check", since: 1, autofix: false, message: "{name} was given a {argument}, and this file declares none.", fix: "Leave {argument} out. A file that declares no leg has exactly one, and every order acts on it.", placeholders: ["name", "argument"] },
+  OS3024: { code: "OS3024", title: "An input written in place has an empty title", severity: "error", stage: "check", since: 1, autofix: false, message: "An input() assigned to no name is named by its title, and this one's title is empty.", fix: "Give the title something to say: input(2, \"Precision\").", placeholders: [] },
   OS4001: { code: "OS4001", title: "History index is not usable", severity: "error", stage: "runtime", since: 1, autofix: false, message: "[{index}] is not a whole number of bars at or above zero.", fix: "Wrap the index in floor() or round(), and clamp a computed index with max(0, n).", placeholders: ["index"] },
   OS4002: { code: "OS4002", title: "History index is deeper than the retained depth", severity: "error", stage: "runtime", since: 1, autofix: false, message: "[{index}] reaches past the retained depth of {depth} bars.", fix: "Raise the depth in one place: limits(history = {suggested}).", placeholders: ["index", "depth", "suggested"] },
   OS4003: { code: "OS4003", title: "A whole number was required here", severity: "error", stage: "runtime", since: 1, autofix: false, message: "{name}'s {argument} was {found} on this bar; a whole number was required.", fix: "Round the value before passing it: floor() towards zero, round() to nearest.", placeholders: ["name", "argument", "found"] },
@@ -106,12 +111,13 @@ export const ENTRIES = {
   OS5001: { code: "OS5001", title: "Loop budget exhausted", severity: "error", stage: "runtime", since: 1, autofix: false, message: "This bar used its {budget} loop iterations, and the loop at line {line} was still running.", fix: "Fix the exit condition, or raise the budget in one line: limits(loops = {suggested}).", placeholders: ["budget", "line", "suggested"] },
   OS5002: { code: "OS5002", title: "The array is too large", severity: "error", stage: "runtime", since: 1, autofix: false, message: "An array holds at most {max} elements; {name} reached {size}.", fix: "Drop the oldest element as you append: if size(arr) > 500, shift(arr).", placeholders: ["max", "name", "size"] },
   OS5003: { code: "OS5003", title: "The host refused this limits() value", severity: "error", stage: "host", since: 1, autofix: false, message: "This host allows {option} up to {max}; the file asks for {found}.", fix: "Lower {option} to {max} or below, or run the file on a host that allows more.", placeholders: ["option", "max", "found"] },
-  OS5004: { code: "OS5004", title: "The program needs more state regions than the engine allows", severity: "error", stage: "check", since: 1, autofix: false, message: "This program needs {found} state regions and the engine allows {max}; {first} calls {second} on several paths.", fix: "Call the inner function once at the top level, give its result a name, and pass that name down.", placeholders: ["found", "max", "first", "second"] },
+  OS5004: { code: "OS5004", title: "The program needs more state regions than the engine allows", severity: "error", stage: "host", since: 1, autofix: false, message: "This program needs {found} state regions and the engine allows {max}; {first} calls {second} on several paths.", fix: "Call the inner function once at the top level, give its result a name, and pass that name down.", placeholders: ["found", "max", "first", "second"] },
   OS5005: { code: "OS5005", title: "Nesting is too deep", severity: "error", stage: "parse", since: 1, autofix: false, message: "{construct} is nested {found} deep and the ceiling is {max}.", fix: "Flatten it: give the inner expression a name at the top level and use the name.", placeholders: ["construct", "found", "max"] },
   OS5006: { code: "OS5006", title: "Too many outstanding data requests", severity: "error", stage: "host", since: 1, autofix: false, message: "This file makes {found} data requests and the host allows {max}.", fix: "Keep one request per symbol and timeframe, reuse the name it assigns, and delete the requests whose results are unused.", placeholders: ["found", "max"] },
   OS5007: { code: "OS5007", title: "The bar took too long", severity: "error", stage: "host", since: 1, autofix: false, message: "Bar {bar} ran for {ms} ms and the host allows {max} ms.", fix: "Keep a running value in a var and update it per bar instead of recomputing over the whole history.", placeholders: ["bar", "ms", "max"] },
   OS5008: { code: "OS5008", title: "The string is too long", severity: "error", stage: "runtime", since: 1, autofix: false, message: "A string holds at most {max} characters; this one reached {found}.", fix: "Keep the pieces in an array, trim it to the rows you display, and join only those.", placeholders: ["max", "found"] },
-  OS5009: { code: "OS5009", title: "The program is too large", severity: "error", stage: "check", since: 1, autofix: false, message: "This file compiles to {found} instructions and the ceiling is {max}.", fix: "Move the repeated block into a fn and call it, and delete branches the script no longer uses.", placeholders: ["found", "max"] },
+  OS5009: { code: "OS5009", title: "The program is too large", severity: "error", stage: "host", since: 1, autofix: false, message: "This file compiles to {found} instructions and the ceiling is {max}.", fix: "Move the repeated block into a fn and call it, and delete branches the script no longer uses.", placeholders: ["found", "max"] },
+  OS5010: { code: "OS5010", title: "Too many drawing objects", severity: "error", stage: "runtime", since: 1, autofix: false, message: "A script holds at most {max} drawing objects; this one would be number {found}.", 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.", placeholders: ["max", "found"] },
   OS6001: { code: "OS6001", title: "Unknown timeframe", severity: "error", stage: "check", since: 1, autofix: false, message: "{value} is not a timeframe.", fix: "Write a count and a unit, or a bare number of minutes: \"5m\", \"1h\", \"1D\", \"1W\", \"60\".", placeholders: ["value"] },
   OS6002: { code: "OS6002", title: "The requested timeframe is lower than the chart's", severity: "error", stage: "host", since: 1, autofix: false, message: "The chart is {chart} and the request asks for {requested}.", fix: "Request {chart} or higher, or change the chart's interval to the lower one and fold upwards instead.", placeholders: ["chart", "requested"] },
   OS6003: { code: "OS6003", title: "A per-bar name inside a request expression", severity: "error", stage: "check", since: 1, autofix: false, message: "{name} is computed on this chart's bars, so it has no meaning on the requested ones.", fix: "Move the calculation inside the request expression, or pass a constant: a literal or an input().", placeholders: ["name"] },
@@ -127,7 +133,7 @@ export const ENTRIES = {
   OS6013: { code: "OS6013", title: "The request changed after the first bar", severity: "error", stage: "runtime", since: 1, autofix: false, message: "This request asked for {first} on bar 0 and for {found} on bar {bar}.", fix: "Compute the symbol and the timeframe from literals or inputs, not from bar data.", placeholders: ["first", "found", "bar"] },
   OS6014: { code: "OS6014", title: "The feed does not offer this timeframe", severity: "error", stage: "host", since: 1, autofix: false, message: "The host has no {timeframe} data for {symbol}; it offers {available}.", fix: "Request one of {available}, or derive the interval you want from a lower one the host does serve.", placeholders: ["timeframe", "symbol", "available"] },
   OS6015: { code: "OS6015", title: "The requested timeframe does not fold into the chart's", severity: "error", stage: "host", since: 1, autofix: false, message: "{requested} is not a whole multiple of {chart}.", fix: "Request a multiple of {chart}, for example {suggestion}.", placeholders: ["requested", "chart", "suggestion"] },
-  OS6016: { code: "OS6016", title: "The compiled format version is not one this engine implements", severity: "error", stage: "host", since: 1, autofix: false, message: "This program is in compiled format {found} and this engine implements up to {max}.", fix: "Run the program on an engine that implements format {found}, or recompile the source with a compiler that emits format {max}.", placeholders: ["found", "max"] },
+  OS6016: { code: "OS6016", title: "The compiled format version is not one this engine implements", severity: "error", stage: "host", since: 1, autofix: false, 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.", fix: "Run the program on an engine that implements format {found}, or recompile the source with a compiler that emits format {max}.", placeholders: ["found", "max"] },
   OS6017: { code: "OS6017", title: "The program's language version is not one this engine implements", severity: "error", stage: "host", since: 1, autofix: false, message: "This program was compiled from language version {found}, and this engine implements {versions}.", fix: "Upgrade the engine to one that implements language version {found}, or recompile the source against a version it has.", placeholders: ["found", "versions"] },
   OS6018: { code: "OS6018", title: "The compiled program is malformed", severity: "error", stage: "host", since: 1, autofix: false, message: "The program failed verification at {location}: {reason}.", 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.", placeholders: ["location", "reason"] },
   OS6019: { code: "OS6019", title: "A host setting fails the input's validation", severity: "error", stage: "host", since: 1, autofix: false, message: "The host supplied {value} for {key}, and {validation}.", fix: "Correct the value in the settings dialog, or widen the input's own min, max or options so the value is allowed.", placeholders: ["value", "key", "validation"] },
@@ -139,13 +145,15 @@ export const ENTRIES = {
   OS7006: { code: "OS7006", title: "Price is not on a tick", severity: "error", stage: "runtime", since: 1, autofix: false, message: "{symbol} ticks at {tick}, and {price} does not fall on one.", fix: "Round to the tick before passing the price: round(price / chart.tickSize) * chart.tickSize.", placeholders: ["symbol", "tick", "price"] },
   OS7007: { code: "OS7007", title: "A resting order has no price", severity: "error", stage: "runtime", since: 1, autofix: false, message: "A {type} order needs {argument}, and none was given.", fix: "Pass {argument}, or leave the type as market and let the order fill at the next price.", placeholders: ["type", "argument"] },
   OS7008: { code: "OS7008", title: "The entry was refused by pyramiding", severity: "error", stage: "runtime", since: 1, autofix: false, message: "This strategy allows {max} entries in one direction and already holds {found}.", fix: "Raise pyramiding in the declaration, or test pos.size before entering again.", placeholders: ["max", "found"] },
-  OS7009: { code: "OS7009", title: "Unknown order tag", severity: "error", stage: "runtime", since: 1, autofix: false, message: "There is no working order tagged {tag}.", fix: "Use the tag the order was placed with, and test order.working({tag}) before acting on it.", placeholders: ["tag"] },
+  OS7009: { code: "OS7009", title: "Unknown order tag", severity: "error", stage: "runtime", since: 1, autofix: false, message: "There is no working order tagged {tag}.", fix: "Use the tag the order was placed with, or cancelAll() where the script means every order it has working.", placeholders: ["tag"] },
   OS7010: { code: "OS7010", title: "A bracket price is on the wrong side of the entry", severity: "error", stage: "runtime", since: 1, autofix: false, message: "A {side} entry at {entry} cannot take a {leg} at {price}.", fix: "Put the stop below a long entry and the limit above it, and swap the two for a short.", placeholders: ["side", "entry", "leg", "price"] },
   OS7011: { code: "OS7011", title: "The order needs more capital than the strategy has", severity: "error", stage: "runtime", since: 1, autofix: false, message: "This order needs {required} and the strategy has {available}.", fix: "Size from equity with qtyType = \"equityPercent\", or test pos.equity before entering.", placeholders: ["required", "available"] },
   OS7012: { code: "OS7012", title: "The instrument is outside its session", severity: "error", stage: "runtime", since: 1, autofix: false, message: "{symbol} is outside its trading session at {time}.", fix: "Guard entries with session.isOpen, and set closeOnSessionEnd = true to flatten at the close.", placeholders: ["symbol", "time"] },
   OS7013: { code: "OS7013", title: "Two opposite orders on one bar", severity: "error", stage: "runtime", since: 1, autofix: false, message: "{first} and {second} were both placed on bar {bar}.", fix: "Make the conditions exclusive with else if, or place the exit on this bar and the entry on the next.", placeholders: ["first", "second", "bar"] },
   OS7014: { code: "OS7014", title: "The destination rejected the order", severity: "error", stage: "host", since: 1, autofix: false, message: "The order destination rejected {name}: {reason}.", fix: "Act on {reason}: it comes from the destination, not from the script, and the same order will be rejected again until the account or the order changes.", placeholders: ["name", "reason"] },
   OS7015: { code: "OS7015", title: "The strategy has no order destination", severity: "error", stage: "host", since: 1, autofix: false, message: "This strategy placed an order and the host supplied no destination.", fix: "Connect a destination in the host, or run the file as a study(): replace buy() with signal(\"BUY\").", placeholders: [] },
+  OS7016: { code: "OS7016", title: "A close names a tag nothing places", severity: "error", stage: "check", since: 1, autofix: false, message: "No order in this file is placed with the tag {tag}.", fix: "Use the tag the entry was placed with, or leave the tag out to flatten the whole leg.", placeholders: ["tag"] },
+  OS7017: { code: "OS7017", title: "A close states more than it is closing", severity: "error", stage: "runtime", since: 1, autofix: false, message: "close was given a quantity of {qty}, and {part} has {held} left to close.", 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}.", placeholders: ["qty", "part", "held"] },
   OS8001: { code: "OS8001", title: "A stateful call inside a branch", severity: "warning", stage: "check", since: 1, autofix: false, message: "{name} advances only on the bars where this branch runs, and is absent on the rest.", fix: "Compute it unconditionally at the top level and use the result inside the branch.", placeholders: ["name"] },
   OS8002: { code: "OS8002", title: "A higher timeframe read with onUnconfirmed", severity: "warning", stage: "check", since: 1, autofix: false, message: "This file sets onUnconfirmed = true and reads {timeframe}; together they repaint.", fix: "Drop onUnconfirmed = true, or guard every use of the read with bar.isConfirmed.", placeholders: ["timeframe"] },
   OS8003: { code: "OS8003", title: "No version declaration", severity: "warning", stage: "check", since: 1, autofix: true, message: "This file declares no language version; it was compiled as version {version}.", fix: "Add version {version} as the first line of the file.", placeholders: ["version"] },
@@ -153,7 +161,7 @@ export const ENTRIES = {
   OS8005: { code: "OS8005", title: "A lookahead read", severity: "warning", stage: "check", since: 1, autofix: false, message: "This read uses {mode}, so the study shows values the bar it is drawn on could not have known.", fix: "Drop the mode to take the default, which never repaints, unless the study is deliberately a study of what the higher bar went on to do.", placeholders: ["mode"] },
   OS8006: { code: "OS8006", title: "A session average on a session-length bar", severity: "warning", stage: "check", since: 1, autofix: false, message: "A session anchored average resets each session, and each bar of {interval} is a whole session, so it equals its source.", fix: "Use an intraday interval for a session anchored average, or plot the source directly and delete the call.", placeholders: ["interval"] },
   OS8007: { code: "OS8007", title: "A plot sets the price pane's own formatting", severity: "warning", stage: "check", since: 1, autofix: false, message: "{title} sets {option} while drawing over the price pane, which reformats the instrument's own axis.", fix: "Set precision and format in the declaration, for the whole study, or drop them from a plot drawn over the price pane.", placeholders: ["title", "option"] },
-  OS8008: { code: "OS8008", title: "An alert with no id", severity: "warning", stage: "check", since: 1, autofix: false, message: "This alert has no id, so its identity is derived from its position at line {line}.", fix: "Give the alert a stable id of your own: alert(\"text\", id = \"emaCross\").", placeholders: ["line"] },
+  OS8008: { code: "OS8008", title: "An alert with no fixed id", severity: "warning", stage: "check", since: 1, autofix: false, message: "This alert has no fixed id, so its identity is derived from its position at line {line}.", fix: "Give the alert a stable id of your own: alert(\"text\", id = \"emaCross\").", placeholders: ["line"] },
   OS8009: { code: "OS8009", title: "This plot can never draw", severity: "warning", stage: "check", since: 1, autofix: false, message: "{title} plots a value that is absent on every bar.", fix: "Plot the value that was meant, or delete the plot and its settings row.", placeholders: ["title"] },
   OS8010: { code: "OS8010", title: "A name is never read", severity: "warning", stage: "check", since: 1, autofix: false, message: "{name} is assigned at line {line} and never read.", fix: "Use the value, or delete the line.", placeholders: ["name", "line"] },
   OS8011: { code: "OS8011", title: "live var makes live and backtest differ", severity: "warning", stage: "check", since: 1, autofix: false, message: "{name} is a live var, so it keeps its value across the updates of the moving bar.", fix: "Use var unless counting intrabar updates is the actual intent; keep live var only for that.", placeholders: ["name"] },

package/src/core/catalogue/values.generated.ts

@@ -62,6 +62,7 @@ export interface DiagnosticValues {
   readonly OS2017: { readonly name: PlaceholderValue; readonly line: PlaceholderValue };
   readonly OS2018: { readonly name: PlaceholderValue };
   readonly OS2019: { readonly type: PlaceholderValue };
+  readonly OS2020: { readonly name: PlaceholderValue };
   readonly OS3001: { readonly name: PlaceholderValue; readonly expected: PlaceholderValue; readonly found: PlaceholderValue; readonly signature: PlaceholderValue };
   readonly OS3002: { readonly name: PlaceholderValue; readonly argument: PlaceholderValue; readonly names: PlaceholderValue; readonly suggestion: PlaceholderValue };
   readonly OS3003: { readonly option: PlaceholderValue };
@@ -82,6 +83,10 @@ export interface DiagnosticValues {
   readonly OS3018: { readonly default: PlaceholderValue; readonly values: PlaceholderValue };
   readonly OS3019: { readonly name: PlaceholderValue; readonly argument: PlaceholderValue; readonly expected: PlaceholderValue; readonly found: PlaceholderValue };
   readonly OS3020: { readonly argument: PlaceholderValue; readonly found: PlaceholderValue };
+  readonly OS3021: Record<string, never>;
+  readonly OS3022: { readonly name: PlaceholderValue; readonly line: PlaceholderValue };
+  readonly OS3023: { readonly name: PlaceholderValue; readonly argument: PlaceholderValue };
+  readonly OS3024: Record<string, never>;
   readonly OS4001: { readonly index: PlaceholderValue };
   readonly OS4002: { readonly index: PlaceholderValue; readonly depth: PlaceholderValue; readonly suggested: PlaceholderValue };
   readonly OS4003: { readonly name: PlaceholderValue; readonly argument: PlaceholderValue; readonly found: PlaceholderValue };
@@ -104,6 +109,7 @@ export interface DiagnosticValues {
   readonly OS5007: { readonly bar: PlaceholderValue; readonly ms: PlaceholderValue; readonly max: PlaceholderValue };
   readonly OS5008: { readonly max: PlaceholderValue; readonly found: PlaceholderValue };
   readonly OS5009: { readonly found: PlaceholderValue; readonly max: PlaceholderValue };
+  readonly OS5010: { readonly max: PlaceholderValue; readonly found: PlaceholderValue };
   readonly OS6001: { readonly value: PlaceholderValue };
   readonly OS6002: { readonly chart: PlaceholderValue; readonly requested: PlaceholderValue };
   readonly OS6003: { readonly name: PlaceholderValue };
@@ -138,6 +144,8 @@ export interface DiagnosticValues {
   readonly OS7013: { readonly first: PlaceholderValue; readonly second: PlaceholderValue; readonly bar: PlaceholderValue };
   readonly OS7014: { readonly name: PlaceholderValue; readonly reason: PlaceholderValue };
   readonly OS7015: Record<string, never>;
+  readonly OS7016: { readonly tag: PlaceholderValue };
+  readonly OS7017: { readonly qty: PlaceholderValue; readonly part: PlaceholderValue; readonly held: PlaceholderValue };
   readonly OS8001: { readonly name: PlaceholderValue };
   readonly OS8002: { readonly timeframe: PlaceholderValue };
   readonly OS8003: { readonly version: PlaceholderValue };

package/src/core/check/arguments.ts

@@ -0,0 +1,126 @@
+/**
+ * Matching what was written at a call site against what the callee takes.
+ *
+ * This is the half of call checking that knows nothing about types: which
+ * argument fills which parameter, and what is missing, doubled or unknown.
+ * `language.md` 11.2 is the whole rule, and it is the same rule for a library
+ * call and for a user function, which is why this takes a parameter list rather
+ * than either kind of callee.
+ *
+ * Six codes live here, and each of them names the call, so the reader is told
+ * which of the three calls on the line the caret is about.
+ */
+import type { Argument } from '../ast/index.js';
+import type { Span } from '../span/index.js';
+import type { Checker } from './checker.js';
+import { closestName } from './suggest.js';
+
+/** What a parameter list looks like to this file, whatever declared it. */
+export interface ParameterShape {
+  readonly name: string;
+  readonly optional: boolean;
+}
+
+/**
+ * The parameters in declaration order, holding the argument that filled each.
+ *
+ * A hole is a parameter the call left to its default. The generator reads this
+ * rather than the written order, so it never matches a label a second time.
+ */
+export type Binding = readonly (Argument | undefined)[];
+
+/** `ema(src, len)`, with a `?` on the parameters that carry a default. */
+export function signatureText(name: string, parameters: readonly ParameterShape[]): string {
+  const written = parameters.map((one) => (one.optional ? `${one.name}?` : one.name));
+  return `${name}(${written.join(', ')})`;
+}
+
+/** `2`, or `2 to 5` where some parameters have defaults. */
+export function arityText(parameters: readonly ParameterShape[]): string {
+  const required = parameters.filter((one) => !one.optional).length;
+  return required === parameters.length ? `${required}` : `${required} to ${parameters.length}`;
+}
+
+/** A call with the required parameters written in, for OS3012's example slot. */
+function exampleCall(name: string, parameters: readonly ParameterShape[]): string {
+  const required = parameters.filter((one) => !one.optional).map((one) => one.name);
+  return `${name}(${required.join(', ')})`;
+}
+
+/**
+ * Fills the parameter list from the arguments as written.
+ *
+ * Positional arguments fill from the left and named ones fill by label, which
+ * is the order `language.md` 11.2 allows. A positional argument after a named
+ * one is OS3005 and is reported once rather than once per argument: the mistake
+ * is the boundary, not each argument past it.
+ */
+export function bindArguments(
+  checker: Checker,
+  span: Span,
+  args: readonly Argument[],
+  name: string,
+  parameters: readonly ParameterShape[],
+): Binding {
+  const filled: (Argument | undefined)[] = parameters.map(() => undefined);
+  const names = parameters.map((one) => one.name);
+  let next = 0;
+  let seenNamed = false;
+  let extra = 0;
+  let reportedOrder = false;
+
+  for (const argument of args) {
+    if (argument.label === undefined) {
+      if (seenNamed && !reportedOrder) {
+        checker.report('OS3005', argument.span, {});
+        reportedOrder = true;
+      }
+      if (next >= parameters.length) {
+        extra += 1;
+        continue;
+      }
+      filled[next] = argument;
+      next += 1;
+      continue;
+    }
+
+    seenNamed = true;
+    const label = argument.label.text;
+    const index = names.indexOf(label);
+    if (index < 0) {
+      checker.report('OS3002', argument.label.span, {
+        name,
+        argument: label,
+        names: names.join(', '),
+        suggestion: closestName(label, names),
+      });
+      continue;
+    }
+    if (filled[index] !== undefined) {
+      checker.report('OS3013', argument.span, { argument: label });
+      continue;
+    }
+    filled[index] = argument;
+  }
+
+  if (extra > 0) {
+    checker.report('OS3001', span, {
+      name,
+      expected: arityText(parameters),
+      found: args.length,
+      signature: signatureText(name, parameters),
+    });
+  }
+
+  for (let i = 0; i < parameters.length; i += 1) {
+    const parameter = parameters[i];
+    if (parameter === undefined || parameter.optional || filled[i] !== undefined) continue;
+    checker.report('OS3012', span, {
+      name,
+      argument: parameter.name,
+      example: exampleCall(name, parameters),
+    });
+  }
+
+  return filled;
+}