icl-native-r5-opcode / source /icl /OCIR_SCHEMA.json
emirhanyildirim34555's picture
Publish reviewed research staging to main
2e4432d verified
Raw History Blame Contribute Delete
1.15 kB
{"$schema":"https://json-schema.org/draft/2020-12/schema","title":"OCIR finite core","schema_version":"0.2.1","type":"object","additionalProperties":false,"required":["schema_version","schema_sha256","feature_set","program_id","source_sha256","module_graph","typed_blocks","ops","operand_types","shape_constraints","observer_context","provenance_refs","required_effects","limits","numeric_policy","entrypoint","integrity_sha256"],"properties":{"schema_version":{"const":"0.2.1"},"schema_sha256":{"type":"string"},"feature_set":{"type":"array"},"program_id":{"type":"string"},"source_sha256":{"type":"string"},"module_graph":{"type":"array"},"typed_blocks":{"type":"array"},"ops":{"type":"array"},"operand_types":{"type":"array"},"shape_constraints":{"type":"array"},"observer_context":{"type":"object"},"provenance_refs":{"type":"array"},"required_effects":{"type":"array"},"limits":{"type":"object"},"numeric_policy":{"type":"object"},"entrypoint":{"type":"string"},"integrity_sha256":{"type":"string"}},"runtime_validation":"icl.api.validate_ocir additionally validates AST node keys, typed operations, numeric policy, limits and structural depth"}