@blxzer/pactile 0.5.0 → 0.6.0-beta.2

package/dist/templates/pactile/scripts/common/test_parallel_declaration.py

@@ -1,264 +0,0 @@
-#!/usr/bin/env python3
-"""P38 planning-declaration Check helper (not a start-execution hard gate)."""
-
-from __future__ import annotations
-
-import sys
-from pathlib import Path
-
-sys.path.insert(0, str(Path(__file__).resolve().parent.parent))
-
-from common.full_quality import resolve_required_controls
-from common.ondemand_topology import ONDEMAND_TRIGGER_HINTS
-from common.parallel_declaration import (
-    evaluate_parallel_declaration,
-    host_forbidden_terms,
-)
-from common.task_gates import validate_start_execution_check
-
-TEMPLATES = Path(__file__).resolve().parents[3]
-PARALLEL_DOC = TEMPLATES / "markdown" / "framework" / "parallel-first-execution.md.txt"
-WORKER_CONTRACT = TEMPLATES / "pactile" / "modules" / "worker-orchestration" / "contract.md"
-INTAKE_CONTRACT = TEMPLATES / "pactile" / "modules" / "intake-basic" / "contract.md"
-
-FULL_IMPLEMENT = """# Contract
-
-execution_mode: worker
-isolation: git-worktree
-verification_profile: standard
-retrieval_profile: exact-only
-optional_capabilities: []
-quality_gates:
-  mode: profile
-"""
-
-FULL_PRD = """# Full
-
-## Acceptance Criteria
-
-- [ ] Ship the slice
-"""
-
-
-def _write(path: Path, text: str) -> None:
-    path.write_text(text, encoding="utf-8")
-
-
-def _full_data() -> dict:
-    return {
-        "id": "full-sample",
-        "status": "planning",
-        "required_controls": resolve_required_controls(rigor="full"),
-        "baseline_modules": {
-            "active": [
-                "intake-basic",
-                "define-basic",
-                "approval-personal",
-                "execute-agent",
-                "verify-basic",
-                "close-basic",
-                "context-progressive",
-                "observability-local",
-            ]
-        },
-    }
-
-
-def test_full_missing_declaration_fails_check_helper(tmp_path: Path) -> None:
-    task_dir = tmp_path / "full-missing"
-    task_dir.mkdir()
-    _write(task_dir / "prd.md", FULL_PRD)
-    _write(task_dir / "design.md", "# Design\n")
-    _write(task_dir / "implement.md", FULL_IMPLEMENT)
-    verdict = evaluate_parallel_declaration(task_dir, _full_data())
-    assert verdict["result"] == "FAIL"
-    assert verdict["ok"] is False
-    assert any("parallel_groups" in err and "serial_reason" in err for err in verdict["errors"])
-
-
-def test_full_serial_reason_passes(tmp_path: Path) -> None:
-    task_dir = tmp_path / "full-serial"
-    task_dir.mkdir()
-    _write(
-        task_dir / "implement.md",
-        FULL_IMPLEMENT + "\nserial_reason: shared write-set\n",
-    )
-    verdict = evaluate_parallel_declaration(task_dir, _full_data())
-    assert verdict["result"] == "PASS"
-    assert verdict["has_serial_reason"] is True
-
-
-def test_parent_stages_alias_and_disjoint_touches_pass(tmp_path: Path) -> None:
-    task_dir = tmp_path / "parent-stages"
-    task_dir.mkdir()
-    _write(
-        task_dir / "task-map.md",
-        "---\n"
-        "execution_topology: parallel\n"
-        "merge_limit: 1\n"
-        "children:\n"
-        "  - id: child-a\n"
-        "    state: open\n"
-        "    depends_on: []\n"
-        "    touches: [a.py]\n"
-        "    isolation: main-worktree\n"
-        "    ref: null\n"
-        "  - id: child-b\n"
-        "    state: open\n"
-        "    depends_on: []\n"
-        "    touches: [b.py]\n"
-        "    isolation: main-worktree\n"
-        "    ref: null\n"
-        "stages:\n"
-        "  - id: land\n"
-        "    units: [child-a, child-b]\n"
-        "integration_queue: []\n"
-        "---\n# Task Map\n",
-    )
-    _write(task_dir / "implement.md", FULL_IMPLEMENT)
-    data = {
-        **_full_data(),
-        "children": ["child-a", "child-b"],
-        "topology": {"kind": "parent-child", "children": ["child-a", "child-b"]},
-    }
-    verdict = evaluate_parallel_declaration(task_dir, data)
-    assert verdict["profile"] == "parent"
-    assert verdict["units"] == ["child-a", "child-b"]
-    assert verdict["result"] == "PASS"
-
-
-def test_overlapping_touches_without_isolation_fail(tmp_path: Path) -> None:
-    task_dir = tmp_path / "overlap"
-    task_dir.mkdir()
-    _write(
-        task_dir / "task-map.md",
-        "---\n"
-        "parallel_groups: [child-a, child-b]\n"
-        "children:\n"
-        "  - id: child-a\n"
-        "    state: open\n"
-        "    depends_on: []\n"
-        "    touches: [shared.py]\n"
-        "    isolation: main-worktree\n"
-        "    ref: null\n"
-        "  - id: child-b\n"
-        "    state: open\n"
-        "    depends_on: []\n"
-        "    touches: [shared.py]\n"
-        "    isolation: main-worktree\n"
-        "    ref: null\n"
-        "---\n# Task Map\n",
-    )
-    verdict = evaluate_parallel_declaration(
-        task_dir,
-        {
-            **_full_data(),
-            "children": ["child-a", "child-b"],
-            "topology": {"kind": "parent-child", "children": ["child-a", "child-b"]},
-        },
-    )
-    assert verdict["result"] == "FAIL"
-    assert any("overlap" in err for err in verdict["errors"])
-
-
-def test_overlapping_touches_with_worktree_isolation_pass(tmp_path: Path) -> None:
-    task_dir = tmp_path / "isolated"
-    task_dir.mkdir()
-    _write(
-        task_dir / "task-map.md",
-        "---\n"
-        "parallel_groups: [child-a, child-b]\n"
-        "children:\n"
-        "  - id: child-a\n"
-        "    state: open\n"
-        "    depends_on: []\n"
-        "    touches: [shared.py]\n"
-        "    isolation: git-worktree\n"
-        "    ref: null\n"
-        "  - id: child-b\n"
-        "    state: open\n"
-        "    depends_on: []\n"
-        "    touches: [shared.py]\n"
-        "    isolation: git-worktree\n"
-        "    ref: null\n"
-        "---\n# Task Map\n",
-    )
-    verdict = evaluate_parallel_declaration(
-        task_dir,
-        {
-            **_full_data(),
-            "children": ["child-a", "child-b"],
-            "topology": {"kind": "parent-child", "children": ["child-a", "child-b"]},
-        },
-    )
-    assert verdict["result"] == "PASS"
-
-
-def test_declared_groups_inline_without_reason_fails(tmp_path: Path) -> None:
-    task_dir = tmp_path / "inline-groups"
-    task_dir.mkdir()
-    _write(
-        task_dir / "implement.md",
-        "execution_mode: inline\n"
-        "isolation: main-worktree\n"
-        "verification_profile: standard\n"
-        "retrieval_profile: exact-only\n"
-        "optional_capabilities: []\n"
-        "quality_gates:\n"
-        "  mode: profile\n"
-        "parallel_groups: [slice-a, slice-b]\n",
-    )
-    verdict = evaluate_parallel_declaration(task_dir, _full_data())
-    assert verdict["result"] == "FAIL"
-    assert any("inline" in err for err in verdict["errors"])
-
-
-def test_lite_missing_declaration_is_skip(tmp_path: Path) -> None:
-    task_dir = tmp_path / "lite"
-    task_dir.mkdir()
-    _write(task_dir / "implement.md", "execution_mode: inline\n")
-    verdict = evaluate_parallel_declaration(
-        task_dir,
-        {"required_controls": resolve_required_controls(rigor="lite")},
-    )
-    assert verdict["profile"] == "lite"
-    assert verdict["result"] == "SKIP"
-    assert verdict["ok"] is True
-
-
-def test_start_execution_check_does_not_hard_fail_missing_declaration(
-    tmp_path: Path,
-) -> None:
-    task_dir = tmp_path / "full-gate"
-    task_dir.mkdir()
-    _write(task_dir / "prd.md", FULL_PRD)
-    _write(task_dir / "design.md", "# Design\n")
-    _write(task_dir / "implement.md", FULL_IMPLEMENT)
-    data = _full_data()
-    helper = evaluate_parallel_declaration(task_dir, data)
-    assert helper["result"] == "FAIL"
-    gate = validate_start_execution_check(task_dir, data)
-    assert gate.ok
-    assert not any("serial_reason" in err or "parallel_groups" in err for err in gate.errors)
-
-
-def test_worker_trigger_hint_includes_isolatable_window() -> None:
-    hints = ONDEMAND_TRIGGER_HINTS["worker-orchestration"]
-    assert "isolatable-group-dispatch-window" in hints
-
-
-def test_product_docs_lock_p38_language() -> None:
-    parallel = PARALLEL_DOC.read_text(encoding="utf-8")
-    worker = WORKER_CONTRACT.read_text(encoding="utf-8")
-    intake = INTAKE_CONTRACT.read_text(encoding="utf-8")
-    for term in host_forbidden_terms():
-        assert term not in parallel
-        assert term not in worker
-    assert "Check FAIL" in parallel or "unqualified" in parallel
-    assert "serial_reason" in parallel
-    assert "parallel_groups" in parallel
-    assert "已声明可隔离组" in worker
-    assert "派工窗口" in worker
-    assert "不得以「Parent 默默顺序做完」代替激活" in worker
-    assert "可以全程 inline / 顺序会话做完 Child，不自动打开本块" not in worker
-    assert "可隔离单位" in intake

package/dist/templates/pactile/scripts/common/test_pool_slice.py

@@ -1,198 +0,0 @@
-#!/usr/bin/env python3
-"""P40 pool-slice Check helper (not a start-execution hard gate)."""
-
-from __future__ import annotations
-
-import sys
-from pathlib import Path
-
-sys.path.insert(0, str(Path(__file__).resolve().parent.parent))
-
-from common.full_quality import resolve_required_controls
-from common.pool_slice import evaluate_pool_slice
-from common.task_gates import validate_start_execution_check
-
-TEMPLATES = Path(__file__).resolve().parents[3]
-POOL_README = TEMPLATES / "pactile" / "pool" / "README.md"
-INTAKE_CONTRACT = TEMPLATES / "pactile" / "modules" / "intake-basic" / "contract.md"
-CANDIDATE_CONTRACT = TEMPLATES / "pactile" / "modules" / "candidate-pool" / "contract.md"
-CHECK_CONTRACT = TEMPLATES / "pactile" / "modules" / "independent-check" / "contract.md"
-
-FULL_IMPLEMENT = """# Contract
-
-execution_mode: worker
-isolation: git-worktree
-verification_profile: standard
-retrieval_profile: exact-only
-optional_capabilities: []
-quality_gates:
-  mode: profile
-"""
-
-FULL_PRD = """# Full
-
-## Acceptance Criteria
-
-- [ ] Ship the slice
-"""
-
-MULTI_PRD = """# Full
-
-## 池义务
-
-- P40: README and Intake only.
-- P01: not this slice.
-
-## Acceptance Criteria
-
-- [ ] Ship the slice
-"""
-
-
-def _write(path: Path, text: str) -> None:
-    path.write_text(text, encoding="utf-8")
-
-
-def _full_data(**meta: object) -> dict:
-    payload = {
-        "id": "full-sample",
-        "status": "planning",
-        "required_controls": resolve_required_controls(rigor="full"),
-    }
-    if meta:
-        payload["meta"] = dict(meta)
-    return payload
-
-
-def test_full_missing_touches_fails(tmp_path: Path) -> None:
-    task_dir = tmp_path / "full-missing"
-    task_dir.mkdir()
-    _write(task_dir / "prd.md", FULL_PRD)
-    _write(task_dir / "implement.md", FULL_IMPLEMENT)
-    verdict = evaluate_pool_slice(task_dir, _full_data())
-    assert verdict["result"] == "FAIL"
-    assert any("touches" in err for err in verdict["errors"])
-
-
-def test_full_with_touches_passes(tmp_path: Path) -> None:
-    task_dir = tmp_path / "full-ok"
-    task_dir.mkdir()
-    _write(task_dir / "implement.md", FULL_IMPLEMENT + "\ntouches: [a.py]\n")
-    verdict = evaluate_pool_slice(task_dir, _full_data())
-    assert verdict["result"] == "PASS"
-    assert verdict["touches"] == ["a.py"]
-
-
-def test_lite_missing_touches_is_skip(tmp_path: Path) -> None:
-    task_dir = tmp_path / "lite"
-    task_dir.mkdir()
-    _write(task_dir / "implement.md", "execution_mode: inline\n")
-    verdict = evaluate_pool_slice(
-        task_dir,
-        {"required_controls": resolve_required_controls(rigor="lite")},
-    )
-    assert verdict["profile"] == "lite"
-    assert verdict["result"] == "SKIP"
-    assert verdict["ok"] is True
-
-
-def test_unrelated_modules_without_reason_fail(tmp_path: Path) -> None:
-    task_dir = tmp_path / "unrelated"
-    task_dir.mkdir()
-    _write(
-        task_dir / "implement.md",
-        FULL_IMPLEMENT
-        + "\ntouches: [packages/core/src/index.ts, packages/cli/src/templates/cursor/agents/x.md]\n",
-    )
-    verdict = evaluate_pool_slice(task_dir, _full_data())
-    assert verdict["result"] == "FAIL"
-    assert any("unrelated" in err for err in verdict["errors"])
-
-
-def test_unrelated_modules_with_serial_reason_pass(tmp_path: Path) -> None:
-    task_dir = tmp_path / "unrelated-ok"
-    task_dir.mkdir()
-    _write(
-        task_dir / "implement.md",
-        FULL_IMPLEMENT
-        + "\nserial_reason: shared write-set\n"
-        + "touches: [packages/core/src/index.ts, packages/cli/src/templates/cursor/agents/x.md]\n",
-    )
-    verdict = evaluate_pool_slice(task_dir, _full_data())
-    assert verdict["result"] == "PASS"
-
-
-def test_unrelated_modules_oversized_accepted_pass(tmp_path: Path) -> None:
-    task_dir = tmp_path / "oversized"
-    task_dir.mkdir()
-    _write(
-        task_dir / "implement.md",
-        FULL_IMPLEMENT
-        + "\noversized_accepted: true\n"
-        + "touches: [packages/core/src/index.ts, smart-search/src/cli.py]\n",
-    )
-    verdict = evaluate_pool_slice(task_dir, _full_data())
-    assert verdict["result"] == "PASS"
-
-
-def test_multi_link_without_obligations_fail(tmp_path: Path) -> None:
-    task_dir = tmp_path / "multi-missing"
-    task_dir.mkdir()
-    _write(task_dir / "prd.md", FULL_PRD)
-    _write(task_dir / "implement.md", FULL_IMPLEMENT + "\ntouches: [a.py]\n")
-    verdict = evaluate_pool_slice(
-        task_dir,
-        _full_data(pool_items=["P40", "P01"]),
-    )
-    assert verdict["result"] == "FAIL"
-    assert any("multi-link" in err for err in verdict["errors"])
-
-
-def test_multi_link_with_obligations_pass(tmp_path: Path) -> None:
-    task_dir = tmp_path / "multi-ok"
-    task_dir.mkdir()
-    _write(task_dir / "prd.md", MULTI_PRD)
-    _write(task_dir / "implement.md", FULL_IMPLEMENT + "\ntouches: [a.py]\n")
-    verdict = evaluate_pool_slice(
-        task_dir,
-        _full_data(pool_items=["P40", "P01"]),
-    )
-    assert verdict["result"] == "PASS"
-
-
-def test_start_execution_check_does_not_hard_fail_missing_touches(
-    tmp_path: Path,
-) -> None:
-    task_dir = tmp_path / "full-gate"
-    task_dir.mkdir()
-    _write(task_dir / "prd.md", FULL_PRD)
-    _write(task_dir / "design.md", "# Design\n")
-    _write(task_dir / "implement.md", FULL_IMPLEMENT)
-    data = _full_data()
-    helper = evaluate_pool_slice(task_dir, data)
-    assert helper["result"] == "FAIL"
-    gate = validate_start_execution_check(task_dir, data)
-    assert gate.ok
-    assert not any("touches" in err for err in gate.errors)
-
-
-def test_product_docs_lock_p40_language() -> None:
-    readme = POOL_README.read_text(encoding="utf-8")
-    intake = INTAKE_CONTRACT.read_text(encoding="utf-8")
-    candidate = CANDIDATE_CONTRACT.read_text(encoding="utf-8")
-    check = CHECK_CONTRACT.read_text(encoding="utf-8")
-    assert "## 切片" in readme
-    assert "does not fail" in readme.lower() or "不以缺该节失败" in readme
-    assert "切片" in intake
-    assert "不自动" in candidate
-    assert "evaluate_pool_slice" in check
-    assert "validate" in readme.lower()
-
-
-def test_pool_validate_source_has_no_slice_heading_rule() -> None:
-    store = (Path(__file__).resolve().parent / "pool_store.py").read_text(
-        encoding="utf-8"
-    )
-    assert "切片" not in store
-    assert "## 切片" not in store
-