hpp-lang 0.6.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 HUGO S. DIAS
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,29 @@
+# hpp-lang (package)
+
+H++, a bilingual educational programming language for autonomous robotics.
+
+```ts
+import { Lexer, Parser, Interpreter, HppRuntime, compile } from 'hpp-lang';
+```
+
+## Layout
+
+- `src/` — core (`ast`, `tokens`, `lexer`, `parser`, `interpreter`, `errors`,
+  `version`), robotics (`hardware`, `capabilities`, `runtime`,
+  `robotics/` — incl. the Motion layer: `contracts`, `motion`, `index`),
+  domain extensions (`extensions/soccer|line|maze`) and the `EXAMPLES`
+  program library (`examples.ts`).
+- Executable `.hpp` counterparts of the library live in `/examples`
+  (repo root), organized by domain.
+
+## Versions
+
+Core `0.6.0` · Robotics Motion `0.1.0` · soccer `0.4.0` · line `0.2.0` ·
+maze `0.2.0` — versioned independently (see `src/version.ts` and each
+`extensions/*/index.ts`).
+
+## Build (NPM)
+
+```bash
+npm run build   # emits dist/ with .js + .d.ts + source maps
+```

package/dist/ast.d.ts

@@ -0,0 +1,89 @@
+import type { ActionName } from './tokens.js';
+/** Árvore sintática do H++ (nós com linha p/ erros amigáveis). */
+export type Expr = {
+    kind: 'num';
+    value: number;
+    line: number;
+} | {
+    kind: 'str';
+    value: string;
+    line: number;
+} | {
+    kind: 'bool';
+    value: boolean;
+    line: number;
+} | {
+    kind: 'var';
+    name: string;
+    line: number;
+} | {
+    kind: 'unary';
+    op: '-' | 'NOT';
+    expr: Expr;
+    line: number;
+} | {
+    kind: 'binary';
+    op: string;
+    left: Expr;
+    right: Expr;
+    line: number;
+} | {
+    kind: 'call';
+    name: string;
+    args: Expr[];
+    line: number;
+};
+export type Stmt = {
+    kind: 'assign';
+    name: string;
+    expr: Expr;
+    line: number;
+} | {
+    kind: 'expr';
+    expr: Expr;
+    line: number;
+} | {
+    kind: 'action';
+    name: ActionName;
+    args: Expr[];
+    line: number;
+} | {
+    kind: 'if';
+    cond: Expr;
+    then: Stmt[];
+    otherwise: Stmt[];
+    line: number;
+} | {
+    kind: 'while';
+    cond: Expr;
+    body: Stmt[];
+    line: number;
+} | {
+    kind: 'repeat';
+    count: Expr;
+    body: Stmt[];
+    line: number;
+} | {
+    kind: 'for';
+    name: string;
+    from: Expr;
+    to: Expr;
+    step: Expr | null;
+    body: Stmt[];
+    line: number;
+} | {
+    kind: 'func';
+    name: string;
+    params: string[];
+    body: Stmt[];
+    line: number;
+} | {
+    kind: 'return';
+    expr: Expr | null;
+    line: number;
+} | {
+    kind: 'always';
+    body: Stmt[];
+    line: number;
+};
+//# sourceMappingURL=ast.d.ts.map

package/dist/ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,kEAAkE;AAClE,MAAM,MAAM,IAAI,GACZ;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC5C;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC5C;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC9C;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,GAAG,GAAG,KAAK,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC5D;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACrE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/D,MAAM,MAAM,IAAI,GACZ;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC1D;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAChE;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IAAC,SAAS,EAAE,IAAI,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzE;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC3D;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,EAAE,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC5E;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC"}

package/dist/ast.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=ast.js.map

package/dist/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":""}

package/dist/capabilities.d.ts

@@ -0,0 +1,75 @@
+/**
+ * Sistema de capacidades (§8): vocabulário comum para descrever o que um
+ * robô/hardware oferece, sem amarrar o núcleo a nenhum domínio.
+ *
+ * Ex.: Soccer tem {motor, ball_sensor, kicker, ...}; Line tem {motor, line_sensor}.
+ */
+import type { ActionName, ActionSpec } from './tokens.js';
+import type { Stmt } from './ast.js';
+/**
+ * O que um robô/hardware declara possuir. As cinco primeiras famílias são
+ * as da camada Robotics (§20); o resto é capability de domínio.
+ */
+export type Capability = 'motor' | 'motor_individual' | 'motor_left' | 'motor_right' | 'differential_drive' | 'holonomic_drive' | 'encoder' | 'odometry' | 'imu' | 'compass' | 'distance_sensor' | 'wall_detector' | 'line_sensor' | 'ball_sensor' | 'radio' | 'kicker' | 'dribbler';
+/** Descritor de extensão de domínio (soccer, line, maze, hardware...). */
+export interface ExtensionDescriptor {
+    /** Id estável, ex.: 'soccer'. */
+    id: string;
+    /** Versão da extensão (independente do core e do simulador). */
+    version: string;
+    /** Domínio legível, ex.: 'Soccer Infrared'. */
+    domain: string;
+    /** Capacidades que um hardware deste domínio pode oferecer. */
+    capabilities: Capability[];
+    /** Chaves de sensores (minúsculas) que a extensão define. */
+    sensors: string[];
+    /** Ações de DOMÍNIO que a extensão suporta. As primitivas Robotics
+     * (ANDAR/VOLTAR/PARAR/GIRAR/ESPERAR/…) não precisam ser listadas: valem
+     * em todo domínio (§33). */
+    actions: string[];
+    /**
+     * Capacidades exigidas por ação (passo incremental rumo a descritores
+     * completos de Sensor/Action; §12/§30). Ausente = sem verificação.
+     * Ex.: `{ kick: ['kicker'], dribble: ['dribbler'] }`.
+     */
+    requires?: Partial<Record<ActionName, Capability[]>>;
+    /**
+     * Verbos do domínio: palavra (MAIÚSCULAS, sem acento) → ação canônica.
+     * Dá a cada domínio seus verbos sem tocar a gramática do núcleo.
+     * Ex. Line: `{ SEGUIR: { name: 'aimMain', args: 0 } }`.
+     * Verbos do núcleo têm precedência sobre estes.
+     */
+    verbs?: Record<string, ActionSpec>;
+    /**
+     * Capacidades exigidas por SENSOR (leitura). Ausente = sem verificação.
+     * Ex. soccer: `{ bussola: ['compass'], linha_frente: ['line_sensor'] }`.
+     */
+    sensorRequires?: Record<string, Capability[]>;
+}
+/** Lista o que falta em `have` para satisfazer `need`. Vazio = OK. */
+export declare function checkRequirements(have: Capability[], need: Capability[]): Capability[];
+/** Mensagem didática quando faltam capacidades. */
+export declare function missingCapabilitiesMessage(missing: Capability[], extensionId: string): string;
+/** Coleta os nomes canônicos de ação usados num programa (AST já compilada). */
+export declare function collectProgramActions(statements: Stmt[]): ActionName[];
+/**
+ * Verifica se um programa cabe nas capacidades do hardware (§9/§32).
+ * Retorna mensagem pedagógica ou null se OK. Não executa nada.
+ * Quatro barreiras:
+ * 1. ação fora do vocabulário da extensão — **exceto** as primitivas
+ *    Robotics, que valem em qualquer domínio (§33);
+ * 2. capacidades exigidas (via `requires`, semântica E) ausentes;
+ * 3. capacidades da primitiva de movimento ausentes (semântica OU, §8);
+ * 4. SENSORES exigidos (via `sensorRequires`) ausentes.
+ * Sem entrada = sem verificação.
+ */
+export declare function checkProgramActions(statements: Stmt[], have: Capability[], extension: Pick<ExtensionDescriptor, 'id' | 'actions' | 'requires' | 'sensors' | 'sensorRequires'>): string | null;
+/**
+ * Sensores lidos pelo programa: referências a variáveis que NÃO foram
+ * declaradas no próprio programa (atribuição, parâmetro, laço, função),
+ * filtradas pelo vocabulário de sensores da extensão. Limitação conhecida:
+ * análise é do programa inteiro (não por fluxo) — sombrear um sensor com
+ * variável de mesmo nome desliga a verificação para ele.
+ */
+export declare function collectProgramSensors(statements: Stmt[], vocabulary: string[]): string[];
+//# sourceMappingURL=capabilities.d.ts.map

package/dist/capabilities.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capabilities.d.ts","sourceRoot":"","sources":["../src/capabilities.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE1D,OAAO,KAAK,EAAE,IAAI,EAAQ,MAAM,UAAU,CAAC;AAG3C;;;GAGG;AACH,MAAM,MAAM,UAAU,GAElB,OAAO,GACP,kBAAkB,GAClB,YAAY,GACZ,aAAa,GACb,oBAAoB,GACpB,iBAAiB,GAEjB,SAAS,GACT,UAAU,GAEV,KAAK,GACL,SAAS,GAET,iBAAiB,GACjB,eAAe,GACf,aAAa,GACb,aAAa,GAEb,OAAO,GACP,QAAQ,GACR,UAAU,CAAC;AAEf,0EAA0E;AAC1E,MAAM,WAAW,mBAAmB;IAClC,iCAAiC;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,gEAAgE;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB,+CAA+C;IAC/C,MAAM,EAAE,MAAM,CAAC;IACf,+DAA+D;IAC/D,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3B,6DAA6D;IAC7D,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;gCAE4B;IAC5B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,UAAU,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;IACrD;;;;;OAKG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACnC;;;OAGG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;CAC/C;AAED,sEAAsE;AACtE,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,UAAU,EAAE,CAEtF;AAED,mDAAmD;AACnD,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,UAAU,EAAE,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,CAM7F;AAED,gFAAgF;AAChF,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,IAAI,EAAE,GAAG,UAAU,EAAE,CA8BtE;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,IAAI,EAAE,EAClB,IAAI,EAAE,UAAU,EAAE,EAClB,SAAS,EAAE,IAAI,CAAC,mBAAmB,EAAE,IAAI,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,gBAAgB,CAAC,GACjG,MAAM,GAAG,IAAI,CAoCf;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CA0ExF"}

package/dist/capabilities.js

@@ -0,0 +1,181 @@
+import { ACTION_PT } from './tokens.js';
+import { isMotionAction, missingMotionCapability } from './robotics/motion.js';
+/** Lista o que falta em `have` para satisfazer `need`. Vazio = OK. */
+export function checkRequirements(have, need) {
+    return need.filter((c) => !have.includes(c));
+}
+/** Mensagem didática quando faltam capacidades. */
+export function missingCapabilitiesMessage(missing, extensionId) {
+    return (`Este programa precisa de: ${missing.join(', ')}. ` +
+        `O robô atual (domínio "${extensionId}") não tem isso — ` +
+        `troque de robô ou adapte o programa.`);
+}
+/** Coleta os nomes canônicos de ação usados num programa (AST já compilada). */
+export function collectProgramActions(statements) {
+    const found = new Set();
+    const walk = (list) => {
+        for (const s of list) {
+            switch (s.kind) {
+                case 'action':
+                    found.add(s.name);
+                    break;
+                case 'if':
+                    walk(s.then);
+                    walk(s.otherwise);
+                    break;
+                case 'while':
+                case 'repeat':
+                case 'always':
+                    walk(s.body);
+                    break;
+                case 'for':
+                    walk(s.body);
+                    break;
+                case 'func':
+                    walk(s.body);
+                    break;
+                default:
+                    break;
+            }
+        }
+    };
+    walk(statements);
+    return [...found];
+}
+/**
+ * Verifica se um programa cabe nas capacidades do hardware (§9/§32).
+ * Retorna mensagem pedagógica ou null se OK. Não executa nada.
+ * Quatro barreiras:
+ * 1. ação fora do vocabulário da extensão — **exceto** as primitivas
+ *    Robotics, que valem em qualquer domínio (§33);
+ * 2. capacidades exigidas (via `requires`, semântica E) ausentes;
+ * 3. capacidades da primitiva de movimento ausentes (semântica OU, §8);
+ * 4. SENSORES exigidos (via `sensorRequires`) ausentes.
+ * Sem entrada = sem verificação.
+ */
+export function checkProgramActions(statements, have, extension) {
+    const missing = new Set();
+    const anyOf = new Set();
+    const lacking = [];
+    for (const name of collectProgramActions(statements)) {
+        if (!isMotionAction(name) && !extension.actions.includes(name)) {
+            lacking.push(`${ACTION_PT[name]} (ação desconhecida neste domínio)`);
+            continue;
+        }
+        const need = extension.requires?.[name] ?? [];
+        const absent = checkRequirements(have, need);
+        const absentAny = missingMotionCapability(name, have) ?? [];
+        if (absent.length > 0 || absentAny.length > 0) {
+            lacking.push(ACTION_PT[name]);
+            absent.forEach((c) => missing.add(c));
+            absentAny.forEach((c) => anyOf.add(c));
+        }
+    }
+    for (const name of collectProgramSensors(statements, extension.sensors)) {
+        const need = extension.sensorRequires?.[name] ?? [];
+        const absent = checkRequirements(have, need);
+        if (absent.length > 0) {
+            lacking.push(`${name} (sensor sem capacidade neste robô)`);
+            absent.forEach((c) => missing.add(c));
+        }
+    }
+    if (lacking.length === 0)
+        return null;
+    const needParts = [];
+    if (missing.size > 0)
+        needParts.push(`precisa de: ${[...missing].join(', ')}`);
+    if (anyOf.size > 0)
+        needParts.push(`precisa de uma entre: ${[...anyOf].join(' ou ')}`);
+    const caps = needParts.length > 0 ? ` (${needParts.join('; ')})` : '';
+    return (`Este programa usa ${lacking.join(', ')}, ` +
+        `mas o robô atual não possui a capacidade necessária${caps}. ` +
+        `Domínio "${extension.id}": troque de robô ou adapte o programa.`);
+}
+/**
+ * Sensores lidos pelo programa: referências a variáveis que NÃO foram
+ * declaradas no próprio programa (atribuição, parâmetro, laço, função),
+ * filtradas pelo vocabulário de sensores da extensão. Limitação conhecida:
+ * análise é do programa inteiro (não por fluxo) — sombrear um sensor com
+ * variável de mesmo nome desliga a verificação para ele.
+ */
+export function collectProgramSensors(statements, vocabulary) {
+    const read = new Set();
+    const declared = new Set();
+    const walkExpr = (e) => {
+        switch (e.kind) {
+            case 'var':
+                read.add(e.name);
+                break;
+            case 'unary':
+                walkExpr(e.expr);
+                break;
+            case 'binary':
+                walkExpr(e.left);
+                walkExpr(e.right);
+                break;
+            case 'call':
+                for (const a of e.args)
+                    walkExpr(a);
+                break;
+            default:
+                break;
+        }
+    };
+    const walk = (list) => {
+        for (const s of list) {
+            switch (s.kind) {
+                case 'assign':
+                    declared.add(s.name);
+                    walkExpr(s.expr);
+                    break;
+                case 'func':
+                    declared.add(s.name);
+                    for (const p of s.params)
+                        declared.add(p);
+                    walk(s.body);
+                    break;
+                case 'for':
+                    declared.add(s.name);
+                    walkExpr(s.from);
+                    walkExpr(s.to);
+                    if (s.step)
+                        walkExpr(s.step);
+                    walk(s.body);
+                    break;
+                case 'if':
+                    walkExpr(s.cond);
+                    walk(s.then);
+                    walk(s.otherwise);
+                    break;
+                case 'while':
+                    walkExpr(s.cond);
+                    walk(s.body);
+                    break;
+                case 'repeat':
+                    walkExpr(s.count);
+                    walk(s.body);
+                    break;
+                case 'always':
+                    walk(s.body);
+                    break;
+                case 'return':
+                    if (s.expr)
+                        walkExpr(s.expr);
+                    break;
+                case 'expr':
+                    walkExpr(s.expr);
+                    break;
+                case 'action':
+                    for (const a of s.args)
+                        walkExpr(a);
+                    break;
+                default:
+                    break;
+            }
+        }
+    };
+    walk(statements);
+    const vocab = new Set(vocabulary);
+    return [...read].filter((n) => !declared.has(n) && vocab.has(n));
+}
+//# sourceMappingURL=capabilities.js.map

package/dist/capabilities.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capabilities.js","sourceRoot":"","sources":["../src/capabilities.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAExC,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAkE/E,sEAAsE;AACtE,MAAM,UAAU,iBAAiB,CAAC,IAAkB,EAAE,IAAkB;IACtE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,0BAA0B,CAAC,OAAqB,EAAE,WAAmB;IACnF,OAAO,CACL,6BAA6B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QACnD,0BAA0B,WAAW,oBAAoB;QACzD,sCAAsC,CACvC,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,qBAAqB,CAAC,UAAkB;IACtD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAc,CAAC;IACpC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAQ,EAAE;QAClC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,QAAQ;oBACX,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAClB,MAAM;gBACR,KAAK,IAAI;oBACP,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACb,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;oBAClB,MAAM;gBACR,KAAK,OAAO,CAAC;gBACb,KAAK,QAAQ,CAAC;gBACd,KAAK,QAAQ;oBACX,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACb,MAAM;gBACR,KAAK,KAAK;oBACR,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACb,MAAM;gBACR,KAAK,MAAM;oBACT,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACb,MAAM;gBACR;oBACE,MAAM;YACV,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,UAAU,CAAC,CAAC;IACjB,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CACjC,UAAkB,EAClB,IAAkB,EAClB,SAAkG;IAElG,MAAM,OAAO,GAAG,IAAI,GAAG,EAAc,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAc,CAAC;IACpC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,qBAAqB,CAAC,UAAU,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/D,OAAO,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;YACrE,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5D,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9C,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;YAC9B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACtC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,qBAAqB,CAAC,UAAU,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,GAAG,SAAS,CAAC,cAAc,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,qCAAqC,CAAC,CAAC;YAC3D,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC;QAAE,SAAS,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/E,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC;QAAE,SAAS,CAAC,IAAI,CAAC,yBAAyB,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACvF,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACtE,OAAO,CACL,qBAAqB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAC3C,sDAAsD,IAAI,IAAI;QAC9D,YAAY,SAAS,CAAC,EAAE,yCAAyC,CAClE,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,UAAkB,EAAE,UAAoB;IAC5E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,QAAQ,GAAG,CAAC,CAAO,EAAQ,EAAE;QACjC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,KAAK;gBACR,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACjB,MAAM;YACR,KAAK,OAAO;gBACV,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACjB,MAAM;YACR,KAAK,QAAQ;gBACX,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACjB,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAClB,MAAM;YACR,KAAK,MAAM;gBACT,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;oBAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;gBACpC,MAAM;YACR;gBACE,MAAM;QACV,CAAC;IACH,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAQ,EAAE;QAClC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,QAAQ;oBACX,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACrB,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACjB,MAAM;gBACR,KAAK,MAAM;oBACT,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACrB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;wBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBAC1C,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACb,MAAM;gBACR,KAAK,KAAK;oBACR,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACrB,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACjB,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBACf,IAAI,CAAC,CAAC,IAAI;wBAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC7B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACb,MAAM;gBACR,KAAK,IAAI;oBACP,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACjB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACb,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;oBAClB,MAAM;gBACR,KAAK,OAAO;oBACV,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACjB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACb,MAAM;gBACR,KAAK,QAAQ;oBACX,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBAClB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACb,MAAM;gBACR,KAAK,QAAQ;oBACX,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACb,MAAM;gBACR,KAAK,QAAQ;oBACX,IAAI,CAAC,CAAC,IAAI;wBAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC7B,MAAM;gBACR,KAAK,MAAM;oBACT,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACjB,MAAM;gBACR,KAAK,QAAQ;oBACX,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;wBAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;oBACpC,MAAM;gBACR;oBACE,MAAM;YACV,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,UAAU,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IAClC,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC"}

package/dist/errors.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Erros do H++ (núcleo puro, sem dependências).
+ *
+ * Extraído de `interpreter.ts` durante a migração para o repositório
+ * independente, para que lexer, parser e ferramentas externas possam
+ * referenciar o formato de erro sem importar o interpretador.
+ * Semântica e mensagens 100% preservadas.
+ */
+/** Erro apresentável ao aluno: sempre com linha e mensagem em português. */
+export interface HppError {
+    line: number;
+    col: number;
+    message: string;
+}
+/** Erro interno de execução (vira `HppError` na borda do `run()`). */
+export declare class RuntimeError extends Error {
+    line: number;
+    message: string;
+    constructor(line: number, message: string);
+}
+//# sourceMappingURL=errors.d.ts.map

package/dist/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,4EAA4E;AAC5E,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,sEAAsE;AACtE,qBAAa,YAAa,SAAQ,KAAK;IAE5B,IAAI,EAAE,MAAM;IACZ,OAAO,EAAE,MAAM;gBADf,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM;CAIzB"}

package/dist/errors.js

@@ -0,0 +1,27 @@
+/**
+ * Erros do H++ (núcleo puro, sem dependências).
+ *
+ * Extraído de `interpreter.ts` durante a migração para o repositório
+ * independente, para que lexer, parser e ferramentas externas possam
+ * referenciar o formato de erro sem importar o interpretador.
+ * Semântica e mensagens 100% preservadas.
+ */
+/** Erro interno de execução (vira `HppError` na borda do `run()`). */
+export class RuntimeError extends Error {
+    constructor(line, message) {
+        super(message);
+        Object.defineProperty(this, "line", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: line
+        });
+        Object.defineProperty(this, "message", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: message
+        });
+    }
+}
+//# sourceMappingURL=errors.js.map

package/dist/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AASH,sEAAsE;AACtE,MAAM,OAAO,YAAa,SAAQ,KAAK;IACrC,YACS,IAAY,EACZ,OAAe;QAEtB,KAAK,CAAC,OAAO,CAAC,CAAC;QAHf;;;;mBAAO,IAAI;WAAQ;QACnB;;;;mBAAO,OAAO;WAAQ;IAGxB,CAAC;CACF"}

package/dist/examples.d.ts

@@ -0,0 +1,9 @@
+/** Programas-exemplo H++ (PT) — do primeiro passo ao goleiro. */
+export interface Example {
+    id: string;
+    name: string;
+    level: string;
+    code: string;
+}
+export declare const EXAMPLES: Example[];
+//# sourceMappingURL=examples.d.ts.map

package/dist/examples.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"examples.d.ts","sourceRoot":"","sources":["../src/examples.ts"],"names":[],"mappings":"AAAA,iEAAiE;AAEjE,MAAM,WAAW,OAAO;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd;AAED,eAAO,MAAM,QAAQ,EAAE,OAAO,EA2wB7B,CAAC"}