Skip to content

PROVENANCE v1.1.1 — Archival Metadata Finalization

Choose a tag to compare

View all tags
@EmergentMonk EmergentMonk released this 29 Sep 19:37
Immutable release. Only release title and notes can be modified.
v1.1.1
c24a7c1

Metadata-only archival release preparing PROVENANCE for final Zenodo publication.

Changes

  • Updates CITATION.cff to v1.1.1.
  • Sets the canonical release URL to v1.1.1.
  • Marks the Phase 18 formal proof set as complete.
  • Explicitly distinguishes:
    • v1.0.0 — immutable implementation target formally modelled in Lean.
    • v1.1.1 — formal verification and archival release layer.
  • Records Zenodo DOI 10.5281/zenodo.23043860 as publication pending.

No runtime, proof-source, schema, verifier, or evidence-contract semantics are changed.

Formal verification against the frozen v1.0.0 target remains unchanged and green.

Assets 3
Loading