1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
//! Persist the adequacy learner's positive exploration state.
//!
//! `adequacy_pins` stores negative safety state. This table stores the positive
//! side: trial cadence and learned cheap-route locks, so policy rounds can keep
//! learning across daemon restarts.
use sea_orm_migration::prelude::*;
#[derive(DeriveMigrationName)]
pub struct Migration;
#[async_trait::async_trait]
impl MigrationTrait for Migration {
async fn up(&self, manager: &SchemaManager) -> Result<(), DbErr> {
manager
.create_table(
Table::create()
.table(AdequacyExploration::Table)
.if_not_exists()
.col(
ColumnDef::new(AdequacyExploration::Fingerprint)
.string()
.not_null()
.primary_key(),
)
.col(
ColumnDef::new(AdequacyExploration::Observed)
.integer()
.not_null(),
)
.col(
ColumnDef::new(AdequacyExploration::AdequateTrials)
.integer()
.not_null(),
)
.col(
ColumnDef::new(AdequacyExploration::Locked)
.boolean()
.not_null(),
)
.col(
ColumnDef::new(AdequacyExploration::UpdatedAt)
.string()
.not_null(),
)
.col(
ColumnDef::new(AdequacyExploration::CreatedAt)
.string()
.not_null(),
)
.to_owned(),
)
.await?;
Ok(())
}
async fn down(&self, manager: &SchemaManager) -> Result<(), DbErr> {
manager
.drop_table(Table::drop().table(AdequacyExploration::Table).to_owned())
.await?;
Ok(())
}
}
#[derive(DeriveIden)]
enum AdequacyExploration {
Table,
Fingerprint,
Observed,
AdequateTrials,
Locked,
UpdatedAt,
CreatedAt,
}