Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
226b0b4
docs(theory): add correspondence model — the engine that classifies, …
claude Jun 18, 2026
ddd3d44
chore(standards): complete 6a2 manifest set + panic-attack gate + eNS…
claude Jun 18, 2026
c7a1281
Merge main (#19 spec + #20 hygiene) before identity re-point
claude Jun 18, 2026
734c4b0
docs(identity): re-point repo to the correspondence (classify-not-tra…
claude Jun 18, 2026
6a3bd0a
Merge main (#21 identity) before abstraction-model ABI
claude Jun 18, 2026
c8b2859
feat(abi): Idris2 ABI core — Concept/Form/Transition + six Correspond…
claude Jun 18, 2026
22935e1
Merge main (#22 ABI core) before Zig FFI seam
claude Jun 18, 2026
dd13b84
feat(ffi): Zig FFI seam — C-ABI mirror of the correspondence ABI
claude Jun 18, 2026
021b227
feat(cartridges): correspondence cartridge contract + validator (veri…
claude Jun 18, 2026
47e19a6
docs(verify): record ABI typecheck; make cartridge validator lockfile…
claude Jun 18, 2026
ec1f5dd
feat(ci+host): Idris2 ABI typecheck CI + AffineScript host binding
claude Jun 18, 2026
bc66d0a
Merge main (#23 track-2 wave) before multi-pane GUI
claude Jun 27, 2026
1aa75bd
feat(gui): multi-pane correspondence workspace (cartridge-driven)
claude Jun 27, 2026
d5dc360
Merge main (#32 GUI) before removing ReScript
claude Jun 27, 2026
abe6330
Remove legacy ReScript host; Deno + cartridges is the runtime surface
claude Jun 27, 2026
48bf632
Dedup cartridge loader into src/cartridges.js (SonarCloud duplication…
claude Jun 27, 2026
e3a2a8a
Revert cosmetic GUI reformatting; keep only the shared-loader change
claude Jun 27, 2026
bb5c4b7
Merge merged main into branch before handoff doc
claude Jun 27, 2026
7dd94fe
Add HANDOFF.adoc — orientation for resuming (e.g. in the desktop app)
claude Jun 27, 2026
969731d
Merge merged main before preexisting-cleanup work
claude Jun 27, 2026
6930568
Purge stale TS/VS Code-era docs; finish .adoc migration where unambig…
claude Jun 27, 2026
fbc89e6
Merge merged main before licence alignment
claude Jun 27, 2026
cc8377b
Align licensing: MPL-2.0 (code) / CC-BY-SA-4.0 (docs); retire MIT+Pal…
claude Jun 27, 2026
4318d69
Merge merged main before .adoc doc consolidation
claude Jun 27, 2026
c3e1810
Consolidate CONTRIBUTING + CHANGELOG to .adoc (retire the .md duplica…
claude Jun 27, 2026
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
4 changes: 2 additions & 2 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -119,11 +119,11 @@ jobs:

# Documentation
test -f README.md || test -f README.adoc || (echo "Missing README.md or README.adoc" && exit 1)
test -f CONTRIBUTING.md || (echo "Missing CONTRIBUTING.md" && exit 1)
test -f CONTRIBUTING.adoc || (echo "Missing CONTRIBUTING.adoc" && exit 1)
test -f CODE_OF_CONDUCT.md || (echo "Missing CODE_OF_CONDUCT.md" && exit 1)
test -f SECURITY.md || (echo "Missing SECURITY.md" && exit 1)
test -f MAINTAINERS.adoc || (echo "Missing MAINTAINERS.adoc" && exit 1)
test -f CHANGELOG.md || (echo "Missing CHANGELOG.md" && exit 1)
test -f CHANGELOG.adoc || (echo "Missing CHANGELOG.adoc" && exit 1)
test -f CLAUDE.md || (echo "Missing CLAUDE.md" && exit 1)

# Licenses
Expand Down
4 changes: 2 additions & 2 deletions .gitlab-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -99,11 +99,11 @@ rsr-compliance:

# Documentation
test -f ../README.adoc || (echo "Missing README.adoc" && exit 1)
test -f ../CONTRIBUTING.md || (echo "Missing CONTRIBUTING.md" && exit 1)
test -f ../CONTRIBUTING.adoc || (echo "Missing CONTRIBUTING.adoc" && exit 1)
test -f ../CODE_OF_CONDUCT.md || (echo "Missing CODE_OF_CONDUCT.md" && exit 1)
test -f ../SECURITY.md || (echo "Missing SECURITY.md" && exit 1)
test -f ../MAINTAINERS.adoc || (echo "Missing MAINTAINERS.adoc" && exit 1)
test -f ../CHANGELOG.md || (echo "Missing CHANGELOG.md" && exit 1)
test -f ../CHANGELOG.adoc || (echo "Missing CHANGELOG.adoc" && exit 1)

# Licenses
test -f ../LICENSES/MPL-2.0.txt || (echo "Missing LICENSES/MPL-2.0.txt" && exit 1)
Expand Down
2 changes: 1 addition & 1 deletion .machine_readable/TRUST.contractile
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
;
; Scope:
; TRUST governs AI agent behaviour only. It does not affect human
; contributors — humans follow CONTRIBUTING.md and GOVERNANCE.adoc.
; contributors — humans follow CONTRIBUTING.adoc and GOVERNANCE.adoc.
;
; Relationship to other contractiles:
; - MUST: Trust never overrides MUST. Even at maximal trust, MUST
Expand Down
2 changes: 1 addition & 1 deletion 0-AI-MANIFEST.a2ml
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,7 @@ Policy enforcement contracts (k9, dust, lust, must, trust).
- `MAINTAINERS` - Machine-readable contact list
- `SUPPORT` - Support channels
- `SECURITY.md` - Technical security policy
- `CONTRIBUTING.md` - Technical contribution manual
- `CONTRIBUTING.adoc` - Technical contribution manual
- `CODE_OF_CONDUCT.md` - Conduct rules

### Agent Instructions: `.machine_readable/agent_instructions/` ONLY
Expand Down
217 changes: 0 additions & 217 deletions CHANGELOG.md

This file was deleted.

2 changes: 1 addition & 1 deletion CODE_OF_CONDUCT.md
Original file line number Diff line number Diff line change
Expand Up @@ -209,7 +209,7 @@ This Code of Conduct is a **living document** and may be updated based on commun

- Announced to the community
- Open for discussion before finalization
- Versioned and tracked in [CHANGELOG.md](CHANGELOG.md)
- Versioned and tracked in [CHANGELOG.adoc](CHANGELOG.adoc)

**Last Updated**: 2024-11-22
**Version**: 1.0
Expand Down
Loading
Loading