[AdaWorldAPI]

Code: lance-graph-dt64

The polyfill is one lens classid, read through ClassView the same way every class is read:

• Its words are the fields of that lens, with labels from the lens's ClassView (mask-risc ops, ndarray::simd words).
• A word is a field position, AlgebraRef { lens, word }, and a set of words is a WideFieldMask. No word gets a classid of its own; this is the ONNX shape from tract-harvest-probe: one ONNX classid in the plans; DR64 global to local; codebook beyond 256 #1870.
• declare_algebra(lens, schema_rev, extent, arity) binds the lens and is immutable.
• resolve_algebra and field_view read the lens; words_used(class, lens) gives a consumer's words as a mask.
• Removed: AlgebraId, the string catalogue, the per-entry SigRev, and AlgebraRevisionMismatch.

Thin-provisioned DR extent. A class reserves each axis (Identity × Property × Predicate) as a number of DR64 or DR256 tiles, Axis { tile, tiles }.

• Extent::DR64_CUBE, DR256_SQ_X64 and DR256_GLOBAL_X64 are named. The last reserves the whole DR256 identity space: 65,536 positions in 256 tiles of 256.
• Reserving claims nothing. BindStore::claimed(class, version) counts the identity tiles that hold a routed position, and tile_bytes states their cost without allocating anything.
• Jina's 7,620 nodes claim 30 of 256 reserved tiles (15 MiB stated). Under a one-tile reservation, node 7,619 is refused (OutsideReservation), not dropped.
• Registration refuses fields past the property reservation (FieldsExceedExtent), methods past the predicate reservation (MethodsExceedExtent), and an axis wider than it can address (ReservationTooWide).
• Still capped: a class's property axis holds at most 256 fields, because a WideFieldMask position is a u8 (contract).
• The tract lab's dr3::TILE = 64 belongs to the tract session, which has been told about the reservation model.

The polyfill's layers: relalg describes a selection, mask-risc folds it, and ndarray::simd computes. The int64 multiply is reachable through ndarray::simd since AdaWorldAPI/ndarray#407, so this PR should land after it.

Checks:

• 21 tests pass; clippy (-D warnings) and fmt are clean.
• Each disable run below turns exactly the listed number of tests red:

guard removed	failing tests
the words_used lens filter	1
the AlgebraImmutable arm	1
the arity position	5
the shared basis check	4
the reservation check in route	1
claiming by tile	1
the too-wide check	1
costing the reservation instead of the claim	1

Fix: Style Check / format

The format check had been red on main since my earlier #1862. a076664bd runs rustfmt on crates/lance-graph-contract/src/morton8x8.rs, and all 26 format steps in style.yml now pass locally.

Docs

• STATUS_BOARD:
  • D-DT64-6-BS is marked Shipped lance-graph-dt64: the bind store for meaning and behaviour #1869.
  • The D-TRACT-HARVEST-0 row now says one ONNX lens classid.
• Plan D-DT64-6, Amendment A.5:
  • Addendum 7: tract-harvest-probe: one ONNX classid in the plans; DR64 global to local; codebook beyond 256 #1870 settles the per-op classid question.
  • Addendum 8: the polyfill names the algebra.
  • Addendum 9: the polyfill is one lens classid.
  • Addendum 10: a consumer-chosen extent (superseded by 11).
  • Addendum 11: the extent is thin-provisioned.

🤖 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: b3837772-5e97-473e-bdca-20b6a192539b

• 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.}

[AdaWorldAPI]

Style Check / format was red here (Rustfmt lance-graph-contract), and it is red on main for the same reason. The cause is a rustfmt diff in crates/lance-graph-contract/src/morton8x8.rs, introduced by my earlier #1862 (c04ffe92e). Every main push since then has failed at that step, and the format steps after it were skipped.

a076664bd formats the file. Locally, all 26 cargo fmt --manifest-path … -- --check steps from style.yml now pass, and the morton tests still pass (7).

---

Generated by Claude Code

[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-30T16:36:28.855518Z	6a0124a	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.