test+docs: property-test the core guarantees; add Guarantees page#18

vigneshnarayanaswamy merged 1 commit into

mainblock/model-ledger:mainfrom

docs/guaranteesblock/model-ledger:docs/guaranteesCopy head branch name to clipboard