BlockScience · rororowyourboat · Mar 28, 2026 · Mar 28, 2026 · Mar 28, 2026 · Mar 28, 2026
diff --git a/.hypothesis/constants/021e69632fac0091 b/.hypothesis/constants/021e69632fac0091
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-owl/gds_owl/export.py
+# hypothesis_version: 6.151.9
+
+['AdmissibilityDep', 'AtomicBlock', 'BlockIR', 'BoundaryAction', 'CanonicalGDS', 'ControlAction', 'Entity', 'Finding', 'GDSSpec', 'HierarchyNodeIR', 'InputIR', 'Interface', 'Mechanism', 'ParameterDef', 'Policy', 'Port', 'Space', 'SpaceField', 'SpecWiring', 'StateVariable', 'SystemIR', 'TransitionReadEntry', 'TransitionSignature', 'TypeDef', 'UpdateMapEntry', 'VerificationReport', 'Wire', 'WiringIR', 'admissibility', 'block', 'blockName', 'blockType', 'boundaryBlock', 'canonical', 'category', 'checkId', 'colorCode', 'compositionType', 'constrainsBoundary', 'constraint', 'controlBlock', 'depEntity', 'depVariable', 'dependsOnBlock', 'description', 'direction', 'entity', 'exitCondition', 'exportablePredicate', 'fieldName', 'fieldType', 'finding', 'formula', 'generic', 'hasBackwardIn', 'hasBackwardOut', 'hasBlock', 'hasBlockIR', 'hasChild', 'hasConstraint', 'hasDependency', 'hasEntity', 'hasField', 'hasFinding', 'hasForwardIn', 'hasForwardOut', 'hasHierarchy', 'hasInputIR', 'hasInterface', 'hasParameter', 'hasReadEntry', 'hasSpace', 'hasType', 'hasVariable', 'hasWire', 'hasWiring', 'hasWiringIR', 'hierarchy', 'input', 'inst', 'interface', 'isFeedback', 'isTemporal', 'kind', 'label', 'logic', 'lowerBound', 'mechanismBlock', 'message', 'name', 'option', 'paramType', 'parameter', 'passed', 'policyBlock', 'portName', 'preservesInvariant', 'pythonType', 'readEntity', 'readVariable', 'report', 'severity', 'signatureBackwardIn', 'signatureBackwardOut', 'signatureForwardIn', 'signatureForwardOut', 'signatureMechanism', 'source', 'sourceElement', 'sourceLabel', 'space', 'spec', 'state_var', 'symbol', 'system', 'systemName', 'target', 'transition_sig', 'type', 'typeToken', 'units', 'updatesEntity', 'updatesEntry', 'updatesVariable', 'upperBound', 'usesParameter', 'usesType', 'wireOptional', 'wireSource', 'wireSpace', 'wireTarget', 'wiring', 'wiringBlock', 'wiringType']
diff --git a/.hypothesis/constants/0a02c611be85e11a b/.hypothesis/constants/0a02c611be85e11a
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/spec.py
+# hypothesis_version: 6.151.9
+
+[]
diff --git a/.hypothesis/constants/0d9a027faceff8d7 b/.hypothesis/constants/0d9a027faceff8d7
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/__init__.py
+# hypothesis_version: 6.151.9
+
+['0.2.3', 'AgentID', 'AtomicBlock', 'Block', 'BlockIR', 'BoundaryAction', 'CanonicalGDS', 'CompositionType', 'ControlAction', 'EMPTY', 'Entity', 'FeedbackLoop', 'Finding', 'FlowDirection', 'GDSCompositionError', 'GDSError', 'GDSSpec', 'GDSTypeError', 'HasConstraints', 'HasOptions', 'HasParams', 'HierarchyNodeIR', 'IRDocument', 'IRMetadata', 'InputIR', 'Interface', 'Mechanism', 'NonNegativeFloat', 'ParallelComposition', 'ParameterDef', 'ParameterSchema', 'Policy', 'Port', 'PositiveInt', 'Probability', 'Severity', 'Space', 'SpecQuery', 'SpecWiring', 'StackComposition', 'StateMetric', 'StateVariable', 'StructuralWiring', 'SystemIR', 'TERMINAL', 'Tagged', 'TemporalLoop', 'Timestamp', 'TokenAmount', 'TransitionSignature', 'TypeDef', 'VerificationReport', 'Wire', 'Wiring', 'WiringIR', 'WiringOrigin', 'all_checks', 'check_completeness', 'check_determinism', 'check_reachability', 'check_type_safety', 'compile_system', 'entity', 'extract_hierarchy', 'extract_wirings', 'flatten_blocks', 'gds_check', 'get_custom_checks', 'interface', 'load_ir', 'port', 'project_canonical', 'sanitize_id', 'save_ir', 'space', 'spec_to_dict', 'spec_to_json', 'state_var', 'tokenize', 'tokens_overlap', 'tokens_subset', 'typedef', 'verify']
diff --git a/.hypothesis/constants/0f2d12dedcb06219 b/.hypothesis/constants/0f2d12dedcb06219
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-owl/gds_owl/_namespace.py
+# hypothesis_version: 6.151.9
+
+['gds', 'gds-core', 'gds-ir', 'gds-verif']
diff --git a/.hypothesis/constants/1560a51ac9c66efb b/.hypothesis/constants/1560a51ac9c66efb
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/ir/serialization.py
+# hypothesis_version: 6.151.9
+
+['0.2.1', '1.0']
diff --git a/.hypothesis/constants/19377a3a38683453 b/.hypothesis/constants/19377a3a38683453
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/query.py
+# hypothesis_version: 6.151.9
+
+['boundary', 'control', 'generic', 'kind', 'mechanism', 'policy']
diff --git a/.hypothesis/constants/1e5ba8804462cfbf b/.hypothesis/constants/1e5ba8804462cfbf
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/types/typedef.py
+# hypothesis_version: 6.151.9
+
+[0.0, 1.0, 'A value in [0, 1]', 'AgentID', 'NonNegativeFloat', 'PositiveInt', 'Probability', 'Timestamp', 'TokenAmount', 'seconds', 'tokens']
diff --git a/.hypothesis/constants/2442a95b57e46661 b/.hypothesis/constants/2442a95b57e46661
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/compiler/__init__.py
+# hypothesis_version: 6.151.9
+
+['StructuralWiring', 'WiringOrigin', 'compile_system', 'extract_hierarchy', 'extract_wirings', 'flatten_blocks']
diff --git a/.hypothesis/constants/2a846dbd39b70828 b/.hypothesis/constants/2a846dbd39b70828
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/.venv/bin/pytest
+# hypothesis_version: 6.151.9
+
+['-script.pyw', '.exe', '__main__']
diff --git a/.hypothesis/constants/2ca0f2b446657c76 b/.hypothesis/constants/2ca0f2b446657c76
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-owl/gds_owl/shacl.py
+# hypothesis_version: 6.151.9
+
+['AtomicBlock', 'BlockIR', 'BlockIRShape', 'BoundaryAction', 'BoundaryActionShape', 'Entity', 'EntityShape', 'Finding', 'FindingShape', 'GDSSpec', 'GDSSpecShape', 'Mechanism', 'MechanismShape', 'ParameterDef', 'Policy', 'PolicyShape', 'SC005ParamRefShape', 'Space', 'SpaceShape', 'SystemIR', 'SystemIRShape', 'TransitionSignature', 'TypeDef', 'TypeDefShape', 'WiringIR', 'WiringIRShape', 'checkId', 'class', 'constrainsBoundary', 'gds-shape', 'hasInterface', 'name', 'passed', 'pythonType', 'severity', 'sh', 'signatureMechanism', 'source', 'target', 'updatesEntry', 'usesParameter', 'xsd']
diff --git a/.hypothesis/constants/30e5b6fa780f16d4 b/.hypothesis/constants/30e5b6fa780f16d4
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/spec.py
+# hypothesis_version: 6.151.9
+
+[]
diff --git a/.hypothesis/constants/3287dee2c51eebb5 b/.hypothesis/constants/3287dee2c51eebb5
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/types/__init__.py
+# hypothesis_version: 6.151.9
+
+['AgentID', 'Interface', 'NonNegativeFloat', 'Port', 'PositiveInt', 'Probability', 'Timestamp', 'TokenAmount', 'TypeDef', 'port', 'tokenize', 'tokens_overlap', 'tokens_subset']
diff --git a/.hypothesis/constants/3a356dc3c4c1aeae b/.hypothesis/constants/3a356dc3c4c1aeae
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/ir/models.py
+# hypothesis_version: 6.151.9
+
+['[^A-Za-z0-9_]', '_', 'contravariant', 'covariant', 'dataflow', 'feedback', 'parallel', 'sequential', 'temporal']
diff --git a/.hypothesis/constants/3a6447c305dd0a5a b/.hypothesis/constants/3a6447c305dd0a5a
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/helpers.py
+# hypothesis_version: 6.151.9
+
+[]
diff --git a/.hypothesis/constants/3af1f6bf1e0072a9 b/.hypothesis/constants/3af1f6bf1e0072a9
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/blocks/roles.py
+# hypothesis_version: 6.151.9
+
+['after', 'boundary', 'control', 'mechanism', 'policy']
diff --git a/.hypothesis/constants/41e7702e913f3269 b/.hypothesis/constants/41e7702e913f3269
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/verification/spec_checks.py
+# hypothesis_version: 6.151.9
+
+['SC-001', 'SC-002', 'SC-003', 'SC-004', 'SC-005', 'SC-006', 'SC-007', 'SC-008', 'SC-009']
diff --git a/.hypothesis/constants/47afa93e3c04db97 b/.hypothesis/constants/47afa93e3c04db97
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-owl/gds_owl/export.py
+# hypothesis_version: 6.151.9
+
+['AdmissibilityDep', 'AtomicBlock', 'BlockIR', 'BoundaryAction', 'CanonicalGDS', 'ControlAction', 'Entity', 'Finding', 'GDSSpec', 'HierarchyNodeIR', 'InputIR', 'Interface', 'Mechanism', 'MetricVariableEntry', 'ParameterDef', 'Policy', 'Port', 'Space', 'SpaceField', 'SpecWiring', 'StateMetric', 'StateVariable', 'SystemIR', 'TransitionReadEntry', 'TransitionSignature', 'TypeDef', 'UpdateMapEntry', 'VerificationReport', 'Wire', 'WiringIR', 'admissibility', 'block', 'blockName', 'blockType', 'boundaryBlock', 'canonical', 'category', 'checkId', 'colorCode', 'compositionType', 'constrainsBoundary', 'constraint', 'controlBlock', 'depEntity', 'depVariable', 'dependsOnBlock', 'description', 'direction', 'entity', 'exitCondition', 'exportablePredicate', 'fieldName', 'fieldType', 'finding', 'formula', 'generic', 'hasBackwardIn', 'hasBackwardOut', 'hasBlock', 'hasBlockIR', 'hasChild', 'hasConstraint', 'hasDependency', 'hasEntity', 'hasField', 'hasFinding', 'hasForwardIn', 'hasForwardOut', 'hasHierarchy', 'hasInputIR', 'hasInterface', 'hasMetricVariable', 'hasParameter', 'hasReadEntry', 'hasSpace', 'hasStateMetric', 'hasType', 'hasVariable', 'hasWire', 'hasWiring', 'hasWiringIR', 'hierarchy', 'input', 'inst', 'interface', 'isFeedback', 'isTemporal', 'kind', 'label', 'logic', 'lowerBound', 'mechanismBlock', 'message', 'metricEntity', 'metricHasDistance', 'metricType', 'metricVariable', 'name', 'option', 'paramType', 'parameter', 'passed', 'policyBlock', 'portName', 'preservesInvariant', 'pythonType', 'readEntity', 'readVariable', 'report', 'severity', 'signatureBackwardIn', 'signatureBackwardOut', 'signatureForwardIn', 'signatureForwardOut', 'signatureMechanism', 'source', 'sourceElement', 'sourceLabel', 'space', 'spec', 'state_metric', 'state_var', 'symbol', 'system', 'systemName', 'target', 'transition_sig', 'type', 'typeToken', 'units', 'updatesEntity', 'updatesEntry', 'updatesVariable', 'upperBound', 'usesParameter', 'usesType', 'wireOptional', 'wireSource', 'wireSpace', 'wireTarget', 'wiring', 'wiringBlock', 'wiringType']
diff --git a/.hypothesis/constants/49ec8bc0e2c1e8bf b/.hypothesis/constants/49ec8bc0e2c1e8bf
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/state.py
+# hypothesis_version: 6.151.9
+
+[]
diff --git a/.hypothesis/constants/4b4bd64e908536e9 b/.hypothesis/constants/4b4bd64e908536e9
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/tagged.py
+# hypothesis_version: 6.151.9
+
+['tags']
diff --git a/.hypothesis/constants/4cb330c12c1cf3b9 b/.hypothesis/constants/4cb330c12c1cf3b9
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/blocks/composition.py
+# hypothesis_version: 6.151.9
+
+['after']
diff --git a/.hypothesis/constants/4d01b94ed49cf45f b/.hypothesis/constants/4d01b94ed49cf45f
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-owl/gds_owl/__init__.py
+# hypothesis_version: 6.151.9
+
+['0.1.0', 'GDS', 'GDS_CORE', 'GDS_IR', 'GDS_VERIF', 'PREFIXES', 'TEMPLATES', 'build_all_shapes', 'build_core_ontology', 'build_generic_shapes', 'canonical_to_graph', 'canonical_to_turtle', 'graph_to_canonical', 'graph_to_report', 'graph_to_spec', 'graph_to_system_ir', 'report_to_graph', 'report_to_turtle', 'run_query', 'spec_to_graph', 'spec_to_turtle', 'system_ir_to_graph', 'system_ir_to_turtle', 'to_jsonld', 'to_ntriples', 'to_turtle', 'validate_graph']
diff --git a/.hypothesis/constants/539a07d14ba9c631 b/.hypothesis/constants/539a07d14ba9c631
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/blocks/__init__.py
+# hypothesis_version: 6.151.9
+
+['AtomicBlock', 'Block', 'BoundaryAction', 'ControlAction', 'FeedbackLoop', 'GDSCompositionError', 'GDSError', 'GDSTypeError', 'Mechanism', 'ParallelComposition', 'Policy', 'StackComposition', 'TemporalLoop', 'Wiring']
diff --git a/.hypothesis/constants/5778a306b1e17786 b/.hypothesis/constants/5778a306b1e17786
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/blocks/errors.py
+# hypothesis_version: 6.151.9
+
+[]
diff --git a/.hypothesis/constants/5c5ddce1df04a26c b/.hypothesis/constants/5c5ddce1df04a26c
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/verification/generic_checks.py
+# hypothesis_version: 6.151.9
+
+[' — MISMATCH', ' — type mismatch', 'G-001', 'G-002', 'G-003', 'G-004', 'G-005', 'G-006', 'boundary', 'no inputs', 'no outputs']
diff --git a/.hypothesis/constants/5ef2b46dafb2642c b/.hypothesis/constants/5ef2b46dafb2642c
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/ir/__init__.py
+# hypothesis_version: 6.151.9
+
+['BlockIR', 'CompositionType', 'FlowDirection', 'HierarchyNodeIR', 'SystemIR', 'WiringIR']
diff --git a/.hypothesis/constants/6002e064d9837fb8 b/.hypothesis/constants/6002e064d9837fb8
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/verification/__init__.py
+# hypothesis_version: 6.151.9
+
+['Finding', 'Severity', 'VerificationReport', 'check_completeness', 'check_determinism', 'check_reachability', 'check_type_safety', 'verify']
diff --git a/.hypothesis/constants/66aa6126fffe2c48 b/.hypothesis/constants/66aa6126fffe2c48
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-owl/gds_owl/export.py
+# hypothesis_version: 6.151.9
+
+['AdmissibilityDep', 'AtomicBlock', 'BlockIR', 'BoundaryAction', 'CanonicalGDS', 'ControlAction', 'Entity', 'Finding', 'GDSSpec', 'HierarchyNodeIR', 'InputIR', 'Interface', 'Mechanism', 'MetricVariableEntry', 'ParameterDef', 'Policy', 'Port', 'Space', 'SpaceField', 'SpecWiring', 'StateMetric', 'StateVariable', 'SystemIR', 'TransitionReadEntry', 'TransitionSignature', 'TypeDef', 'UpdateMapEntry', 'VerificationReport', 'Wire', 'WiringIR', 'admissibility', 'block', 'blockName', 'blockType', 'boundaryBlock', 'canonical', 'category', 'checkId', 'colorCode', 'compositionType', 'constrainsBoundary', 'constraint', 'controlBlock', 'depEntity', 'depVariable', 'dependsOnBlock', 'description', 'direction', 'entity', 'exitCondition', 'exportablePredicate', 'fieldName', 'fieldType', 'finding', 'formula', 'generic', 'hasBackwardIn', 'hasBackwardOut', 'hasBlock', 'hasBlockIR', 'hasChild', 'hasConstraint', 'hasDependency', 'hasEntity', 'hasField', 'hasFinding', 'hasForwardIn', 'hasForwardOut', 'hasHierarchy', 'hasInputIR', 'hasInterface', 'hasMetricVariable', 'hasParameter', 'hasReadEntry', 'hasSpace', 'hasStateMetric', 'hasType', 'hasVariable', 'hasWire', 'hasWiring', 'hasWiringIR', 'hierarchy', 'input', 'inst', 'interface', 'isFeedback', 'isTemporal', 'kind', 'label', 'logic', 'lowerBound', 'mechanismBlock', 'message', 'metricEntity', 'metricHasDistance', 'metricType', 'metricVariable', 'name', 'option', 'paramType', 'parameter', 'passed', 'policyBlock', 'portName', 'preservesInvariant', 'pythonType', 'readEntity', 'readVariable', 'report', 'severity', 'signatureBackwardIn', 'signatureBackwardOut', 'signatureForwardIn', 'signatureForwardOut', 'signatureMechanism', 'source', 'sourceElement', 'sourceLabel', 'space', 'spec', 'state_metric', 'state_var', 'symbol', 'system', 'systemName', 'target', 'transition_sig', 'type', 'typeToken', 'units', 'updatesEntity', 'updatesEntry', 'updatesVariable', 'upperBound', 'usesParameter', 'usesType', 'wireOptional', 'wireSource', 'wireSpace', 'wireTarget', 'wiring', 'wiringBlock', 'wiringType']
diff --git a/.hypothesis/constants/720bb2d392c98802 b/.hypothesis/constants/720bb2d392c98802
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/serialize.py
+# hypothesis_version: 6.151.9
+
+['blocks', 'boundary_block', 'bounds', 'constraints', 'depends_on', 'depends_on_blocks', 'description', 'entities', 'generic', 'has_constraint', 'kind', 'mechanism', 'name', 'optional', 'options', 'parameters', 'params_used', 'preserves_invariant', 'python_type', 'reads', 'schema', 'source', 'space', 'spaces', 'symbol', 'target', 'type', 'typedef', 'types', 'units', 'updates', 'variables', 'wires', 'wirings']
diff --git a/.hypothesis/constants/7c2096717ac2bba5 b/.hypothesis/constants/7c2096717ac2bba5
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/types/interface.py
+# hypothesis_version: 6.151.9
+
+[]
diff --git a/.hypothesis/constants/7da98be9df90a320 b/.hypothesis/constants/7da98be9df90a320
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/verification/engine.py
+# hypothesis_version: 6.151.9
+
+[]
diff --git a/.hypothesis/constants/7fd7ee5dc4ea2ae8 b/.hypothesis/constants/7fd7ee5dc4ea2ae8
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/compiler/compile.py
+# hypothesis_version: 6.151.9
+
+[' + ', 'auto', 'children', 'explicit', 'feedback', 'forward_in', 'forward_out', 'kind', 'temporal']
diff --git a/.hypothesis/constants/8a7e4acf124a93cd b/.hypothesis/constants/8a7e4acf124a93cd
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-owl/gds_owl/ontology.py
+# hypothesis_version: 6.151.9
+
+['AdmissibilityDep', 'Atomic Block', 'AtomicBlock', 'Block', 'Block IR', 'BlockIR', 'Boundary Action', 'BoundaryAction', 'Canonical GDS', 'CanonicalGDS', 'Control Action', 'ControlAction', 'Entity', 'Feedback Loop', 'FeedbackLoop', 'Finding', 'GDS Specification', 'GDSSpec', 'Hierarchy Node IR', 'HierarchyNodeIR', 'Input IR', 'InputIR', 'Interface', 'Mechanism', 'Parallel Composition', 'ParallelComposition', 'Parameter Definition', 'ParameterDef', 'Policy', 'Port', 'Space', 'Space Field', 'SpaceField', 'Spec Wiring', 'SpecWiring', 'Stack Composition', 'StackComposition', 'State Variable', 'StateVariable', 'System IR', 'SystemIR', 'Temporal Loop', 'TemporalLoop', 'Top-level flat IR', 'Transition Signature', 'TransitionReadEntry', 'TransitionSignature', 'Type Definition', 'TypeDef', 'Update Map Entry', 'UpdateMapEntry', 'Verification Report', 'VerificationReport', 'Wire', 'Wiring IR', 'WiringIR', 'blockName', 'blockType', 'boolean', 'boundaryBlock', 'category', 'checkId', 'colorCode', 'compositionType', 'constrainsBoundary', 'constraint', 'controlBlock', 'depEntity', 'depVariable', 'dependsOnBlock', 'description', 'direction', 'exitCondition', 'exportablePredicate', 'fieldName', 'fieldType', 'first', 'formula', 'hasBackwardIn', 'hasBackwardOut', 'hasBlock', 'hasBlockIR', 'hasCanonical', 'hasChild', 'hasConstraint', 'hasDependency', 'hasEntity', 'hasField', 'hasFinding', 'hasForwardIn', 'hasForwardOut', 'hasHierarchy', 'hasInputIR', 'hasInterface', 'hasParameter', 'hasReadEntry', 'hasSpace', 'hasType', 'hasVariable', 'hasWire', 'hasWiring', 'hasWiringIR', 'inner', 'integer', 'isFeedback', 'isTemporal', 'kind', 'label', 'left', 'logic', 'lowerBound', 'mechanismBlock', 'message', 'name', 'ontology', 'option', 'owl', 'paramType', 'passed', 'policyBlock', 'portName', 'preservesInvariant', 'pythonType', 'rdfs', 'readEntity', 'readVariable', 'right', 'second', 'severity', 'signatureBackwardIn', 'signatureBackwardOut', 'signatureForwardIn', 'signatureForwardOut', 'signatureMechanism', 'source', 'sourceElement', 'sourceLabel', 'string', 'symbol', 'systemName', 'target', 'typeToken', 'units', 'updatesEntity', 'updatesEntry', 'updatesVariable', 'upperBound', 'usesParameter', 'usesType', 'wireOptional', 'wireSource', 'wireSpace', 'wireTarget', 'wiringBlock', 'wiringType', 'xsd']
diff --git a/.hypothesis/constants/8ad6b25a6bd095e8 b/.hypothesis/constants/8ad6b25a6bd095e8
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/parameters.py
+# hypothesis_version: 6.151.9
+
+['after', 'parameters']
diff --git a/.hypothesis/constants/8e319d735c5b99ac b/.hypothesis/constants/8e319d735c5b99ac
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/verification/findings.py
+# hypothesis_version: 6.151.9
+
+['error', 'info', 'warning']
diff --git a/.hypothesis/constants/8f29e7654bf98441 b/.hypothesis/constants/8f29e7654bf98441
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/spec.py
+# hypothesis_version: 6.151.9
+
+[]
diff --git a/.hypothesis/constants/a3ac6bf68fb7c3f0 b/.hypothesis/constants/a3ac6bf68fb7c3f0
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/canonical.py
+# hypothesis_version: 6.151.9
+
+['f', 'f ∘ g', 'f_θ', 'g', 'g_θ', 'id']
diff --git a/.hypothesis/constants/a8dcac1926006e66 b/.hypothesis/constants/a8dcac1926006e66
@@ -0,0 +1,4 @@
+# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/constraints.py
+# hypothesis_version: 6.151.9
+
+[]