cursor_reinstill.json

{
  "space": "SZLHOLDINGS/README",
  "kind": "org-card (static)",
  "reinstill_session": "OPUS 4.8 Cursor re-instill \u2014 group G",
  "shipped_utc": "2026-06-01T03:30:00Z",
  "doctrine": "v10",
  "doctrine_numbers": {
    "declarations": 749,
    "unique_axioms": 14,
    "tracked_sorries": 163,
    "mcp_tools": 12,
    "policy_gates": 46,
    "anchor_gates": 44,
    "raw_axioms": 15,
    "sorries_baseline": 112,
    "sorries_putnam": 51
  },
  "honesty_note": "749 declarations / 14 unique axioms (15 raw, 1 dup) / 163 tracked sorries (112 baseline + 51 Putnam) per lean_numbers.py @ c7c0ba17. v18 'zero sorry' claim is FALSE. \u039b uniqueness is a Conjecture (CAUCHY_ND sorry). Prior 456/6 re-audit was wrong.",
  "integration_mode": "un-doctrine corrections only (additive metadata fix); org card is a static HTML/markdown Space \u2014 Cursor coordination/SDK/AGENTS PRs recorded as provenance.",
  "files_corrected": [
    {
      "file": "README.md",
      "changes": [
        "declarations stated as canonical 749",
        "tracked sorries stated as canonical 163 (112 baseline + 51 Putnam)",
        "unique axioms 14 (15 raw, 1 dup)",
        "11 MCP tools -> 12 MCP tools",
        "Doctrine v9 -> Doctrine v10 (footer); retired the earlier 456/6 figures from a stale clone"
      ]
    },
    {
      "file": "index.html",
      "changes": [
        "Doctrine v9 -> Doctrine v10 (meta description)",
        "Doctrine v9 -> Doctrine v10 (og:description)",
        "Doctrine v9 -> Doctrine v10 (footer)"
      ]
    }
  ],
  "founder_locked_preserved": [
    "assets/szl_banner.png (HF banner)",
    "5 painterly hero avatars: rosie/a11oy/amaru/sentra/vessels _avatar.png",
    "animated emoji layer (assets/emoji/*_emoji.png) on org card"
  ],
  "cursor_prs_recorded": [
    {
      "repo": "szl-holdings/.github",
      "pr": 74,
      "cat": "anatomy",
      "title": "feat(anatomy-alive): Perplexity cross-organ integration"
    },
    {
      "repo": "szl-holdings/szl-brand",
      "pr": 40,
      "cat": "feature",
      "title": "Transform szl-brand into a real Python SDK"
    },
    {
      "repo": "szl-holdings/.github",
      "pr": 86,
      "cat": "feature",
      "title": "docs(coordination): CURSOR_MASTER_DIRECTIVE \u2014 Series-A"
    },
    {
      "repo": "szl-holdings/.github",
      "pr": 97,
      "cat": "doctrine",
      "title": "docs(coordination): Cursor master directive FINAL"
    },
    {
      "repo": "szl-holdings/.github",
      "pr": 83,
      "cat": "proof",
      "title": "feat(coordination): Cursor instillation operational plan"
    },
    {
      "repo": "szl-holdings/.github",
      "pr": 82,
      "cat": "feature",
      "title": "feat(coordination): CTO+PM consolidated 30-day operational plan"
    },
    {
      "repo": "szl-holdings/.github",
      "pr": 89,
      "cat": "feature",
      "title": "[CURSOR DIRECTIVE] INSTILL ALL THEORIES \u2014 Tier 0-4"
    },
    {
      "repo": "szl-holdings/.github",
      "pr": 90,
      "cat": "feature",
      "title": "[CURSOR MASTER] ONE-OF-ONE Directive \u2014 28 PhD agents"
    },
    {
      "repo": "szl-holdings/.github",
      "pr": 73,
      "cat": "uds",
      "title": "chore(coordination): UDS v0.3.0 release-cut directive"
    },
    {
      "repo": "szl-holdings/.github",
      "pr": 72,
      "cat": "anatomy",
      "title": "chore(coordination): Cursor Phase 1 \u2014 innovate & evolve"
    },
    {
      "repo": "szl-holdings/.github",
      "pr": 79,
      "cat": "doctrine",
      "title": "chore(coordination): Cursor full throttle \u2014 all tracks"
    },
    {
      "repo": "szl-holdings/.github",
      "pr": 68,
      "cat": "anatomy",
      "title": "chore(coordination): P0 directive \u2014 make anatomy real"
    },
    {
      "repo": "szl-holdings/szl-brand",
      "pr": 39,
      "cat": "feature",
      "title": "Add AGENTS.md with Cursor Cloud development environment"
    },
    {
      "repo": "szl-holdings/.github",
      "pr": 56,
      "cat": "feature",
      "title": "docs: add AGENTS.md with Cursor Cloud development instructions"
    },
    {
      "repo": "szl-holdings/.github",
      "pr": 81,
      "cat": "doctrine",
      "title": "fix(docs): repair broken anatomy PDF links in org profile"
    }
  ],
  "cursor_prs_count": 15,
  "ip_hold_untouched": [
    "a11oy#57",
    "amaru#46",
    "sentra#45"
  ],
  "canonical_ref": "lutar-lean tag lutar-v18.0.0 / c7c0ba17"
}