Repository: zimeon/ocfl-py

Issue:
Improve error reporting for the case of bad digestAlgorithm
See https://github.com/OCFL/fixtures/pull/85

Use of `E039` should probably be another `E025` error.

Want to tidy up all sorts of confusing errors caused because validator rejects `md5` and then carries on with `sha512` as the default for other checks:

```
(py38) simeon@RottenApple fixtures> ../ocfl-validate.py 1.0/bad-objects/E025_E001_wrong_digest_algorithm/
[E025a] OCFL Object root inventory manifest block includes a digest (d2c79c8519af858fac2993c2373b5203) that doesn't have the correct form for the sha512 algorithm (see https://ocfl.io/1.0/spec/#E025)
[E025a] OCFL Object root inventory manifest block includes a digest (fccd3f96d461f495a3bef31dc1d28f01) that doesn't have the correct form for the sha512 algorithm (see https://ocfl.io/1.0/spec/#E025)
[E039] OCFL Object root inventory `digestAlgorithm` attribute not an allowed value (got 'md5') (see https://ocfl.io/1.0/spec/#E039)
[E050d] OCFL Object root inventory v1 version state block includes a bad digest (d2c79c8519af858fac2993c2373b5203) (see https://ocfl.io/1.0/spec/#E050)
[E050d] OCFL Object root inventory v1 version state block includes a bad digest (fccd3f96d461f495a3bef31dc1d28f01) (see https://ocfl.io/1.0/spec/#E050)
[E058a] OCFL Object root inventory is missing sidecar digest file at inventory.json.sha512 (see https://ocfl.io/1.0/spec/#E058)
INFO:ocfl.object:OCFL object at 1.0/bad-objects/E025_E001_wrong_digest_algorithm/ is INVALID
```

Either the validator should short-circuit at finding a bad `digestAlgorithm` or else make other checks more about consistency given a disallowed algorithm.

Discussion:
github-actions[bot]: Tests succeeded. Updating extracted errors codes and demo documentation...

Patch:
diff --git a/docs/demo_build_v1_0_spec_examples.md b/docs/demo_build_v1_0_spec_examples.md
index 23e4475..44e6f86 100644
--- a/docs/demo_build_v1_0_spec_examples.md
+++ b/docs/demo_build_v1_0_spec_examples.md
@@ -100,7 +100,7 @@ This is inventory should match the example with 3 versions in <https://ocfl.io/1
   "type": "https://ocfl.io/1.0/spec/#inventory",
   "versions": {
     "v1": {
-      "created": "2024-10-21T17:57:00.954822Z",
+      "created": "2024-10-21T18:43:40.003607Z",
       "state": {
         "7dcc352f96c56dc...c31": [
           "foo/bar.xml"
@@ -114,7 +114,7 @@ This is inventory should match the example with 3 versions in <https://ocfl.io/1
       }
     },
     "v2": {
-      "created": "2024-10-21T17:57:00.955241Z",
+      "created": "2024-10-21T18:43:40.004042Z",
       "state": {
         "4d27c86b026ff70...b53": [
           "foo/bar.xml"
@@ -126,7 +126,7 @@ This is inventory should match the example with 3 versions in <https://ocfl.io/1
       }
     },
     "v3": {
-      "created": "2024-10-21T17:57:00.955552Z",
+      "created": "2024-10-21T18:43:40.004357Z",
       "state": {
         "4d27c86b026ff70...b53": [
           "foo/bar.xml"
diff --git a/docs/demo_build_v1_1_spec_examples.md b/docs/demo_build_v1_1_spec_examples.md
index a5d16c2..0c6e4ca 100644
--- a/docs/demo_build_v1_1_spec_examples.md
+++ b/docs/demo_build_v1_1_spec_examples.md
@@ -100,7 +100,7 @@ This is inventory should match the example with 3 versions in <https://ocfl.io/1
   "type": "https://ocfl.io/1.1/spec/#inventory",
   "versions": {
     "v1": {
-      "created": "2024-10-21T17:57:01.757332Z",
+      "created": "2024-10-21T18:43:40.843206Z",
       "state": {
         "7dcc352f96c56dc...c31": [
           "foo/bar.xml"
@@ -114,7 +114,7 @@ This is inventory should match the example with 3 versions in <https://ocfl.io/1
       }
     },
     "v2": {
-      "created": "2024-10-21T17:57:01.757764Z",
+      "created": "2024-10-21T18:43:40.843685Z",
       "state": {
         "4d27c86b026ff70...b53": [
           "foo/bar.xml"
@@ -126,7 +126,7 @@ This is inventory should match the example with 3 versions in <https://ocfl.io/1
       }
     },
     "v3": {
-      "created": "2024-10-21T17:57:01.758072Z",
+      "created": "2024-10-21T18:43:40.844004Z",
       "state": {
         "4d27c86b026ff70...b53": [
           "foo/bar.xml"
diff --git a/docs/demo_ocfl_object_script.md b/docs/demo_ocfl_object_script.md
index e95b804..435b98c 100644
--- a/docs/demo_ocfl_object_script.md
+++ b/docs/demo_ocfl_object_script.md
@@ -35,7 +35,7 @@ Without an `--objdir` argument the script just writes out the inventory for the
   "type": "https://ocfl.io/1.1/spec/#inventory",
   "versions": {
     "v1": {
-      "created": "2024-10-21T17:56:53.127967Z",
+      "created": "2024-10-21T18:43:31.514390Z",
       "state": {
         "43a43fe8a8a082d3b5343dfaf2fd0c8b8e370675b1f376e92e9994612c33ea255b11298269d72f797399ebb94edeefe53df243643676548f584fb8603ca53a0f": [
           "a_file.txt"
@@ -69,7 +69,7 @@ Without an `--objdir` argument the script just writes out the inventory for each
   "type": "https://ocfl.io/1.1/spec/#inventory",
   "versions": {
     "v1": {
-      "created": "2024-10-21T17:56:53.371204Z",
+      "created": "2024-10-21T18:43:31.779165Z",
       "state": {
         "43a43fe8a8a082d3b5343dfaf2fd0c8b8e370675b1f376e92e9994612c33ea255b11298269d72f797399ebb94edeefe53df243643676548f584fb8603ca53a0f": [
           "a_file.txt"
@@ -77,7 +77,7 @@ Without an `--objdir` argument the script just writes out the inventory for each
       }
     },
     "v2": {
-      "created": "2024-10-21T17:56:53.371363Z",
+      "created": "2024-10-21T18:43:31.779385Z",
       "state": {
         "296e72b8fd5f7f0ac1473993600ae34953d5dab646f17e7b182b8648aff830d7bf01b56490777cb3e72b33fcc1ae520506badea1032252d1a55fd7362e269975": [
           "a_file.txt"
@@ -85,7 +85,7 @@ Without an `--objdir` argument the script just writes out the inventory for each
       }
     },
     "v3": {
-      "created": "2024-10-21T17:56:53.371494Z",
+      "created": "2024-10-21T18:43:31.779535Z",
       "state": {
         "43a43fe8a8a082d3b5343dfaf2fd0c8b8e370675b1f376e92e9994612c33ea255b11298269d72f797399ebb94edeefe53df243643676548f584fb8603ca53a0f": [
           "a_file.txt"
diff --git a/docs/demo_using_bagit_bags.md b/docs/demo_using_bagit_bags.md
index 1c0d3ac..543f4fa 100644
--- a/docs/demo_using_bagit_bags.md
+++ b/docs/demo_using_bagit_bags.md
@@ -161,8 +161,8 @@ Taking the newly created OCFL object `/tmp/obj` we can `--extract` the `v4` cont
 INFO:root:Extracted v4 into tmp/extracted_v4
 INFO:bagit:Creating bag for directory tmp/extracted_v4
 INFO:bagit:Creating data directory
-INFO:bagit:Moving my_content to tmp/extracted_v4/tmpvzloz7i3/my_content
-INFO:bagit:Moving tmp/extracted_v4/tmpvzloz7i3 to data
+INFO:bagit:Moving my_content to tmp/extracted_v4/tmp88no9sto/my_content
+INFO:bagit:Moving tmp/extracted_v4/tmp88no9sto to data
 INFO:bagit:Using 1 processes to generate manifests: sha512
 INFO:bagit:Generating manifest lines for file data/my_content/dracula.txt
 INFO:bagit:Generating manifest lines for file data/my_content/dunwich.txt
diff --git a/docs/validation_status.md b/docs/validation_status.md
index 8f65176..8bdee18 100644
--- a/docs/validation_status.md
+++ b/docs/validation_status.md
@@ -23,17 +23,17 @@ The following tables show the implementation status of all errors and warnings i
 | [E005](https://ocfl.io/1.1/spec#E005) | 'The [version declaration] filename must conform to the pattern T=dvalue, where T MUST be 0, and dvalue must be ocfl_object_, followed by the OCFL specification version number.' | _Not implemented_ |
 | [E006](https://ocfl.io/1.1/spec#E006) | 'The [version declaration] filename must conform to the pattern T=dvalue, where T must be 0, and dvalue MUST be ocfl_object_, followed by the OCFL specification version number.' | The OCFL object conformance declaration filename must be 0=ocfl_object_, followed by the OCFL specification version number, got %s instead \[[ocfl/validator.py#L136](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L136)\] |
 | [E007](https://ocfl.io/1.1/spec#E007) | 'The text contents of the [version declaration] file must be the same as dvalue, followed by a newline (\n).' | OCFL Object declaration file %s contents do not match file name without leading 0= (the 'dvalue') \[[ocfl/validator.py#L140](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L140)\] |
-| [E008](https://ocfl.io/1.1/spec#E008) | 'OCFL Object content must be stored as a sequence of one or more versions.' | OCFL Object %s inventory versions block does not contain any versions, there must be at least version 1 \[[ocfl/inventory_validator.py#L264](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L264)\] |
-| [E009](https://ocfl.io/1.1/spec#E009) | 'The version number sequence MUST start at 1 and must be continuous without missing integers.' | OCFL Object %s inventory versions block does not contain v1 or a zero padded equivalent \[[ocfl/inventory_validator.py#L284](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L284)\] |
-| [E010](https://ocfl.io/1.1/spec#E010) | 'The version number sequence must start at 1 and MUST be continuous without missing integers.' | OCFL Object %s inventory versions block includes an out-of-sequence version \[[ocfl/inventory_validator.py#L295](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L295)\] |
-| [E011](https://ocfl.io/1.1/spec#E011) | 'If zero-padded version directory numbers are used then they must start with the prefix v and then a zero.' | **Missing description** \[[ocfl/inventory_validator.py#L302](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L302)\] |
+| [E008](https://ocfl.io/1.1/spec#E008) | 'OCFL Object content must be stored as a sequence of one or more versions.' | OCFL Object %s inventory versions block does not contain any versions, there must be at least version 1 \[[ocfl/inventory_validator.py#L265](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L265)\] |
+| [E009](https://ocfl.io/1.1/spec#E009) | 'The version number sequence MUST start at 1 and must be continuous without missing integers.' | OCFL Object %s inventory versions block does not contain v1 or a zero padded equivalent \[[ocfl/inventory_validator.py#L285](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L285)\] |
+| [E010](https://ocfl.io/1.1/spec#E010) | 'The version number sequence must start at 1 and MUST be continuous without missing integers.' | OCFL Object %s inventory versions block includes an out-of-sequence version \[[ocfl/inventory_validator.py#L296](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L296)\] |
+| [E011](https://ocfl.io/1.1/spec#E011) | 'If zero-padded version directory numbers are used then they must start with the prefix v and then a zero.' | **Missing description** \[[ocfl/inventory_validator.py#L303](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L303)\] |
 | [E012](https://ocfl.io/1.1/spec#E012) | 'All version directories of an object must use the same naming convention: either a non-padded version directory number, or a zero-padded version directory number of consistent length.' | _Not implemented_ |
 | [E013](https://ocfl.io/1.1/spec#E013) | 'Operations that add a new version to an object must follow the version directory naming convention established by earlier versions.' | _Not implemented_ |
 | [E014](https://ocfl.io/1.1/spec#E014) | 'In all cases, references to files inside version directories from inventory files must use the actual version directory names.' | _Not implemented_ |
 | [E015](https://ocfl.io/1.1/spec#E015) | 'There must be no other files as children of a version directory, other than an inventory file and a inventory digest.' | OCFL Object version directory %s includes an illegal file (%s) \[[ocfl/validator.py#L418](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L418)\] |
 | [E016](https://ocfl.io/1.1/spec#E016) | 'Version directories must contain a designated content sub-directory if the version contains files to be preserved, and should not contain this sub-directory otherwise.' | _Not implemented_ |
-| [E017](https://ocfl.io/1.1/spec#E017) | 'The contentDirectory value MUST NOT contain the forward slash (/) path separator and must not be either one or two periods (. or ..).' | OCFL Object %s inventory contentDirectory must be a string and must not contain a forward slash (/) \[[ocfl/inventory_validator.py#L123](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L123)\] |
-| [E018](https://ocfl.io/1.1/spec#E018) | 'The contentDirectory value must not contain the forward slash (/) path separator and MUST NOT be either one or two periods (. or ..).' | OCFL Object %s inventory contentDirectory must not be either . or .. \[[ocfl/inventory_validator.py#L125](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L125)\] |
+| [E017](https://ocfl.io/1.1/spec#E017) | 'The contentDirectory value MUST NOT contain the forward slash (/) path separator and must not be either one or two periods (. or ..).' | OCFL Object %s inventory contentDirectory must be a string and must not contain a forward slash (/) \[[ocfl/inventory_validator.py#L124](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L124)\] |
+| [E018](https://ocfl.io/1.1/spec#E018) | 'The contentDirectory value must not contain the forward slash (/) path separator and MUST NOT be either one or two periods (. or ..).' | OCFL Object %s inventory contentDirectory must not be either . or .. \[[ocfl/inventory_validator.py#L126](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L126)\] |
 | [E019](https://ocfl.io/1.1/spec#E019) | 'If the key contentDirectory is set, it MUST be set in the first version of the object and must not change between versions of the same object.' | OCFL Object %s inventory sets contentDirectory whereas it was not set in the first version inventory \[[ocfl/validator.py#L329](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L329) [ocfl/validator.py#L337](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L337)\] |
 | [E020](https://ocfl.io/1.1/spec#E020) | 'If the key contentDirectory is set, it must be set in the first version of the object and MUST NOT change between versions of the same object.' | OCFL Object %s inventory contentDirectory %s does not match root contentDirectory %s \[[ocfl/validator.py#L340](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L340)\] |
 | [E021](https://ocfl.io/1.1/spec#E021) | 'If the key contentDirectory is not present in the inventory file then the name of the designated content sub-directory must be content.' | _Not implemented_ |
@@ -43,23 +43,24 @@ The following tables show the implementation status of all errors and warnings i
 | | E023b | OCFL Object %s manifest does not include files listed in previous version manifests (%s) \[[ocfl/validator.py#L350](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L350)\] |
 | [E024](https://ocfl.io/1.1/spec#E024) | 'There must not be empty directories within a version\'s content directory.' | OCFL Object version %s content directory includes empty path %s \[[ocfl/validator.py#L409](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L409)\] |
 | [E025](https://ocfl.io/1.1/spec#E025) | 'For content-addressing, OCFL Objects must use either sha512 or sha256, and should use sha512.' | _See multiple cases identified with suffixes below_ |
-| | E025a | OCFL Object %s inventory manifest block includes a digest (%s) that doesn't have the correct form for the %s algorithm \[[ocfl/inventory_validator.py#L183](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L183)\] |
+| | E025a | OCFL Object %s inventory `digestAlgorithm` attribute not an allowed digest type (got '%s') \[[ocfl/inventory_validator.py#L118](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L118)\] |
+| | E025b | OCFL Object %s inventory manifest block includes a digest (%s) that doesn't have the correct form for the %s algorithm \[[ocfl/inventory_validator.py#L184](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L184)\] |
 | [E026](https://ocfl.io/1.1/spec#E026) | 'For storage of additional fixity values, or to support legacy content migration, implementers must choose from the following controlled vocabulary of digest algorithms, or from a list of additional algorithms given in the [Digest-Algorithms-Extension].' | _See multiple cases identified with suffixes below_ |
-| | E026a | OCFL Object %s inventory uses unknown digest type %s \[[ocfl/inventory_validator.py#L425](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L425)\] |
+| | E026a | OCFL Object %s inventory uses unknown digest type %s \[[ocfl/inventory_validator.py#L426](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L426)\] |
 | [E027](https://ocfl.io/1.1/spec#E027) | 'OCFL clients must support all fixity algorithms given in the table below, and may support additional algorithms from the extensions.' | _Not implemented_ |
 | [E028](https://ocfl.io/1.1/spec#E028) | 'Optional fixity algorithms that are not supported by a client must be ignored by that client.' | _Not implemented_ |
 | [E029](https://ocfl.io/1.1/spec#E029) | 'SHA-1 algorithm defined by [FIPS-180-4] and must be encoded using hex (base16) encoding [RFC4648].' | _Not implemented_ |
 | [E030](https://ocfl.io/1.1/spec#E030) | 'SHA-256 algorithm defined by [FIPS-180-4] and must be encoded using hex (base16) encoding [RFC4648].' | _Not implemented_ |
 | [E031](https://ocfl.io/1.1/spec#E031) | 'SHA-512 algorithm defined by [FIPS-180-4] and must be encoded using hex (base16) encoding [RFC4648].' | _Not implemented_ |
 | [E032](https://ocfl.io/1.1/spec#E032) | '[blake2b-512] must be encoded using hex (base16) encoding [RFC4648].' | _Not implemented_ |
-| [E033](https://ocfl.io/1.1/spec#E033) | 'An OCFL Object Inventory MUST follow the [JSON] structure described in this section and must be named inventory.json.' | OCFL Object %s inventory is not valid JSON (%s) \[[ocfl/object.py#L611](https://github.com/zimeon/ocfl-py/blob/main/ocfl/object.py#L611) [ocfl/validator.py#L193](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L193)\] |
+| [E033](https://ocfl.io/1.1/spec#E033) | 'An OCFL Object Inventory MUST follow the [JSON] structure described in this section and must be named inventory.json.' | OCFL Object %s inventory is not valid JSON (%s) \[[ocfl/object.py#L622](https://github.com/zimeon/ocfl-py/blob/main/ocfl/object.py#L622) [ocfl/validator.py#L193](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L193)\] |
 | [E034](https://ocfl.io/1.1/spec#E034) | 'An OCFL Object Inventory must follow the [JSON] structure described in this section and MUST be named inventory.json.' | _Not implemented_ |
 | [E035](https://ocfl.io/1.1/spec#E035) | 'The forward slash (/) path separator must be used in content paths in the manifest and fixity blocks within the inventory.' | _Not implemented_ |
 | [E036](https://ocfl.io/1.1/spec#E036) | 'An OCFL Object Inventory must include the following keys: [id, type, digestAlgorithm, head]' | _See multiple cases identified with suffixes below_ |
 | | E036a | OCFL Object %s inventory missing `id` attribute \[[ocfl/inventory_validator.py#L91](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L91)\] |
 | | E036b | OCFL Object %s inventory missing `type` attribute \[[ocfl/inventory_validator.py#L93](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L93)\] |
 | | E036c | OCFL Object %s inventory missing `digestAlgorithm` attribute \[[ocfl/inventory_validator.py#L109](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L109)\] |
-| | E036d | OCFL Object %s inventory missing `head` attribute \[[ocfl/inventory_validator.py#L141](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L141)\] |
+| | E036d | OCFL Object %s inventory missing `head` attribute \[[ocfl/inventory_validator.py#L142](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L142)\] |
 | [E037](https://ocfl.io/1.1/spec#E037) | '[id] must be unique in the local context, and should be a URI [RFC3986].' | _See multiple cases identified with suffixes below_ |
 | | E037a | OCFL Object %s inventory `id` attribute is empty or badly formed \[[ocfl/inventory_validator.py#L83](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L83)\] |
 | | E037b | OCFL Object %s inventory id `%s` does not match the value in the root inventory `%s` \[[ocfl/validator.py#L325](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L325)\] |
@@ -67,52 +68,52 @@ The following tables show the implementation status of all errors and warnings i
 | | E038a | OCFL Object %s inventory `type` attribute has wrong value (expected %s, got %s) \[[ocfl/inventory_validator.py#L98](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L98)\] |
 | | E038b | OCFL Object %s inventory `type` attribute does not look like a valid specification URI (got %s), will proceed as if using version %s \[[ocfl/inventory_validator.py#L103](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L103)\] |
 | | E038c | OCFL Object %s inventory `type` attribute has an unsupported specification version number (%s), will proceed as if using version %s \[[ocfl/inventory_validator.py#L107](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L107)\] |
-| [E039](https://ocfl.io/1.1/spec#E039) | '[digestAlgorithm] must be the algorithm used in the manifest and state blocks.' | OCFL Object %s inventory `digestAlgorithm` attribute not an allowed value (got '%s') \[[ocfl/inventory_validator.py#L118](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L118)\] |
-| [E040](https://ocfl.io/1.1/spec#E040) | [head] must be the version directory name with the highest version number.' | OCFL Object %s inventory head attribute doesn't match versions (got %s, expected %s) \[[ocfl/inventory_validator.py#L145](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L145)\] |
+| [E039](https://ocfl.io/1.1/spec#E039) | '[digestAlgorithm] must be the algorithm used in the manifest and state blocks.' | _Not implemented_ |
+| [E040](https://ocfl.io/1.1/spec#E040) | [head] must be the version directory name with the highest version number.' | OCFL Object %s inventory head attribute doesn't match versions (got %s, expected %s) \[[ocfl/inventory_validator.py#L146](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L146)\] |
 | [E041](https://ocfl.io/1.1/spec#E041) | 'In addition to these keys, there must be two other blocks present, manifest and versions, which are discussed in the next two sections.' | _See multiple cases identified with suffixes below_ |
-| | E041a | OCFL Object %s inventory missing `manifest` attribute \[[ocfl/inventory_validator.py#L131](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L131)\] |
-| | E041b | OCFL Object %s inventory missing `versions` attribute \[[ocfl/inventory_validator.py#L136](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L136)\] |
-| | E041c | OCFL Object %s inventory manifest block is not a JSON object \[[ocfl/inventory_validator.py#L176](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L176)\] |
+| | E041a | OCFL Object %s inventory missing `manifest` attribute \[[ocfl/inventory_validator.py#L132](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L132)\] |
+| | E041b | OCFL Object %s inventory missing `versions` attribute \[[ocfl/inventory_validator.py#L137](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L137)\] |
+| | E041c | OCFL Object %s inventory manifest block is not a JSON object \[[ocfl/inventory_validator.py#L177](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L177)\] |
 | [E042](https://ocfl.io/1.1/spec#E042) | 'Content paths within a manifest block must be relative to the OCFL Object Root.' | _See multiple cases identified with suffixes below_ |
-| | E042a | OCFL Object %s inventory manifest includes invalid content path %s \[[ocfl/inventory_validator.py#L460](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L460)\] |
-| | E042b | OCFL Object %s inventory manifest includes content path %s with invalid version directory \[[ocfl/inventory_validator.py#L406](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L406)\] |
-| | E042c | OCFL Object %s inventory manifest includes invalid content path %s that doesn't match the content directory name %s \[[ocfl/inventory_validator.py#L463](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L463)\] |
+| | E042a | OCFL Object %s inventory manifest includes invalid content path %s \[[ocfl/inventory_validator.py#L461](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L461)\] |
+| | E042b | OCFL Object %s inventory manifest includes content path %s with invalid version directory \[[ocfl/inventory_validator.py#L407](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L407)\] |
+| | E042c | OCFL Object %s inventory manifest includes invalid content path %s that doesn't match the content directory name %s \[[ocfl/inventory_validator.py#L464](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L464)\] |
 | [E043](https://ocfl.io/1.1/spec#E043) | 'An OCFL Object Inventory must include a block for storing versions.' | _Not implemented_ |
-| [E044](https://ocfl.io/1.1/spec#E044) | 'This block MUST have the key of versions within the inventory, and it must be a JSON object.' | OCFL Object %s inventory versions block is not a JSON object \[[ocfl/inventory_validator.py#L261](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L261)\] |
+| [E044](https://ocfl.io/1.1/spec#E044) | 'This block MUST have the key of versions within the inventory, and it must be a JSON object.' | OCFL Object %s inventory versions block is not a JSON object \[[ocfl/inventory_validator.py#L262](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L262)\] |
 | [E045](https://ocfl.io/1.1/spec#E045) | 'This block must have the key of versions within the inventory, and it MUST be a JSON object.' | _Not implemented_ |
 | [E046](https://ocfl.io/1.1/spec#E046) | 'The keys of [the versions object] must correspond to the names of the version directories used.' | _See multiple cases identified with suffixes below_ |
 | | E046a | OCFL Object root inventory describes version %s but no corresponding version directory is present \[[ocfl/validator.py#L420](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L420)\] |
 | | E046b | OCFL Object includes directory %s that looks like a version directory but isn't a valid version in the inventory \[[ocfl/validator.py#L255](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L255)\] |
 | [E047](https://ocfl.io/1.1/spec#E047) | 'Each value [of the versions object] must be another JSON object that characterizes the version, as described in the 3.5.3.1 Version section.' | _Not implemented_ |
-| [E048](https://ocfl.io/1.1/spec#E048) | 'A JSON object to describe one OCFL Version, which must include the following keys: [created, state]' | OCFL Object %s inventory %s version block does not include a created date or it is malformed \[[ocfl/inventory_validator.py#L322](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L322)\] |
-| | E048c | OCFL Object %s inventory %s version block does not include a state block \[[ocfl/inventory_validator.py#L338](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L338)\] |
+| [E048](https://ocfl.io/1.1/spec#E048) | 'A JSON object to describe one OCFL Version, which must include the following keys: [created, state]' | OCFL Object %s inventory %s version block does not include a created date or it is malformed \[[ocfl/inventory_validator.py#L323](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L323)\] |
+| | E048c | OCFL Object %s inventory %s version block does not include a state block \[[ocfl/inventory_validator.py#L339](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L339)\] |
 | [E049](https://ocfl.io/1.1/spec#E049) | '[the value of the "created" key] must be expressed in the Internet Date/Time Format defined by [RFC3339].' | _See multiple cases identified with suffixes below_ |
-| | E049a | OCFL Object %s inventory %s version block created date SHOULD include a timezone designator \[[ocfl/inventory_validator.py#L330](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L330)\] |
-| | E049b | OCFL Object %s inventory %s version block created date SHOULD be granular to the seconds level \[[ocfl/inventory_validator.py#L332](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L332)\] |
-| | E049c | OCFL Object %s inventory %s version block has bad created date, must be IS8601 (%s) \[[ocfl/inventory_validator.py#L334](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L334)\] |
-| | E049d | OCFL Object %s inventory %s version block created value is not a JSON string \[[ocfl/inventory_validator.py#L324](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L324)\] |
+| | E049a | OCFL Object %s inventory %s version block created date SHOULD include a timezone designator \[[ocfl/inventory_validator.py#L331](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L331)\] |
+| | E049b | OCFL Object %s inventory %s version block created date SHOULD be granular to the seconds level \[[ocfl/inventory_validator.py#L333](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L333)\] |
+| | E049c | OCFL Object %s inventory %s version block has bad created date, must be IS8601 (%s) \[[ocfl/inventory_validator.py#L335](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L335)\] |
+| | E049d | OCFL Object %s inventory %s version block created value is not a JSON string \[[ocfl/inventory_validator.py#L325](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L325)\] |
 | [E050](https://ocfl.io/1.1/spec#E050) | 'The keys of [the "state" JSON object] are digest values, each of which must correspond to an entry in the manifest of the inventory.' | _See multiple cases identified with suffixes below_ |
-| | E050a | OCFL Object %s inventory state refers to one or more digests that are not in the manifest (%s) \[[ocfl/inventory_validator.py#L414](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L414)\] |
-| | E050c | OCFL Object %s inventory %s version block state block is not a JSON object \[[ocfl/inventory_validator.py#L371](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L371)\] |
-| | E050d | OCFL Object %s inventory %s version state block includes a bad digest (%s) \[[ocfl/inventory_validator.py#L376](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L376)\] |
-| | E050e | OCFL Object %s inventory %s version block state block value for digest %s is not list \[[ocfl/inventory_validator.py#L378](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L378)\] |
-| | E050f | OCFL Object %s inventory version %s state includes digest value %s that is not listed in the manifest block \[[ocfl/inventory_validator.py#L387](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L387)\] |
+| | E050a | OCFL Object %s inventory state refers to one or more digests that are not in the manifest (%s) \[[ocfl/inventory_validator.py#L415](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L415)\] |
+| | E050c | OCFL Object %s inventory %s version block state block is not a JSON object \[[ocfl/inventory_validator.py#L372](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L372)\] |
+| | E050d | OCFL Object %s inventory %s version state block includes a bad digest (%s) \[[ocfl/inventory_validator.py#L377](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L377)\] |
+| | E050e | OCFL Object %s inventory %s version block state block value for digest %s is not list \[[ocfl/inventory_validator.py#L379](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L379)\] |
+| | E050f | OCFL Object %s inventory version %s state includes digest value %s that is not listed in the manifest block \[[ocfl/inventory_validator.py#L388](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L388)\] |
 | [E051](https://ocfl.io/1.1/spec#E051) | 'The logical path [value of a "state" digest key] must be interpreted as a set of one or more path elements joined by a / path separator.' | NOTE - E051 is essentially a processing instruction and can't be tested for. \[_Not implemented_\] |
-| [E052](https://ocfl.io/1.1/spec#E052) | '[logical] Path elements must not be ., .., or empty (//).' | OCFL Object %s inventory %s version block state block includes an invalid path %s that starts or ends with / \[[ocfl/inventory_validator.py#L442](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L442)\] |
-| [E053](https://ocfl.io/1.1/spec#E053) | 'Additionally, a logical path must not begin or end with a forward slash (/).' | OCFL Object %s inventory %s version block state block includes an invalid path %s that includes . .. or // \[[ocfl/inventory_validator.py#L437](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L437)\] |
+| [E052](https://ocfl.io/1.1/spec#E052) | '[logical] Path elements must not be ., .., or empty (//).' | OCFL Object %s inventory %s version block state block includes an invalid path %s that starts or ends with / \[[ocfl/inventory_validator.py#L443](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L443)\] |
+| [E053](https://ocfl.io/1.1/spec#E053) | 'Additionally, a logical path must not begin or end with a forward slash (/).' | OCFL Object %s inventory %s version block state block includes an invalid path %s that includes . .. or // \[[ocfl/inventory_validator.py#L438](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L438)\] |
 | [E054](https://ocfl.io/1.1/spec#E054) | 'The value of the user key must contain a user name key, "name" and should contain an address key, "address".' | _See multiple cases identified with suffixes below_ |
-| | E054a | OCFL Object %s inventory %s version block has user key with value that isn't a JSON object \[[ocfl/inventory_validator.py#L348](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L348)\] |
-| | E054b | OCFL Object %s inventory %s version block has user/name key with value that isn't a string \[[ocfl/inventory_validator.py#L351](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L351)\] |
-| | E054c | OCFL Object %s inventory %s version block has user/address key with value that isn't a string \[[ocfl/inventory_validator.py#L355](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L355)\] |
+| | E054a | OCFL Object %s inventory %s version block has user key with value that isn't a JSON object \[[ocfl/inventory_validator.py#L349](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L349)\] |
+| | E054b | OCFL Object %s inventory %s version block has user/name key with value that isn't a string \[[ocfl/inventory_validator.py#L352](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L352)\] |
+| | E054c | OCFL Object %s inventory %s version block has user/address key with value that isn't a string \[[ocfl/inventory_validator.py#L356](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L356)\] |
 | [E055](https://ocfl.io/1.1/spec#E055) | 'If present, [the fixity] block must have the key of fixity within the inventory.' | _Not implemented_ |
 | [E056](https://ocfl.io/1.1/spec#E056) | 'The fixity block must contain keys corresponding to the controlled vocabulary given in the digest algorithms listed in the Digests section, or in a table given in an Extension.' | _See multiple cases identified with suffixes below_ |
-| | E056a | OCFL Object %s inventory includes a fixity key with value that isn't a JSON object \[[ocfl/inventory_validator.py#L214](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L214)\] |
-| | E056b | OCFL Object %s inventory fixity block includes a key that is not a known digest algorithm name: %s \[[ocfl/inventory_validator.py#L222](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L222)\] |
+| | E056a | OCFL Object %s inventory includes a fixity key with value that isn't a JSON object \[[ocfl/inventory_validator.py#L215](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L215)\] |
+| | E056b | OCFL Object %s inventory fixity block includes a key that is not a known digest algorithm name: %s \[[ocfl/inventory_validator.py#L223](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L223)\] |
 | [E057](https://ocfl.io/1.1/spec#E057) | 'The value of the fixity block for a particular digest algorithm must follow the structure of the manifest block; that is, a key corresponding to the digest value, and an array of content paths that match that digest.' | _See multiple cases identified with suffixes below_ |
-| | E057a | OCFL Object %s inventory fixity block entry for digest algorithm name %s is not a JSON object \[[ocfl/inventory_validator.py#L229](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L229)\] |
-| | E057b | OCFL Object %s inventory fixity block entry for digest algorithm %s includes digest %s which has the wrong form \[[ocfl/inventory_validator.py#L235](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L235)\] |
-| | E057c | OCFL Object %s inventory fixity block entry for digest algorithm %s, digest %s is not a JSON list \[[ocfl/inventory_validator.py#L237](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L237)\] |
-| | E057d | OCFL Object %s inventory fixity block entry for digest algorithm %s, digest %s includes a content path %s that is not in the manifest \[[ocfl/inventory_validator.py#L250](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L250)\] |
+| | E057a | OCFL Object %s inventory fixity block entry for digest algorithm name %s is not a JSON object \[[ocfl/inventory_validator.py#L230](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L230)\] |
+| | E057b | OCFL Object %s inventory fixity block entry for digest algorithm %s includes digest %s which has the wrong form \[[ocfl/inventory_validator.py#L236](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L236)\] |
+| | E057c | OCFL Object %s inventory fixity block entry for digest algorithm %s, digest %s is not a JSON list \[[ocfl/inventory_validator.py#L238](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L238)\] |
+| | E057d | OCFL Object %s inventory fixity block entry for digest algorithm %s, digest %s includes a content path %s that is not in the manifest \[[ocfl/inventory_validator.py#L251](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L251)\] |
 | [E058](https://ocfl.io/1.1/spec#E058) | 'Every occurrence of an inventory file must have an accompanying sidecar file stating its digest.' | _See multiple cases identified with suffixes below_ |
 | | E058a | OCFL Object %s inventory is missing sidecar digest file at %s \[[ocfl/validator.py#L205](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L205)\] |
 | | E058b | Cannot extract digest type from inventory digest file name %s \[[ocfl/validator.py#L228](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L228)\] |
@@ -123,11 +124,11 @@ The following tables show the implementation status of all errors and warnings i
 | [E063](https://ocfl.io/1.1/spec#E063) | 'Every OCFL Object must have an inventory file within the OCFL Object Root, corresponding to the state of the OCFL Object at the current version.' | OCFL Object root inventory is missing \[[ocfl/validator.py#L150](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L150)\] |
 | [E064](https://ocfl.io/1.1/spec#E064) | 'Where an OCFL Object contains inventory.json in version directories, the inventory file in the OCFL Object Root must be the same as the file in the most recent version.' | Object root inventory and copy in last version MUST be identical but are not (%s and %s) \[[ocfl/validator.py#L307](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L307)\] |
 | [E066](https://ocfl.io/1.1/spec#E066) | 'Each version block in each prior inventory file must represent the same object state as the corresponding version block in the current inventory file.' | _See multiple cases identified with suffixes below_ |
-| | E066a | OCFL Object inventory for %s doesn't have a subset of version blocks of inventory for %s \[[ocfl/inventory_validator.py#L487](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L487)\] |
-| | E066b | OCFL Object %s inventory %s version state doesn't have same logical paths as same version in %s inventory (paths %s only in %s inventory) \[[ocfl/inventory_validator.py#L507](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L507) [ocfl/inventory_validator.py#L509](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L509)\] |
-| | E066c | OCFL Object %s inventory %s version state has logical path %s that maps to content path %s, but in %s inventory it maps to content path %s \[[ocfl/inventory_validator.py#L514](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L514)\] |
-| | E066d | OCFL Object %s inventory %s version state has digest %s (mapping to logical files %s) that does not appear in the %s inventory \[[ocfl/inventory_validator.py#L543](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L543)\] |
-| | E066e | OCFL Object %s inventory %s version state has digest %s (mapping to logical files %s) that does not appear in the %s inventory \[[ocfl/inventory_validator.py#L546](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L546)\] |
+| | E066a | OCFL Object inventory for %s doesn't have a subset of version blocks of inventory for %s \[[ocfl/inventory_validator.py#L488](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L488)\] |
+| | E066b | OCFL Object %s inventory %s version state doesn't have same logical paths as same version in %s inventory (paths %s only in %s inventory) \[[ocfl/inventory_validator.py#L508](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L508) [ocfl/inventory_validator.py#L510](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L510)\] |
+| | E066c | OCFL Object %s inventory %s version state has logical path %s that maps to content path %s, but in %s inventory it maps to content path %s \[[ocfl/inventory_validator.py#L515](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L515)\] |
+| | E066d | OCFL Object %s inventory %s version state has digest %s (mapping to logical files %s) that does not appear in the %s inventory \[[ocfl/inventory_validator.py#L544](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L544)\] |
+| | E066e | OCFL Object %s inventory %s version state has digest %s (mapping to logical files %s) that does not appear in the %s inventory \[[ocfl/inventory_validator.py#L547](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L547)\] |
 | [E067](https://ocfl.io/1.1/spec#E067) | 'The extensions directory must not contain any files or sub-directories other than extension sub-directories.' | OCFL Object extensions direct contains an unexpected non-directory entry: %s \[[ocfl/validator.py#L276](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L276)\] |
 | [E069](https://ocfl.io/1.1/spec#E069) | 'An OCFL Storage Root MUST contain a Root Conformance Declaration identifying it as such.' | _Not implemented_ |
 | [E070](https://ocfl.io/1.1/spec#E070) | 'If present, [the ocfl_layout.json document] MUST include the following two keys in the root JSON object: [extension, description]' | _Not implemented_ |
@@ -152,30 +153,30 @@ The following tables show the implementation status of all errors and warnings i
 | [E089](https://ocfl.io/1.1/spec#E089) | 'If the preservation of non-OCFL-compliant features is required then the content MUST be wrapped in a suitable disk or filesystem image format which OCFL can treat as a regular file.' | _Not implemented_ |
 | [E090](https://ocfl.io/1.1/spec#E090) | 'Hard and soft (symbolic) links are not portable and MUST NOT be used within OCFL Storage hierarchies.' | NOTE - E090 is a processing instruction and can't be tested for \[_Not implemented_\] |
 | [E091](https://ocfl.io/1.1/spec#E091) | 'Filesystems MUST preserve the case of OCFL filepaths and filenames.' | OCFL Object %s inventory manifest file list for digest %s is not a JSON array \[_Not implemented_\] |
-| [E092](https://ocfl.io/1.1/spec#E092) | 'The value for each key in the manifest must be an array containing the content paths of files in the OCFL Object that have content with the given digest.' | **Missing description** \[[ocfl/inventory_validator.py#L185](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L185)\] |
+| [E092](https://ocfl.io/1.1/spec#E092) | 'The value for each key in the manifest must be an array containing the content paths of files in the OCFL Object that have content with the given digest.' | **Missing description** \[[ocfl/inventory_validator.py#L186](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L186)\] |
 | | E092a | OCFL Object %s inventory manifest using digest algorithm %s has digest %s for file %s which doesn't match calculated digest %s for that file \[[ocfl/validator.py#L446](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L446) [ocfl/validator.py#L451](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L451)\] |
 | | E092b | OCFL Object %s inventory manifest refers to a file path that is not present in the object (%s) \[[ocfl/validator.py#L441](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L441)\] |
 | [E093](https://ocfl.io/1.1/spec#E093) | 'Where included in the fixity block, the digest values given must match the digests of the files at the corresponding content paths.' | _See multiple cases identified with suffixes below_ |
 | | E093a | OCFL Object %s inventory fixity block for digest algorithm %s has digest %s for file %s which doesn't match calculated digest %s for that file \[[ocfl/validator.py#L449](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L449) [ocfl/validator.py#L452](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L452)\] |
 | | E093b | OCFL Object %s inventory fixity block for digest algorithm %s has digest %s for a file %s which does not exist in the object \[[ocfl/validator.py#L435](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L435)\] |
-| [E094](https://ocfl.io/1.1/spec#E094) | 'The value of [the message] key is freeform text, used to record the rationale for creating this version. It must be a JSON string.' | OCFL Object %s inventory %s version block has message key with value that isn't a string \[[ocfl/inventory_validator.py#L342](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L342)\] |
+| [E094](https://ocfl.io/1.1/spec#E094) | 'The value of [the message] key is freeform text, used to record the rationale for creating this version. It must be a JSON string.' | OCFL Object %s inventory %s version block has message key with value that isn't a string \[[ocfl/inventory_validator.py#L343](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L343)\] |
 | [E095](https://ocfl.io/1.1/spec#E095) | 'Within a version, logical paths must be unique and non-conflicting, so the logical path for a file cannot appear as the initial part of another logical path.' | _See multiple cases identified with suffixes below_ |
-| | E095a | OCFL Object %s inventory version %s state has logical path %s used more than once \[[ocfl/inventory_validator.py#L382](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L382)\] |
-| | E095b | OCFL Object %s inventory version %s state has logical path %s used as both a directory and a file path. \[[ocfl/inventory_validator.py#L393](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L393)\] |
-| [E096](https://ocfl.io/1.1/spec#E096) | 'As JSON keys are case sensitive, while digests may not be, there is an additional requirement that each digest value must occur only once in the manifest regardless of case.' | OCFL Object %s inventory manifest block includes digest %s more than once with different normalizations \[[ocfl/inventory_validator.py#L191](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L191)\] |
-| [E097](https://ocfl.io/1.1/spec#E097) | 'As JSON keys are case sensitive, while digests may not be, there is an additional requirement that each digest value must occur only once in the fixity block for any digest algorithm, regardless of case.' | OCFL Object %s inventory fixity block for digest algorithm %s, includes digest %s more than once with different normalizations \[[ocfl/inventory_validator.py#L245](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L245)\] |
+| | E095a | OCFL Object %s inventory version %s state has logical path %s used more than once \[[ocfl/inventory_validator.py#L383](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L383)\] |
+| | E095b | OCFL Object %s inventory version %s state has logical path %s used as both a directory and a file path. \[[ocfl/inventory_validator.py#L394](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L394)\] |
+| [E096](https://ocfl.io/1.1/spec#E096) | 'As JSON keys are case sensitive, while digests may not be, there is an additional requirement that each digest value must occur only once in the manifest regardless of case.' | OCFL Object %s inventory manifest block includes digest %s more than once with different normalizations \[[ocfl/inventory_validator.py#L192](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L192)\] |
+| [E097](https://ocfl.io/1.1/spec#E097) | 'As JSON keys are case sensitive, while digests may not be, there is an additional requirement that each digest value must occur only once in the fixity block for any digest algorithm, regardless of case.' | OCFL Object %s inventory fixity block for digest algorithm %s, includes digest %s more than once with different normalizations \[[ocfl/inventory_validator.py#L246](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L246)\] |
 | [E098](https://ocfl.io/1.1/spec#E098) | 'The content path must be interpreted as a set of one or more path elements joined by a / path separator.' | _Not implemented_ |
-| [E099](https://ocfl.io/1.1/spec#E099) | '[content] path elements must not be ., .., or empty (//).' | OCFL Object %s inventory manifest content path %s includes invalid element ., .., or empty (//). \[[ocfl/inventory_validator.py#L468](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L468)\] |
-| [E100](https://ocfl.io/1.1/spec#E100) | 'A content path must not begin or end with a forward slash (/).' | OCFL Object %s inventory manifest content path %s must not begin or end with /. \[[ocfl/inventory_validator.py#L456](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L456)\] |
+| [E099](https://ocfl.io/1.1/spec#E099) | '[content] path elements must not be ., .., or empty (//).' | OCFL Object %s inventory manifest content path %s includes invalid element ., .., or empty (//). \[[ocfl/inventory_validator.py#L469](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L469)\] |
+| [E100](https://ocfl.io/1.1/spec#E100) | 'A content path must not begin or end with a forward slash (/).' | OCFL Object %s inventory manifest content path %s must not begin or end with /. \[[ocfl/inventory_validator.py#L457](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L457)\] |
 | [E101](https://ocfl.io/1.1/spec#E101) | 'Within an inventory, content paths must be unique and non-conflicting, so the content path for a file cannot appear as the initial part of another content path.' | _See multiple cases identified with suffixes below_ |
-| | E101a | OCFL Object %s inventory manifest content path %s is repeated \[[ocfl/inventory_validator.py#L472](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L472)\] |
-| | E101b | OCFL Object %s inventory manifest content path %s used as both a directory and a file path \[[ocfl/inventory_validator.py#L201](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L201)\] |
+| | E101a | OCFL Object %s inventory manifest content path %s is repeated \[[ocfl/inventory_validator.py#L473](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L473)\] |
+| | E101b | OCFL Object %s inventory manifest content path %s used as both a directory and a file path \[[ocfl/inventory_validator.py#L202](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L202)\] |
 | [E102](https://ocfl.io/1.1/spec#E102) | 'An inventory file must not contain keys that are not specified.' | _Not implemented_ |
 | [E103](https://ocfl.io/1.1/spec#E103) | 'Each version directory within an OCFL Object MUST conform to either the same or a later OCFL specification version as the preceding version directory.' | OCFL Object %s inventory conforms to specification version %s which is an earlier version than the %s inventory which conforms to specification version %s \[[ocfl/validator.py#L382](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L382)\] |
 | [E104](https://ocfl.io/1.1/spec#E104) | 'Version directory names MUST be constructed by prepending v to the version number.' | _Not implemented_ |
 | [E105](https://ocfl.io/1.1/spec#E105) | 'The version number MUST be taken from the sequence of positive, base-ten integers: 1, 2, 3, etc.' | _Not implemented_ |
 | [E106](https://ocfl.io/1.1/spec#E106) | 'The value of the manifest key MUST be a JSON object.' | _Not implemented_ |
-| [E107](https://ocfl.io/1.1/spec#E107) | 'The value of the manifest key must be a JSON object, and each key MUST correspond to a digest value key found in one or more state blocks of the current and/or previous version blocks of the OCFL Object.' | **Missing description** \[[ocfl/inventory_validator.py#L417](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L417)\] |
+| [E107](https://ocfl.io/1.1/spec#E107) | 'The value of the manifest key must be a JSON object, and each key MUST correspond to a digest value key found in one or more state blocks of the current and/or previous version blocks of the OCFL Object.' | **Missing description** \[[ocfl/inventory_validator.py#L418](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L418)\] |
 | [E108](https://ocfl.io/1.1/spec#E108) | 'The contentDirectory value MUST represent a direct child directory of the version directory in which it is found.' | _Not implemented_ |
 | [E110](https://ocfl.io/1.1/spec#E110) | 'A unique identifier for the OCFL Object MUST NOT change between versions of the same object.' | _Not implemented_ |
 | [E111](https://ocfl.io/1.1/spec#E111) | 'If present, [the value of the fixity key] MUST be a JSON object, which may be empty.' | OCFL Object %s inventory includes a fixity key with value that isn't a JSON object \[_Not implemented_\] |
@@ -186,18 +187,18 @@ The following tables show the implementation status of all errors and warnings i
 
 | Code | Specification text (or suffixed code) | Implementation status and message/links |
 | --- | --- | --- |
-| [W001](https://ocfl.io/1.1/spec#W001) | 'Implementations SHOULD use version directory names constructed without zero-padding the version number, ie. v1, v2, v3, etc.'' | OCFL Object %s inventory version numbers SHOULD NOT be zero-padded \[[ocfl/inventory_validator.py#L287](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L287)\] |
+| [W001](https://ocfl.io/1.1/spec#W001) | 'Implementations SHOULD use version directory names constructed without zero-padding the version number, ie. v1, v2, v3, etc.'' | OCFL Object %s inventory version numbers SHOULD NOT be zero-padded \[[ocfl/inventory_validator.py#L288](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L288)\] |
 | [W002](https://ocfl.io/1.1/spec#W002) | 'The version directory SHOULD NOT contain any directories other than the designated content sub-directory. Once created, the contents of a version directory are expected to be immutable.' | OCFL Object version directory %s SHOULD NOT contain any directory except the designated content directory (found %s) \[[ocfl/validator.py#L416](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L416)\] |
 | [W003](https://ocfl.io/1.1/spec#W003) | 'Version directories must contain a designated content sub-directory if the version contains files to be preserved, and SHOULD NOT contain this sub-directory otherwise.' | OCFL Object version directory %s SHOULD NOT contain an empty content directory \[[ocfl/validator.py#L414](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L414)\] |
 | [W004](https://ocfl.io/1.1/spec#W004) | 'For content-addressing, OCFL Objects SHOULD use sha512.' | OCFL Object %s inventory SHOULD use sha512 but uses sha256 as the DigestAlgorithm \[[ocfl/inventory_validator.py#L115](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L115)\] |
 | [W005](https://ocfl.io/1.1/spec#W005) | 'The OCFL Object Inventory id SHOULD be a URI.' | OCFL Object %s inventory id SHOULD be a URI (got %s) \[[ocfl/inventory_validator.py#L88](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L88)\] |
 | [W007](https://ocfl.io/1.1/spec#W007) | 'In the OCFL Object Inventory, the JSON object describing an OCFL Version, SHOULD include the message and user keys.' | _See multiple cases identified with suffixes below_ |
-| | W007a | OCFL Object %s inventory %s version block SHOULD include a message key \[[ocfl/inventory_validator.py#L340](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L340)\] |
-| | W007b | OCFL Object %s inventory %s version block SHOULD include a user key \[[ocfl/inventory_validator.py#L344](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L344)\] |
-| [W008](https://ocfl.io/1.1/spec#W008) | 'In the OCFL Object Inventory, in the version block, the value of the user key SHOULD contain an address key, address.' | OCFL Object %s inventory %s version block user description SHOULD have an address \[[ocfl/inventory_validator.py#L353](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L353)\] |
-| [W009](https://ocfl.io/1.1/spec#W009) | 'In the OCFL Object Inventory, in the version block, the address value SHOULD be a URI: either a mailto URI [RFC6068] with the e-mail address of the user or a URL to a personal identifier, e.g., an ORCID iD.' | OCFL Object %s inventory %s version block user description SHOULD be a mailto: or person identifier URI \[[ocfl/inventory_validator.py#L357](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L357)\] |
+| | W007a | OCFL Object %s inventory %s version block SHOULD include a message key \[[ocfl/inventory_validator.py#L341](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L341)\] |
+| | W007b | OCFL Object %s inventory %s version block SHOULD include a user key \[[ocfl/inventory_validator.py#L345](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L345)\] |
+| [W008](https://ocfl.io/1.1/spec#W008) | 'In the OCFL Object Inventory, in the version block, the value of the user key SHOULD contain an address key, address.' | OCFL Object %s inventory %s version block user description SHOULD have an address \[[ocfl/inventory_validator.py#L354](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L354)\] |
+| [W009](https://ocfl.io/1.1/spec#W009) | 'In the OCFL Object Inventory, in the version block, the address value SHOULD be a URI: either a mailto URI [RFC6068] with the e-mail address of the user or a URL to a personal identifier, e.g., an ORCID iD.' | OCFL Object %s inventory %s version block user description SHOULD be a mailto: or person identifier URI \[[ocfl/inventory_validator.py#L358](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L358)\] |
 | [W010](https://ocfl.io/1.1/spec#W010) | 'In addition to the inventory in the OCFL Object Root, every version directory SHOULD include an inventory file that is an Inventory of all content for versions up to and including that particular version.' | OCFL Object %s SHOULD have an inventory file but does not \[[ocfl/validator.py#L299](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L299)\] |
-| [W011](https://ocfl.io/1.1/spec#W011) | 'In the case that prior version directories include an inventory file, the values of the created, message and user keys in each version block in each prior inventory file SHOULD have the same values as the corresponding keys in the corresponding version block in the current inventory file.' | OCFL Object version metadata '%s' for %s in %s inventory does not match that in %s inventory \[[ocfl/inventory_validator.py#L522](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L522)\] |
+| [W011](https://ocfl.io/1.1/spec#W011) | 'In the case that prior version directories include an inventory file, the values of the created, message and user keys in each version block in each prior inventory file SHOULD have the same values as the corresponding keys in the corresponding version block in the current inventory file.' | OCFL Object version metadata '%s' for %s in %s inventory does not match that in %s inventory \[[ocfl/inventory_validator.py#L523](https://github.com/zimeon/ocfl-py/blob/main/ocfl/inventory_validator.py#L523)\] |
 | [W012](https://ocfl.io/1.1/spec#W012) | 'Implementers SHOULD use the logs directory, if present, for storing files that contain a record of actions taken on the object.' | _Not implemented_ |
 | [W013](https://ocfl.io/1.1/spec#W013) | 'In an OCFL Object, extension sub-directories SHOULD be named according to a registered extension name.' | OCFL Object includes unregistered extension directory '%s' \[[ocfl/validator.py#L274](https://github.com/zimeon/ocfl-py/blob/main/ocfl/validator.py#L274)\] |
 | [W014](https://ocfl.io/1.1/spec#W014) | 'Storage hierarchies within the same OCFL Storage Root SHOULD use just one layout pattern.' | _Not implemented_ |
@@ -205,4 +206,4 @@ The following tables show the implementation status of all errors and warnings i
 | [W016](https://ocfl.io/1.1/spec#W016) | 'In the Storage Root, extension sub-directories SHOULD be named according to a registered extension name.' | _Not implemented_ |
 | W901 | **Not in specification** | OCFL Storage Root includes unregistered extension directory '%s' \[[ocfl/storage_root.py#L274](https://github.com/zimeon/ocfl-py/blob/main/ocfl/storage_root.py#L274)\] |
 
-_Generated by `extract_codes.py` at 2024-10-21 17:56:48.954477_
\ No newline at end of file
+_Generated by `extract_codes.py` at 2024-10-21 18:43:26.978038_
\ No newline at end of file
diff --git a/ocfl/data/validation-errors.json b/ocfl/data/validation-errors.json
index 41b2d11..eafab21 100644
--- a/ocfl/data/validation-errors.json
+++ b/ocfl/data/validation-errors.json
@@ -136,16 +136,22 @@
        "en": "OCFL Object %s manifest does not include files listed in previous version manifests (%s)"
     }
   },
+  "E024": {
+    "params": ["where", "path"],
+    "description": {
+       "en": "OCFL Object version %s content directory includes empty path %s"
+    }
+  },
   "E025a": {
-    "params": ["where", "digest", "algorithm"],
+    "params": ["where", "digest_algorithm"],
     "description": {
-       "en": "OCFL Object %s inventory manifest block includes a digest (%s) that doesn't have the correct form for the %s algorithm"
+       "en": "OCFL Object %s inventory `digestAlgorithm` attribute not an allowed digest type (got '%s')"
     }
   },
-  "E024": {
-    "params": ["where", "path"],
+  "E025b": {
+    "params": ["where", "digest", "algorithm"],
     "description": {
-       "en": "OCFL Object version %s content directory includes empty path %s"
+       "en": "OCFL Object %s inventory manifest block includes a digest (%s) that doesn't have the correct form for the %s algorithm"
     }
   },
   "E026a": {
@@ -214,12 +220,6 @@
        "en": "OCFL Object %s inventory `type` attribute has an unsupported specification version number (%s), will proceed as if using version %s"
     }
   },
-  "E039": {
-    "params": ["where", "digest_algorithm"],
-    "description": {
-       "en": "OCFL Object %s inventory `digestAlgorithm` attribute not an allowed value (got '%s')"
-    }
-  },
   "E040": {
     "params": ["where", "got", "expected"],
     "description": {
diff --git a/ocfl/inventory_validator.py b/ocfl/inventory_validator.py
index 2e5f5df..e5122eb 100644
--- a/ocfl/inventory_validator.py
+++ b/ocfl/inventory_validator.py
@@ -115,7 +115,8 @@ class InventoryValidator():
             self.warning("W004")
             self.digest_algorithm = inventory['digestAlgorithm']
         else:
-            self.error("E039", digest_algorithm=inventory['digestAlgorithm'])
+            self.error("E025a", digest_algorithm=inventory['digestAlgorithm'])
+            return
         if 'contentDirectory' in inventory:
             # Careful only to set self.content_directory if value is safe
             cd = inventory['contentDirectory']
@@ -180,7 +181,7 @@ class InventoryValidator():
             for digest in manifest:
                 m = re.match(self.digest_regex(), digest)
                 if not m:
-                    self.error('E025a', digest=digest, algorithm=self.digest_algorithm)  # wrong form of digest
+                    self.error('E025b', digest=digest, algorithm=self.digest_algorithm)  # wrong form of digest
                 elif not isinstance(manifest[digest], list):
                     self.error('E092', digest=digest)  # must have path list value
                 else:


Test patch:
diff --git a/tests/test_inventory_validator.py b/tests/test_inventory_validator.py
index cacd1da..b1595cd 100644
--- a/tests/test_inventory_validator.py
+++ b/tests/test_inventory_validator.py
@@ -69,7 +69,7 @@ class TestAll(unittest.TestCase):
         log.clear()
         iv.validate({"id": "like:uri", "type": "wrong type", "digestAlgorithm": "my_digest"})
         self.assertIn('E038b', log.errors)
-        self.assertIn('E039', log.errors)
+        self.assertIn('E025a', log.errors)
         log.clear()
         iv.validate({"id": "like:uri", "type": "wrong type", "digestAlgorithm": "my_digest"})
         self.assertIn('E038b', log.errors)
@@ -79,7 +79,7 @@ class TestAll(unittest.TestCase):
         iv = InventoryValidator(log=log, lax_digests=True)
         log.clear()
         iv.validate({"id": "like:uri", "type": "wrong type", "digestAlgorithm": "my_digest"})
-        self.assertNotIn('E039', log.errors)
+        self.assertNotIn('E025a', log.errors)
         self.assertEqual(iv.digest_algorithm, "my_digest")
         iv = InventoryValidator(log=log)
         log.clear()
@@ -100,7 +100,7 @@ class TestAll(unittest.TestCase):
         self.assertIn('E041c', log.errors)
         log.clear()
         self.assertEqual(iv.validate_manifest({"xxx": []}), ({}, [], set()))
-        self.assertIn('E025a', log.errors)
+        self.assertIn('E025b', log.errors)
         log.clear()
         self.assertEqual(iv.validate_manifest({"067eca3f5b024afa00aeac03a3c42dc0042bf43cba56104037abea8b365c0cf672f0e0c14c91b82bbce6b1464e231ac285d630a82cd4d4a7b194bea04d4b2eb7": "not an array"}), ({}, [], set()))
         self.assertIn('E092', log.errors)