from pathlib import Path
import argparse
import copy
import csv
import hashlib
import io
import json
import re

parser = argparse.ArgumentParser()
parser.add_argument("--actual")
parser.add_argument("--local-http", action="store_true")
args = parser.parse_args()
checks = []
def check(condition, label):
    if not condition:
        raise ValueError(label)
    checks.append(label)
def load(name): return json.loads(Path(name).read_text())
def rows(name): return list(csv.DictReader(io.StringIO(Path(name).read_text(encoding="utf-8-sig"))))
def negative(fn, value, label):
    try: fn(value)
    except (ValueError, AssertionError, KeyError, TypeError, IndexError): checks.append(label)
    else: raise AssertionError("Negative input accepted: " + label)
original=Path("before.md").read_text();start="<!-- selection:start -->";end="<!-- selection:end -->"
def validate(value):
    if value.split(start)[0]!=original.split(start)[0] or value.split(end)[1]!=original.split(end)[1]: raise ValueError("protected text changed")
    chosen=value.split(start)[1].split(end)[0]
    if chosen==original.split(start)[1].split(end)[0] or not chosen.strip(): raise ValueError("selection not rewritten")
validate(Path("reference.md").read_text());checks.append("manual reference only changes selection")
negative(validate,Path("reference.md").read_text().replace("original-course-03","changed-source"),"frontmatter mutation rejected")
if args.actual: validate(Path(args.actual).read_text());checks.append("actual selected rewrite boundary valid; content needs human review")
report={"layer":"offline/material checks, not proof of unrun product or model", "checks":checks, "count":len(checks)}
Path("verification.json").write_text(json.dumps(report,ensure_ascii=False,indent=2))
print(json.dumps(report,ensure_ascii=False))