{"id":"97dd9e74-be89-4801-aeb6-faaa3b2fdb18","name":"FORMAL_LOGIC-45","section":"validation","registeredStructure":null,"documentEdition":{"validationRules":null,"canonicalizationRules":null,"workedExamples":null,"expectedDecodedOutputs":null,"runtimeTestResults":null},"provenance":null,"status":"available","warnings":[],"machineAccess":{"structuredContextUrl":"https://cerberusmatryoshka.org/api/public/sk/97dd9e74-be89-4801-aeb6-faaa3b2fdb18","readerPlacementsUrl":"https://cerberusmatryoshka.org/api/public/sk/97dd9e74-be89-4801-aeb6-faaa3b2fdb18/placements","bitRegistryUrl":"https://cerberusmatryoshka.org/api/public/sk/97dd9e74-be89-4801-aeb6-faaa3b2fdb18/bits","validationTestsUrl":"https://cerberusmatryoshka.org/api/public/sk/97dd9e74-be89-4801-aeb6-faaa3b2fdb18/validation","specificationStructureUrl":"https://cerberusmatryoshka.org/api/public/sk/97dd9e74-be89-4801-aeb6-faaa3b2fdb18/specification"}}