pactkit-opencode 3.1.0__tar.gz → 4.0.0__tar.gz

{pactkit_opencode-3.1.0 → pactkit_opencode-4.0.0}/PKG-INFO

@@ -1,7 +1,7 @@
 Metadata-Version: 2.4
 Name: pactkit-opencode
-Version: 3.1.0
+Version: 4.0.0
 Summary: PactKit adapter for OpenCode IDE
 License-Expression: MIT
 Requires-Python: >=3.10
-Requires-Dist: pactkit<3.2.0,>=3.0.1
+Requires-Dist: pactkit<4.1.0,>=4.0.0

{pactkit_opencode-3.1.0 → pactkit_opencode-4.0.0}/pyproject.toml

@@ -4,12 +4,12 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "pactkit-opencode"
-version = "3.1.0"
+version = "4.0.0"
 description = "PactKit adapter for OpenCode IDE"
 requires-python = ">=3.10"
 license = "MIT"
 dependencies = [
-    "pactkit>=3.0.1,<3.2.0",
+    "pactkit>=4.0.0,<4.1.0",
 ]
 
 [project.entry-points."pactkit.deployers"]

{pactkit_opencode-3.1.0 → pactkit_opencode-4.0.0}/src/pactkit_opencode/deployer.py

@@ -28,6 +28,7 @@ from pactkit.generators.deployer import (
     _deploy_rules,
     _deploy_skills,
 )
+from pactkit.generators.spi import generate_config_if_missing
 from pactkit_opencode import declarations
 from pactkit.utils import atomic_write
 
@@ -264,6 +265,7 @@ class OpenCodeDeployer(DeployerBase):
 
         if target is None:
             self._generate_project_agents_md()
+            self._generate_project_config()
 
     # --- OpenCode-specific helpers ---
 
@@ -288,6 +290,27 @@ class OpenCodeDeployer(DeployerBase):
         record_deployed_file(opencode_root, plugin_path.relative_to(opencode_root).as_posix())
         return 1
 
+    @staticmethod
+    def _generate_project_config():
+        """Write this host's pactkit.yaml when the project has none (Step 8 R-③-1).
+
+        Before this existed, `.opencode/pactkit.yaml` was **declared** in
+        `profile.pactkit_yaml_path` and **searched** by every reader, but no
+        code path produced it — the three facts R-③-1 requires to agree did
+        not. It could still appear anyway: `init --format classic` in a project
+        carrying a `.opencode/` directory wrote CLASSIC's config there, because
+        the path fell to `resolve_pactkit_yaml_dir`'s directory-existence
+        fallback (measured 2026-09-26: `mkdir .opencode && pactkit init
+        --format classic` → `.opencode/pactkit.yaml` containing classic's).
+
+        `format="opencode"` closes both halves: this host produces its own
+        copy, and no other host can produce this one's.
+        """
+        project_root = Path.cwd()
+        if project_root.resolve() == Path.home().resolve():
+            return
+        generate_config_if_missing(format="opencode", project_root=project_root)
+
     @staticmethod
     def _generate_project_agents_md():
         """Generate project-level AGENTS.md if it does not exist (STORY-slim-008 R4)."""

{pactkit_opencode-3.1.0 → pactkit_opencode-4.0.0}/src/pactkit_opencode.egg-info/PKG-INFO

@@ -1,7 +1,7 @@
 Metadata-Version: 2.4
 Name: pactkit-opencode
-Version: 3.1.0
+Version: 4.0.0
 Summary: PactKit adapter for OpenCode IDE
 License-Expression: MIT
 Requires-Python: >=3.10
-Requires-Dist: pactkit<3.2.0,>=3.0.1
+Requires-Dist: pactkit<4.1.0,>=4.0.0

{pactkit_opencode-3.1.0 → pactkit_opencode-4.0.0}/src/pactkit_opencode.egg-info/SOURCES.txt

@@ -20,6 +20,7 @@ tests/test_host_body_snapshot.py
 tests/test_opencode_enforcement_channel.py
 tests/test_profile_contract.py
 tests/test_step6_self_sufficiency.py
+tests/test_step8_declaration_search_producer.py
 tests/test_story069_opencode_format.py
 tests/test_story070_opencode_compliance.py
 tests/test_story071_opencode_config_parity.py

pactkit_opencode-4.0.0/src/pactkit_opencode.egg-info/requires.txt

@@ -0,0 +1 @@
+pactkit<4.1.0,>=4.0.0

{pactkit_opencode-3.1.0 → pactkit_opencode-4.0.0}/tests/test_deploy_opencode_parity.py

@@ -271,18 +271,23 @@ class TestGenerateConfigIfMissing:
         yaml_path = tmp_path / ".claude" / "pactkit.yaml"
         assert yaml_path.exists()
 
-    def test_no_format_autodetects(self, tmp_path):
-        """Without format param, uses auto-detect (existing behavior preserved)."""
-        from pactkit.generators.deployer import _generate_config_if_missing
-
-        (tmp_path / ".opencode").mkdir()
-
-        with patch.object(Path, "cwd", return_value=tmp_path):
-            _generate_config_if_missing()
-
-        # Auto-detect should prefer .opencode
-        yaml_path = tmp_path / ".opencode" / "pactkit.yaml"
-        assert yaml_path.exists()
+    # `test_no_format_autodetects` stood here. It asserted that with no `format`
+    # argument, Core's generator followed whichever candidate directory existed
+    # — "existing behavior preserved", its docstring said. SPEC-4.0-22 Step 8
+    # deleted that behaviour (owner 2026-09-26: *reading may discover existing
+    # layers; writing must know which format it is writing for*).
+    #
+    # The contract it holds now — `format=None` resolves to classic's path and
+    # consults no directory — is **Core's**, so it is asserted in Core
+    # (`tests/unit/test_profiles.py::test_no_format_is_classic_regardless_of_which_dirs_exist`,
+    # `test_spec40_22_step8_config_generation.py`). A copy here would buy no
+    # coverage and would couple this adapter's CI to Core's release schedule:
+    # this repo installs Core from PyPI, so such a copy could only go green once
+    # the Step 8 Core was published — a red that says nothing about this repo.
+    #
+    # What this adapter owns is that IT never relies on that default. See
+    # `test_step8_declaration_search_producer.py`: it drives the real `deploy()`
+    # and asserts the config lands at this host's own declared path.
 
     def test_no_write_when_yaml_exists(self, tmp_path):
         from pactkit.generators.deployer import _generate_config_if_missing

pactkit_opencode-4.0.0/tests/test_step8_declaration_search_producer.py

@@ -0,0 +1,178 @@
+"""SPEC-4.0-22 Step 8 R-③-1: declaration, search and producer agree.
+
+Before this, `.opencode/pactkit.yaml` was **declared** in
+`profile.pactkit_yaml_path` and **searched** by every reader, but nothing
+produced it. owner 2026-09-23:
+
+> 这不是「缺一个文件」这么简单，而是 registration/profile 在宣称一个生命周期
+> 事实，实际实现却永远不兑现；「声明 + 搜索 + 不生产」会让后续判断把一个不
+> 存在的状态当成正常候选。
+
+It could still appear, which was worse than not existing: `init --format classic`
+in a project carrying a `.opencode/` directory wrote **classic's** config there,
+because the path fell to `resolve_pactkit_yaml_dir`'s directory-existence
+fallback (measured 2026-09-26). A file whose contents belong to another host is
+a lifecycle fact nobody can act on.
+
+The chosen fix is **A — really generate it** (owner 2026-09-26), so all four
+hosts follow the same model: the project-root `pactkit.yaml` is the hand-written
+shared policy, and each host directory gets a generated override.
+"""
+
+from __future__ import annotations
+
+import ast
+from pathlib import Path
+
+import pytest
+import yaml
+
+SRC = Path(__file__).resolve().parent.parent / "src"
+
+#: String content a config template must contain. `stack: ` keeps its trailing
+#: space on purpose — it is the constant half of `f"stack: {stack}\n"`, and prose
+#: about the defect ("the template wrote `stack: unknown`") is not a string at
+#: all, so it cannot reach this check.
+TEMPLATE_MARKERS = ("version: 0.0.1", "stack: ")
+
+
+def _string_literals(tree: ast.AST) -> list[str]:
+    """Every string this module can build, including f-string constant parts.
+
+    **AST, never grep.** A text scan cannot tell a template from a sentence
+    about one: it fires on the comment documenting the deletion and stays silent
+    when someone pastes the real thing back inside a string.
+    """
+    out: list[str] = []
+    for node in ast.walk(tree):
+        if isinstance(node, ast.Constant) and isinstance(node.value, str):
+            out.append(node.value)
+        elif isinstance(node, ast.JoinedStr):
+            out.extend(
+                part.value for part in node.values
+                if isinstance(part, ast.Constant) and isinstance(part.value, str)
+            )
+    return out
+
+
+class TestNoTemplateSurvives:
+    """AC-②-2，对**三仓**都成立——包括这一个。
+
+    本仓从来没有过内联模板，所以这条今天是白送；但 AC-②-2 判的是**状态**不是
+    历史，而「多一份模板」正是最容易在别处复制粘贴回来的东西。
+    """
+
+    def test_the_shipped_package_contains_no_template_literal(self):
+        hits = [
+            f"{py.relative_to(SRC.parent).as_posix()}: {marker!r}"
+            for py in sorted(SRC.rglob("*.py"))
+            for marker in TEMPLATE_MARKERS
+            if any(marker in s for s in _string_literals(
+                ast.parse(py.read_text(encoding="utf-8"), filename=str(py))
+            ))
+        ]
+        assert not hits, (
+            f"a pactkit.yaml template literal is in the shipped package: {hits}. "
+            f"Declare WHERE the file lives and WHETHER it is needed; Core's "
+            f"canonical generator owns the content (Step 8 R-②-1/R-②-4)."
+        )
+
+    def test_the_enumeration_is_not_vacuous(self):
+        """反证：枚举器确实看得见字符串——包括 f-string 的常量半段。"""
+        found = _string_literals(ast.parse('a = "version: 0.0.1"\nb = f"stack: {x}\\n"\n'))
+        assert "version: 0.0.1" in found
+        assert "stack: " in found, f"f-string 的常量半段没被枚举到：{found}"
+
+
+@pytest.fixture
+def project(tmp_path, monkeypatch):
+    """Run the REAL `deploy()` path with `Path.home()` pointed at `tmp_path`.
+
+    `--target` is preview mode and deliberately skips project-level files (the
+    same guard covers `AGENTS.md` and codex's project files), so a test that
+    passes a target would be asserting about a path production never takes.
+    Without a target, `deploy()` writes its host tree to `Path.home()/.opencode`
+    — redirected here so the assertion can run without touching the real home.
+    """
+    proj = tmp_path / "proj"
+    proj.mkdir()
+    monkeypatch.chdir(proj)
+    monkeypatch.setattr(Path, "home", lambda: tmp_path / "home")
+    return proj
+
+
+class TestTheThreeFactsAgree:
+    def test_the_declared_path_is_the_searched_path(self):
+        """声明 == 搜索。两者都从 profile 派生，分歧会立刻可见。"""
+        from pactkit.profiles import PACTKIT_YAML_CANDIDATES, get_profile
+
+        declared = get_profile("opencode").pactkit_yaml_path
+        assert declared in PACTKIT_YAML_CANDIDATES, (
+            f"profile 声明 {declared!r}，候选表里却没有它："
+            f"{list(PACTKIT_YAML_CANDIDATES)}"
+        )
+
+    def test_the_declared_path_is_where_this_host_writes(self, project):
+        """声明 == 生产者。这是缺的那一半——前两处一直一致，只有它在缺席。"""
+        from pactkit.profiles import get_profile
+
+        from pactkit_opencode import OpenCodeDeployer
+
+        OpenCodeDeployer().deploy()
+
+        declared = project / get_profile("opencode").pactkit_yaml_path
+        assert declared.is_file(), (
+            f"本宿主声明 {declared!r} 却从不生产它——"
+            f"found: {sorted(p.relative_to(project).as_posix() for p in project.rglob('pactkit.yaml'))}"
+        )
+
+    def test_it_is_cores_canonical_output(self, project):
+        """内容来自 core 的 canonical generator，不是本仓的第二份模板。
+
+        逐字段断言会在「core 改了格式而本仓漂移」时照样通过；比字节不会。
+        """
+        from pactkit.cleaners import detect_stacks
+        from pactkit.config import generate_default_yaml
+        from pactkit.profiles import get_profile
+
+        from pactkit_opencode import OpenCodeDeployer
+
+        OpenCodeDeployer().deploy()
+
+        written = (project / get_profile("opencode").pactkit_yaml_path).read_text()
+        assert written == generate_default_yaml(stack=detect_stacks(project))
+
+    def test_the_config_is_valid_and_carries_the_format_version(self, project):
+        from pactkit.config import VALID_STACKS
+        from pactkit.profiles import get_profile
+
+        from pactkit_opencode import OpenCodeDeployer
+
+        OpenCodeDeployer().deploy()
+
+        data = yaml.safe_load(
+            (project / get_profile("opencode").pactkit_yaml_path).read_text()
+        )
+        assert data["schema_version"] == 1
+        assert data["stack"] in VALID_STACKS
+
+
+class TestTheCrossWriteIsClosed:
+    def test_another_hosts_init_does_not_create_this_hosts_config(self, tmp_path):
+        """R-③-2：`.opencode/pactkit.yaml` 的内容 MUST NOT 由别的宿主决定。
+
+        本仓是那个「目录存在就被劫持」的受害者，所以这条断言放在这里：
+        只要 core 的生成路径再次丢掉显式 format，这个文件就会带着 classic 的
+        内容出现，而本仓的声明仍然指向它。
+        """
+        from pactkit.generators.deployer import _generate_config_if_missing
+
+        (tmp_path / ".opencode").mkdir()
+
+        _generate_config_if_missing(format="classic", project_root=tmp_path)
+
+        assert not (tmp_path / ".opencode" / "pactkit.yaml").exists(), (
+            "classic 的 init 在 opencode 的目录里写了 pactkit.yaml —— "
+            "路径又被目录存在性劫持了（Step 8 R-③-2）"
+        )
+        assert (tmp_path / ".claude" / "pactkit.yaml").is_file()

pactkit_opencode-3.1.0/src/pactkit_opencode.egg-info/requires.txt

@@ -1 +0,0 @@
-pactkit<3.2.0,>=3.0.1