Add Lean kernel verification for Claims 1 2 and 6

Publish cumulative six-claim reproduction evidence

Add current claim verification evidence (part 2)