Brummel c4bee767da docs: replace spec-validation parser fact with a project-local directive ...

The skills plugin no longer carries generic spec-validation machinery.
Move the ail/ail-json/ll code-block validation rules into a standalone
'Spec & plan code-block validation' section that instructs specify,
grounding-check, and planner directly — same effect, project-local.

2026-06-15 10:13:15 +02:00

ail-embed

convention: counter-prefix file naming across docs/specs/, docs/plans/, design/contracts/, design/models/

2026-05-28 13:31:31 +02:00

bench

feat(lang): eliminate the Implicit ownership default — totality + the drop-soundness it demasks (#55)

2026-06-02 00:03:46 +02:00

crates

test: prune duplicate tests, re-sight two blind coverage guards

2026-06-02 16:59:43 +02:00

design

docs(design): mark project RETIRED (paused) at the ledger spine

2026-06-03 11:29:20 +02:00

docs

plan: cma-revival.1 cross-model harness corpus revival (refs #68)

2026-06-02 16:32:31 +02:00

examples

fix(codegen): drop branch-consume-split owned params (#63 leg 3)

2026-06-02 15:47:01 +02:00

experiments

experiment(cma): familiar-vs-unfamiliar — AILang is not harder for a frontier model given a scan (refs #68 #69 #70)

2026-06-02 22:24:23 +02:00

runtime

convention: counter-prefix file naming across docs/specs/, docs/plans/, design/contracts/, design/models/

2026-05-28 13:31:31 +02:00

.gitignore

gitignore: .claude/scheduled_tasks.lock (Claude Code harness runtime artefact; the tracked .claude/ skill+agent symlinks are unaffected)

2026-05-18 21:43:34 +02:00

Cargo.lock

refactor(test): hoist duplicated test helpers into ailang-test-support

2026-06-02 01:54:37 +02:00

Cargo.toml

refactor(test): hoist duplicated test helpers into ailang-test-support

2026-06-02 01:54:37 +02:00

CLAUDE.md

docs: replace spec-validation parser fact with a project-local directive

2026-06-15 10:13:15 +02:00

S

Description

No description provided

26 MiB

Languages

Rust 91.6%

Python 4.6%

C 1.8%

LLVM 1.6%

Shell 0.4%