Files
sjfhsjfh c73a2c903f feat(examples): migrate TH-141 sample to declarative layout (WU-6)
Real-content fixture for the end-to-end pipeline. TH-141 (39 parts: 22 segment,
15 lemma, 2 example) migrated from the prototype's typst `#let parts` manifest
to ADR-0008: declarative manifest.toml (project+info+ordered parts+targets) +
per-element element.toml (kind + scalars; examples carry `source`). Content .typ
files copied byte-identical (no math corruption); per-element main.typ + meta.toml
dropped (wiring is now generated). Part order matches source exactly; 5 lemmas
have no proof.typ (optional); no cross-file imports / paralearn refs / figs.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
2026-06-22 01:33:40 +08:00

10 lines
294 B
Typst
Raw Permalink Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
@缺键一般式 中取 $zeta = 1\/2$
$ sigma_(L G) = 1/2 dot L_m thin rho^(2\/3) / (mu^(2\/3) N_A^(1\/3)) . $
$d^3 = mu \/ (rho N_A)$ $rho^(2\/3) \/ (mu^(2\/3) N_A^(1\/3)) = 1 \/ (d^2 N_A)$,代入即得
$ sigma_(L G) thin d^2 approx L_m / (2 N_A) , $
@Stefan估算。