Skip to content

Detect upstream MIP changes that need explainer review - #55

Merged
portdeveloper merged 1 commit into
portdeveloper:masterfrom
rustemar:feat/mip-upstream-check
Oct 4, 2026
Merged

portdeveloper merged 1 commit into
portdeveloper:masterfrom
rustemar:feat/mip-upstream-check

Conversation

@rustemar

@rustemar rustemar commented Oct 3, 2026

Copy link
Copy Markdown
Contributor

Closes #53

What this changes

Track the five covered MIPs against pinned canonical source revisions, and report upstream drift through a bounded CLI and read-only daily/manual workflow. Offline fixtures cover matching sources, Draft-to-Final changes, missing files and API failures; the guide explains human baseline updates and separates specification changes from network activation.

The initial baseline is a conservative June 15 source snapshot, not a new certification of the explainers. The live check correctly reports all five files for review, including MIP-12's Draft-to-Final change; content repairs remain in #51.

Validation: 104 tests, production build and touched-file ESLint passed. The live CLI returned review-needed (exit 1) and wrote the same Actions summary; four local production routes returned HTTP 200.

Linked issue

Closes #53

Checklist

  • This is my own original work.
  • It does one thing; unrelated changes are in separate PRs.
  • I ran the project locally and confirmed the change works.
  • I followed the code patterns described in CONTRIBUTING.md.

Compare pinned canonical MIP sources with recorded baselines and report drift through a read-only scheduled check. Cover source changes and API failures with offline fixtures.
@vercel

vercel Bot commented Oct 3, 2026

Copy link
Copy Markdown

@rustemar is attempting to deploy a commit to the MF Experimental Team on Vercel.

A member of the Team first needs to authorize it.

@portdeveloper portdeveloper left a comment

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nice, lgtm

@portdeveloper
portdeveloper merged commit ee7e756 into portdeveloper:master Oct 4, 2026
1 of 2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Detect upstream MIP changes that need an explainer review

2 participants