0.0.7 B: shared-core tool courses + Codex app rewrite

- Rename hands-on-with-openai-codex-cli → hands-on-with-openai-codex and
  rewrite all content for the Codex desktop app (threads, approvals,
  AGENTS.md, diff review); course_id course-codex-cli and salt preserved.
- Add four new report-tool core courses authored from official docs:
  hands-on-with-cursor, hands-on-with-deepseek-harness,
  hands-on-with-kimi-code, hands-on-with-zcode. Each ships EN+ZH
  COURSE/lessons, honest REVIEW.md (docs-authored, live run-through
  pending), and a verify.py with its own course_id + salt.
- Enforce shared-core byte equality via core-group marker checked by
  tools/verify_courses.py.
- Foundation path: first-agent branch now offers all six tools; m0
  orientation and route-challenge rewritten accordingly (any two tools).
- tools/claim_receipt.py + verify.py receipt support and
  build_solution_hashes.py → course-solutions.json (claim receipts A-side).

Generated with [Devin](https://devin.ai)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>

Author: xxg1413

content-manifest.json

@@ -0,0 +1,65 @@
+{
+  "schema_version": 1,
+  "courses": [
+    {
+      "slug": "agent-rules-single-source",
+      "course_id": "course-agent-rules",
+      "solution_sha256": "92757cc9943502021864bab3d508a168a4239b369b8a8ce55d6d3df5d1ca1fb8"
+    },
+    {
+      "slug": "da-eda",
+      "course_id": "course-da-eda",
+      "solution_sha256": "9eb0075ac148b788d9756ed4bf45242cb1c085601669cc7f0fe84f3af015397d"
+    },
+    {
+      "slug": "da-report",
+      "course_id": "course-da-report",
+      "solution_sha256": "f825baf3a1d4aac1292b5a24f3f2b3465cb02b5e9f79ebda6843c5e560f38629"
+    },
+    {
+      "slug": "da-visualization",
+      "course_id": "course-da-visualization",
+      "solution_sha256": "04d39d6f0c09e8c46d83835cf8d838b59a6ea3933828233f59b1b6ea2d935f69"
+    },
+    {
+      "slug": "hands-on-python-with-claude-code",
+      "course_id": "course-claude-code",
+      "solution_sha256": "d0aa4b9a5486f9d50abf2fe34f9166815174591e7fc0c2fb23ae3111a5a16699"
+    },
+    {
+      "slug": "hands-on-with-cursor",
+      "course_id": "course-cursor",
+      "solution_sha256": "d0aa4b9a5486f9d50abf2fe34f9166815174591e7fc0c2fb23ae3111a5a16699"
+    },
+    {
+      "slug": "hands-on-with-deepseek-harness",
+      "course_id": "course-deepseek-harness",
+      "solution_sha256": "d0aa4b9a5486f9d50abf2fe34f9166815174591e7fc0c2fb23ae3111a5a16699"
+    },
+    {
+      "slug": "hands-on-with-kimi-code",
+      "course_id": "course-kimi-code",
+      "solution_sha256": "d0aa4b9a5486f9d50abf2fe34f9166815174591e7fc0c2fb23ae3111a5a16699"
+    },
+    {
+      "slug": "hands-on-with-openai-codex",
+      "course_id": "course-codex-cli",
+      "solution_sha256": "d0aa4b9a5486f9d50abf2fe34f9166815174591e7fc0c2fb23ae3111a5a16699"
+    },
+    {
+      "slug": "hands-on-with-zcode",
+      "course_id": "course-zcode",
+      "solution_sha256": "d0aa4b9a5486f9d50abf2fe34f9166815174591e7fc0c2fb23ae3111a5a16699"
+    },
+    {
+      "slug": "mcp-server-in-python",
+      "course_id": "course-mcp-tools",
+      "solution_sha256": "e9a0c348e12bd1f04d83783689f299e3ece8884f3f8a5be2f8a40655e211b790"
+    },
+    {
+      "slug": "verifying-ai-generated-code",
+      "course_id": "course-verify-ship",
+      "solution_sha256": "3426cef9b1a5ee074e3839bb152b0ddff186e3c9a18928d99099795654073e16"
+    }
+  ]
+}

course-solutions.json

@@ -17,6 +17,15 @@
 
 ROOT = Path(__file__).resolve().parent
 
+# Optional shared claim-receipt producer (docs/CLAIM-RECEIPT.md). The course
+# folder still verifies standalone — without the tools/ sibling or without
+# FLYPYTHON_CLAIM_SECRET set, verify.py behaves exactly as before.
+try:
+    sys.path.insert(0, str(Path(__file__).resolve().parents[2] / "tools"))
+    import claim_receipt
+except ImportError:
+    claim_receipt = None
+
 EXPECTED_STARTER_FAILURES = (
     "test_thin_pointer_that_references_agents_md_is_a_pointer",
     "test_missing_agents_md_is_reported",
@@ -57,9 +66,20 @@ def _run_suite(implementation):
         env=environment, check=False, capture_output=True, text=True,
     )
 
-def run_progress(as_json):
+def _suite_stats(run):
+    """(tests_run, duration_ms) for a completed suite subprocess."""
+    tests = claim_receipt.count_tests(run.stderr) if claim_receipt else 0
+    return tests, int(getattr(run, "_elapsed_ms", 0))
+
+
+def run_progress(as_json, receipt_out=None):
+    import time
+    t0 = time.monotonic()
     starter = _run_suite("starter")
+    starter_ms = int((time.monotonic() - t0) * 1000)
+    t0 = time.monotonic()
     solution = _run_suite("solution")
+    solution_ms = int((time.monotonic() - t0) * 1000)
     starter_ok = starter.returncode == 0
     solution_ok = solution.returncode == 0
     rows = []
@@ -79,32 +99,63 @@ def run_progress(as_json):
         row["kind"] = kind
         row["claim_code"] = code
         rows.append(row)
+    secret = claim_receipt.receipts_enabled() if claim_receipt else None
+    receipts = []
+    if secret:
+        starter_tests = claim_receipt.count_tests(starter.stderr)
+        solution_tests = claim_receipt.count_tests(solution.stderr)
+        solution_hash = claim_receipt.solution_sha256(ROOT)
+        for checkpoint in CHECKPOINTS:
+            gate = checkpoint["gate"]
+            if gate == "starter-suite":
+                passed, tests, ms = starter_ok, starter_tests, starter_ms
+            elif gate == "both-suites":
+                passed = starter_ok and solution_ok
+                tests, ms = starter_tests + solution_tests, starter_ms + solution_ms
+            else:
+                continue
+            receipts.append(claim_receipt.make_receipt(
+                COURSE_ID, checkpoint["id"], passed=passed, tests=tests,
+                duration_ms=ms, impl_dir=ROOT / "starter",
+                solution_hash=solution_hash, secret=secret))
     if as_json:
-        print(json.dumps({"course": COURSE_ID,
+        document = {"course": COURSE_ID,
             "starter_suite_passed": starter_ok,
             "solution_suite_passed": solution_ok,
-            "checkpoints": rows}, ensure_ascii=False, indent=2))
+            "checkpoints": rows}
+        if secret:
+            document["receipts"] = receipts
+        print(json.dumps(document, ensure_ascii=False, indent=2))
     else:
-        starter_state = "通过" if starter_ok else "未通过"
-        solution_state = "通过" if solution_ok else "未通过"
-        print("课程 " + COURSE_ID)
-        print("实现状态: starter " + starter_state + " / solution " + solution_state)
+        starter_state = "passed" if starter_ok else "failed"
+        solution_state = "passed" if solution_ok else "failed"
+        print("Course " + COURSE_ID)
+        print("Suites: starter " + starter_state + " / solution " + solution_state)
         for row in rows:
-            state = row["status"] + ("（自报）" if row["kind"] == "attested" else "")
-            code = "认领码 " + row["claim_code"] if row["claim_code"] else "—"
+            state = row["status"] + (" (self-attested)" if row["kind"] == "attested" else "")
+            code = "claim code " + row["claim_code"] if row["claim_code"] else "—"
             print("  " + row["id"] + "  " + row["title"] + "  [" + state + "]  " + code)
-        print("认领码是自我报告的证据，在 flypython.com 记录；绝非证书。")
+        print("Claim codes are self-reported evidence, recorded at flypython.com; never a certificate.")
+        if secret:
+            print(f"Signed run receipts prepared for {len(receipts)} gated checkpoint(s);"
+                  " submit each with its claim to mark it as a local-run receipt.")
+    if receipt_out and secret:
+        Path(receipt_out).write_text(
+            json.dumps({"receipts": receipts}, ensure_ascii=False, indent=2) + "\n",
+            encoding="utf-8")
+        print(f"Wrote {len(receipts)} receipt(s) to {receipt_out}", file=sys.stderr)
     return 0
 
 def main() -> int:
     parser = argparse.ArgumentParser(description=__doc__)
     parser.add_argument("implementation", choices=("progress", "starter", "solution"))
     parser.add_argument("--json", action="store_true")
     parser.add_argument("--expect-failure", action="store_true")
+    parser.add_argument("--receipt-out", metavar="PATH", help="write signed run receipts JSON (requires FLYPYTHON_CLAIM_SECRET)")
     args = parser.parse_args()
 
     if args.implementation == "progress":
-        return run_progress(args.json)
+        return run_progress(args.json, args.receipt_out)
 
     command = [sys.executable, "-m", "unittest", "discover", "-s", str(ROOT / "tests")]
     environment = os.environ.copy()
@@ -132,6 +183,10 @@ def main() -> int:
             "requirement, no drift reporting, and CLI exit codes never signal failure."
         )
         return 0
+    if result.returncode == 0:
+        print(f"{args.implementation}: all tests passed")
+    else:
+        sys.stderr.write((result.stderr or "") or (result.stdout or ""))
     return result.returncode
 
 

courses/agent-rules-single-source/verify.py

@@ -25,6 +25,15 @@
 
 ROOT = Path(__file__).resolve().parent
 
+# Optional shared claim-receipt producer (docs/CLAIM-RECEIPT.md). The course
+# folder still verifies standalone — without the tools/ sibling or without
+# FLYPYTHON_CLAIM_SECRET set, verify.py behaves exactly as before.
+try:
+    sys.path.insert(0, str(Path(__file__).resolve().parents[2] / "tools"))
+    import claim_receipt
+except ImportError:
+    claim_receipt = None
+
 EXPECTED_STARTER_FAILURES = (
     "test_load_returns_dataframe",
     "test_load_has_expected_columns",
@@ -84,13 +93,20 @@ def _run_suite(implementation):
     )
 
 
-def run_progress(as_json):
+def run_progress(as_json, receipt_out=None):
+    starter = solution = None
+    starter_ms = solution_ms = 0
     if not _deps_available():
         _deps_hint()
         starter_ok = solution_ok = False
     else:
+        import time
+        t0 = time.monotonic()
         starter = _run_suite("starter")
+        starter_ms = int((time.monotonic() - t0) * 1000)
+        t0 = time.monotonic()
         solution = _run_suite("solution")
+        solution_ms = int((time.monotonic() - t0) * 1000)
         starter_ok = starter.returncode == 0
         solution_ok = solution.returncode == 0
     rows = []
@@ -110,21 +126,51 @@ def run_progress(as_json):
         row["kind"] = kind
         row["claim_code"] = code
         rows.append(row)
+    secret = claim_receipt.receipts_enabled() if claim_receipt else None
+    receipts = []
+    if secret:
+        starter_tests = claim_receipt.count_tests(starter.stderr) if starter else 0
+        solution_tests = claim_receipt.count_tests(solution.stderr) if solution else 0
+        solution_hash = claim_receipt.solution_sha256(ROOT)
+        for checkpoint in CHECKPOINTS:
+            gate = checkpoint["gate"]
+            if gate == "starter-suite":
+                passed, tests, ms = starter_ok, starter_tests, starter_ms
+            elif gate == "both-suites":
+                passed = starter_ok and solution_ok
+                tests, ms = starter_tests + solution_tests, starter_ms + solution_ms
+            else:
+                continue
+            receipts.append(claim_receipt.make_receipt(
+                COURSE_ID, checkpoint["id"], passed=passed, tests=tests,
+                duration_ms=ms, impl_dir=ROOT / "starter",
+                solution_hash=solution_hash, secret=secret))
     if as_json:
-        print(json.dumps({"course": COURSE_ID,
+        document = {"course": COURSE_ID,
             "starter_suite_passed": starter_ok,
             "solution_suite_passed": solution_ok,
-            "checkpoints": rows}, ensure_ascii=False, indent=2))
+            "checkpoints": rows}
+        if secret:
+            document["receipts"] = receipts
+        print(json.dumps(document, ensure_ascii=False, indent=2))
     else:
         starter_state = "passed" if starter_ok else "not passed"
         solution_state = "passed" if solution_ok else "not passed"
         print("Course " + COURSE_ID)
         print("Suites: starter " + starter_state + " / solution " + solution_state)
         for row in rows:
             state = row["status"] + (" (self-attested)" if row["kind"] == "attested" else "")
-            code = "claim " + row["claim_code"] if row["claim_code"] else "—"
+            code = "claim code " + row["claim_code"] if row["claim_code"] else "—"
             print("  " + row["id"] + "  " + row["title"] + "  [" + state + "]  " + code)
-        print("Claim codes are self-reported evidence recorded on flypython.com — never a certificate.")
+        print("Claim codes are self-reported evidence, recorded at flypython.com; never a certificate.")
+        if secret:
+            print(f"Signed run receipts prepared for {len(receipts)} gated checkpoint(s);"
+                  " submit each with its claim to mark it as a local-run receipt.")
+    if receipt_out and secret:
+        Path(receipt_out).write_text(
+            json.dumps({"receipts": receipts}, ensure_ascii=False, indent=2) + "\n",
+            encoding="utf-8")
+        print(f"Wrote {len(receipts)} receipt(s) to {receipt_out}", file=sys.stderr)
     return 0
 
 
@@ -133,10 +179,11 @@ def main() -> int:
     parser.add_argument("implementation", choices=("progress", "starter", "solution"))
     parser.add_argument("--json", action="store_true")
     parser.add_argument("--expect-failure", action="store_true")
+    parser.add_argument("--receipt-out", metavar="PATH", help="write signed run receipts JSON (requires FLYPYTHON_CLAIM_SECRET)")
     args = parser.parse_args()
 
     if args.implementation == "progress":
-        return run_progress(args.json)
+        return run_progress(args.json, args.receipt_out)
 
     if not _deps_available():
         _deps_hint()
@@ -170,6 +217,10 @@ def main() -> int:
             "because the analysis functions are not implemented."
         )
         return 0
+    if result.returncode == 0:
+        print(f"{args.implementation}: all tests passed")
+    else:
+        sys.stderr.write((result.stderr or "") or (result.stdout or ""))
     return result.returncode