fix_text.py

import os

replacements = {
    "specs/FULL_specs.txt": (
        "You cannot pass a potentially `unknown` variable into critical control paths. You must verify it using `ok()`, which returns `true` if the variable has a concrete value and `false` if it is `unknown`.",
        "You cannot pass a potentially `unknown` variable into critical control paths. You must verify it using the `is unknown` postfix operator, and explicitly clear the taint using `ok()` before proceeding."
    ),
    "specs/safety_systems_specs.txt": (
        "You cannot pass a potentially `unknown` variable into critical control paths. You must verify it using `ok()`, which returns `true` if the variable has a concrete value and `false` if it is `unknown`.",
        "You cannot pass a potentially `unknown` variable into critical control paths. You must verify it using the `is unknown` postfix operator, and explicitly clear the taint using `ok()` before proceeding."
    ),
    "man/man7/nitpick-safety_systems.7": (
        "You cannot pass a potentially \\f[V]unknown\\f[R] variable into critical\ncontrol paths.\nYou must verify it using \\f[V]ok()\\f[R], which returns \\f[V]true\\f[R] if\nthe variable has a concrete value and \\f[V]false\\f[R] if it is\n\\f[V]unknown\\f[R].",
        "You cannot pass a potentially \\f[V]unknown\\f[R] variable into critical\ncontrol paths.\nYou must verify it using the \\f[V]is unknown\\f[R] postfix operator,\nand explicitly clear the taint using \\f[V]ok()\\f[R] before proceeding."
    )
}

for filepath, (old_text, new_text) in replacements.items():
    if not os.path.exists(filepath):
        print(f"Not found: {filepath}")
        continue
    with open(filepath, 'r') as f:
        content = f.read()
    
    if old_text in content:
        content = content.replace(old_text, new_text)
        with open(filepath, 'w') as f:
            f.write(content)
        print(f"Fixed {filepath}")
    else:
        print(f"Text not found in {filepath}")