Prepare three-repository 1.0.0 RC distribution and user surfaces - #1

Merged

shendeguize merged 7 commits into

mainfrom

codex/release-1.0.0-rc.1

Sep 15, 2026

Commits on Sep 10, 2026

feat: add workspace philosophy management

YANG Jingyu
authored and
YANG Jingyu
committed
566d36f

Commits on Sep 13, 2026

fix: align reviewed philosophy hashes and delegate Lean tooling to Core

YANG Jingyu
authored and
YANG Jingyu
committed
0a03e5c

Commits on Sep 15, 2026

build: freeze shared release tooling

YANG Jingyu
authored and
YANG Jingyu
committed
98b93e1
feat: prepare bilingual non-Lean 1.0.0 release candidate

YANG Jingyu
authored and
YANG Jingyu
committed
68697a9
feat: prepare bilingual non-Lean 1.0.0 release candidate

YANG Jingyu
authored and
YANG Jingyu
committed
a8a2c3c
build: freeze shared release tooling

YANG Jingyu
authored and
YANG Jingyu
committed
52a824c
feat: prepare bilingual non-Lean 1.0.0 release candidate

YANG Jingyu
authored and
YANG Jingyu
committed
7252761