[CURSOR MASTER] ONE-OF-ONE Directive — 28 PhD agents consolidated, Tier 0-4 ship plan

[stephenlutar2-hash]

SZL Holdings — One-of-One Master Directive

Consolidates 28 PhD agent deliverables from tonight's session into a single ship plan.

6-tier execution plan

• Tier 0: Merge 25+ open PRs (lutar-lean#106 KERNEL GREEN, a11oy#114, a11oy#117, agi-forecast#42, 11 docs sweeps)
• Tier 0.5: P0 bullshit purge — SLSA L3 truth correction in 14 repos, fake tests.yml in 4 repos, missing scenarios/
• Tier 1: Math/thesis instillation per organ — 10 PRs wiring real theorems into every app organ
• Tier 1.5: RAE-1 (Receipt-Attested Evaluation) protocol — 10 PRs making SZL the only cryptographically-verifiable AI benchmark
• Tier 2: UDS/Zarf v0.77 keyless operational — 5 PRs Warhacker-ready (eliminates cosign key founder action)
• Tier 3: Innovation R&D — Constitutional AI Lean gate, Pramana epistemic layer, PQC DSSE (FIPS 204)
• Tier 4: Public launch — arXiv submission + HN + 5 academic outreach emails

Canonical numbers (locked, live 2026-05-30)

24 Spaces · 29 datasets (3 new tonight: thesis-formula-index, lean-theorem-tree, test-results) · 2 models · 12 axioms · 217 declarations · 7 sorries · 35/35 anchor formulas · 7 DOIs · 8.3% Putnam

Founder remaining actions (~2 hours total)

1. Merge lutar-lean#106 (10 min)
2. Send UDS non-objection email to Andrew Greene (5 min)
3. Batch-merge a11oy#114 + #117 (15 min)
4. Batch-merge 11 docs PRs (20 min)
5. Provide ANTHROPIC_API_KEY org secret (20 min)
6. Push vessels container to ghcr ONCE (30 min)
7. Add DMARC DNS record (15 min)

After this: ecosystem runs itself.

One-of-one thesis

SZL is the only organization combining (1) Lean 4 + Mathlib formal proofs at kernel-green, (2) DSSE receipts on every action, (3) theorems wired as runtime gates, (4) UDS/Zarf air-gap deployment, (5) verifiable AI benchmark with SHA-256 chain, (6) Defense Unicorns Option-A endorsement. No peer combines all six.

Cursor — pick up Tier 0 immediately. Report back on #76 every 60 min.

---

Note

Low Risk
Single new markdown directive; no runtime, CI, or security-sensitive code paths modified.

Overview
Adds cursor-directives/CURSOR_ONE_OF_ONE_MASTER_2026-05-30.md, a single consolidated execution plan from 28 PhD audit deliverables (audit_2026-05-29_evening/). It locks live-verified canonical metrics (HF counts, Lean 217/12 axioms/7 sorries, 35/35 anchors, Putnam 8.3%, Zenodo DOIs) and sequences work in Tiers 0–4: merge critical open PRs (e.g. lutar-lean#106, a11oy#114/#117, agi-forecast#42), Tier 0.5 doctrine fixes (real SLSA SBOM vs echo stubs, real CI tests, missing modules/scenarios), theorem instillation across organs, RAE-1 receipt-attested eval (10 PR queue), UDS/Zarf operationalization, R&D, and public launch—plus branch namespaces, signed-commit/checkpoint rules, protected PRs, and a short founder action checklist (~2h).

No application, workflow, or library code changes in this diff—documentation and operational routing only.

^{Reviewed by Cursor Bugbot for commit 772d952. Bugbot is set up for automated code reviews on this repo. Configure here.}

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, enable autofix in the Cursor dashboard.}

^{Reviewed by Cursor Bugbot for commit 772d952. Configure here.}

[cursor]

Sorry count target contradicts planned additions

Medium Severity

The checkpoint target says "Sorry count (start: 7, target: ≤6 after PR-8)" but PR-4 introduces 2 new sorries and PR-8 only discharges 1 (Hoeffding-Azuma), yielding 7+2−1=8 — not ≤6. Additionally, introducing 2 new sorries in PR-4 directly violates the Doctrine v6 rule "no new sorries" stated on line 4. An agent following this directive will encounter an impossible target and a self-contradicting constraint.

Additional Locations (2)

• cursor-directives/CURSOR_ONE_OF_ONE_MASTER_2026-05-30.md#L149-L150
• cursor-directives/CURSOR_ONE_OF_ONE_MASTER_2026-05-30.md#L3-L4

 

^{Reviewed by Cursor Bugbot for commit 772d952. Configure here.}