@stxt-lang/core 0.9.0 → 0.9.1

package/out/core/LineParser.d.ts

@@ -16,7 +16,7 @@ import { Line } from "./Line";
  * @param numLine line number, for the error messages.
  * @param validate false to split the line without enforcing the indentation rules.
  * @returns the line already split into indentation and content.
- * @throws ParseException with code `MIXED_INDENTATION`, `INVALID_NUMBER_SPACES` or
+ * @throws ParseException with code `INDENTATION_MIXED`, `INDENTATION_SPACES_NOT_VALID` or
  *         `INDENTATION_LEVEL_NOT_VALID` if the indentation is not valid.
  */
 export declare function parseLine(line: string, lastNodeBlock: boolean, lastLevel: number, numLine: number, validate?: boolean): Line;

package/out/core/LineParser.js

@@ -22,7 +22,7 @@ const Line_1 = require("./Line");
  * @param numLine line number, for the error messages.
  * @param validate false to split the line without enforcing the indentation rules.
  * @returns the line already split into indentation and content.
- * @throws ParseException with code `MIXED_INDENTATION`, `INVALID_NUMBER_SPACES` or
+ * @throws ParseException with code `INDENTATION_MIXED`, `INDENTATION_SPACES_NOT_VALID` or
  *         `INDENTATION_LEVEL_NOT_VALID` if the indentation is not valid.
  */
 function parseLine(line, lastNodeBlock, lastLevel, numLine, validate = true) {
@@ -66,7 +66,7 @@ function parseLine(line, lastNodeBlock, lastLevel, numLine, validate = true) {
             // The prefix covering the block level must be homogeneous (spec 10.2, rule 2);
             // empty lines are always preserved and are exempt from it (spec 10.3)
             if (validate && sawSpace && sawTab && text.length > 0) {
-                throw new ParseException_1.ParseException(numLine, "MIXED_INDENTATION", `Mixed tabs and spaces in indentation`);
+                throw new ParseException_1.ParseException(numLine, "INDENTATION_MIXED", `Mixed tabs and spaces in indentation`);
             }
             return new Line_1.Line(level, text, false, true, pointer);
         }
@@ -83,11 +83,11 @@ function parseLine(line, lastNodeBlock, lastLevel, numLine, validate = true) {
     }
     // Tabs and spaces mixed in the indentation (spec 8.1 and 8.3)
     if (validate && sawSpace && sawTab) {
-        throw new ParseException_1.ParseException(numLine, "MIXED_INDENTATION", `Mixed tabs and spaces in indentation`);
+        throw new ParseException_1.ParseException(numLine, "INDENTATION_MIXED", `Mixed tabs and spaces in indentation`);
     }
     // Indentation with spaces that is not a multiple of 4
     if (validate && spaces > 0) {
-        throw new ParseException_1.ParseException(numLine, "INVALID_NUMBER_SPACES", `There are ${spaces} spaces before node`);
+        throw new ParseException_1.ParseException(numLine, "INDENTATION_SPACES_NOT_VALID", `There are ${spaces} spaces before node`);
     }
     // Validate the level (spec 11.3). Comments included (spec 9): lastLevel is the level of the
     // last NODE, a comment never becomes the reference.

package/out/core/NamespaceValidator.d.ts

@@ -18,5 +18,12 @@ export declare class NamespaceValidator {
      * @param lineNumber line number, for the error message.
      * @throws ParseException with code `INVALID_NAMESPACE` if it does not match the format.
      */
+    /**
+     * Tells whether a namespace matches the format, without throwing.
+     *
+     * @param namespace already normalized namespace to check.
+     * @returns true if it matches the format; false when it is null, empty or malformed.
+     */
+    static isValid(namespace: string | null | undefined): boolean;
     static validateNamespaceFormat(namespace: string | null | undefined, lineNumber: number): void;
 }

package/out/core/NamespaceValidator.js

@@ -11,6 +11,15 @@ class NamespaceValidator {
      * @param lineNumber line number, for the error message.
      * @throws ParseException with code `INVALID_NAMESPACE` if it does not match the format.
      */
+    /**
+     * Tells whether a namespace matches the format, without throwing.
+     *
+     * @param namespace already normalized namespace to check.
+     * @returns true if it matches the format; false when it is null, empty or malformed.
+     */
+    static isValid(namespace) {
+        return !!namespace && NamespaceValidator.NAMESPACE_FORMAT.test(namespace);
+    }
     static validateNamespaceFormat(namespace, lineNumber) {
         if (!namespace) {
             return;

package/out/core/NodeCreator.js

@@ -49,7 +49,7 @@ function createNode(lineIndent, lineNumber) {
         value = line.substring(nodeIndex + Constants_1.Constants.SEP_NODE.length);
     }
     if (textNode && StringUtils_1.StringUtils.trim(value).length > 0) {
-        throw new ParseException_1.ParseException(lineNumber, "INLINE_VALUE_NOT_VALID", `Line not valid: ${line}`);
+        throw new ParseException_1.ParseException(lineNumber, "BLOCK_VALUE_NOT_ALLOWED", `Line not valid: ${line}`);
     }
     // The namespace the line declares, if any (empty when it inherits)
     const nameNamespace = NameNamespaceParser_1.NameNamespaceParser.parse(name, null, lineNumber, line);

package/out/core/Parser.d.ts

@@ -41,6 +41,11 @@ export declare class Parser {
      */
     parseResult(content: string): ParseResult;
     private processLine;
+    /**
+     * Records an error raised while parsing or validating a line. Typed exceptions travel as they
+     * are; anything else is wrapped under the code `UNEXPECTED_ERROR` (as a ValidationException
+     * when it was raised by a validator, so that the subtype still tells the phase apart).
+     */
     private handleError;
     private closeToLevel;
     private removeUTF8BOM;

package/out/core/Parser.js

@@ -6,6 +6,7 @@ const LineParser_1 = require("./LineParser");
 const NodeCreator_1 = require("./NodeCreator");
 const ParseResult_1 = require("./ParseResult");
 const ParseException_1 = require("../exceptions/ParseException");
+const ValidationException_1 = require("../exceptions/ValidationException");
 /**
  * Line-by-line STXT parsing engine. It knows nothing about schemas: semantic validation is
  * plugged in through {@link Parser.registerValidator} and {@link Parser.registerObserver}.
@@ -145,17 +146,20 @@ class Parser {
             this.handleError(e, lineNumber, result);
         }
     }
-    handleError(e, line, result, errorCode = "UNEXPECTED_ERROR", unknownErrorCode = "UNKNOWN_ERROR") {
+    /**
+     * Records an error raised while parsing or validating a line. Typed exceptions travel as they
+     * are; anything else is wrapped under the code `UNEXPECTED_ERROR` (as a ValidationException
+     * when it was raised by a validator, so that the subtype still tells the phase apart).
+     */
+    handleError(e, line, result, validating = false) {
         if (e instanceof ParseException_1.ParseException) {
             result.addError(e);
         }
-        else if (e instanceof Error) {
-            // Turn generic errors into a ParseException
-            result.addError(new ParseException_1.ParseException(line, errorCode, e.message));
-        }
         else {
-            // Unknown error
-            result.addError(new ParseException_1.ParseException(line, unknownErrorCode, String(e)));
+            const message = e instanceof Error ? e.message : String(e);
+            result.addError(validating
+                ? new ValidationException_1.ValidationException(line, "UNEXPECTED_ERROR", message)
+                : new ParseException_1.ParseException(line, "UNEXPECTED_ERROR", message));
         }
     }
     closeToLevel(stack, targetLevel, result) {
@@ -170,7 +174,7 @@ class Parser {
                     });
                 }
                 catch (e) {
-                    this.handleError(e, completed.getLine(), result, "VALIDATION_ERROR", "UNKNOWN_VALIDATION_ERROR");
+                    this.handleError(e, completed.getLine(), result, true);
                 }
             });
             // Hand it over to the observers

package/out/schema/NodeDefinition.d.ts

@@ -45,7 +45,7 @@ export declare class NodeDefinition {
      * Adds the definition of an expected child.
      *
      * @param childDefinition definition of the child to add.
-     * @throws ValidationException with code `CHILD_DEF_ALREADY_DEFINED` if a definition for that child already existed.
+     * @throws ValidationException with code `CHILD_DUPLICATED` if a definition for that child already existed.
      */
     addChildDefinition(childDefinition: ChildDefinition): void;
     /**

package/out/schema/NodeDefinition.js

@@ -67,12 +67,12 @@ class NodeDefinition {
      * Adds the definition of an expected child.
      *
      * @param childDefinition definition of the child to add.
-     * @throws ValidationException with code `CHILD_DEF_ALREADY_DEFINED` if a definition for that child already existed.
+     * @throws ValidationException with code `CHILD_DUPLICATED` if a definition for that child already existed.
      */
     addChildDefinition(childDefinition) {
         const qname = childDefinition.getQualifiedName();
         if (this.children.has(qname)) {
-            throw new ValidationException_1.ValidationException(0, "CHILD_DEF_ALREADY_DEFINED", `Exists a previous node definition with: ${qname}`);
+            throw new ValidationException_1.ValidationException(0, "CHILD_DUPLICATED", `Exists a previous node definition with: ${qname}`);
         }
         this.children.set(qname, childDefinition);
     }

package/out/schema/Schema.d.ts

@@ -28,7 +28,7 @@ export declare class Schema {
      * Adds the definition of a node to this schema.
      *
      * @param nodeDefinition node definition to add.
-     * @throws ValidationException with code `NODE_DEF_ALREADY_DEFINED` if there already was a node definition with the same name.
+     * @throws ValidationException with code `NODE_DUPLICATED` if there already was a node definition with the same name.
      */
     addNodeDefinition(nodeDefinition: NodeDefinition): void;
     /** @returns the namespace this schema applies to. */

package/out/schema/Schema.js

@@ -37,12 +37,12 @@ class Schema {
      * Adds the definition of a node to this schema.
      *
      * @param nodeDefinition node definition to add.
-     * @throws ValidationException with code `NODE_DEF_ALREADY_DEFINED` if there already was a node definition with the same name.
+     * @throws ValidationException with code `NODE_DUPLICATED` if there already was a node definition with the same name.
      */
     addNodeDefinition(nodeDefinition) {
         const qname = nodeDefinition.getCanonicalName();
         if (this.nodes.has(qname)) {
-            throw new ValidationException_1.ValidationException(0, "NODE_DEF_ALREADY_DEFINED", `Exists a previous node definition with: ${qname}`);
+            throw new ValidationException_1.ValidationException(0, "NODE_DUPLICATED", `Exists a previous node definition with: ${qname}`);
         }
         this.nodes.set(qname, nodeDefinition);
     }

package/out/schema/SchemaParser.d.ts

@@ -5,6 +5,7 @@ import { Node } from "../core/Node";
  *
  * @param node root node of the schema document, `Schema (@stxt.schema): ...`.
  * @returns the schema the document defines.
- * @throws ValidationException if the document is not a valid `@stxt.schema` one.
+ * @throws ValidationException with `SCHEMA_ROOT_NOT_VALID`, `SCHEMA_NAMESPACE_EMPTY`, `SCHEMA_NODE_NOT_INLINE`
+ *         or the code of the first rule of the schema language the document breaks, if the document is not a valid `@stxt.schema` one.
  */
 export declare function transformNodeToSchema(node: Node): Schema;

package/out/schema/SchemaParser.js

@@ -6,7 +6,8 @@ const NodeDefinition_1 = require("./NodeDefinition");
 const ChildDefinition_1 = require("./ChildDefinition");
 const InlineNode_1 = require("../core/InlineNode");
 const ValidationException_1 = require("../exceptions/ValidationException");
-const RuntimeException_1 = require("../exceptions/RuntimeException");
+const NamespaceValidator_1 = require("../core/NamespaceValidator");
+const StringUtils_1 = require("../core/StringUtils");
 const NameNamespaceParser_1 = require("../core/NameNamespaceParser");
 const TypeRegistry_1 = require("./TypeRegistry");
 /**
@@ -14,7 +15,8 @@ const TypeRegistry_1 = require("./TypeRegistry");
  *
  * @param node root node of the schema document, `Schema (@stxt.schema): ...`.
  * @returns the schema the document defines.
- * @throws ValidationException if the document is not a valid `@stxt.schema` one.
+ * @throws ValidationException with `SCHEMA_ROOT_NOT_VALID`, `SCHEMA_NAMESPACE_EMPTY`, `SCHEMA_NODE_NOT_INLINE`
+ *         or the code of the first rule of the schema language the document breaks, if the document is not a valid `@stxt.schema` one.
  */
 function transformNodeToSchema(node) {
     // Node name
@@ -22,12 +24,20 @@ function transformNodeToSchema(node) {
     const namespaceSchema = node.getNamespace();
     // Get the name and the namespace
     if (nodeName !== "schema" || namespaceSchema !== Schema_1.Schema.SCHEMA_NAMESPACE) {
-        throw new ValidationException_1.ValidationException(node.getLine(), "NOT_STXT_SCHEMA", `Expected schema(${Schema_1.Schema.SCHEMA_NAMESPACE}) but got ${nodeName}(${namespaceSchema})`);
+        throw new ValidationException_1.ValidationException(node.getLine(), "SCHEMA_ROOT_NOT_VALID", `Expected schema(${Schema_1.Schema.SCHEMA_NAMESPACE}) but got ${nodeName}(${namespaceSchema})`);
     }
     const root = inline(node);
+    // The target namespace: required, and with a valid format
+    const targetNamespace = StringUtils_1.StringUtils.lowerCase(root.getValue());
+    if (!targetNamespace || targetNamespace.trim().length === 0) {
+        throw new ValidationException_1.ValidationException(root.getLine(), "SCHEMA_NAMESPACE_EMPTY", "Schema namespace is empty");
+    }
+    if (!NamespaceValidator_1.NamespaceValidator.isValid(targetNamespace)) {
+        throw new ValidationException_1.ValidationException(root.getLine(), "SCHEMA_ROOT_NOT_VALID", `Schema namespace not valid: ${targetNamespace}`);
+    }
     // Get the description
     const descrip = root.getChild("description")?.getText();
-    const schema = new Schema_1.Schema(root.getValue(), root.getLine(), descrip);
+    const schema = new Schema_1.Schema(targetNamespace, root.getLine(), descrip);
     // Used to check that every child is defined
     const allNames = new Set();
     // Get the nodes
@@ -55,7 +65,7 @@ function inline(node) {
     if (node instanceof InlineNode_1.InlineNode) {
         return node;
     }
-    throw new ValidationException_1.ValidationException(node.getLine(), "INVALID_SCHEMA", `Node '${node.getName()}' must be inline in a schema`);
+    throw new ValidationException_1.ValidationException(node.getLine(), "SCHEMA_NODE_NOT_INLINE", `Node '${node.getName()}' must be inline in a schema`);
 }
 /** Builds the definition of a node from a `Node:` entry of the schema document. */
 function createFrom(node, namespace) {
@@ -82,10 +92,10 @@ function createFrom(node, namespace) {
     let valuesNodes = n.getChildrenByName("values");
     if (valuesNodes && valuesNodes.length > 0) {
         if (type !== "ENUM") {
-            throw new ValidationException_1.ValidationException(n.getLine(), "VALUES_ONLY_SUPPORTED_BY_ENUM", `Values only supported for type ENUM, not for type ${type}`);
+            throw new ValidationException_1.ValidationException(n.getLine(), "VALUES_NOT_ALLOWED_FOR_TYPE", `Values only supported for type ENUM, not for type ${type}`);
         }
         if (valuesNodes.length > 1) {
-            throw new RuntimeException_1.RuntimeException("INVALID_SIZE_VALUES", `Unexpected number of values: ${valuesNodes.length}`);
+            throw new ValidationException_1.ValidationException(valuesNodes[1].getLine(), "VALUES_DUPLICATED", `Node '${n.getValue()}' defines 'Values' ${valuesNodes.length} times`);
         }
         const valuesNode = valuesNodes[0];
         const values = inline(valuesNode).getChildrenByName("value");
@@ -97,7 +107,7 @@ function createFrom(node, namespace) {
     }
     // Look at the enum
     if (type === "ENUM" && (!valuesNodes || valuesNodes.length === 0)) {
-        throw new ValidationException_1.ValidationException(n.getLine(), "VALUES_EMPTY_FOR_ENUM", "ENUM Type must include values");
+        throw new ValidationException_1.ValidationException(n.getLine(), "VALUES_REQUIRED", "ENUM Type must include values");
     }
     return result;
 }
@@ -126,7 +136,7 @@ function getInteger(node, name) {
     const raw = n.getText();
     const parsed = Number.parseInt(raw, 10);
     if (Number.isNaN(parsed)) {
-        throw new ValidationException_1.ValidationException(node.getLine(), "INVALID_INTEGER", `Integer not valid: ${raw}`);
+        throw new ValidationException_1.ValidationException(node.getLine(), "CARDINALITY_NOT_VALID", `Integer not valid: ${raw}`);
     }
     return parsed;
 }

package/out/schema/SchemaProviderMemory.d.ts

@@ -28,7 +28,8 @@ export declare class SchemaProviderMemory implements SchemaProvider {
      * own namespace.
      *
      * @param txt text of the `@stxt.schema` document.
-     * @throws ParseException or ValidationException if the document is not a valid schema.
+     * @throws ParseException or ValidationException if the document is not a valid schema; in
+     *         particular `SCHEMA_MULTIPLE_ROOTS` if it does not hold exactly one root node.
      */
     addSchema(txt: string): void;
     /** Removes every schema registered in this provider (the parent one is left untouched). */

package/out/schema/SchemaProviderMemory.js

@@ -3,6 +3,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.SchemaProviderMemory = void 0;
 const Parser_1 = require("../core/Parser");
 const StringUtils_1 = require("../core/StringUtils");
+const ValidationException_1 = require("../exceptions/ValidationException");
 const SchemaParser_1 = require("./SchemaParser");
 const SchemaProviderMeta_1 = require("./SchemaProviderMeta");
 const SchemaValidator_1 = require("./SchemaValidator");
@@ -47,11 +48,16 @@ class SchemaProviderMemory {
      * own namespace.
      *
      * @param txt text of the `@stxt.schema` document.
-     * @throws ParseException or ValidationException if the document is not a valid schema.
+     * @throws ParseException or ValidationException if the document is not a valid schema; in
+     *         particular `SCHEMA_MULTIPLE_ROOTS` if it does not hold exactly one root node.
      */
     addSchema(txt) {
         const parser = new Parser_1.Parser();
-        const node = parser.parse(txt)[0];
+        const nodes = parser.parse(txt);
+        if (nodes.length !== 1) {
+            throw new ValidationException_1.ValidationException(0, "SCHEMA_MULTIPLE_ROOTS", `A schema document must hold exactly 1 root node, got ${nodes.length}`);
+        }
+        const node = nodes[0];
         // A schema that does not validate against its meta-schema must not be
         // registered (same policy as UnifiedSchemaProvider/DiscoveryResolver)
         const schemaValidator = new SchemaValidator_1.SchemaValidator(new SchemaProviderMeta_1.SchemaProviderMeta(), true);

package/out/schema/SchemaValidator.js

@@ -65,7 +65,7 @@ class SchemaValidator {
         const schemaNode = schema.getNodeDefinition(node.getCanonicalName());
         if (!schemaNode) {
             const error = `NOT EXIST NODE ${node.getCanonicalName()} for namespace ${schema.getNamespace()}`;
-            errors.push(new ValidationException_1.ValidationException(node.getLine(), "NODE_NOT_EXIST_IN_SCHEMA", error));
+            errors.push(new ValidationException_1.ValidationException(node.getLine(), "NODE_NOT_DEFINED_IN_SCHEMA", error));
             return errors;
         }
         errors.push(...SchemaValidator.validateValue(schemaNode, node));
@@ -93,7 +93,7 @@ class SchemaValidator {
         const nodeType = nodeDef.getType();
         const validator = TypeRegistry_1.TypeRegistry.get(nodeType);
         if (!validator) {
-            errors.push(new ValidationException_1.ValidationException(node.getLine(), "TYPE_NOT_SUPPORTED", `Node type not supported: ${nodeType}`));
+            errors.push(new ValidationException_1.ValidationException(node.getLine(), "TYPE_NOT_VALID", `Node type not supported: ${nodeType}`));
             return errors;
         }
         try {
@@ -104,10 +104,10 @@ class SchemaValidator {
                 errors.push(e);
             }
             else if (e instanceof Error) {
-                errors.push(new ValidationException_1.ValidationException(node.getLine(), "VALIDATION_ERROR", e.message));
+                errors.push(new ValidationException_1.ValidationException(node.getLine(), "UNEXPECTED_ERROR", e.message));
             }
             else {
-                errors.push(new ValidationException_1.ValidationException(node.getLine(), "UNKNOWN_VALIDATION_ERROR", String(e)));
+                errors.push(new ValidationException_1.ValidationException(node.getLine(), "UNEXPECTED_ERROR", String(e)));
             }
         }
         return errors;
@@ -135,14 +135,14 @@ class SchemaValidator {
         const min = childDef.getMin(); // number | null
         const max = childDef.getMax(); // number | null
         if (min !== null && childCount < min) {
-            errors.push(new ValidationException_1.ValidationException(node.getLine(), "INVALID_NUMBER", `${childCount} nodes of '${childDef.getQualifiedName()}' and min is ${min}`));
+            errors.push(new ValidationException_1.ValidationException(node.getLine(), "TOO_FEW_CHILDREN", `${childCount} nodes of '${childDef.getQualifiedName()}' and min is ${min}`));
         }
         if (max !== null && childCount > max) {
             // Error on the parent
-            errors.push(new ValidationException_1.ValidationException(node.getLine(), "INVALID_NUMBER", `${childCount} nodes of '${childDef.getQualifiedName()}' and max is ${max}`));
+            errors.push(new ValidationException_1.ValidationException(node.getLine(), "TOO_MANY_CHILDREN", `${childCount} nodes of '${childDef.getQualifiedName()}' and max is ${max}`));
             // Error on each child node beyond the allowed maximum
             for (const child of children) {
-                errors.push(new ValidationException_1.ValidationException(child.getLine(), "INVALID_NUMBER", `Too many '${childDef.getQualifiedName()}' nodes: found ${childCount}, max is ${max}`));
+                errors.push(new ValidationException_1.ValidationException(child.getLine(), "TOO_MANY_CHILDREN", `Too many '${childDef.getQualifiedName()}' nodes: found ${childCount}, max is ${max}`));
             }
         }
         return errors;

package/out/schema/TypeRegistry.js

@@ -47,7 +47,7 @@ class TypeRegistry {
     static register(instance) {
         const name = instance.getName();
         if (this.REGISTRY.has(name)) {
-            throw new RuntimeException_1.RuntimeException("DUPLICATED_TYPE", `Type already defined: ${name}`);
+            throw new RuntimeException_1.RuntimeException("TYPE_DUPLICATED", `Type already defined: ${name}`);
         }
         this.REGISTRY.set(name, instance);
     }

package/out/schema/type/DATE.d.ts

@@ -1,2 +1,2 @@
-/** `DATE` type: checks the `YYYY-MM-DD` format. */
+/** `DATE` type: `YYYY-MM-DD`, an existing date of the proleptic Gregorian calendar (STXT-SCHEMA-SPEC 9.4). */
 export declare const DATE: import("../Type").Type;

package/out/schema/type/DATE.js

@@ -1,7 +1,8 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.DATE = void 0;
-const regexType_1 = require("./regexType");
-/** `DATE` type: checks the `YYYY-MM-DD` format. */
-exports.DATE = (0, regexType_1.regexType)("DATE", /^\d{4}-\d{2}-\d{2}$/, "Invalid date");
+const rangeType_1 = require("./rangeType");
+const dateTime_1 = require("./dateTime");
+/** `DATE` type: `YYYY-MM-DD`, an existing date of the proleptic Gregorian calendar (STXT-SCHEMA-SPEC 9.4). */
+exports.DATE = (0, rangeType_1.rangeType)("DATE", /^(\d{4})-(\d{2})-(\d{2})$/, m => (0, dateTime_1.isValidDate)(Number(m[1]), Number(m[2]), Number(m[3])), "Invalid date");
 //# sourceMappingURL=DATE.js.map

package/out/schema/type/ENUM.js

@@ -10,7 +10,7 @@ exports.ENUM = {
     validate(nodeDef, node) {
         // INLINE value form (STXT-SCHEMA-SPEC 9.3): the block '>>' form is not allowed
         if (node.isTextNode()) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "NOT_ALLOWED_TEXT", `Not allowed text in node ${node.getQualifiedName()}`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "BLOCK_FORM_NOT_ALLOWED", `Not allowed text in node ${node.getQualifiedName()}`);
         }
         const value = node.getText();
         const allowed = nodeDef.getValues(); // ReadonlySet<string>

package/out/schema/type/GROUP.js

@@ -10,7 +10,7 @@ exports.GROUP = {
     validate(nodeDef, node) {
         // NONE value form (STXT-SCHEMA-SPEC 9.2): neither an inline value nor a '>>' block
         if (node.isTextNode() || node.getText().length > 0) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "INVALID_VALUE", `Node '${node.getName()}' has to be empty`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "VALUE_NOT_ALLOWED", `Node '${node.getName()}' has to be empty`);
         }
     },
 };

package/out/schema/type/INLINE.js

@@ -10,7 +10,7 @@ exports.INLINE = {
     validate(nodeDef, node) {
         // INLINE value form (STXT-SCHEMA-SPEC 9.2): the block '>>' form is not allowed
         if (node.isTextNode()) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "NOT_ALLOWED_TEXT", `Not allowed text in node ${node.getQualifiedName()}`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "BLOCK_FORM_NOT_ALLOWED", `Not allowed text in node ${node.getQualifiedName()}`);
         }
     },
 };

package/out/schema/type/MARKDOWN.js

@@ -13,7 +13,7 @@ exports.MARKDOWN = {
     },
     validate(nodeDef, node) {
         if (node instanceof InlineNode_1.InlineNode && node.getChildren().length > 0) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "NOT_ALLOWED_CHILDREN_TEXT", `Not allowed children nodes in node ${node.getQualifiedName()}`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "CHILDREN_NOT_ALLOWED", `Not allowed children nodes in node ${node.getQualifiedName()}`);
         }
     },
 };

package/out/schema/type/TEXT.js

@@ -10,7 +10,7 @@ exports.TEXT = {
     },
     validate(nodeDef, node) {
         if (node instanceof InlineNode_1.InlineNode && node.getChildren().length > 0) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "NOT_ALLOWED_CHILDREN_TEXT", `Not allowed children nodes in node ${node.getQualifiedName()}`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "CHILDREN_NOT_ALLOWED", `Not allowed children nodes in node ${node.getQualifiedName()}`);
         }
     },
 };

package/out/schema/type/TIME.d.ts

@@ -1,2 +1,2 @@
-/** `TIME` type: checks the `HH:MM:SS` format. */
+/** `TIME` type: `hh:mm:ss` in range (00-23, 00-59, 00-59); no fraction, no zone (STXT-SCHEMA-SPEC 9.4). */
 export declare const TIME: import("../Type").Type;

package/out/schema/type/TIME.js

@@ -1,7 +1,8 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.TIME = void 0;
-const regexType_1 = require("./regexType");
-/** `TIME` type: checks the `HH:MM:SS` format. */
-exports.TIME = (0, regexType_1.regexType)("TIME", /^\d{2}:\d{2}:\d{2}$/, "Invalid time");
+const rangeType_1 = require("./rangeType");
+const dateTime_1 = require("./dateTime");
+/** `TIME` type: `hh:mm:ss` in range (00-23, 00-59, 00-59); no fraction, no zone (STXT-SCHEMA-SPEC 9.4). */
+exports.TIME = (0, rangeType_1.rangeType)("TIME", /^(\d{2}):(\d{2}):(\d{2})$/, m => (0, dateTime_1.isValidTime)(Number(m[1]), Number(m[2]), Number(m[3])), "Invalid time");
 //# sourceMappingURL=TIME.js.map

package/out/schema/type/TIMESTAMP.d.ts

@@ -1,2 +1,5 @@
-/** `TIMESTAMP` type: checks an ISO-8601 timestamp. */
+/**
+ * `TIMESTAMP` type: `DATE "T" hh:mm [":" ss ["." digits]] ["Z" | sign hh:mm]` (STXT-SCHEMA-SPEC
+ * 9.4). Date, time and offset in range; seconds, fraction (one or more digits) and zone optional.
+ */
 export declare const TIMESTAMP: import("../Type").Type;

package/out/schema/type/TIMESTAMP.js

@@ -1,7 +1,13 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.TIMESTAMP = void 0;
-const regexType_1 = require("./regexType");
-/** `TIMESTAMP` type: checks an ISO-8601 timestamp. */
-exports.TIMESTAMP = (0, regexType_1.regexType)("TIMESTAMP", /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}(:\d{2}(\.\d{3})?)?(Z|[+-]\d{2}:\d{2})?$/, "Invalid timestamp");
+const rangeType_1 = require("./rangeType");
+const dateTime_1 = require("./dateTime");
+/**
+ * `TIMESTAMP` type: `DATE "T" hh:mm [":" ss ["." digits]] ["Z" | sign hh:mm]` (STXT-SCHEMA-SPEC
+ * 9.4). Date, time and offset in range; seconds, fraction (one or more digits) and zone optional.
+ */
+exports.TIMESTAMP = (0, rangeType_1.rangeType)("TIMESTAMP", /^(\d{4})-(\d{2})-(\d{2})T(\d{2}):(\d{2})(?::(\d{2})(?:\.\d+)?)?(?:Z|[+-](\d{2}):(\d{2}))?$/, m => (0, dateTime_1.isValidDate)(Number(m[1]), Number(m[2]), Number(m[3]))
+    && (0, dateTime_1.isValidTime)(Number(m[4]), Number(m[5]), m[6] === undefined ? 0 : Number(m[6]))
+    && (m[7] === undefined || (0, dateTime_1.isValidTime)(Number(m[7]), Number(m[8]), 0)), "Invalid timestamp");
 //# sourceMappingURL=TIMESTAMP.js.map

package/out/schema/type/URL.d.ts

@@ -1,3 +1,10 @@
-import { Type } from "../Type";
-/** `URL` type: checks that the value is a syntactically valid URI/URL. */
-export declare const URL: Type;
+/**
+ * `URL` type: an absolute URL with a mandatory scheme and host, following the grammar of
+ * STXT-SCHEMA-SPEC 9.4 — `scheme "://" [userinfo "@"] host [":" port] ["/" path] ["?" query]
+ * ["#" fragment]` — and not the platform URL parser, so every port accepts exactly the same
+ * values. Any scheme of the form letter + letters/digits/`+`/`-`/`.` is accepted; the host is
+ * non-empty (no TLD required, IPv6 in brackets, non-ASCII kept as it is); a value without a
+ * scheme, a scheme without `//` and host (`mailto:`, `urn:`, `file:///`), inner blanks or a
+ * non-numeric port are rejected. Nothing is resolved or normalised.
+ */
+export declare const URL: import("../Type").Type;

package/out/schema/type/URL.js

@@ -1,28 +1,15 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.URL = void 0;
-const ValidationException_1 = require("../../exceptions/ValidationException");
-/** `URL` type: checks that the value is a syntactically valid URI/URL. */
-exports.URL = {
-    getName() {
-        return "URL";
-    },
-    validate(ndef, n) {
-        // INLINE value form (STXT-SCHEMA-SPEC 9.4): the block '>>' form is not allowed
-        if (n.isTextNode()) {
-            throw new ValidationException_1.ValidationException(n.getLine(), "NOT_ALLOWED_TEXT", `Not allowed text in node ${n.getQualifiedName()}`);
-        }
-        const url = n.getText();
-        try {
-            const parsed = new globalThis.URL(url);
-            const ok = !!parsed.protocol && !!parsed.hostname;
-            if (!ok) {
-                throw new ValidationException_1.ValidationException(n.getLine(), "INVALID_URL_STRUCTURE", `Invalid URL: ${url}`);
-            }
-        }
-        catch {
-            throw new ValidationException_1.ValidationException(n.getLine(), "INVALID_VALUE", `Invalid URL: ${url}`);
-        }
-    },
-};
+const regexType_1 = require("./regexType");
+/**
+ * `URL` type: an absolute URL with a mandatory scheme and host, following the grammar of
+ * STXT-SCHEMA-SPEC 9.4 — `scheme "://" [userinfo "@"] host [":" port] ["/" path] ["?" query]
+ * ["#" fragment]` — and not the platform URL parser, so every port accepts exactly the same
+ * values. Any scheme of the form letter + letters/digits/`+`/`-`/`.` is accepted; the host is
+ * non-empty (no TLD required, IPv6 in brackets, non-ASCII kept as it is); a value without a
+ * scheme, a scheme without `//` and host (`mailto:`, `urn:`, `file:///`), inner blanks or a
+ * non-numeric port are rejected. Nothing is resolved or normalised.
+ */
+exports.URL = (0, regexType_1.regexType)("URL", /^[A-Za-z][A-Za-z0-9+.-]*:\/\/(?:[^ \t/?#@]+@)?(?:\[[0-9A-Fa-f:.]+\]|[^ \t/?#@:[\]]+)(?::[0-9]+)?(?:\/[^ \t?#]*)?(?:\?[^ \t#]*)?(?:#[^ \t]*)?$/, "Invalid URL");
 //# sourceMappingURL=URL.js.map

package/out/schema/type/dateTime.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Calendar and clock ranges shared by `DATE`, `TIME` and `TIMESTAMP` (STXT-SCHEMA-SPEC 9.4):
+ * the shape of a value is checked by each type's regular expression, the ranges by these
+ * helpers. Never `Date.parse`, which rolls `2026-02-30` into March.
+ */
+/** True if the year-month-day exists in the proleptic Gregorian calendar (year 0000-9999). */
+export declare function isValidDate(year: number, month: number, day: number): boolean;
+/** True if hour 00-23, minute 00-59, second 00-59 (no leap second). */
+export declare function isValidTime(hour: number, minute: number, second: number): boolean;

package/out/schema/type/dateTime.js

@@ -0,0 +1,23 @@
+"use strict";
+/**
+ * Calendar and clock ranges shared by `DATE`, `TIME` and `TIMESTAMP` (STXT-SCHEMA-SPEC 9.4):
+ * the shape of a value is checked by each type's regular expression, the ranges by these
+ * helpers. Never `Date.parse`, which rolls `2026-02-30` into March.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isValidDate = isValidDate;
+exports.isValidTime = isValidTime;
+/** True if the year-month-day exists in the proleptic Gregorian calendar (year 0000-9999). */
+function isValidDate(year, month, day) {
+    if (month < 1 || month > 12 || day < 1) {
+        return false;
+    }
+    const leap = (year % 4 === 0 && year % 100 !== 0) || year % 400 === 0;
+    const daysInMonth = [31, leap ? 29 : 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31];
+    return day <= daysInMonth[month - 1];
+}
+/** True if hour 00-23, minute 00-59, second 00-59 (no leap second). */
+function isValidTime(hour, minute, second) {
+    return hour <= 23 && minute <= 59 && second <= 59;
+}
+//# sourceMappingURL=dateTime.js.map

package/out/schema/type/rangeType.d.ts

@@ -0,0 +1,11 @@
+import { Type } from "../Type";
+/**
+ * A type whose value must match a regular expression and whose captured groups must then pass
+ * a range check (the calendar and clock types of STXT-SCHEMA-SPEC 9.4). INLINE value form only.
+ *
+ * @param name name of the type.
+ * @param pattern shape of the value, with the groups `inRange` reads.
+ * @param inRange true if the captured groups are in range.
+ * @param error text of the `INVALID_VALUE` message.
+ */
+export declare function rangeType(name: string, pattern: RegExp, inRange: (m: RegExpExecArray) => boolean, error: string): Type;

package/out/schema/type/rangeType.js

@@ -0,0 +1,30 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.rangeType = rangeType;
+const ValidationException_1 = require("../../exceptions/ValidationException");
+/**
+ * A type whose value must match a regular expression and whose captured groups must then pass
+ * a range check (the calendar and clock types of STXT-SCHEMA-SPEC 9.4). INLINE value form only.
+ *
+ * @param name name of the type.
+ * @param pattern shape of the value, with the groups `inRange` reads.
+ * @param inRange true if the captured groups are in range.
+ * @param error text of the `INVALID_VALUE` message.
+ */
+function rangeType(name, pattern, inRange, error) {
+    return {
+        getName: () => name,
+        validate(nodeDef, node) {
+            // INLINE value form (STXT-SCHEMA-SPEC 9.4): the block '>>' form is not allowed
+            if (node.isTextNode()) {
+                throw new ValidationException_1.ValidationException(node.getLine(), "BLOCK_FORM_NOT_ALLOWED", `Not allowed text in node ${node.getQualifiedName()}`);
+            }
+            const value = node.getText();
+            const m = pattern.exec(value);
+            if (m === null || !inRange(m)) {
+                throw new ValidationException_1.ValidationException(node.getLine(), "INVALID_VALUE", `${node.getName()}: ${error} (${value})`);
+            }
+        },
+    };
+}
+//# sourceMappingURL=rangeType.js.map

package/out/schema/type/regexType.js

@@ -16,7 +16,7 @@ function regexType(name, pattern, error) {
         validate(nodeDef, node) {
             // INLINE value form (STXT-SCHEMA-SPEC 9.3/9.4): the block '>>' form is not allowed
             if (node.isTextNode()) {
-                throw new ValidationException_1.ValidationException(node.getLine(), "NOT_ALLOWED_TEXT", `Not allowed text in node ${node.getQualifiedName()}`);
+                throw new ValidationException_1.ValidationException(node.getLine(), "BLOCK_FORM_NOT_ALLOWED", `Not allowed text in node ${node.getQualifiedName()}`);
             }
             const value = node.getText();
             if (!pattern.test(value)) {

package/out/template/ChildLineParser.d.ts

@@ -9,7 +9,7 @@ export declare class ChildLineParser {
      * @param rawLine inline value of the node, `(min,max) TYPE [values]`.
      * @param lineNumber line number, for the error messages.
      * @returns the line already split into type, cardinality and values.
-     * @throws ValidationException with code `INVALID_CHILD_LINE`, `INVALID_CHILD_COUNT`,
+     * @throws ValidationException with code `STRUCTURE_LINE_NOT_VALID`, `CARDINALITY_NOT_VALID`,
      *         `MIN_GREATER_THAN_MAX` or `VALUE_DUPLICATED` if the line is not valid.
      */
     static parse(rawLine: string, lineNumber: number): ChildLine;

package/out/template/ChildLineParser.js

@@ -12,7 +12,7 @@ class ChildLineParser {
      * @param rawLine inline value of the node, `(min,max) TYPE [values]`.
      * @param lineNumber line number, for the error messages.
      * @returns the line already split into type, cardinality and values.
-     * @throws ValidationException with code `INVALID_CHILD_LINE`, `INVALID_CHILD_COUNT`,
+     * @throws ValidationException with code `STRUCTURE_LINE_NOT_VALID`, `CARDINALITY_NOT_VALID`,
      *         `MIN_GREATER_THAN_MAX` or `VALUE_DUPLICATED` if the line is not valid.
      */
     static parse(rawLine, lineNumber) {
@@ -21,7 +21,7 @@ class ChildLineParser {
         }
         const m = ChildLineParser.CHILD_LINE_PATTERN.exec(rawLine);
         if (!m) {
-            throw new ValidationException_1.ValidationException(lineNumber, "INVALID_CHILD_LINE", `Line not valid: ${rawLine}`);
+            throw new ValidationException_1.ValidationException(lineNumber, "STRUCTURE_LINE_NOT_VALID", `Line not valid: ${rawLine}`);
         }
         // m[1]=count, m[2]=type, m[3]=values
         let type = m[2]?.trim() ?? "";
@@ -54,7 +54,7 @@ class ChildLineParser {
         else if (count.includes(",")) {
             const parts = count.split(",");
             if (parts.length !== 2) {
-                throw new ValidationException_1.ValidationException(lineNumber, "INVALID_CHILD_COUNT", `Invalid count ${count} in line: ${rawLine}`);
+                throw new ValidationException_1.ValidationException(lineNumber, "CARDINALITY_NOT_VALID", `Invalid count ${count} in line: ${rawLine}`);
             }
             const aNum = ChildLineParser.parseCount(parts[0].trim(), count, rawLine, lineNumber);
             const bNum = ChildLineParser.parseCount(parts[1].trim(), count, rawLine, lineNumber);
@@ -97,7 +97,7 @@ class ChildLineParser {
     // num, min and max must be non-negative integers, with no trailing text (STXT-TEMPLATE-SPEC 7.1)
     static parseCount(num, count, rawLine, lineNumber) {
         if (!/^\d+$/.test(num)) {
-            throw new ValidationException_1.ValidationException(lineNumber, "INVALID_CHILD_COUNT", `Invalid count ${count} in line: ${rawLine}`);
+            throw new ValidationException_1.ValidationException(lineNumber, "CARDINALITY_NOT_VALID", `Invalid count ${count} in line: ${rawLine}`);
         }
         return parseInt(num, 10);
     }

package/out/template/TemplateParser.d.ts

@@ -5,7 +5,8 @@ import { Schema } from "../schema/Schema";
  *
  * @param node root of the already parsed `@stxt.template` document.
  * @returns the resulting {@link Schema}.
- * @throws ValidationException if the template is not valid, with the line already shifted to the
- *         one of the original document.
+ * @throws ValidationException with `TEMPLATE_ROOT_NOT_VALID` or `TEMPLATE_NAMESPACE_EMPTY` if the root is
+ *         not `Template (@stxt.template): ns`, or with the code of the rule the template breaks, with the
+ *         line already shifted to the one of the original document.
  */
 export declare function transformTemplateNodeToSchema(node: Node): Schema;

package/out/template/TemplateParser.js

@@ -11,17 +11,33 @@ const StringUtils_1 = require("../core/StringUtils");
 const ChildLineParser_1 = require("./ChildLineParser");
 const ParseException_1 = require("../exceptions/ParseException");
 const TypeRegistry_1 = require("../schema/TypeRegistry");
+const NamespaceValidator_1 = require("../core/NamespaceValidator");
+/** Namespace of the template language itself, `@stxt.template`. */
+const TEMPLATE_NAMESPACE = "@stxt.template";
 /**
  * Turns the tree of an already parsed `@stxt.template` document into an equivalent {@link Schema}.
  *
  * @param node root of the already parsed `@stxt.template` document.
  * @returns the resulting {@link Schema}.
- * @throws ValidationException if the template is not valid, with the line already shifted to the
- *         one of the original document.
+ * @throws ValidationException with `TEMPLATE_ROOT_NOT_VALID` or `TEMPLATE_NAMESPACE_EMPTY` if the root is
+ *         not `Template (@stxt.template): ns`, or with the code of the rule the template breaks, with the
+ *         line already shifted to the one of the original document.
  */
 function transformTemplateNodeToSchema(node) {
+    // The root must be `Template (@stxt.template): ns`
+    if (node.getCanonicalName() !== "template" || node.getNamespace() !== TEMPLATE_NAMESPACE) {
+        throw new ValidationException_1.ValidationException(node.getLine(), "TEMPLATE_ROOT_NOT_VALID", `Expected template(${TEMPLATE_NAMESPACE}) but got ${node.getCanonicalName()}(${node.getNamespace()})`);
+    }
+    // The target namespace: required, and with a valid format
+    const targetNamespace = StringUtils_1.StringUtils.lowerCase(node.getText());
+    if (!targetNamespace || targetNamespace.trim().length === 0) {
+        throw new ValidationException_1.ValidationException(node.getLine(), "TEMPLATE_NAMESPACE_EMPTY", "Template namespace is empty");
+    }
+    if (!NamespaceValidator_1.NamespaceValidator.isValid(targetNamespace)) {
+        throw new ValidationException_1.ValidationException(node.getLine(), "TEMPLATE_ROOT_NOT_VALID", `Template namespace not valid: ${targetNamespace}`);
+    }
     // Set the namespace
-    const result = new Schema_1.Schema(node.getText(), node.getLine(), undefined);
+    const result = new Schema_1.Schema(targetNamespace, node.getLine(), undefined);
     // Look for the structure node (a template is an inline root; a text root has none)
     const structure = node instanceof InlineNode_1.InlineNode ? node.getChild("structure") : null;
     if (!structure) {
@@ -76,7 +92,7 @@ function addToSchema(schema, node) {
     // A Structure line must use the template grammar's ':' form. The core parser
     // also accepts BLOCK nodes here, so reject them explicitly (STXT-TEMPLATE-SPEC 6.3).
     if (!(node instanceof InlineNode_1.InlineNode)) {
-        throw new ValidationException_1.ValidationException(node.getLine(), "INVALID_CHILD_LINE", "Template Structure lines must use ':'");
+        throw new ValidationException_1.ValidationException(node.getLine(), "STRUCTURE_LINE_NOT_VALID", "Template Structure lines must use ':'");
     }
     // Get the qualified name
     let namespace = node.getNamespace();
@@ -91,7 +107,7 @@ function addToSchema(schema, node) {
         // and no children (STXT-TEMPLATE-SPEC 6.4, 10 and 14.15)
         const type = cl.getType();
         if (type && type.trim().length > 0) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "TYPE_DEFINITION_NOT_ALLOWED", "Not allowed type definition in external namespaces");
+            throw new ValidationException_1.ValidationException(node.getLine(), "TYPE_NOT_ALLOWED_IN_EXTERNAL_NAMESPACE", "Not allowed type definition in external namespaces");
         }
         const values = cl.getValues();
         if (values) {
@@ -125,7 +141,7 @@ function addToSchema(schema, node) {
                 // Same code as SchemaParser: a template is sugar equivalent to a schema
                 // (STXT-TEMPLATE-SPEC 13), so the same condition must not change its code
                 // depending on the entry point
-                throw new ValidationException_1.ValidationException(node.getLine(), "VALUES_ONLY_SUPPORTED_BY_ENUM", `Values only supported for type ENUM, not for type ${type}`);
+                throw new ValidationException_1.ValidationException(node.getLine(), "VALUES_NOT_ALLOWED_FOR_TYPE", `Values only supported for type ENUM, not for type ${type}`);
             }
             for (const v of values) {
                 schemaNode.addValue(v, node.getLine());
@@ -133,13 +149,13 @@ function addToSchema(schema, node) {
         }
         // An ENUM with no list of values is an invalid template (STXT-TEMPLATE-SPEC 9 and 13.7)
         if (type === "ENUM" && (!values || values.length === 0)) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "VALUES_EMPTY_FOR_ENUM", "ENUM Type must include values");
+            throw new ValidationException_1.ValidationException(node.getLine(), "VALUES_REQUIRED", "ENUM Type must include values");
         }
     }
     else {
         const type = cl.getType();
         if (!type || !type.startsWith("@")) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "NODE_DEFINED_MULTIPLE_TIMES", `Multiple node reference must start with @: ${node.getName()}`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "REFERENCE_REQUIRED", `Multiple node reference must start with @: ${node.getName()}`);
         }
         const reference = type.substring(1).trim();
         // Reference and explicit type on the same line (STXT-TEMPLATE-SPEC 14.13)
@@ -148,7 +164,7 @@ function addToSchema(schema, node) {
             throw new ValidationException_1.ValidationException(node.getLine(), "REFERENCE_WITH_TYPE_NOT_ALLOWED", `Reference '@${node.getName()}' can not declare a type: ${explicitType}`);
         }
         if (StringUtils_1.StringUtils.normalize(reference) !== node.getCanonicalName()) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "NODE_REFERENCE_NOT_VALID", `Reference must be '@${node.getName()}', not '${reference}'`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "REFERENCE_NAME_NOT_VALID", `Reference must be '@${node.getName()}', not '${reference}'`);
         }
         // A reference may override the cardinality, but it may redefine neither the ENUM
         // values nor the children (STXT-TEMPLATE-SPEC 6.4)
@@ -171,7 +187,7 @@ function addToSchema(schema, node) {
     for (const child of childrenNode) {
         // STXT-TEMPLATE-SPEC 6.3: every Structure line uses ':', so a child is inline too
         if (!(child instanceof InlineNode_1.InlineNode)) {
-            throw new ValidationException_1.ValidationException(child.getLine(), "INVALID_CHILD_LINE", "Template Structure lines must use ':'");
+            throw new ValidationException_1.ValidationException(child.getLine(), "STRUCTURE_LINE_NOT_VALID", "Template Structure lines must use ':'");
         }
         cl = ChildLineParser_1.ChildLineParser.parse(child.getValue(), child.getLine());
         const childName = child.getName();
@@ -213,20 +229,20 @@ function addDescriptions(schema, nodes) {
         }
         // No external descriptions
         if (namespace !== schema.getNamespace()) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "EXTERNAL_DESCRIPTION_NOT_ALLOWED", "Not allowed description in external namespaces");
+            throw new ValidationException_1.ValidationException(node.getLine(), "DESCRIPTION_NOT_ALLOWED_IN_EXTERNAL_NAMESPACE", "Not allowed description in external namespaces");
         }
         // No children either
         if (node instanceof InlineNode_1.InlineNode && node.getChildren().length > 0) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "CHILDREN_DESCRIPTION_NOT_ALLOWED", "Not allowed children in description");
+            throw new ValidationException_1.ValidationException(node.getLine(), "DESCRIPTION_CHILDREN_NOT_ALLOWED", "Not allowed children in description");
         }
         // Look for the node in the schema
         const nodeDef = schema.getNodeDefinition(node.getName());
         if (!nodeDef) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "NODE_NOT_FOUND", `Not found node with name: ${node.getName()}`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "DESCRIPTION_NODE_NOT_FOUND", `Not found node with name: ${node.getName()}`);
         }
         // No more than one entry per node is allowed (STXT-TEMPLATE-SPEC 12)
         if (nodeDef.getDescription() !== undefined) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "DESCRIPTION_ALREADY_DEFINED", `Exists a previous description for node: ${node.getName()}`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "DESCRIPTION_DUPLICATED", `Exists a previous description for node: ${node.getName()}`);
         }
         nodeDef.setDescription(node.getText());
     });

package/out/template/TemplateSchemaProviderMemory.d.ts

@@ -17,9 +17,10 @@ export declare class TemplateSchemaProviderMemory extends SchemaProviderMemory {
      * schema it produces.
      *
      * @param template text of the `@stxt.template` document.
-     * @throws ValidationException with code `INVALID_SCHEMA` if the document does not hold exactly
-     *         one template or the resulting schema has no namespace, or the first validation error
-     *         if the template does not validate against the template meta-schema.
+     * @throws ValidationException with code `TEMPLATE_MULTIPLE_ROOTS` if the document does not hold
+     *         exactly one root node, `TEMPLATE_ROOT_NOT_VALID` or `TEMPLATE_NAMESPACE_EMPTY` if that
+     *         root is not `Template (@stxt.template): ns`, or the first validation error if the
+     *         template does not validate against the template meta-schema.
      */
     addTemplate(template: string): void;
 }

package/out/template/TemplateSchemaProviderMemory.js

@@ -30,15 +30,16 @@ class TemplateSchemaProviderMemory extends SchemaProviderMemory_1.SchemaProvider
      * schema it produces.
      *
      * @param template text of the `@stxt.template` document.
-     * @throws ValidationException with code `INVALID_SCHEMA` if the document does not hold exactly
-     *         one template or the resulting schema has no namespace, or the first validation error
-     *         if the template does not validate against the template meta-schema.
+     * @throws ValidationException with code `TEMPLATE_MULTIPLE_ROOTS` if the document does not hold
+     *         exactly one root node, `TEMPLATE_ROOT_NOT_VALID` or `TEMPLATE_NAMESPACE_EMPTY` if that
+     *         root is not `Template (@stxt.template): ns`, or the first validation error if the
+     *         template does not validate against the template meta-schema.
      */
     addTemplate(template) {
         const parser = new Parser_1.Parser();
         const nodes = parser.parse(template);
         if (nodes.length !== 1) {
-            throw new ValidationException_1.ValidationException(0, "INVALID_SCHEMA", `There are ${nodes.length}, and expected is 1`);
+            throw new ValidationException_1.ValidationException(0, "TEMPLATE_MULTIPLE_ROOTS", `A template document must hold exactly 1 root node, got ${nodes.length}`);
         }
         // A template that does not validate against the template meta-schema must not
         // be registered (same policy as UnifiedSchemaProvider/DiscoveryResolver)
@@ -49,10 +50,6 @@ class TemplateSchemaProviderMemory extends SchemaProviderMemory_1.SchemaProvider
         }
         // Build the schema out of the template
         const sch = (0, TemplateParser_1.transformTemplateNodeToSchema)(nodes[0]);
-        // Minimum safety check (Java checked the expected namespace here too)
-        if (!sch.getNamespace() || sch.getNamespace().trim().length === 0) {
-            throw new ValidationException_1.ValidationException(0, "INVALID_SCHEMA", "Schema namespace is empty");
-        }
         this.schemas.set(sch.getNamespace(), sch);
     }
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@stxt-lang/core",
-  "version": "0.9.0",
+  "version": "0.9.1",
   "description": "Parser and schema validator for STXT, an indentation-based structured-text format.",
   "main": "out/all.js",
   "types": "out/all.d.ts",