Repository navigation
spec(D-NAM-1): versioned native method DTO crosswalk and normalization gates - #1779
Conversation
|
Important
This repository does not receive automatic reviews because it has fewer than 10 stars.
|
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
d881b4a to
3bb5977
Compare
D-NAM-1 — static normalized method crosswalk and admission schema
Status: DRAFT / engineered specification and OFFLINE manifest validator only. Native Rust runtime integration and actual external semantic conformance are not implemented. No merges, no authorized ABI change.
Files:
.claude/plans/d-nam-1-native-method-crosswalk-spec-v1.md: canonical method identity, source ownership and versioned semantic admission/refusal gates..claude/specs/d-nam-method-crosswalk-v1.json: 4 existing native method anchors × 4 dialect readings; candidates are explicitly unadmitted.tools/d_nam_validate_crosswalk.py: fail-closed static shape checker. Intended review command:python3 tools/d_nam_validate_crosswalk.py. This checks schema, not ONNX/TFLite/MLIR operator parity. Tool has not been exercised in repository CI by this handoff.Dependencies: D-NAM capstone #1778; EXO-152, EXO-50. Preserve D-RA-2 #1644, D-NFC #1753, ONNX leaf #1754/#1758, EXO-86/102/115/127.
Next implementation gate: locate actual method identity owner; pin ONNX/TFLite/MLIR versions, add independent oracle + negative tests for i32 Greater, i32 Where/Select, masked Sum and f32 Tanh. Refuse unproven equivalence, no new AST/interpreter or per-call DTO dispatch. Draft only; operator review before code promotion.