a11oy / lean4agent

Commit History

  1. Dev B: add governance source files missing on Space (tau eval, IETF receipt view, Colang ROE policy, /governance page, Lean4Agent scaffold) — byte-identical to GitHub; fixes Dockerfile COPY cache-miss build error⁠

    betterwithage +1: Perplexity Computer Agent
    Verified signature
    dcc82ec