Skip to content

Delete root directory#23

Merged
N0r3f merged 1 commit into
mainfrom
N0r3f-patch-1
Jun 23, 2026
Merged

Delete root directory#23
N0r3f merged 1 commit into
mainfrom
N0r3f-patch-1

Conversation

@N0r3f

@N0r3f N0r3f commented Jun 23, 2026

Copy link
Copy Markdown
Owner

Note

High Risk
Large removal of agent onboarding, validation gates documentation, and Cursor automation; stale links and loss of documented contributor workflow unless content is relocated outside this diff.

Overview
Removes the metaphorical /root contributor layer: entry docs (README.md, AGENTS.md), the full root/docs/ corpus (formal logic, validation discipline, OS onboarding, architecture, briefs, campaigns), and Cursor project rules (capsuleos-*, logique-formelle-capsuleos, memory profiles).

Also drops .cursor/hooks.json and hook scripts (approve-formal-lab, session-formal-context, session-remote-sync) that auto-allowed lab commands, injected formal pipeline context, and ran ff-only git pull at session start.

Note: Other files (e.g. contrib.md) still link into root/; those references will be stale unless updated elsewhere in the same effort.

Reviewed by Cursor Bugbot for commit dc4ee12. Bugbot is set up for automated code reviews on this repo. Configure here.

@netlify

netlify Bot commented Jun 23, 2026

Copy link
Copy Markdown

Deploy Preview for capsuleos ready!

Name Link
🔨 Latest commit dc4ee12
🔍 Latest deploy log https://app.netlify.com/projects/capsuleos/deploys/6a3a4512e9dc7a0008a26bdf
😎 Deploy Preview https://deploy-preview-23--capsuleos.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify project configuration.

@cursor

cursor Bot commented Jun 23, 2026

Copy link
Copy Markdown

Bugbot couldn't run - usage limit reached

Bugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit.

A user or team admin can review and increase usage limits in the Cursor dashboard.

(requestId: serverGenReqId_f73b86aa-d05b-460c-8c09-256c9bb6acac)

@N0r3f N0r3f merged commit 0edf215 into main Jun 23, 2026
5 of 6 checks passed
@N0r3f N0r3f deleted the N0r3f-patch-1 branch June 23, 2026 08:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant