Skip to content

XL-0T-CUTOVER: build Y — one exact declaration binding per TypeOccurrence from the containment authority — and retire #9813's module-wide precedence at the root. AUTHORING AUTHORIZED by ruling, MERGE HELD for root-cut receipts. Local use-line/qualification repairs are DEAD. - #10207

Closed
briansrls wants to merge 10 commits into
mainfrom
session/deep-lark-560-type-decl-stamp
Closed

XL-0T-CUTOVER: build Y — one exact declaration binding per TypeOccurrence from the containment authority — and retire #9813's module-wide precedence at the root. AUTHORING AUTHORIZED by ruling, MERGE HELD for root-cut receipts. Local use-line/qualification repairs are DEAD.#10207
briansrls wants to merge 10 commits into
mainfrom
session/deep-lark-560-type-decl-stamp

Merge origin/main (6c596058c7), and file the regen-coverage class the…

ad9381b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar