codd-dev 1.41.0__tar.gz → 2.0.0__tar.gz

{codd_dev-1.41.0 → codd_dev-2.0.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: codd-dev
-Version: 1.41.0
+Version: 2.0.0
 Summary: CoDD: Coherence-Driven Development — cross-artifact change impact analysis
 Project-URL: Homepage, https://github.com/yohey-w/codd-dev
 Project-URL: Repository, https://github.com/yohey-w/codd-dev
@@ -61,17 +61,18 @@ Description-Content-Type: text/markdown
 
 CoDD treats **requirements -> design -> implementation -> tests** as one DAG, mechanically verifies the coherence of every node, and lets an LLM repair inconsistencies automatically when they appear. Humans write only **what to build** and **where the boundaries are**.
 
-## Where We Are (v1.34.0)
+## Where We Are (v2.0.0 — Lexicon-Driven Completeness)
 
-The North Star is far, but **within bounded conditions, CoDD has reached practical use**:
+v2.0.0 is a **positioning shift, not just a version bump**. v1.x delivered the *extract → diagnose → repair* pipeline; v2.0 adds the **constraint side** as a first-class plug-in surface.
 
 - ✅ Dogfooded on a real project (Next.js + Prisma + TypeScript Web app)
-- ✅ `codd verify --auto-repair` completes with `PARTIAL_SUCCESS` on a real LMS project (attempts=4 / applied_patches=4 / unrepairable=2)
+- ✅ `codd verify --auto-repair` reaches `PARTIAL_SUCCESS` on a real LMS project (attempts=4 / applied_patches=4)
 - ✅ DAG completeness with 9 coherence checks operational
-- ⚠️ Single viewport / single persona assumed (Coverage Axis Layer C9 introduced in v1.32.0; axis variety is continuing work)
-- ⚠️ Specification completeness Level 1 (finding holes in requirements) is planned for v1.35.0 `codd elicit`
-- ⚠️ Other domains (Mobile / Desktop / CLI / Embedded / ML) are not yet validated
-- ⚠️ Reducing unrepairable items is continuing improvement
+- ✅ **31 lexicon plug-ins** across 7 domains (Methodology / Web / Mobile / Backend-API / Data / Ops / Compliance / Process)
+- ✅ **`codd elicit` / `codd diff` / `codd brownfield`** — coverage and drift discovery for greenfield + brownfield projects
+- ✅ **`codd init --suggest-lexicons`** — auto-detect stack from manifest files, suggest lexicons to install
+- ✅ **`codd lexicon list/install/diff` + `codd coverage report`** — plug-in management CLI + matrix reports (JSON / Markdown / HTML)
+- ✅ Generality Gate three-layer architecture (Layer A core / Layer B templates / Layer C plug-ins) — zero specific framework / domain literals in core code
 
 ```bash
 pip install codd-dev
@@ -85,14 +86,14 @@ pip install codd-dev
 
 ```bash
 pip install codd-dev
-codd --version  # 1.34.0 or later
+codd --version  # 2.0.0 or later
 ```
 
 ### 2. Add codd.yaml to your project
 
 ```yaml
 # codd.yaml
-codd_required_version: ">=1.34.0"
+codd_required_version: ">=2.0.0"
 
 dag:
   design_docs:
@@ -194,7 +195,36 @@ This structurally prevents incidents such as smartphone-only navigation disappea
 
 ---
 
-## v1.34.0 Key Features
+## What's New in v2.0
+
+### Lexicon-driven completeness — the missing constraint side
+
+The North Star says "write only requirements + constraints." v1.x mostly handled the requirements side. v2.0 makes the **constraint side** mechanical and reusable.
+
+A *lexicon* is a plug-in describing the coverage axes of an industry standard:
+
+```
+codd_plugins/lexicons/
+├── babok/                          # BABOK v3 elicitation lexicon
+├── web_a11y_wcag22_aa/             # WCAG 2.2 A/AA
+├── api_rest_openapi/               # REST + OpenAPI 3.1
+├── web_security_owasp/             # OWASP Top 10 + ASVS
+├── compliance_iso27001/            # ISO/IEC 27001:2022
+├── data_governance_appi_gdpr/      # GDPR + APPI
+├── ops_kubernetes/                 # Kubernetes contracts
+└── ... 24 more
+```
+
+Each lexicon ships a manifest, axes, severity rules, coverage matrix, and prompt extension — `codd elicit` and `codd coverage report` consume them dynamically.
+
+```bash
+codd init --suggest-lexicons       # detect stack → suggest lexicons
+codd lexicon install web_responsive web_a11y_wcag22_aa
+codd lexicon diff web_responsive   # text-grep coverage hint
+codd coverage report --format html # matrix across all installed lexicons
+```
+
+### v2.0.0 Key Features
 
 | Feature | Role |
 |---------|------|
@@ -252,26 +282,28 @@ C9 `environment_coverage` verified all axis x variant coverage for viewport (sma
 
 ## Architecture - 4-Release Evolution and Next Plans
 
-### Achieved (v1.31.0 - v1.34.0)
+### Achieved (v1.31.0 - v2.0.0)
 
 | Release | Milestone |
 |---------|-----------|
-| v1.31.0 | Inner 100% (internal coherence) - eliminated manual type fixes with the typecheck repair loop |
-| v1.32.0 | Outer 100% (target environment coverage Layer C9) - absorbed viewport/RBAC/locale and related axes through a unified abstraction |
-| v1.33.0 | Caveat-resolution path proven - real CDP run-journey + LLM auto-repair attempt passed |
-| **v1.34.0** | **Full pipeline proven** - auto-repair reached PARTIAL_SUCCESS through dogfooding on a single Next.js Web project |
-
-### Next (v1.35.0 - v2.0.0, Roadmap)
-
-| Release | Plan |
-|---------|------|
-| **v1.35.0** | **`codd elicit`** - Discovery Engine that lets an LLM extract axis candidates and spec holes from requirements |
-| v1.36.0 | BABOK lexicon (`@codd/lexicon/babok`) bundle + multi-formatter (md / json / PR comment) |
-| v1.37.0 | **`codd diff`** - brownfield drift detection between requirements and implementation |
-| v1.38.0 | extract -> diff -> elicit pipeline, complete brownfield flow |
-| v1.39.0 | Reduce unrepairable items (RepairLoop strategy generalization) |
-| v1.40.0 | Multi-domain dogfooding (Mobile / CLI / embedded, etc.) |
-| (v2.0.0) | elicit + verify bidirectional loop, closest approach to the "fully automated" North Star |
+| v1.31.0 | Inner 100% (internal coherence) — eliminated manual type fixes with the typecheck repair loop |
+| v1.32.0 | Outer 100% (target environment coverage Layer C9) — absorbed viewport / RBAC / locale axes through a unified abstraction |
+| v1.33.0 | Caveat-resolution path proven — real CDP run-journey + LLM auto-repair attempt passed |
+| v1.34.0 | Full pipeline proven — auto-repair reached PARTIAL_SUCCESS through dogfooding on a single Next.js Web project |
+| v1.35.0 | `codd elicit` — Discovery Engine with lexicon-aware coverage-mode |
+| v1.36.0 | RepairLoop strategy v2 — generic fallback chain replaces stack-specific hardcoding |
+| v1.37.0 | `codd diff` — brownfield drift detection (implementation_only / requirement_only / drift) |
+| v1.38.0 | `codd brownfield` pipeline — extract → diff → elicit orchestration |
+| v1.39.0 / v1.40.0 | Lexicon plug-ins 30 across 7 domains (Web / Mobile / Backend-API / Data / Ops / Compliance / Process) |
+| v1.41.0 | `codd init --suggest-lexicons` — manifest-file scan → suggested lexicons appended |
+| v1.42.0 | `codd lexicon list/install/diff` + `codd coverage report` — plug-in management CLI + matrix reports |
+| **v2.0.0** | **Lexicon-Driven Completeness milestone** — 31 lexicons (~280 axes), constraint side now mechanical |
+
+### Next (v2.x roadmap, in flux)
+
+- Multi-domain dogfooding beyond Web (Mobile / CLI / embedded)
+- elicit + verify bidirectional loop — proposed-finding apply → re-verify cycle
+- AI-default coverage classification (`covered` / `implicit` / `gap`) replacing text-grep hints
 
 See [CHANGELOG.md](CHANGELOG.md).
 
@@ -339,6 +371,19 @@ Recipes live under `codd/hooks/recipes/`.
 
 ---
 
+## Contributors
+
+CoDD is shaped by the following people:
+
+- **[@yohey-w](https://github.com/yohey-w)** — Maintainer / Architect
+- **[@Seika86](https://github.com/Seika86)** — Sprint regex insight (PR #11)
+- **[@v-kato](https://github.com/v-kato)** — Brownfield reproduction reports (Issues #17 / #18 / #19)
+- **[@dev-komenzar](https://github.com/dev-komenzar)** — `source_dirs` bug reproduction (Issue #13)
+
+External signals (issues / PRs / lexicon suggestions) are welcome — see [Issues](https://github.com/yohey-w/codd-dev/issues).
+
+---
+
 ## License
 
 MIT License - see [LICENSE](LICENSE).

{codd_dev-1.41.0 → codd_dev-2.0.0}/README.md

@@ -21,17 +21,18 @@
 
 CoDD treats **requirements -> design -> implementation -> tests** as one DAG, mechanically verifies the coherence of every node, and lets an LLM repair inconsistencies automatically when they appear. Humans write only **what to build** and **where the boundaries are**.
 
-## Where We Are (v1.34.0)
+## Where We Are (v2.0.0 — Lexicon-Driven Completeness)
 
-The North Star is far, but **within bounded conditions, CoDD has reached practical use**:
+v2.0.0 is a **positioning shift, not just a version bump**. v1.x delivered the *extract → diagnose → repair* pipeline; v2.0 adds the **constraint side** as a first-class plug-in surface.
 
 - ✅ Dogfooded on a real project (Next.js + Prisma + TypeScript Web app)
-- ✅ `codd verify --auto-repair` completes with `PARTIAL_SUCCESS` on a real LMS project (attempts=4 / applied_patches=4 / unrepairable=2)
+- ✅ `codd verify --auto-repair` reaches `PARTIAL_SUCCESS` on a real LMS project (attempts=4 / applied_patches=4)
 - ✅ DAG completeness with 9 coherence checks operational
-- ⚠️ Single viewport / single persona assumed (Coverage Axis Layer C9 introduced in v1.32.0; axis variety is continuing work)
-- ⚠️ Specification completeness Level 1 (finding holes in requirements) is planned for v1.35.0 `codd elicit`
-- ⚠️ Other domains (Mobile / Desktop / CLI / Embedded / ML) are not yet validated
-- ⚠️ Reducing unrepairable items is continuing improvement
+- ✅ **31 lexicon plug-ins** across 7 domains (Methodology / Web / Mobile / Backend-API / Data / Ops / Compliance / Process)
+- ✅ **`codd elicit` / `codd diff` / `codd brownfield`** — coverage and drift discovery for greenfield + brownfield projects
+- ✅ **`codd init --suggest-lexicons`** — auto-detect stack from manifest files, suggest lexicons to install
+- ✅ **`codd lexicon list/install/diff` + `codd coverage report`** — plug-in management CLI + matrix reports (JSON / Markdown / HTML)
+- ✅ Generality Gate three-layer architecture (Layer A core / Layer B templates / Layer C plug-ins) — zero specific framework / domain literals in core code
 
 ```bash
 pip install codd-dev
@@ -45,14 +46,14 @@ pip install codd-dev
 
 ```bash
 pip install codd-dev
-codd --version  # 1.34.0 or later
+codd --version  # 2.0.0 or later
 ```
 
 ### 2. Add codd.yaml to your project
 
 ```yaml
 # codd.yaml
-codd_required_version: ">=1.34.0"
+codd_required_version: ">=2.0.0"
 
 dag:
   design_docs:
@@ -154,7 +155,36 @@ This structurally prevents incidents such as smartphone-only navigation disappea
 
 ---
 
-## v1.34.0 Key Features
+## What's New in v2.0
+
+### Lexicon-driven completeness — the missing constraint side
+
+The North Star says "write only requirements + constraints." v1.x mostly handled the requirements side. v2.0 makes the **constraint side** mechanical and reusable.
+
+A *lexicon* is a plug-in describing the coverage axes of an industry standard:
+
+```
+codd_plugins/lexicons/
+├── babok/                          # BABOK v3 elicitation lexicon
+├── web_a11y_wcag22_aa/             # WCAG 2.2 A/AA
+├── api_rest_openapi/               # REST + OpenAPI 3.1
+├── web_security_owasp/             # OWASP Top 10 + ASVS
+├── compliance_iso27001/            # ISO/IEC 27001:2022
+├── data_governance_appi_gdpr/      # GDPR + APPI
+├── ops_kubernetes/                 # Kubernetes contracts
+└── ... 24 more
+```
+
+Each lexicon ships a manifest, axes, severity rules, coverage matrix, and prompt extension — `codd elicit` and `codd coverage report` consume them dynamically.
+
+```bash
+codd init --suggest-lexicons       # detect stack → suggest lexicons
+codd lexicon install web_responsive web_a11y_wcag22_aa
+codd lexicon diff web_responsive   # text-grep coverage hint
+codd coverage report --format html # matrix across all installed lexicons
+```
+
+### v2.0.0 Key Features
 
 | Feature | Role |
 |---------|------|
@@ -212,26 +242,28 @@ C9 `environment_coverage` verified all axis x variant coverage for viewport (sma
 
 ## Architecture - 4-Release Evolution and Next Plans
 
-### Achieved (v1.31.0 - v1.34.0)
+### Achieved (v1.31.0 - v2.0.0)
 
 | Release | Milestone |
 |---------|-----------|
-| v1.31.0 | Inner 100% (internal coherence) - eliminated manual type fixes with the typecheck repair loop |
-| v1.32.0 | Outer 100% (target environment coverage Layer C9) - absorbed viewport/RBAC/locale and related axes through a unified abstraction |
-| v1.33.0 | Caveat-resolution path proven - real CDP run-journey + LLM auto-repair attempt passed |
-| **v1.34.0** | **Full pipeline proven** - auto-repair reached PARTIAL_SUCCESS through dogfooding on a single Next.js Web project |
-
-### Next (v1.35.0 - v2.0.0, Roadmap)
-
-| Release | Plan |
-|---------|------|
-| **v1.35.0** | **`codd elicit`** - Discovery Engine that lets an LLM extract axis candidates and spec holes from requirements |
-| v1.36.0 | BABOK lexicon (`@codd/lexicon/babok`) bundle + multi-formatter (md / json / PR comment) |
-| v1.37.0 | **`codd diff`** - brownfield drift detection between requirements and implementation |
-| v1.38.0 | extract -> diff -> elicit pipeline, complete brownfield flow |
-| v1.39.0 | Reduce unrepairable items (RepairLoop strategy generalization) |
-| v1.40.0 | Multi-domain dogfooding (Mobile / CLI / embedded, etc.) |
-| (v2.0.0) | elicit + verify bidirectional loop, closest approach to the "fully automated" North Star |
+| v1.31.0 | Inner 100% (internal coherence) — eliminated manual type fixes with the typecheck repair loop |
+| v1.32.0 | Outer 100% (target environment coverage Layer C9) — absorbed viewport / RBAC / locale axes through a unified abstraction |
+| v1.33.0 | Caveat-resolution path proven — real CDP run-journey + LLM auto-repair attempt passed |
+| v1.34.0 | Full pipeline proven — auto-repair reached PARTIAL_SUCCESS through dogfooding on a single Next.js Web project |
+| v1.35.0 | `codd elicit` — Discovery Engine with lexicon-aware coverage-mode |
+| v1.36.0 | RepairLoop strategy v2 — generic fallback chain replaces stack-specific hardcoding |
+| v1.37.0 | `codd diff` — brownfield drift detection (implementation_only / requirement_only / drift) |
+| v1.38.0 | `codd brownfield` pipeline — extract → diff → elicit orchestration |
+| v1.39.0 / v1.40.0 | Lexicon plug-ins 30 across 7 domains (Web / Mobile / Backend-API / Data / Ops / Compliance / Process) |
+| v1.41.0 | `codd init --suggest-lexicons` — manifest-file scan → suggested lexicons appended |
+| v1.42.0 | `codd lexicon list/install/diff` + `codd coverage report` — plug-in management CLI + matrix reports |
+| **v2.0.0** | **Lexicon-Driven Completeness milestone** — 31 lexicons (~280 axes), constraint side now mechanical |
+
+### Next (v2.x roadmap, in flux)
+
+- Multi-domain dogfooding beyond Web (Mobile / CLI / embedded)
+- elicit + verify bidirectional loop — proposed-finding apply → re-verify cycle
+- AI-default coverage classification (`covered` / `implicit` / `gap`) replacing text-grep hints
 
 See [CHANGELOG.md](CHANGELOG.md).
 
@@ -299,6 +331,19 @@ Recipes live under `codd/hooks/recipes/`.
 
 ---
 
+## Contributors
+
+CoDD is shaped by the following people:
+
+- **[@yohey-w](https://github.com/yohey-w)** — Maintainer / Architect
+- **[@Seika86](https://github.com/Seika86)** — Sprint regex insight (PR #11)
+- **[@v-kato](https://github.com/v-kato)** — Brownfield reproduction reports (Issues #17 / #18 / #19)
+- **[@dev-komenzar](https://github.com/dev-komenzar)** — `source_dirs` bug reproduction (Issue #13)
+
+External signals (issues / PRs / lexicon suggestions) are welcome — see [Issues](https://github.com/yohey-w/codd-dev/issues).
+
+---
+
 ## License
 
 MIT License - see [LICENSE](LICENSE).

{codd_dev-1.41.0 → codd_dev-2.0.0}/codd/__init__.py

@@ -1,3 +1,3 @@
 """CoDD — Coherence-Driven Development."""
 
-__version__ = "1.41.0"
+__version__ = "1.42.0"

{codd_dev-1.41.0 → codd_dev-2.0.0}/codd/cli.py

@@ -559,6 +559,115 @@ def _offer_lexicon_suggestions(project_root: Path) -> None:
     click.echo(f"{rel_path} updated ({len(suggestions)} suggested lexicons)")
 
 
+@main.group("lexicon")
+def lexicon_cmd() -> None:
+    """Manage bundled lexicon plug-ins."""
+
+
+@lexicon_cmd.command("list")
+@click.option("--installed", "installed_only", is_flag=True, help="Show installed lexicons only.")
+@click.option("--available", "available_only", is_flag=True, help="Show available, uninstalled lexicons only.")
+@click.option("--all", "show_all", is_flag=True, help="Show installed and available lexicons.")
+@click.option("--path", "project_path", default=".", help="Project root directory")
+def lexicon_list_cmd(installed_only: bool, available_only: bool, show_all: bool, project_path: str) -> None:
+    """List installed and bundled lexicons."""
+    from codd.lexicon_cli.manager import LexiconManager
+
+    if sum(bool(value) for value in (installed_only, available_only, show_all)) > 1:
+        click.echo("Error: choose only one of --installed, --available, or --all.")
+        raise SystemExit(1)
+
+    manager = LexiconManager(Path(project_path).resolve())
+    installed = manager.installed()
+    available = manager.uninstalled()
+    if installed_only:
+        _echo_lexicon_records("Installed", installed)
+        return
+    if available_only:
+        _echo_lexicon_records("Available", available)
+        return
+
+    _echo_lexicon_records("Installed", installed)
+    if show_all or not installed_only:
+        click.echo("")
+        _echo_lexicon_records("Available", available)
+
+
+@lexicon_cmd.command("install")
+@click.argument("lexicon_ids", nargs=-1, required=True)
+@click.option("--path", "project_path", default=".", help="Project root directory")
+def lexicon_install_cmd(lexicon_ids: tuple[str, ...], project_path: str) -> None:
+    """Install bundled lexicons into project_lexicon.yaml."""
+    from codd.lexicon_cli.manager import LexiconManager
+
+    manager = LexiconManager(Path(project_path).resolve())
+    try:
+        result = manager.install(lexicon_ids)
+    except (OSError, ValueError, yaml.YAMLError) as exc:
+        click.echo(f"Error: {exc}")
+        raise SystemExit(1)
+
+    for lexicon_id in result.installed:
+        click.echo(f"Installed: {lexicon_id}")
+    for lexicon_id in result.skipped:
+        click.echo(f"Skipped: {lexicon_id} already installed")
+    rel_path = _display_path(result.project_lexicon_path, manager.project_root)
+    click.echo(f"Updated: {rel_path}")
+    for record in result.records:
+        if record.recommended_kinds:
+            preview = ", ".join(record.recommended_kinds[:5])
+            suffix = "" if len(record.recommended_kinds) <= 5 else ", ..."
+            click.echo(f"{record.id} recommended kinds: {preview}{suffix}")
+        severity_rules = record.path / "severity_rules.yaml"
+        if severity_rules.is_file():
+            click.echo(f"{record.id} severity rules: {_display_path(severity_rules, manager.project_root)}")
+
+
+@lexicon_cmd.command("diff")
+@click.argument("lexicon_id")
+@click.option("--path", "project_path", default=".", help="Project root directory")
+@click.option(
+    "--format",
+    "format_name",
+    type=click.Choice(["json", "md"]),
+    default="md",
+    show_default=True,
+    help="Output format.",
+)
+@click.option("--with-ai", is_flag=True, default=False, help="Use AI-backed elicit coverage mode.")
+@click.option("--ai-cmd", default=None, help="Override AI CLI command for --with-ai.")
+def lexicon_diff_cmd(
+    lexicon_id: str,
+    project_path: str,
+    format_name: str,
+    with_ai: bool,
+    ai_cmd: str | None,
+) -> None:
+    """Inspect one lexicon against project requirements and design text."""
+    from codd.lexicon_cli.formatters.json_fmt import to_json
+    from codd.lexicon_cli.formatters.md import format_diff_md
+    from codd.lexicon_cli.inspector import LexiconInspector
+
+    try:
+        result = LexiconInspector(Path(project_path).resolve()).inspect(
+            lexicon_id,
+            with_ai=with_ai,
+            ai_command=ai_cmd,
+        )
+    except (OSError, ValueError, json.JSONDecodeError, yaml.YAMLError) as exc:
+        click.echo(f"Error: {exc}")
+        raise SystemExit(1)
+
+    click.echo(to_json(result) if format_name == "json" else format_diff_md(result), nl=False)
+
+
+def _echo_lexicon_records(label: str, records: list[Any]) -> None:
+    click.echo(f"{label} ({len(records)}):")
+    for record in records:
+        description = f"  {record.description}" if record.description else ""
+        click.echo(f"  {record.id:<32} ({record.observation_dimensions} axes){description}")
+
+
 @main.command()
 @click.option("--path", default=".", help="Project root directory")
 def scan(path: str):
@@ -2721,7 +2830,7 @@ def validate(lexicon: bool, design_tokens: bool, screen_flow: bool, edges: bool,
     raise SystemExit(run_validate(project_root, codd_dir))
 
 
-@main.command()
+@main.group(invoke_without_command=True)
 @click.option("--path", default=".", show_default=True, help="Project root directory")
 @click.option(
     "--e2e-threshold",
@@ -2745,7 +2854,9 @@ def validate(lexicon: bool, design_tokens: bool, screen_flow: bool, edges: bool,
     help="Screen-flow coverage threshold percentage.",
 )
 @click.option("--json", "as_json", is_flag=True, help="Output machine-readable JSON.")
+@click.pass_context
 def coverage(
+    ctx: click.Context,
     path: str,
     e2e_threshold: float,
     lexicon_threshold: float,
@@ -2753,6 +2864,9 @@ def coverage(
     as_json: bool,
 ):
     """Coverage metrics merge gate: E2E, design tokens, and lexicon."""
+    if ctx.invoked_subcommand is not None:
+        return
+
     from codd.coverage_metrics import run_coverage
 
     project_root = Path(path).resolve()
@@ -2800,6 +2914,65 @@ def coverage(
     raise SystemExit(0 if report.all_passed else 1)
 
 
+@coverage.command("report")
+@click.option(
+    "--lexicons",
+    default="all",
+    show_default=True,
+    help="Lexicons to include: all or a comma-separated id list.",
+)
+@click.option("--path", "project_path", default=".", show_default=True, help="Project root directory")
+@click.option(
+    "--format",
+    "format_name",
+    type=click.Choice(["json", "md", "html"]),
+    default="md",
+    show_default=True,
+    help="Report output format.",
+)
+@click.option("--output", type=click.Path(dir_okay=False, path_type=Path), default=None, help="Write report to file.")
+@click.option("--with-ai", is_flag=True, default=False, help="Use AI-backed elicit coverage mode.")
+@click.option("--ai-cmd", default=None, help="Override AI CLI command for --with-ai.")
+def coverage_report_cmd(
+    lexicons: str,
+    project_path: str,
+    format_name: str,
+    output: Path | None,
+    with_ai: bool,
+    ai_cmd: str | None,
+) -> None:
+    """Generate a lexicon coverage matrix report."""
+    from codd.lexicon_cli.formatters.html import format_coverage_report_html
+    from codd.lexicon_cli.formatters.json_fmt import to_json
+    from codd.lexicon_cli.formatters.md import format_coverage_report_md
+    from codd.lexicon_cli.reporter import CoverageReporter
+
+    project_root = Path(project_path).resolve()
+    try:
+        report = CoverageReporter(project_root).build(lexicons, with_ai=with_ai, ai_command=ai_cmd)
+    except (OSError, ValueError, json.JSONDecodeError, yaml.YAMLError) as exc:
+        click.echo(f"Error: {exc}")
+        raise SystemExit(1)
+
+    if format_name == "json":
+        rendered = to_json(report)
+    elif format_name == "html":
+        rendered = format_coverage_report_html(report)
+    else:
+        rendered = format_coverage_report_md(report)
+
+    if output is None:
+        click.echo(rendered, nl=False)
+        return
+
+    output_path = output.expanduser()
+    if not output_path.is_absolute():
+        output_path = project_root / output_path
+    output_path.parent.mkdir(parents=True, exist_ok=True)
+    output_path.write_text(rendered, encoding="utf-8")
+    click.echo(f"Report: {_display_path(output_path, project_root)}")
+
+
 @main.command("deploy")
 @click.option("--target", default=None, help="Deploy target name from deploy.yaml")
 @click.option(

codd_dev-2.0.0/codd/lexicon_cli/__init__.py

@@ -0,0 +1,17 @@
+"""CLI helpers for bundled lexicon plug-ins."""
+
+from codd.lexicon_cli.inspector import AxisInspection, LexiconDiffResult, TextHit
+from codd.lexicon_cli.manager import InstallResult, LexiconManager, LexiconRecord
+from codd.lexicon_cli.reporter import CoverageMatrixReport, CoverageReporter, CoverageRow
+
+__all__ = [
+    "AxisInspection",
+    "CoverageMatrixReport",
+    "CoverageReporter",
+    "CoverageRow",
+    "InstallResult",
+    "LexiconDiffResult",
+    "LexiconManager",
+    "LexiconRecord",
+    "TextHit",
+]

codd_dev-2.0.0/codd/lexicon_cli/formatters/__init__.py

@@ -0,0 +1,12 @@
+"""Formatters for lexicon CLI output."""
+
+from codd.lexicon_cli.formatters.html import format_coverage_report_html
+from codd.lexicon_cli.formatters.json_fmt import to_json
+from codd.lexicon_cli.formatters.md import format_coverage_report_md, format_diff_md
+
+__all__ = [
+    "format_coverage_report_html",
+    "format_coverage_report_md",
+    "format_diff_md",
+    "to_json",
+]

codd_dev-2.0.0/codd/lexicon_cli/formatters/html.py

@@ -0,0 +1,51 @@
+"""Self-contained HTML formatter for coverage matrix reports."""
+
+from __future__ import annotations
+
+from html import escape
+
+from codd.lexicon_cli.reporter import CoverageMatrixReport
+
+
+def format_coverage_report_html(report: CoverageMatrixReport) -> str:
+    rows = "\n".join(
+        "<tr>"
+        f"<td>{escape(row.lexicon_name)}</td>"
+        f"<td>{escape(row.axis_type)}</td>"
+        f"<td><span class=\"status {escape(row.status)}\">{escape(row.status)}</span></td>"
+        f"<td>{row.hit_count}</td>"
+        "</tr>"
+        for row in report.rows
+    )
+    return f"""<!doctype html>
+<html lang="en">
+<head>
+<meta charset="utf-8">
+<title>CoDD Coverage Matrix Report</title>
+<style>
+body {{ font-family: system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif; margin: 2rem; color: #1f2933; }}
+h1 {{ font-size: 1.7rem; margin-bottom: 0.25rem; }}
+.meta {{ color: #52616b; margin: 0.2rem 0; }}
+table {{ border-collapse: collapse; width: 100%; margin-top: 1.25rem; }}
+th, td {{ border: 1px solid #d8dee4; padding: 0.45rem 0.6rem; text-align: left; }}
+th {{ background: #f4f7f9; }}
+.status {{ border-radius: 4px; padding: 0.1rem 0.35rem; background: #eef2f7; }}
+.covered_text_match, .covered, .implicit {{ background: #e7f6ed; color: #125c2f; }}
+.unknown, .gap {{ background: #fff4d6; color: #724c00; }}
+</style>
+</head>
+<body>
+<h1>Coverage Matrix Report</h1>
+<p class="meta">Project: {escape(report.project_root)}</p>
+<p class="meta">Mode: {escape(report.mode)}</p>
+<p class="meta">Generated: {escape(report.generated_at)}</p>
+<p class="meta">Totals: {report.totals["axes"]} axes, {report.totals["covered"]} covered signals ({report.totals["covered_pct"]:.2f}%), {report.totals["unknown"]} unknown.</p>
+<table>
+<thead><tr><th>Lexicon</th><th>Axis</th><th>Status</th><th>Hits</th></tr></thead>
+<tbody>
+{rows}
+</tbody>
+</table>
+</body>
+</html>
+"""

codd_dev-2.0.0/codd/lexicon_cli/formatters/json_fmt.py

@@ -0,0 +1,24 @@
+"""JSON formatter for lexicon CLI data."""
+
+from __future__ import annotations
+
+from dataclasses import asdict, is_dataclass
+import json
+from pathlib import Path
+from typing import Any
+
+
+def to_json(value: Any) -> str:
+    return json.dumps(_plain(value), indent=2, ensure_ascii=False) + "\n"
+
+
+def _plain(value: Any) -> Any:
+    if is_dataclass(value):
+        return _plain(asdict(value))
+    if isinstance(value, Path):
+        return value.as_posix()
+    if isinstance(value, dict):
+        return {str(key): _plain(item) for key, item in value.items()}
+    if isinstance(value, (list, tuple)):
+        return [_plain(item) for item in value]
+    return value