docs(adr-0122): D6 点明同构 pin 的编译期证明落在哪一步 (#6263) #14951

Job	Run time
filter	8s
Dogfood Regression Gate	10s
Test Core	9s
Dogfood Verify CLI	0s
Test Core (${{ matrix.shard }}/3)	0s
Build Core	0s
Console Pin Gate	0s
Dogfood Regression Gate (${{ matrix.shard }}/3)	0s
Temporal Conformance (live PG + MySQL)	0s
Build Docs	0s
	27s

Navigation Menu