/sg-logic-audit — Check logic against its obligations

Audit whether a procedure or algorithm satisfies what it must guarantee. Follow the whole property across files and services, search for counterexamples, and separate measured facts from reasoned claims. Report only; never edit source.

This lane answers "is this logic correct against its contract?" It complements:

• /sg-code-audit: file- and zone-oriented bug discovery;
• /sg-process-check: before/after behavioral change observation;
• /sg-visual-run: browser confirmation.

An unchanged implementation can still violate its contract. Do not use the previous version as the correctness oracle.

Invocations