fix(registry): keep consumer-provider attrs under strict attribute scoping (#265) - #268

Merged

dmealing merged 12 commits into

mainfrom

fix/265-strict-scoping-provenance

Aug 3, 2026

Commits on Aug 3, 2026

docs(#265): design — provenance-scoped strict attr scoping (cross-port)

dmealing
and
claude
committed
docs(#265): implementation plan (provenance prune + Java seam + 4 fixtures)

dmealing
and
claude
committed
docs(#265): apply Fable plan review — subdir fixtures, Java RED reframe, per-port recipes

dmealing
and
claude
committed
test(#265): compose-load conformance subdir + 4 extend-subtype fixtures (TS reference green)

dmealing
and
claude
committed
fix(#265): provenance-scoped strict attr prune (Python) — spare consumer extends

dmealing
and
claude
committed
fix(#265): provenance-scoped strict attr prune (C#) — spare consumer extends

dmealing
and
claude
committed
fix(#265): relocate LibraryProviders/LibraryProviderIds off the Loader onto CoreTypes (C#)

dmealing
and
claude
committed
fix(#265): provenance-scoped prune + composeMetamodelRegistry(extras) seam (Java/Kotlin)

dmealing
and
claude
committed
fix(#265): stampNewAttrProvenance diff-base must include inherited attrs (Java)

dmealing
and
claude
committed
docs(#265): note extend-under-strict is gated + the Java composeMetamodelRegistry seam

dmealing
and
claude
committed
test(#265): de-dup Java conformance error-code collection

dmealing
and
claude
committed
no-mistakes(document): docs(#265): refresh provider-composition count + Java compose seam
dmealing
committed