কেস স্টাডি: Rust-এর ওনারশিপ ও বরো চেকার

class OwnershipError(Exception):
    pass

def check_ownership(operations):
    """একটি টয় অপারেশন-সিকোয়েন্স প্রসেস করে Rust-এর ওনারশিপ/বরো রুল প্রয়োগ করে --
    ভায়োলেশন পেলে OwnershipError তোলে।"""
    state = {}      # var -> "valid" | "moved"
    borrows = {}     # var -> [(borrow_name, kind)]  kind: "shared" | "mut"
    log = []

    def var_status(v):
        return state.get(v, "undeclared")

    for op in operations:
        kind = op[0]

        if kind == "init":
            _, var = op
            state[var] = "valid"
            borrows[var] = []
            log.append(f"init {var}: OK")

        elif kind == "move":
            _, src, dst = op
            if var_status(src) == "moved":
                raise OwnershipError(f"use of moved value: '{src}' ইতিমধ্যে মুভ হয়ে গেছে")
            state[src] = "moved"
            state[dst] = "valid"
            borrows[dst] = []
            log.append(f"move {src} -> {dst}: OK ({src} এখন moved-from)")

        elif kind == "use":
            _, var = op
            if var_status(var) == "moved":
                raise OwnershipError(f"use of moved value: '{var}'")
            log.append(f"use {var}: OK")

        elif kind == "borrow":
            _, var, name = op
            if var_status(var) == "moved":
                raise OwnershipError(f"'{var}' বরো করা যাবে না: মান মুভ হয়ে গেছে")
            active_mut = [b for b in borrows[var] if b[1] == "mut"]
            if active_mut:
                raise OwnershipError(f"'{var}' ইমিউটেবল বরো করা যাবে না -- ইতিমধ্যে মিউটেবল বরো করা আছে ({active_mut[0][0]})")
            borrows[var].append((name, "shared"))
            log.append(f"borrow {var} as {name} (shared): OK")

        elif kind == "borrow_mut":
            _, var, name = op
            if var_status(var) == "moved":
                raise OwnershipError(f"'{var}' মিউটেবল বরো করা যাবে না: মান মুভ হয়ে গেছে")
            if borrows[var]:
                existing = borrows[var][0]
                raise OwnershipError(
                    f"'{var}' মিউটেবল বরো করা যাবে না -- ইতিমধ্যে বরো করা আছে ({existing[0]}, {existing[1]}) "
                    f"-- Rust একই সময়ে শুধু ১টি মিউটেবল বরো অনুমতি দেয়, অন্য কোনো বরোসহ নয়"
                )
            borrows[var].append((name, "mut"))
            log.append(f"borrow_mut {var} as {name}: OK")

        elif kind == "release":
            _, name = op
            for var, blist in borrows.items():
                borrows[var] = [b for b in blist if b[0] != name]
            log.append(f"release {name}: OK")

    return log


print("== সিকোয়েন্স ১: বৈধ (কোনো এরর ছাড়াই পাস করা উচিত) ==")
valid_ops = [
    ("init", "a"),
    ("borrow", "a", "r1"),
    ("borrow", "a", "r2"),    # দুটো shared বরো একসাথে: বৈধ
    ("release", "r1"),
    ("release", "r2"),
    ("borrow_mut", "a", "m1"),
    ("release", "m1"),
    ("move", "a", "b"),
    ("use", "b"),
]
try:
    for line in check_ownership(valid_ops):
        print(" ", line)
    print("ফলাফল: কোনো এরর নেই (সঠিক)")
except OwnershipError as e:
    print("অপ্রত্যাশিত এরর:", e)

print("\n== সিকোয়েন্স ২: USE AFTER MOVE (ধরা পড়া উচিত) ==")
bad_ops_1 = [
    ("init", "a"),
    ("move", "a", "b"),
    ("use", "a"),    # a ইতিমধ্যে b-তে মুভ হয়ে গেছে -- অবৈধ
]
try:
    check_ownership(bad_ops_1)
    print("বাগ: কোনো এরর তোলা হয়নি!")
except OwnershipError as e:
    print("সঠিকভাবে ধরা পড়েছে:", e)

print("\n== সিকোয়েন্স ৩: দুটো একসাথে মিউটেবল বরো (ধরা পড়া উচিত) ==")
bad_ops_2 = [
    ("init", "a"),
    ("borrow_mut", "a", "m1"),
    ("borrow_mut", "a", "m2"),   # m1 তখনো সক্রিয় -- অবৈধ
]
try:
    check_ownership(bad_ops_2)
    print("বাগ: কোনো এরর তোলা হয়নি!")
except OwnershipError as e:
    print("সঠিকভাবে ধরা পড়েছে:", e)