certflow 1.0.2__tar.gz → 1.1.0__tar.gz

certflow-1.1.0/.gitignore

@@ -0,0 +1,21 @@
+/data/
+cert_env/
+.venv/
+__pycache__/
+*.egg-info/
+.pytest_cache/
+/results/
+paper/*.pdf
+paper/*.aux
+paper/*.log
+paper/*.out
+venue.md
+.claude/
+
+# raw visualization renders (curated copies live in site/assets/)
+viz_out/
+
+# personal launch assets (not part of the published artifact)
+linkedin.zip
+reddit.zip
+x.zip

certflow-1.1.0/CHANGELOG.md

@@ -0,0 +1,135 @@
+# Changelog
+
+All notable changes to CERT-FLOW are documented here. The format follows
+[Keep a Changelog](https://keepachangelog.com/en/1.1.0/); versions follow
+[Semantic Versioning](https://semver.org/).
+
+## [Unreleased]
+
+## [1.1.0] - 2026-07-02
+
+Multi-agent certificate + a 2026 conformal upgrade layer. All new behavior is
+opt-in behind config flags / new classes; the default single-agent certificate
+and its guarantees are unchanged.
+
+### Added
+- **Additive multi-agent certificate** (`certflow.team`): `additive_certificate`
+  + `TeamCertificate` (`sum LB <= sum OPT <= sum UB`, union-bound confidence) —
+  the one TEAM-CERT survivor, ported over a shared conformal store.
+- **LP-shift staleness** (`ConformalScorer(shift_model="lp", eps_lp, rho_lp)`,
+  arXiv 2502.14105): worst-case quantile `Quant(1-alpha+rho)+eps`. TV default.
+- **CIA path-sum calibration** (`CIACalibrator`, `CertPlanner.cia_path_certificate`,
+  arXiv 2408.10939): group-sum path calibration with symmetric-calibration overlap
+  handling and the age-weighted drift retrofit. Bonferroni default.
+- **SF-OGD ACI** (`ACITracker(mode="sf-ogd")`, arXiv 2302.07869): scale-free,
+  anytime step size. Fixed-gamma default.
+- **PASC joint per-edge calibration** (`PASCCalibrator`, arXiv 2605.18812): one
+  `max`-score quantile prices all edges jointly at `>= 1-alpha`, replacing the
+  `alpha/L` per-edge Bonferroni correction.
+- **Testability layer** — making the pinned-at-1.0 coverage observable:
+  `conformal_p_value` (WATCH Eq. 9), `ConformalTestMartingale` (WATCH, arXiv
+  2505.04608; Ville alarm + tightness stress test), `conformal_e_value` /
+  `score_ratio_e_value` / `merge_e_values` (arXiv 2503.13050).
+- **Drift diagnostics** (from DASC, arXiv 2606.15953, as observables only —
+  DASC's coverage bound is not distribution-free): `residual_drift_score`
+  (1-D Wasserstein `D_t`), `effective_sample_size` (Kish `n_eff`).
+- **Live round-2 wiring** — the round-2 calibrators, previously standalone, are
+  now wired into the live `round()` loop behind `PlannerConfig` flags (all
+  default **OFF**; on/off produce a byte-identical `(lb, ub, confidence)`
+  stream):
+  - `watch_monitor=True` (+ `sr_threshold`): every new weighted conformal
+    p-value inside `ingest_observation` feeds `planner.watch`
+    (`ConformalTestMartingale`) **and** `planner.sr` (`ShiryaevRobertsDetector`);
+    `planner.diagnostics()` exposes the martingale value/alarm, SR peak/alarm,
+    the recent-vs-buffer residual drift score and the age-weights' effective
+    sample size. Purely observational — no certificate, no pricing change.
+  - `path_calibration="pasc"`: `_q()` prices edges with the PASC **joint** radius
+    live, falling back to Bonferroni during warm-up / while α-annealing pins the
+    level at 1. Uses the **signed** block-max, not `abs()`: the live buffer
+    already stores the drift-adjusted score `|obs−ĉ| − ρ·age`, so `abs()` (as the
+    standalone `pasc_edge_radius` applies to *raw* residuals) would double-count
+    the drift subtraction and inflate the radius.
+  - `scripts/run_live_wiring.py`, `tests/test_live_wiring.py`.
+- **Real METR-LA benchmark of the wiring** (20 seeds × 288 rounds = one replay
+  day each; oracle = exact Dijkstra on the recording): **0.0000** coverage
+  violations in every mode; `watch_monitor` **quiet 20/20** on both detectors —
+  the pinned-at-1.0 coverage is now a live, alarming quantity at zero cost
+  (WATCH HOLDS on real data). PASC is an **honest negative**: **+25.1 %** wider
+  median width than Bonferroni on real traffic (8797 → 11007 s), the opposite of
+  its 4.5 % synthetic-grid win — long optimistic paths (L ≈ 14–18) starve the
+  length-L block quantile, while Bonferroni's full-pooled per-edge quantile stays
+  better-resolved. Bonferroni stays default; PASC keeps its experimental flag.
+  Full suite **250 passed**. (`docs/results/live-wiring-2026.md`)
+- `docs/results/multiagent.md`, `docs/related-work-2026.md` (positioning vs
+  arXiv 2601.03629 + the adopted machinery).
+
+## [1.0.2] - 2026-06-10
+
+Packaging and serialization fixes for the freshly published library.
+
+### Fixed
+- `pytest` now discovers the `src/`-layout package on a fresh checkout: the
+  `[tool.pytest.ini_options]` `pythonpath` was `["."]` (repo root, no package
+  there), so `python -m pytest` failed with `ModuleNotFoundError: certflow`
+  unless `PYTHONPATH=src` was set or the package was installed. Set to
+  `["src"]`.
+- `EpisodeResult.oracle_cost` is now serialized by `save_results` and restored
+  by `load_results`. It was dropped on save, so reloaded Tier-2 results came
+  back with `oracle_cost = nan` and any regret analysis silently reported NaN.
+  Legacy result files without the field still load (oracle_cost stays nan).
+
+### Added
+- `realworld` optional extra (`pip install 'certflow[realworld]'`) declaring
+  the `pandas` and `tables` dependencies the METR-LA / PEMS-BAY traffic
+  adapter needs. The core install stays numpy/scipy only; `_load_traffic` now
+  raises a clear `ImportError` pointing at the extra when pandas is absent.
+
+## [1.0.1] - 2026-06-10
+
+First PyPI release (`pip install certflow`).
+
+### Added
+- Top-level package API: `from certflow import CertPlanner, PlannerConfig,
+  Certificate, ConformalScorer, ACITracker, EdgeBelief, World`, plus
+  `certflow.__version__` (previously `certflow/__init__.py` was empty and
+  everything had to be imported from submodules; the old submodule imports
+  still work).
+- `CITATION.cff` (validated, concept DOI 10.5281/zenodo.20631475) and this
+  changelog.
+- Full PyPI packaging metadata: readme, keywords, classifiers, project URLs.
+
+### Changed
+- README: pip-based 30-second quickstart, static DOI badge pointing at the
+  concept DOI, link to the limitations ledger, Python badge corrected to
+  3.10+ (matching `requires-python`).
+- Package version aligned with the release tag (pyproject said 0.1.0 while
+  the repository was at v1.0.0).
+
+### Fixed
+- Lint sweep over `src/`: removed unused imports and dead local assignments
+  (no behavior change; the full test suite passes bit-identically).
+
+## [1.0.0] - 2026-06-10
+
+First public release, accompanying the preprint *CERT: Certified Route
+Planning under Drifting Costs (Extended Version)*.
+
+- Conformal route certificates (LB <= OPT <= UB) under drifting edge costs:
+  age-weighted non-exchangeable quantiles, staleness correction, honest
+  annealing.
+- Certificate-directed sensing (route-critical, churn-aware) and dual
+  incremental search on a flat-array engine (numba kernels with pure-Python
+  fallback).
+- Certificate-gated preprocessing: all-pairs snapshot oracle and certified
+  Contraction Hierarchies (ns-to-microsecond queries that expire under
+  drift).
+- 200+ tests; 16 reproduction pipelines covering 17 synthetic regimes,
+  METR-LA / PEMS-BAY traffic replay, MovingAI maps, and DIMACS road
+  networks.
+- Theory T1-T7 documented in `docs/` (coverage, certifiability threshold,
+  sum-aware certificate, impossibility of a tighter lower bound,
+  decision-uniform validity, churn floor).
+
+[1.0.2]: https://github.com/Archerkattri/CERT-FLOW/releases/tag/v1.0.2
+[1.0.1]: https://github.com/Archerkattri/CERT-FLOW/releases/tag/v1.0.1
+[1.0.0]: https://github.com/Archerkattri/CERT-FLOW/releases/tag/v1.0.0

{certflow-1.0.2 → certflow-1.1.0}/CITATION.cff

@@ -7,7 +7,8 @@ authors:
   - family-names: Attri
     given-names: Krishi
     email: krishiattriwork@gmail.com
-    affiliation: "Seoul National University"
+    orcid: https://orcid.org/0009-0005-4695-6467
+date-released: "2026-06-10"
 doi: 10.5281/zenodo.20631475
 url: "https://github.com/Archerkattri/CERT-FLOW"
 repository-code: "https://github.com/Archerkattri/CERT-FLOW"
@@ -28,3 +29,14 @@ abstract: >-
   preprocessing (all-pairs snapshot oracle, certified Contraction
   Hierarchies) behind the certificate so static-speed queries expire the
   instant drift exceeds tolerance.
+preferred-citation:
+  type: article
+  title: "CERT: Certified Route Planning under Drifting Costs"
+  authors:
+    - family-names: Attri
+      given-names: Krishi
+      orcid: https://orcid.org/0009-0005-4695-6467
+  year: 2026
+  doi: 10.31224/7306
+  url: "https://doi.org/10.31224/7306"
+  notes: "engrXiv preprint, extended version"

{certflow-1.0.2 → certflow-1.1.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: certflow
-Version: 1.0.2
+Version: 1.1.0
 Summary: Certified route planning under drifting costs: conformal LB<=OPT<=UB certificates, certificate-directed sensing, proof-gated preprocessing
 Project-URL: Homepage, https://github.com/Archerkattri/CERT-FLOW
 Project-URL: Repository, https://github.com/Archerkattri/CERT-FLOW
@@ -22,10 +22,14 @@ Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
 Requires-Python: >=3.10
 Requires-Dist: numpy>=1.24
 Requires-Dist: scipy>=1.10
+Provides-Extra: bench
+Requires-Dist: networkx>=3.0; extra == 'bench'
 Provides-Extra: dev
 Requires-Dist: pytest>=7.0; extra == 'dev'
 Provides-Extra: fast
-Requires-Dist: numba; extra == 'fast'
+Requires-Dist: numba>=0.59; extra == 'fast'
+Provides-Extra: plots
+Requires-Dist: matplotlib>=3.7; extra == 'plots'
 Provides-Extra: realworld
 Requires-Dist: pandas>=1.5; extra == 'realworld'
 Requires-Dist: tables>=3.7; extra == 'realworld'
@@ -35,13 +39,17 @@ Description-Content-Type: text/markdown
 
 <p align="center">
   <a href="https://pypi.org/project/certflow/"><img alt="PyPI" src="https://img.shields.io/pypi/v/certflow?color=009E73"></a>
-  <a href="#reproducing-every-number"><img alt="tests" src="https://img.shields.io/badge/tests-227%20passing-0072B2"></a>
+  <a href="#reproducing-every-number"><img alt="tests" src="https://img.shields.io/badge/tests-200%2B%20passing-0072B2"></a>
   <img alt="python" src="https://img.shields.io/badge/python-3.10%2B-56B4E9">
   <img alt="license" src="https://img.shields.io/badge/license-MIT-1a7f37">
   <img alt="coverage claim" src="https://img.shields.io/badge/certificate%20coverage-1.000%20measured-D55E00">
-  <a href="https://doi.org/10.5281/zenodo.20631475"><img alt="DOI" src="https://img.shields.io/badge/DOI-10.5281%2Fzenodo.20631475-1f6feb"></a>
+  <a href="https://zenodo.org/badge/latestdoi/1265150144"><img alt="DOI" src="https://zenodo.org/badge/1265150144.svg"></a>
+  <a href="https://doi.org/10.31224/7306"><img alt="engrXiv paper" src="https://img.shields.io/badge/engrXiv-10.31224%2F7306-009E73"></a>
+  <a href="https://archerkattri.github.io/CERT-FLOW/"><img alt="project page" src="https://img.shields.io/badge/project%20page-live-56B4E9"></a>
 </p>
 
+<p align="center"><b><a href="https://archerkattri.github.io/CERT-FLOW/">🌐 Project page &amp; videos →</a></b></p>
+
 A robot replanning through a world whose costs drift faces a question classical
 planners never answer: **how good is my current route, given that most of the
 map is stale?** CERT-FLOW answers it every round, with a proof: a
@@ -54,13 +62,24 @@ certificate says the gap shrinks fastest.
 
 ## Why it's different
 
-| | classical replanning (D\* Lite, AD\*) | exchangeable conformal (CIA) | **CERT-FLOW** |
+| property | classical replanning (D\* Lite, AD\*) | exchangeable conformal (CIA) | 🏆 **CERT-FLOW** (wins) |
 |---|---|---|---|
 | stale map | silently trusts it | coverage collapses (0.95 → **0.20** measured) | **prices it**: width grows with age, claim degrades visibly |
 | validity under drift | 0.02–0.59 measured | gap-dependent | **0.95–1.00, every condition ever run** |
 | sensing | none / heuristic | none | **certificate-directed** (oracle-level regret) |
 | static regime | fast | tight | **proof-gated preprocessing**: ns–µs queries that self-expire |
 
+### Results at a glance — CERT-FLOW wins every metric
+
+| metric | better is | **CERT-FLOW** | best alternative | winner |
+|---|:--:|---|---|:--:|
+| certificate coverage | higher ↑ | **1.000** (every condition) | AD\* 0.02–0.59 · CIA → 0.20 | 🏆 CERT |
+| travel-regret, unknown terrain | lower ↓ | **−0.12** (≈ clairvoyant oracle) | VOI 0.47 · freshness/blind 4–7 | 🏆 CERT |
+| fully-certified round @ 60×60 | lower ↓ | **3.7 ms** p50 / 12 ms p95 | — no certified planner reports one | 🏆 CERT |
+| road cost-change absorption | lower ↓ | **0.015–0.34 ms** | CRP ≈ 1 s | 🏆 CERT |
+
+*“better is” shows the metric direction (↑ higher / ↓ lower); **bold** = best value; 🏆 = winner. Every per-condition table in [`docs/`](docs/) is likewise marked and ranked best→worst.*
+
 ## Headline results (all reproducible below)
 
 - **Coverage ≥ claimed confidence on every condition ever run**: 17 synthetic
@@ -87,6 +106,65 @@ certificate says the gap shrinks fastest.
   help. Every known limitation and its disposition:
   [docs/results/limitations.md](docs/results/limitations.md).
 
+## 2026 upgrades (opt-in)
+
+Everything here is **off by default** — the single-agent certificate and its
+guarantees are byte-identical, and each addition is a new class or a config flag
+you opt into. Derivations in
+[docs/related-work-2026.md](docs/related-work-2026.md); the API in the
+[CHANGELOG](CHANGELOG.md).
+
+- **Additive multi-agent certificate** — `certflow.team.additive_certificate`
+  composes per-agent certificates into a fleet-level `ΣLB ≤ ΣOPT ≤ ΣUB`
+  (union-bound confidence). The one TEAM-CERT variant that survived scrutiny.
+  ([docs/results/multiagent.md](docs/results/multiagent.md))
+- **2025 conformal machinery, retrofitted with our age weights** — LP-shift
+  staleness (`ConformalScorer(shift_model="lp")`,
+  [arXiv 2502.14105](https://arxiv.org/abs/2502.14105)); a scale-free SF-OGD step
+  for the ACI net (`ACITracker(mode="sf-ogd")`,
+  [arXiv 2302.07869](https://arxiv.org/abs/2302.07869)); CIA path-*sum*
+  calibration (`CIACalibrator`, `CertPlanner.cia_path_certificate()`,
+  [arXiv 2408.10939](https://arxiv.org/abs/2408.10939)); and PASC joint
+  *per-edge* radius (`PASCCalibrator`, `CertPlanner.pasc_edge_radius()`,
+  [arXiv 2605.18812](https://arxiv.org/abs/2605.18812)) — one `max`-score
+  quantile prices every edge at `≥ 1-α`, replacing the `α/L` Bonferroni
+  correction. TV, fixed-γ, and Bonferroni stay the defaults.
+- **Testability layer** — makes the pinned-at-1.0 coverage *observable*:
+  `conformal_p_value` + `ConformalTestMartingale` (WATCH,
+  [arXiv 2505.04608](https://arxiv.org/abs/2505.04608) — a Ville-bounded validity
+  monitor plus a tightness stress test), `ShiryaevRobertsDetector` for
+  late-change detection, conformal e-values and admissible merging
+  (`conformal_e_value`, `merge_e_values`,
+  [arXiv 2503.13050](https://arxiv.org/abs/2503.13050)), and drift diagnostics
+  `residual_drift_score` / `effective_sample_size` (from DASC,
+  [arXiv 2606.15953](https://arxiv.org/abs/2606.15953) — observables only: DASC's
+  own bound isn't distribution-free, so it never touches the coverage-critical
+  weights).
+- **Demonstration** — `scripts/run_watch_testability.py` on streams with known
+  ground truth: the validity monitor stays flat (coverage tracks `1-α`); the
+  Shiryaev-Roberts detector catches a sharp regime shift ~7 rounds after it,
+  where the plain martingale — decayed over a long null — misses it; and the
+  Bonferroni-vs-PASC width gap shows up **only under positive edge correlation**
+  (ρ=0.9, L=20: Bonferroni over-covers 0.97, PASC holds ~0.91 at **16.5% less
+  width**). Under independence PASC barely helps — stated, not hidden.
+- **Live-wired and benchmarked on real data** —
+  `PlannerConfig(watch_monitor=True)` runs the WATCH martingale +
+  Shiryaev-Roberts detector inside `round()` (read via `planner.diagnostics()`),
+  and `path_calibration="pasc"` prices edges with the joint radius live; both
+  default **off** and change no certificate (`(lb, ub, confidence)` is
+  byte-identical). On **real METR-LA** (20 seeds × 288 rounds) the certificate
+  holds at **0.0000** violations in every mode, both detectors stay **quiet
+  20/20** — coverage is now a live, alarming quantity — and PASC is an honest
+  negative: **+25.1 % wider** than Bonferroni on real traffic, the opposite of
+  its synthetic-grid win, so Bonferroni stays the default.
+  ([docs/results/live-wiring-2026.md](docs/results/live-wiring-2026.md))
+
+<p align="center"><img src="assets/live_wiring_2026.png" alt="Left: certified width on real METR-LA — the PASC joint radius is 25% wider than the default Bonferroni, both at zero violations. Right: the Shiryaev-Roberts validity monitor stays quiet under the correct model and fires 7 rounds after an injected regime shift." width="100%"/></p>
+
+<p align="center"><em>The 2026 layer on real data. <b>Left</b> — on METR-LA the joint PASC radius is <b>+25.1 % wider</b> than the default per-edge Bonferroni (both at 0.0000 violations): long paths starve the length-L block quantile, so PASC keeps its experimental flag. <b>Right</b> — soundness is now <b>observable</b>: the Shiryaev-Roberts statistic stays below its alarm threshold under the correctly-modelled null (quiet on 20/20 real seeds) and crosses it ~7 rounds after an injected regime shift, at zero cost to the certificate. Regenerate with <code>scripts/viz_gen/live_wiring_fig.py</code>.</em></p>
+
+With these in, the full suite is **250 passing** (the default path unchanged).
+
 ## Quickstart
 
 ```bash
@@ -111,7 +189,7 @@ To develop or reproduce the paper numbers, work from a clone:
 git clone https://github.com/Archerkattri/CERT-FLOW && cd CERT-FLOW
 python -m venv cert_env && source cert_env/bin/activate
 pip install -e ".[dev,fast,realworld]" h5py
-pytest   # full suite: 227 with datasets; data-dependent tests skip cleanly without data/
+pytest   # full suite: 200+ tests (more with datasets); data-dependent tests skip cleanly without data/
 ```
 
 ## Reproducing every number
@@ -137,9 +215,51 @@ a multicore machine (`CERTFLOW_WORKERS=N` parallelizes seeds bit-identically).
 | Scale + engine benchmarks | `scripts/run_scale.py` | `docs/results/scale.md` |
 | Road networks (DIMACS NY/FLA, ALT) | `scripts/run_roadnet.py` | `docs/results/published-speed-comparison.md` |
 | Certified Contraction Hierarchies | `scripts/run_ch.py` | `docs/results/published-speed-comparison.md` |
+| Extended validation (baselines, stress, scaling) | `scripts/extval/*.py` | `docs/results/extended-validation.md` |
+| FoMo off-road seasonal drift | `scripts/extval/fomo_validation.py` | `docs/results/extended-validation.md` (§6) |
+| Comparison videos | `scripts/viz_compare.py`, `scripts/viz_gen/*.py` | `site/` (project page) |
 
 All scripts accept `--quick`. Real-data runs need `data/` (sources and loaders
-in `data/README.md`; ~230 MB total, links inside).
+in `data/README.md`; ~230 MB + optional FoMo cost-signal ~150 MB, links inside).
+
+## Videos
+
+Honest side-by-side comparisons — every clip replays a **real run** and the
+coverage/regret numbers shown are measured, not staged (warm-up rounds are
+drawn as "no claim", never counted as misses). Generators:
+`scripts/viz_compare.py` + `scripts/viz_gen/`; MP4 + supplementary reel in
+[`assets/videos/`](assets/videos).
+
+**The certificate that holds vs. the one that breaks** — CERT's band contains
+the true optimum every round it claims; AD\*'s w-suboptimality band, trusting
+stale point estimates, drifts out of date.
+
+![certificate holds vs breaks, synthetic drift](assets/videos/cert-break-grid.gif)
+
+*Synthetic drifting grid — CERT coverage 100% vs AD\* 43% (60 rounds).*
+
+![certificate holds vs breaks, real MovingAI map](assets/videos/cert-break-movingai.gif)
+
+*Real MovingAI map (DAO arena) — CERT 100% vs AD\* 42%.*
+
+**Sensing that pays** — gap-directed sensing converges near a clairvoyant
+oracle; random / max-age / drive-blind wander at equal budget.
+
+![sensing that pays, synthetic](assets/videos/sensing-grid.gif)
+
+*Unknown drifting terrain — CERT travel-regret 1.96 vs random 7.84 / max-age 4.89 / blind 5.43 (15 seeds).*
+
+![sensing that pays, MovingAI](assets/videos/sensing-movingai.gif)
+
+*Real arena map — CERT 1.71, lowest of all policies.*
+
+**Exchangeability collapse under staleness** — exchangeable conformal (CIA,
+its own construction) covers on the static slice it assumes, then collapses;
+CERT widens to hold coverage.
+
+![CIA collapse vs CERT, METR-LA](assets/videos/staleness-metrla.gif)
+
+*METR-LA — CIA coverage 0.88 → 0.25 → 0.38 (width frozen) vs CERT ~1.0 (width grows).*
 
 ## How it works
 
@@ -170,6 +290,8 @@ src/certflow/
   ch.py         certified Contraction Hierarchies (231 µs on 264k-node NY)
   roadnet.py    DIMACS road graphs + exact ALT on landmark lower-bounds
   drift.py / realworld.py / movingai.py   synthetic, traffic-replay, game maps
+scripts/extval/   extended validation (baselines, stress, scaling, FoMo)
+scripts/viz_gen/  comparison-video generators; site/ = project page
   episodes.py / harness.py / baselines.py runners, seeds, parametric strawman
 docs/results/   one markdown per experiment: numbers, anomalies, verdicts
 docs/specs/     design spec; docs/theory/ working notes
@@ -177,8 +299,8 @@ docs/specs/     design spec; docs/theory/ working notes
 
 ## Citation
 
-Paper: *CERT: Certified Route Planning under Drifting Costs* (preprint
-forthcoming; the citation entry will be updated once the DOI is live).
+Paper (engrXiv preprint): *CERT: Certified Route Planning under Drifting Costs*,
+[doi:10.31224/7306](https://doi.org/10.31224/7306).
 
 ```bibtex
 @software{attri2026certflow,
@@ -194,8 +316,10 @@ The DOI above is the concept DOI (always resolves to the latest archived
 version); [CITATION.cff](CITATION.cff) carries the same metadata in
 machine-readable form.
 
-Paper preprint (extended version): DOI pending engrXiv moderation; this
-section will carry it once posted.
+Paper preprint (extended version): engrXiv,
+[doi:10.31224/7306](https://doi.org/10.31224/7306).
+
+**Author:** Krishi Attri ([ORCID](https://orcid.org/0009-0005-4695-6467) · [Google Scholar](https://scholar.google.com/citations?hl=en&user=VW1YUNYAAAAJ))
 
 ## License