OpenSGI-PER-EdgeDevice-MVM DEFINITIONS AUTOMATIC TAGS ::= BEGIN

-- ====================================
-- Basic Scalar Types
-- =======================================

UUID ::= OCTET STRING (SIZE(16))

IA5Text ::= IA5String

EpochMillis ::= INTEGER (0..MAX)

VersionString ::= IA5String (SIZE(1..64))

-- =======================================
-- Common Governance Types (MVM local definitions)
-- =======================================

PrivacyClass ::= ENUMERATED {
  public(0),
  local(1),
  sensitive(2),
  restricted(3)
}

AccessClass ::= ENUMERATED {
  readOnly(0),
  readWrite(1),
  writeOnce(2)
}

StatusCode ::= ENUMERATED {
  success(0),
  partial(1),
  fail(2)
}

ResultSet ::= SEQUENCE {
  status          StatusCode,
  resultVersion   VersionString,
  errorCode       IA5Text OPTIONAL,
  errorDetail     IA5Text OPTIONAL,
  result          OCTET STRING OPTIONAL
}

ParameterSet ::= SEQUENCE {
  paramsVersion   VersionString,
  params          OCTET STRING
}

-- =======================================
-- World and Policy References
-- =======================================

WorldRef ::= SEQUENCE {
  worldId     UUID,
  worldRole   IA5Text OPTIONAL
}

WorldRefList ::= SEQUENCE (SIZE(1..MAX)) OF WorldRef

PolicyRef ::= SEQUENCE {
  policyId    UUID,
  policyType  IA5Text OPTIONAL
}

-- =======================================
-- Device Inventory References
-- =======================================

SensorRef ::= SEQUENCE {
  sensorId     UUID,
  sensorType   IA5Text,
  bindingLabel IA5Text OPTIONAL
}

SensorRefList ::= SEQUENCE (SIZE(0..MAX)) OF SensorRef

SignalTypeId ::= ENUMERATED {
  motion(0),
  contact(1),
  deviceHealth(2),
  audioSnippet(3),
  videoFrame(4),
  other(255)
}

EventTypeId ::= ENUMERATED {
  subjectObjectEvent(0),
  primaryUserEvent(1),
  policyOutcomeEvent(2),
  other(255)
}

-- =======================================
-- Device State and Health
-- =======================================

DeviceType ::= ENUMERATED {
  edgePerDevice(0)
}

DeviceRole ::= ENUMERATED {
  acquisition(0),
  localInferenceHost(1),
  policyEnforcer(2),
  logAnchor(3)
}

DeviceRoleSet ::= SEQUENCE (SIZE(1..MAX)) OF DeviceRole

DeviceState ::= ENUMERATED {
  init(0),
  ready(1),
  running(2),
  degraded(3),
  maintenance(4),
  offline(5)
}

HealthState ::= ENUMERATED {
  ok(0),
  warn(1),
  error(2)
}

TimeSyncState ::= ENUMERATED {
  synced(0),
  unsynced(1)
}

StorageState ::= ENUMERATED {
  storageOk(0),
  storageLow(1),
  storageFull(2)
}

-- =======================================
-- EdgePERDevice Core Object
-- =======================================

EdgePERDevice ::= SEQUENCE {
  deviceId             UUID,
  deviceType           DeviceType,

  manufacturer         IA5Text OPTIONAL,
  model                IA5Text OPTIONAL,
  serialNumber         IA5Text OPTIONAL,

  firmwareVersion      VersionString OPTIONAL,
  softwareVersion      VersionString OPTIONAL,
  provisioningTime     EpochMillis OPTIONAL,

  worldRefs            WorldRefList,
  deviceRoles          DeviceRoleSet,

  hostedSensors        SensorRefList,
  supportedSignalTypes SEQUENCE (SIZE(1..MAX)) OF SignalTypeId,
  supportedEventTypes  SEQUENCE (SIZE(1..MAX)) OF EventTypeId,

  privacyClass         PrivacyClass,
  accessClass          AccessClass,

  retentionPolicyRef   PolicyRef OPTIONAL,
  exportPolicyRef      PolicyRef OPTIONAL,

  deviceState          DeviceState,
  healthState          HealthState,
  lastHeartbeatTime    EpochMillis OPTIONAL,
  timeSyncState        TimeSyncState,
  storageState         StorageState
}

-- =======================================
-- Notifications (Device-level)
-- =======================================

DeviceNotificationType ::= ENUMERATED {
  deviceHeartbeat(0),
  deviceStateChanged(1),
  deviceHealthChanged(2),
  deviceStorageChanged(3),
  deviceSensorInventoryChanged(4)
}

DeviceNotification ::= SEQUENCE {
  notificationId     UUID,
  notificationType   DeviceNotificationType,
  deviceId           UUID,
  worldId            UUID,
  timestamp          EpochMillis,

  -- Policy mediation metadata (what policy governed delivery)
  governingPolicy    PolicyRef OPTIONAL,

  -- Opaque payload for extensibility; implementations may define a schema
  payload            OCTET STRING OPTIONAL
}

-- =======================================
-- Method Contracts (Operation Types)
-- =======================================

-- 1) RegisterDevice
RegisterDeviceRequest ::= SEQUENCE {
  deviceDescriptor   EdgePERDevice,
  params             ParameterSet OPTIONAL
}

RegisterDeviceResponse ::= SEQUENCE {
  result             ResultSet,
  registeredDeviceId UUID OPTIONAL
}

-- 2) ProvisionWorld
ProvisionWorldRequest ::= SEQUENCE {
  deviceId           UUID,
  worldRef           WorldRef,
  params             ParameterSet OPTIONAL
}

ProvisionWorldResponse ::= SEQUENCE {
  result             ResultSet
}

-- 3) ConfigureAcquisition
ConfigureAcquisitionRequest ::= SEQUENCE {
  deviceId           UUID,
  params             ParameterSet
}

ConfigureAcquisitionResponse ::= SEQUENCE {
  result             ResultSet
}

-- 4) ConfigureRetention
ConfigureRetentionRequest ::= SEQUENCE {
  deviceId           UUID,
  retentionPolicyRef PolicyRef,
  params             ParameterSet OPTIONAL
}

ConfigureRetentionResponse ::= SEQUENCE {
  result             ResultSet
}

-- 5) StartCapture
StartCaptureRequest ::= SEQUENCE {
  deviceId           UUID,
  params             ParameterSet OPTIONAL
}

StartCaptureResponse ::= SEQUENCE {
  result             ResultSet
}

-- 6) StopCapture
StopCaptureRequest ::= SEQUENCE {
  deviceId           UUID,
  params             ParameterSet OPTIONAL
}

StopCaptureResponse ::= SEQUENCE {
  result             ResultSet
}

-- 7) GetDeviceStatus
GetDeviceStatusRequest ::= SEQUENCE {
  deviceId           UUID,
  params             ParameterSet OPTIONAL
}

GetDeviceStatusResponse ::= SEQUENCE {
  result             ResultSet,
  deviceStatus       EdgePERDevice OPTIONAL
}

-- 8) GetSensorInventory
GetSensorInventoryRequest ::= SEQUENCE {
  deviceId           UUID,
  params             ParameterSet OPTIONAL
}

GetSensorInventoryResponse ::= SEQUENCE {
  result             ResultSet,
  hostedSensors      SensorRefList OPTIONAL
}

-- 9) EmitNotification (policy-mediated)
EmitNotificationRequest ::= SEQUENCE {
  deviceId           UUID,
  notification       DeviceNotification,

  -- If present, overrides default policy reference for this emission attempt.
  requestedPolicy    PolicyRef OPTIONAL,

  params             ParameterSet OPTIONAL
}

EmitNotificationResponse ::= SEQUENCE {
  result             ResultSet,
  delivered          BOOLEAN OPTIONAL
}

-- =======================================
-- Operation Union (Optional Convenience)
-- =======================================

EdgePERDeviceOperation ::= CHOICE {
  registerDevice          RegisterDeviceRequest,
  provisionWorld          ProvisionWorldRequest,
  configureAcquisition    ConfigureAcquisitionRequest,
  configureRetention      ConfigureRetentionRequest,
  startCapture            StartCaptureRequest,
  stopCapture             StopCaptureRequest,
  getDeviceStatus         GetDeviceStatusRequest,
  getSensorInventory      GetSensorInventoryRequest,
  emitNotification        EmitNotificationRequest
}

EdgePERDeviceOperationResult ::= CHOICE {
  registerDeviceResult       RegisterDeviceResponse,
  provisionWorldResult       ProvisionWorldResponse,
  configureAcquisitionResult ConfigureAcquisitionResponse,
  configureRetentionResult   ConfigureRetentionResponse,
  startCaptureResult         StartCaptureResponse,
  stopCaptureResult          StopCaptureResponse,
  getDeviceStatusResult      GetDeviceStatusResponse,
  getSensorInventoryResult   GetSensorInventoryResponse,
  emitNotificationResult     EmitNotificationResponse
}

END