scholialang 0.6.0__tar.gz

scholialang-0.6.0/LICENSE-APACHE

@@ -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 2026 Doug Fir Labs
+
+   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.

scholialang-0.6.0/LICENSE-MIT

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Doug Fir Labs
+
+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.

scholialang-0.6.0/PKG-INFO

@@ -0,0 +1,103 @@
+Metadata-Version: 2.4
+Name: scholialang
+Version: 0.6.0
+Summary: Reference implementation for the Scholialang structured reasoning language
+Author: Doug Fir Labs
+License-Expression: MIT OR Apache-2.0
+Project-URL: Homepage, https://github.com/dougfirlabs/scholialang
+Project-URL: Repository, https://github.com/dougfirlabs/scholialang
+Project-URL: Specification, https://github.com/dougfirlabs/scholialang-spec
+Keywords: scholia,srml,reasoning,agents,validation
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown
+License-File: LICENSE-MIT
+License-File: LICENSE-APACHE
+Requires-Dist: pyyaml>=6.0
+Provides-Extra: dev
+Requires-Dist: pytest>=7.0; extra == "dev"
+Requires-Dist: pytest-timeout>=2.0; extra == "dev"
+Dynamic: license-file
+
+<p align="center">
+  <img src="assets/scholialang-banner.png" alt="Scholialang" width="100%" />
+</p>
+
+<p align="center">
+  <a href="https://scholialang.org">Website</a> ·
+  <a href="https://github.com/dougfirlabs/scholialang-spec">Spec</a> ·
+  <a href="https://github.com/dougfirlabs/scholialang-mcp">MCP</a> ·
+  <strong>Python</strong> ·
+  <a href="https://github.com/dougfirlabs">Doug Fir Labs</a>
+</p>
+
+# scholialang
+
+`scholialang` is the Python reference implementation for Scholia, a
+structured reasoning notation for agent traces.
+
+Scholia v0.6 makes agent reasoning portable, inspectable, and reusable
+across sessions using content-addressed reasoning traces. The v0.6 language
+keeps the v0.5 closed vocabulary and adds the content-addressed substrate:
+optional `canonical_id` hashes, a canonical-id-keyed DAG registry, and the
+three core lazy-prelude modes `hash_only`, `hash_list`, and `inline`.
+
+It contains the language-level pieces only:
+
+- atom dataclasses
+- parser
+- validator
+- canonical_id hashing
+- DAG registry primitives
+- lazy prelude rendering
+- stable atom IDs
+- metadata helpers
+- JSON/YAML serializers
+- Markdown/XML renderers
+
+Host-runtime concerns such as trace persistence, enrichment,
+adjudication, and proof-graph bridging live outside this package.
+
+## Current v0.6 Scope
+
+`scholialang` owns the language runtime for the v0.6 scope: the 32-kind
+closed vocabulary inherited from v0.5, optional `canonical_id` computation and
+validation, canonical-id-aware reference resolution, the local DAG registry
+primitive, and the three finalized lazy-prelude modes. MCP servers, editor
+clients, host plugins, and public launch pages live in sibling repositories.
+
+## Install
+
+```sh
+pip install scholialang
+```
+
+For local development:
+
+```sh
+pip install -e '.[dev]'
+pytest
+```
+
+## Related Repositories
+
+- [`scholialang-spec`](https://github.com/dougfirlabs/scholialang-spec) -
+  language specification and fixture corpus
+- [`scholialang-mcp`](https://github.com/dougfirlabs/scholialang-mcp) -
+  MCP, LSP, and host plugin tooling
+
+This package tracks Scholia language version `v0.6.0`.
+
+## License
+
+The `scholialang` reference implementation is dual-licensed under either
+MIT or Apache-2.0, at your option. See `LICENSE`, `LICENSE-MIT`, and
+`LICENSE-APACHE`.
+
+The normative specification prose lives in `scholialang-spec` and is licensed
+separately under CC-BY-4.0.
+
+Useful launch links:
+
+- Spec: https://scholialang.org/spec
+- What's new in v0.6: https://scholialang.org/whats-new-in-v0.6
+- Eval summary: https://scholialang.org/eval-summary

scholialang-0.6.0/README.md

@@ -0,0 +1,83 @@
+<p align="center">
+  <img src="assets/scholialang-banner.png" alt="Scholialang" width="100%" />
+</p>
+
+<p align="center">
+  <a href="https://scholialang.org">Website</a> ·
+  <a href="https://github.com/dougfirlabs/scholialang-spec">Spec</a> ·
+  <a href="https://github.com/dougfirlabs/scholialang-mcp">MCP</a> ·
+  <strong>Python</strong> ·
+  <a href="https://github.com/dougfirlabs">Doug Fir Labs</a>
+</p>
+
+# scholialang
+
+`scholialang` is the Python reference implementation for Scholia, a
+structured reasoning notation for agent traces.
+
+Scholia v0.6 makes agent reasoning portable, inspectable, and reusable
+across sessions using content-addressed reasoning traces. The v0.6 language
+keeps the v0.5 closed vocabulary and adds the content-addressed substrate:
+optional `canonical_id` hashes, a canonical-id-keyed DAG registry, and the
+three core lazy-prelude modes `hash_only`, `hash_list`, and `inline`.
+
+It contains the language-level pieces only:
+
+- atom dataclasses
+- parser
+- validator
+- canonical_id hashing
+- DAG registry primitives
+- lazy prelude rendering
+- stable atom IDs
+- metadata helpers
+- JSON/YAML serializers
+- Markdown/XML renderers
+
+Host-runtime concerns such as trace persistence, enrichment,
+adjudication, and proof-graph bridging live outside this package.
+
+## Current v0.6 Scope
+
+`scholialang` owns the language runtime for the v0.6 scope: the 32-kind
+closed vocabulary inherited from v0.5, optional `canonical_id` computation and
+validation, canonical-id-aware reference resolution, the local DAG registry
+primitive, and the three finalized lazy-prelude modes. MCP servers, editor
+clients, host plugins, and public launch pages live in sibling repositories.
+
+## Install
+
+```sh
+pip install scholialang
+```
+
+For local development:
+
+```sh
+pip install -e '.[dev]'
+pytest
+```
+
+## Related Repositories
+
+- [`scholialang-spec`](https://github.com/dougfirlabs/scholialang-spec) -
+  language specification and fixture corpus
+- [`scholialang-mcp`](https://github.com/dougfirlabs/scholialang-mcp) -
+  MCP, LSP, and host plugin tooling
+
+This package tracks Scholia language version `v0.6.0`.
+
+## License
+
+The `scholialang` reference implementation is dual-licensed under either
+MIT or Apache-2.0, at your option. See `LICENSE`, `LICENSE-MIT`, and
+`LICENSE-APACHE`.
+
+The normative specification prose lives in `scholialang-spec` and is licensed
+separately under CC-BY-4.0.
+
+Useful launch links:
+
+- Spec: https://scholialang.org/spec
+- What's new in v0.6: https://scholialang.org/whats-new-in-v0.6
+- Eval summary: https://scholialang.org/eval-summary

scholialang-0.6.0/pyproject.toml

@@ -0,0 +1,37 @@
+[build-system]
+requires = ["setuptools>=77", "wheel"]
+build-backend = "setuptools.build_meta"
+
+[project]
+name = "scholialang"
+version = "0.6.0"
+description = "Reference implementation for the Scholialang structured reasoning language"
+readme = "README.md"
+requires-python = ">=3.11"
+license = "MIT OR Apache-2.0"
+license-files = ["LICENSE-MIT", "LICENSE-APACHE"]
+authors = [{name = "Doug Fir Labs"}]
+dependencies = [
+    "pyyaml>=6.0",
+]
+keywords = ["scholia", "srml", "reasoning", "agents", "validation"]
+
+[project.optional-dependencies]
+dev = [
+    "pytest>=7.0",
+    "pytest-timeout>=2.0",
+]
+
+[project.urls]
+Homepage = "https://github.com/dougfirlabs/scholialang"
+Repository = "https://github.com/dougfirlabs/scholialang"
+Specification = "https://github.com/dougfirlabs/scholialang-spec"
+
+[tool.setuptools.packages.find]
+where = ["src"]
+
+[tool.pytest.ini_options]
+addopts = "-q"
+testpaths = ["tests"]
+timeout = 10
+timeout_method = "signal"

scholialang-0.6.0/setup.cfg

@@ -0,0 +1,4 @@
+[egg_info]
+tag_build = 
+tag_date = 0
+

scholialang-0.6.0/src/scholialang/__init__.py

@@ -0,0 +1,160 @@
+"""Scholia — structured reasoning notation (v0.6).
+
+See ``docs/notation/NOTATION_REFERENCE.md`` for the canonical spec.
+
+v0.6 adds content-addressable ``canonical_id``s (a SHA-256 over each
+atom's structural identity), a DAG-backed :mod:`~scholialang.registry`,
+and the lazy canonical :mod:`~scholialang.prelude` — while staying
+back-compatible with v0.5 traces. The atom catalog is unchanged (32
+kinds); only the base ``Atom`` grows a ``canonical_id`` and the validator
+grows the ``canonical_id_well_formed`` rule.
+
+The package contains the language-level modules:
+
+* :mod:`scholialang.atoms` — 32 atom dataclasses + 11 operators +
+  6 primitive type aliases + the v0.6 ``compute_canonical_id`` hasher.
+* :mod:`scholialang.parser` — XML-ish text → AST (stamps canonical_ids).
+* :mod:`scholialang.serializer` — AST ↔ JSON ↔ YAML roundtrip.
+* :mod:`scholialang.validator` — validity rules from §9 + v0.6 rules.
+* :mod:`scholialang.registry` — DAG-backed canonical_id-keyed store.
+* :mod:`scholialang.prelude` — v0.6 canonical-prelude renderer with the 3
+  core modes (``hash_only`` / ``hash_list`` (default) / ``inline``); two
+  experimental recovery arms are opt-in only (not v0.6 core).
+* :mod:`scholialang.renderer` — AST → Markdown for humans.
+* :mod:`scholialang.stable_ids` — deterministic atom IDs.
+* :mod:`scholialang.criticality` — criticality metadata helpers.
+* :mod:`scholialang.effects` — effect metadata helpers.
+* :mod:`scholialang.test_ownership` — test-ownership metadata helpers.
+"""
+from __future__ import annotations
+
+__version__ = "0.6.0"
+
+from scholialang.atoms import (
+    ATOM_KINDS,
+    CANONICAL_OPERATORS,
+    CRITICALITY_RANK,
+    KNOWN_KINDS,
+    OPERATORS,
+    PRIMITIVES,
+    SCHOLIA_VALIDATOR_VERSION,
+    Action,
+    Alternative,
+    Atom,
+    Branch,
+    Budget,
+    CanonicalIdMismatch,
+    Confidence,
+    Concluding,
+    Constraint,
+    Contradiction,
+    Cost,
+    Deciding,
+    Edge,
+    Effect,
+    Evidence,
+    EventRef,
+    Finding,
+    Goal,
+    Handoff,
+    Hypothesis,
+    Implication,
+    Loop,
+    Meta,
+    Observation,
+    Operator,
+    Parallel,
+    Print,
+    Question,
+    Ref,
+    Reference,
+    Retract,
+    Review,
+    Step,
+    Storing,
+    Thinking,
+    Uncertainty,
+    atom_to_xml,
+    compute_canonical_id,
+)
+from scholialang.parser import parse, parse_atom
+from scholialang.prelude import (
+    CORE_PRELUDE_MODES,
+    EXPERIMENTAL_PRELUDE_MODES,
+    build_canonical_prelude,
+)
+from scholialang.registry import Registry
+from scholialang.validator import (
+    RULE_CANONICAL_ID_WELL_FORMED,
+    RULE_NAMES,
+    ValidationError,
+    ValidationResult,
+    ValidationWarning,
+    resolve_refer,
+    validate,
+)
+
+__all__ = [
+    "__version__",
+    "ATOM_KINDS",
+    "CANONICAL_OPERATORS",
+    "CRITICALITY_RANK",
+    "KNOWN_KINDS",
+    "OPERATORS",
+    "PRIMITIVES",
+    "SCHOLIA_VALIDATOR_VERSION",
+    "Action",
+    "Alternative",
+    "Atom",
+    "Branch",
+    "Budget",
+    "CanonicalIdMismatch",
+    "Confidence",
+    "Concluding",
+    "Constraint",
+    "Contradiction",
+    "Cost",
+    "Deciding",
+    "Edge",
+    "Effect",
+    "Evidence",
+    "EventRef",
+    "Finding",
+    "Goal",
+    "Handoff",
+    "Hypothesis",
+    "Implication",
+    "Loop",
+    "Meta",
+    "Observation",
+    "Operator",
+    "Parallel",
+    "Print",
+    "Question",
+    "Ref",
+    "Reference",
+    "Retract",
+    "Review",
+    "Step",
+    "Storing",
+    "Thinking",
+    "Uncertainty",
+    "atom_to_xml",
+    "compute_canonical_id",
+    # parser
+    "parse",
+    "parse_atom",
+    # validator
+    "validate",
+    "resolve_refer",
+    "ValidationError",
+    "ValidationWarning",
+    "ValidationResult",
+    "RULE_CANONICAL_ID_WELL_FORMED",
+    "RULE_NAMES",
+    # v0.6 registry + prelude
+    "Registry",
+    "build_canonical_prelude",
+    "CORE_PRELUDE_MODES",
+    "EXPERIMENTAL_PRELUDE_MODES",
+]