docs: mark OGAR classid registration complete, correct medcare-dismech claim - #2
Merged
Merged
Conversation
…h claim ogar-dismech merged (AdaWorldAPI/OGAR#274) — 0x0333 is now compile-time collision-guarded. Marks the plan checklist and TECH_DEBT.md entry done. Also corrects a stale claim carried in CLAUDE.md and TECH_DEBT.md that MedCare-rs holds a crates/medcare-dismech resolver: re-checked directly against the live MedCare-rs checkout, no such crate exists anywhere in that repo. Struck rather than deleted, per this repo's own TECH_DEBT convention.
|
You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard. |
AdaWorldAPI
added a commit
that referenced
this pull request
Aug 17, 2026
…wrong) PR #2 claimed crates/medcare-dismech does not exist in MedCare-rs, based on a find run against a local checkout that was 193 commits behind origin/main on a stale branch. Re-verified against a fresh sync: the crate is real, ~2,000 lines, 5 modules + 4 binaries, a from-scratch Rust transcode of DisMech's graph.py resolver with a parity oracle against 1,870 committed pathograph JSON files. Corrects CLAUDE.md's "Open questions" entry and adds a second dated TECH_DEBT.md entry (append-only convention: the wrong correction stays visible, struck, with this re-correction appended after it) plus a standing lesson: verify branch-vs-origin divergence before trusting a negative filesystem search, especially before writing it into a different public repo. Deliberately does not assert whether medcare-dismech's own parity gate is currently green, or whether its cited Python source still exists in a checkout — that verification belongs to MedCare-rs, not this repo. Co-authored-by: Claude <noreply@anthropic.com>
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.
Summary
ogar-classid-registration-v1.md's checklist fully done:ogar-dismechmerged inAdaWorldAPI/OGAR(#274) —0x0333is now compile-time collision-guarded on the OGAR side.TECH_DEBT.mdentry (struck, not deleted, per this repo's convention).LATEST_STATE.md's classid-reservation and active/queued-work sections to reflect the merge.CLAUDE.mdandTECH_DEBT.mdcarried a claim thatMedCare-rsholds acrates/medcare-dismechcausal-graph resolver crate. Re-checked directly against the liveMedCare-rscheckout (find -iname "*dismech*", zero hits anywhere in the repo) — no such crate exists. Struck the claim in both places rather than deleting it, so the correction stays visible.Test plan
Generated by Claude Code