[AdaWorldAPI]

What

crates/lance-graph-dt64: the DT bind store, as production code.

• Workspace member; its only dependency is the zero-dep lance-graph-contract.
• Stores bindings and their version log, never business data.
• Evaluates nothing.

It closes the four D-DRDT §4 gaps:

1. Method identity: MethodId + SigRev. The source name (MethodSig::name, ActionDef::predicate) is carried but is never the identity.
2. K3, conjunctive WHEN:
   • Guard { expr: set_algebra::SetExpr, logic: Logic } is the description Quack's WHERE evaluates (D-DT64-6 §3).
   • Guard::witness is its normal form, using normalize_kleene for K3.
3. Effect order: effects: Vec<Effect> (field position + AlgebraRef, the D4 polyfill reference).
4. One lookup: resolve(view, classid, schema_rev) borrows the fields from the ClassView and takes the methods from the store. resolve_at looks up by DR position and route version.

D5:

• A classid's behaviour is immutable: register is idempotent for an identical binding and refuses any other.
• An override is register_derived plus a re-route.
• Only routing is versioned: an append-only log, queried with routed_at(version, position).

D-DRDT §5:

• admit(MethodRef) refuses a dropped, added or mismatched guard, and a stale signature revision.
• resolve refuses another schema revision, and a ClassView whose field basis has moved.
• UNKNOWN is never an empty answer.

Also on this branch (earlier commits):

• D-DT64-6 Amendment A: the DR facts a binding applies, the tract-harvest-probe reference path, and measured gates.
• The Morton aligned-square test.
• The mask-risc dose.rs test.
• The retired D-LITHO note, folded into D-DT64-6.

Tests

• cargo test -p lance-graph-dt64: 11 pass.
• clippy --all-targets -D warnings and fmt are clean.
• The first DR Claude/setup adaworld repos 4k pex #4 falsifier passes: two methods with equal read and write sets and different effect order are both kept and stay distinct, and a dropped guard refuses.
• Disable runs: removing any one of the eight guards leaves exactly one test red (recorded in plan A.5).

Not done

• OGAR CapabilityAuthority wiring (D6).
• Persistence (EXO-55).
• A DR Claude/setup adaworld repos 4k pex #4 router that carries MethodRef.
• §6 Q1, the immutable unit. The crate implements the D5 wording: the classid is the immutable unit.

🤖 Generated with Claude Code

https://claude.ai/code/session_01XAqKMPh2Seh2WLccCksAdY

[coderabbitai]

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: 5d562107-2e68-464e-a721-21a945518e7a

• Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

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

• X
• Mastodon
• Reddit
• LinkedIn

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

[chatgpt-codex-connector]

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-30T15:34:39.666792Z	4707683	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.