Remove proof/master runners, epub export, and storyboard acceptance#105
Merged
nicpottier merged 1 commit intomainfrom Feb 21, 2026
Merged
Remove proof/master runners, epub export, and storyboard acceptance#105nicpottier merged 1 commit intomainfrom
nicpottier merged 1 commit intomainfrom
Conversation
- Deleted standalone proof.ts and master.ts CLI runners, superseded by stage-runner - Removed proof-runner, proof-service, and proof routes from API (unused by frontend) - Deleted epub-service and epub export option; export now web-only - Removed all storyboard acceptance logic that gated export/proof/master stages - Simplified ExportButton to single "Export" button (no format dropdown) - Always repackage ADT assets on export to ensure Tailwind compilation is fresh - Updated integration test to remove proof/master sections (no runner equivalents) - All 597 tests pass; typecheck clean
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
This PR removes outdated proof/master CLI runners, EPUB export functionality, and all storyboard acceptance gates. The codebase now uses only the live DAG-based stage-runner for execution and exports web-only with always-fresh asset compilation.
Changes
proof.ts,master.ts, and all associated CLI runners (superseded by stage-runner's DAG execution)exportBook(label)proofCompletedfrom BookSummary, removed EPUB from BookFormat enumFiles Changed