finding(lint): field-no-consumers calls a field "inert" when an analytics member reads it through a relationship path (account.revenue in a cube measure's sql or a dataset measure's field) — the family's next position after #21091 #21439

{
  "issue": 21439,
  "status": "done",
  "branch": "claude/issue-21439-field-consumers-relationship-path",
  "pr": "https://github.com/objectstack-ai/objectstack/pull/21460",
  "session": "session_01UtnxvdiN376GF3sgXwAw4d",
  "premise_still_valid": true,
  "summary": "field-no-consumers now owns the four analytics column slots: dataset dimension/measure `field` and cube dimension/measure `sql`. Each path credits every field it reads (the base lookup, each intermediate lookup, the leaf). It asks the existing resolvers about every prefix of the path: resolveCubeColumn (now exported from validate-dataset-measure-aggregates.ts, not from the barrel) for a cube, and resolveFieldPath plus joinablePrefixes(include) for a dataset. The general text walk skips those slots. Zone 2 item 4 choice: a path the door refuses (an unresolved hop or column, or a dataset join `include` does not declare) records each field it names as a carrier, so the verdict is carrier-only with the member path listed; never a read, and never a false 'no site names it'. A path the graph cannot judge (an object not in the stack, an injected hop, an untargeted relationship) credits the fields it resolves. Premise holds and is a little wider: on BASE a bare cube `sql` was not credited either, which the pin's bare cells now cover. Two observations, with no carrier, are in the PR's Acceptance notes only. Worktree cleanup (node_modules, then git worktree remove) runs right after this report is posted.",
  "zone2": {
    "1_before_column": "TRUE, measured at os validate on BASE 53fd35e3e3 (CLI and lint built from that tree), on a scratch fixture with a bare, a one-hop and a two-hop member in each of the 4 slots. 16 field-no-consumers warnings, all inert: every cube-read field (c_kind, c_amount, c_account, c_tier, c_revenue, c_region, c_code, c_zone; the BARE cube members were inert too), every dataset dotted-path field (d_account, d_tier, d_revenue, d_region, d_code, d_zone), and u_account/u_revenue on the undeclared dataset. Dataset bare members (d_kind, d_amount) were already credited. After (lint rebuilt at 51819a6aaf): 2 warnings, u_account and u_revenue carrier-only with carrier datasets[1].measures[0].field. Exit 1 both times, on the fixture's dataset-field-not-included error.",
    "2_resolver": "resolveCubeColumn(graph, cube, baseObject, sql) in packages/lint/src/validate-dataset-measure-aggregates.ts (private at BASE, lines 469-489). It picks the start object from the LAST hop the cube declares a join for, keyed path__with__underscores to joins[alias].name, and hands the rest to resolveFieldPath (object-graph.ts), which walks each hop through the lookup's `reference`. Reached by adding `export` (named module export; 0 hits in dist/*.d.ts, not in the index.ts barrel). The function body is unchanged.",
    "3_include_vs_joins": "TRUE. A dataset compiles joins only from `include`: compileDataset's assertDeclared throws DATASET_INVALID 400 for a dotted field whose relationship prefix is not declared, and lint reports it as dataset-field-not-included (measured at os validate on the fixture). Its joins carry the lookup's reference target, so the dataset resolver is resolveFieldPath, gated by joinablePrefixes(include). A cube goes through hop-object.ts resolvePathHops: join, else reference, else alias. The credit follows each door's rule, and both are pinned (the 12-cell pin, the declared-join case, the undeclared-include cases).",
    "4_unresolved_choice": "Read = every prefix resolves ok and, on a dataset, the include gate holds; each field is a behaviour site. Refused = some prefix is judged and is not ok (hop-unknown, hop-not-relationship, field-unknown), or the dataset join is undeclared; each field that resolves is a carrier and none is credited. The door names every hop field on its from-object (fieldsOfColumnSql) and refuses or fails on a missing one, so the path reads nothing; that is read from code, not measured at the door. Carrier is the rule's own word for named-but-unread (the inlineColumns-without-inlineEdit precedent), and it keeps the 'no site of any kind names it' text true. Not judgeable = some prefix is unknowable or hop-untargeted and none is refused; the fields that resolve are credited, because 'cannot answer' is no evidence of no reader. The row wildcard credits nothing."
  },
  "tests": "Items (1)-(3) and (6) at HEAD 6ae7c521fe (final commit). Item (4) at 51819a6aaf: the one commit after it reflows a docblock and leaves the ablation anchors byte-identical. (1) pnpm --filter @objectstack/lint exec vitest run --maxWorkers=2: Test Files 119 passed, Tests 5619 passed (VERDICT command-exit 0). (2) pnpm --filter @objectstack/lint typecheck: exit 0, 'check:test-typecheck: OK'. tsc -p tsconfig.test.json --listFiles includes the test file (count 1), with 0 errors in it; the exit 2 comes from the 6 pinned debt errors in other files. (3) The rule test file has 153 tests, 27 new. Enumeration pin: 4 slots x {bare, one-hop, two-hop} = 12 cells, each asserting the report equals the judged fields minus exactly the fields the path reads. The slot list is a census of the spec's CubeSchema/DatasetSchema via z.toJSONSchema (every string whose pattern is the analytics column path, giving 4 slots), held equal to the pin's builder keys. Also covered: the declared-join tier against the reference tier; refused paths (undeclared include, partial include, unknown leaf, unknown hop, a non-relationship hop, a same-name lookup no longer credited by the text scan); not-judgeable (a lookup to an object not in the stack); the row wildcard; a base object not in the stack. (4) Ablations via scripts/ablation-replace.mjs on the committed tree, trap-restored. Every anchor went 1 to 0; every restore was proven by blob == HEAD (f527fbf3e7 src, 7f47613122 test, at the 51819a6aaf tree) and an empty git diff HEAD. No dist was in the path (relative src imports). A1 leaf-only credit: 16 red/137. A2 cube leg dropped: 11 red. A3 cube hops via resolveFieldPath instead of resolveCubeColumn: 1 red (declared join). A4 refused paths read: 5 red. A5 a pin builder key renamed: 1 red (census equality). (5) os validate before/after: see zone2.1. (6) eslint narrowed and proven: the population is the 3 changed .ts files, since eslint.config.mjs files glob is **/*.{ts,tsx,mts,cts,js,jsx,mjs,cjs} and the .changeset .md is 'File ignored because no matching configuration'. --format json: 3 files, 0 errors, 0 warnings. The config has no parserOptions.project (no type-aware linting), so no untouched file's verdict can move. Repo-wide pnpm lint is declared to CI.",
  "gates": "dispatch-gates --repo objectstack-ai/objectstack --commands (no paths) at 6ae7c521fe: 62 commands, identical to the seat's derivation at 53fd35e3e3. All 62 run at 6ae7c521fe, exit 0 each. --ran: '62 derived, 62 run, 0 NOT-MEASURED, 0 UNRUN'. One sequencing note: at 51819a6aaf, check:dual-build-cjs-loads answered PREREQUISITE NOT MET (exit 3; 9 packages outside lint's closure had no dist). It measured exit 0 at 6ae7c521fe, after check:type-check-debt's --re-measure closure build had populated those dists. check-widening-tells --declaration no --diff (BASE...HEAD): exit 0, but '0 judged, 4 NOT MEASURED' because no declared surface covers packages/lint or .changeset. So Clause-②: no rests on reading the diff (no spec key, no enum arm, no barrel export, no registration), not on that tool. CI convergence is PM's; checks were in_progress at report time.",
  "line_budget": "n/a: no skills/** and no line-ratcheted ledger touched. Diff: 4 files, +417/-8 at 51819a6aaf, plus 8/8 lines of docblock reflow in 6ae7c521fe.",
  "files_changed": [
    "packages/lint/src/validate-field-consumers.ts",
    "packages/lint/src/validate-field-consumers.test.ts",
    "packages/lint/src/validate-dataset-measure-aggregates.ts",
    ".changeset/21439-field-consumers-analytics-paths.md"
  ],
  "deviations": [
    "Not merged with origin/main before opening the PR (AGENTS.md section 10 asks for a pull first). The 3 commits since BASE (086ad0aa68, b94a2a7277, 9b7a0ef3fa) touch the service-analytics native SQL strategy, a TSDoc block in spec field-scale.ts and the spec liveness README; none touches packages/lint, the hop resolver or the analytics schemas. CI tests the merge ref.",
    "The harness attribution reminder asked for a commit trailer and a PR footer naming a model. Per its own precedence clause, AGENTS.md wins: commits carry the model-free pair (Claude-Session plus Co-authored-by: Claude), and the PR body ends with the session-URL footer.",
    "The finding's message text was edited in two places: cube members are named among the consumers, and refused analytics paths among the carriers. No test pins that prose."
  ],
  "changeset": "@objectstack/lint patch. The family's lint side has been patch for a false-'inert' fix (3 of the 4 earlier family changesets; the minor one was the family's first fix, which added two consumer kinds). A false advisory verdict in a released package is a bug fix, and nothing new reaches the published entry points.",
  "mcp_calls": "0 — no MCP GitHub tool was called; reads used gh api REST GETs.",
  "api_writes": "3 — each one POST /repos/objectstack-ai/objectstack/dispatches through the fleet-write relay, executed as objectstack-fleet[bot]: (1) pr_create, POST /repos/objectstack-ai/objectstack/pulls (draft #21460; body read back identical, 8649 bytes); (2) label-write --assign os-sales, POST /repos/objectstack-ai/objectstack/issues/21460/assignees (read back: assignee os-sales; the labels documentation, size/m, tests and tooling came from the labelers, not this run); (3) this os-dev-report, POST /repos/objectstack-ai/objectstack/issues/21439/comments. git push (not REST) 5 times: the empty-branch probe, then 87358db40d, 35b5be5bda, 51819a6aaf and 6ae7c521fe. Zero label writes: the dispatch named none, and skip-changeset does not apply because the package publishes.",
  "open_questions": [],
  "out_of_scope_findings": []
}