From 3b5ebf659b76570cc24d0708bd5f051e92f9ea6b Mon Sep 17 00:00:00 2001
From: "pre-commit-ci[bot]"
 <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Date: Mon, 22 Jun 2026 20:19:29 +0000
Subject: [PATCH 1/2] [pre-commit.ci] pre-commit autoupdate
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

updates:
- [github.com/pre-commit/pre-commit-hooks: v5.0.0 → v6.0.0](https://github.com/pre-commit/pre-commit-hooks/compare/v5.0.0...v6.0.0)
- [github.com/igorshubovych/markdownlint-cli: v0.45.0 → v0.49.0](https://github.com/igorshubovych/markdownlint-cli/compare/v0.45.0...v0.49.0)
---
 .pre-commit-config.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
index 7da3597..38042a1 100644
--- a/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@@ -2,13 +2,13 @@
 # See https://pre-commit.com/hooks.html for more hooks
 repos:
 -   repo: https://github.com/pre-commit/pre-commit-hooks
-    rev: v5.0.0
+    rev: v6.0.0
     hooks:
     -   id: trailing-whitespace
     -   id: end-of-file-fixer
     -   id: check-yaml
     -   id: check-added-large-files
 -   repo: https://github.com/igorshubovych/markdownlint-cli
-    rev: v0.45.0
+    rev: v0.49.0
     hooks:
     -   id: markdownlint-fix

From df5d009d11f6861b8178edabe343588d71bcb132 Mon Sep 17 00:00:00 2001
From: "pre-commit-ci[bot]"
 <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Date: Mon, 22 Jun 2026 20:19:40 +0000
Subject: [PATCH 2/2] [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci
---
 examples/ml/fashion-mnist-robustness/spec.vcl | 3 +--
 examples/ml/fashion-mnist-robustness/train.py | 4 ++--
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/examples/ml/fashion-mnist-robustness/spec.vcl b/examples/ml/fashion-mnist-robustness/spec.vcl
index 188dc42..7795691 100644
--- a/examples/ml/fashion-mnist-robustness/spec.vcl
+++ b/examples/ml/fashion-mnist-robustness/spec.vcl
@@ -4,7 +4,7 @@ p : Real
 
 @logic
 capucciAdditive : DifferentiableLogic
-capucciAdditive = 
+capucciAdditive =
   { trueElement                = -infinity
   , falseElement               = infinity
   , pointwiseNegation          = \x -> -x
@@ -19,4 +19,3 @@ capucciAdditive =
   , reduceConjunction          = \xs -> (1/p) * log(reduceAdd (exp (p * xs)))
   , reduceDisjunction          = \xs -> (1/p) * log(reduceAdd (exp (-p * xs)))
   }
-
diff --git a/examples/ml/fashion-mnist-robustness/train.py b/examples/ml/fashion-mnist-robustness/train.py
index 4f34b0f..39ddd47 100644
--- a/examples/ml/fashion-mnist-robustness/train.py
+++ b/examples/ml/fashion-mnist-robustness/train.py
@@ -26,7 +26,7 @@ def network(x: torch.Tensor) -> torch.Tensor:
 
 declarations = loss_pt.load_specification(
     "spec.vcl",
-    logic=vcl.DifferentiableLogic.Vehicle, 
+    logic=vcl.DifferentiableLogic.Vehicle,
     #logic=vcl.DifferentiableLogic.Custom(cappuci)
 )
 
@@ -49,4 +49,4 @@ def network(x: torch.Tensor) -> torch.Tensor:
         total_loss = alpha * task_loss + (1.0 - alpha) * constraint_loss
 
         total_loss.backward()
-        optimizer.step()
\ No newline at end of file
+        optimizer.step()