from pathlib import Path
import hashlib, json, tiktoken
root = Path(__file__).resolve().parent
encoding = tiktoken.get_encoding("o200k_base")
results = {}
for name in ["before","after","too-short"]:
    text = (root / f"prompt-{name}.txt").read_text(encoding="utf-8")
    results[name] = {"characters":len(text),"tokens":len(encoding.encode(text)),"sha256":hashlib.sha256(text.encode()).hexdigest()}
print(json.dumps({"encoding":"o200k_base","library_version":tiktoken.__version__,"scope":"plain text only; not API usage or model output","results":results},ensure_ascii=False,indent=2))