Families

Decide and validate

Accepting, refusing, or flagging an inconsistency, according to rules you can write down and stand behind. This is the family where determinism is not a comfort but a requirement: a decision that changes between two identical calls is not a decision, and cannot be defended to anyone.

Decide and validate

Do I accept this, and on what grounds?

1 entry

Roadmap

This need is missing from the catalogue. Propose it, that is how it grows.