Skip to content

lock: ogar pin 991450a0 → 19373a2 (the canon-high flip commit — landed after #68 merged)#69

Merged
AdaWorldAPI merged 1 commit into
mainfrom
claude/v3-substrate-migration-review-o0yoxv
Jul 2, 2026
Merged

lock: ogar pin 991450a0 → 19373a2 (the canon-high flip commit — landed after #68 merged)#69
AdaWorldAPI merged 1 commit into
mainfrom
claude/v3-substrate-migration-review-o0yoxv

Conversation

@AdaWorldAPI

Copy link
Copy Markdown
Owner

What

The lockfile bump promised on the #68 codex-P1 thread raced the merge: #68 merged at 06:32 with head d9f1de5, and the bump commit (ff3777b) reached the branch ~9 minutes later — so main carries the flipped op-canon literals but still pins the pre-flip OGAR rev, and --locked builds on main will fail the flipped assertions.

This PR is that single cherry-picked commit: ogar-vocab/ogar-class-view/ogar-render-askama 991450a019373a2 (the AdaWorldAPI/OGAR#147 merge commit). Re-verified on top of current main against the real git dep: op-canon 32 tests green (45 workspace suites verified on the identical lock change pre-merge).

🤖 Generated with Claude Code

https://claude.ai/code/session_01MLBnPuScZy6w9di2QEjsXM


Generated by Claude Code

… flip)

Fulfills the codex-P1 gate on this PR: the flip commit is now reachable
from OGAR main, so the lockfile pins it and --locked builds get the
flipped ogar_vocab::app the updated literals expect. Verified against the
real git dep (no local path override): 45 workspace suites + op-canon
doctests green.

Co-Authored-By: Claude <noreply@anthropic.com>
@AdaWorldAPI AdaWorldAPI merged commit 7d31c29 into main Jul 2, 2026
AdaWorldAPI pushed a commit that referenced this pull request Jul 2, 2026
…pe); C6 re-applied

Cargo.lock conflict resolved by keeping the path-vendored dep graph
(main's #69 pinned the OGAR git dep to the post-flip sha; this branch
has no OGAR git deps — the vendor slice IS post-flip). Workspace green.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01PBTGaPCSnnt6u3pjXpbLwY
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.

2 participants