Reification Fragment

Worked Lean examples for se100.example.ReificationFragment.

The examples represent a decision record containing referential commitments together with causal and normative claims attributed to a source.

The neutral form commits to the attribution propositions

A.asserts source causalClaim

and

A.asserts source normativeClaim

without thereby committing directly to causalClaim or normativeClaim.

This module introduces no additional public theory declarations.