ISL Genesis Provenance Document ================================ Original author: Gentian Mevlani Language: Intent Specification Language (ISL) Timestamp (UTC): 2026-05-13T10:49:41Z Commit hashes ------------- Genesis commit (full SHA-1): de8b19ceb0fa7241142684db16a16fc24503d625 Message: "Initial commit - ISL language implementation" Date: 2026-01-31 19:21:51 -0700 Evidence Bench commit (full SHA-1): 83203c33680c43c8be006201dd2c135f2852f3a4 Message: "Add ISL Evidence Bench Harness" Date: 2026-02-01 08:08:03 -0700 Genesis tag SHA: 489fdc4108ad860351494c5b368b98c0f76cdabb Tag name: isl-genesis-2026-01-31 Provenance chain ---------------- This document, together with its accompanying .ots proof files, constitutes a tamper-evident, blockchain-anchored record of the earliest known existence of the ISL specification and its reference implementation. OpenTimestamps anchors this document to the Bitcoin blockchain, providing a third-party attestation of the document's content at or before the stamping time without relying on any centralised authority. Public record endpoints ----------------------- Spec repo: https://github.com/isl-lang/spec Proofs: https://isl-lang.org/proofs/ OTS server: https://alice.btc.calendar.opentimestamps.org/ Verification ------------ ots verify proofs/genesis.txt.ots proofs/genesis.txt ots verify proofs/genesis-commit.ots proofs/genesis-commit.txt ots verify proofs/bench-commit.ots proofs/bench-commit.txt ots verify proofs/tag-sha.ots proofs/tag-sha.txt