This preprint extends the IRS/SPARC v5.1 framework with formal obligations, scope boundaries, and expanded theoretical synthesis. It is published as a supplement to the base IRS/SPARC v5.1 preprint and should be read alongside that record.
Robert Daniel Kitcey (Sat,) studied this question.