fb230d8a62
engine::course reads the course from wai-quantum/course/: 21 lessons from a first circuit through superposition, entanglement, interference, the standard algorithms, noise and mitigation, error correction and fault tolerance to resource estimates, each a Markdown text in English and Simplified Chinese and an exercise.json with a schema. A check runs each case of an exercise (a generator's inputs) with its intent and the verdict, measures its constraints (the gates allowed, counts, the T count, the critique's smells, the resource estimate's counts), and says what went wrong from the diagnostics, the verdict and the critique, never from the solution. The tests hold every solution to pass by proof, every known wrong answer to fail for its stated reason, and every locale to every text and message. wai-quantum learn shows, starts, checks, hints and explains a lesson, keeps progress only on this machine, and speaks the language --lang or LANG names; the command summaries and docs topics have Chinese translations held to the English they came from. The verdict gains of_diagnostic for a generator's refusal. llms.txt names the course. Co-Authored-By: Claude Opus 5.5 <[email protected]>
76 lines
3.2 KiB
JSON
76 lines
3.2 KiB
JSON
{
|
|
"schema": "wai.quantum.course/1",
|
|
"id": "circuits",
|
|
"locales": ["en", "zh-CN"],
|
|
"translations": { "zh-CN": "machine-assisted: to be reviewed by a fluent reader before it is advertised" },
|
|
"title": {
|
|
"en": "Quantum circuits, checked",
|
|
"zh-CN": "量子线路，逐题检查"
|
|
},
|
|
"summary": {
|
|
"en": "From a first circuit through superposition, entanglement and interference, the standard algorithms, noise and its mitigation, error correction and fault tolerance, to resource estimates. Each lesson is a short text and an exercise the engine checks: an exact distribution, the same circuit as a reference, or a statistical test of samples.",
|
|
"zh-CN": "从第一条线路出发，经过叠加、纠缠与干涉、标准算法、噪声及其缓解、纠错与容错，直到资源估算。每一课是一段简短的讲解和一道由引擎检查的练习：精确分布、与参考线路相同的线路，或对采样结果的统计检验。"
|
|
},
|
|
"units": [
|
|
{
|
|
"id": "first-circuits",
|
|
"title": { "en": "First circuits", "zh-CN": "第一条线路" },
|
|
"lessons": ["first-circuit", "bit-order"]
|
|
},
|
|
{
|
|
"id": "superposition",
|
|
"title": { "en": "Superposition", "zh-CN": "叠加" },
|
|
"lessons": ["superposition", "uniform", "rotation"]
|
|
},
|
|
{
|
|
"id": "entanglement",
|
|
"title": { "en": "Entanglement", "zh-CN": "纠缠" },
|
|
"lessons": ["bell", "ghz"]
|
|
},
|
|
{
|
|
"id": "interference",
|
|
"title": { "en": "Interference", "zh-CN": "干涉" },
|
|
"lessons": ["phase", "kickback"]
|
|
},
|
|
{
|
|
"id": "algorithms",
|
|
"title": { "en": "The standard algorithms", "zh-CN": "标准算法" },
|
|
"lessons": ["deutsch-jozsa", "bernstein-vazirani", "grover", "qft", "phase-estimation"]
|
|
},
|
|
{
|
|
"id": "noise",
|
|
"title": { "en": "Noise and mitigation", "zh-CN": "噪声与缓解" },
|
|
"lessons": ["noise", "folding"]
|
|
},
|
|
{
|
|
"id": "error-correction",
|
|
"title": { "en": "Error correction", "zh-CN": "纠错" },
|
|
"lessons": ["bit-flip-code", "syndrome"]
|
|
},
|
|
{
|
|
"id": "fault-tolerance",
|
|
"title": { "en": "Fault tolerance and resources", "zh-CN": "容错与资源" },
|
|
"lessons": ["toffoli", "t-count", "estimate"]
|
|
}
|
|
],
|
|
"companions": [
|
|
{
|
|
"id": "reconsidered",
|
|
"title": { "en": "Quantum, reconsidered", "zh-CN": "重新认识量子" },
|
|
"summary": {
|
|
"en": "The seven-module course on interference, phasors and learning, in the browser, with live labs on the engine.",
|
|
"zh-CN": "关于干涉、相量与学习的七个模块的课程，在浏览器中进行，每个模块都有基于引擎的实时实验。"
|
|
},
|
|
"url": "https://wai.transaction.science/quantum-learn",
|
|
"modules": [
|
|
{ "en": "The reframe", "zh-CN": "换一个角度" },
|
|
{ "en": "Interference, not probability", "zh-CN": "是干涉，而不是概率" },
|
|
{ "en": "The phasor unification", "zh-CN": "相量的统一" },
|
|
{ "en": "Deploying it", "zh-CN": "把它用起来" },
|
|
{ "en": "The limits", "zh-CN": "局限" },
|
|
{ "en": "Learning from quantum data", "zh-CN": "从量子数据中学习" },
|
|
{ "en": "Accountable interference", "zh-CN": "可问责的干涉" }
|
|
]
|
|
}
|
|
]
|
|
}
|