v1.json

{
  "$schema": "./schema.json",
  "name": "aureon-standard-library",
  "version": 1,
  "fallbackPolicy": {
    "selection": "link-time",
    "defaultImplementation": "portable",
    "nativeEligibility": "target-guaranteed",
    "runtimeFallback": false
  },
  "modules": [
    {
      "specifier": "std:console",
      "kind": "hybrid",
      "description": {
        "en": "Explicit console output through a typed Host ABI bridge and portable wrappers.",
        "pt": "Saída explícita no console por uma ponte tipada da Host ABI e funções auxiliares portáteis."
      },
      "exports": [
        {
          "kind": "function",
          "name": "write",
          "parameters": [
            { "name": "message", "type": "STRING" }
          ],
          "returnType": "VOID",
          "implementation": {
            "kind": "host",
            "capability": "std.console.write"
          },
          "description": {
            "en": "Writes the message exactly and does not append a line feed.",
            "pt": "Escreve a mensagem exatamente e não acrescenta uma quebra de linha."
          }
        },
        {
          "kind": "function",
          "name": "writeLine",
          "parameters": [
            { "name": "message", "type": "STRING" }
          ],
          "returnType": "VOID",
          "implementation": {
            "kind": "portable",
            "source": "src/console.aur"
          },
          "description": {
            "en": "Writes the message followed by one line-feed character through write.",
            "pt": "Escreve a mensagem seguida por um caractere de quebra de linha por meio de write."
          }
        }
      ]
    },
    {
      "specifier": "std:math/i64",
      "kind": "portable",
      "description": {
        "en": "Deterministic helpers for signed 64-bit integers implemented in portable AUREON.",
        "pt": "Funções determinísticas para inteiros de 64 bits com sinal implementadas em AUREON portátil."
      },
      "exports": [
        {
          "kind": "function",
          "name": "absolute",
          "parameters": [
            { "name": "value", "type": "I64" }
          ],
          "returnType": "I64",
          "implementation": {
            "kind": "portable",
            "source": "src/math/i64.aur",
            "optionalNative": {
              "capability": "std.math.i64.absolute"
            }
          },
          "description": {
            "en": "Returns the non-negative magnitude; the minimum I64 value follows checked-negation overflow behavior.",
            "pt": "Retorna a magnitude não negativa; o menor valor I64 segue o comportamento de overflow da negação verificada."
          }
        },
        {
          "kind": "function",
          "name": "minimum",
          "parameters": [
            { "name": "left", "type": "I64" },
            { "name": "right", "type": "I64" }
          ],
          "returnType": "I64",
          "implementation": {
            "kind": "portable",
            "source": "src/math/i64.aur",
            "optionalNative": {
              "capability": "std.math.i64.minimum"
            }
          },
          "description": {
            "en": "Returns left when left is less than or equal to right; otherwise returns right.",
            "pt": "Retorna left quando left é menor ou igual a right; caso contrário, retorna right."
          }
        },
        {
          "kind": "function",
          "name": "maximum",
          "parameters": [
            { "name": "left", "type": "I64" },
            { "name": "right", "type": "I64" }
          ],
          "returnType": "I64",
          "implementation": {
            "kind": "portable",
            "source": "src/math/i64.aur",
            "optionalNative": {
              "capability": "std.math.i64.maximum"
            }
          },
          "description": {
            "en": "Returns left when left is greater than or equal to right; otherwise returns right.",
            "pt": "Retorna left quando left é maior ou igual a right; caso contrário, retorna right."
          }
        },
        {
          "kind": "function",
          "name": "sign",
          "parameters": [
            { "name": "value", "type": "I64" }
          ],
          "returnType": "I64",
          "implementation": {
            "kind": "portable",
            "source": "src/math/i64.aur",
            "optionalNative": {
              "capability": "std.math.i64.sign"
            }
          },
          "description": {
            "en": "Returns -1 for negative values, 0 for zero, and 1 for positive values.",
            "pt": "Retorna -1 para valores negativos, 0 para zero e 1 para valores positivos."
          }
        }
      ]
    },
    {
      "specifier": "std:option",
      "kind": "portable",
      "source": "src/option.aur",
      "description": {
        "en": "Generic optional values with exhaustive pattern matching.",
        "pt": "Valores opcionais genéricos com correspondência de padrões exaustiva."
      },
      "exports": [
        {
          "kind": "variant",
          "name": "Option",
          "typeParameters": ["T"],
          "alternatives": [
            { "name": "None", "fields": [] },
            { "name": "Some", "fields": [{ "name": "value", "type": "T" }] }
          ],
          "description": {
            "en": "Represents either no value or one value of type T.",
            "pt": "Representa a ausência de valor ou um valor do tipo T."
          }
        }
      ]
    },
    {
      "specifier": "std:result",
      "kind": "portable",
      "source": "src/result.aur",
      "description": {
        "en": "Explicit nominal result values for recoverable string-producing operations.",
        "pt": "Valores nominais e explícitos de resultado para operações recuperáveis que produzem strings."
      },
      "exports": [
        {
          "kind": "variant",
          "name": "Result",
          "typeParameters": ["T", "E"],
          "alternatives": [
            { "name": "Ok", "fields": [{ "name": "value", "type": "T" }] },
            { "name": "Error", "fields": [{ "name": "error", "type": "E" }] }
          ],
          "description": {
            "en": "Represents either a successful value of type T or an error of type E.",
            "pt": "Representa um valor bem-sucedido do tipo T ou um erro do tipo E."
          }
        },
        {
          "kind": "record",
          "name": "StringResult",
          "fields": [
            { "name": "ok", "type": "BOOL" },
            { "name": "value", "type": "STRING" },
            { "name": "error", "type": "STRING" }
          ],
          "description": {
            "en": "Carries an explicit success flag, string value, and deterministic error message.",
            "pt": "Transporta um indicador explícito de sucesso, uma string e uma mensagem determinística de erro."
          }
        },
        {
          "kind": "function",
          "name": "stringSuccess",
          "parameters": [{ "name": "value", "type": "STRING" }],
          "returnType": "StringResult",
          "implementation": { "kind": "portable", "source": "src/result.aur" },
          "description": {
            "en": "Creates a successful StringResult.",
            "pt": "Cria um StringResult bem-sucedido."
          }
        },
        {
          "kind": "function",
          "name": "stringFailure",
          "parameters": [{ "name": "error", "type": "STRING" }],
          "returnType": "StringResult",
          "implementation": { "kind": "portable", "source": "src/result.aur" },
          "description": {
            "en": "Creates a failed StringResult with an empty fallback value.",
            "pt": "Cria um StringResult com falha e valor alternativo vazio."
          }
        }
      ]
    },
    {
      "specifier": "std:text",
      "kind": "portable",
      "source": "src/text.aur",
      "description": {
        "en": "Portable Unicode-scalar text length, concatenation, indexed access, and slicing.",
        "pt": "Comprimento, concatenação, acesso indexado e recorte portáteis por valores escalares Unicode."
      },
      "exports": [
        {
          "kind": "function",
          "name": "length",
          "parameters": [{ "name": "value", "type": "STRING" }],
          "returnType": "I64",
          "implementation": { "kind": "portable", "source": "src/text.aur" },
          "description": {
            "en": "Returns the Unicode scalar-value count.",
            "pt": "Retorna a quantidade de valores escalares Unicode."
          }
        },
        {
          "kind": "function",
          "name": "concat",
          "parameters": [
            { "name": "left", "type": "STRING" },
            { "name": "right", "type": "STRING" }
          ],
          "returnType": "STRING",
          "implementation": { "kind": "portable", "source": "src/text.aur" },
          "description": {
            "en": "Concatenates two strings.",
            "pt": "Concatena duas strings."
          }
        },
        {
          "kind": "function",
          "name": "at",
          "parameters": [
            { "name": "value", "type": "STRING" },
            { "name": "index", "type": "I64" }
          ],
          "returnType": "StringResult",
          "implementation": { "kind": "portable", "source": "src/text.aur" },
          "description": {
            "en": "Returns one Unicode scalar value or an explicit bounds error.",
            "pt": "Retorna um valor escalar Unicode ou um erro explícito de limite."
          }
        },
        {
          "kind": "function",
          "name": "slice",
          "parameters": [
            { "name": "value", "type": "STRING" },
            { "name": "start", "type": "I64" },
            { "name": "end", "type": "I64" }
          ],
          "returnType": "StringResult",
          "implementation": { "kind": "portable", "source": "src/text.aur" },
          "description": {
            "en": "Returns a half-open Unicode scalar range or an explicit bounds error.",
            "pt": "Retorna um intervalo semiaberto de valores Unicode ou um erro explícito de limite."
          }
        }
      ]
    },
    {
      "specifier": "std:collections/i64",
      "kind": "portable",
      "source": "src/collections/i64.aur",
      "description": {
        "en": "Portable search and recoverable replacement helpers for immutable I64 arrays.",
        "pt": "Operações portáteis de busca e substituição recuperável para arrays imutáveis de I64."
      },
      "exports": [
        {
          "kind": "record",
          "name": "I64ArrayResult",
          "fields": [
            { "name": "ok", "type": "BOOL" },
            { "name": "value", "type": "[I64]" },
            { "name": "error", "type": "STRING" }
          ],
          "description": {
            "en": "Carries an immutable I64 array or a recoverable error.",
            "pt": "Transporta um array imutável de I64 ou um erro recuperável."
          }
        },
        {
          "kind": "function",
          "name": "contains",
          "parameters": [
            { "name": "values", "type": "[I64]" },
            { "name": "expected", "type": "I64" }
          ],
          "returnType": "BOOL",
          "implementation": { "kind": "portable", "source": "src/collections/i64.aur" },
          "description": {
            "en": "Returns whether the array contains the expected value.",
            "pt": "Informa se o array contém o valor esperado."
          }
        },
        {
          "kind": "function",
          "name": "indexOf",
          "parameters": [
            { "name": "values", "type": "[I64]" },
            { "name": "expected", "type": "I64" }
          ],
          "returnType": "I64",
          "implementation": { "kind": "portable", "source": "src/collections/i64.aur" },
          "description": {
            "en": "Returns the first index or -1 when absent.",
            "pt": "Retorna o primeiro índice ou -1 quando ausente."
          }
        },
        {
          "kind": "function",
          "name": "replace",
          "parameters": [
            { "name": "values", "type": "[I64]" },
            { "name": "index", "type": "I64" },
            { "name": "replacement", "type": "I64" }
          ],
          "returnType": "I64ArrayResult",
          "implementation": { "kind": "portable", "source": "src/collections/i64.aur" },
          "description": {
            "en": "Returns an updated array or an explicit bounds error while preserving the input.",
            "pt": "Retorna um array atualizado ou um erro explícito de limite, preservando a entrada."
          }
        }
      ]
    },
    {
      "specifier": "std:bytes",
      "kind": "portable",
      "source": "src/bytes.aur",
      "description": {
        "en": "Immutable byte sequences and explicit UTF-8 conversion.",
        "pt": "Sequencias imutaveis de bytes e conversao UTF-8 explicita."
      },
      "exports": [
        {
          "kind": "record",
          "name": "Utf8Result",
          "fields": [
            { "name": "ok", "type": "BOOL" },
            { "name": "value", "type": "STRING" },
            { "name": "error", "type": "STRING" }
          ],
          "description": {
            "en": "Carries a decoded UTF-8 string or a deterministic validation error.",
            "pt": "Transporta uma string UTF-8 decodificada ou um erro deterministico de validacao."
          }
        },
        {
          "kind": "function",
          "name": "encodeUtf8",
          "parameters": [{ "name": "value", "type": "STRING" }],
          "returnType": "BYTES",
          "implementation": { "kind": "portable", "source": "src/bytes.aur" },
          "description": {
            "en": "Encodes a string as immutable UTF-8 bytes.",
            "pt": "Codifica uma string como bytes UTF-8 imutaveis."
          }
        },
        {
          "kind": "function",
          "name": "isUtf8",
          "parameters": [{ "name": "value", "type": "BYTES" }],
          "returnType": "BOOL",
          "implementation": { "kind": "portable", "source": "src/bytes.aur" },
          "description": {
            "en": "Returns whether a byte sequence is valid UTF-8.",
            "pt": "Informa se uma sequencia de bytes e UTF-8 valido."
          }
        },
        {
          "kind": "function",
          "name": "decodeUtf8",
          "parameters": [{ "name": "value", "type": "BYTES" }],
          "returnType": "Utf8Result",
          "implementation": { "kind": "portable", "source": "src/bytes.aur" },
          "description": {
            "en": "Decodes valid UTF-8 or returns an explicit deterministic error.",
            "pt": "Decodifica UTF-8 valido ou retorna um erro deterministico explicito."
          }
        }
      ]
    },
    {
      "specifier": "std:json/support",
      "kind": "host-bridge",
      "description": {
        "en": "Total scalar Host ABI primitives used by the typed std:json wrapper.",
        "pt": "Primitivas escalares totais da Host ABI usadas pelo wrapper tipado de std:json."
      },
      "exports": [
        {
          "kind": "function",
          "name": "validate",
          "parameters": [{ "name": "source", "type": "STRING" }],
          "returnType": "BOOL",
          "implementation": { "kind": "host", "capability": "std.json.validate" },
          "description": {
            "en": "Returns whether the input is valid and within the JSON resource limits.",
            "pt": "Informa se a entrada é válida e respeita os limites de recursos de JSON."
          }
        },
        {
          "kind": "function",
          "name": "canonicalize",
          "parameters": [{ "name": "source", "type": "STRING" }],
          "returnType": "STRING",
          "implementation": { "kind": "host", "capability": "std.json.canonicalize" },
          "description": {
            "en": "Returns deterministic compact JSON, or an empty string for invalid input.",
            "pt": "Retorna JSON compacto e determinístico, ou uma string vazia para entrada inválida."
          }
        },
        {
          "kind": "function",
          "name": "diagnostic",
          "parameters": [{ "name": "source", "type": "STRING" }],
          "returnType": "STRING",
          "implementation": { "kind": "host", "capability": "std.json.diagnostic" },
          "description": {
            "en": "Returns a deterministic validation diagnostic, or an empty string when valid.",
            "pt": "Retorna um diagnóstico determinístico, ou uma string vazia quando a entrada é válida."
          }
        },
        {
          "kind": "function", "name": "kind",
          "parameters": [{ "name": "source", "type": "STRING" }], "returnType": "I64",
          "implementation": { "kind": "host", "capability": "std.json.kind" },
          "description": { "en": "Returns the kind tag of one validated JSON fragment.", "pt": "Retorna a etiqueta de tipo de um fragmento JSON validado." }
        },
        {
          "kind": "function", "name": "booleanValue",
          "parameters": [{ "name": "source", "type": "STRING" }], "returnType": "BOOL",
          "implementation": { "kind": "host", "capability": "std.json.boolean" },
          "description": { "en": "Extracts a boolean JSON fragment.", "pt": "Extrai um fragmento JSON booleano." }
        },
        {
          "kind": "function", "name": "numberValue",
          "parameters": [{ "name": "source", "type": "STRING" }], "returnType": "STRING",
          "implementation": { "kind": "host", "capability": "std.json.number" },
          "description": { "en": "Extracts an exact JSON number lexeme.", "pt": "Extrai um lexema numérico JSON exato." }
        },
        {
          "kind": "function", "name": "stringValue",
          "parameters": [{ "name": "source", "type": "STRING" }], "returnType": "STRING",
          "implementation": { "kind": "host", "capability": "std.json.string" },
          "description": { "en": "Extracts a decoded JSON string.", "pt": "Extrai uma string JSON decodificada." }
        },
        {
          "kind": "function", "name": "arrayLength",
          "parameters": [{ "name": "source", "type": "STRING" }], "returnType": "I64",
          "implementation": { "kind": "host", "capability": "std.json.arraylength" },
          "description": { "en": "Returns the length of a JSON array fragment.", "pt": "Retorna o comprimento de um fragmento de array JSON." }
        },
        {
          "kind": "function", "name": "arrayItem",
          "parameters": [{ "name": "source", "type": "STRING" }, { "name": "index", "type": "I64" }], "returnType": "STRING",
          "implementation": { "kind": "host", "capability": "std.json.arrayitem" },
          "description": { "en": "Returns one canonical JSON array item.", "pt": "Retorna um item canônico de array JSON." }
        },
        {
          "kind": "function", "name": "objectLength",
          "parameters": [{ "name": "source", "type": "STRING" }], "returnType": "I64",
          "implementation": { "kind": "host", "capability": "std.json.objectlength" },
          "description": { "en": "Returns the length of a JSON object fragment.", "pt": "Retorna o comprimento de um fragmento de objeto JSON." }
        },
        {
          "kind": "function", "name": "objectKey",
          "parameters": [{ "name": "source", "type": "STRING" }, { "name": "index", "type": "I64" }], "returnType": "STRING",
          "implementation": { "kind": "host", "capability": "std.json.objectkey" },
          "description": { "en": "Returns one decoded JSON object key.", "pt": "Retorna uma chave decodificada de objeto JSON." }
        },
        {
          "kind": "function", "name": "objectValue",
          "parameters": [{ "name": "source", "type": "STRING" }, { "name": "index", "type": "I64" }], "returnType": "STRING",
          "implementation": { "kind": "host", "capability": "std.json.objectvalue" },
          "description": { "en": "Returns one canonical JSON object value.", "pt": "Retorna um valor canônico de objeto JSON." }
        },
        {
          "kind": "function", "name": "quote",
          "parameters": [{ "name": "value", "type": "STRING" }], "returnType": "STRING",
          "implementation": { "kind": "host", "capability": "std.json.quote" },
          "description": { "en": "Quotes and escapes one JSON string.", "pt": "Delimita e escapa uma string JSON." }
        }
      ]
    },
    {
      "specifier": "std:json",
      "kind": "portable",
      "source": "src/json.aur",
      "description": {
        "en": "Typed recoverable structured JSON parsing and deterministic serialization.",
        "pt": "Análise recuperável tipada de JSON e serialização determinística de documentos validados."
      },
      "exports": [
        {
          "kind": "record",
          "name": "JsonMember",
          "fields": [{ "name": "key", "type": "STRING" }, { "name": "value", "type": "JsonValue" }],
          "description": { "en": "One ordered JSON object member.", "pt": "Um membro ordenado de objeto JSON." }
        },
        {
          "kind": "variant",
          "name": "JsonValue",
          "alternatives": [
            { "name": "Null", "fields": [] },
            { "name": "Boolean", "fields": [{ "name": "value", "type": "BOOL" }] },
            { "name": "Number", "fields": [{ "name": "lexeme", "type": "STRING" }] },
            { "name": "String", "fields": [{ "name": "value", "type": "STRING" }] },
            { "name": "Array", "fields": [{ "name": "values", "type": "[JsonValue]" }] },
            { "name": "Object", "fields": [{ "name": "members", "type": "[JsonMember]" }] }
          ],
          "description": { "en": "A typed recursive JSON value preserving exact number lexemes and object order.", "pt": "Um valor JSON recursivo tipado que preserva lexemas numéricos exatos e ordem de objetos." }
        },
        {
          "kind": "record",
          "name": "JsonResult",
          "fields": [
            { "name": "ok", "type": "BOOL" },
            { "name": "value", "type": "JsonValue" },
            { "name": "error", "type": "STRING" }
          ],
          "description": {
            "en": "Carries a structured JSON value or a recoverable deterministic parse error.",
            "pt": "Transporta um documento validado ou um erro de análise determinístico e recuperável."
          }
        },
        {
          "kind": "function",
          "name": "parse",
          "parameters": [{ "name": "source", "type": "STRING" }],
          "returnType": "JsonResult",
          "implementation": { "kind": "portable", "source": "src/json.aur" },
          "description": {
            "en": "Parses JSON into a typed recursive value without throwing a language-level exception.",
            "pt": "Valida e canonicaliza JSON sem lançar uma exceção no nível da linguagem."
          }
        },
        {
          "kind": "function",
          "name": "stringify",
          "parameters": [{ "name": "value", "type": "JsonValue" }],
          "returnType": "StringResult",
          "implementation": { "kind": "portable", "source": "src/json.aur" },
          "description": {
            "en": "Serializes a structured value or reports an explicit validation error.",
            "pt": "Serializa um documento ou informa um erro explícito de validação."
          }
        }
      ]
    },
    {
      "specifier": "std:files",
      "kind": "host-bridge",
      "description": {
        "en": "Capability-gated asynchronous file operations over immutable bytes.",
        "pt": "Capability-gated asynchronous file operations over immutable bytes."
      },
      "exports": [
        {
          "kind": "function",
          "name": "read",
          "parameters": [
            { "name": "path", "type": "STRING" },
            { "name": "timeoutMilliseconds", "type": "I64" }
          ],
          "returnType": "Task<BYTES>",
          "implementation": {
            "kind": "host",
            "capability": "std.files.read",
            "asynchronous": true
          },
          "description": {
            "en": "Starts a root-confined read and returns a typed binary outcome envelope.",
            "pt": "Starts a root-confined read and returns a typed binary outcome envelope."
          }
        },
        {
          "kind": "function",
          "name": "write",
          "parameters": [
            { "name": "path", "type": "STRING" },
            { "name": "data", "type": "BYTES" },
            { "name": "overwrite", "type": "BOOL" },
            { "name": "timeoutMilliseconds", "type": "I64" }
          ],
          "returnType": "Task<BYTES>",
          "implementation": {
            "kind": "host",
            "capability": "std.files.write",
            "asynchronous": true
          },
          "description": {
            "en": "Starts a root-confined policy-controlled atomic write and returns a typed binary outcome envelope.",
            "pt": "Starts a root-confined policy-controlled atomic write and returns a typed binary outcome envelope."
          }
        }
      ]
    },
    {
      "specifier": "std:http",
      "kind": "host-bridge",
      "description": {
        "en": "Capability-gated asynchronous HTTP requests with deterministic policy enforcement.",
        "pt": "Capability-gated asynchronous HTTP requests with deterministic policy enforcement."
      },
      "exports": [
        {
          "kind": "function",
          "name": "request",
          "parameters": [
            { "name": "method", "type": "STRING" },
            { "name": "url", "type": "STRING" },
            { "name": "headers", "type": "STRING" },
            { "name": "body", "type": "BYTES" },
            { "name": "timeoutMilliseconds", "type": "I64" }
          ],
          "returnType": "Task<BYTES>",
          "implementation": {
            "kind": "host",
            "capability": "std.http.request",
            "asynchronous": true
          },
          "description": {
            "en": "Starts one policy-checked HTTP request and returns a typed binary response envelope.",
            "pt": "Starts one policy-checked HTTP request and returns a typed binary response envelope."
          }
        }
      ]
    }
  ]
}