Align Python provider contracts

.github/workflows/ci.yml

@@ -49,10 +49,10 @@ jobs:
         run: uv run --group test pytest tests -q
 
       - name: Self harness
-        run: uv run --group test py-harness .
+        run: uv run --group test asp-python .
 
       - name: Agent snapshot
-        run: uv run --group test py-harness --agent-snapshot .
+        run: uv run --group test asp-python --agent-snapshot .
 
       - name: Build package
         run: uv build

README.md

@@ -86,20 +86,20 @@ The semantic-language console script exposes search, registry, and check
 surfaces aligned with the Rust and TypeScript harnesses:
 
 ```shell
-py-harness search workspace .
-py-harness search prime .
-py-harness search lexical PythonHarnessReport owner tests .
-py-harness search lexical --query-set PythonHarnessReport --query-set PythonSemanticSearchOptions owner tests .
-py-harness search public-external-types pytest .
-py-harness search callsite PythonHarnessReport .
-py-harness search deps pytest .
-py-harness agent doctor --json .
-py-harness agent guide .
-py-harness check --full .
-py-harness .
-py-harness --json .
-py-harness --agent-snapshot .
-py-harness --source-dir lib --extra-path tools --no-tests .
+asp-python search workspace .
+asp-python search prime .
+asp-python search lexical PythonHarnessReport owner tests .
+asp-python search lexical --query-set PythonHarnessReport --query-set PythonSemanticSearchOptions owner tests .
+asp-python search public-external-types pytest .
+asp-python search callsite PythonHarnessReport .
+asp-python search deps pytest .
+asp-python agent doctor --json .
+asp-python agent guide .
+asp-python check --full .
+asp-python .
+asp-python --json .
+asp-python --agent-snapshot .
+asp-python --source-dir lib --extra-path tools --no-tests .
 python -m python_lang_project_harness .
 ```
 

docs/01_core/101_harness_boundary.md

@@ -129,9 +129,9 @@ gate.
 
 ## CLI Embedding
 
-`py-harness check [--json] [PROJECT_ROOT]` runs the same default project
+`asp-python check [--json] [PROJECT_ROOT]` runs the same default project
 runner. Compact text is the default output. `--json` emits the structured
-`PythonHarnessReport` payload. `py-harness search ...` renders bounded
+`PythonHarnessReport` payload. `asp-python search ...` renders bounded
 semantic-search packets from parser-owned facts. The CLI is a thin adapter over
 library APIs: it does not own workflow orchestration or project-specific
 policy.

docs/03_features/201_rule_catalog.md

@@ -86,7 +86,7 @@ work orders for the repair Agent, not immediate merge blockers.
 - `PY-AGENT-PROJECT-011`: projects that declare the harness as a test/dev dependency
   and expose parser-visible verification owners should configure
   `[tool.python-lang-project-harness.verification].profile_hints`. The finding
-  points the Agent to `py-harness --agent-snapshot`, whose compact
+  points the Agent to `asp-python --agent-snapshot`, whose compact
   `[verify-profile]` section is the config draft.
 
 ## Agent Advice Rules

docs/03_features/202_runner_modes.md

@@ -28,7 +28,7 @@ and produce CLI exit code `2`.
 
 ## Configuration
 
-`PythonHarnessConfig` owns project-scope classification and parser inclusion:
+`PythonHarnessConfig` owns project-resolution classification and parser inclusion:
 
 ```python
 from python_lang_project_harness import PythonHarnessConfig
@@ -116,7 +116,7 @@ opts out of project-local config loading for that call.
 
 Use `run_python_lang_harness()` or `assert_python_lang_harness_clean()` for
 explicit files or directories. Requested paths must exist. This runner does not
-attach a project scope, so project-scope evaluators stay quiet. File-local rule
+attach a project scope, so project-resolution evaluators stay quiet. File-local rule
 packs can still run when they only need parser facts.
 
 The explicit-path runner is useful for editor integrations, focused parser

docs/03_features/203_cli.md

@@ -7,15 +7,15 @@
 :LAST_SYNC: 2026-04-30
 :END:
 
-The package exposes `py-harness` as the semantic-language provider binary and
+The package exposes `asp-python` as the semantic-language provider binary and
 as a thin command-line adapter over the default project harness runner:
 
 ```shell
-py-harness search <workspace|prime|owner|dependency|deps|api|public-external-types|symbol|callsite|import|tests|text|ingest> ... [--json] [--package PATH] [PROJECT_ROOT]
-py-harness check [--changed | --full] [--json] [PROJECT_ROOT]
-py-harness agent doctor [--json] [PROJECT_ROOT]
-py-harness agent guide [PROJECT_ROOT]
-py-harness [--json | --agent-snapshot] [--no-tests] [--source-dir DIR] [--test-dir DIR] [--extra-path PATH] [--disable-rule RULE_ID] [--block-rule RULE_ID] [PROJECT_ROOT]
+asp-python search <workspace|prime|owner|dependency|deps|api|public-external-types|symbol|callsite|import|tests|text|ingest> ... [--json] [--package PATH] [PROJECT_ROOT]
+asp-python check [--changed | --full] [--json] [PROJECT_ROOT]
+asp-python agent doctor [--json] [PROJECT_ROOT]
+asp-python agent guide [PROJECT_ROOT]
+asp-python [--json | --agent-snapshot] [--no-tests] [--source-dir DIR] [--test-dir DIR] [--extra-path PATH] [--disable-rule RULE_ID] [--block-rule RULE_ID] [PROJECT_ROOT]
 python -m python_lang_project_harness [--json | --agent-snapshot] [--no-tests] [--source-dir DIR] [--test-dir DIR] [--extra-path PATH] [--disable-rule RULE_ID] [--block-rule RULE_ID] [PROJECT_ROOT]
 ```
 
@@ -24,9 +24,9 @@ When `PROJECT_ROOT` is omitted, the current working directory is used.
 ## Semantic Language Identity
 
 The public semantic-language identity is
-`languageId=python`, `providerId=py-harness`, `binary=py-harness`, and
-`namespace=agent.semantic-protocols.languages.python.py-harness`.
-`py-harness agent doctor --json` emits a `semantic-language-registry.v1`
+`languageId=python`, `providerId=asp-python`, `binary=asp-python`, and
+`namespace=agent.semantic-protocols.languages.python.asp-python`.
+`asp-python agent doctor --json` emits a `semantic-language-registry.v1`
 document with method descriptors, `capabilities`, `ingestRequiredFor`, and
 schema registrations for:
 
@@ -37,7 +37,7 @@ schema registrations for:
 The common registry schema owns the capability descriptor shape. The Python
 provider owns its capability vocabulary in the Python-local schema.
 
-`py-harness agent guide` emits the provider-owned searchflow guide consumed by
+`asp-python agent guide` emits the provider-owned searchflow guide consumed by
 root hook deny messages. The root `semantic-agent-hook` only points agents to
 this command; the Python provider owns the actual prime, owner, text, ingest,
 check, and subagent guidance.
@@ -92,8 +92,8 @@ Dependency and API views are Python-native:
 The CLI mirrors the project runner's classification and inclusion options:
 
 ```shell
-py-harness --source-dir lib --test-dir checks --extra-path tools .
-py-harness --no-tests .
+asp-python --source-dir lib --test-dir checks --extra-path tools .
+asp-python --no-tests .
 ```
 
 `--source-dir`, `--test-dir`, and `--extra-path` can be repeated. Supplying one
@@ -108,8 +108,8 @@ tests-root layout policy active.
 Rule-level policy can be adjusted for one run:
 
 ```shell
-py-harness --disable-rule PY-MOD-R002 .
-py-harness --block-rule PY-AGENT-POLICY-007 .
+asp-python --disable-rule PY-MOD-R002 .
+asp-python --block-rule PY-AGENT-POLICY-007 .
 ```
 
 `--disable-rule` suppresses a stable rule id. `--block-rule` promotes a stable
@@ -127,7 +127,7 @@ config.
 Compact text is the default output for humans and repair-oriented agents:
 
 ```shell
-py-harness .
+asp-python .
 ```
 
 When configured-blocking findings exist, the first line is the first concrete
@@ -140,15 +140,15 @@ use `--json` for structured original paths.
 Use `--json` when a tool needs the structured `PythonHarnessReport` payload:
 
 ```shell
-py-harness --json .
+asp-python --json .
 ```
 
 Use `--agent-snapshot` when an Agent needs capped parser facts, project
 metadata, active policy findings, branch-first verification profile reminders,
 and active verification tasks without clean-run counters:
 
 ```shell
-py-harness --agent-snapshot .
+asp-python --agent-snapshot .
 ```
 
 `--json` and `--agent-snapshot` are mutually exclusive.

docs/03_features/204_pytest.md

@@ -84,7 +84,7 @@ test_python_project_harness_policy = python_project_harness_test()
 ```
 
 The helper defaults to `Path(".")` and returns a pytest-collectable callable.
-Callers can pass the same project-scope options used by the library runner:
+Callers can pass the same project-resolution options used by the library runner:
 
 ```python
 from python_lang_parser import PythonDiagnosticSeverity