(groovy-dev-site) branch asf-site updated: 2026/05/30 05:11:36: Generated dev website from groovy-website@2af77c0

[git-site-role]

This is an automated email from the ASF dual-hosted git repository.

asf-gitbox-commits pushed a commit to branch asf-site
in repository https://gitbox.apache.org/repos/asf/groovy-dev-site.git


The following commit(s) were added to refs/heads/asf-site by this push:
     new da3280b  2026/05/30 05:11:36: Generated dev website from 
groovy-website@2af77c0
da3280b is described below

commit da3280bbe73fe6928db461faeb866702bb90cb6a
Author: jenkins <bui...@apache.org>
AuthorDate: Sat May 30 05:11:36 2026 +0000

    2026/05/30 05:11:36: Generated dev website from groovy-website@2af77c0
---
 blog/groovy6-functional.html | 7 ++++++-
 search/search-index.json     | 2 +-
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/blog/groovy6-functional.html b/blog/groovy6-functional.html
index 5570633..cdd5663 100644
--- a/blog/groovy6-functional.html
+++ b/blog/groovy6-functional.html
@@ -1495,7 +1495,12 @@ in-tree checkers are open to library authors: a 
<code>WIRE { name &lt;&lt;
 call(args) }</code> proc-notation macro that compiles to literal
 <code>async { df.X = … }</code> Groovy 6 dataflow code, with bound-name,
 existence and arity checks at expansion time, ports the
-WireCat cartesian-categories idea on the same SPI surface.</p>
+WireCat cartesian-categories idea on the same SPI surface. The
+same surface reaches further still — a type-checking extension
+that runs an SMT solver during compilation turns a contract-grade
+<code>@Requires</code> proof-grade for a linear-integer fragment, emitting
+Dafny-style counterexamples: a theorem prover hosted in <code>groovyc</code>,
+no compiler change required.</p>
 </li>
 </ul>
 </div>
diff --git a/search/search-index.json b/search/search-index.json
index 03909cd..b051062 100644
--- a/search/search-index.json
+++ b/search/search-index.json
@@ -240,7 +240,7 @@
     {
         "id": "blog/groovy6-functional.html",
         "title": "The Apache Groovy programming language - Blogs - Groovy 6 
features for Functional Programmers",
-        "content": "The Apache Groovy programming language - Blogs - Groovy 6 
features for Functional Programmers Socialize Discuss on the mailing list 
Groovy on X Groovy on Bluesky Groovy on Mastodon Groovy on LinkedIn Events and 
conferences Source code on GitHub Report issues in Jira Stack Overflow 
questions Slack Community You are using an outdated browser. Please upgrade 
your browser to improve your experience. Apache Groovy&trade; Learn 
Documentation Download Support Contribute Ecos [...]
+        "content": "The Apache Groovy programming language - Blogs - Groovy 6 
features for Functional Programmers Socialize Discuss on the mailing list 
Groovy on X Groovy on Bluesky Groovy on Mastodon Groovy on LinkedIn Events and 
conferences Source code on GitHub Report issues in Jira Stack Overflow 
questions Slack Community You are using an outdated browser. Please upgrade 
your browser to improve your experience. Apache Groovy&trade; Learn 
Documentation Download Support Contribute Ecos [...]
         "url": "blog/groovy6-functional.html",
         "site": "dev"
     },