From ca564e89c15a895303d4178a14c02d53634092ab Mon Sep 17 00:00:00 2001 From: Asher Yan Date: Wed, 22 Jul 2026 07:12:08 -0400 Subject: [PATCH] chore: track latest Blueprint schema --- blueprint-verso/lake-manifest.json | 2 +- blueprint-verso/lakefile.lean | 3 --- blueprint-verso/scripts/validate_manifest.py | 2 +- 3 files changed, 2 insertions(+), 5 deletions(-) diff --git a/blueprint-verso/lake-manifest.json b/blueprint-verso/lake-manifest.json index 7bf8ea0..3360d51 100644 --- a/blueprint-verso/lake-manifest.json +++ b/blueprint-verso/lake-manifest.json @@ -12,7 +12,7 @@ "type": "git", "subDir": null, "scope": "", - "rev": "479b91fd5f2f993e2649e1213bf76300fd9fe030", + "rev": "51ebcae4b3133f407807e581178d2dcc705ac683", "name": "VersoBlueprint", "manifestFile": "lake-manifest.json", "inputRev": "v4.32.0", diff --git a/blueprint-verso/lakefile.lean b/blueprint-verso/lakefile.lean index 51d38e6..20c48fe 100644 --- a/blueprint-verso/lakefile.lean +++ b/blueprint-verso/lakefile.lean @@ -37,6 +37,3 @@ target referencesBibStamp pkg : System.FilePath := do @[default_target] lean_lib ProbabilityApproximationBlueprint where extraDepTargets := #[`referencesBibStamp] - -lean_exe «blueprint-gen» where - root := `ProbabilityApproximationBlueprintMain diff --git a/blueprint-verso/scripts/validate_manifest.py b/blueprint-verso/scripts/validate_manifest.py index fc50329..426d114 100644 --- a/blueprint-verso/scripts/validate_manifest.py +++ b/blueprint-verso/scripts/validate_manifest.py @@ -84,7 +84,7 @@ def main() -> None: ] lean_decls = [preview for preview in previews if preview.get("targetKind") == "leanDecl"] citations = [preview for preview in previews if preview.get("targetKind") == "citation"] - if data.get("vbpInternalSchemaVersion") != 2: + if data.get("vbpInternalSchemaVersion") != 3: fail("unexpected Blueprint schema version") if len(blocks) != len(EXPECTED_LABELS): fail(f"expected {len(EXPECTED_LABELS)} statement blocks, found {len(blocks)}")