P1 closeout: record that the repo is live#18
Merged
Merged
Conversation
The P1 repoint merged 2026-07-17 (QuantEcon/lecture-python-intro#792), making this the first repo state where a production lecture reads from lectures/ at build time. Record it where the rules live: - PLAN.md: tick the Phase 8 P1 item with the evidence — lecture build green in the single repoint PR, served raw/main URL verified byte-identical to the manifest sha256, Colab-unchanged holds by construction (public URL replaces the relative path that broke downloaded notebooks). The pyodide/CORS bullet stays open. Status line now says LIVE; the go-live guardrail bullet records that consumed-files became a required status check. - AGENTS.md: "freedom is now spent" updated from prospective to actual — the repo is live, published filenames are an API, and the protect-main ruleset (PRs only, no force-push, required consumed-files check) enforces it. See QuantEcon/meta#338 Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
There was a problem hiding this comment.
Pull request overview
Records the P1 pilot closeout and updates the repo’s roadmap/guardrails to reflect that data-lectures is now a production dependency (published filenames in lectures/ are effectively an API after the first lecture repoint merged).
Changes:
- Update
PLAN.mdstatus and Phase 5/8 bullets to mark P1 complete and note the repo is now live. - Update
AGENTS.mdto change the “freedom is now spent” guidance from prospective to current, and to reference the requiredconsumed-filesstatus check.
Reviewed changes
Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.
| File | Description |
|---|---|
| PLAN.md | Marks the repo as live, checks off P1, and records the required-status-check guardrail detail. |
| AGENTS.md | Updates contributor guidance to reflect live-API constraints and required CI gating. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
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
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.
Bookkeeping for the P1 completion — the repoint QuantEcon/lecture-python-intro#792 merged 2026-07-17, so a production lecture now reads
lectures/lingcod_msy_recovery.csvfromraw/mainat build time.Evidence recorded in the PLAN tick: the lecture build passed in the single repoint PR (
test, 8m49s), the served URL is verified byte-identical to the manifestsha256, and the Colab criterion holds by construction — the public URL replaces the relative path that was exactly what broke downloaded notebooks. The pyodide/CORS bullet remains open.Also updates AGENTS.md's "freedom is now spent" paragraph from prospective to actual (published filenames are an API, enforced by the protect-main ruleset with the required
consumed-filescheck), and notes the required-status-check addition in the go-live guardrail bullet.Part of #8
See QuantEcon/meta#338