feat(runtime): apply nested redefinition chains below composite features - #634

Merged

HuiJun merged 30 commits into

developfrom

feature/nested-redefinition

Sep 28, 2026

Commits on Sep 27, 2026

feat(runtime): apply nested redefinition chains below composite features

devin-ai-integration[bot]
and
HuiJun
committed
7fbc9a5
chore(referee): re-record pilot-differential provenance for nested-redefinition change

devin-ai-integration[bot]
and
HuiJun
committed
132e931
docs(referee): restate pilot-differential figures for nested redefinition

devin-ai-integration[bot]
and
HuiJun
committed
08c377b
fix(runtime): order, image and classify nested redefinition chains

devin-ai-integration[bot]
and
HuiJun
committed
18982d2
docs(runtime): name the clone helper in its comment

devin-ai-integration[bot]
and
HuiJun
committed
822311c
fix(runtime): match nested chains under aliased names and keep a child's own redefinition

devin-ai-integration[bot]
and
HuiJun
committed
63ef8b4
refactor(check): treat a chain redefinition as spec semantics, not an extension

devin-ai-integration[bot]
and
HuiJun
committed
53ae887
fix(runtime): rank nested redefinition chains by their declaring type and stay within owned objects

devin-ai-integration[bot]
and
HuiJun
committed
b0ffe39
fix(runtime): reject a nested chain below a feature bound to an existing object

devin-ai-integration[bot]
and
HuiJun
committed
a65d0a6
fix(runtime): let a nested chain govern an inherited composite value as a body does

devin-ai-integration[bot]
and
HuiJun
committed
0b61b4b
fix(runtime): apply overrides and governing chains around a bound member

devin-ai-integration[bot]
and
HuiJun
committed
09bddba
fix(runtime): inherit a chain target's default and multiplicity and rank its value among aliases

devin-ai-integration[bot]
and
HuiJun
committed
dfadb02
fix(runtime): apply chains to adopted objects and only through the owning feature

devin-ai-integration[bot]
and
HuiJun
committed
358b60b
fix(runtime): keep the first unrelated chain on a materialized leaf

devin-ai-integration[bot]
and
HuiJun
committed
2a059a1
Merge remote-tracking branch 'origin/develop' into feature/nested-redefinition
devin-ai-integration[bot]
committed
3301627
chore(docs): re-record examples provenance in the pilot differential baseline

devin-ai-integration[bot]
and
HuiJun
committed
7b9b616
fix(runtime): keep held-object chains to owned portions and govern every alias of a bound part

devin-ai-integration[bot]
and
HuiJun
committed
dfc6cce
Merge remote-tracking branch 'origin/develop' into feature/nested-redefinition
devin-ai-integration[bot]
committed
f281d85
chore(ci): raise the per-package race test timeout to 45m

devin-ai-integration[bot]
and
HuiJun
committed
bdef37d
Merge remote-tracking branch 'origin/develop' into feature/nested-redefinition
devin-ai-integration[bot]
committed
4bc3318

Navigation Menu

Uh oh!

feat(runtime): apply nested redefinition chains below composite features - #634

feat(runtime): apply nested redefinition chains below composite features#634
HuiJun merged 30 commits into
developfrom
feature/nested-redefinition

Commits on Sep 27, 2026

feat(runtime): apply nested redefinition chains below composite features

chore(referee): re-record pilot-differential provenance for nested-redefinition change

docs(referee): restate pilot-differential figures for nested redefinition

fix(runtime): order, image and classify nested redefinition chains

docs(runtime): name the clone helper in its comment

fix(runtime): match nested chains under aliased names and keep a child's own redefinition

refactor(check): treat a chain redefinition as spec semantics, not an extension

fix(runtime): rank nested redefinition chains by their declaring type and stay within owned objects

fix(runtime): reject a nested chain below a feature bound to an existing object

fix(runtime): let a nested chain govern an inherited composite value as a body does

fix(runtime): apply overrides and governing chains around a bound member

fix(runtime): inherit a chain target's default and multiplicity and rank its value among aliases

fix(runtime): apply chains to adopted objects and only through the owning feature

fix(runtime): keep the first unrelated chain on a materialized leaf

Merge remote-tracking branch 'origin/develop' into feature/nested-redefinition

chore(docs): re-record examples provenance in the pilot differential baseline

fix(runtime): keep held-object chains to owned portions and govern every alias of a bound part

Merge remote-tracking branch 'origin/develop' into feature/nested-redefinition

chore(ci): raise the per-package race test timeout to 45m

Merge remote-tracking branch 'origin/develop' into feature/nested-redefinition

Commits on Sep 28, 2026

fix(runtime): conflict duplicate chains, reach written parts, and image governed features

fix(runtime): skip sharing for chain-shaped objects and flag parameter chains

fix(runtime): share a referential-parameter predicate and spare data-typed parameters

Merge remote-tracking branch 'origin/develop' into feature/nested-redefinition

fix(runtime): apply nested chains to objects written into a governed feature

chore(examples): re-record the pass count and examples digest after the develop merge

chore(ci): raise the static-and-integrity job timeout to 35m

fix(runtime): keep behavior parameters referential in CompositeTypeOf

chore(ci): restore the 20m static-and-integrity job timeout

fix(check): judge parameter referentiality by effective types