get-nick-done 0.1.0__tar.gz

get_nick_done-0.1.0/LICENSE

@@ -0,0 +1,176 @@
+                              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

get_nick_done-0.1.0/NOTICE

@@ -0,0 +1,16 @@
+GND — selected owned framework and development resources
+Copyright 2026 Nikolaos Vasiloglou
+
+Owned selected GND content is distributed under Apache License 2.0.
+Original private consumer fixtures and historical upstream panel implementation
+are not included. This notice grants no rights in excluded third-party material.
+
+The comment scanner in gnd/yaml_comments.py adapts ruamel.yaml 0.19.1
+by Anthon van der Neut, Ruamel bvba, under the MIT license. Its copyright
+and complete license text are retained in that shipped source file.
+
+GND's ORM modeling skills and references (src/gnd/skills/gnd-orm-core and
+src/gnd/skills/gnd-model-from-text) are adapted from RelationalAI's
+rai-agent-skills ORM skills (https://github.com/RelationalAI/rai-agent-skills,
+branch an-orm-skill), Copyright 2026 RelationalAI, licensed under the
+Apache License, Version 2.0.

get_nick_done-0.1.0/PKG-INFO

@@ -0,0 +1,17 @@
+Metadata-Version: 2.4
+Name: get-nick-done
+Version: 0.1.0
+Summary: GND — Get Nick Done: ORM-grounded agentic development runtime (model authoring, population checking)
+Author: Nikolaos Vasiloglou
+Author-email: Nikolaos Vasiloglou <nvasil@gmail.com>
+License-Expression: Apache-2.0
+License-File: LICENSE
+License-File: NOTICE
+Requires-Dist: jsonschema==4.26.0
+Requires-Dist: pydantic==2.13.4
+Requires-Dist: ruamel-yaml==0.19.1
+Requires-Dist: faker==40.36.0 ; extra == 'synth'
+Requires-Python: >=3.11
+Project-URL: Repository, https://github.com/vasiloglou/gnd-public
+Project-URL: Issues, https://github.com/vasiloglou/gnd-public/issues
+Provides-Extra: synth

get_nick_done-0.1.0/pyproject.toml

@@ -0,0 +1,127 @@
+[project]
+# D-01: `gnd` has been taken on PyPI since 2022, so the DISTRIBUTION is
+# `get-nick-done`. The import package and the console script both stay `gnd` —
+# only the name users type after `uv tool install` changes.
+name = "get-nick-done"
+version = "0.1.0"
+description = "GND — Get Nick Done: ORM-grounded agentic development runtime (model authoring, population checking)"
+authors = [
+    { name = "Nikolaos Vasiloglou", email = "nvasil@gmail.com" }
+]
+requires-python = ">=3.11"
+license = "Apache-2.0"
+license-files = ["LICENSE", "NOTICE"]
+# D-18: the base install stays these three. Phase 2's synthetic-data stack
+# (polyfactory / faker / hypothesis) lands behind an optional extra when there is
+# something to put in it — do NOT scaffold an empty extra now. A fourth entry
+# here fails tests/test_packaged_skills.py::test_base_dependency_set_is_frozen,
+# which is the mechanical form of this policy.
+dependencies = [
+    "jsonschema==4.26.0",
+    "pydantic==2.13.4",
+    "ruamel-yaml==0.19.1",
+]
+
+# D-18: the base install above is deliberately untouched. Phase 2's synthetic-data
+# stack lands here, behind an OPTIONAL extra, so a user who only runs `gnd check`
+# never receives it. `faker` was cleared through the phase's blocking-human
+# package-legitimacy gate (02-02 Task 1) before being pinned: PyPI `Faker`, first
+# released 2010-12-23, 503 releases, repo github.com/joke2k/faker. Polyfactory and
+# Hypothesis are NOT installed — Polyfactory was refuted by measurement (D-17,
+# 0/8 ages in a declared 18..65 range; 8/8 distinct entities forcing zero-row
+# joins) and Hypothesis is deferred. Adding either here, or promoting faker into
+# [project.dependencies], fails tests/test_packaged_skills.py.
+[project.optional-dependencies]
+synth = ["faker==40.36.0"]
+
+[project.urls]
+Repository = "https://github.com/vasiloglou/gnd-public"
+Issues = "https://github.com/vasiloglou/gnd-public/issues"
+
+[project.scripts]
+# PKG-01. The generated wrapper wraps the call in `sys.exit()`, so `main`'s
+# existing `int` return IS the process exit code and the 0-4/64/70 band contract
+# in gnd/cli.py survives untouched. `python -m gnd` keeps working (D-03) as a
+# development convenience; this is the documented interface.
+gnd = "gnd.cli:main"
+
+[build-system]
+requires = ["uv_build>=0.10.10,<0.11.0"]
+build-backend = "uv_build"
+
+[tool.uv.build-backend]
+# The ONLY key this project may set here, and it is mandatory: `uv_build` derives
+# the module name from the distribution name, so renaming to `get-nick-done`
+# (D-01) makes it look for `src/get_nick_done/`. Without this it fails loudly —
+# "Expected a Python module at: src/get_nick_done/__init__.py" — which is why
+# this key is safe to rely on where the include keys are not.
+#
+# Do NOT add `source-include`, `data`, or a `force-include` stanza here to get
+# the skills into the wheel. All three were measured and refuted: `source-include`
+# is sdist-only, `data.purelib` lands at the site-packages root rather than
+# `gnd/skills/`, and `force-include` is not a key this backend has. Worse, the
+# backend SILENTLY IGNORES unrecognised keys — a typo yields a clean
+# "Successfully built" and a skill-less wheel, which is exactly how this defect
+# shipped. The skill tree ships because it physically lives under the module
+# root at `src/gnd/skills/`; that is the whole mechanism. Verify artifacts with
+# `pytest -m distribution`, never a green build message.
+module-name = "gnd"
+
+[tool.pytest.ini_options]
+testpaths = ["tests"]
+norecursedirs = ["fixtures"]
+addopts = "-m 'not derivation_oracle and not pyrel_oracle and not distribution and not network and not slow and not live and not review_runner and not proof and not evidence and not census'"
+markers = [
+  "proof: opt-in proof lane; not selected by the default public development gate",
+  "derivation_oracle: opt-in derivation_oracle lane; not selected by the default public development gate",
+  "pyrel_oracle: opt-in pyrel_oracle lane; not selected by the default public development gate",
+  "distribution: opt-in distribution lane; not selected by the default public development gate",
+  "evidence: opt-in evidence lane; not selected by the default public development gate",
+  "census: opt-in census lane; not selected by the default public development gate",
+  "live: opt-in live lane; not selected by the default public development gate",
+  "network: opt-in network lane; not selected by the default public development gate",
+  "review_runner: opt-in review_runner lane; not selected by the default public development gate",
+  "slow: opt-in slow lane; not selected by the default public development gate",
+]
+
+[tool.ruff]
+line-length = 100
+target-version = "py311"
+# An experiment's retained attempts and its accepted candidate are EVIDENCE:
+# they record what a session actually produced, and reformatting them would
+# forge that record the same way editing a retained agent stream would. They are
+# excluded from linting because their bytes are not ours to change -- not
+# because their style is acceptable.
+#
+# This exemption deliberately does NOT cover the shipped product. The BookRec
+# package that ships lives at examples/bookrec/project/bookrec/, is copied from
+# the accepted gate candidate, and is linted like any other source here. If the
+# copy is dirty, the fix belongs in the session that produced it, never in a
+# post-hoc edit that would break the byte-for-byte copy claim.
+#
+# proof/v6/phase1/generated/ is the contract-carrying copy of the Phase 1 kernel.
+# Its bytes are produced by proof/v6/phase1/generate_proof_source.py, and they
+# are held to something far stricter than a linter: proof/v6/phase1/erasure.py
+# proves that erasing its contract-only calls returns it to
+# src/gnd/proof_kernel.py statement for statement, and that file IS linted. A
+# ruff autofix here would break that identity, which is the whole gate.
+extend-exclude = [
+    "**/EXP-*/runs/*/attempts/**",
+    "**/EXP-*/candidate/**",
+    "proof/v6/phase1/generated/**",
+]
+
+[dependency-groups]
+dev = [
+    # A fresh detached checkout measured the default suite failing at
+    # test_measure_offline's synth-fixture setup. Keeping Faker in dev as well
+    # as the optional runtime extra makes `uv run pytest` honest without
+    # widening the three-package base install.
+    "duckdb==1.5.5",
+    "faker==40.36.0",
+    "pytest==9.1.1",
+    "ruff==0.16.2",
+]
+docs = [
+    "zensical==0.0.67",
+]

get_nick_done-0.1.0/src/gnd/__init__.py

@@ -0,0 +1,31 @@
+"""GND runtime library: ORM model loading, population loading, and constraint checking."""
+
+from importlib.metadata import PackageNotFoundError, version
+
+#: The name this project is published and installed under. The import package and
+#: the console script are both ``gnd``; only the distribution differs, because
+#: ``gnd`` has been taken on PyPI since 2022 (D-01). It lives here rather than in
+#: ``cli.py`` so the installer can read it without a service module importing the
+#: controller.
+DISTRIBUTION = "get-nick-done"
+
+#: What ``resolve_version()`` reports when there is no installed metadata. It is
+#: deliberately not a plausible-looking release number: a human reading
+#: ``gnd --version`` in a bug report must be able to tell at a glance that the
+#: binary came from an uninstalled checkout (D-02).
+DEV_VERSION = "0.0.0.dev+unpackaged"
+
+__all__ = ["DEV_VERSION", "DISTRIBUTION", "resolve_version"]
+
+
+def resolve_version() -> str:
+    """Version from installed distribution metadata, never from a literal.
+
+    ``pyproject.toml`` is the single place a version number is written (D-02). A
+    ``__version__`` constant plus ``dynamic = ["version"]`` was considered and
+    rejected: it is a second place to forget.
+    """
+    try:
+        return version(DISTRIBUTION)
+    except PackageNotFoundError:
+        return DEV_VERSION

get_nick_done-0.1.0/src/gnd/__main__.py

@@ -0,0 +1,8 @@
+"""Entry point for ``python -m gnd``."""
+
+import sys
+
+from gnd.cli import main
+
+if __name__ == "__main__":
+    sys.exit(main())

get_nick_done-0.1.0/src/gnd/address.py

@@ -0,0 +1,123 @@
+"""Canonical production and parsing of GND model-element addresses.
+
+Declared model elements use a class-qualified identifier. Constraints that do
+not declare an identifier retain the positional references emitted by the
+checker since v1.0; those references are intentionally recognizable as the
+legacy, unstable form.
+"""
+
+from __future__ import annotations
+
+import re
+from dataclasses import dataclass
+from typing import Literal
+
+ElementClass = Literal["operation", "fact_type", "constraint", "derivation"]
+Addressing = Literal["declared-id", "positional"]
+
+
+@dataclass(frozen=True)
+class Address:
+    """One parsed element address."""
+
+    text: str
+    element_class: ElementClass
+    addressing: Addressing
+    identifier: str | None = None
+    fact_type_id: str | None = None
+    index: int | None = None
+
+
+_INLINE_CONSTRAINT = re.compile(
+    r"fact_types\[(?P<fact_type>[^\[\]]+)\]\.constraints\[(?P<index>[0-9]+)\]"
+)
+_TOP_LEVEL_CONSTRAINT = re.compile(r"constraints\[(?P<index>[0-9]+)\]")
+
+
+def operation_address(op_id: str) -> str:
+    """Return the declared-id address for an operation."""
+
+    return f"operation:{op_id}"
+
+
+def fact_type_address(ft_id: str) -> str:
+    """Return the declared-id address for a fact type."""
+
+    return f"fact_type:{ft_id}"
+
+
+def constraint_address(constraint_id: str) -> str:
+    """Return the declared-id address for a constraint."""
+
+    return f"constraint:{constraint_id}"
+
+
+def derivation_address(fact_type_id: str) -> str:
+    """Return the address for one derivation obligation (v5.0 r2 R2).
+
+    Deliberately DISTINCT from :func:`fact_type_address` over the same id: one
+    fact type, two obligations, two addresses. Parsed by :func:`parse_address`
+    and counted by ``gnd coverage`` since Phase 3 (T3.6).
+    """
+
+    return f"derivation:{fact_type_id}"
+
+
+def positional_constraint_ref(fact_type_id: str | None, index: int) -> str:
+    """Return the legacy positional constraint reference emitted since v1.0."""
+
+    if fact_type_id is None:
+        return f"constraints[{index}]"
+    return f"fact_types[{fact_type_id}].constraints[{index}]"
+
+
+def _parse_index(text: str) -> int | None:
+    """Convert an ASCII digit run without leaking Python's integer cap error."""
+
+    if len(text) > 32:
+        return None
+    try:
+        return int(text)
+    except ValueError:
+        return None
+
+
+def parse_address(text: str) -> Address | None:
+    """Parse ``text`` as an element address; return ``None`` for anything else.
+
+    This function is total over arbitrary :class:`str`: malformed and hostile
+    strings are ordinary non-addresses and never raise.
+    """
+
+    for prefix, element_class in (
+        ("operation:", "operation"),
+        ("fact_type:", "fact_type"),
+        ("constraint:", "constraint"),
+        ("derivation:", "derivation"),
+    ):
+        if text.startswith(prefix):
+            identifier = text[len(prefix) :]
+            if not identifier or identifier.strip() != identifier:
+                return None
+            return Address(text, element_class, "declared-id", identifier=identifier)
+
+    inline = _INLINE_CONSTRAINT.fullmatch(text)
+    if inline is not None:
+        index = _parse_index(inline.group("index"))
+        if index is None:
+            return None
+        return Address(
+            text,
+            "constraint",
+            "positional",
+            fact_type_id=inline.group("fact_type"),
+            index=index,
+        )
+
+    top_level = _TOP_LEVEL_CONSTRAINT.fullmatch(text)
+    if top_level is not None:
+        index = _parse_index(top_level.group("index"))
+        if index is None:
+            return None
+        return Address(text, "constraint", "positional", index=index)
+    return None