Feat/kern core runtime#397

Merged

cukas merged 68 commits into

mainfrom

feat/kern-core-runtime

Jun 9, 2026

Commits on Jun 6, 2026

Feat/portable logic foundation (#386)
cukas
authored

Commits on Jun 7, 2026

Commits on Jun 8, 2026

Commits on Jun 9, 2026

feat(core): add declared shape validators
cukas
committed
feat(core): harden declared shape validators
cukas
committed
feat(core): expose effective class member facts
cukas
committed
feat(core): add class implements conformance facts
cukas
committed
feat(core): add constructor discipline facts
cukas
committed
feat(core): enforce class implements at runtime
cukas
committed
feat(core): enforce interface method protocols
cukas
committed
feat(core): enforce static interface member protocols
cukas
committed
fix(core): pin core contract element type to satisfy strict tsc
cukas
committed
fix(core): clear kern-guard findings in class semantic validator
cukas
committed
feat(python): lower KERN classes to pure Python
cukas
committed
test(python): lock single-source class codegen
cukas
committed
feat(python): per-instance field defaults and static field values
cukas
committed
test(python): cover field defaults and super-ordering
cukas
committed
test(conformance): CI-enforce class TS<->Python parity
cukas
committed
Merge branch 'main' into feat/kern-core-runtime
cukas
authored
feat(python): static accessors via per-class metaclass (with chaining)
cukas
committed
test(python): static-accessor metaclass + inheritance conformance
cukas
committed
fix(python): reject static-accessor params that shadow the cls receiver

cukas
and
claude
committed
feat(python): lower list push in class methods via shared list-ops

cukas
and
claude
committed
test(python): cover class-method push lowering + per-instance isolation

cukas
and
claude
committed
feat(class): erase abstract + implements at codegen with symmetric fail-fast stubs

cukas
and
claude
committed
test(class): abstract + interface parity fixtures and codegen guards

cukas
and
claude
committed
feat(class): inject implicit super() in derived constructors (KERN ctor semantics)

cukas
and
claude
committed
test(class): derived-constructor implicit super() parity + injection guards

cukas
and
claude
committed
feat(class): reconcile derived-ctor super semantics across validator, runtime, codegen

cukas
and
claude
committed
test(class): cover Option-C super reconciliation + canonical predicate

cukas
and
claude
committed
fix(class): resolve effective base ctor transitively for implicit-super arity check

cukas
and
claude
committed
fix(class): name the actual arg-requiring base in implicit-super diagnostic

cukas
and
claude
committed
Merge origin/main into feat/kern-core-runtime

cukas
and
claude
committed
feat(class): enforce KERN's abstract-class contract in the validator

cukas
and
claude
committed
test(class): cover abstract-class contract enforcement

cukas
and
claude
committed
fix(class): scan field/param default= for abstract instantiation

cukas
and
claude
committed
fix(test): align bad-cases super fixture with Option-C semantics

cukas
and
claude
committed
test(python): add coercion differential conformance oracle (red at base)

cukas
and
claude
committed
feat(python): JS value→string coercion parity on native KERN bodies

cukas
and
claude
committed