From 352f4db9a6e80d53a56bb8454d43d72c97ddf7d2 Mon Sep 17 00:00:00 2001 From: hyperpolymath Date: Sun, 17 May 2026 01:29:28 +0100 Subject: [PATCH] chore(Item 11): drop duplicate .md docs (RSR-canonical .adoc retained) Dedupe: keep RSR-canonical .adoc, drop verified-faithful .md duplicate. Day 10 / Item 11. Inbound links repointed to .adoc where applicable. Co-Authored-By: Claude Opus 4.7 --- CHANGELOG.md | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 CHANGELOG.md diff --git a/CHANGELOG.md b/CHANGELOG.md deleted file mode 100644 index 3217644..0000000 --- a/CHANGELOG.md +++ /dev/null @@ -1,18 +0,0 @@ -# Changelog - -All notable changes to verisimiser will be documented in this file. - -The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/), -and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html). - -## [0.1.0] - 2026-03-20 - -### Added -- Initial project scaffold from rsr-template-repo -- CLI with subcommands (init, validate, generate, build, run, info) -- Manifest parser (`verisimiser.toml`) -- Codegen engine (stubs — target-language-specific implementation pending) -- ABI module (Idris2 proof type definitions) -- Library API for programmatic use -- Full RSR template (17 CI workflows, governance docs, bot directives) -- README.adoc with architecture overview and value proposition