skmtc-lang-kotlin

The Kotlin layer (@skmtc/lang-kotlin)

Read skmtc-generator first.

Drift warning. The API of record is the workspace skmtc/deno/lang-kotlin and its tests. The shipped gen-kotlin-* generators predate the 0.9.11 flattening: they call new KtAnnotation('Name', [args]) positionally and import isKtAnnotated/isKtSupertyped (no longer exported; supertype clauses now render inline in the value). Clone their structure only; take call shapes from THIS skill's example (§8), which is pinned byte-for-byte against the engine by lang-kotlin/src/skill-example.test.ts.

1. Declaring the language

Same pattern as TypeScript — the import graph declares it. Two factories: toKtModelProjectionBase, toKtOasOperationProjectionBase; snippets extend KtSnippet.

export const KtModelBase = toKtModelProjectionBase<EnrichmentSchema>({
  id: denoJson.name,
  toEnrichmentSchema,
  toIdentifierName({ refName, enrichments }) {
    return enrichments?.subject?.name ?? capitalize(camelCase(refName))
  },
  // Kotlin's identifier KIND depends on schema shape → may read context
  // (runs only on cache-miss; the NAME stays pure):
  toIdentifierType(refName, context) {
    return { type: toShape(context, peekSchema(context, refName)) }
  },
  toExportPath({ refName, enrichments }) {
    const name = enrichments?.subject?.name ?? capitalize(camelCase(refName))
    return `@/${enrichments.generator.basePackage.replaceAll('.', '/')}/${name}.generated.kt`
  }
})

The export path's directory segments ARE the Kotlin package (§4). Make basePackage a required generator-scope enrichment with no default; validate segments with isKtIdentifierName + ktHardKeywords. Put the shape dispatch (object+props → data-class; string+enums → enum-class; qualifying discriminated union → sealed-interface; else typealias) in ONE deterministic function read by both toIdentifierType and the constructor, so kind and value can't disagree.

2. Register shapes — Kotlin differences