updates

Author: markvanderloo

pkg/vignettes/myrules2.yaml

@@ -13,7 +13,7 @@ rules:
   label: speed positivity
   description: |
     speed can not be negative
-  created: 2023-05-01 11:10:40.050704
+  created: 2025-06-26 20:23:24.257934
   origin: myrules.yaml
   meta:
     language: validate 0.9.3.36
@@ -24,7 +24,7 @@ rules:
   description: |
     The speed to distance ratio can
     not exceed 1.5.
-  created: 2023-05-01 11:10:40.050704
+  created: 2025-06-26 20:23:24.257934
   origin: myrules.yaml
   meta:
     language: validate 0.9.3.36

pkg/vignettes/spm_lbj_cells.csv

@@ -1,9 +1,9 @@
 "step","time","expression","cells","available","still_available","unadapted","adapted","imputed","missing","still_missing","removed"
-0,2024-02-13 12:53:19.297734,"",300,252,252,252,0,0,48,48,0
-1,2024-02-13 12:53:19.297734,"start_log(spm, logger=lbj_cells())",300,252,252,252,0,0,48,48,0
-2,2024-02-13 12:53:19.308941,"start_log(spm, logger=lbj_rules(rules))",300,252,252,252,0,0,48,48,0
-3,2024-02-13 12:53:19.339413,"spm <- transform(spm, other.rev = ifelse(is.na(other.rev),0,other.rev))",300,288,252,252,0,36,12,12,0
-4,2024-02-13 12:53:19.364539,"spm <- transform(spm, other.rev = abs(other.rev))",300,288,288,287,1,0,12,12,0
-5,2024-02-13 12:53:19.376546,"Rhat <- with(spm, mean(staff,na.rm=TRUE)/mean(turnover,na.rm=TRUE))",300,288,288,288,0,0,12,12,0
-6,2024-02-13 12:53:19.388179,"spm <- transform(spm, staff = ifelse(is.na(staff), Rhat * turnover, staff))",300,293,288,288,0,5,7,7,0
-7,2024-02-13 12:53:19.3999,"write.csv(spm, ""supermarkets_treated.csv"", row.names = FALSE)",300,293,293,293,0,0,7,7,0
+0,2025-06-26 20:23:24.786454,"",300,252,252,252,0,0,48,48,0
+1,2025-06-26 20:23:24.786454,"start_log(spm, logger=lbj_cells())",300,252,252,252,0,0,48,48,0
+2,2025-06-26 20:23:24.795276,"start_log(spm, logger=lbj_rules(rules))",300,252,252,252,0,0,48,48,0
+3,2025-06-26 20:23:24.832342,"spm <- transform(spm, other.rev = ifelse(is.na(other.rev),0,other.rev))",300,288,252,252,0,36,12,12,0
+4,2025-06-26 20:23:24.855397,"spm <- transform(spm, other.rev = abs(other.rev))",300,288,288,287,1,0,12,12,0
+5,2025-06-26 20:23:24.871526,"Rhat <- with(spm, mean(staff,na.rm=TRUE)/mean(turnover,na.rm=TRUE))",300,288,288,288,0,0,12,12,0
+6,2025-06-26 20:23:24.884353,"spm <- transform(spm, staff = ifelse(is.na(staff), Rhat * turnover, staff))",300,293,288,288,0,5,7,7,0
+7,2025-06-26 20:23:24.897556,"write.csv(spm, ""supermarkets_treated.csv"", row.names = FALSE)",300,293,293,293,0,0,7,7,0

pkg/vignettes/spm_lbj_rules.csv

@@ -1,8 +1,8 @@
 "step","time","expression","validations","verifiable","unverifiable","still_unverifiable","new_unverifiable","satisfied","still_satisfied","new_satisfied","violated","still_violated","new_violated"
-0,2024-02-13 12:53:19.309517,"",240,157,83,83,0,152,152,0,5,5,0
-1,2024-02-13 12:53:19.309517,"start_log(spm, logger=lbj_rules(rules))",240,157,83,83,0,152,152,0,5,5,0
-2,2024-02-13 12:53:19.349714,"spm <- transform(spm, other.rev = ifelse(is.na(other.rev),0,other.rev))",240,225,15,15,0,218,152,66,7,5,2
-3,2024-02-13 12:53:19.365008,"spm <- transform(spm, other.rev = abs(other.rev))",240,225,15,15,0,220,218,2,5,5,0
-4,2024-02-13 12:53:19.376996,"Rhat <- with(spm, mean(staff,na.rm=TRUE)/mean(turnover,na.rm=TRUE))",240,225,15,15,0,220,220,0,5,5,0
-5,2024-02-13 12:53:19.388609,"spm <- transform(spm, staff = ifelse(is.na(staff), Rhat * turnover, staff))",240,230,10,10,0,225,220,5,5,5,0
-6,2024-02-13 12:53:19.400329,"write.csv(spm, ""supermarkets_treated.csv"", row.names = FALSE)",240,230,10,10,0,225,225,0,5,5,0
+0,2025-06-26 20:23:24.799539,"",240,157,83,83,0,152,152,0,5,5,0
+1,2025-06-26 20:23:24.799539,"start_log(spm, logger=lbj_rules(rules))",240,157,83,83,0,152,152,0,5,5,0
+2,2025-06-26 20:23:24.84349,"spm <- transform(spm, other.rev = ifelse(is.na(other.rev),0,other.rev))",240,225,15,15,0,218,152,66,7,5,2
+3,2025-06-26 20:23:24.855877,"spm <- transform(spm, other.rev = abs(other.rev))",240,225,15,15,0,220,218,2,5,5,0
+4,2025-06-26 20:23:24.87204,"Rhat <- with(spm, mean(staff,na.rm=TRUE)/mean(turnover,na.rm=TRUE))",240,225,15,15,0,220,220,0,5,5,0
+5,2025-06-26 20:23:24.88485,"spm <- transform(spm, staff = ifelse(is.na(staff), Rhat * turnover, staff))",240,230,10,10,0,225,220,5,5,5,0
+6,2025-06-26 20:23:24.898052,"write.csv(spm, ""supermarkets_treated.csv"", row.names = FALSE)",240,230,10,10,0,225,225,0,5,5,0