kernel-typescript

Enforce full TypeScript strictness and keep types derived, owned, and non-duplicated. This skill exists to stop the LLM from weakening the type system or creating parallel truth.

Non-Negotiables

• Do not use any in exported, shared, or boundary-facing types.
• Do not silence type errors with @ts-ignore, unsafe assertions, or widening casts unless the user explicitly approves a temporary exception.
• Do not create parallel type definitions when a type can be derived from a schema, generated artifact, or existing source type.
• Do not hand-edit generated type files.
• Do not weaken strict compiler settings to make code compile.

Required strictness:

• strict
• exactOptionalPropertyTypes
• noUncheckedIndexedAccess

Ownership Rules

Every important type must have one authoritative source.