Add sofagent to adopters (PR audit gate, L2)

[KongFangXun]

Adds one row to docs/adopters.md — sofagent, an open-source commit-time audit engine for AI coding agents.

The loop we run (dogfood, in production on our own repo):

• Pattern: PR Audit Gate — every PR triggers a GitHub Actions workflow that audits the real base..head diff with 24 rules (secret leaks, out-of-scope edits, blind modifications without prior reads, commit-message prompt injection)
• Maker/checker: audit exit code maps to three states — pass → bot auto-approves (green light), warn → yellow label, fail → red label + CI blocks
• Human gate: merge always stays with the maintainer (HITL)
• Level: L2, honest — audit on every PR + tamper-evident HMAC-signed local audit history; not yet full L3 (no scheduled self-audit of the audit)

Why relevant to loop engineering: it's the verification leg of the loop for agent-authored code — when Claude Code/Codex/Cursor agents write the PRs, a deterministic audit gate before merge is what keeps the loop trustworthy. MIT, TypeScript.

Single-line change to docs/adopters.md only.

[github-actions]

Thanks @KongFangXun for contributing an adopter listing — visible, reviewable PRs like this grow the reference for everyone.

What happens next

• Maintainer aims for same-day review on story, adopter, and scoped docs/example PRs (CONTRIBUTING.md).
• good first issue PRs: comment on the linked issue so we can assign and close on merge.

More ways to help

• Contributor quickstart + open issues
• Good first issue backlog

— loop-engineering maintainers

[cobusgreyling]

Automated fix: resolved merge conflicts and rebased onto main (kept both the QA API Automation and sofagent adopter rows).