IDataEngine contract adoption ruled by #11833: declare resolveEffectiveDatasource + getDriverForObject (optional members), and give getObject a real return contract

[os-trump]

Filed by the triage seat (session session_01TMpU2R7qfDGR8rHKBay9uJ, 2026-08-25 round) to give #11833's ruled spec-side work a named card — the 2026-08-25 maintainer ruling on #11833 routed forks 1 and 3 to the spec seat, but no card existed, leaving #11833 blocked on an edge no unlock scan could see. Dedup: the open domain:spec set was enumerated this round (51 open) — no existing card covers these members.

Scope (ruled — decision re-read lands on #11833's 2026-08-25 ruling comment, verbatim source 「其他接受」)

1. Fork 1 (ruled A): declare resolveEffectiveDatasource and getDriverForObject as optional members on IDataEngine — same evidence bar The engine-registration path is still unreached by the introspection compile channel: IDataDriver declares no introspectSchema, and IDataEngine.introspectDatasource() returns Promise<unknown> #11493 used for introspectDatasource (implemented on the ObjectQL class, cross-package-consumed, currently recoverable only through consumer-local structural re-declarations). Optional preserves every graceful-degradation seam.
2. Fork 3 (ruled "anything but leave as is"): getObject currently returns unknown, forcing at least three consumer-local structural re-declarations. The shape — typed return vs shared exported guard — is the spec seat's design call per the ruling.
3. finding: a THIRD consumer-local structural engine type (ConnectionEngineLike) carries five members no spec contract declares #12010's members join this sweep per the ruling's item 4: ConnectionEngineLike's three undeclared members (registerDatasourceDef, markDatasourceUnavailable, clearDatasourceUnavailable) are adjudicated under the same evidence bar in the same PR — declare or explicitly refuse each, with the reading recorded.

Constraints

• Clause-②: yes — this widens a published contract surface; contract-review tier applies to the dispatch.
• ⛔ No consumer-side changes here: finding: two consumer-local structural DataEngineLike re-declarations remain after the #11493 deletion (datasource-admin-plugin, service-analytics) #11833's analytics half re-dispatches from the services seat only after these members exist (its Blocked-by: line points here).
• ⛔ The aggregate enum question is NOT this card — that is A custom-SQL measure reaches engine.aggregate un-refused on the ObjectQL path and answers a silent null — the repair #12053's probe scoped #12209 (Bug, services), sequenced separately.

Downstream reader: the domain:services seat, on unlock of #11833.

Refs: #11833 (ruling + measured mismatch tables in its report) · #11493 (the precedent) · #12010 (member inventory) · #12011 (the landed datasource half).

[huangyiirene]

Claim: PM loop round R7, wave 4 (second slot, backfilled after #12055 closed on a falsified premise)
Session: session_01E5LFCYBJ3q2s6yW6oMLxwy
Branch: claude/issue-12248-dataengine-contract-adoption
Worktree: objectstack-issue-12248
Domain: domain:spec
File surface: packages/spec/src/contracts/data-engine.ts (IDataEngine at :181, re-verified on origin/main at fire) + its test twin data-engine.test.ts, generated api-surface/ + doc projections, changeset (stop on breach; explain in the report). Read-only evidence surfaces: packages/objectql (the implementing class), packages/services/service-datasource/** (ConnectionEngineLike — the consumer-local structural re-declaration this card exists to obsolete; ⛔ no consumer-side edits per the card's own constraint)
Container & model: M, mode:subagent, model: claude-fable-5 — Clause-② content limb yes (declares new optional members = widens a published contract surface), per the card's own constraint line
Clause-②: yes
Serial constraints cleared: contracts/data-engine.ts has no in-flight writer; wave-4 sibling #12344 (src/ui/component.zod.ts + packages/mcp) disjoint; no other in-flight claim in lane. H17 on-hold trigger-file index: no hit. Unlock fanout declared: #11833 (services lane) carries Blocked-by: pointing here — landing this card is what re-opens its analytics half.

---

Generated by Claude Code

[huangyiirene]

Dev claim (os-dev seat, dispatched by the PM claim above): work starting now.
Session: session_01E5LFCYBJ3q2s6yW6oMLxwy (dev subagent of the PM seat's dispatch, R7 wave 4)
Branch: claude/issue-12248-dataengine-contract-adoption
Worktree: ../objectstack-issue-12248 from fresh origin/main
Decision re-read done: #11833's 2026-08-25 maintainer ruling comment (verbatim source 「其他接受」) + measured mismatch tables, #11493 (evidence-bar precedent), #12010 (ConnectionEngineLike member inventory).
File surface: packages/spec/src/contracts/data-engine.ts + test twin, generated api-surface/, changeset. Read-only evidence: packages/objectql/src/engine.ts, packages/services/service-datasource/**. ⛔ No consumer-side edits.

---

Generated by Claude Code

---

Generated by Claude Code