外键写在表里，为什么还是插进了不存在的编号？

"""Connection-local enforcement and retrospective audit, on a temporary SQLite file."""
from contextlib import closing
from pathlib import Path
from tempfile import TemporaryDirectory
import csv
import json
import sqlite3
import sys


def connect(path):
    options = {"isolation_level": None}
    if sys.version_info >= (3, 12):
        options["autocommit"] = sqlite3.LEGACY_TRANSACTION_CONTROL
    return sqlite3.connect(path, **options)


def enabled(db):
    row = db.execute("PRAGMA foreign_keys").fetchone()
    assert row is not None, "SQLite build has no foreign-key enforcement support"
    return row[0]


def audit(db):
    return [list(row) for row in db.execute("PRAGMA foreign_key_check")]


def rejected(db, statement, values):
    try:
        db.execute(statement, values)
    except sqlite3.IntegrityError as error:
        assert "FOREIGN KEY" in str(error), error
        return True
    raise AssertionError("expected a foreign-key violation")


def main():
    trace = []
    with TemporaryDirectory(prefix="fk-lesson-") as directory:
        root = Path(directory)
        with closing(connect(root / "demo.db")) as first, closing(connect(root / "demo.db")) as second:
            first.execute("CREATE TABLE parent(id INTEGER PRIMARY KEY)")
            first.execute("CREATE TABLE child(id INTEGER PRIMARY KEY, parent_id INTEGER NOT NULL REFERENCES parent(id))")
            first.execute("INSERT INTO parent VALUES (1)")
            defaults = [enabled(first), enabled(second)]
            # Deliberately choose both states; do not depend on a build's defaults.
            first.execute("PRAGMA foreign_keys = ON")
            second.execute("PRAGMA foreign_keys = OFF")
            assert (enabled(first), enabled(second)) == (1, 0)
            trace.append({"stage": "two_connections", "first": 1, "second": 0, "violations": 0})
            assert rejected(first, "INSERT INTO child VALUES (?, ?)", (10, 999))
            second.execute("INSERT INTO child VALUES (?, ?)", (20, 999))
            assert audit(first) == [["child", 20, "parent", 0]]
            trace.append({"stage": "second_inserted_orphan", "first": enabled(first), "second": enabled(second), "violations": len(audit(first))})
            second.execute("BEGIN")
            second.execute("PRAGMA foreign_keys = ON")
            assert enabled(second) == 0 and second.in_transaction
            second.execute("INSERT INTO child VALUES (?, ?)", (21, 998))
            assert len(audit(second)) == 2
            trace.append({"stage": "enable_inside_transaction_ignored", "first": enabled(first), "second": enabled(second), "violations": len(audit(second))})
            second.execute("ROLLBACK")
            second.execute("PRAGMA foreign_keys = ON")
            assert enabled(second) == 1 and len(audit(second)) == 1
            assert rejected(second, "INSERT INTO child VALUES (?, ?)", (22, 997))
            old_violations = audit(second)
            trace.append({"stage": "enabled_but_old_orphan_remains", "first": enabled(first), "second": enabled(second), "violations": len(old_violations)})
            # Explicit fixture repair chosen for this made-up row only.
            second.execute("DELETE FROM child WHERE id = ?", (20,))
            second.execute("INSERT INTO child VALUES (?, ?)", (30, 1))
            assert rejected(first, "DELETE FROM parent WHERE id = ?", (1,))
            assert audit(first) == []
            final_rows = [list(r) for r in first.execute("SELECT id, parent_id FROM child ORDER BY id")]
            assert final_rows == [[30, 1]]
            trace.append({"stage": "fixture_repaired_and_parent_delete_blocked", "first": enabled(first), "second": enabled(second), "violations": 0})
    assert not root.exists()
    report = {"python": sys.version.split()[0], "sqlite": sqlite3.sqlite_version,
              "observed_defaults_not_assumed": defaults, "trace": trace,
              "audit_columns": ["child_table", "child_rowid", "parent_table", "foreign_key_id"],
              "old_violations_after_enabling": old_violations,
              "final_child_rows": final_rows, "temporary_directory_removed": True,
              "scope": "two real connections used sequentially; no concurrent contention or production database"}
    out = Path(__file__).resolve().parent / "foreign-key-output"
    out.mkdir(exist_ok=True)
    (out / "report.json").write_text(json.dumps(report, indent=2) + "\n", encoding="utf-8")
    with (out / "stages.csv").open("w", encoding="utf-8-sig", newline="") as file:
        writer = csv.DictWriter(file, fieldnames=["stage", "first", "second", "violations"])
        writer.writeheader()
        writer.writerows(trace)
    print(json.dumps(report, indent=2))
    print("PASS: per-connection flags, transaction no-op, historical audit, restricted delete and cleanup")


if __name__ == "__main__":
    main()