Skip to content

CHANGELOG.md

Latest commit

 

History

History
72 lines (54 loc) · 4.21 KB

CHANGELOG.md

File metadata and controls

72 lines (54 loc) · 4.21 KB
Raw

Changelog

All notable changes to oblibeny will be documented in this file.

This file is generated from conventional commits by the changelog-reusable.yml workflow (hyperpolymath/standards#206). Adopt the workflow in this repo's CI to keep this file in sync automatically — see templates/cliff.toml for the canonical config.

The format follows Keep a Changelog; this project aims to follow Semantic Versioning.

[Unreleased]

Added

  • feat(types): add first-class echo[A, B] residue type to constrained form — structured, proof-relevant residue of irreversible collapse; content-sensitive affinity (affine iff A or B is non-copyable); echo_visible / echo_witness projections; VEcho runtime value; full pipeline (AST → lexer → parser → typecheck → eval → constrained_check → static_analyzer)

  • test: 11 new conformance tests for echo type (23 total): typecheck, constrained-check, eval, non-injectivity, type-error rejection, copyable-unrestricted, non-copyable single/double use, visible-side affinity, recursion-bypass-rejection, memory-bounded

  • docs: add EXPLAINME.adoc — newcomer companion explaining Oblíbený, dual-form architecture, echo type, no-rhino philosophy

  • docs: add docs/CONTRACTILES.adoc — formal behavioral contracts (C/R/E/A/T/S-series) for constrained form and echo type

  • docs: add docs/specs/echo-6a2.adoc — echo-types external interface contract (SPEC §6.a.2)

  • docs: add docs/echo-alignment.md — decisions ledger for echo-types ecosystem alignment (Agda + Julia)

  • docs: add examples/echo-types.obl — runnable echo conformance example

  • ci: fix CodeQL workflow — scan GitHub Actions workflows (actions) instead of absent JS/TS

  • docs(governance): seed docs/proof-debt.md — trusted-base reduction policy compliance for pre-existing Idris2 believe_me coercions

  • feat: integrate Oblibeny with Svalinn/Vordr verified container stack

  • feat: drive Oblibeny to 100% production-ready completion

  • feat: add comprehensive static analyzer with resource bounds

  • feat: complete oblibeny crypto FFI (90% → 100%)

  • feat: implement complete crypto FFI with liboqs and libsodium

  • feat: consolidate toolchain and examples into main repo

  • feat: complete first Lago Grey minimal image (14.6 MB) + ecosystem integration

  • feat(ci): enable Hypatia scanning

Fixed

  • fix(ci): sync hypatia-scan.yml to canonical (kill cd-scanner build drift) (#34)
  • fix(ci): build Hypatia escript from repo root (estate dogfood drift)
  • fix(ci): bump actions/checkout v4.1.1→v6.0.2 in workflow-linter.yml (Node.js 24 compat)
  • fix(ci): bump actions/checkout v4.1.1→v6.0.2 in codeql.yml (Node.js 24 compat)
  • fix: remove duplicate SCM files from root
  • fix(security): update editorconfig SHA and CodeQL language
  • fix: OpenSSF Scorecard compliance (permissions, SHA-pins, SAST)

Documentation

  • docs: update README and STATE.scm to reflect 100% completion
  • docs: update SCM files with project information
  • docs: add CONTRIBUTING.md
  • docs: add SCM checkpoint files
  • docs: add checkpoint files for state tracking

CI

  • ci: bump actions/upload-artifact SHA to current v4 (#30)
  • ci(secret-scanner): drop duplicate --fail from trufflehog extra_args (#29)
  • ci: fix workflow-linter YAML parse error + self-flag bug

Pre-history

Prior commits to this file's introduction are recorded in git history but not formally classified into Keep-a-Changelog sections. To backfill, run git cliff -o CHANGELOG.md locally using the canonical cliff.toml — this is one-shot mechanical work.