Add solstone-core-processing-record, owning the _solstone_processing record's closed vocabularies and a lenient, field-wise terminal-proof predicate plus failure-exhaustion logic, backed by vectors sourced from the Python reference. Wire terminal_proof.rs to depend on it instead of its copied schema constant and inline four-condition conjunction. Publish a JSON Schema under core documenting the record contract and known asymmetries. No reader verdict changes on any input.