Task 15 — Curriculum module 6 (Premiers algorithmes — phase kickback)

Index: README. Spec: design.

Goal

Append module 6 (2 exercises: Bernstein-Vazirani for s='1' and a phase-kickback demonstration) to curriculum/curriculum.json.

Note vs. rev 1 of the master plan: the original teleportation exercise required classical-controlled gates (if (c[0]) ...), which the v1 executor walks past silently — only Stmt::GateCall is handled in executor::extract_gate_ops. The phase-kickback exercise covers the same pedagogical territory and is executable on the v1 backend.

Prerequisites

Task 14 merged.

Files

Modify: curriculum/curriculum.json

Steps

Step 1: Insert after module 5

,
{
  "id": 6,
  "title": "Premiers algorithmes quantiques",
  "lessons": [
    {
      "id": 1,
      "title": "Bernstein-Vazirani et phase kickback",
      "concept": "L'algorithme de Bernstein-Vazirani retrouve une chaîne secrète en un seul appel à l'oracle. Le phase kickback est le mécanisme central : faire 'remonter' une phase d'un qubit cible vers un qubit de contrôle en superposition.",
      "example_circuit": "OPENQASM 3.0;\ninclude \"stdgates.inc\";\nqubit[2] q;\nbit[1] c;\nx q[1];\nh q[0];\nh q[1];\ncx q[0], q[1];\nh q[0];\nc[0] = measure q[0];",
      "what_to_observe": "Bernstein-Vazirani pour s='1' : q[0] mesure toujours '1'.",
      "exercises": [
        {
          "id": "6-1-a",
          "prompt": "Bernstein-Vazirani pour s='1' : prépare l'ancilla en |−⟩ (X+H), mets q[0] en superposition (H), applique CX q[0]→q[1] (oracle pour s=1), puis H sur q[0] et mesure q[0].",
          "hint": "X q[1]; H q[1]; H q[0]; CX q[0],q[1]; H q[0]; puis mesure q[0].",
          "criteria": {
            "required_outcomes": [{"bitstring": "1", "min_ratio": 0.99}],
            "forbidden_outcomes": ["0"]
          },
          "feedback_pass": "Excellent ! BV retrouve s='1' en un seul appel à l'oracle.",
          "feedback_fail": "Tu dois obtenir '1' avec certitude. Vérifie l'ordre : X q[1]; H q[1]; H q[0]; cx q[0],q[1]; H q[0]; mesure q[0]."
        },
        {
          "id": "6-1-b",
          "prompt": "Phase kickback : prépare q[1] en |1⟩ (X), mets q[0] en superposition (H), applique CZ q[0],q[1]. Puis H q[0] et mesure q[0].",
          "hint": "Le CZ avec q[1]=|1⟩ ajoute une phase -1 quand q[0]=|1⟩ — c'est un Z 'remonté' sur q[0].",
          "criteria": {
            "required_outcomes": [{"bitstring": "1", "min_ratio": 0.99}],
            "forbidden_outcomes": ["0"]
          },
          "feedback_pass": "Parfait ! La phase de q[1] s'est 'kickback' sur q[0]. C'est la clé des algorithmes quantiques.",
          "feedback_fail": "Tu dois obtenir '1' sur q[0]. Vérifie : x q[1]; h q[0]; cz q[0],q[1]; h q[0]; mesure q[0]."
        }
      ]
    }
  ]
}

Step 2: Verify

cargo test tutor::tests::curriculum_json_deserializes_with_module_1 2>&1 | grep "test result"

Expected: test result: ok. 1 passed.

Step 3: Commit

git add curriculum/curriculum.json
git commit -m "feat: add curriculum module 6 (premiers algorithmes - phase kickback)"

3.2 KiB Raw Permalink Blame History

Task 15 — Curriculum module 6 (Premiers algorithmes — phase kickback)

Goal

Prerequisites

Files

Steps

3.2 KiB

Raw Permalink Blame History