f090e8b6d1
The Course pane lists the 21 lessons, shows a lesson's text and exercise, loads its starter, and checks the program in the editor with the engine (engine_course_check in the page, the same commands in the desktop app): each case's verdict, each rule, What went wrong? from the diagnostics, the verdict and the critique, the hints one at a time with the engine's pointer, and a hint from the assistant when a model is connected, any program in its answer held back. Progress is kept only in this browser and says so. The interface's words are data, locales/<locale>/<area>.json for every part, English the source and Simplified Chinese marked machine-assisted; the Studio follows the browser's language until the reader picks one with the switch. test/locales.test.mjs holds every locale to every key and placeholder. The e2e checks the course in English and in Chinese. wai-web's engine tests pin 23 native and 16 wasm32, a course check the same bytes in both. Co-Authored-By: Claude Opus 5.5 <[email protected]>
43 lines
3 KiB
JSON
43 lines
3 KiB
JSON
{
|
||
"_meta": {
|
||
"locale": "zh-CN",
|
||
"area": "compile_view",
|
||
"translation": "machine-assisted: to be reviewed by a fluent reader before it is advertised"
|
||
},
|
||
"compile_view.col_gates": "门",
|
||
"compile_view.col_cnots": "CNOT",
|
||
"compile_view.col_rotations": "旋转门",
|
||
"compile_view.basis_label": "门集",
|
||
"compile_view.basis_title": "编译所用的门集。Clifford+T：每个旋转门都写成误差在 ε 以内的 Clifford+T 门序列。标准门：任意角度的标准门，不做任何近似",
|
||
"compile_view.standard": "标准门",
|
||
"compile_view.level_label": "级别",
|
||
"compile_view.level_title": "0：降低到基本门并作近似；1：另加经检查的重写和相位折叠；2：再加单、双量子比特重合成",
|
||
"compile_view.level_option": "级别 {level}",
|
||
"compile_view.eps_title": "输出与程序之间允许的最大差异：算子范数，不计全局相位，由各旋转门分摊",
|
||
"compile_view.compile": "编译",
|
||
"compile_view.compile_title": "让程序经过引擎的各遍处理，每一遍都经过检查，并附有签名的证书",
|
||
"compile_view.heading": "编译",
|
||
"compile_view.caption": "{pass} 之后（第 {number}/{of} 遍）：{gates} 个门，{cnots} 个 CNOT，{t} 个 T 门，{rotations} 个旋转门{partial}。",
|
||
"compile_view.caption_partial": "；只画出了 {total} 列中的前 {drawn} 列",
|
||
"compile_view.draw_title": "画出这一遍之后的线路",
|
||
"compile_view.spent_one": "{n} 个旋转门，每个 {each}",
|
||
"compile_view.spent_other": "{n} 个旋转门，每个 {each}",
|
||
"compile_view.nothing_approximated": "没有任何近似",
|
||
"compile_view.whole": "整个输出与程序对照测得的距离：{distance}。",
|
||
"compile_view.use": "使用",
|
||
"compile_view.use_title": "把编译后的程序作为建议提交审阅",
|
||
"compile_view.offer_note": "已在级别 {level} 编译为“{basis}”：与程序的距离不超过 {bound}（预算 {budget}），{t} 个 T 门；每一遍都经过检查。",
|
||
"compile_view.the_standard_gates": "标准门",
|
||
"compile_view.verdict_approximate": "近似",
|
||
"compile_view.verdict_exact": "精确",
|
||
"compile_view.verdict_proved": "已证明",
|
||
"compile_view.summary": "{verdict}：与程序的距离不超过 {bound}，不计全局相位（预算 {budget}；{spent}）。{whole}{certificate}",
|
||
"compile_view.cert_verifies": "证书验证通过。",
|
||
"compile_view.cert_fails": "证书未通过验证。",
|
||
"compile_view.col_pass": "遍",
|
||
"compile_view.col_check": "检查",
|
||
"compile_view.note": "选择一遍，即可画出它之后的线路。检查结果为 proof（精确的环算术，以整八分之一为单位的相位多项式）、exact（等于双精度浮点数的舍入）或 approximate（附其距离）；各距离之和即为上界。",
|
||
"compile_view.bad_eps": "ε 是一个正数，例如 1e-6。",
|
||
"compile_view.compiling": "正在编译：每一遍都随即检查…",
|
||
"compile_view.stale": "这是针对程序较早版本的结果：请重新编译。"
|
||
}
|