Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
248 changes: 136 additions & 112 deletions ABI-FFI-README.md → ABI-FFI-README.adoc

Large diffs are not rendered by default.

48 changes: 48 additions & 0 deletions ARCHITECTURE.adoc
Original file line number Diff line number Diff line change
@@ -0,0 +1,48 @@
== Architecture

=== Overview

This repository follows a modular, maintainable architecture designed
for clarity, scalability, and long-term sustainability.

=== Directory Structure

....
.
├── src/ # Source code
├── tests/ # Test suites
├── docs/ # Documentation
├── scripts/ # Utility scripts
├── config/ # Configuration files
├── LICENSE # License file
├── LICENSES/ # Full license texts
└── README.adoc # Project documentation
....

=== Design Principles

* *Separation of Concerns*: Each module has a single responsibility
* *Testability*: Code is written to be easily testable
* *Documentation*: All public APIs are documented
* *Configuration*: Environment-specific settings are externalized

=== Dependencies

* External dependencies are minimized and clearly declared
* Version pinning is used for reproducibility

=== Security Considerations

* Sensitive data is never committed to the repository
* Secrets are managed through environment variables or secure vaults
* Regular dependency audits are performed

=== Maintainability

* Code follows consistent style guidelines
* Pull requests require review and CI checks
* Issues and discussions are tracked transparently

'''''

_Last updated: 2026-07-18_
47 changes: 0 additions & 47 deletions ARCHITECTURE.md

This file was deleted.

71 changes: 71 additions & 0 deletions CHANGELOG.adoc
Original file line number Diff line number Diff line change
@@ -0,0 +1,71 @@
== Changelog

All notable changes to `+coq-jr+` will be documented in this file.

This file is generated from conventional commits by the
https://github.com/hyperpolymath/standards/blob/main/.github/workflows/changelog-reusable.yml[`+changelog-reusable.yml+`]
workflow (`+hyperpolymath/standards#206+`). Adopt the workflow in this
repo’s CI to keep this file in sync automatically — see
https://github.com/hyperpolymath/standards/blob/main/templates/cliff.toml[`+templates/cliff.toml+`]
for the canonical config.

The format follows https://keepachangelog.com/en/1.1.0/[Keep a
Changelog]; this project aims to follow
https://semver.org/spec/v2.0.0.html[Semantic Versioning].

=== [Unreleased]

==== Added

* feat(ci): enable Hypatia scanning

==== Fixed

* fix(ci): migrate dependency-review from deny-licenses to
allow-licenses (#27)
* fix(ci): migrate dependency-review from deny-licenses to
allow-licenses (#25)
* fix(ci): sync hypatia-scan.yml to canonical (413:
env.HOME+Phase-2+SARIF) (#24)
* fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout +
Comment-step gate) (#20)
* fix(codeql): switch language matrix to '`actions`' (no JS/TS in repo)
(#15)
* fix(ci): repair corrupted rsr-antipattern.yml from #17 (#18)
* fix(ci): move secret-scanner Cargo.toml gate from job-level if: to
step-level (#19)
* fix(ci): rsr-antipattern.yml duplicate heredoc (#17)
* fix(ci): migrate dependency-review from deny-licenses to
allow-licenses (#16)
* fix: remove duplicate SCM files from root

==== Changed

* refactor: server.ts → server.mjs (TS types stripped) (#7)

==== Documentation

* docs: update SCM files with project information
* docs: add checkpoint files for state tracking
* docs: update license from AGPL to PMPL

==== CI

* ci(workflow): adopt hardened hypatia-scan from
hyperpolymath/hypatia#237 (#14)
* ci: bump actions/upload-artifact SHA to current v4 (#12)
* ci(secret-scanner): drop duplicate –fail from trufflehog extra_args
(#11)
* ci(antipattern): fix top-level dir matching + benchmarks/lsp/bench
filename allowlists (#9)
* ci(antipattern): TS check reads .claude/CLAUDE.md exemption table (#8)

=== 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
https://github.com/hyperpolymath/standards/blob/main/templates/cliff.toml[`+cliff.toml+`]
— this is one-shot mechanical work.

'''''
62 changes: 0 additions & 62 deletions CHANGELOG.md

This file was deleted.

Loading