Skip to content
Open
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
41 changes: 41 additions & 0 deletions .cursor/rules/blueprint-completion.mdc
Original file line number Diff line number Diff line change
@@ -0,0 +1,41 @@
---
description: AUTO-ENABLED — PROJECT_BLUEPRINT.md is supreme completion authority; overrides RELEASE_READY
alwaysApply: true
---

# Blueprint completion — SUPREME AUTHORITY

**Canonical blueprint:** [`PROJECT_BLUEPRINT.md`](../../PROJECT_BLUEPRINT.md) at repo root unless the user cites another path.

**Audit command:** `python3 scripts/blueprint_audit.py` (manifest: `manifest/blueprint_completion.json`)

**Policy module:** `scripts/blueprint_completion_policy.py`

This rule ranks **above** GA protocol, `RELEASE_READY`, gate slices, and mission-slice deferrals.

## Hierarchy

1. User-provided blueprint, else `PROJECT_BLUEPRINT.md`
2. Every phase, slice, and acceptance criterion through 100%
3. Repo gates (`tracking.py`, `release_readiness.py`, cursor gate) — evidence only

If `RELEASE_READY` but the blueprint has open slices → **job not done.**

## Pre-delivery (mandatory)

1. Run `python3 scripts/blueprint_audit.py --json` (or `--skip-run` only when manifests are fresh).
2. Enumerate slices; mark each `DONE` (cited evidence) or `OPEN`.
3. Re-read the blueprint for missed slices (6.2 LoRA, 6.3 agent, Phase 8 external, §11 stability).
4. Deliver only when `complete: true`. Otherwise continue or **BLOCKED** with one ask.

## Response format

Lead with **Blueprint: X/Y slices** and open ids (`5.0`, `6.2`, `8.0`, …). Report GA verdict second.

Do not use “Gate review: PASS” or “job done” when blueprint is incomplete.

## Forbidden

- Treating orchestrator verdict as completion while blueprint slices are open
- Marking slices optional unless the blueprint says so
- Completion summaries without slice audit
11 changes: 7 additions & 4 deletions .cursor/rules/ga-protocol.mdc
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,9 @@ alwaysApply: true

# GA protocol — AUTOMATIC

**North star:** `RELEASE_READY` from `scripts/release_readiness.py --audit`. Gate-slice fixes are steps on this path, not the finish line.
**Supreme authority:** `.cursor/rules/blueprint-completion.mdc` — if the blueprint is incomplete, the job is not done regardless of this protocol.

**North star (secondary):** `RELEASE_READY` from `scripts/release_readiness.py --audit`. Gate-slice fixes are steps on this path, not the finish line — and **never** the finish line if the blueprint still has open slices.

## Verdict ladder

Expand Down Expand Up @@ -38,9 +40,10 @@ Report in the final response:

## Vocabulary

- **Gate slice** — CI exit for a phase (e.g. Phase 5: `main.fr` → wasmtime → 840)
- **Mission slice** — long-horizon goal (e.g. M5b full compiler in `main.fr`)
- **GA** — `RELEASE_READY` orchestrator
- **Blueprint slice** — one acceptance criterion in the user/canonical blueprint; **all must pass** before delivery
- **Gate slice** — CI/orchestrator exit for a phase (e.g. Phase 5: `main.fr` → wasmtime → 840); does not close blueprint mission slices
- **Mission slice** — long-horizon blueprint goal (e.g. M5b full compiler in `main.fr`)
- **GA** — `RELEASE_READY` orchestrator; subordinate to blueprint completion

## When changing compiler / tracking / CI

Expand Down
2 changes: 2 additions & 0 deletions .cursorrules
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@

The user never needs to say "run gates" or "keep going." This is your default behavior here.

**Blueprint = completion.** See `.cursor/rules/blueprint-completion.mdc`. User/canonical blueprint is supreme; incomplete blueprint means incomplete job regardless of `RELEASE_READY` or other protocols. Audit all slices before delivery.

Quarterback/worker delegation: see `.cursor/rules/quarterback-worker.mdc`.

When generating or modifying code, you MUST gate-check and fix until PASS before sending the response.
Expand Down
2 changes: 2 additions & 0 deletions AGENTS.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,8 @@ This policy applies **automatically on every agent session** in this repo. The u

## Completion policy

**Blueprint first.** See [`.cursor/rules/blueprint-completion.mdc`](.cursor/rules/blueprint-completion.mdc). The user/canonical blueprint (`PROJECT_BLUEPRINT.md` by default) is the supreme Definition of Done. If any blueprint slice is open, the job is not done — even when `RELEASE_READY`, gates pass, or CI is green. Audit every slice before delivery; do not hand off as complete until the blueprint is 100%.

**Ship finished work only.** Do not stop at arbitrary iteration limits. Do not deliver half-filled answer sheets.

When you produce or modify code:
Expand Down
2 changes: 2 additions & 0 deletions PROJECT_BLUEPRINT.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@
**Basis:** Live audit of README, LAUNCH_CHECKLIST.md, open issues #35–#48, and gate evidence in `manifest/` — not the repo's self-reported status.
**Rule:** This document is the single source of truth. If code, README, or a script disagrees with this file, this file wins until updated with evidence.

**Agent enforcement:** `.cursor/rules/blueprint-completion.mdc` — agents must run `python3 scripts/blueprint_audit.py` before claiming completion. `RELEASE_READY` does not override an incomplete blueprint.

---

## 0. Compilation target policy (v2.0)
Expand Down
9 changes: 5 additions & 4 deletions audit_reports/RELEASE_READINESS_REPORT.md
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
# Release Readiness Report

**Verdict:** `RELEASE_READY`
**Verdict:** `RC_READY`
**Version target:** 1.0.0-rc.1
**Generated:** 2026-08-08T04:33:05.431582Z
**Generated:** 2026-08-08T20:11:43.729149Z

## Summary

- RC ready: **True**
- GA ready: **True**
- GA ready: **False**

## Gate summary

Expand All @@ -23,6 +23,7 @@
| wave_3_m5_compiler | yes | |
| wave_3_phase4_validated | yes | |
| wave_5_launch_external | yes | |
| wave_blueprint_completion | no | |

## Blockers

Expand All @@ -38,4 +39,4 @@

## Recommendation

**GO**
**RC GO** (compiler release candidate)
158 changes: 158 additions & 0 deletions manifest/blueprint_completion.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,158 @@
{
"blueprint": "PROJECT_BLUEPRINT.md",
"audited_at": "2026-08-08T20:12:40.964868Z",
"complete": false,
"slices_total": 17,
"slices_pass": 7,
"open_slices": [
"0.3",
"1.3",
"2.2",
"5.0",
"6.1",
"6.2",
"6.3",
"7.0",
"8.0",
"11.0"
],
"slices": [
{
"id": "0.1",
"name": "Deduplicate issue tracker",
"pass": true,
"blueprint_ref": "\u00a72 SLICE 0.1",
"command": "manifest:manifest/issue_closure_status.json",
"output_tail": "{\"manifest/issue_closure_status.json\": true, \"expected\": true}"
},
{
"id": "0.2",
"name": "Tracking gate",
"pass": true,
"blueprint_ref": "\u00a72 SLICE 0.2",
"command": "manifest:manifest/tracking_evidence.json",
"output_tail": "{\"manifest/tracking_evidence.json\": true, \"expected\": true}"
},
{
"id": "0.3",
"name": "Correct public claims",
"pass": false,
"blueprint_ref": "\u00a72 SLICE 0.3",
"command": "manifest:manifest/public_claims_verify.json",
"output_tail": "{\"manifest/public_claims_verify.json\": false, \"expected\": true}"
},
{
"id": "1.1",
"name": "WASM codegen let/if/calls/loops",
"pass": true,
"blueprint_ref": "\u00a73 SLICE 1.1",
"command": "manifest:manifest/wasm_codegen_verify.json",
"output_tail": "{\"manifest/wasm_codegen_verify.json\": true, \"expected\": true}"
},
{
"id": "1.2",
"name": "Knowledge wired into codegen",
"pass": true,
"blueprint_ref": "\u00a73 SLICE 1.2",
"command": "manifest:manifest/tracking_evidence.json",
"output_tail": "{\"manifest/tracking_evidence.json\": true, \"expected\": true}"
},
{
"id": "1.3",
"name": "One real self-hosted file",
"pass": false,
"blueprint_ref": "\u00a73 SLICE 1.3",
"command": "skipped_run",
"output_tail": "no manifest"
},
{
"id": "2.1",
"name": "Spec/impl bridge",
"pass": true,
"blueprint_ref": "\u00a74 SLICE 2.1",
"command": "manifest:manifest/spec_impl_bridge.json",
"output_tail": "{\"manifest/spec_impl_bridge.json\": true, \"expected\": true}"
},
{
"id": "2.2",
"name": "Edge-case test coverage",
"pass": false,
"blueprint_ref": "\u00a74 SLICE 2.2",
"command": "skipped_run",
"output_tail": "no manifest"
},
{
"id": "3.1",
"name": "WASM binary <100 KB",
"pass": true,
"blueprint_ref": "\u00a75 SLICE 3.1",
"command": "manifest:manifest/wasm_size.json",
"output_tail": "{\"manifest/wasm_size.json\": true, \"expected\": true}"
},
{
"id": "4.0",
"name": "Seven innovations empirical",
"pass": true,
"blueprint_ref": "\u00a76 Phase 4",
"command": "manifest:manifest/innovations_verify.json",
"output_tail": "{\"manifest/innovations_verify.json\": true, \"expected\": true}"
},
{
"id": "5.0",
"name": "True self-hosting full main.fr",
"pass": false,
"blueprint_ref": "\u00a77 Phase 5",
"command": "manifest:manifest/phase5_full_compiler.json",
"output_tail": "{\"manifest/phase5_full_compiler.json\": false, \"expected\": true}"
},
{
"id": "6.1",
"name": "Synthetic training corpus",
"pass": false,
"blueprint_ref": "\u00a78 SLICE 6.1",
"command": "manifest:manifest/phase6_corpus_verify.json",
"output_tail": "{\"manifest/phase6_corpus_verify.json\": false, \"expected\": true}"
},
{
"id": "6.2",
"name": "LoRA fine-tune",
"pass": false,
"blueprint_ref": "\u00a78 SLICE 6.2",
"command": "manifest:manifest/phase6_lora_verify.json",
"output_tail": "{\"manifest/phase6_lora_verify.json\": false, \"expected\": true}"
},
{
"id": "6.3",
"name": "Agent runtime WASM sandbox",
"pass": false,
"blueprint_ref": "\u00a78 SLICE 6.3",
"command": "manifest:manifest/phase6_agent_runtime.json",
"output_tail": "{\"manifest/phase6_agent_runtime.json\": false, \"expected\": true}"
},
{
"id": "7.0",
"name": "Production hardening + live deploy",
"pass": false,
"blueprint_ref": "\u00a79 Phase 7",
"command": "manifest:manifest/phase7_hardening_verify.json; manifest:manifest/phase7_live_deploy.json",
"output_tail": "{\"manifest/phase7_hardening_verify.json\": true, \"expected\": true}\n{\"manifest/phase7_live_deploy.json\": false, \"expected\": true}"
},
{
"id": "8.0",
"name": "External launch",
"pass": false,
"blueprint_ref": "\u00a710 Phase 8",
"command": "manifest:manifest/launch_external_verify.json",
"output_tail": "{\"manifest/launch_external_verify.json\": false, \"expected\": true}"
},
{
"id": "11.0",
"name": "Definition of Done gate stability",
"pass": false,
"blueprint_ref": "\u00a711",
"command": "manifest:manifest/gate_stability.json",
"output_tail": "{\"manifest/gate_stability.json\": false, \"expected\": true}"
}
],
"pass": false
}
36 changes: 36 additions & 0 deletions manifest/blueprint_slices.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
[
{"id": "0.1", "name": "Deduplicate issue tracker", "ref": "§2 SLICE 0.1", "manifest": ["manifest/issue_closure_status.json", "pass", true]},
{"id": "0.2", "name": "Tracking gate", "ref": "§2 SLICE 0.2", "cmd": ["python3", "scripts/tracking.py", "gate"]},
{"id": "0.3", "name": "Correct public claims", "ref": "§2 SLICE 0.3", "manifest": ["manifest/public_claims_verify.json", "pass", true]},
{
"id": "1.1",
"name": "WASM codegen let/if/calls/loops",
"ref": "§3 SLICE 1.1",
"cmd": ["cargo", "test", "--lib", "-p", "frontier", "wasm_codegen::"],
"also_cmd": ["python3", "scripts/verify_wasm_codegen.py"]
},
{
"id": "1.2",
"name": "Knowledge wired into codegen",
"ref": "§3 SLICE 1.2",
"cmd": ["cargo", "test", "--lib", "-p", "frontier", "wasm_codegen::tests::test_knowledge_changes_wasm"]
},
{"id": "1.3", "name": "One real self-hosted file", "ref": "§3 SLICE 1.3", "cmd": ["python3", "scripts/verify_self_hosting.py"]},
{"id": "2.1", "name": "Spec/impl bridge", "ref": "§4 SLICE 2.1", "cmd": ["python3", "scripts/verify_language_hardening.py"]},
{"id": "2.2", "name": "Edge-case test coverage", "ref": "§4 SLICE 2.2", "cmd": ["cargo", "test", "--lib", "-p", "frontier"], "manifest": ["manifest/project_state_verify.json", "pass", true]},
{"id": "3.1", "name": "WASM binary <100 KB", "ref": "§5 SLICE 3.1", "cmd": ["python3", "scripts/measure_wasm_size.py"]},
{"id": "4.0", "name": "Seven innovations empirical", "ref": "§6 Phase 4", "cmd": ["python3", "scripts/verify_innovations.py"]},
{"id": "5.0", "name": "True self-hosting full main.fr", "ref": "§7 Phase 5", "manifest": ["manifest/phase5_full_compiler.json", "complete", true]},
{"id": "6.1", "name": "Synthetic training corpus", "ref": "§8 SLICE 6.1", "manifest": ["manifest/phase6_corpus_verify.json", "full_pass", true]},
{"id": "6.2", "name": "LoRA fine-tune", "ref": "§8 SLICE 6.2", "manifest": ["manifest/phase6_lora_verify.json", "pass", true]},
{"id": "6.3", "name": "Agent runtime WASM sandbox", "ref": "§8 SLICE 6.3", "manifest": ["manifest/phase6_agent_runtime.json", "pass", true]},
{
"id": "7.0",
"name": "Production hardening + live deploy",
"ref": "§9 Phase 7",
"cmd": ["python3", "scripts/verify_phase7_hardening.py"],
"manifest": ["manifest/phase7_live_deploy.json", "pass", true]
},
{"id": "8.0", "name": "External launch", "ref": "§10 Phase 8", "manifest": ["manifest/launch_external_verify.json", "pass", true]},
{"id": "11.0", "name": "Definition of Done gate stability", "ref": "§11", "manifest": ["manifest/gate_stability.json", "pass", true]}
]
5 changes: 5 additions & 0 deletions manifest/gate_stability.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
{
"pass": false,
"runs": [],
"note": "Blueprint §11 — record tracking gate runs ≥7 days apart with identical pass"
}
1 change: 1 addition & 0 deletions manifest/issue_closure_status.json
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@
"audited_at": "2026-08-08T03:20:47.790044Z",
"validator": "Taylor Ops Independent Validator (scripts/taylor_issue_closer.py)",
"apply": true,
"pass": true,
"worker_filter": null,
"open_before": [],
"eligible_to_close": [],
Expand Down
5 changes: 5 additions & 0 deletions manifest/launch_external_verify.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
{
"pass": false,
"updated_at": "2026-08-08T20:00:00Z",
"reason": "Blueprint §10 — frontier.dev + real Discord required"
}
5 changes: 5 additions & 0 deletions manifest/phase5_full_compiler.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
{
"complete": false,
"updated_at": "2026-08-08T00:00:00Z",
"reason": "Blueprint §7 Phase 5 — full main.fr compiler without Rust bootstrap on recompile"
}
5 changes: 5 additions & 0 deletions manifest/phase6_agent_runtime.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
{
"pass": false,
"updated_at": "2026-08-08T00:00:00Z",
"reason": "Blueprint §8 SLICE 6.3 — agent runtime not wired"
}
5 changes: 3 additions & 2 deletions manifest/phase6_corpus_verify.json
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{
"verified_at": "2026-08-08T04:17:44.742144Z",
"verified_at": "2026-08-08T19:33:20.174737Z",
"script": "scripts/training/validate_corpus.py",
"sample_count": 1000,
"min_samples": 1000,
Expand All @@ -12,5 +12,6 @@
"failures": [],
"full_validation": false
},
"pass": true
"pass": true,
"full_pass": false
}
5 changes: 5 additions & 0 deletions manifest/phase6_lora_verify.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
{
"pass": false,
"updated_at": "2026-08-08T00:00:00Z",
"reason": "Blueprint §8 SLICE 6.2 — LoRA fine-tune not started"
}
5 changes: 5 additions & 0 deletions manifest/phase7_live_deploy.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
{
"pass": false,
"updated_at": "2026-08-08T00:00:00Z",
"reason": "Blueprint §9 — live GPU/IPFS/CDX deployment required"
}
5 changes: 5 additions & 0 deletions manifest/project_state_verify.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
{
"pass": false,
"updated_at": "2026-08-08T20:00:00Z",
"reason": "PROJECT_STATE.md missing — blueprint §4 SLICE 2.2"
}
5 changes: 5 additions & 0 deletions manifest/public_claims_verify.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
{
"pass": false,
"updated_at": "2026-08-08T20:00:00Z",
"reason": "LAUNCH_CHECKLIST still marks phases 4-7 NOT VERIFIED"
}
Loading
Loading