jailCTF 2025 - auniquechallenge

import re
from collections import Counter

code = input()

# 各識別子を抽出
identifiers = re.findall(r'[a-zA-Z_][a-zA-Z0-9_]*', code)

# 各文字が1回のみかチェック
for ident in identifiers:
    counter = Counter(ident.lower())
    for char, count in counter.items():
        if count > 1:
            print(f"Character '{char}' appears {count} times in '{ident}'")
            exit()

eval(code, {'__builtins__': {}})

# 全角 'a' と半角 'a' は同じ識別子として動作
ａ = 1
print(a)  # 1 が出力される

# __class__ の各文字を異なるUnicode表現で
__clａｓˢ__  # c, l, a(全角), s(全角), s(上付き)

import unicodedata

# 正規化の確認
unicodedata.normalize('NFKC', 'ａ')  # 'a'
unicodedata.normalize('NFKC', 'ᵃ')  # 'a'
unicodedata.normalize('NFKC', '𝐚')  # 'a'

# すべて同じ識別子として動作
ａ = 1
print(a)  # 1

# 'class' を重複なしで
'c' - 通常
'l' - 通常
'a' - 通常 または 'ａ' または 'ᵃ'
's' - 通常 または 'ｓ' または 'ˢ'
's' - (2つ目) 別の表現を使用

# PEP 3131: Python での識別子処理
# 1. ソースコードを読む
# 2. NFKC 正規化を適用
# 3. 正規化後の文字列を識別子として使用

# 数学太字、斜体なども NFKC 正規化される
𝐚𝐛𝐜  # abc として認識

# 一部の囲み文字も正規化される