-- Maclain Hunter: Logic, Reality, and Reflexive Coherence
-- Exact authored source SHA-256: 5c93e905136c021a4844ed676a5465e0a5d1d1ff660c472ee711b59b02e5ef15
-- Machine formalization by Replit Agent; authority below Logic/Logos/God.
import Lean
namespace HunterAuthored

theorem source_identity_rule (α : Type) (a : α) : a = a := rfl
#print axioms source_identity_rule

end HunterAuthored