Add Lean kernel verification for Claims 1 2 and 6

Publish cumulative six-claim reproduction evidence

Activate current evaluator-visible claim package

Add current claim verification evidence (part 2)

Add current claim verification evidence (part 1)

Update logbook: Convex Distance Operator Transport (nPC7M7XLEv)

initial commit