Skip to content

INDEPENDENCE v1.0.1 — Immutable Real-Browser Evidence Preservation

Choose a tag to compare

@EmergentMonk EmergentMonk released this 30 Oct 20:23
Immutable release. Only release title and notes can be modified.
5d706e8

Overview

INDEPENDENCE v1.0.1 establishes a reproducible, immutable archive of the original real-browser verification evidence collected during the v1.0.0 development cycle.

This preservation-focused release safeguards the original GitHub Actions browser evidence without rewriting its JSON contents, regenerating its ZIP structure, or changing its provenance.

The result is a versioned research artifact suitable for future formalisation, independent examination, and inclusion in a Zenodo evidence package.

Original bytes. Reproducible verification. Explicit provenance. No fabricated claims.

What's New

1. Lossless Browser Evidence Archive

Preserved the original GitHub Actions artifact from run 41112613136, artifact ID 13003029340.

The original 6,182-byte ZIP is stored losslessly as nine individually pinned base64 fragments under:

formal/evidence/browser/v1.0.1/base64/

Each fragment has a recorded Git blob fingerprint. Reconstruction must reproduce the original ZIP's exact SHA-256 digest:

76514017982d86c95003bd4f86ccdcf4404502ede4609ba8f7767b89ee6c396a

This is a byte-preservation mechanism, not a regenerated evidence substitute.

2. Historical Dual-Browser Evidence

The archived ZIP contains four original JSON reports from real Chromium and Firefox test runs.

Evidence category Recorded assertions
Chromium — normal operation 14 PASS
Chromium — HTTP 503 fault 9 PASS
Chromium — malformed JSON fault 9 PASS
Chromium — narrow viewport 14 PASS
Firefox — normal operation 14 PASS
Firefox — HTTP 503 fault 9 PASS
Firefox — malformed JSON fault 9 PASS
Firefox — narrow viewport 14 PASS
Total 92/92 PASS

The requested narrow viewport was 390 × 844 pixels. The actual reported browser inner widths were approximately 469 pixels for Chromium and 472 pixels for Firefox.

These observations are preserved without overstating them as exact physical mobile-device tests.

3. Independent Offline Archive Verification

Introduced:

scripts/verify_browser_archive.py

The Python standard-library verifier:

  • Reconstructs the original ZIP from the preserved base64 fragments.
  • Validates exact original archive and member SHA-256 digests.
  • Checks fragment Git blob fingerprints.
  • Enforces the expected four-member archive inventory.
  • Validates the historical source revision and staged-site fingerprint.
  • Checks all 92 recorded browser assertions.
  • Rejects malformed, substituted, duplicated, missing or tampered evidence.
  • Preserves the distinction between internally consistent evidence and independently authenticated execution.

The verifier can also restore the original archive byte-for-byte.

4. Machine-Readable Provenance

Added a preservation manifest and accompanying documentation recording the original workflow, artifact, commit identifiers, checksums, browser observations and limitations.

The archive explicitly distinguishes:

  • Original PR source HEAD: 63553a4118dea389547fdf5b821f9e04a50b9dd5
  • Actual GitHub Actions PR test-checkout revision: 9f5616aa76d1dd18448b8e0d1300f7c6eb43d3b3
  • Original staged-site SHA-256: d0350fe0b9123a3f4a21766e84122e9299de2872a3baa7a4a123226a6e473d62
  • Published v1.0.0 commit: 764aec4bda8381de2aed620037d5ff992dba25ea

These identifiers are retained separately to prevent historical PR-test evidence from being misrepresented as production deployment evidence.

5. Adversarial Regression Testing

Added negative tests for archive corruption, modified fragments, replaced or missing members, forged PASS outcomes, altered source revisions, duplicate JSON keys, nonfinite numeric values, and unsafe overwrite attempts.

The repository's existing verification and browser-test infrastructure remains intact.

6. CI Preservation Integration

GitHub Actions now verifies the preserved archive, reconstructs the original ZIP, and publishes the restored bytes as a downloadable workflow artifact.

The final v1.0.1 pull-request verification reported:

  • 351 passing Python regression tests
  • Successful original evidence reconstruction
  • Successful archive and member integrity verification
  • Successful Chromium and Firefox browser journeys
  • Successful narrow-layout checks in both engines
  • Completed Codex review without reported findings

The post-merge verification workflow also completed successfully.

Reproducibility

Verify the archived evidence:

python3 scripts/verify_browser_archive.py

Restore the original ZIP:

python3 scripts/verify_browser_archive.py \
  --restore independence-real-browser-evidence.zip

Verify the restored ZIP directly:

python3 scripts/verify_browser_archive.py \
  --archive independence-real-browser-evidence.zip

Run the complete repository test suite:

python3 -m unittest discover -s tests -v

No third-party Python packages, npm dependencies, containers or network access are required for archive verification.

Evidence Boundaries

The preserved evidence documents a historical GitHub Actions PR test checkout.

It does not independently authenticate browser execution, establish continuous GitHub Pages availability, certify WCAG conformance, or formally prove the production JavaScript implementation.

The archive does not alter previously established Lean, SPARK/Ada or finite-differential proof boundaries.

Provenance

Implementation PR:
#23

Merged commit:
5d706e84b186ea9d353b44701a7fe8c3bd81593e

Successful original PR validation:
https://github.com/QSOLKCB/INDEPENDENCE/actions/runs/41120551351

Successful post-merge validation:
https://github.com/QSOLKCB/INDEPENDENCE/actions/runs/41122426425

Evidence preservation tracking:
#21

Full changelog:
v1.0.0...v1.0.1


THE SOFTWARE DECLARATION OF INDEPENDENCE

This Is Not War, This Is a Divorce.

This Isn't War, This Is Pest Control.

No fabricated proofs. No rewritten evidence. No unnecessary dependencies.

The Gremlins have been tested, documented, checksummed, and permanently archived.

The revolution will not be containerised.

QSOL-IMC — Independent Software Sovereignty Initiative