This required list is the doctrine in schema form: a proof contract is invalid…

Max Kle1nz@maxkle1nz

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.

  "required": ["id", "claim", "proof_type", "commands", "artifacts", "positive_assertions", "negative_proofs", "non_claims"],