ci+docs: wire SP-G registry-conformance gate into CI + finalize README per-port status

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Author: dmealing

.github/workflows/conformance.yml

@@ -47,6 +47,12 @@ jobs:
           bun install
           # Loader + YAML + object-model corpora (packages/metadata).
           cd server/typescript/packages/metadata && bun test test/conformance.test.ts test/yaml-conformance.test.ts test/object-model-conformance.test.ts
+          # Registry-conformance gate (TS is the reference emitter — byte-matches
+          # the committed canonical) + untested-vocabulary coverage report.
+          # C#/Python run theirs via the whole-project/whole-dir scope below;
+          # Java/Kotlin's runner is @Disabled (pending the Java reconciliation, #36)
+          # and is intentionally NOT added to their scoped -Dtest= lists.
+          bun test test/registry-conformance.test.ts test/registry-coverage.test.ts
           # Byte-exact render / verify / extract / output-prompt corpora (packages/render).
           cd ../render && bun test test/render-conformance.test.ts test/verify-conformance.test.ts test/extract/extract-conformance.test.ts test/output-prompt-conformance.test.ts
           # Validator-parity corpus (generated input validation). No Docker.

CLAUDE.md

@@ -406,7 +406,7 @@ import { CurrencyInput } from "@metaobjectsdev/react";
 
 Preserve the following contracts exactly across all language ports:
 
-**Metamodel subtype vocabularies (must be identical across languages):**
+**Metamodel subtype vocabularies (must be identical across languages):** the `registry-conformance` gate (`fixtures/registry-conformance/`) is the structural enforcer of this rule — each port emits its registry as a canonical manifest byte-matched to `expected-registry.json` (TS/C#/Python live + green; Java/Kotlin gated pending reconciliation). See `fixtures/registry-conformance/README.md`.
 - Filter operators: `eq`, `ne`, `gt`, `gte`, `lt`, `lte`, `in`, `like`, `isNull`
 - Source subtypes: `rdb` (paradigm; ADR-0007). The pre-v2 `dbTable`/`dbView` subtypes are RETIRED — `source.rdb` + `@kind: table|view|materializedView|storedProc|tableFunction` is the form, with read-only-ness derived from `@kind`. Multi-source via `@role` (exactly one `primary` per object). Source physical name = `@table` (NOT `@name`); field physical name = `@column` (renamed from `@dbColumn`). Referential actions on relationships: `@onDelete` / `@onUpdate`.
 - Origin subtypes: `passthrough`, `aggregate`

fixtures/registry-conformance/README.md

@@ -184,6 +184,20 @@ divergence:
 
 ## Per-port status
 
+| Port | Status | Runner | Runs in CI via |
+|---|---|---|---|
+| TypeScript | **live + green** (reference emitter; produces the canonical) | `packages/metadata/test/registry-conformance.test.ts` | `conformance` job, `typescript` matrix leg (scoped `bun test`) |
+| C# | **live + green** (byte-identical) | `MetaObjects.Conformance.Tests/RegistryManifestConformanceTests.cs` | `conformance` job, `csharp` matrix leg (whole `MetaObjects.Conformance.Tests` project) |
+| Python | **live + green** (byte-identical) | `tests/conformance/test_registry_conformance.py` | `conformance` job, `python` matrix leg (whole `tests/conformance` dir) |
+| Java | **gated (`@Ignore`)** — Phase-2 vocabulary divergence | `metadata/src/test/java/com/metaobjects/registry/RegistryManifestConformanceTest.java` | n/a — intentionally NOT in the scoped `-Dtest=` list while gated |
+| Kotlin | **gated (`@Disabled`)** — shares the Java JVM registry | `codegen-kotlin/src/test/kotlin/com/metaobjects/generator/kotlin/RegistryManifestConformanceTest.kt` | n/a — intentionally NOT in the scoped `-Dtest=` list while gated |
+
+The three live ports (TS / C# / Python) genuinely run on every CI build (`.github/workflows/conformance.yml`, `conformance` job). The Java + Kotlin runners are wired and compile, but their assertions are `@Ignore`/`@Disabled` pending the Java metamodel-vocabulary reconciliation (tracked as a dedicated follow-on; see the **divergence analysis**:
+[`docs/superpowers/specs/2026-06-02-sp-g-java-registry-divergence-analysis.md`](../../docs/superpowers/specs/2026-06-02-sp-g-java-registry-divergence-analysis.md) and the
+[reconciliation plan](../../docs/superpowers/plans/2026-06-02-sp-g-java-reconciliation-plan.md)). They are left out of the Java/Kotlin scoped `-Dtest=` lists so they neither run nor error — re-add them (and drop the annotation) once the reconciliation lands.
+
+Detail per port:
+
 - **TypeScript** — reference emitter; green (produces the canonical).
 - **C#** — green, byte-identical.
 - **Python** — green, byte-identical (`emit_registry_manifest` in