Align public repo to Gate A receipt; remove migration-era files#64
Merged
Conversation
The public repo had drifted: tracked files still referenced the old
DM-18 migration product, the 26-gate pipeline, and a private
verify-engine repo whose links would 404 for any reader.
This commit aligns the entire public surface to the Gate A receipt
product:
- Untracks migration-era source: src/action/, src/types-migration.ts,
scripts/mvp-migration/{MEASURED-CLAIMS.md, grounding-gate.ts,
safety-gate.ts, schema-loader.ts, spec-from-ast.ts,
reports/calibration-postfix-2026-04-12.jsonl}, and the
dist/action/libpg-query.wasm Postgres parser the receipt product
does not use.
- Untracks the stale top-level calibration/ files (DM-15/16/18 era)
and replaces them with the Gate A ledger: shapes.json and
attempts.jsonl copied from dist/action/calibration/, plus a fresh
corpora.json built from the engine's source-of-truth listing only
the six corpora Gate A attempts reference.
- Rewrites CLAUDE.md with a Gate A-aligned orientation: this repo is
the public release surface, development happens in the engine repo,
do not restore migration-era files.
- Rewrites METHODOLOGY.md as a surface-agnostic, plain-language
description of the receipt, calibration discipline, and the three
promotion paths.
- Fixes README cross-repo links that pointed at the private
verify-engine repo. The public ledger is now in this repo at
calibration/.
- Fixes the docs' "reproducing a receipt" instructions to describe
the deterministic-input guarantee instead of pointing at a CLI
script that lives only in the engine repo.
- Updates .gitignore so the removed migration-era files cannot drift
back into the public surface.
The Action bundle (dist/action/index.cjs) is unchanged. Receipt
output is unchanged. The canonical demo digest still reproduces:
sha256:bceed6d396217a7ef677e2701c7a657b0f3721bc73b2b77eba378c5c172e39cc.
Net: 21 files changed, 676 insertions, 3489 deletions.
Checks with no findings
Not checked Terraform, CloudFormation, Helm-templated YAML, Kustomize overlays, runtime cloud state, business logic, intent, recall, uncalibrated shapes. Receipt artifacts: |
action.yml description leads with the artifact (PR change receipt) and names what the human gets, instead of overloading "calibrated" up front: Posts a PR change receipt showing what was checked, what was found, and what was not checked. Covers Kubernetes, Dockerfile, and GitHub Actions. Also updates the lead sentences in README.md, CLAUDE.md, and docs/GITHUB-ACTION-MVP.md so the public-facing copy doesn't echo the old "calibrated K8s/Dockerfile/GHA change receipt" phrasing in its first sentence. The claim is unchanged: same scope (K8s/Dockerfile/GHA), same calibration discipline (mentioned later, not in the lead), same honest "Not checked" framing. action.yml inputs/outputs/runs unchanged. dist/action/index.cjs not rebuilt — no behaviour change.
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.
Why
The public repo had drifted. Tracked files still referenced the old DM-18 migration product, a 26-gate pipeline, the private `verify-engine` repo (whose links 404 publicly), and a Postgres parser the receipt product doesn't use. README cross-repo links would fail when clicked. The top-level `calibration/` directory still held the migration-era ledger.
If we want to push Gate A in front of readers, the public surface should be Gate A end to end.
What changed
Untracked migration-era files (kept locally, removed from public surface):
Replaced stale top-level calibration ledger with Gate A data:
Rewrote two orientation docs in plain language:
Fixed broken cross-repo links in README and the two docs files. The public ledger is now in this repo at calibration/; the docs no longer reference a private repo or a CLI script that lives only in the engine.
Updated `.gitignore` so the removed migration-era files cannot drift back into the public surface (broadened `scripts/mvp-migration/` to whole-tree ignore, added `src/action/`, `src/action-v2/`, `src/types-migration.ts`, and made the `dist/action/calibration/` carve-out explicit).
What did NOT change
Test plan
🤖 Generated with Claude Code