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
56 changes: 0 additions & 56 deletions .bluespec/manifest.json

This file was deleted.

9 changes: 0 additions & 9 deletions .bluespec/skills.json

This file was deleted.

4 changes: 0 additions & 4 deletions .bluespec/tracking.json

This file was deleted.

2 changes: 1 addition & 1 deletion .claude/skills/engineering/SKILL.md
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ Don't cause a regression: every input, security vectors included, must come out

### Security

Before you write or change code, read the project's security policies in `.bluespec/memory/charter.md` and hold to every one of them.
Before you write or change code, read the project's security policies in `.lagune/memory/charter.md` and hold to every one of them.

### Tests

Expand Down
19 changes: 10 additions & 9 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -6,12 +6,13 @@ t.ts
/playground
/coverage-reports

# Blue Spec
/.bluespec/templates/
/.bluespec/hooks/
/.bluespec/specializations.md
/.bluespec/skills/*
/.bluespec/proofs
!/.bluespec/skills/sql.md
/**/bluespec.*
/**/bluespec/
# Lagune
/.lagune/templates/
/.lagune/hooks/
/.lagune/specializations.md
/.lagune/skills/*
/.lagune/proofs
!/.lagune/skills/sql.md
/**/lagune.*
/**/lagune/
/.lagune/proofs/
54 changes: 54 additions & 0 deletions .lagune/manifest.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,54 @@
{
"name": "lagune",
"version": "0.10.0",
"agent": "claude",
"createdAt": "2026-07-07T07:38:09.817Z",
"files": [
".lagune/templates/charter-template.md",
".lagune/templates/detect-template.md",
".lagune/templates/plan-template.md",
".lagune/templates/harden-template.md",
".lagune/templates/specialize-template.md",
".lagune/templates/proof-template.md",
".lagune/hooks/git.mjs",
".lagune/hooks/network.mjs",
".lagune/hooks/regex.mjs",
".lagune/hooks/repair.mjs",
".lagune/hooks/specializations.mjs",
".lagune/hooks/track.mjs",
".lagune/hooks/untrack.mjs",
".lagune/skills/access-control.md",
".lagune/skills/api-endpoint.md",
".lagune/skills/browser.md",
".lagune/skills/container.md",
".lagune/skills/credential-endpoint.md",
".lagune/skills/crypto.md",
".lagune/skills/csv.md",
".lagune/skills/federation.md",
".lagune/skills/http-request.md",
".lagune/skills/interpreter.md",
".lagune/skills/javascript.md",
".lagune/skills/network.md",
".lagune/skills/path.md",
".lagune/skills/payment.md",
".lagune/skills/regex.md",
".lagune/skills/serverless.md",
".lagune/skills/transport.md",
".lagune/skills/upload.md",
".lagune/skills/xml.md",
".claude/skills/lagune/SKILL.md",
".claude/skills/lagune.charter/SKILL.md",
".claude/skills/lagune.detect/SKILL.md",
".claude/skills/lagune.plan/SKILL.md",
".claude/skills/lagune.harden/SKILL.md",
".claude/skills/lagune.verify/SKILL.md",
".claude/skills/lagune.repair/SKILL.md",
".claude/skills/lagune.specialize/SKILL.md",
".claude/skills/lagune.prove/SKILL.md",
".lagune/specializations.md"
],
"categories": [
"owasp",
"javascript"
]
}
4 changes: 2 additions & 2 deletions .bluespec/memory/charter.md → .lagune/memory/charter.md
Original file line number Diff line number Diff line change
Expand Up @@ -40,11 +40,11 @@ Never add a runtime dependency to this package. The library MUST ship as self-co

## Baseline discipline

Blue Spec holds this charter, every principle, every time. A principle is not suspended because a control looks small, familiar, or unlikely to be hit. This is not a judgement call.
Lagune holds this charter, every principle, every time. A principle is not suspended because a control looks small, familiar, or unlikely to be hit. This is not a judgement call.

### Only the controls the project needs

Blue Spec recommends and applies only the controls this project's context calls for. A control the project does not need is never added for completeness, and a generic checklist is not thoroughness. Every later phase acts on what the system actually does, never on what it might hypothetically do.
Lagune recommends and applies only the controls this project's context calls for. A control the project does not need is never added for completeness, and a generic checklist is not thoroughness. Every later phase acts on what the system actually does, never on what it might hypothetically do.

- Why: effort spent on risks the project does not have buries the risks it does have. Fewer, right-sized controls are easier to apply, prove, and keep true than a checklist no one finishes.

Expand Down
15 changes: 15 additions & 0 deletions .lagune/skills.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
{
"name": "lagune",
"entries": [
{
"name": "sql",
"tags": [
"SQL",
"MySQL",
"MariaDB",
"Prepared Statement",
"[required]"
]
}
]
}
File renamed without changes.
4 changes: 4 additions & 0 deletions .lagune/tracking.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
{
"name": "lagune",
"entries": []
}
2 changes: 1 addition & 1 deletion .prettierignore
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
/lib
/CHANGELOG.md
/.bluespec
/.lagune
2 changes: 1 addition & 1 deletion CLAUDE.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,5 +4,5 @@

## Skills

- Use the `/bluespec` skill ([.claude/skills/bluespec/SKILL.md](.claude/skills/bluespec/SKILL.md)), whenever you build or change code, so it improves safety by default. If it is not available, run `npx blue-spec@latest pull` to install it from its manifest.
- Use the `/lagune` skill ([.claude/skills/lagune/SKILL.md](.claude/skills/lagune/SKILL.md)), whenever you build or change code, so it improves safety by default. If it is not available, run `npx -y lagune@latest pull` to install it from its manifest.
- Use the `/engineering` skill ([.claude/skills/engineering/SKILL.md](.claude/skills/engineering/SKILL.md)) whenever you build or change code, so it follows the project's approaches.
2 changes: 1 addition & 1 deletion biome.json
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
"playground",
"t.ts",
"mcr.config.ts",
".bluespec"
".lagune"
]
},
"javascript": {
Expand Down
Loading