chore: include uncommitted config updates

Author: hyperpolymath

FUNDING

@@ -0,0 +1,34 @@
+// SPDX-License-Identifier: MPL-2.0 for code
+// SPDX-License-Identifier: CC-BY-SA-4.0 for documentation
+// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
+= Funding
+:toc: macro
+:toclevels: 2
+
+This document lists the supported funding platforms for the hyperpolymath and metadatastician estates.
+
+== Supported Funding Platforms
+
+[cols="1,1",options="header"]
+|===
+| Platform | Username
+| Buy Me a Coffee | jonathan.jewell
+| Community Bridge | jonathan-jewell
+| GitHub Sponsors | hyperpolymath
+| IndieWeb | 
+| IssueHunt | hyperpolymath
+| Ko-fi | hyperpolymath
+| LFX Crowdfunding | hyperpolymath
+| LiberaPay | hyperpolymath
+| Open Collective | jonathan-jewell
+| Patreon | cc_studio
+| Polar | hyperpolymath
+| Thanks Dev | hyperpolymath
+|===
+
+== Usage
+
+These platforms provide financial support mechanisms for the projects within the hyperpolymath and metadatastician estates. Contributions through any of these platforms help sustain development, maintenance, and governance of the open source projects.
+
+For more information about contributing or sponsoring specific projects, please refer to the project's README file or contact the maintainers directly.

PROOF-PROGRESS.adoc

@@ -0,0 +1,41 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
+// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+//
+// Proof Progress Snapshot — ShellIntegration.jl
+// Generated: 2026-08-14
+
+= ShellIntegration.jl — Proof/Verification Guarantee Progress Snapshot
+:toc:
+:icons: font
+
+This document provides an indicative state of progress on formal guarantees for
+the ShellIntegration.jl Julia package as of 2026-08-14.
+
+== Status: PLACEHOLDER
+
+This PROOF-PROGRESS.adoc file is a **PLACEHOLDER** that needs to be completed.
+
+**To complete this document:**
+
+1. Read README.md or README.adoc for project overview and claims
+2. Read EXPLAINME.adoc if it exists for verification receipts
+3. Examine src/ directory for implementation details
+4. Examine test/ directory for test coverage
+5. Document all formal verification content
+6. Document all proof-related claims
+7. Create comprehensive tables for:
+   - Headline status of all components
+   - Formal verification content
+   - Test evidence
+   - Planned formal proofs
+   - Outstanding work
+
+== Document Information
+
+[cols="1,2"]
+|===
+| Generated | 2026-08-14 |
+| Author | Mistral Vibe (on behalf of Jonathan D.A. Jewell) |
+| Status | PLACEHOLDER — needs completion |
+| Priority | Low (auto-generated placeholder) |
+|===