* specs: system configuration contract and derivation

* specs: clarify system config version 0 and receipt processing

* specs: system config grammar and wording fixes