feat(driver-sql,driver-turso): the remaining IDataDriver doors publish their declared types, not any (#15267) #23453
claude[bot]pr-automation.yml
on: pull_request
Check PR Size
15s
Check Changeset
48s
Auto Label
17s
Annotations
2 notices
|
Check Changeset:
.changeset/driver-turso-doors-declared-types.md#L0
ADR-0087 exemption (type-surface-only): Published driver method overrides' declared returns move off an explicit `any` onto the contract's own shapes; no metadata key moves, `packages/spec` is untouched, and the obligation is a TypeScript narrowing at the consumer's own call site, delivered by the compiler. The same change to `execute` is not named above because its destination is the contract's own `unknown`, which `isErasedType` counts as erased (TSO-U6), so predicate 4 cannot read it as narrowed-from-erased; it carries the identical disposition and the body states it in full.
|
|
Check Changeset:
.changeset/driver-sql-doors-declared-types.md#L0
ADR-0087 exemption (type-surface-only): Published driver methods' declared returns move off an explicit `any` onto the contract's own shapes. No metadata key is removed, renamed or re-shaped, `packages/spec` is untouched, and nothing exists for `objectstack migrate meta`, `spec-changes.json` or the upgrade guide to rewrite; the obligation is a TypeScript narrowing at the consumer's own call site, delivered by the compiler. The same change to `execute` and `explain` is not named above because their destination is the contract's own `unknown`, which `isErasedType` counts as erased (TSO-U6), so predicate 4 cannot read them as narrowed-from-erased; they carry the identical disposition and the body states them in full.
|