[AdaWorldAPI]

What

• hubspo-store::catalog is the production Registrar + Binder that lance-graph-quack::bind names but nothing implemented (proven in probe P-QDB-1).
  • Each coded field has one Codebook: label i maps to code i, and unknown labels bind to nothing.
  • Plane 0 of every table is its live plane; nullable fields name their own validity plane.
  • It refuses ambiguous declarations: duplicate fields, lanes or labels; a codebook on an integer field; the live plane used as a validity plane.
• hubspo-query::filter::compile(object, groups, &binder) -> Filter compiles HubSpot filter groups (AND within a group, OR across groups).
  • Operators: EQ, NEQ, LT, LTE, GT, GTE, BETWEEN, IN, NOT_IN, HAS_PROPERTY, NOT_HAS_PROPERTY.
  • CONTAINS_TOKEN is refused: text search belongs to the Tantivy index (H-ADR-6).
  • Integer values are decimal i32 until D-ONT-6 fixes the lane encodings for amounts and timestamps.
  • Nullable properties are three-valued: a record with no value is kept by no comparison, NEQ and NOT_IN included. Whether HubSpot does the same is a value-oracle question (ISS-ORACLE-PORTAL).

Evidence

tests/filter_oracle.rs runs 600 random filter-group sets over 5,000 records.

• 3 % of records are deleted, and 20–30 % have missing values; the lanes keep a random payload at those rows.
• Each set is compiled, lowered and run on mask-risc, and must equal a row-by-row plain-loop reading.
• Outcomes: 456 sets keep a proper subset, 122 keep nothing, 22 keep every live record.

Disable runs, each with an asserted patch anchor:

disable	tests that went red
sql_where dropped	oracle + missing-value test
NOT_IN compiled as IN	oracle
BETWEEN upper bound exclusive	oracle
groups ANDed instead of ORed	oracle
live plane dropped	oracle + presence test
NOT_HAS_PROPERTY on a required property returns true	oracle + presence test

A seventh guard (reads_value) stayed green under its disable and was deleted. sql_where gates only comparison leaves, so that guard protected nothing.

cargo fmt, cargo clippy --workspace --all-targets --no-deps -D warnings and cargo test --workspace are green locally against a patched lance-graph checkout.

Blocked

CI stays red until AdaWorldAPI/lance-graph#1457 merges. Without it, Quack cannot be consumed by git, because mask-risc reaches ndarray by a relative path (ISS-LG-MASKRISC-PATH-NDARRAY). Board updated: D-QRY-1 is In PR, and D-ONT-5 is shipped.

🤖 Generated with Claude Code

https://claude.ai/code/session_01PPcakjk7ioQsnasmNDtc5z

[AdaWorldAPI]

CI fmt, clippy, test is red, and this PR cannot fix it on its own side. Dependency resolution fails before any code compiles:

error: no matching package named `ndarray` found
required by package `lance-graph-mask-risc v0.1.0 (https://github.com/AdaWorldAPI/lance-graph?branch=main#c9403ec4)`

lance-graph main declares mask-risc's ndarray dependency as a relative path, which a git consumer cannot resolve. The fix is AdaWorldAPI/lance-graph#1457. No HubSPO-rs-side workaround exists that keeps H-ADR-14: a sibling path dependency or vendoring are both forbidden.

With that fix applied locally, cargo test --workspace, clippy and fmt are all green here. Once #1457 merges, CI resolves branch = "main" again and this PR goes green with no code change. I'll merge main into this branch only if a conflict appears in the meantime.

---

Generated by Claude Code

[chatgpt-codex-connector]

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, you can upgrade your account or add credits to your account and enable them for code reviews in your settings.