Define a schema for 64-bit unsigned integers

Signed-off-by: Juan Cruz Viotti <jv@jviotti.com>

Author: jviotti

schemas/iso/c/2024/uint64.json

@@ -0,0 +1,12 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "title": "ISO/IEC 9899:2024 Unsigned 64-bit Integer (uint64_t)",
+  "description": "An unsigned integer type with width of exactly 64 bits",
+  "$comment": "This schema requires a JSON Schema evaluator that supports big integers beyond the 64-bit signed integer interoperability guidelines defined in RFC 8259 for the JSON grammar",
+  "examples": [ 0, 1, 18446744073709551615, 9223372036854775808, 42 ],
+  "x-license": "https://github.com/sourcemeta/std/blob/main/LICENSE",
+  "x-links": [ "https://www.iso.org/standard/82075.html" ],
+  "type": "integer",
+  "maximum": 18446744073709551615,
+  "minimum": 0
+}

test/iso/c/2024/uint64.test.json

@@ -0,0 +1,86 @@
+{
+  "x-license": "https://github.com/sourcemeta/std/blob/main/LICENSE",
+  "target": "../../../../schemas/iso/c/2024/uint64.json",
+  "tests": [
+    {
+      "description": "Valid - zero",
+      "data": 0,
+      "valid": true
+    },
+    {
+      "description": "Valid - minimum value",
+      "data": 0,
+      "valid": true
+    },
+    {
+      "description": "Valid - maximum value",
+      "data": 18446744073709551615,
+      "valid": true
+    },
+    {
+      "description": "Valid - mid-range value",
+      "data": 9223372036854775808,
+      "valid": true
+    },
+    {
+      "description": "Valid - positive value",
+      "data": 42,
+      "valid": true
+    },
+    {
+      "description": "Valid - large value",
+      "data": 10000000000000000000,
+      "valid": true
+    },
+    {
+      "description": "Invalid - negative value",
+      "data": -1,
+      "valid": false
+    },
+    {
+      "description": "Invalid - above maximum",
+      "data": 18446744073709551616,
+      "valid": false
+    },
+    {
+      "description": "Invalid - large above maximum",
+      "data": 20000000000000000000,
+      "valid": false
+    },
+    {
+      "description": "Invalid - large negative value",
+      "data": -1000,
+      "valid": false
+    },
+    {
+      "description": "Invalid type - string",
+      "data": "42",
+      "valid": false
+    },
+    {
+      "description": "Invalid type - boolean",
+      "data": true,
+      "valid": false
+    },
+    {
+      "description": "Invalid type - null",
+      "data": null,
+      "valid": false
+    },
+    {
+      "description": "Invalid type - array",
+      "data": [],
+      "valid": false
+    },
+    {
+      "description": "Invalid type - object",
+      "data": {},
+      "valid": false
+    },
+    {
+      "description": "Invalid type - float",
+      "data": 42.5,
+      "valid": false
+    }
+  ]
+}