separan 0.1.0a2__tar.gz

separan-0.1.0a2/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

separan-0.1.0a2/NOTICE

@@ -0,0 +1,4 @@
+Separan
+Copyright 2026 Separan contributors
+
+This product is licensed under the Apache License, Version 2.0.

separan-0.1.0a2/PKG-INFO

@@ -0,0 +1,354 @@
+Metadata-Version: 2.4
+Name: separan
+Version: 0.1.0a2
+Summary: Python reference interpreter for the label-structured Separan language
+Author: Separan contributors
+License-Expression: Apache-2.0
+Project-URL: Homepage, https://github.com/mocchii2/Separan
+Project-URL: Documentation, https://github.com/mocchii2/Separan/tree/main/spec
+Project-URL: Repository, https://github.com/mocchii2/Separan.git
+Project-URL: Issues, https://github.com/mocchii2/Separan/issues
+Project-URL: VS Code Marketplace, https://marketplace.visualstudio.com/items?itemName=separan.separan-language
+Keywords: programming-language,scripting-language,interpreter,ai-coding,language-design
+Classifier: Development Status :: 2 - Pre-Alpha
+Classifier: Environment :: Console
+Classifier: Intended Audience :: Developers
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Topic :: Software Development :: Interpreters
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+License-File: LICENSE
+License-File: NOTICE
+Requires-Dist: tzdata>=2025.2
+Requires-Dist: cryptography<51,>=45
+Requires-Dist: argon2-cffi<26,>=23
+Provides-Extra: postgresql
+Requires-Dist: psycopg[binary]<4,>=3.2; extra == "postgresql"
+Provides-Extra: mysql
+Requires-Dist: mysql-connector-python<10,>=9; extra == "mysql"
+Provides-Extra: oracle
+Requires-Dist: oracledb<5,>=3; extra == "oracle"
+Provides-Extra: sqlserver
+Requires-Dist: pyodbc<6,>=5; extra == "sqlserver"
+Provides-Extra: db-all
+Requires-Dist: psycopg[binary]<4,>=3.2; extra == "db-all"
+Requires-Dist: mysql-connector-python<10,>=9; extra == "db-all"
+Requires-Dist: oracledb<5,>=3; extra == "db-all"
+Requires-Dist: pyodbc<6,>=5; extra == "db-all"
+Dynamic: license-file
+
+<p align="center">
+  <img src="https://raw.githubusercontent.com/mocchii2/Separan/main/logo/separan_logo.png" alt="Separan" width="720">
+</p>
+
+# Separan
+
+> **Structure should be named, not guessed.**
+>
+> Free programmers from indentation and bracket ambiguity.
+
+> **AI may write the code. Humans still need to understand it.**
+
+[日本語](https://github.com/mocchii2/Separan/blob/main/docs/README.ja.md) | English
+
+[![PyPI](https://img.shields.io/pypi/v/separan?label=PyPI)](https://pypi.org/project/separan/)
+[![VS Code Marketplace](https://img.shields.io/visual-studio-marketplace/v/separan.separan-language?label=VS%20Code%20Marketplace)](https://marketplace.visualstudio.com/items?itemName=separan.separan-language)
+
+Separan makes AI-written code easier for people to read, understand, and
+review. Labels turn otherwise anonymous control flow into visible intent:
+`:validate_payment`, `:write_audit_log`, and `:retry_connection` become part of
+the program's checked structure. A reviewer can understand what a block is for,
+navigate its exact boundary, and verify where an AI made changes without first
+reconstructing indentation or counting brackets.
+
+This is not only about restricting AI. It is about making generated code
+explain its structure to the human who remains responsible for it.
+
+## Run it in 30 seconds
+
+```console
+git clone https://github.com/mocchii2/Separan.git && cd Separan
+python -m pip install separan
+separan examples/hello.sep
+```
+
+Python 3.10 or newer is required.
+
+## Try it in five minutes
+
+First, run a valid labeled block:
+
+```separan
+if true :check
+print "ok"
+endif:check
+```
+
+Then run the intentionally broken example:
+
+```console
+python -m separan examples/label_mismatch.sep
+```
+
+The closer names a different structure:
+
+```separan
+if true :check
+print "ok"
+endif:wrong
+```
+
+Separan points to the structural mistake and tells you the exact closer it
+expected:
+
+```text
+SEPARAN E104: Block label mismatch
+
+Expected:
+endif:check
+
+Actual:
+endif:wrong
+```
+
+That diagnostic is the language in miniature: structure is named and verified,
+not inferred from indentation or bracket counting.
+
+Separan is a label-structured scripting language designed for code that humans,
+AI systems, and development tools can inspect without guessing where a block
+ends. Indentation is decoration. Every block carries an explicit identity, and
+its opener and closer must agree.
+
+```separan
+function:main
+name = "Separan"
+
+if name != null :名前あり
+print "Hello, " + name
+endif:名前あり
+
+end_function:main
+```
+
+Block and multiline-comment labels accept NFC-normalized Unicode identifiers.
+Program identifiers such as variables and function names remain ASCII-only.
+
+Separan rejects structural mistakes before they can silently succeed:
+
+```separan
+if user.active :active_user
+print "active"
+endif:admin_user
+```
+
+```text
+SEPARAN E104: Block label mismatch
+
+Expected:
+endif:active_user
+
+Actual:
+endif:admin_user
+```
+
+## The 30-second demo
+
+Separan gives a meaningful name to the structure an AI is allowed to edit:
+
+```separan
+if user.active :active_user
+print "active user"
+endif:active_user
+```
+
+Give the AI a structural instruction instead of a line-number range:
+
+```text
+Modify only Separan scope function:main#1/if:active_user#1
+```
+
+The parser verifies that the opening and closing structure agree. The v0.4
+review tool extends that identity to the diff boundary:
+
+```text
+PASS: AI edit scope verified.
+Allowed changes 1, violations 0
+```
+
+The label is simultaneously human documentation, parser-checked structure, and
+a machine-verifiable edit boundary.
+
+```console
+separan-structure diff before.sep after.sep
+separan-structure verify before.sep after.sep --allow active_user
+```
+
+Use `--json` for CI and review bots. The VS Code v0.4 extension can compare the
+active file against Git `HEAD` and verify the label under the cursor. See the
+[structural AI workflow](https://github.com/mocchii2/Separan/blob/main/spec/structural-ai.md).
+
+## v0.1.0-alpha.2
+
+The current Python reference implementation includes strict label validation,
+detailed diagnostics, fixed inferred types, homogeneous lists, functions,
+`main` auto-start, conditionals, loops, comments, and AST output. The v0.4
+tooling layer adds a dependency-free LSP, rich VS Code support, structural
+diffs, and enforced AI edit scopes without changing v0.1 language semantics.
+
+The standard library now covers explicit type conversion, Unicode string and
+homogeneous-list processing, immutable bytes, datetime and duration values,
+reproducible and secure randomness, filesystem and process utilities, HTTP
+client/server previews, authentication, cookies, and parameter-bound SQLite.
+Built-ins use the same strict argument and type diagnostics as user-defined
+functions; implicit coercion remains forbidden.
+
+Higher-order collection processing uses explicit `function` values:
+`map`, `filter`, and initial-value-required `reduce` preserve strict callback
+contracts. One-level `flatten`, `sum`, `average`, and value `count` complete the
+core aggregates. Math includes finite real trigonometric, logarithmic, and
+exponential functions with domain errors instead of NaN/Infinity results.
+
+String processing includes `trim`, `upper`, `lower`, `contains`, `starts_with`,
+`ends_with`, `split`, `join`, `replace`, code-point-based `substring`/`char_at`,
+non-overlapping literal `find_all`, and a string/list-shared `reverse`.
+
+The experimental temporal implementation provides distinct `datetime`,
+`local_datetime`, `timezone`, and `duration` values. It requires explicit zones,
+rejects ambiguous DST wall times, and keeps Unix units visible in function names.
+Run `separan --timezone-version` to inspect the active timezone database.
+
+Randomness is split by purpose: seeded `random_*` functions use a reproducible
+language-defined PCG32 stream, while `secure_random_*` functions use the
+operating system's cryptographic source. Secure bytes have a distinct `bytes`
+type rather than masquerading as a number list.
+
+Binary values are immutable and never convert to strings implicitly. Explicit
+UTF encodings, strict hex/Base64 codecs, slicing, byte lookup, and binary
+concatenation are available in the reference preview.
+
+Authentication uses high-level primitives rather than user-built cryptography.
+Host-provided secrets are a distinct automatically redacted type; HTTP auth,
+OAuth client credentials, HMAC-SHA256, HS256 JWT, and scrypt password hashing
+have experimental reference implementations.
+
+HTTP supports one-shot cookies and explicit stateful Cookie Jars. Cookie values,
+jar display, and received response cookies are redacted; domain, path, expiry,
+and Secure attributes control transmission.
+
+Lists are homogeneous and zero-based. Operations such as `list_append`,
+`list_remove`, `slice`, `reverse`, and every sort return new lists; v0.1 exposes
+no mutating collection API. Stable sorting includes descending, Unicode
+case-folded, natural-number, and object-field variants. See the
+[list specification](https://github.com/mocchii2/Separan/blob/main/spec/lists.md).
+
+`length(value)` and `is_empty(value)` work consistently across strings, lists,
+and bytes. String search, repetition, and padding operate on Unicode code points;
+failed `index_of` and `last_index_of` searches return null.
+
+`const name = value` creates an immutable binding while ordinary assignment
+remains mutable. Labeled object/list data blocks, namespaced imports,
+capability-based I/O, explicit JSON boundary conversion, and labeled
+`try`/`catch`/`finally` handling are all available experimentally in the
+reference interpreter.
+
+The accepted HTTP design keeps `http_get` lightweight and puts detailed status,
+headers, and bytes in `http_request`. It explicitly does not impersonate a
+browser: JavaScript, DOM, viewport, and navigator state belong to a future
+`browser_open` subsystem.
+The reference preview implements both APIs behind an explicit network
+capability with host, scheme, port, redirect, timeout, and body-size checks.
+Labeled HTTP routes and a separately capability-gated development host are also
+available as a server preview. The dispatcher is transport-independent so a
+future Lambda or production adapter can reuse the same `.sep` application.
+The database preview separates its common API from official SQLite, PostgreSQL,
+MySQL, Oracle, and Microsoft SQL Server adapters. SQLite is built in; the other
+four are optional extras. Safe `?` placeholder scanning, strict single-row and scalar APIs,
+labeled transactions, common metadata, and redacted connections are available.
+Stable execution metadata is available through the reserved read-only `system`
+context; dynamic values such as time, requests, randomness, and database state
+remain explicit functions or scoped values.
+
+The v0.5 Structure Explorer turns the active `.sep` file into a navigable block
+tree. Each named structure shows its direct parameters, reads, writes, and
+calls, plus added/modified/removed state against Git `HEAD`. Selecting a block
+jumps to its opener; moving the cursor tracks the deepest enclosing scope. The
+analysis is parser-backed and never executes the program. See the
+[Structure Explorer specification](https://github.com/mocchii2/Separan/blob/main/spec/structure-explorer.md).
+
+The Language Server preview is available as `separan-lsp`. It provides parser
+and simple fixed-type diagnostics, mismatch Quick Fixes, typed Semantic Tokens,
+Hover, definition, scope-safe label rename, matching highlights, completion,
+signature help, inlay hints, labeled symbols/folding, and AST-preserving
+formatting. See the [VS Code/LSP specification](https://github.com/mocchii2/Separan/blob/main/spec/vscode-extension.md).
+
+The strict operator set includes power, integer floor division, null fallback,
+compound assignment, and typed membership. See
+[`examples/operators.sep`](https://github.com/mocchii2/Separan/blob/main/examples/operators.sep) and the
+[language specification](https://github.com/mocchii2/Separan/blob/main/spec/README.md#operators).
+
+External commands follow the same explicitness rule: `exec` passes a program and
+argv directly, `exec_checked` turns nonzero exit into a catchable error, and the
+separately gated `shell_exec` is the only API that interprets shell syntax.
+These process APIs now have an experimental capability-gated implementation.
+
+The utility implementation provides versioned Unicode regexes, deterministic
+capability-gated `glob`, process-scoped environment access, and command-line
+helpers that keep `script_path()` separate from `command_args()`.
+An experimental implementation of these APIs and named function arguments is
+available in the reference interpreter.
+
+Labeled `object:name` and `list:name` data blocks, `user.name` member access,
+namespaced imports, and labeled `try`/`catch`/`finally`/`throw` also have
+experimental reference implementations.
+
+```console
+python -m pip install -e .
+separan examples/hello.sep
+separan --ast examples/if.sep
+python -m unittest discover -s tests -v
+```
+
+Python 3.10 or newer is required.
+
+## Repository
+
+```text
+Separan/
+├─ spec/        Language specification
+├─ reference/   Python reference implementation
+├─ tests/       Conformance and diagnostic tests
+├─ examples/    .sep programs
+├─ vscode/      VS Code extension
+├─ docs/        Philosophy and AI integration
+├─ logo/        Official Separan logo and mark
+├─ ROADMAP.md
+└─ LICENSE
+```
+
+Brand assets are available as the full [Separan logo](https://github.com/mocchii2/Separan/blob/main/logo/separan_logo.png)
+and square [Separan mark](https://github.com/mocchii2/Separan/blob/main/logo/separan_mark.png). The original PNG files are
+kept unchanged in the repository. A separately optimized 128px derivative is
+used as the [VS Code extension icon](https://github.com/mocchii2/Separan/blob/main/vscode/images/icon.png).
+
+Read the [language specification](https://github.com/mocchii2/Separan/blob/main/spec/README.md), the [design philosophy](https://github.com/mocchii2/Separan/blob/main/docs/philosophy.md),
+the [AI integration model](https://github.com/mocchii2/Separan/blob/main/docs/ai-integration.md), the
+[temporal-type specification](https://github.com/mocchii2/Separan/blob/main/spec/temporal-types.md), and the [roadmap](https://github.com/mocchii2/Separan/blob/main/ROADMAP.md).
+The experimental [database standard](https://github.com/mocchii2/Separan/blob/main/spec/database.md) documents the common API
+and official SQLite, PostgreSQL, MySQL, Oracle, and SQL Server adapters.
+The [reserved system context](https://github.com/mocchii2/Separan/blob/main/spec/system-context.md) defines normalized,
+read-only execution metadata and its namespace boundary.
+
+## Status
+
+Separan is experimental software at **v0.1.0-alpha.2**. The syntax and diagnostics
+may change before v1.0. It is ready for exploration, not production use.
+
+## License
+
+Separan is licensed under the [Apache License 2.0](https://github.com/mocchii2/Separan/blob/main/LICENSE). See [NOTICE](https://github.com/mocchii2/Separan/blob/main/NOTICE)
+for attribution information.