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
2.8 KiB
JSON
43 lines
2.8 KiB
JSON
{
|
||
"_meta": {
|
||
"locale": "en",
|
||
"area": "compile_view",
|
||
"translation": "source"
|
||
},
|
||
"compile_view.col_gates": "gates",
|
||
"compile_view.col_cnots": "CNOTs",
|
||
"compile_view.col_rotations": "rotations",
|
||
"compile_view.basis_label": "Basis",
|
||
"compile_view.basis_title": "The gate set to compile to. Clifford+T: every rotation written as a Clifford+T word within ε. Standard: the standard gates at any angle, nothing approximated",
|
||
"compile_view.standard": "standard",
|
||
"compile_view.level_label": "Level",
|
||
"compile_view.level_title": "0: lower and approximate; 1: also checked rewrites and phase folding; 2: also one- and two-qubit resynthesis",
|
||
"compile_view.level_option": "level {level}",
|
||
"compile_view.eps_title": "The most the output may differ from the program: the operator norm, up to a global phase, shared by its rotations",
|
||
"compile_view.compile": "Compile",
|
||
"compile_view.compile_title": "The program through the engine’s passes, each checked, with a signed certificate",
|
||
"compile_view.heading": "Compile",
|
||
"compile_view.caption": "After {pass} (pass {number} of {of}): {gates} gates, {cnots} CNOTs, {t} T, {rotations} rotations{partial}.",
|
||
"compile_view.caption_partial": "; the first {drawn} of {total} columns drawn",
|
||
"compile_view.draw_title": "Draw the circuit after this pass",
|
||
"compile_view.spent_one": "{n} rotation, {each} each",
|
||
"compile_view.spent_other": "{n} rotations, {each} each",
|
||
"compile_view.nothing_approximated": "nothing approximated",
|
||
"compile_view.whole": " The whole output measured against the program: {distance}.",
|
||
"compile_view.use": "Use",
|
||
"compile_view.use_title": "Offer the compiled program for review",
|
||
"compile_view.offer_note": "Compiled to {basis} at level {level}: within {bound} of the program (budget {budget}), {t} T gates; every pass checked.",
|
||
"compile_view.the_standard_gates": "the standard gates",
|
||
"compile_view.verdict_approximate": "Approximate",
|
||
"compile_view.verdict_exact": "Exact",
|
||
"compile_view.verdict_proved": "Proved",
|
||
"compile_view.summary": "{verdict}: within {bound} of the program, up to a global phase (budget {budget}; {spent}).{whole} {certificate}",
|
||
"compile_view.cert_verifies": "The certificate verifies.",
|
||
"compile_view.cert_fails": "The certificate DOES NOT VERIFY.",
|
||
"compile_view.col_pass": "pass",
|
||
"compile_view.col_check": "check",
|
||
"compile_view.note": "Choose a pass to draw the circuit after it. A check is proof (exact ring arithmetic, a phase polynomial in whole eighths), exact (equal to the rounding of doubles) or approximate with its distance; the distances add up to the bound.",
|
||
"compile_view.bad_eps": "ε is a positive number, such as 1e-6.",
|
||
"compile_view.compiling": "Compiling: each pass checked as it goes…",
|
||
"compile_view.stale": "For an earlier version of the program: compile again."
|
||
}
|