@sanning/proof 0.15.0 → 0.17.0

package/vectors/case-file-index.json

@@ -1,7 +1,7 @@
 {
   "rule": "case-file-index",
-  "ruleVersion": 1,
-  "statement": "How a reader compares a case file's index, contents.json, with the folder it sits at the root of (evidence-bundle.md §5.6.3 v1.20, A25). The index is never an input to the case reading, and no finding here moves a verdict, a note, a contribution or an exit code. Findings come in this order: case_index_unreadable (and nothing else), case_index_pack_missing, case_index_pack_unlisted, case_index_file_missing, case_index_file_unlisted, case_index_file_differs, case_index_names_absent; within a kind by the UTF-8 bytes of the ref or path, and names_absent in the index's own order. Only files under a listed pack's folder or under report/ are reported as unlisted.",
+  "ruleVersion": 2,
+  "statement": "How a reader compares a case file's index, contents.json, with the folder it sits at the root of (evidence-bundle.md §5.6.3 v1.20, A25). The index is never an input to the case reading, and no finding here moves a verdict, a note, a contribution or an exit code. Findings come in this order: case_index_unreadable (and nothing else), case_index_pack_missing, case_index_pack_unlisted, case_index_file_missing, case_index_file_unlisted, case_index_file_differs, case_index_file_too_large, case_index_names_absent; within a kind by the UTF-8 bytes of the ref or path, and names_absent in the index's own order. Only files under a listed pack's folder or under report/ are reported as unlisted.",
   "howToUse": "Call readCaseFileIndex / read_case_file_index with the bytes of index_hex (null: no index in the folder) and `files`, and compare the result with `expected`. A finding lists only the fields it carries.",
   "rows": [
     {
@@ -465,6 +465,92 @@
         ]
       }
     },
+    {
+      "id": "file-too-large",
+      "why": "A file the index lists is here and was too large for the caller to hash (the caller passes {path, too_large: true} in place of a digest). It is neither a match nor missing: one case_index_file_too_large finding, and no differs or missing for it. Every other file is compared as usual.",
+      "index_hex": "7b22616273656e74223a5b5d2c22636173655f6964223a22636173652d346231396465222c22636f6e74656e74735f76657273696f6e223a2273616e6e696e672e636173652d66696c652f7631222c227061636b73223a5b7b2266696c6573223a5b7b2270617468223a227061636b732f612f62756e646c652e6a736f6e222c22736861323536223a2263386261656230383636353834333538646464303634316264353938626239623862383838303935336232613135356366363235303062386338396137333463227d2c7b2270617468223a227061636b732f612f6c6f67732f782e6a736f6e222c22736861323536223a2235303431626631663731336466323034373834333533653832663661346135333539333163623634663166346234613561656166666362373230393138623232227d5d2c22726566223a2261227d2c7b2266696c6573223a5b7b2270617468223a227061636b732f622f62756e646c652e6a736f6e222c22736861323536223a2230653834326632353331333234373838636138353663616264363733306438623432663935373031616535323862313061623165643332343132356231356365227d5d2c22726566223a2262227d5d2c227265706f7274223a5b7b2270617468223a227265706f72742f524541444d452e747874222c22736861323536223a2230316563313839373665373637653831346165653962316361363966366239643331323963343336393063626234623434383463396539323331366362666437227d5d7d",
+      "files": [
+        {
+          "path": "HOW-TO-VERIFY.txt",
+          "sha256": "76b25bc6207548c6bd05b1ab2e364ff8c493f6fb04e6a69d731a6f158482b7d9"
+        },
+        {
+          "path": "contents.json",
+          "sha256": "44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a"
+        },
+        {
+          "path": "report/README.txt",
+          "sha256": "01ec18976e767e814aee9b1ca69f6b9d3129c43690cbb4b4484c9e92316cbfd7"
+        },
+        {
+          "path": "packs/b/bundle.json",
+          "sha256": "0e842f2531324788ca856cabd6730d8b42f95701ae528b10ab1ed324125b15ce"
+        },
+        {
+          "path": "packs/a/logs/x.json",
+          "too_large": true
+        },
+        {
+          "path": "packs/a/bundle.json",
+          "sha256": "c8baeb0866584358ddd0641bd598bb9b8b8880953b2a155cf62500b8c89a734c"
+        }
+      ],
+      "expected": {
+        "index": "read",
+        "case_id": "case-4b19de",
+        "findings": [
+          {
+            "kind": "case_index_file_too_large",
+            "path": "packs/a/logs/x.json"
+          }
+        ]
+      }
+    },
+    {
+      "id": "unlisted-file-too-large",
+      "why": "A file under report/ that the index does not list, too large to hash. Unlisted needs no digest, so it is reported as unlisted, exactly as a file of any size would be; nothing else is said of it.",
+      "index_hex": "7b22616273656e74223a5b5d2c22636173655f6964223a22636173652d346231396465222c22636f6e74656e74735f76657273696f6e223a2273616e6e696e672e636173652d66696c652f7631222c227061636b73223a5b7b2266696c6573223a5b7b2270617468223a227061636b732f612f62756e646c652e6a736f6e222c22736861323536223a2263386261656230383636353834333538646464303634316264353938626239623862383838303935336232613135356366363235303062386338396137333463227d2c7b2270617468223a227061636b732f612f6c6f67732f782e6a736f6e222c22736861323536223a2235303431626631663731336466323034373834333533653832663661346135333539333163623634663166346234613561656166666362373230393138623232227d5d2c22726566223a2261227d2c7b2266696c6573223a5b7b2270617468223a227061636b732f622f62756e646c652e6a736f6e222c22736861323536223a2230653834326632353331333234373838636138353663616264363733306438623432663935373031616535323862313061623165643332343132356231356365227d5d2c22726566223a2262227d5d2c227265706f7274223a5b7b2270617468223a227265706f72742f524541444d452e747874222c22736861323536223a2230316563313839373665373637653831346165653962316361363966366239643331323963343336393063626234623434383463396539323331366362666437227d5d7d",
+      "files": [
+        {
+          "path": "HOW-TO-VERIFY.txt",
+          "sha256": "76b25bc6207548c6bd05b1ab2e364ff8c493f6fb04e6a69d731a6f158482b7d9"
+        },
+        {
+          "path": "contents.json",
+          "sha256": "44136fa355b3678a1146ad16f7e8649e94fb4fc21fe77e8310c060f61caaff8a"
+        },
+        {
+          "path": "report/README.txt",
+          "sha256": "01ec18976e767e814aee9b1ca69f6b9d3129c43690cbb4b4484c9e92316cbfd7"
+        },
+        {
+          "path": "packs/b/bundle.json",
+          "sha256": "0e842f2531324788ca856cabd6730d8b42f95701ae528b10ab1ed324125b15ce"
+        },
+        {
+          "path": "packs/a/logs/x.json",
+          "sha256": "5041bf1f713df204784353e82f6a4a535931cb64f1f4b4a5aeaffcb720918b22"
+        },
+        {
+          "path": "packs/a/bundle.json",
+          "sha256": "c8baeb0866584358ddd0641bd598bb9b8b8880953b2a155cf62500b8c89a734c"
+        },
+        {
+          "path": "report/huge.bin",
+          "too_large": true
+        }
+      ],
+      "expected": {
+        "index": "read",
+        "case_id": "case-4b19de",
+        "findings": [
+          {
+            "kind": "case_index_file_unlisted",
+            "path": "report/huge.bin"
+          }
+        ]
+      }
+    },
     {
       "id": "no-index",
       "why": "A folder with no contents.json is a folder of packs, with no finding.",