Ensure integers can be round-tripped from RDF.

msporny · msporny · commit 08b83e46c10e · 2025-02-24T20:42:40.000-05:00
diff --git a/contexts/credentials/v2 b/contexts/credentials/v2
@@ -196,7 +196,7 @@
         },
         "statusSize": {
           "@id": "https://www.w3.org/ns/credentials/status#statusSize",
-          "@type": "https://www.w3.org/2001/XMLSchema#positiveInteger"
+          "@type": "https://www.w3.org/2001/XMLSchema#integer"
         }
       }
     },

Original file line number	Diff line number	Diff line change
`@@ -196,7 +196,7 @@`
`196`	`196`	`},`
`197`	`197`	`"statusSize": {`
`198`	`198`	`"@id": "https://www.w3.org/ns/credentials/status#statusSize",`
`199`		`- "@type": "https://www.w3.org/2001/XMLSchema#positiveInteger"`
	`199`	`+ "@type": "https://www.w3.org/2001/XMLSchema#integer"`
`200`	`200`	`}`
`201`	`201`	`}`
`202`	`202`	`},`