23 lines
663 B
Python
23 lines
663 B
Python
"""SpaceSafeML Certification Benchmark - MVP package init"""
|
|
|
|
__version__ = "0.1.0"
|
|
|
|
# Re-export commonly used components for convenience (optional)
|
|
from .dsl import LocalCapabilities, SafetyPreConditions, SafetyPostConditions, ResourceBudgets, DataSharingPolicy
|
|
from .interoperability import contract_to_ir, contract_to_ir_json
|
|
from .verification import VerificationEngine
|
|
from .governance.ledger import Ledger
|
|
|
|
__all__ = [
|
|
"__version__",
|
|
"LocalCapabilities",
|
|
"SafetyPreConditions",
|
|
"SafetyPostConditions",
|
|
"ResourceBudgets",
|
|
"DataSharingPolicy",
|
|
"VerificationEngine",
|
|
"Ledger",
|
|
"contract_to_ir",
|
|
"contract_to_ir_json",
|
|
]
|