Comment by zby

""" we need to build:

    Formal specification layers that agents execute against, not just prompts

"""

It is probably easier to just write that program.