The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]metanet.ch.
This vignette checks that run_case() is deterministic
under identical inputs.
# 1) Load a baseline configuration
cfg_path <- system.file("extdata", "preset_default.yml", package = "cre.dcf")
stopifnot(nzchar(cfg_path))
cfg <- yaml::read_yaml(cfg_path)
stopifnot(is.list(cfg), length(cfg) > 0)
# Optional but recommended: validate before use
cfg <- cre.dcf::cfg_validate(cfg)
cat("✓ Configuration loaded and validated.\n")## ✓ Configuration loaded and validated.# 2) Run twice under identical conditions
case1 <- run_case(cfg)
case2 <- run_case(cfg)
# 3) Build compact metric vectors (named for clarity)
m1 <- c(
irr_project = case1$all_equity$irr_project,
npv_project = case1$all_equity$npv_project,
irr_equity = case1$leveraged$irr_equity,
npv_equity = case1$leveraged$npv_equity
)
m2 <- c(
irr_project = case2$all_equity$irr_project,
npv_project = case2$all_equity$npv_project,
irr_equity = case2$leveraged$irr_equity,
npv_equity = case2$leveraged$npv_equity
)
# 4) Byte-for-byte identity on metrics (primary assertion)
bytes_equal_metrics <- identical(serialize(m1, NULL), serialize(m2, NULL))
stopifnot(bytes_equal_metrics)
# 5) Byte-for-byte identity on key tables (secondary assertions)
# (a) all-equity cashflows
ae1 <- case1$all_equity$cashflows
ae2 <- case2$all_equity$cashflows
# (b) leveraged cashflows
lv1 <- case1$leveraged$cashflows
lv2 <- case2$leveraged$cashflows
# (c) comparison summary (if present)
sm1 <- case1$comparison$summary
sm2 <- case2$comparison$summary
stopifnot(
identical(serialize(ae1, NULL), serialize(ae2, NULL)),
identical(serialize(lv1, NULL), serialize(lv2, NULL)),
identical(serialize(sm1, NULL), serialize(sm2, NULL))
)
cat(
"\nReproducibility checks:\n",
" • Core metrics: byte-level identity confirmed.\n",
" • All-equity cashflows: byte-level identity confirmed.\n",
" • Leveraged cashflows: byte-level identity confirmed.\n",
" • Comparison summary: byte-level identity confirmed.\n"
)##
## Reproducibility checks:
## • Core metrics: byte-level identity confirmed.
## • All-equity cashflows: byte-level identity confirmed.
## • Leveraged cashflows: byte-level identity confirmed.
## • Comparison summary: byte-level identity confirmed.These assertions show that run_case() maps a given YAML
configuration to the same outputs every time.
We also compute maximum absolute differences on numeric outputs. If byte-level identity holds, these values should be zero.
max_abs_diff <- function(x, y) {
# Vector case
if (is.null(dim(x)) && is.null(dim(y))) {
if (is.numeric(x) && is.numeric(y) && length(x) == length(y)) {
return(max(abs(x - y), na.rm = TRUE))
} else {
return(NA_real_)
}
}
# Data frame case
if (is.data.frame(x) && is.data.frame(y)) {
common <- intersect(names(x), names(y))
if (length(common) == 0L) return(NA_real_)
numeric_cols <- common[
vapply(x[common], is.numeric, TRUE) &
vapply(y[common], is.numeric, TRUE)
]
if (length(numeric_cols) == 0L) return(NA_real_)
mx <- 0
for (nm in numeric_cols) {
d <- max(abs(x[[nm]] - y[[nm]]), na.rm = TRUE)
if (is.finite(d) && d > mx) mx <- d
}
return(mx)
}
# Fallback
NA_real_
}
cat(sprintf(" • Max |Δ| metrics (numeric drift): %s\n",
formatC(max_abs_diff(m1, m2), format = "g")))## • Max |Δ| metrics (numeric drift): 0## • Max |Δ| AE cashflows: 0## • Max |Δ| LV cashflows: 0cat(sprintf(" • Max |Δ| comparison summary: %s\n",
formatC(max_abs_diff(sm1, sm2), format = "g")), "\n")## • Max |Δ| comparison summary: 0
## If all checks pass, identical YAML inputs produce identical outputs in this environment. If a future platform shows small differences, the max-absolute-difference block helps locate them quickly.
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.