{
  "about": "Generated by `deno task regenerate-fvj1-conformance` in packages/data-model, from the cases in src/fvj1-conformance.ts. fvj1-conformance.md beside this file defines its format.",
  "cases": [
    {"name":"null","section":"3-json-encoding.md section 1.1","encode":{"value":null,"text":"fvj1:null"},"decode":{"text":"fvj1:null","value":null}},
    {"name":"true","section":"3-json-encoding.md section 1.1","encode":{"value":true,"text":"fvj1:true"},"decode":{"text":"fvj1:true","value":true}},
    {"name":"false","section":"3-json-encoding.md section 1.1","encode":{"value":false,"text":"fvj1:false"},"decode":{"text":"fvj1:false","value":false}},
    {"name":"zero","section":"3-json-encoding.md section 1.1","encode":{"value":0,"text":"fvj1:0"},"decode":{"text":"fvj1:0","value":0}},
    {"name":"integer","section":"3-json-encoding.md section 1.1","encode":{"value":42,"text":"fvj1:42"},"decode":{"text":"fvj1:42","value":42}},
    {"name":"negative fraction","section":"3-json-encoding.md section 1.1","encode":{"value":-1.5,"text":"fvj1:-1.5"},"decode":{"text":"fvj1:-1.5","value":-1.5}},
    {"name":"inexact fraction","section":"3-json-encoding.md section 1.1","encode":{"value":0.1,"text":"fvj1:0.1"},"decode":{"text":"fvj1:0.1","value":0.1}},
    {"name":"large exponent","section":"3-json-encoding.md section 1.1","encode":{"value":1e+21,"text":"fvj1:1e+21"},"decode":{"text":"fvj1:1e+21","value":1e+21}},
    {"name":"small exponent","section":"3-json-encoding.md section 1.1","encode":{"value":1e-7,"text":"fvj1:1e-7"},"decode":{"text":"fvj1:1e-7","value":1e-7}},
    {"name":"smallest subnormal","section":"3-json-encoding.md section 1.1","encode":{"value":5e-324,"text":"fvj1:5e-324"},"decode":{"text":"fvj1:5e-324","value":5e-324}},
    {"name":"largest double","section":"3-json-encoding.md section 1.1","encode":{"value":1.7976931348623157e+308,"text":"fvj1:1.7976931348623157e+308"},"decode":{"text":"fvj1:1.7976931348623157e+308","value":1.7976931348623157e+308}},
    {"name":"integer past 2^53","section":"3-json-encoding.md section 1.1","encode":{"value":9007199254740994,"text":"fvj1:9007199254740994"},"decode":{"text":"fvj1:9007199254740994","value":9007199254740994}},
    {"name":"number spelled with fraction and exponent","section":"3-json-encoding.md section 1.1","decode":{"text":"fvj1:1.0E2","value":100},"encode":{"value":100,"text":"fvj1:100"}},
    {"name":"whitespace around and inside the JSON","section":"3-json-encoding.md section 1.1","decode":{"text":"fvj1: [ 1 , 2 ] ","value":{"array":[1,2]}},"encode":{"value":{"array":[1,2]},"text":"fvj1:[1,2]"}},
    {"name":"number literal negative zero","section":"3-json-encoding.md section 1.1","decode":{"text":"fvj1:-0","refused":"malformed"},"divergence":{"note":"Negative zero is written only as `SpecialNumber@1`, and the JSON number `-0` is refused. This implementation decodes it to negative zero.","decode":{"value":{"number":"-0"}}}},
    {"name":"number literal past the largest double","section":"3-json-encoding.md section 1.1","decode":{"text":"fvj1:1e400","refused":"malformed"},"divergence":{"note":"A JSON number whose value a double cannot represent is refused, rather than read as infinity or as the largest double. This implementation decodes it to infinity.","decode":{"value":{"number":"+Infinity"}}}},
    {"name":"negative zero","section":"3-json-encoding.md section 3, `SpecialNumber@1`","encode":{"value":{"number":"-0"},"text":"fvj1:{\"/SpecialNumber@1\":\"-0\"}"},"decode":{"text":"fvj1:{\"/SpecialNumber@1\":\"-0\"}","value":{"number":"-0"}}},
    {"name":"NaN","section":"3-json-encoding.md section 3, `SpecialNumber@1`","encode":{"value":{"number":"NaN"},"text":"fvj1:{\"/SpecialNumber@1\":\"NaN\"}"},"decode":{"text":"fvj1:{\"/SpecialNumber@1\":\"NaN\"}","value":{"number":"NaN"}}},
    {"name":"positive infinity","section":"3-json-encoding.md section 3, `SpecialNumber@1`","encode":{"value":{"number":"+Infinity"},"text":"fvj1:{\"/SpecialNumber@1\":\"+Infinity\"}"},"decode":{"text":"fvj1:{\"/SpecialNumber@1\":\"+Infinity\"}","value":{"number":"+Infinity"}}},
    {"name":"negative infinity","section":"3-json-encoding.md section 3, `SpecialNumber@1`","encode":{"value":{"number":"-Infinity"},"text":"fvj1:{\"/SpecialNumber@1\":\"-Infinity\"}"},"decode":{"text":"fvj1:{\"/SpecialNumber@1\":\"-Infinity\"}","value":{"number":"-Infinity"}}},
    {"name":"empty string","section":"1-fabric-values.md section 6.7","encode":{"value":"","text":"fvj1:\"\""},"decode":{"text":"fvj1:\"\"","value":""}},
    {"name":"string of characters JSON escapes","section":"1-fabric-values.md section 6.7","encode":{"value":"\"\\/\b\f\n\r\t\u0000\u001f\u007f\u2028","text":"fvj1:\"\\\"\\\\/\\b\\f\\n\\r\\t\\u0000\\u001f\u007f\u2028\""},"decode":{"text":"fvj1:\"\\\"\\\\/\\b\\f\\n\\r\\t\\u0000\\u001f\u007f\u2028\"","value":"\"\\/\b\f\n\r\t\u0000\u001f\u007f\u2028"}},
    {"name":"string beyond ASCII","section":"1-fabric-values.md section 6.7","encode":{"value":"\u00e9\ud83d\ude00\uffff","text":"fvj1:\"\u00e9\ud83d\ude00\uffff\""},"decode":{"text":"fvj1:\"\u00e9\ud83d\ude00\uffff\"","value":"\u00e9\ud83d\ude00\uffff"}},
    {"name":"string in NFC","section":"1-fabric-values.md section 6.7","encode":{"value":"\u00e9","text":"fvj1:\"\u00e9\""},"decode":{"text":"fvj1:\"\u00e9\"","value":"\u00e9"}},
    {"name":"string in NFD","section":"1-fabric-values.md section 6.7","encode":{"value":"e\u0301","text":"fvj1:\"e\u0301\""},"decode":{"text":"fvj1:\"e\u0301\"","value":"e\u0301"}},
    {"name":"lone high surrogate","section":"1-fabric-values.md section 6.7","encode":{"value":{"utf16":[55296]},"text":"fvj1:\"\\ud800\""},"decode":{"text":"fvj1:\"\\ud800\"","value":{"utf16":[55296]}}},
    {"name":"lone low surrogate between characters","section":"1-fabric-values.md section 6.7","encode":{"value":{"utf16":[97,56320,98]},"text":"fvj1:\"a\\udc00b\""},"decode":{"text":"fvj1:\"a\\udc00b\"","value":{"utf16":[97,56320,98]}}},
    {"name":"surrogates in reverse order","section":"1-fabric-values.md section 6.7","encode":{"value":{"utf16":[56320,55296]},"text":"fvj1:\"\\udc00\\ud800\""},"decode":{"text":"fvj1:\"\\udc00\\ud800\"","value":{"utf16":[56320,55296]}}},
    {"name":"lone surrogate escaped in uppercase","section":"1-fabric-values.md section 6.7","decode":{"text":"fvj1:\"\\uD800\"","value":{"utf16":[55296]}},"encode":{"value":{"utf16":[55296]},"text":"fvj1:\"\\ud800\""}},
    {"name":"empty record","section":"3-json-encoding.md section 10","encode":{"value":{"record":[]},"text":"fvj1:{}"},"decode":{"text":"fvj1:{}","value":{"record":[]}}},
    {"name":"record keys in UTF-8 order","section":"3-json-encoding.md section 10","encode":{"value":{"record":[["",4],["B",3],["a",2],["b",1],["e\u0301",6],["\u00e9",5],[{"utf16":[55296]},10],[{"utf16":[56320]},9],["\uffff",7],["\ud83d\ude00",8]]},"text":"fvj1:{\"\":4,\"B\":3,\"a\":2,\"b\":1,\"e\u0301\":6,\"\u00e9\":5,\"\\ud800\":10,\"\\udc00\":9,\"\uffff\":7,\"\ud83d\ude00\":8}"},"decode":{"text":"fvj1:{\"\":4,\"B\":3,\"a\":2,\"b\":1,\"e\u0301\":6,\"\u00e9\":5,\"\\ud800\":10,\"\\udc00\":9,\"\uffff\":7,\"\ud83d\ude00\":8}","value":{"record":[["",4],["B",3],["a",2],["b",1],["e\u0301",6],["\u00e9",5],[{"utf16":[55296]},10],[{"utf16":[56320]},9],["\uffff",7],["\ud83d\ude00",8]]}}},
    {"name":"record keys out of order","section":"3-json-encoding.md section 10","decode":{"text":"fvj1:{\"b\":1,\"a\":2}","value":{"record":[["a",2],["b",1]]}},"encode":{"value":{"record":[["a",2],["b",1]]},"text":"fvj1:{\"a\":2,\"b\":1}"}},
    {"name":"record keys that read as integers","section":"3-json-encoding.md section 10","encode":{"value":{"record":[["10","ten"],["2","two"],["a","a"]]},"text":"fvj1:{\"10\":\"ten\",\"2\":\"two\",\"a\":\"a\"}"},"decode":{"text":"fvj1:{\"10\":\"ten\",\"2\":\"two\",\"a\":\"a\"}","value":{"record":[["10","ten"],["2","two"],["a","a"]]}},"divergence":{"note":"Section 10 requires keys in UTF-8 byte order, under which `10` comes before `2`. This implementation writes keys that read as array indices first and in numeric order, building its output through a JavaScript object, whose enumeration puts them there.","encode":{"text":"fvj1:{\"2\":\"two\",\"10\":\"ten\",\"a\":\"a\"}"}}},
    {"name":"record naming a key twice","section":"3-json-encoding.md section 1.1","decode":{"text":"fvj1:{\"a\":1,\"a\":2}","refused":"malformed"},"divergence":{"note":"A record naming one key twice is refused. This implementation keeps the last.","decode":{"value":{"record":[["a",2]]}}}},
    {"name":"record with key __proto__","section":"3-json-encoding.md section 4","encode":{"value":{"record":[["__proto__",1]]},"text":"fvj1:{\"__proto__\":1}"},"decode":{"text":"fvj1:{\"__proto__\":1}","value":{"record":[["__proto__",1]]}},"divergence":{"note":"Section 4 lets a record carry any key, and its note says this implementation does not yet meet that: it refuses `__proto__` and `constructor` on both sides of the wire. An implementation on a host that does not route assignment through a prototype reserves no names.","encode":{"refused":"unencodable"},"decode":{"refused":"malformed"}}},
    {"name":"record with key constructor","section":"3-json-encoding.md section 4","encode":{"value":{"record":[["constructor",1]]},"text":"fvj1:{\"constructor\":1}"},"decode":{"text":"fvj1:{\"constructor\":1}","value":{"record":[["constructor",1]]}},"divergence":{"note":"Section 4 lets a record carry any key, and its note says this implementation does not yet meet that: it refuses `__proto__` and `constructor` on both sides of the wire. An implementation on a host that does not route assignment through a prototype reserves no names.","encode":{"refused":"unencodable"},"decode":{"refused":"malformed"}}},
    {"name":"empty array","section":"3-json-encoding.md section 3, sparse array encoding","encode":{"value":{"array":[]},"text":"fvj1:[]"},"decode":{"text":"fvj1:[]","value":{"array":[]}}},
    {"name":"array with a hole and an undefined","section":"3-json-encoding.md section 3, sparse array encoding","encode":{"value":{"array":[1,{"hole":1},{"undefined":null},3]},"text":"fvj1:[1,{\"/hole\":1},{\"/Undefined@1\":null},3]"},"decode":{"text":"fvj1:[1,{\"/hole\":1},{\"/Undefined@1\":null},3]","value":{"array":[1,{"hole":1},{"undefined":null},3]}}},
    {"name":"array of holes only","section":"3-json-encoding.md section 3, sparse array encoding","encode":{"value":{"array":[{"hole":3}]},"text":"fvj1:[{\"/hole\":3}]"},"decode":{"text":"fvj1:[{\"/hole\":3}]","value":{"array":[{"hole":3}]}}},
    {"name":"array ending in a hole","section":"3-json-encoding.md section 3, sparse array encoding","encode":{"value":{"array":[1,{"hole":1}]},"text":"fvj1:[1,{\"/hole\":1}]"},"decode":{"text":"fvj1:[1,{\"/hole\":1}]","value":{"array":[1,{"hole":1}]}}},
    {"name":"array with a long run of holes","section":"3-json-encoding.md section 3, sparse array encoding","encode":{"value":{"array":[{"hole":1000000},"x"]},"text":"fvj1:[{\"/hole\":1000000},\"x\"]"},"decode":{"text":"fvj1:[{\"/hole\":1000000},\"x\"]","value":{"array":[{"hole":1000000},"x"]}}},
    {"name":"array with adjacent hole runs","section":"3-json-encoding.md section 3, sparse array encoding","decode":{"text":"fvj1:[{\"/hole\":1},{\"/hole\":2},1]","value":{"array":[{"hole":3},1]}},"encode":{"value":{"array":[{"hole":3},1]},"text":"fvj1:[{\"/hole\":3},1]"}},
    {"name":"undefined","section":"3-json-encoding.md section 5","encode":{"value":{"undefined":null},"text":"fvj1:{\"/Undefined@1\":null}"},"decode":{"text":"fvj1:{\"/Undefined@1\":null}","value":{"undefined":null}}},
    {"name":"undefined in a record","section":"3-json-encoding.md section 5","encode":{"value":{"record":[["u",{"undefined":null}]]},"text":"fvj1:{\"u\":{\"/Undefined@1\":null}}"},"decode":{"text":"fvj1:{\"u\":{\"/Undefined@1\":null}}","value":{"record":[["u",{"undefined":null}]]}}},
    {"name":"undefined with an empty-record state","section":"3-json-encoding.md section 5","decode":{"text":"fvj1:{\"/Undefined@1\":{}}","refused":"malformed"}},
    {"name":"slash key over a literal","section":"3-json-encoding.md section 6","encode":{"value":{"record":[["/a",1]]},"text":"fvj1:{\"/quote\":{\"/a\":1}}"},"decode":{"text":"fvj1:{\"/quote\":{\"/a\":1}}","value":{"record":[["/a",1]]}}},
    {"name":"slash key alone","section":"3-json-encoding.md section 6","encode":{"value":{"record":[["/",1]]},"text":"fvj1:{\"/quote\":{\"/\":1}}"},"decode":{"text":"fvj1:{\"/quote\":{\"/\":1}}","value":{"record":[["/",1]]}}},
    {"name":"slash key over a value that needs encoding","section":"3-json-encoding.md section 6","encode":{"value":{"record":[["/a",{"bigint":"10"}],["b",{"array":[{"undefined":null}]}]]},"text":"fvj1:{\"/object\":{\"/a\":{\"/BigInt@1\":\"Cg\"},\"b\":[{\"/Undefined@1\":null}]}}"},"decode":{"text":"fvj1:{\"/object\":{\"/a\":{\"/BigInt@1\":\"Cg\"},\"b\":[{\"/Undefined@1\":null}]}}","value":{"record":[["/a",{"bigint":"10"}],["b",{"array":[{"undefined":null}]}]]}}},
    {"name":"slash keys nested over literals","section":"3-json-encoding.md section 6","encode":{"value":{"record":[["/a",{"record":[["/b",1]]}]]},"text":"fvj1:{\"/quote\":{\"/a\":{\"/b\":1}}}"},"decode":{"text":"fvj1:{\"/quote\":{\"/a\":{\"/b\":1}}}","value":{"record":[["/a",{"record":[["/b",1]]}]]}}},
    {"name":"slash keys nested over a value that needs encoding","section":"3-json-encoding.md section 6","encode":{"value":{"record":[["/a",{"record":[["/b",{"bigint":"1"}]]}]]},"text":"fvj1:{\"/object\":{\"/a\":{\"/object\":{\"/b\":{\"/BigInt@1\":\"AQ\"}}}}}"},"decode":{"text":"fvj1:{\"/object\":{\"/a\":{\"/object\":{\"/b\":{\"/BigInt@1\":\"AQ\"}}}}}","value":{"record":[["/a",{"record":[["/b",{"bigint":"1"}]]}]]}}},
    {"name":"object escape over literals","section":"3-json-encoding.md section 6","decode":{"text":"fvj1:{\"/object\":{\"/x\":1}}","value":{"record":[["/x",1]]}},"encode":{"value":{"record":[["/x",1]]},"text":"fvj1:{\"/quote\":{\"/x\":1}}"}},
    {"name":"quote escape over a tagged form","section":"3-json-encoding.md section 6","decode":{"text":"fvj1:{\"/quote\":{\"/Link@1\":{\"id\":\"x\"}}}","value":{"record":[["/Link@1",{"record":[["id","x"]]}]]}},"encode":{"value":{"record":[["/Link@1",{"record":[["id","x"]]}]]},"text":"fvj1:{\"/quote\":{\"/Link@1\":{\"id\":\"x\"}}}"}},
    {"name":"quote escape over an array holding a hole marker","section":"3-json-encoding.md section 6","decode":{"text":"fvj1:{\"/quote\":[1,{\"/hole\":1}]}","value":{"array":[1,{"record":[["/hole",1]]}]}},"encode":{"value":{"array":[1,{"record":[["/hole",1]]}]},"text":"fvj1:[1,{\"/quote\":{\"/hole\":1}}]"}},
    {"name":"registered symbol","section":"3-json-encoding.md section 3, `Symbol@1`","encode":{"value":{"symbol":"key"},"text":"fvj1:{\"/Symbol@1\":\"key\"}"},"decode":{"text":"fvj1:{\"/Symbol@1\":\"key\"}","value":{"symbol":"key"}}},
    {"name":"registered symbol with the empty key","section":"3-json-encoding.md section 3, `Symbol@1`","encode":{"value":{"symbol":""},"text":"fvj1:{\"/Symbol@1\":\"\"}"},"decode":{"text":"fvj1:{\"/Symbol@1\":\"\"}","value":{"symbol":""}}},
    {"name":"unregistered symbol","section":"3-json-encoding.md section 3, `Symbol@1`","encode":{"value":{"unregisteredSymbol":"local"},"refused":"unencodable"}},
    {"name":"unregistered symbol with no description","section":"3-json-encoding.md section 3, `Symbol@1`","encode":{"value":{"unregisteredSymbol":null},"refused":"unencodable"}},
    {"name":"unregistered symbol with the empty description","section":"3-json-encoding.md section 3, `Symbol@1`","encode":{"value":{"unregisteredSymbol":""},"refused":"unencodable"}},
    {"name":"bigint zero","section":"3-json-encoding.md section 3, `BigInt@1`","encode":{"value":{"bigint":"0"},"text":"fvj1:{\"/BigInt@1\":\"AA\"}"},"decode":{"text":"fvj1:{\"/BigInt@1\":\"AA\"}","value":{"bigint":"0"}}},
    {"name":"bigint one","section":"3-json-encoding.md section 3, `BigInt@1`","encode":{"value":{"bigint":"1"},"text":"fvj1:{\"/BigInt@1\":\"AQ\"}"},"decode":{"text":"fvj1:{\"/BigInt@1\":\"AQ\"}","value":{"bigint":"1"}}},
    {"name":"bigint minus one","section":"3-json-encoding.md section 3, `BigInt@1`","encode":{"value":{"bigint":"-1"},"text":"fvj1:{\"/BigInt@1\":\"_w\"}"},"decode":{"text":"fvj1:{\"/BigInt@1\":\"_w\"}","value":{"bigint":"-1"}}},
    {"name":"bigint 128","section":"3-json-encoding.md section 3, `BigInt@1`","encode":{"value":{"bigint":"128"},"text":"fvj1:{\"/BigInt@1\":\"AIA\"}"},"decode":{"text":"fvj1:{\"/BigInt@1\":\"AIA\"}","value":{"bigint":"128"}}},
    {"name":"bigint minus 128","section":"3-json-encoding.md section 3, `BigInt@1`","encode":{"value":{"bigint":"-128"},"text":"fvj1:{\"/BigInt@1\":\"gA\"}"},"decode":{"text":"fvj1:{\"/BigInt@1\":\"gA\"}","value":{"bigint":"-128"}}},
    {"name":"bigint minus 129","section":"3-json-encoding.md section 3, `BigInt@1`","encode":{"value":{"bigint":"-129"},"text":"fvj1:{\"/BigInt@1\":\"_38\"}"},"decode":{"text":"fvj1:{\"/BigInt@1\":\"_38\"}","value":{"bigint":"-129"}}},
    {"name":"bigint 2^64","section":"3-json-encoding.md section 3, `BigInt@1`","encode":{"value":{"bigint":"18446744073709551616"},"text":"fvj1:{\"/BigInt@1\":\"AQAAAAAAAAAA\"}"},"decode":{"text":"fvj1:{\"/BigInt@1\":\"AQAAAAAAAAAA\"}","value":{"bigint":"18446744073709551616"}}},
    {"name":"bigint state with padding","section":"3-json-encoding.md section 3, base64url convention","decode":{"text":"fvj1:{\"/BigInt@1\":\"AIA=\"}","value":{"bigint":"128"}},"encode":{"value":{"bigint":"128"},"text":"fvj1:{\"/BigInt@1\":\"AIA\"}"}},
    {"name":"bigint state not minimal","section":"3-json-encoding.md section 3, `BigInt@1`","decode":{"text":"fvj1:{\"/BigInt@1\":\"AAA\"}","refused":"malformed"},"divergence":{"note":"A state with a redundant leading `0x00` or `0xff` byte is refused. This implementation reads it as the value it stands for.","decode":{"value":{"bigint":"0"}}}},
    {"name":"bigint state of no bytes","section":"3-json-encoding.md section 3, `BigInt@1`","decode":{"text":"fvj1:{\"/BigInt@1\":\"\"}","refused":"malformed"}},
    {"name":"bytes state with padding","section":"3-json-encoding.md section 3, base64url convention","decode":{"text":"fvj1:{\"/Bytes@1\":\"AQ==\"}","value":{"Bytes":"01"}},"encode":{"value":{"Bytes":"01"},"text":"fvj1:{\"/Bytes@1\":\"AQ\"}"}},
    {"name":"bytes state in the standard base64 alphabet","section":"3-json-encoding.md section 3, base64url convention","decode":{"text":"fvj1:{\"/Bytes@1\":\"+/8\"}","refused":"malformed"}},
    {"name":"bytes state of a lone base64 character","section":"3-json-encoding.md section 3, base64url convention","decode":{"text":"fvj1:{\"/Bytes@1\":\"A\"}","refused":"malformed"}},
    {"name":"bytes state holding whitespace","section":"3-json-encoding.md section 3, base64url convention","decode":{"text":"fvj1:{\"/Bytes@1\":\"AQ I\"}","refused":"malformed"},"divergence":{"note":"A base64url state holding whitespace is refused. This implementation skips the whitespace.","decode":{"value":{"Bytes":"0102"}}}},
    {"name":"bytes state with nonzero trailing bits","section":"3-json-encoding.md section 3, base64url convention","decode":{"text":"fvj1:{\"/Bytes@1\":\"AR\"}","refused":"malformed"},"divergence":{"note":"A base64url state whose bits after its last whole byte are not all zero is refused. This implementation ignores them, reading `AR` as the byte `AQ` writes.","decode":{"value":{"Bytes":"01"}}}},
    {"name":"nested containers and instances","section":"3-json-encoding.md section 3","encode":{"value":{"record":[["bytes",{"Bytes":"ff"}],["link",{"Link":{"record":[["id","of:x"],["path",{"array":["a","1"]}],["space","did:x"]]}}],["list",{"array":[1,{"array":[2,{"record":[["deep",{"array":[{"undefined":null},{"bigint":"3"},{"symbol":"s"}]}]]}]}]}]]},"text":"fvj1:{\"bytes\":{\"/Bytes@1\":\"_w\"},\"link\":{\"/Link@1\":{\"id\":\"of:x\",\"path\":[\"a\",\"1\"],\"space\":\"did:x\"}},\"list\":[1,[2,{\"deep\":[{\"/Undefined@1\":null},{\"/BigInt@1\":\"Aw\"},{\"/Symbol@1\":\"s\"}]}]]}"},"decode":{"text":"fvj1:{\"bytes\":{\"/Bytes@1\":\"_w\"},\"link\":{\"/Link@1\":{\"id\":\"of:x\",\"path\":[\"a\",\"1\"],\"space\":\"did:x\"}},\"list\":[1,[2,{\"deep\":[{\"/Undefined@1\":null},{\"/BigInt@1\":\"Aw\"},{\"/Symbol@1\":\"s\"}]}]]}","value":{"record":[["bytes",{"Bytes":"ff"}],["link",{"Link":{"record":[["id","of:x"],["path",{"array":["a","1"]}],["space","did:x"]]}}],["list",{"array":[1,{"array":[2,{"record":[["deep",{"array":[{"undefined":null},{"bigint":"3"},{"symbol":"s"}]}]]}]}]}]]}}},
    {"name":"error with every field","section":"3-json-encoding.md section 3, `Error@1`","encode":{"value":{"Error":{"type":"TypeError","name":"CustomError","message":"boom","stack":"at somewhere","cause":{"bigint":"5"},"extras":[["code",7]]}},"text":"fvj1:{\"/Error@1\":{\"cause\":{\"/BigInt@1\":\"BQ\"},\"code\":7,\"message\":\"boom\",\"name\":\"CustomError\",\"stack\":\"at somewhere\",\"type\":\"TypeError\"}}"},"decode":{"text":"fvj1:{\"/Error@1\":{\"cause\":{\"/BigInt@1\":\"BQ\"},\"code\":7,\"message\":\"boom\",\"name\":\"CustomError\",\"stack\":\"at somewhere\",\"type\":\"TypeError\"}}","value":{"Error":{"type":"TypeError","name":"CustomError","message":"boom","stack":"at somewhere","cause":{"bigint":"5"},"extras":[["code",7]]}}}},
    {"name":"link with a payload of arbitrary fields","section":"3-json-encoding.md section 3, `Link@1`","encode":{"value":{"Link":{"record":[["kind","example"],["targets",{"array":[1,2]}]]}},"text":"fvj1:{\"/Link@1\":{\"kind\":\"example\",\"targets\":[1,2]}}"},"decode":{"text":"fvj1:{\"/Link@1\":{\"kind\":\"example\",\"targets\":[1,2]}}","value":{"Link":{"record":[["kind","example"],["targets",{"array":[1,2]}]]}}}},
    {"name":"unavailable with an error kind and no message","section":"3-json-encoding.md section 3, `Unavailable@1`","encode":{"value":{"Unavailable":{"reason":"error","errorKind":"network"}},"text":"fvj1:{\"/Unavailable@1\":{\"errorKind\":\"network\",\"reason\":\"error\"}}"},"decode":{"text":"fvj1:{\"/Unavailable@1\":{\"errorKind\":\"network\",\"reason\":\"error\"}}","value":{"Unavailable":{"reason":"error","errorKind":"network"}}}},
    {"name":"regular expression of another flavor","section":"3-json-encoding.md section 3, `RegExp@1`","encode":{"value":{"RegExp":{"flavor":"other","source":"(?<","flags":""}},"text":"fvj1:{\"/RegExp@1\":{\"flags\":\"\",\"flavor\":\"other\",\"source\":\"(?<\"}}"},"decode":{"text":"fvj1:{\"/RegExp@1\":{\"flags\":\"\",\"flavor\":\"other\",\"source\":\"(?<\"}}","value":{"RegExp":{"flavor":"other","source":"(?<","flags":""}}}},
    {"name":"problematic value whose tag is not a tag","section":"3-json-encoding.md section 3, `Problematic@1`","decode":{"text":"fvj1:{\"/Problematic@1\":{\"error\":\"e\",\"state\":{\"/Undefined@1\":null},\"tag\":\"not a tag\"}}","value":{"Problematic":{"tag":"not a tag","state":{"undefined":null},"error":"e"}}},"encode":{"value":{"Problematic":{"tag":"not a tag","state":{"undefined":null},"error":"e"}},"text":"fvj1:{\"/Problematic@1\":{\"error\":\"e\",\"state\":{\"/Undefined@1\":null},\"tag\":\"not a tag\"}}"}},
    {"name":"unknown tag over a state that needs decoding","section":"3-json-encoding.md section 8","decode":{"text":"fvj1:{\"/Future@2\":{\"x\":{\"/Bytes@1\":\"AQ\"}}}","value":{"Unknown":{"tag":"Future@2","state":{"record":[["x",{"Bytes":"01"}]]}}}},"encode":{"value":{"Unknown":{"tag":"Future@2","state":{"record":[["x",{"Bytes":"01"}]]}}},"text":"fvj1:{\"/Future@2\":{\"x\":{\"/Bytes@1\":\"AQ\"}}}"}},
    {"name":"unknown tag over null","section":"3-json-encoding.md section 8","decode":{"text":"fvj1:[{\"/Abc123@1234\":null}]","value":{"array":[{"Unknown":{"tag":"Abc123@1234","state":null}}]}},"encode":{"value":{"array":[{"Unknown":{"tag":"Abc123@1234","state":null}}]},"text":"fvj1:[{\"/Abc123@1234\":null}]"}},
    {"name":"text without the prefix","section":"3-json-encoding.md section 1.1","decode":{"text":"42","refused":"not-fvj1"}},
    {"name":"prefix in the wrong case","section":"3-json-encoding.md section 1.1","decode":{"text":"FVJ1:42","refused":"not-fvj1"}},
    {"name":"prefix alone","section":"3-json-encoding.md section 1.1","decode":{"text":"fvj1:","refused":"not-json"}},
    {"name":"prefix over broken JSON","section":"3-json-encoding.md section 1.1","decode":{"text":"fvj1:{","refused":"not-json"}},
    {"name":"malformed tag \"bytes@1\"","section":"3-json-encoding.md section 2","decode":{"text":"fvj1:{\"/bytes@1\":1}","refused":"malformed"}},
    {"name":"malformed tag \"By-tes@1\"","section":"3-json-encoding.md section 2","decode":{"text":"fvj1:{\"/By-tes@1\":1}","refused":"malformed"}},
    {"name":"malformed tag \"Bytes@0\"","section":"3-json-encoding.md section 2","decode":{"text":"fvj1:{\"/Bytes@0\":1}","refused":"malformed"}},
    {"name":"malformed tag \"Bytes@01\"","section":"3-json-encoding.md section 2","decode":{"text":"fvj1:{\"/Bytes@01\":1}","refused":"malformed"}},
    {"name":"malformed tag \"Bytes@1.0\"","section":"3-json-encoding.md section 2","decode":{"text":"fvj1:{\"/Bytes@1.0\":1}","refused":"malformed"}},
    {"name":"malformed tag \" Bytes@1\"","section":"3-json-encoding.md section 2","decode":{"text":"fvj1:{\"/ Bytes@1\":1}","refused":"malformed"}},
    {"name":"malformed tag \"Bytes@1\\n\"","section":"3-json-encoding.md section 2","decode":{"text":"fvj1:{\"/Bytes@1\\n\":1}","refused":"malformed"}},
    {"name":"bare slash key","section":"3-json-encoding.md section 9","decode":{"text":"fvj1:{\"/\":1}","refused":"malformed"}},
    {"name":"tag beside a plain key","section":"3-json-encoding.md section 9","decode":{"text":"fvj1:{\"/Bytes@1\":\"AQ\",\"a\":1}","refused":"malformed"}},
    {"name":"two tags in one record","section":"3-json-encoding.md section 9","decode":{"text":"fvj1:{\"/Future@2\":null,\"/Other@1\":1}","refused":"malformed"}},
    {"name":"hole marker outside an array","section":"3-json-encoding.md section 3, sparse array encoding","decode":{"text":"fvj1:{\"/hole\":1}","refused":"malformed"}},
    {"name":"hole run of zero","section":"3-json-encoding.md section 3, sparse array encoding","decode":{"text":"fvj1:[{\"/hole\":0}]","refused":"malformed"}},
    {"name":"hole run of a fraction","section":"3-json-encoding.md section 3, sparse array encoding","decode":{"text":"fvj1:[{\"/hole\":1.5}]","refused":"malformed"}},
    {"name":"hole run of a string","section":"3-json-encoding.md section 3, sparse array encoding","decode":{"text":"fvj1:[{\"/hole\":\"1\"}]","refused":"malformed"}},
    {"name":"object escape over an array","section":"3-json-encoding.md section 6","decode":{"text":"fvj1:{\"/object\":[1]}","refused":"malformed"}},
    {"name":"undefined with a numeric state","section":"3-json-encoding.md section 5","decode":{"text":"fvj1:{\"/Undefined@1\":1}","refused":"malformed"}},
    {"name":"special number outside the four literals","section":"3-json-encoding.md section 3, `SpecialNumber@1`","decode":{"text":"fvj1:{\"/SpecialNumber@1\":\"Infinity\"}","refused":"malformed"}},
    {"name":"symbol with a numeric state","section":"3-json-encoding.md section 3, `Symbol@1`","decode":{"text":"fvj1:{\"/Symbol@1\":1}","refused":"malformed"}},
    {"name":"bytes with a null state","section":"3-json-encoding.md section 3","decode":{"text":"fvj1:{\"/Bytes@1\":null}","refused":"malformed"}},
    {"name":"hash with a numeric hash","section":"3-json-encoding.md section 3, `Hash@1`","decode":{"text":"fvj1:{\"/Hash@1\":{\"hash\":7,\"tag\":\"fid1\"}}","refused":"malformed"}},
    {"name":"key pair with a key outside base64url","section":"3-json-encoding.md section 3, `KeyPair@1`","decode":{"text":"fvj1:{\"/KeyPair@1\":{\"algorithm\":\"A\",\"privateKey\":\"AA\",\"publicKey\":\"+\"}}","refused":"malformed"}},
    {"name":"regular expression that does not construct","section":"3-json-encoding.md section 3, `RegExp@1`","decode":{"text":"fvj1:{\"/RegExp@1\":{\"flags\":\"\",\"flavor\":\"es2025\",\"source\":\"(\"}}","refused":"malformed"}},
    {"name":"unavailable pairing an error kind with a transient reason","section":"3-json-encoding.md section 3, `Unavailable@1`","decode":{"text":"fvj1:{\"/Unavailable@1\":{\"errorKind\":\"general\",\"reason\":\"pending\"}}","refused":"malformed"}},
    {"name":"problematic value with no state","section":"3-json-encoding.md section 3, `Problematic@1`","decode":{"text":"fvj1:{\"/Problematic@1\":{\"error\":\"e\",\"tag\":\"x\"}}","refused":"malformed"}},
    {"name":"FabricBytes, example 1","section":"3-json-encoding.md section 3, `Bytes@1`","encode":{"value":{"Bytes":"010203"},"text":"fvj1:{\"/Bytes@1\":\"AQID\"}"},"decode":{"text":"fvj1:{\"/Bytes@1\":\"AQID\"}","value":{"Bytes":"010203"}}},
    {"name":"FabricBytes, example 2","section":"3-json-encoding.md section 3, `Bytes@1`","encode":{"value":{"Bytes":""},"text":"fvj1:{\"/Bytes@1\":\"\"}"},"decode":{"text":"fvj1:{\"/Bytes@1\":\"\"}","value":{"Bytes":""}}},
    {"name":"FabricDurationDay, example 1","section":"3-json-encoding.md section 3, temporal quantities","encode":{"value":{"DurationDay":"7"},"text":"fvj1:{\"/DurationDay@1\":\"Bw\"}"},"decode":{"text":"fvj1:{\"/DurationDay@1\":\"Bw\"}","value":{"DurationDay":"7"}}},
    {"name":"FabricDurationDay, example 2","section":"3-json-encoding.md section 3, temporal quantities","encode":{"value":{"DurationDay":"0"},"text":"fvj1:{\"/DurationDay@1\":\"AA\"}"},"decode":{"text":"fvj1:{\"/DurationDay@1\":\"AA\"}","value":{"DurationDay":"0"}}},
    {"name":"FabricDurationDay, example 3","section":"3-json-encoding.md section 3, temporal quantities","encode":{"value":{"DurationDay":"-1"},"text":"fvj1:{\"/DurationDay@1\":\"_w\"}"},"decode":{"text":"fvj1:{\"/DurationDay@1\":\"_w\"}","value":{"DurationDay":"-1"}}},
    {"name":"FabricDurationNsec, example 1","section":"3-json-encoding.md section 3, temporal quantities","encode":{"value":{"DurationNsec":"1000000000"},"text":"fvj1:{\"/DurationNsec@1\":\"O5rKAA\"}"},"decode":{"text":"fvj1:{\"/DurationNsec@1\":\"O5rKAA\"}","value":{"DurationNsec":"1000000000"}}},
    {"name":"FabricDurationNsec, example 2","section":"3-json-encoding.md section 3, temporal quantities","encode":{"value":{"DurationNsec":"0"},"text":"fvj1:{\"/DurationNsec@1\":\"AA\"}"},"decode":{"text":"fvj1:{\"/DurationNsec@1\":\"AA\"}","value":{"DurationNsec":"0"}}},
    {"name":"FabricDurationNsec, example 3","section":"3-json-encoding.md section 3, temporal quantities","encode":{"value":{"DurationNsec":"-1"},"text":"fvj1:{\"/DurationNsec@1\":\"_w\"}"},"decode":{"text":"fvj1:{\"/DurationNsec@1\":\"_w\"}","value":{"DurationNsec":"-1"}}},
    {"name":"FabricEpochDay, example 1","section":"3-json-encoding.md section 3, temporal quantities","encode":{"value":{"EpochDay":"20000"},"text":"fvj1:{\"/EpochDay@1\":\"TiA\"}"},"decode":{"text":"fvj1:{\"/EpochDay@1\":\"TiA\"}","value":{"EpochDay":"20000"}}},
    {"name":"FabricEpochDay, example 2","section":"3-json-encoding.md section 3, temporal quantities","encode":{"value":{"EpochDay":"0"},"text":"fvj1:{\"/EpochDay@1\":\"AA\"}"},"decode":{"text":"fvj1:{\"/EpochDay@1\":\"AA\"}","value":{"EpochDay":"0"}}},
    {"name":"FabricEpochDay, example 3","section":"3-json-encoding.md section 3, temporal quantities","encode":{"value":{"EpochDay":"-1"},"text":"fvj1:{\"/EpochDay@1\":\"_w\"}"},"decode":{"text":"fvj1:{\"/EpochDay@1\":\"_w\"}","value":{"EpochDay":"-1"}}},
    {"name":"FabricEpochNsec, example 1","section":"3-json-encoding.md section 3, temporal quantities","encode":{"value":{"EpochNsec":"1700"},"text":"fvj1:{\"/EpochNsec@1\":\"BqQ\"}"},"decode":{"text":"fvj1:{\"/EpochNsec@1\":\"BqQ\"}","value":{"EpochNsec":"1700"}}},
    {"name":"FabricEpochNsec, example 2","section":"3-json-encoding.md section 3, temporal quantities","encode":{"value":{"EpochNsec":"0"},"text":"fvj1:{\"/EpochNsec@1\":\"AA\"}"},"decode":{"text":"fvj1:{\"/EpochNsec@1\":\"AA\"}","value":{"EpochNsec":"0"}}},
    {"name":"FabricEpochNsec, example 3","section":"3-json-encoding.md section 3, temporal quantities","encode":{"value":{"EpochNsec":"-1"},"text":"fvj1:{\"/EpochNsec@1\":\"_w\"}"},"decode":{"text":"fvj1:{\"/EpochNsec@1\":\"_w\"}","value":{"EpochNsec":"-1"}}},
    {"name":"FabricHash, example 1","section":"3-json-encoding.md section 3, `Hash@1`","encode":{"value":{"Hash":{"tag":"fid1","hash":"0000000000000000000000000000000000000000000000000000000000000000"}},"text":"fvj1:{\"/Hash@1\":{\"hash\":\"AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA\",\"tag\":\"fid1\"}}"},"decode":{"text":"fvj1:{\"/Hash@1\":{\"hash\":\"AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA\",\"tag\":\"fid1\"}}","value":{"Hash":{"tag":"fid1","hash":"0000000000000000000000000000000000000000000000000000000000000000"}}}},
    {"name":"FabricHash, example 2","section":"3-json-encoding.md section 3, `Hash@1`","encode":{"value":{"Hash":{"tag":"fid1","hash":"0909090909090909090909090909090909090909090909090909090909090909"}},"text":"fvj1:{\"/Hash@1\":{\"hash\":\"CQkJCQkJCQkJCQkJCQkJCQkJCQkJCQkJCQkJCQkJCQk\",\"tag\":\"fid1\"}}"},"decode":{"text":"fvj1:{\"/Hash@1\":{\"hash\":\"CQkJCQkJCQkJCQkJCQkJCQkJCQkJCQkJCQkJCQkJCQk\",\"tag\":\"fid1\"}}","value":{"Hash":{"tag":"fid1","hash":"0909090909090909090909090909090909090909090909090909090909090909"}}}},
    {"name":"FabricKeyPair, example 1","section":"3-json-encoding.md section 3, `KeyPair@1`","encode":{"value":{"KeyPair":{"algorithm":"ExampleAlgorithm","publicKey":"0102","privateKey":"0304"}},"text":"fvj1:{\"/KeyPair@1\":{\"algorithm\":\"ExampleAlgorithm\",\"privateKey\":\"AwQ\",\"publicKey\":\"AQI\"}}"},"decode":{"text":"fvj1:{\"/KeyPair@1\":{\"algorithm\":\"ExampleAlgorithm\",\"privateKey\":\"AwQ\",\"publicKey\":\"AQI\"}}","value":{"KeyPair":{"algorithm":"ExampleAlgorithm","publicKey":"0102","privateKey":"0304"}}}},
    {"name":"FabricKeyPair, example 2","section":"3-json-encoding.md section 3, `KeyPair@1`","encode":{"value":{"KeyPair":{"algorithm":"ExampleAlgorithm","publicKey":"0506","privateKey":"0708"}},"text":"fvj1:{\"/KeyPair@1\":{\"algorithm\":\"ExampleAlgorithm\",\"privateKey\":\"Bwg\",\"publicKey\":\"BQY\"}}"},"decode":{"text":"fvj1:{\"/KeyPair@1\":{\"algorithm\":\"ExampleAlgorithm\",\"privateKey\":\"Bwg\",\"publicKey\":\"BQY\"}}","value":{"KeyPair":{"algorithm":"ExampleAlgorithm","publicKey":"0506","privateKey":"0708"}}}},
    {"name":"FabricRegExp, example 1","section":"3-json-encoding.md section 3, `RegExp@1`","encode":{"value":{"RegExp":{"flavor":"es2025","source":"a+","flags":"g"}},"text":"fvj1:{\"/RegExp@1\":{\"flags\":\"g\",\"flavor\":\"es2025\",\"source\":\"a+\"}}"},"decode":{"text":"fvj1:{\"/RegExp@1\":{\"flags\":\"g\",\"flavor\":\"es2025\",\"source\":\"a+\"}}","value":{"RegExp":{"flavor":"es2025","source":"a+","flags":"g"}}}},
    {"name":"FabricRegExp, example 2","section":"3-json-encoding.md section 3, `RegExp@1`","encode":{"value":{"RegExp":{"flavor":"es2025","source":"^x$","flags":""}},"text":"fvj1:{\"/RegExp@1\":{\"flags\":\"\",\"flavor\":\"es2025\",\"source\":\"^x$\"}}"},"decode":{"text":"fvj1:{\"/RegExp@1\":{\"flags\":\"\",\"flavor\":\"es2025\",\"source\":\"^x$\"}}","value":{"RegExp":{"flavor":"es2025","source":"^x$","flags":""}}}},
    {"name":"FabricUnavailable, example 1","section":"3-json-encoding.md section 3, `Unavailable@1`","encode":{"value":{"Unavailable":{"reason":"error","errorKind":"general","errorMessage":"boom"}},"text":"fvj1:{\"/Unavailable@1\":{\"errorKind\":\"general\",\"errorMessage\":\"boom\",\"reason\":\"error\"}}"},"decode":{"text":"fvj1:{\"/Unavailable@1\":{\"errorKind\":\"general\",\"errorMessage\":\"boom\",\"reason\":\"error\"}}","value":{"Unavailable":{"reason":"error","errorKind":"general","errorMessage":"boom"}}}},
    {"name":"FabricUnavailable, example 2","section":"3-json-encoding.md section 3, `Unavailable@1`","encode":{"value":{"Unavailable":{"reason":"pending"}},"text":"fvj1:{\"/Unavailable@1\":{\"reason\":\"pending\"}}"},"decode":{"text":"fvj1:{\"/Unavailable@1\":{\"reason\":\"pending\"}}","value":{"Unavailable":{"reason":"pending"}}}},
    {"name":"FabricUnavailable, example 3","section":"3-json-encoding.md section 3, `Unavailable@1`","encode":{"value":{"Unavailable":{"reason":"syncing"}},"text":"fvj1:{\"/Unavailable@1\":{\"reason\":\"syncing\"}}"},"decode":{"text":"fvj1:{\"/Unavailable@1\":{\"reason\":\"syncing\"}}","value":{"Unavailable":{"reason":"syncing"}}}},
    {"name":"FabricError, example 1","section":"3-json-encoding.md section 3, `Error@1`","encode":{"value":{"Error":{"type":"Error","name":"Error","message":"boom","extras":[]}},"text":"fvj1:{\"/Error@1\":{\"message\":\"boom\",\"name\":null,\"type\":\"Error\"}}"},"decode":{"text":"fvj1:{\"/Error@1\":{\"message\":\"boom\",\"name\":null,\"type\":\"Error\"}}","value":{"Error":{"type":"Error","name":"Error","message":"boom","extras":[]}}}},
    {"name":"FabricError, example 2","section":"3-json-encoding.md section 3, `Error@1`","encode":{"value":{"Error":{"type":"TypeError","name":"TypeError","message":"not a donut","extras":[]}},"text":"fvj1:{\"/Error@1\":{\"message\":\"not a donut\",\"name\":null,\"type\":\"TypeError\"}}"},"decode":{"text":"fvj1:{\"/Error@1\":{\"message\":\"not a donut\",\"name\":null,\"type\":\"TypeError\"}}","value":{"Error":{"type":"TypeError","name":"TypeError","message":"not a donut","extras":[]}}}},
    {"name":"FabricLink, example 1","section":"3-json-encoding.md section 3, `Link@1`","encode":{"value":{"Link":{"record":[["id","of:fid1:aaa"]]}},"text":"fvj1:{\"/Link@1\":{\"id\":\"of:fid1:aaa\"}}"},"decode":{"text":"fvj1:{\"/Link@1\":{\"id\":\"of:fid1:aaa\"}}","value":{"Link":{"record":[["id","of:fid1:aaa"]]}}}},
    {"name":"FabricLink, example 2","section":"3-json-encoding.md section 3, `Link@1`","encode":{"value":{"Link":{"record":[["id","of:fid1:bbb"]]}},"text":"fvj1:{\"/Link@1\":{\"id\":\"of:fid1:bbb\"}}"},"decode":{"text":"fvj1:{\"/Link@1\":{\"id\":\"of:fid1:bbb\"}}","value":{"Link":{"record":[["id","of:fid1:bbb"]]}}}},
    {"name":"ProblematicValue, example 1","section":"3-json-encoding.md section 3, `Problematic@1`","encode":{"value":{"Problematic":{"tag":"Example@1","state":"state-data","error":"boom"}},"text":"fvj1:{\"/Problematic@1\":{\"error\":\"boom\",\"state\":\"state-data\",\"tag\":\"Example@1\"}}"},"decode":{"text":"fvj1:{\"/Problematic@1\":{\"error\":\"boom\",\"state\":\"state-data\",\"tag\":\"Example@1\"}}","value":{"Problematic":{"tag":"Example@1","state":"state-data","error":"boom"}}}},
    {"name":"ProblematicValue, example 2","section":"3-json-encoding.md section 3, `Problematic@1`","encode":{"value":{"Problematic":{"tag":"Example@1","state":"other-data","error":"bang"}},"text":"fvj1:{\"/Problematic@1\":{\"error\":\"bang\",\"state\":\"other-data\",\"tag\":\"Example@1\"}}"},"decode":{"text":"fvj1:{\"/Problematic@1\":{\"error\":\"bang\",\"state\":\"other-data\",\"tag\":\"Example@1\"}}","value":{"Problematic":{"tag":"Example@1","state":"other-data","error":"bang"}}}},
    {"name":"UnknownValue, example 1","section":"3-json-encoding.md section 8","encode":{"value":{"Unknown":{"tag":"Example@1","state":"state-data"}},"text":"fvj1:{\"/Example@1\":\"state-data\"}"},"decode":{"text":"fvj1:{\"/Example@1\":\"state-data\"}","value":{"Unknown":{"tag":"Example@1","state":"state-data"}}}},
    {"name":"UnknownValue, example 2","section":"3-json-encoding.md section 8","encode":{"value":{"Unknown":{"tag":"Example@1","state":"other-data"}},"text":"fvj1:{\"/Example@1\":\"other-data\"}"},"decode":{"text":"fvj1:{\"/Example@1\":\"other-data\"}","value":{"Unknown":{"tag":"Example@1","state":"other-data"}}}}
  ]
}