Skip to content

spec(D-NAM-1): versioned native method DTO crosswalk and normalization gates - #1779

Merged
AdaWorldAPI merged 1 commit into
mainfrom
docs/d-nam-1-method-normalization-20261025
Oct 25, 2026
Merged

AdaWorldAPI merged 1 commit into
mainfrom
docs/d-nam-1-method-normalization-20261025

Conversation

@AdaWorldAPI

@AdaWorldAPI AdaWorldAPI commented Oct 25, 2026 •

Copy link
Copy Markdown
Owner

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.

@coderabbitai

coderabbitai Bot commented Oct 25, 2026 •

Copy link
Copy Markdown

Important

  • 🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

Run configuration
  • Source mode: Auto
  • Repository: Unavailable
  • Branch: Unavailable
  • File: No configuration file from this repository applied
  • Commit: Unavailable
  • Layers: Organization UI
  • Review profile: CHILL
  • Plan: Advanced
  • Run ID: ad701bf1-cc19-472f-bf34-1c78f4a8e501
  • Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Warning

Billing warning: we have not been able to collect payment for this subscription for more than 72 hours. Please update the payment method or pay any pending invoices in Billing to avoid service interruption.

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@AdaWorldAPI
AdaWorldAPI marked this pull request as ready for review October 25, 2026 17:17
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 25, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-25T17:30:49.392435Z 3bb5977 Draft marked ready
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@AdaWorldAPI
AdaWorldAPI marked this pull request as draft October 25, 2026 17:18
@AdaWorldAPI
AdaWorldAPI force-pushed the docs/d-nam-1-method-normalization-20261025 branch from d881b4a to 3bb5977 Compare October 25, 2026 17:25
@AdaWorldAPI
AdaWorldAPI marked this pull request as ready for review October 25, 2026 17:25
@AdaWorldAPI
AdaWorldAPI marked this pull request as draft October 25, 2026 17:26
@AdaWorldAPI
AdaWorldAPI marked this pull request as ready for review October 25, 2026 17:29
@AdaWorldAPI
AdaWorldAPI merged commit 538bc17 into main Oct 25, 2026
4 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.

1 participant