SE Paper 210: Operational Identity Verification¶

A reference-implementation check for the finite mathematical core of SE-210, Operational Identity: A Finite Audit of Declared and Implemented Rules of Sameness.

Purpose¶

The purpose of this project is to confirm the algorithmic and complexity claims are internally correct. It tests the core once R, the partitions, surfaces, and uses are supplied.