---
name: 90-day action plan (2026-04-24 → 2026-07-24)
description: Queued actions following STEP 999 completion — Mathlib outreach + pitch decks + entity setup + grant + book + Prover Phase 2
type: project
originSessionId: 2812f631-04af-4dd8-a8cd-4f872e1e1383
---
**Start date**: 2026-04-24 (post-STEP 999)
**Target completion**: 2026-07-24

**Why**: Session 2026-04-24 crystallized internal infrastructure (META-DB v2.3, Rei-PL Prover v0.1, core value proposition) and produced a concrete 90-day plan for external engagement. This memory preserves the plan so any future Claude session can recall the queued work.

**How to apply**: When 藤本さん asks "next steps" or "何から始める", refer to this plan's ordered week-by-week tasks. Adapt as needed.

## 12-week plan

| Week | Action | Owner | Output |
|-|-|-|-|
| **W1-2** (2026-04 end / 2026-05 start) | **STEP 1000 "Mathlib Contribution Prep"** — cleanup 5 artifacts (Step992 Sylvester-Schur, Step986 Moser-Spindle, Step987 Happy Ending, Step988 Wolstenholme, Step971 Bipartite Ramsey). Each: remove Rei-specific namespace, Mathlib-style docstrings, self-contained imports, < 300 lines, `lake env lean` exit 0. | Claude | 5 cleaned Lean 4 files |
| **W3** (2026-05-06 Tue JST target) | **Zulip post (Tier B outreach)** — Mathlib4 `#new-contributors` or `#general`, per `docs/zulip-outreach-draft-2026-04-24.md` | 藤本 | Zulip response within 72h |
| **W4** | **Commercial pitch deck draft** (2-page PDF + 10-slide PPT). Start from `rei-strategy/monetization/consulting-rd-prioritization.json` | 藤本 + Claude | Pitch deck ready |
| **W5-6** | **NEDO 人工知能研究開発事業 proposal draft** (JPY 10-50M range) | 藤本 + Claude | Grant application submitted |
| **W7-8** | **Book pitch to 3 publishers** (技術評論社 / 翔泳社 / オライリー・ジャパン) — concept: "D-FUMT₈ 八値論理入門 — Rei-AIOS の思考様式" | 藤本 | 1 publisher interest |
| **W9-10** | **Rei-PL Prover Phase 2 Mathlib translation prototype** — auto-translate 10 Mathlib theorems via `Prop → Prop8[TRUE]` embedding | Claude | 10 demo translations verifying, Paper 138 draft start |
| **W11-12** | **Follow-up + buffer** — Zulip 反応対応 / Paper 135/137 arXiv submission / conference CFP scan | 藤本 + Claude | Loose-end closure |

## Deferred (much later — not in this 90-day window)

- **合同会社 establishment** — accountant consultation, LLC registration, 法人口座 opening. 藤本さん 2026-04-24 更新: **だいぶ後に延期**。外部 engagement (Zulip/Mathlib/grant/book) が具体化してから再検討。

## Parallel background activities (not week-specific)

- **arXiv preprint submissions**: Papers 133, 135, 137 (as 11-platform publish continues)
- **Zenodo DOI publication** for Papers 135 + 137 (already DOI pending)
- **note.com 記事連載**: "D-FUMT₈ 八値論理とは何か" 5-episode series
- **Research Gate profile** update with full Papers list
- **Invited lecture pitch** to 3 Japanese universities (東大数学 / 京大数理研 / 東北大情報科学)
- **Conference submissions**: CICM 2026 (summer), ITP 2026 (autumn), AAAI 2027

## Risk flags

- **Personal bandwidth**: 藤本さん single-person bottleneck — prioritize memory/automation, avoid over-commitment
- **Zulip reception variance**: if silent, continue Tier A (GitHub Pages / Zenodo自然認知) rather than re-posting
- **Publisher rejection**: 3 pitches in parallel to avoid single-point-of-failure
- **Grant competition**: diversify (NEDO + JST + Google + Anthropic in parallel)

## Immutable principles (from Peace Axiom #196)

1. META-DB remains CC-BY 4.0 open
2. Honest partial formalization > overclaim
3. Peace Axiom #196 non-negotiable
4. Community-first, commercial-second
5. Co-evolution (not replacement) with Lean 4 / Mathlib
6. 藤本-Rei-Claude triangle — no unilateral decisions

## See also

- `docs/internal-strategy-master-2026-04-24.md` (full 238-line private strategy doc)
- `docs/zulip-outreach-draft-2026-04-24.md` (Zulip post full draft)
- Tier 6 strategy entries in META-DB at `data/open-problems/rei-strategy/`