@pineforge/codegen-pyodide 1.1.0 → 1.3.0

package/LICENSE

@@ -0,0 +1,261 @@
+PineForge Source License 1.2
+============================
+
+Version 1.2, 2026-10-05. Compared with 1.1, two places change. In the
+Personal Trading section, the last bullet now says that an account a
+proprietary-trading firm or funded-trader program provides or allocates,
+including a challenge, evaluation or simulated account, is not the
+person's own account or capital. In the Commercial Use section, the
+definition of investment capital now covers the capital in such an
+account, real or simulated.
+
+Copyright 2025-2026 pineforge, LLC
+
+Required Notice: Copyright 2025-2026 pineforge, LLC (https://github.com/pineforge-4pass/pineforge-codegen-oss)
+
+The software is free of charge for the permitted purposes below, including
+Personal Trading. Commercial Use, defined below, needs a separate commercial
+license from the licensor.
+
+
+## Acceptance
+
+In order to get any license under these terms, you must agree to them as both
+strict obligations and conditions to all your licenses.
+
+
+## Copyright License
+
+The licensor grants you a copyright license for the software to do everything
+you might do with the software that would otherwise infringe the licensor's
+copyright in it for any permitted purpose. However, you may only distribute
+the software according to the Distribution License section, and make changes
+or new works based on the software according to the Changes and New Works
+License section.
+
+
+## Distribution License
+
+The licensor grants you an additional copyright license to distribute copies
+of the software. Your license to distribute covers distributing the software
+with changes and new works permitted by the Changes and New Works License
+section. Unless it is a permitted purpose, distributing the software, changed
+or not, embedded in or bundled with a product or service made available to
+others is Commercial Use under (3) of the Commercial Use section, which your
+license to distribute does not cover. Distributing copies under this section
+is not Commercial Use, and it gives the people who get them no license beyond
+these terms.
+
+
+## Notices
+
+You must ensure that anyone who gets a copy of any part of the software from
+you also gets a copy of these terms or a link to them, as well as copies of
+any plain-text lines beginning with `Required Notice:` that the licensor
+provided with the software. For example:
+
+> Required Notice: Copyright Yoyodyne, Inc. (http://example.com)
+
+
+## Changes and New Works License
+
+The licensor grants you an additional copyright license to make changes and
+new works based on the software for any permitted purpose.
+
+
+## Patent License
+
+The licensor grants you a patent license for the software that covers patent
+claims the licensor can license, or becomes able to license, that you would
+infringe by using the software for a permitted purpose.
+
+
+## Permitted Purposes
+
+Each of the following is a permitted purpose:
+
+- **Noncommercial purposes.** Any noncommercial purpose.
+
+- **Personal uses.** Personal use for research, experiment, and testing for
+  the benefit of public knowledge, personal study, private entertainment,
+  hobby projects, amateur pursuits, or religious observance, without any
+  anticipated commercial application.
+
+- **Noncommercial organizations.** Use by any charitable organization,
+  educational institution, public research organization, public safety or
+  health organization, environmental protection organization, or government
+  institution for its teaching, research and other operations, regardless of
+  the source of funding or obligations resulting from the funding.
+
+- **Personal Trading**, as defined in the next section.
+
+Investment Management, defined in the Commercial Use section, is never a
+permitted purpose, except as Personal Trading. That is so even when it is done
+by a noncommercial organization or for a noncommercial purpose.
+
+
+## Personal Trading
+
+**Personal Trading** means use of the software by a natural person to do any
+of the following, solely for trades that meet conditions (a) and (b) below:
+research, develop or backtest trading strategies, or execute trades in
+securities, derivatives, currencies, crypto-assets, commodities or other
+financial instruments.
+
+  (a) The trades are, or will be, placed for that person's own account.
+
+  (b) The trades are, or will be, funded solely by that person's own
+      capital.
+
+For Personal Trading:
+
+  - A person's **household** is that person, their spouse or domestic
+    partner, and their dependants.
+
+  - A person's **own account** includes an account held by the person alone
+    or jointly with members of their household; an account of a member of
+    their household; and a retirement, pension, education-savings or other
+    tax-advantaged account, or an account of a revocable trust, held for the
+    benefit of the person or members of their household.
+
+  - A person's **own capital** includes capital belonging to members of
+    their household, and capital borrowed in the ordinary course from a
+    broker, bank or other lender, such as margin, leverage or credit on a
+    trading account, for which the person or their household is liable.
+    Money the person has received outright, such as pay, a gift or an
+    inheritance, is the person's own capital.
+
+  - Trading in the person's own name, for their own account and with their
+    own capital, is Personal Trading even when it is the person's business
+    or livelihood.
+
+  - Publishing or teaching about the person's own Personal Trading,
+    including its results, is part of Personal Trading even when the person
+    is paid for it, as long as they do not give Output to others.
+
+  - An account of a company, partnership, fund, trust or other
+    organization, other than an account described under own account above,
+    is not the person's own account, even if the person wholly owns or
+    controls it.
+
+  - Capital that an employer, a proprietary-trading firm, a funded-trader
+    program or anyone else outside the person's household provides or
+    allocates to the person to trade, and that the provider still owns or
+    whose losses the provider bears, is not the person's own capital, even
+    if the person shares in the profits. An account that a
+    proprietary-trading firm or a funded-trader program provides or
+    allocates to the person to trade, including a challenge, evaluation or
+    simulated account, whether the capital in it is real or simulated, is
+    likewise not the person's own account and is not funded by the
+    person's own capital.
+
+
+## Commercial Use
+
+**Investment Management** means using the software to manage, advise on, or
+trade investment capital; to research, develop or backtest strategies for
+investment capital that you, or anyone you do the work for, manage, advise on
+or trade; or to operate the software for others who do any of these things;
+in each case whoever the capital belongs to and whether or not for a fee.
+
+**Investment capital** means any money or other assets held for investment or
+trading, including capital belonging to any other person or entity, such as a
+friend or relative, clients or investors, an endowment, a pension or
+retirement fund, a sovereign or other public fund, or the treasury or reserves
+of a foundation or other organization. The capital in an account that a
+proprietary-trading firm or a funded-trader program provides or allocates
+to a person or entity to trade, including a challenge, evaluation or
+simulated account, is investment capital whether it is real or simulated.
+
+**Commercial Use** means any use of the software that is not a permitted
+purpose, other than distributing copies under the Distribution License
+section. Investment Management is Commercial Use for every individual and
+every organization, including the noncommercial organizations listed under
+Permitted Purposes, whatever its purpose, unless it is Personal Trading.
+Unless it is a permitted purpose, each of the following is also Commercial
+Use:
+
+  (1) managing, advising on, or trading capital belonging to any other person
+      or entity, whether or not for a fee;
+
+  (2) use by, for, or on behalf of any company, fund, partnership, or other
+      organization, including use by an individual in the course of work for
+      such an organization;
+
+  (3) embedding the software or its Output, changed or not, into any product
+      or service made available to others, or distributing either bundled
+      with such a product or service, including using the software to
+      generate Output for such a product or service; and
+
+  (4) operating any hosted, software-as-a-service, or otherwise public-facing
+      service through which others can run the software or receive its
+      Output.
+
+Commercial Use requires a separate commercial license from the licensor. To
+obtain one, contact: enterprise@pineforge.dev
+
+
+## Output
+
+**Output** means code that the software generates, such as the C++ source
+code it generates from PineScript, and any program or library built from that
+code. Backtest results, charts, reports and trade signals are not Output.
+
+
+## Fair Use
+
+You may have "fair use" rights for the software under the law. These terms do
+not limit them.
+
+
+## No Other Rights
+
+These terms do not allow you to sublicense or transfer any of your licenses
+to anyone else, or prevent the licensor from granting licenses to anyone
+else. These terms do not imply any other licenses.
+
+
+## Patent Defense
+
+If you make any written claim that the software infringes or contributes to
+infringement of any patent, your patent license for the software granted
+under these terms ends immediately. If your company makes such a claim, your
+patent license ends immediately for work on behalf of your company.
+
+
+## Violations
+
+The first time you are notified in writing that you have violated any of
+these terms, or done anything with the software not covered by your licenses,
+your licenses can nonetheless continue if you come into full compliance with
+these terms, and take practical steps to correct past violations, within 32
+days of receiving notice. Otherwise, all your licenses end immediately.
+
+
+## No Liability
+
+***As far as the law allows, the software comes as is, without any warranty
+or condition, and the licensor will not be liable to you for any damages
+arising out of these terms or the use or nature of the software, under any
+kind of legal claim.***
+
+
+## Definitions
+
+The **licensor** is pineforge, LLC, and the **software** is the software the
+licensor makes available under these terms.
+
+**You** refers to the individual or entity agreeing to these terms.
+
+**Your company** is any legal entity, sole proprietorship, or other kind of
+organization that you work for, plus all organizations that have control
+over, are under the control of, or are under common control with that
+organization. **Control** means ownership of substantially all the assets of
+an entity, or the power to direct its management and policies by vote,
+contract, or otherwise. Control can be direct or indirect.
+
+**Your licenses** are all the licenses granted to you for the software under
+these terms.
+
+**Use** means anything you do with the software requiring one of your
+licenses.

package/README.md

@@ -16,6 +16,11 @@ Stable releases are on the `latest` dist-tag. A prerelease (for example
 - `transpile.worker.mjs` — an ES module worker that runs the glue in Pyodide.
 - `index.mjs` — exports `release`, `tables`, `archivePath`, `sourceRoot`, `codegenSourceDir`,
   `workerPath` and `glue`.
+- `pineforge_codegen/diagnostics_catalog.json` — the diagnostics catalog (since 1.2.0), also
+  importable as `@pineforge/codegen-pyodide/diagnostics_catalog.json`; the repository's
+  `docs/PUBLIC_CONTRACT.md` describes it.
+- `LICENSE` — the PineForge Source License (since 1.2.0), which `package.json` names:
+  version 1.1 in release 1.2.0, version 1.2 from release 1.3.0 on.
 
 ## Publishing (maintainers)
 A `v*` tag push, which the release workflow makes, publishes through npm OIDC Trusted

package/glue.py

@@ -23,6 +23,10 @@ def _diagnostic_entries(diagnostics) -> list:
             "col": loc.col if loc else 1,
             "message": message,
             "severity": getattr(d.level, "value", "error"),
+            # The stable code and named arguments of the catalog templates the
+            # message (and the hint after " — ") render from.
+            "code": d.code,
+            "args": d.args,
         }
         end_col = getattr(loc, "end_col", None) if loc else None
         if end_col is not None:

package/package.json

@@ -1,13 +1,14 @@
 {
   "name": "@pineforge/codegen-pyodide",
-  "version": "1.1.0",
+  "version": "1.3.0",
   "description": "Gate-validated Pyodide payload for the PineScript v6 -> C++ transpiler: archive (run in Pyodide), unpacked source, introspected tables, and release metadata.",
   "type": "module",
   "main": "index.mjs",
   "exports": {
     ".": "./index.mjs",
     "./tables.json": "./tables.json",
-    "./release.json": "./release.json"
+    "./release.json": "./release.json",
+    "./diagnostics_catalog.json": "./pineforge_codegen/diagnostics_catalog.json"
   },
   "files": [
     "index.mjs",
@@ -16,7 +17,8 @@
     "tables.json",
     "release.json",
     "transpile.worker.mjs",
-    "glue.py"
+    "glue.py",
+    "LICENSE"
   ],
   "engines": {
     "node": ">=20"
@@ -35,5 +37,5 @@
     "type": "git",
     "url": "git+https://github.com/pineforge-4pass/pineforge-codegen-oss.git"
   },
-  "license": "PolyForm-Noncommercial-1.0.0"
+  "license": "SEE LICENSE IN LICENSE"
 }

package/pineforge_codegen/__init__.py

@@ -6,6 +6,7 @@ from .lexer import Lexer
 from .parser import Parser
 from .analyzer import Analyzer
 from .codegen import CodeGen
+from .diagnostic_codes import diagnostics_catalog, render_diagnostic
 from .errors import CompileError, Level, Phase
 from .external_requests import lower_no_data_requests
 from .builtin_keywords import bind_builtin_keywords

package/pineforge_codegen/codegen/base.py

@@ -240,6 +240,9 @@ class CodeGen(CallVisitor, ExprVisitor, StmtVisitor, TopLevelEmitter, SecurityEm
     def __init__(self, ctx: AnalyzerContext,
                  budget: TimeBudget | None = None) -> None:
         self.ctx = ctx
+        self._order_shape_calls = {}
+        self._order_shape_host_reads: set[str] = set()
+        self._order_shape_constructor: list[str] = []
         self._budget = budget
         self._budget_visit_count = 0
         self._initialise_safe_names(ctx.ast)
@@ -4414,7 +4417,44 @@ class CodeGen(CallVisitor, ExprVisitor, StmtVisitor, TopLevelEmitter, SecurityEm
             return None
 
     def generate(self) -> str:
-        """Generate C++ source from the AnalyzerContext."""
+        """Generate C++ source from the AnalyzerContext.
+
+        An error the settings metadata finds in an input's arguments (emitted
+        in the constructor, ahead of the body: ``checked_settings``) is held
+        until the rest is generated; the error raised is the first in source
+        order, as before that metadata visited the arguments."""
+        self._deferred_settings_errors: list[CompileError] | None = []
+        try:
+            try:
+                cpp = self._generate_cpp()
+            except CompileError as error:
+                first = self._first_settings_error_before(error)
+                if first is None:
+                    raise
+                raise first from None
+            if self._deferred_settings_errors:
+                raise self._deferred_settings_errors[0]
+            return cpp
+        finally:
+            self._deferred_settings_errors = None
+
+    def _defer_settings_error(self, error: CompileError) -> None:
+        held = getattr(self, "_deferred_settings_errors", None)
+        if held is None:   # outside generate(): nothing holds it
+            raise error
+        held.append(error)
+
+    def _first_settings_error_before(self, error: CompileError) -> CompileError | None:
+        """A held settings error located before ``error``, else None."""
+        def where(err: CompileError):
+            loc = err.diagnostics[0].location if err.diagnostics else None
+            return (loc.line, loc.col) if loc is not None else (float("inf"), 0)
+        held = sorted(self._deferred_settings_errors, key=where)
+        if held and where(held[0]) < where(error):
+            return held[0]
+        return None
+
+    def _generate_cpp(self) -> str:
         # Every input is keyed by its title: refuse a non-constant one first,
         # then flag inputs one override key would reach together.
         self._check_input_titles()
@@ -4453,7 +4493,8 @@ class CodeGen(CallVisitor, ExprVisitor, StmtVisitor, TopLevelEmitter, SecurityEm
         self._prepare_lazy_source_clock_sites()
         self.block_locals_needing_names = self._block_locals_needing_names()
 
-        lines: list[str] = []
+        from .order_shapes import HostReadLines
+        lines: list[str] = HostReadLines(self._order_shape_host_reads)
 
         # Series<T> ctor-arg suffix from any max_bars_back directive (empty when
         # absent, so directive-free output is byte-identical to before).
@@ -5413,7 +5454,12 @@ class CodeGen(CallVisitor, ExprVisitor, StmtVisitor, TopLevelEmitter, SecurityEm
         if self._uses_session_market:
             lines.insert(_session_market_member_at, SESSION_MARKET_MEMBER)
             lines.insert(_session_market_at, SESSION_MARKET_CPP)
+            self._capabilities_export_at += 2
 
+        from .capabilities import emit_capabilities_exports
+        exports: list[str] = []
+        emit_capabilities_exports(self, exports)
+        lines[self._capabilities_export_at:self._capabilities_export_at] = exports
         cpp = "\n".join(lines)
         self._settle_session_reads(cpp)
         return cpp