Emphasize: error codes are application specific and not defined by the GP

Author: davxy

safrole/README.md

@@ -40,23 +40,27 @@ Here are some key differences:
 
 Most of these differences aim to provide a clear and concise protocol specification.
 
-## Additional Notes
+## Error Output
 
-- Error codes returned as output are not part of the specification. Feel free to ignore actual values.
-- On error, post-state must match pre-state.
+On STF (State Transition Function) execution error, post-state must match pre-state.
+
+Possible error codes returned as output are not part of the specification,
+feel free to ignore actual numeric values.
+
+A map for errors codes semantics used by for the test vectors is given in the ASN.1 schema.
 
 ## Tiny Vectors
 
-- [enact-epoch-change-no-tickets-1.json](./tiny/enact-epoch-change-with-no-tickets-1.json)
+- [enact-epoch-change-with-no-tickets-1.json](./tiny/enact-epoch-change-with-no-tickets-1.json)
   - Progress by one slot.
   - Randomness accumulator is updated.
-- [enact-epoch-change-no-tickets-2.json](./tiny/enact-epoch-change-with-no-tickets-2.json)
+- [enact-epoch-change-with-no-tickets-2.json](./tiny/enact-epoch-change-with-no-tickets-2.json)
   - Progress from slot X to slot X.
   - Fail: Timeslot must be strictly monotonic.
-- [enact-epoch-change-no-tickets-3.json](./tiny/enact-epoch-change-with-no-tickets-3.json)
+- [enact-epoch-change-with-no-tickets-3.json](./tiny/enact-epoch-change-with-no-tickets-3.json)
   - Progress from a slot at the begin of the epoch to a slot in the epoch's tail.
   - Tickets mark is not generated (no enough tickets).
-- [enact-epoch-change-no-tickets-4.json](./tiny/enact-epoch-change-with-no-tickets-4.json)
+- [enact-epoch-change-with-no-tickets-4.json](./tiny/enact-epoch-change-with-no-tickets-4.json)
   - Progress from epoch's tail to next epoch.
   - Authorities and entropies are rotated.
   - Epoch mark is generated.

safrole/full/enact-epoch-change-with-no-tickets-2.json

@@ -25180,7 +25180,7 @@
         "gamma_z": "0x88353e19aa1de85428d12d63bac7d725834e7f6558596d9bcd41c80ea2db520d4f1d32fb145474c2ad0c7346bf5498058681da80128ba8900a1b3a244be688d2a689db3e7b5c41eedb484e2de570bc98b76f590f7c9b4122d43c40f7fdd890bf96c1b168e2dcc743f9eadda76c041db42d39f27a58418f88c0ea67656a224934e12b5dfc8f0f460a95c2d467fa41907b"
     },
     "output": {
-        "err": 24
+        "err": "bad_slot"
     },
     "post_state": {
         "tau": 1,

safrole/full/enact-epoch-change-with-no-tickets-2.scale

@@ -25193,7 +25193,7 @@
         "gamma_z": "0x88353e19aa1de85428d12d63bac7d725834e7f6558596d9bcd41c80ea2db520d4f1d32fb145474c2ad0c7346bf5498058681da80128ba8900a1b3a244be688d2a689db3e7b5c41eedb484e2de570bc98b76f590f7c9b4122d43c40f7fdd890bf96c1b168e2dcc743f9eadda76c041db42d39f27a58418f88c0ea67656a224934e12b5dfc8f0f460a95c2d467fa41907b"
     },
     "output": {
-        "err": 29
+        "err": "bad_ticket_attempt"
     },
     "post_state": {
         "tau": 0,

safrole/full/publish-tickets-no-mark-1.json

@@ -25210,7 +25210,7 @@
         "gamma_z": "0x88353e19aa1de85428d12d63bac7d725834e7f6558596d9bcd41c80ea2db520d4f1d32fb145474c2ad0c7346bf5498058681da80128ba8900a1b3a244be688d2a689db3e7b5c41eedb484e2de570bc98b76f590f7c9b4122d43c40f7fdd890bf96c1b168e2dcc743f9eadda76c041db42d39f27a58418f88c0ea67656a224934e12b5dfc8f0f460a95c2d467fa41907b"
     },
     "output": {
-        "err": 31
+        "err": "duplicate_ticket"
     },
     "post_state": {
         "tau": 1,

safrole/full/publish-tickets-no-mark-1.scale

@@ -25206,7 +25206,7 @@
         "gamma_z": "0x88353e19aa1de85428d12d63bac7d725834e7f6558596d9bcd41c80ea2db520d4f1d32fb145474c2ad0c7346bf5498058681da80128ba8900a1b3a244be688d2a689db3e7b5c41eedb484e2de570bc98b76f590f7c9b4122d43c40f7fdd890bf96c1b168e2dcc743f9eadda76c041db42d39f27a58418f88c0ea67656a224934e12b5dfc8f0f460a95c2d467fa41907b"
     },
     "output": {
-        "err": 27
+        "err": "bad_ticket_order"
     },
     "post_state": {
         "tau": 1,

safrole/full/publish-tickets-no-mark-3.json

@@ -25206,7 +25206,7 @@
         "gamma_z": "0x88353e19aa1de85428d12d63bac7d725834e7f6558596d9bcd41c80ea2db520d4f1d32fb145474c2ad0c7346bf5498058681da80128ba8900a1b3a244be688d2a689db3e7b5c41eedb484e2de570bc98b76f590f7c9b4122d43c40f7fdd890bf96c1b168e2dcc743f9eadda76c041db42d39f27a58418f88c0ea67656a224934e12b5dfc8f0f460a95c2d467fa41907b"
     },
     "output": {
-        "err": 28
+        "err": "bad_ticket_proof"
     },
     "post_state": {
         "tau": 1,