Repository navigation

Derived-node identity step 2, repair (a): peel_nominal_alias_identity keeps a type parameter's mark (census 37 -> 0; plan specimens unmoved) - #13329

Merged

gunbai-bot[bot] merged 15 commits into

mainfrom

session/jolly-pike-330-peel-keeps-declaration

Oct 5, 2026

Commits on Oct 4, 2026
- WIP: generic identity census, the derived-node-identity step-2 instrument (output grain)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a503e86
- WIP: foreign-parameter column separates substitution loss from unbound-for-want-of-context
  gunbc-ci-auto-heal
  committed
  675d15b
- WIP: generic-identity-census label, controls, summary, host producer arm
  gunbc-ci-auto-heal
  committed
  8d21729
- Regenerate emitted_population for v1.tests.claim.generic_identity_census
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1c3f45f
- WIP: supplied-node readings for bets 1 and 2, executed by the generic-identity census label
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3c89961
- WIP: the outer-declaration reading states its key and says when it is vacuous
  gunbc-ci-auto-heal
  committed
  0fd4b02
- WIP: peel_nominal_alias_identity returns a type-parameter reference by its mark (mirrors not regenerated)
  gunbc-ci-auto-heal
  committed
  c850560
- Census: no absence stands for an answer (review on 1c3f45f9)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bc78f54
- Census: the undecided arm and the unobserved carrier each have an executed control
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d716390
- Merge the reviewed census (d716390c) into the step-2 readings; mirror pending regeneration
  gunbc-ci-auto-heal
  committed
  6011039
- Merge step-2 readings (on the reviewed census) into the peel repair
  gunbc-ci-auto-heal
  committed
  2c63b4e
- peel_nominal_alias_identity keeps a type parameter's mark; fixture RED conformance_keeps_the_parameter_mark (mirrors pending regen round)
  gunbc-ci-auto-heal
  committed
  88f89ab
- Regenerate the census mirror for the step-2 readings (regen round to rebuild_packages=0)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bed1ca8
- Merge the regenerated step-2 readings into the peel repair
  gunbc-ci-auto-heal
  committed
  ea7ad39
- Merge main (#13290 landed; census files byte-identical to d716390c, kept the branch's superset)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  69d839c

Navigation Menu

Repository navigation

Derived-node identity step 2, repair (a): peel_nominal_alias_identity keeps a type parameter's mark (census 37 -> 0; plan specimens unmoved) - #13329

Derived-node identity step 2, repair (a): peel_nominal_alias_identity keeps a type parameter's mark (census 37 -> 0; plan specimens unmoved)#13329
gunbai-bot[bot] merged 15 commits into
mainfrom
session/jolly-pike-330-peel-keeps-declaration

Commits on Oct 4, 2026

WIP: generic identity census, the derived-node-identity step-2 instrument (output grain)

WIP: foreign-parameter column separates substitution loss from unbound-for-want-of-context

WIP: generic-identity-census label, controls, summary, host producer arm

Regenerate emitted_population for v1.tests.claim.generic_identity_census

WIP: supplied-node readings for bets 1 and 2, executed by the generic-identity census label

WIP: the outer-declaration reading states its key and says when it is vacuous

WIP: peel_nominal_alias_identity returns a type-parameter reference by its mark (mirrors not regenerated)

Census: no absence stands for an answer (review on 1c3f45f9)

Census: the undecided arm and the unobserved carrier each have an executed control

Merge the reviewed census (d716390c) into the step-2 readings; mirror pending regeneration

Merge step-2 readings (on the reviewed census) into the peel repair

peel_nominal_alias_identity keeps a type parameter's mark; fixture RED conformance_keeps_the_parameter_mark (mirrors pending regen round)

Regenerate the census mirror for the step-2 readings (regen round to rebuild_packages=0)

Merge the regenerated step-2 readings into the peel repair

Merge main (#13290 landed; census files byte-identical to d716390c, kept the branch's superset)