Skip to content

PLAN P2: DT64 operation pointer and witnessed coordinate lookup - #1961

Merged
AdaWorldAPI merged 4 commits into
mainfrom
plan/bagop-xverweis-p2-20261105
Nov 5, 2026
Merged

AdaWorldAPI merged 4 commits into
mainfrom
plan/bagop-xverweis-p2-20261105

Conversation

@AdaWorldAPI

@AdaWorldAPI AdaWorldAPI commented Nov 5, 2026 •

Copy link
Copy Markdown
Owner

OPTIONAL CORE METHOD POINTER, ADMISSION OPEN

Plan: docs/plans/d-bagop-xverweis-polyfill-v1.md

An XVERWEIS-like operation pointer is a DT64 MethodRef / AlgebraRef behavioral reference. It is not an Excel value, not a stored result, and not the coordinate produced by its execution. A lawful operation may return a snapshot/layout/scope-qualified ordinal coordinate for chained property access, with values materialized only on demand. Excel-specific first/last, not-found and spill semantics are consumer adapters. DR routes, DT validates structure/method/guard, Quack lowers admitted execution; no unadmitted Gather or derived mask reuse.

Invariant and boundaries

  • DR: version-witnessed coordinate routing, not a Bag-only register or value evaluator.
  • DT: immutable class/method interpretation with late ClassView/WideFieldMask fields; historical data replay still requires source snapshots and layout.
  • OGAR: normalized, scoped Guid128 correspondence; backsynced AD msDS-ExternalDirectoryObjectId may carry User_{GUID}; distinguish AD objectGUID, sourceAnchor and Entra id.
  • Quack / mask-RISC / ndarray: admitted typed/masked folds over borrowed SoA lanes. simd_stride byte LUTs are not a completed cross-table GUID join; no unadmitted Gather/mask reuse.
  • POC: one joined logical SAP/PSCustomObject tile with reusable coordinate descriptors, no per-row object hydration; independent oracle, explicit cold/warm timings.
  • Outside the first POC: GridCraft formulas and XLSX parity, report-rs workbook convergence, Java runtime, Databricks/DataFusion, Codegraph adapter.

Draft plan only. No production implementation, owner admission, merge, runtime test or deploy is asserted.

Status: document-only architectural correction, reviewed against current source contracts on 2026-11-05.

@coderabbitai

coderabbitai Bot commented Nov 5, 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: b3f35282-3528-4fdc-8888-ff5d0a2fa5dc
  • 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

@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Nov 5, 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-11-05T22:32:19.235907Z 673a8d8 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 November 5, 2026 20:55
@AdaWorldAPI AdaWorldAPI changed the title PLAN P2: XVERWEIS and PSCustomObject semantics as Bagop folds PLAN P2: DT64 operation pointer and witnessed coordinate lookup Nov 5, 2026
@AdaWorldAPI
AdaWorldAPI marked this pull request as ready for review November 5, 2026 22:31
@AdaWorldAPI
AdaWorldAPI merged commit bf13871 into main Nov 5, 2026
1 check 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