{
  "_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."
}