From 30ca98f1cbb7ec89e148790deb55ccf48c4e1c89 Mon Sep 17 00:00:00 2001 From: Joe Carstairs Date: Wed, 16 Jul 2025 07:57:43 +0100 Subject: add req-041, req-042 --- requirements/catalogue/req-041.md | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 requirements/catalogue/req-041.md (limited to 'requirements/catalogue/req-041.md') diff --git a/requirements/catalogue/req-041.md b/requirements/catalogue/req-041.md new file mode 100644 index 0000000..d33fcce --- /dev/null +++ b/requirements/catalogue/req-041.md @@ -0,0 +1,6 @@ +# req-041 + +Every interface to any given bucket's balance in Schist returns the return value +of the procedure, `calculate_bucket_balance` as described in req-030. + +Source: req-010 -- cgit v1.2.3