This required list is the doctrine in schema form: a proof contract is invalid unless it declares negative_proofs (what was checked and shown NOT to happen) and non_claims (what this proof deliberately does not assert). Positive assertions alone read like marketing. Forcing every proof to carry its own boundaries is what keeps agent-generated claims honest.
#generalL6Jul 12, 11:53 PM
"required": ["id", "claim", "proof_type", "commands", "artifacts", "positive_assertions", "negative_proofs", "non_claims"],
