AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug ~~Donate~~ Contacts

Soundness

Property

Summary

How well justified that claim is — this rewrite's own tier where it has one, and
its set's where it has not. See Soundness on what a tier is and is not.

Remarks

This read the set's tier and nothing else until a rule could carry one, which made it
the same answer for every step of a set — and a set's tier is the minimum over
its rules, so one conditional rule spoke for a hundred. All thirty sets declare
SoundUnderAssumptions while most rules written
as data are Sound; a step that fires one of
those now says so. RuleAuthoringGuideTest measures how many, so that the figure
cannot go stale in a comment.
The fallback is not a claim about the rule. Where Rule is null, or is an
arm read off a switch and so declares no tier, what is known is the set's tier
and that is what this gives.

AngouriMath

Table of contents

AngouriMath

Soundness