LOOKOUTEQUIPMENT

CreateDataset

valid {
    input.Body.DatasetName == STRING
    input.Body.DatasetSchema.InlineDataSchema == STRING
    input.Body.ServerSideKmsKeyId == STRING
    input.Body.ClientToken == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateInferenceScheduler

enum_DataUploadFrequency := [ "PT5M", "PT10M", "PT15M", "PT30M", "PT1H" ]

valid {
    input.Body.ModelName == STRING
    input.Body.InferenceSchedulerName == STRING
    input.Body.DataDelayOffsetInMinutes == LONG
    input.Body.DataUploadFrequency == enum_DataUploadFrequency[_]
    input.Body.DataInputConfiguration.S3InputConfiguration.Bucket == STRING
    input.Body.DataInputConfiguration.S3InputConfiguration.Prefix == STRING
    input.Body.DataInputConfiguration.InputTimeZoneOffset == STRING
    input.Body.DataInputConfiguration.InferenceInputNameConfiguration.TimestampFormat == STRING
    input.Body.DataInputConfiguration.InferenceInputNameConfiguration.ComponentTimestampDelimiter == STRING
    input.Body.DataOutputConfiguration.S3OutputConfiguration.Bucket == STRING
    input.Body.DataOutputConfiguration.S3OutputConfiguration.Prefix == STRING
    input.Body.DataOutputConfiguration.KmsKeyId == STRING
    input.Body.RoleArn == STRING
    input.Body.ServerSideKmsKeyId == STRING
    input.Body.ClientToken == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateLabel

enum_LabelRating := [ "ANOMALY", "NO_ANOMALY", "NEUTRAL" ]

valid {
    input.Body.LabelGroupName == STRING
    input.Body.StartTime == TIMESTAMP
    input.Body.EndTime == TIMESTAMP
    input.Body.Rating == enum_LabelRating[_]
    input.Body.FaultCode == STRING
    input.Body.Notes == STRING
    input.Body.Equipment == STRING
    input.Body.ClientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateLabelGroup

valid {
    input.Body.LabelGroupName == STRING
    input.Body.FaultCodes[_] == STRING
    input.Body.ClientToken == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateModel

enum_TargetSamplingRate := [ "PT1S", "PT5S", "PT10S", "PT15S", "PT30S", "PT1M", "PT5M", "PT10M", "PT15M", "PT30M", "PT1H" ]

valid {
    input.Body.ModelName == STRING
    input.Body.DatasetName == STRING
    input.Body.DatasetSchema.InlineDataSchema == STRING
    input.Body.LabelsInputConfiguration.S3InputConfiguration.Bucket == STRING
    input.Body.LabelsInputConfiguration.S3InputConfiguration.Prefix == STRING
    input.Body.LabelsInputConfiguration.LabelGroupName == STRING
    input.Body.ClientToken == STRING
    input.Body.TrainingDataStartTime == TIMESTAMP
    input.Body.TrainingDataEndTime == TIMESTAMP
    input.Body.EvaluationDataStartTime == TIMESTAMP
    input.Body.EvaluationDataEndTime == TIMESTAMP
    input.Body.RoleArn == STRING
    input.Body.DataPreProcessingConfiguration.TargetSamplingRate == enum_TargetSamplingRate[_]
    input.Body.ServerSideKmsKeyId == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.OffCondition == STRING
    input.Body.ModelDiagnosticsOutputConfiguration.S3OutputConfiguration.Bucket == STRING
    input.Body.ModelDiagnosticsOutputConfiguration.S3OutputConfiguration.Prefix == STRING
    input.Body.ModelDiagnosticsOutputConfiguration.KmsKeyId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateRetrainingScheduler

enum_ModelPromoteMode := [ "MANAGED", "MANUAL" ]

valid {
    input.Body.ModelName == STRING
    input.Body.RetrainingStartDate == TIMESTAMP
    input.Body.RetrainingFrequency == STRING
    input.Body.LookbackWindow == STRING
    input.Body.PromoteMode == enum_ModelPromoteMode[_]
    input.Body.ClientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteDataset

valid {
    input.Body.DatasetName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteInferenceScheduler

valid {
    input.Body.InferenceSchedulerName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteLabel

valid {
    input.Body.LabelGroupName == STRING
    input.Body.LabelId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteLabelGroup

valid {
    input.Body.LabelGroupName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteModel

valid {
    input.Body.ModelName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteResourcePolicy

valid {
    input.Body.ResourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteRetrainingScheduler

valid {
    input.Body.ModelName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeDataIngestionJob

valid {
    input.Body.JobId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeDataset

valid {
    input.Body.DatasetName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeInferenceScheduler

valid {
    input.Body.InferenceSchedulerName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeLabel

valid {
    input.Body.LabelGroupName == STRING
    input.Body.LabelId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeLabelGroup

valid {
    input.Body.LabelGroupName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeModel

valid {
    input.Body.ModelName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeModelVersion

valid {
    input.Body.ModelName == STRING
    input.Body.ModelVersion == LONG
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeResourcePolicy

valid {
    input.Body.ResourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeRetrainingScheduler

valid {
    input.Body.ModelName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ImportDataset

valid {
    input.Body.SourceDatasetArn == STRING
    input.Body.DatasetName == STRING
    input.Body.ClientToken == STRING
    input.Body.ServerSideKmsKeyId == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ImportModelVersion

enum_InferenceDataImportStrategy := [ "NO_IMPORT", "ADD_WHEN_EMPTY", "OVERWRITE" ]

valid {
    input.Body.SourceModelVersionArn == STRING
    input.Body.ModelName == STRING
    input.Body.DatasetName == STRING
    input.Body.LabelsInputConfiguration.S3InputConfiguration.Bucket == STRING
    input.Body.LabelsInputConfiguration.S3InputConfiguration.Prefix == STRING
    input.Body.LabelsInputConfiguration.LabelGroupName == STRING
    input.Body.ClientToken == STRING
    input.Body.RoleArn == STRING
    input.Body.ServerSideKmsKeyId == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.InferenceDataImportStrategy == enum_InferenceDataImportStrategy[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListDataIngestionJobs

enum_IngestionJobStatus := [ "IN_PROGRESS", "SUCCESS", "FAILED", "IMPORT_IN_PROGRESS" ]

valid {
    input.Body.DatasetName == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.Status == enum_IngestionJobStatus[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListDatasets

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.DatasetNameBeginsWith == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListInferenceEvents

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.InferenceSchedulerName == STRING
    input.Body.IntervalStartTime == TIMESTAMP
    input.Body.IntervalEndTime == TIMESTAMP
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListInferenceExecutions

enum_InferenceExecutionStatus := [ "IN_PROGRESS", "SUCCESS", "FAILED" ]

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.InferenceSchedulerName == STRING
    input.Body.DataStartTimeAfter == TIMESTAMP
    input.Body.DataEndTimeBefore == TIMESTAMP
    input.Body.Status == enum_InferenceExecutionStatus[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListInferenceSchedulers

enum_InferenceSchedulerStatus := [ "PENDING", "RUNNING", "STOPPING", "STOPPED" ]

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.InferenceSchedulerNameBeginsWith == STRING
    input.Body.ModelName == STRING
    input.Body.Status == enum_InferenceSchedulerStatus[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListLabelGroups

valid {
    input.Body.LabelGroupNameBeginsWith == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListLabels

valid {
    input.Body.LabelGroupName == STRING
    input.Body.IntervalStartTime == TIMESTAMP
    input.Body.IntervalEndTime == TIMESTAMP
    input.Body.FaultCode == STRING
    input.Body.Equipment == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListModelVersions

enum_ModelVersionSourceType := [ "TRAINING", "RETRAINING", "IMPORT" ]
enum_ModelVersionStatus := [ "IN_PROGRESS", "SUCCESS", "FAILED", "IMPORT_IN_PROGRESS", "CANCELED" ]

valid {
    input.Body.ModelName == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.Status == enum_ModelVersionStatus[_]
    input.Body.SourceType == enum_ModelVersionSourceType[_]
    input.Body.CreatedAtEndTime == TIMESTAMP
    input.Body.CreatedAtStartTime == TIMESTAMP
    input.Body.MaxModelVersion == LONG
    input.Body.MinModelVersion == LONG
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListModels

enum_ModelStatus := [ "IN_PROGRESS", "SUCCESS", "FAILED", "IMPORT_IN_PROGRESS" ]

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.Status == enum_ModelStatus[_]
    input.Body.ModelNameBeginsWith == STRING
    input.Body.DatasetNameBeginsWith == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListRetrainingSchedulers

enum_RetrainingSchedulerStatus := [ "PENDING", "RUNNING", "STOPPING", "STOPPED" ]

valid {
    input.Body.ModelNameBeginsWith == STRING
    input.Body.Status == enum_RetrainingSchedulerStatus[_]
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListSensorStatistics

valid {
    input.Body.DatasetName == STRING
    input.Body.IngestionJobId == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResource

valid {
    input.Body.ResourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

PutResourcePolicy

valid {
    input.Body.ResourceArn == STRING
    input.Body.ResourcePolicy == STRING
    input.Body.PolicyRevisionId == STRING
    input.Body.ClientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartDataIngestionJob

valid {
    input.Body.DatasetName == STRING
    input.Body.IngestionInputConfiguration.S3InputConfiguration.Bucket == STRING
    input.Body.IngestionInputConfiguration.S3InputConfiguration.Prefix == STRING
    input.Body.IngestionInputConfiguration.S3InputConfiguration.KeyPattern == STRING
    input.Body.RoleArn == STRING
    input.Body.ClientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartInferenceScheduler

valid {
    input.Body.InferenceSchedulerName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartRetrainingScheduler

valid {
    input.Body.ModelName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StopInferenceScheduler

valid {
    input.Body.InferenceSchedulerName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StopRetrainingScheduler

valid {
    input.Body.ModelName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

TagResource

valid {
    input.Body.ResourceArn == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UntagResource

valid {
    input.Body.ResourceArn == STRING
    input.Body.TagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateActiveModelVersion

valid {
    input.Body.ModelName == STRING
    input.Body.ModelVersion == LONG
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateInferenceScheduler

enum_DataUploadFrequency := [ "PT5M", "PT10M", "PT15M", "PT30M", "PT1H" ]

valid {
    input.Body.InferenceSchedulerName == STRING
    input.Body.DataDelayOffsetInMinutes == LONG
    input.Body.DataUploadFrequency == enum_DataUploadFrequency[_]
    input.Body.DataInputConfiguration.S3InputConfiguration.Bucket == STRING
    input.Body.DataInputConfiguration.S3InputConfiguration.Prefix == STRING
    input.Body.DataInputConfiguration.InputTimeZoneOffset == STRING
    input.Body.DataInputConfiguration.InferenceInputNameConfiguration.TimestampFormat == STRING
    input.Body.DataInputConfiguration.InferenceInputNameConfiguration.ComponentTimestampDelimiter == STRING
    input.Body.DataOutputConfiguration.S3OutputConfiguration.Bucket == STRING
    input.Body.DataOutputConfiguration.S3OutputConfiguration.Prefix == STRING
    input.Body.DataOutputConfiguration.KmsKeyId == STRING
    input.Body.RoleArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateLabelGroup

valid {
    input.Body.LabelGroupName == STRING
    input.Body.FaultCodes[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateModel

valid {
    input.Body.ModelName == STRING
    input.Body.LabelsInputConfiguration.S3InputConfiguration.Bucket == STRING
    input.Body.LabelsInputConfiguration.S3InputConfiguration.Prefix == STRING
    input.Body.LabelsInputConfiguration.LabelGroupName == STRING
    input.Body.RoleArn == STRING
    input.Body.ModelDiagnosticsOutputConfiguration.S3OutputConfiguration.Bucket == STRING
    input.Body.ModelDiagnosticsOutputConfiguration.S3OutputConfiguration.Prefix == STRING
    input.Body.ModelDiagnosticsOutputConfiguration.KmsKeyId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateRetrainingScheduler

enum_ModelPromoteMode := [ "MANAGED", "MANUAL" ]

valid {
    input.Body.ModelName == STRING
    input.Body.RetrainingStartDate == TIMESTAMP
    input.Body.RetrainingFrequency == STRING
    input.Body.LookbackWindow == STRING
    input.Body.PromoteMode == enum_ModelPromoteMode[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}