From addffd74cd360bb9ead3da22c96bdb20abb861b6 Mon Sep 17 00:00:00 2001
From: Michael Gardner <mjgardner@abitofhelp.com>
Date: Sun, 7 Jun 2026 21:45:30 -0400
Subject: [PATCH] =?UTF-8?q?chore(release):=20correct=20v4.1.1=20tag=20date?=
 =?UTF-8?q?=202026-06-09=20=E2=86=92=202026-06-08?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Align release date surfaces with the actual intended UTC tag
date. We had baked in 2026-06-09 as a conservative placeholder;
we are ready to tag today (2026-06-08 UTC), so the release record
should say 2026-06-08 to maintain the no-drift invariant
(surfaces == actual UTC tag date).

The placeholder occurs in four locations across three files:

- CHANGELOG.md top metadata Date and [4.1.1] section heading
- README.md top metadata Date
- config/README.md top metadata Date

This is the corrected pre-tag PR. The annotated v4.1.1 tag will
be created on the squash-merge commit produced by THIS PR (which
will replace the prior tag-target SHA 53d5374), after explicit
owner + Codex authorization.

Scope: CHANGELOG.md, README.md, config/README.md (date-only). No
version-surface changes; no source/test/formal-doc/CI changes;
no tag, GitHub Release, alr publish, or dependency unpinning in
this commit.

Refs: adafmt#42
---
 CHANGELOG.md     | 4 ++--
 README.md        | 2 +-
 config/README.md | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 544294a..96ce519 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,7 +1,7 @@
 # Changelog
 
 **Version:** 4.1.1<br>
-**Date:** 2026-06-09<br>
+**Date:** 2026-06-08<br>
 **SPDX-License-Identifier:** BSD-3-Clause<br>
 **License File:** See the LICENSE file in the project root<br>
 **Copyright:** © 2025-2026 Michael Gardner, A Bit of Help, Inc.<br>
@@ -18,7 +18,7 @@ No unreleased changes yet.
 
 ---
 
-## [4.1.1] - 2026-06-09
+## [4.1.1] - 2026-06-08
 
 ### Fixed
 
diff --git a/README.md b/README.md
index dc6eb43..3470b8a 100644
--- a/README.md
+++ b/README.md
@@ -3,7 +3,7 @@
 [![License](https://img.shields.io/badge/license-BSD--3--Clause-blue.svg)](LICENSE) [![Ada](https://img.shields.io/badge/Ada-2022-blue.svg)](https://ada-lang.io) [![SPARK](https://img.shields.io/badge/SPARK-Proved-green.svg)](https://www.adacore.com/about-spark) [![Alire](https://img.shields.io/badge/Alire-2.0+-blue.svg)](https://alire.ada.dev)
 
 **Version:** 4.1.1<br>
-**Date:** 2026-06-09<br>
+**Date:** 2026-06-08<br>
 **SPDX-License-Identifier:** BSD-3-Clause<br>
 **License File:** See the LICENSE file in the project root<br>
 **Copyright:** © 2025-2026 Michael Gardner, A Bit of Help, Inc.<br>
diff --git a/config/README.md b/config/README.md
index 3b61da6..ecd2c8d 100644
--- a/config/README.md
+++ b/config/README.md
@@ -1,7 +1,7 @@
 # Functional Library - Embedded Restrictions
 
 **Version:** 4.1.1<br>
-**Date:** 2026-06-09<br>
+**Date:** 2026-06-08<br>
 **SPDX-License-Identifier:** BSD-3-Clause<br>
 **License File:** See the LICENSE file in the project root<br>
 **Copyright:** © 2025-2026 Michael Gardner, A Bit of Help, Inc.<br>