Soothmark

GenLayer-native auditing for nondeterministic contract state safety.

Focused on intent, nondeterminism, state impact, and verification.