Repository navigation
probe(dr-math): typed DR64 class/method operand binding [1/5] - #1701
AdaWorldAPI merged 2 commits into
Conversation
|
Important Review skippedAuto reviews are disabled on base/target branches other than the default branch. Please check the settings in the CodeRabbit UI or the ⚙️ Run configuration
You can disable this status message by setting the Use the checkbox below for a quick retry:
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. Comment |
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. |
Coresearch D-DRMC items X1, X2, X3 (operator-chosen).
- The 5-field caller-built BindingWitness is gone. The frame (source,
relationship map, coordinates) is a Frame issued by a FrameStore and
compared by identity of the issue, mirroring dir-rmap-probe's Witness
(Weak + ptr_eq; that type is tied to dir-sim's VersionStore, so it is
not reused). Two stores at equal revisions do not alias; a re-seal at
equal numbers is FrameResealed.
- Focus (motion) and Scope (policy) are separate types and separate
guards; moving either leaves the frame valid.
- Validity is a carrier of R: Operand { rows, validity }. A three-valued
method needs it, a two-valued one refuses it, so no validity plane can
be bound to a foreign method.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
|
Pushed
8/8 tests pass in release, clippy Generated by Claude Code |
2 participants
Stage 1 of D-DRMC
Adds an own-workspace, lab-only
dr-math-binding-probeusinglance-graph-contract::class_view::ClassIdand shipped Morton8x8. Validates a 512-B borrowed DR64 presence register under per-method typed row/column axes and a supplied source/map/coordinate/focus/scope witness.6 focused Rust tests cover identity² vs identity×property confusion, method mismatch, K3 and bag refusal, independent stale witness dimensions and a no-copy borrow. No new evaluator or producer data owner; no edits to
lance-graph-contract, Quack, R2IL, mask-risc, cognitive-shader-driver, Math Foundry or existing PR branches.Limits: Caller-provided witness is not independent attestation; ClassView resolver adapter, provenance, ACL verification and real RelAlg fold remain external. Cargo tests authored, not executed from this environment (no Rust toolchain). Base is draft #1700; preserve #1667 and #1698 ownership. Keep draft pending targeted tests/review.