tungsten 0.6.2 → 0.7.0

package/dist/components/bindable/bindableCandidates.comparison.d.ts

@@ -0,0 +1,136 @@
+import type { ContentNode } from '../../ContentNode.js';
+import { TungstenSimpleComponent } from '../../Components.jsx';
+type TypedBindVariable<O extends object, K extends keyof O> = [O, K];
+type BindVariable<O extends object> = [O, keyof O];
+type ConvertFuncString<T> = (newValue: string, event: Event) => T;
+type ConvertCheckedFunc<T> = (newValue: boolean, event: Event) => T;
+interface InputAttrs<BO extends object> {
+    className?: string | undefined;
+    bind?: BindVariable<BO> | undefined;
+    convert?: ConvertFuncString<unknown> | ConvertCheckedFunc<unknown> | undefined;
+}
+type PropsA<O extends object, K extends keyof O> = Omit<InputAttrs<O>, 'bind' | 'convert'> & ({
+    convert: ConvertFuncString<O[K]>;
+    bind?: TypedBindVariable<O, K>;
+} | {
+    convert?: undefined;
+    bind?: TypedBindVariable<O, K>;
+});
+export declare class InputA<O extends object, K extends keyof O> extends TungstenSimpleComponent<PropsA<O, K>> {
+    content: () => ContentNode;
+}
+export declare const a1: import("../../ContentNode.js").ContentNodeElement;
+export declare const a2: import("../../ContentNode.js").ContentNodeElement;
+export declare const a3: import("../../ContentNode.js").ContentNodeElement;
+export declare const a4: import("../../ContentNode.js").ContentNodeElement;
+export declare const a5: import("../../ContentNode.js").ContentNodeElement;
+export declare const a6: import("../../ContentNode.js").ContentNodeElement;
+export declare const a7: import("../../ContentNode.js").ContentNodeElement;
+type PropsB<O extends object, K extends keyof O> = Omit<InputAttrs<O>, 'bind' | 'convert'> & ({
+    convert: ConvertFuncString<O[K]>;
+    bind?: TypedBindVariable<O, K>;
+} | {
+    convert?: undefined;
+    bind?: [O & Record<K, string>, K];
+});
+export declare class InputB<O extends object, K extends keyof O> extends TungstenSimpleComponent<PropsB<O, K>> {
+    content: () => ContentNode;
+}
+export declare const b1: import("../../ContentNode.js").ContentNodeElement;
+export declare const b2: import("../../ContentNode.js").ContentNodeElement;
+export declare const b3: import("../../ContentNode.js").ContentNodeElement;
+export declare const b4: import("../../ContentNode.js").ContentNodeElement;
+export declare const b5: import("../../ContentNode.js").ContentNodeElement;
+export declare const b6: import("../../ContentNode.js").ContentNodeElement;
+export declare const b7: import("../../ContentNode.js").ContentNodeElement;
+export declare class FieldA<O extends Record<'status', string>> extends TungstenSimpleComponent<{
+    bind: [O, 'status'];
+}> {
+    content: () => import("../../ContentNode.js").ContentNodeElement;
+}
+export declare class FieldAK<K extends string, O extends Record<K, string>> extends TungstenSimpleComponent<{
+    bind: [O, K];
+}> {
+    content: () => import("../../ContentNode.js").ContentNodeElement;
+}
+export declare class FieldAny<O extends object, K extends keyof O> extends TungstenSimpleComponent<{
+    bind: [O, K];
+}> {
+    content: () => import("../../ContentNode.js").ContentNodeElement;
+}
+export declare const leak: import("../../ContentNode.js").ContentNodeElement;
+type Cell<W> = {
+    get: () => W;
+    set: (value: W) => void;
+};
+type PropsC<W> = {
+    convert: (value: string) => W;
+    bind: Cell<W>;
+} | {
+    convert?: undefined;
+    bind: Cell<string>;
+};
+export declare class InputC<W> extends TungstenSimpleComponent<PropsC<W>> {
+    content: () => ContentNode;
+}
+export declare const c1: import("../../ContentNode.js").ContentNodeElement;
+export declare const c2: import("../../ContentNode.js").ContentNodeElement;
+export declare const c3: import("../../ContentNode.js").ContentNodeElement;
+export declare const c4: import("../../ContentNode.js").ContentNodeElement;
+export declare const c5: import("../../ContentNode.js").ContentNodeElement;
+export declare const c6: import("../../ContentNode.js").ContentNodeElement;
+export declare const c7: import("../../ContentNode.js").ContentNodeElement;
+export declare class FieldCBuilds<O extends Record<'status', string>> extends TungstenSimpleComponent<{
+    obj: O;
+}> {
+    content: () => import("../../ContentNode.js").ContentNodeElement;
+}
+export declare function writeThroughGenericKey<K extends string, O extends Record<K, string>>(): O[K];
+export declare function writeThroughFixedKey<O extends Record<'status', string>>(o: O): void;
+export declare const stockLeak: void;
+export declare const methodBivariant: void;
+export declare const propContravariant: void;
+export declare class FieldCTakes extends TungstenSimpleComponent<{
+    bind: Cell<string>;
+}> {
+    content: () => import("../../ContentNode.js").ContentNodeElement;
+}
+export declare const cOk: import("../../ContentNode.js").ContentNodeElement;
+export declare const cNo: import("../../ContentNode.js").ContentNodeElement;
+declare const mustAcceptAString: unique symbol;
+type MustAcceptAString = {
+    [mustAcceptAString]?: true;
+};
+type PropsD<O extends object, K extends keyof O> = Omit<InputAttrs<O>, 'bind' | 'convert'> & ({
+    convert: ConvertFuncString<O[K]>;
+    bind?: TypedBindVariable<O, K>;
+} | {
+    convert?: undefined;
+    bind?: [O & Record<K, string>, K] & MustAcceptAString;
+});
+export declare class InputD<O extends object, K extends keyof O> extends TungstenSimpleComponent<PropsD<O, K>> {
+    content: () => ContentNode;
+}
+export declare const d1: import("../../ContentNode.js").ContentNodeElement;
+export declare const d2: import("../../ContentNode.js").ContentNodeElement;
+export declare const d3: import("../../ContentNode.js").ContentNodeElement;
+export declare class FieldD<K extends string, O extends Record<K, string>> extends TungstenSimpleComponent<{
+    bind: [O, K];
+}> {
+    content: () => import("../../ContentNode.js").ContentNodeElement;
+}
+type BindWritableByString<O extends object, K extends keyof O> = [O & Record<K, string>, K];
+type PropsE<O extends object, K extends keyof O> = Omit<InputAttrs<O>, 'bind' | 'convert'> & ({
+    convert: ConvertFuncString<O[K]>;
+    bind?: TypedBindVariable<O, K>;
+} | {
+    convert?: undefined;
+    bind?: BindWritableByString<O, K>;
+});
+export declare class InputE<O extends object, K extends keyof O> extends TungstenSimpleComponent<PropsE<O, K>> {
+    content: () => ContentNode;
+}
+export declare const e1: import("../../ContentNode.js").ContentNodeElement;
+export declare const e2: import("../../ContentNode.js").ContentNodeElement;
+export {};
+//# sourceMappingURL=bindableCandidates.comparison.d.ts.map

package/dist/components/bindable/bindableCandidates.comparison.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bindableCandidates.comparison.d.ts","sourceRoot":"","sources":["../../../src/components/bindable/bindableCandidates.comparison.tsx"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAA;AACvD,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAA;AAiD9D,KAAK,iBAAiB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACpE,KAAK,YAAY,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAA;AAClD,KAAK,iBAAiB,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,KAAK,CAAC,CAAA;AACjE,KAAK,kBAAkB,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,KAAK,CAAC,CAAA;AAEnE,UAAU,UAAU,CAAC,EAAE,SAAS,MAAM;IAClC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC9B,IAAI,CAAC,EAAE,YAAY,CAAC,EAAE,CAAC,GAAG,SAAS,CAAA;IACnC,OAAO,CAAC,EAAE,iBAAiB,CAAC,OAAO,CAAC,GAAG,kBAAkB,CAAC,OAAO,CAAC,GAAG,SAAS,CAAA;CACjF;AASD,KAAK,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,IACzC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC,GACvC,CACI;IAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,GACpE;IAAE,OAAO,CAAC,EAAE,SAAS,CAAC;IAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,CAC5D,CAAA;AAEL,qBAAa,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,CACnD,SAAQ,uBAAuB,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7C,OAAO,QAAO,WAAW,CAAQ;CACpC;AAED,eAAO,MAAM,EAAE,mDAAqC,CAAA;AACpD,eAAO,MAAM,EAAE,mDAAuC,CAAA;AACtD,eAAO,MAAM,EAAE,mDAAmC,CAAA;AAClD,eAAO,MAAM,EAAE,mDACuC,CAAA;AACtD,eAAO,MAAM,EAAE,mDAA4D,CAAA;AAE3E,eAAO,MAAM,EAAE,mDAAwD,CAAA;AAEvE,eAAO,MAAM,EAAE,mDAAqC,CAAA;AAOpD,KAAK,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,IACzC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC,GACvC,CACI;IAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,GACpE;IAAE,OAAO,CAAC,EAAE,SAAS,CAAC;IAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,CAC/D,CAAA;AAEL,qBAAa,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,CACnD,SAAQ,uBAAuB,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7C,OAAO,QAAO,WAAW,CAAQ;CACpC;AAED,eAAO,MAAM,EAAE,mDAAqC,CAAA;AACpD,eAAO,MAAM,EAAE,mDAAuC,CAAA;AAEtD,eAAO,MAAM,EAAE,mDAAmC,CAAA;AAClD,eAAO,MAAM,EAAE,mDACuC,CAAA;AACtD,eAAO,MAAM,EAAE,mDAA4D,CAAA;AAE3E,eAAO,MAAM,EAAE,mDAAwD,CAAA;AAEvE,eAAO,MAAM,EAAE,mDAAqC,CAAA;AAQpD,qBAAa,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAClD,SAAQ,uBAAuB,CAAC;IAAE,IAAI,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;CAAE,CAAC;IACxD,OAAO,0DAIN;CACJ;AAED,qBAAa,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAC9D,SAAQ,uBAAuB,CAAC;IAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,CAAC;IACjD,OAAO,0DAIN;CACJ;AAED,qBAAa,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,CACrD,SAAQ,uBAAuB,CAAC;IAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,CAAC;IACjD,OAAO,0DAON;CACJ;AAID,eAAO,MAAM,IAAI,mDAAuC,CAAA;AAQxD,KAAK,IAAI,CAAC,CAAC,IAAI;IAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IAAC,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,CAAA;CAAE,CAAA;AAKxD,KAAK,MAAM,CAAC,CAAC,IACL;IAAE,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,CAAC,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;CAAE,GAClD;IAAE,OAAO,CAAC,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;CAAE,CAAA;AAEjD,qBAAa,MAAM,CAAC,CAAC,CAAE,SAAQ,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7D,OAAO,QAAO,WAAW,CAAQ;CACpC;AAED,eAAO,MAAM,EAAE,mDAA2C,CAAA;AAE1D,eAAO,MAAM,EAAE,mDAA6C,CAAA;AAE5D,eAAO,MAAM,EAAE,mDAAyC,CAAA;AACxD,eAAO,MAAM,EAAE,mDACuC,CAAA;AACtD,eAAO,MAAM,EAAE,mDAAkE,CAAA;AAEjF,eAAO,MAAM,EAAE,mDAA8D,CAAA;AAE7E,eAAO,MAAM,EAAE,mDAA2C,CAAA;AAK1D,qBAAa,YAAY,CAAC,CAAC,SAAS,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CACxD,SAAQ,uBAAuB,CAAC;IAAE,GAAG,EAAE,CAAC,CAAA;CAAE,CAAC;IAC3C,OAAO,0DAIN;CACJ;AAGD,wBAAgB,sBAAsB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,UAInF;AAID,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,QAE5E;AACD,eAAO,MAAM,SAAS,MAA+B,CAAA;AASrD,eAAO,MAAM,eAAe,MAAkD,CAAA;AAE9E,eAAO,MAAM,iBAAiB,MAA0C,CAAA;AAIxE,qBAAa,WAAY,SAAQ,uBAAuB,CAAC;IAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;CAAE,CAAC;IAC5E,OAAO,0DAAyD;CACnE;AAED,eAAO,MAAM,GAAG,mDAAgD,CAAA;AAEhE,eAAO,MAAM,GAAG,mDAAkD,CAAA;AAUlE,OAAO,CAAC,MAAM,iBAAiB,EAAE,OAAO,MAAM,CAAA;AAC9C,KAAK,iBAAiB,GAAG;IAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,IAAI,CAAA;CAAE,CAAA;AAEvD,KAAK,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,IACzC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC,GACvC,CACI;IAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,GACpE;IAAE,OAAO,CAAC,EAAE,SAAS,CAAC;IAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,iBAAiB,CAAA;CAAE,CACnF,CAAA;AAEL,qBAAa,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,CACnD,SAAQ,uBAAuB,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7C,OAAO,QAAO,WAAW,CAAQ;CACpC;AAED,eAAO,MAAM,EAAE,mDAAqC,CAAA;AACpD,eAAO,MAAM,EAAE,mDAAuC,CAAA;AAGtD,eAAO,MAAM,EAAE,mDAAmC,CAAA;AAElD,qBAAa,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAC7D,SAAQ,uBAAuB,CAAC;IAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,CAAC;IACjD,OAAO,0DAAyD;CACnE;AASD,KAAK,oBAAoB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAA;AAE3F,KAAK,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,IACzC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC,GACvC,CACI;IAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,GACpE;IAAE,OAAO,CAAC,EAAE,SAAS,CAAC;IAAC,IAAI,CAAC,EAAE,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,CAC/D,CAAA;AAEL,qBAAa,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,CACnD,SAAQ,uBAAuB,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7C,OAAO,QAAO,WAAW,CAAQ;CACpC;AAED,eAAO,MAAM,EAAE,mDAAqC,CAAA;AAQpD,eAAO,MAAM,EAAE,mDAAmC,CAAA"}

package/dist/components/bindable/bindableCandidates.comparison.js

@@ -0,0 +1,268 @@
+function _defineProperty(e, r, t) { return (r = _toPropertyKey(r)) in e ? Object.defineProperty(e, r, { value: t, enumerable: !0, configurable: !0, writable: !0 }) : e[r] = t, e; }
+function _toPropertyKey(t) { var i = _toPrimitive(t, "string"); return "symbol" == typeof i ? i : i + ""; }
+function _toPrimitive(t, r) { if ("object" != typeof t || !t) return t; var e = t[Symbol.toPrimitive]; if (void 0 !== e) { var i = e.call(t, r || "default"); if ("object" != typeof i) return i; throw new TypeError("@@toPrimitive must return a primitive value."); } return ("string" === r ? String : Number)(t); }
+import { TungstenSimpleComponent } from "../../Components.js";
+import { jsx as _jsx, jsxs as _jsxs } from "tungsten/jsx-runtime";
+export class InputA extends TungstenSimpleComponent {
+  constructor(...args) {
+    super(...args);
+    _defineProperty(this, "content", () => null);
+  }
+}
+export const a1 = _jsx(InputA, {
+  bind: [wide, 'status']
+});
+export const a2 = _jsx(InputA, {
+  bind: [narrow, 'status']
+}); // the conditional had REJECTED this
+export const a3 = _jsx(InputA, {
+  bind: [numeric, 'n']
+}); // and this - A gives up both
+export const a4 = _jsx(InputA, {
+  bind: [narrow, 'status'],
+  convert: v => v === 'open' ? 'open' : 'closed'
+});
+export const a5 = _jsx(InputA, {
+  bind: [numeric, 'n'],
+  convert: v => Number(v)
+});
+// @ts-expect-error -- identity converter cannot produce 'open' | 'closed'
+export const a6 = _jsx(InputA, {
+  bind: [narrow, 'status'],
+  convert: v => v
+});
+// @ts-expect-error -- not a key of the object
+export const a7 = _jsx(InputA, {
+  bind: [narrow, 'nope']
+});
+export class InputB extends TungstenSimpleComponent {
+  constructor(...args) {
+    super(...args);
+    _defineProperty(this, "content", () => null);
+  }
+}
+export const b1 = _jsx(InputB, {
+  bind: [wide, 'status']
+});
+export const b2 = _jsx(InputB, {
+  bind: [narrow, 'status']
+}); // HOLE: narrowing, not demanding
+// @ts-expect-error -- `number & string` is never, so an incompatible type is still refused
+export const b3 = _jsx(InputB, {
+  bind: [numeric, 'n']
+});
+export const b4 = _jsx(InputB, {
+  bind: [narrow, 'status'],
+  convert: v => v === 'open' ? 'open' : 'closed'
+});
+export const b5 = _jsx(InputB, {
+  bind: [numeric, 'n'],
+  convert: v => Number(v)
+});
+// @ts-expect-error -- identity converter cannot produce 'open' | 'closed'
+export const b6 = _jsx(InputB, {
+  bind: [narrow, 'status'],
+  convert: v => v
+});
+// @ts-expect-error -- not a key of the object
+export const b7 = _jsx(InputB, {
+  bind: [narrow, 'nope']
+});
+// ---- the generic cases, for both candidates --------------------------------
+// NOTE the constraint is covariant: `O extends Record<K, string>` says O[K] is ASSIGNABLE TO
+// string, not that it can ACCEPT one - `{ status: 'open' | 'closed' }` satisfies it. So whatever
+// these do, they are no more sound than a2/b2 above. Worth pinning either way.
+export class FieldA extends TungstenSimpleComponent {
+  constructor(...args) {
+    super(...args);
+    _defineProperty(this, "content", () => {
+      const a = _jsx(InputA, {
+        bind: this.props.bind
+      });
+      const b = _jsx(InputB, {
+        bind: this.props.bind
+      });
+      return _jsxs("label", {
+        children: [a, b]
+      });
+    });
+  }
+}
+export class FieldAK extends TungstenSimpleComponent {
+  constructor(...args) {
+    super(...args);
+    _defineProperty(this, "content", () => {
+      const a = _jsx(InputA, {
+        bind: this.props.bind
+      });
+      const b = _jsx(InputB, {
+        bind: this.props.bind
+      });
+      return _jsxs("label", {
+        children: [a, b]
+      });
+    });
+  }
+}
+export class FieldAny extends TungstenSimpleComponent {
+  constructor(...args) {
+    super(...args);
+    _defineProperty(this, "content", () => {
+      // A accepts this, which is the case against it: O[K] is unconstrained here, so there is
+      // nothing to justify a string write
+      const a = _jsx(InputA, {
+        bind: this.props.bind
+      });
+      // @ts-expect-error -- B still refuses it
+      const b = _jsx(InputB, {
+        bind: this.props.bind
+      });
+      return _jsxs("label", {
+        children: [a, b]
+      });
+    });
+  }
+}
+// and the check that matters for the covariance note: a narrow object satisfies the constraint,
+// so FieldA can be handed one and its inner unconverted bind is never told
+export const leak = _jsx(FieldA, {
+  bind: [narrow, 'status']
+});
+const bindTo = o => k => ({
+  get: () => o[k],
+  set: value => {
+    o[k] = value;
+  }
+});
+export class InputC extends TungstenSimpleComponent {
+  constructor(...args) {
+    super(...args);
+    _defineProperty(this, "content", () => null);
+  }
+}
+export const c1 = _jsx(InputC, {
+  bind: bindTo(wide)('status')
+});
+// @ts-expect-error -- set would have to accept any string
+export const c2 = _jsx(InputC, {
+  bind: bindTo(narrow)('status')
+});
+// @ts-expect-error -- as above, for a number
+export const c3 = _jsx(InputC, {
+  bind: bindTo(numeric)('n')
+});
+export const c4 = _jsx(InputC, {
+  bind: bindTo(narrow)('status'),
+  convert: v => v === 'open' ? 'open' : 'closed'
+});
+export const c5 = _jsx(InputC, {
+  bind: bindTo(numeric)('n'),
+  convert: v => Number(v)
+});
+// @ts-expect-error -- identity converter cannot produce 'open' | 'closed'
+export const c6 = _jsx(InputC, {
+  bind: bindTo(narrow)('status'),
+  convert: v => v
+});
+// @ts-expect-error -- not a key of the object
+export const c7 = _jsx(InputC, {
+  bind: bindTo(narrow)('nope')
+});
+// A wrapper building its own cell from a generic object with a LITERAL key is accepted - but that
+// measures the key, not the cell. TypeScript simplifies O['status'] against the constraint and
+// permits the write, which is a stock unsoundness in its own right (writeThroughFixedKey below).
+export class FieldCBuilds extends TungstenSimpleComponent {
+  constructor(...args) {
+    super(...args);
+    _defineProperty(this, "content", () => {
+      const probe = 'anything'; // compiles, the key being the literal 'status'
+      const c = _jsx(InputC, {
+        bind: bindTo(this.props.obj)('status')
+      });
+      return _jsxs("label", {
+        children: [c, probe]
+      });
+    });
+  }
+}
+// the same write with a GENERIC key is refused, which is where the cell earns its keep
+export function writeThroughGenericKey() {
+  // @ts-expect-error -- "'O[K]' could be instantiated with a different subtype of constraint"
+  const probe = 'anything';
+  return probe;
+}
+// what the fixed-key probe was really showing: stock TypeScript lets the write through, and no
+// bind representation can close it. narrow.status is 'anything' afterwards.
+export function writeThroughFixedKey(o) {
+  o.status = 'anything';
+}
+export const stockLeak = writeThroughFixedKey(narrow);
+// no directive: a method-declared setter ACCEPTS the narrow cell, which is the trap
+export const methodBivariant = takesMethodCell(cellMethodOf(narrow, 'status'));
+// @ts-expect-error -- the property form refuses it
+export const propContravariant = takesPropCell(bindTo(narrow)('status'));
+// a wrapper TAKING a cell needs no type parameters at all - there is no O[K] left to defer on,
+// and the obligation lands on whoever builds the cell, where the object is concrete
+export class FieldCTakes extends TungstenSimpleComponent {
+  constructor(...args) {
+    super(...args);
+    _defineProperty(this, "content", () => _jsx("label", {
+      children: _jsx(InputC, {
+        bind: this.props.bind
+      })
+    }));
+  }
+}
+export const cOk = _jsx(FieldCTakes, {
+  bind: bindTo(wide)('status')
+});
+// @ts-expect-error -- a narrow field cannot be offered as a string-writable cell
+export const cNo = _jsx(FieldCTakes, {
+  bind: bindTo(narrow)('status')
+});
+export class InputD extends TungstenSimpleComponent {
+  constructor(...args) {
+    super(...args);
+    _defineProperty(this, "content", () => null);
+  }
+}
+export const d1 = _jsx(InputD, {
+  bind: [wide, 'status']
+});
+export const d2 = _jsx(InputD, {
+  bind: [narrow, 'status']
+}); // still accepted: covariance, as b2
+// @ts-expect-error -- and the brand's name does reach the message, which is the whole point of
+// it: "... bind?: [{ n: number; } & Record<"n", string>, "n"] & MustAcceptAString"
+export const d3 = _jsx(InputD, {
+  bind: [numeric, 'n']
+});
+export class FieldD extends TungstenSimpleComponent {
+  constructor(...args) {
+    super(...args);
+    _defineProperty(this, "content", () => _jsx("label", {
+      children: _jsx(InputD, {
+        bind: this.props.bind
+      })
+    }));
+  }
+}
+export class InputE extends TungstenSimpleComponent {
+  constructor(...args) {
+    super(...args);
+    _defineProperty(this, "content", () => null);
+  }
+}
+export const e1 = _jsx(InputE, {
+  bind: [wide, 'status']
+});
+// @ts-expect-error -- it does keep the name, and the elaboration then gets to the point:
+//   not assignable to '{ convert?: undefined; bind?: BindWritableByString<{ n: number; }, "n">; }'
+//     Type '{ n: number; }' is not assignable to type 'Record<"n", string>'
+//       Types of property 'n' are incompatible
+//         Type 'number' is not assignable to type 'string'
+// Same verdicts as B - this is B - but the message leads with what was wanted instead of an
+// expanded intersection the reader has to decode.
+export const e2 = _jsx(InputE, {
+  bind: [numeric, 'n']
+});

package/dist/components/bindable/bindableProps.types.test.d.ts

@@ -0,0 +1,50 @@
+import { TungstenSimpleComponent } from '../../Components.jsx';
+export declare const i1: import("../../ContentNode.js").ContentNodeElement;
+export declare const i2: import("../../ContentNode.js").ContentNodeElement;
+export declare const i3: import("../../ContentNode.js").ContentNodeElement;
+export declare const i4: import("../../ContentNode.js").ContentNodeElement;
+export declare const i5: import("../../ContentNode.js").ContentNodeElement;
+export declare const i6: import("../../ContentNode.js").ContentNodeElement;
+export declare const i7: import("../../ContentNode.js").ContentNodeElement;
+export declare const d1: import("../../ContentNode.js").ContentNodeElement;
+export declare const d2: import("../../ContentNode.js").ContentNodeElement;
+export declare const d3: import("../../ContentNode.js").ContentNodeElement;
+export declare const d4: import("../../ContentNode.js").ContentNodeElement;
+export declare const d5: import("../../ContentNode.js").ContentNodeElement;
+export declare const d6: import("../../ContentNode.js").ContentNodeElement;
+export declare const d7: import("../../ContentNode.js").ContentNodeElement;
+export declare const t1: import("../../ContentNode.js").ContentNodeElement;
+export declare const t2: import("../../ContentNode.js").ContentNodeElement;
+export declare const t3: import("../../ContentNode.js").ContentNodeElement;
+export declare const t4: import("../../ContentNode.js").ContentNodeElement;
+export declare const t5: import("../../ContentNode.js").ContentNodeElement;
+export declare const c1: import("../../ContentNode.js").ContentNodeElement;
+export declare const c2: import("../../ContentNode.js").ContentNodeElement;
+export declare const c3: import("../../ContentNode.js").ContentNodeElement;
+export declare const c4: import("../../ContentNode.js").ContentNodeElement;
+export declare const s1: import("../../ContentNode.js").ContentNodeElement;
+export declare const s2: import("../../ContentNode.js").ContentNodeElement;
+export declare const s3: import("../../ContentNode.js").ContentNodeElement;
+export declare const s4: import("../../ContentNode.js").ContentNodeElement;
+export declare const s5: import("../../ContentNode.js").ContentNodeElement;
+export declare const s6: import("../../ContentNode.js").ContentNodeElement;
+export declare const s7: import("../../ContentNode.js").ContentNodeElement;
+export declare const x1: import("../../ContentNode.js").ContentNodeElement;
+export declare const x2: import("../../ContentNode.js").ContentNodeElement;
+export declare const x3: import("../../ContentNode.js").ContentNodeElement;
+export declare class FieldO<O extends Record<'status', string>> extends TungstenSimpleComponent<{
+    bind: [O, 'status'];
+}> {
+    content: () => import("../../ContentNode.js").ContentNodeElement;
+}
+export declare class FieldOK<K extends string, O extends Record<K, string>> extends TungstenSimpleComponent<{
+    bind: [O, K];
+}> {
+    content: () => import("../../ContentNode.js").ContentNodeElement;
+}
+export declare class FieldAny<O extends object, K extends keyof O> extends TungstenSimpleComponent<{
+    bind: [O, K];
+}> {
+    content: () => import("../../ContentNode.js").ContentNodeElement;
+}
+//# sourceMappingURL=bindableProps.types.test.d.ts.map

package/dist/components/bindable/bindableProps.types.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bindableProps.types.test.d.ts","sourceRoot":"","sources":["../../../src/components/bindable/bindableProps.types.test.tsx"],"names":[],"mappings":"AAQA,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAA;AA2B9D,eAAO,MAAM,EAAE,mDAA4C,CAAA;AAK3D,eAAO,MAAM,EAAE,mDAA8C,CAAA;AAI7D,eAAO,MAAM,EAAE,mDAA0C,CAAA;AACzD,eAAO,MAAM,EAAE,mDACuC,CAAA;AACtD,eAAO,MAAM,EAAE,mDAAmE,CAAA;AAElF,eAAO,MAAM,EAAE,mDAA+D,CAAA;AAE9E,eAAO,MAAM,EAAE,mDAA4C,CAAA;AAI3D,eAAO,MAAM,EAAE,mDAAqC,CAAA;AAKpD,eAAO,MAAM,EAAE,mDAAuC,CAAA;AAGtD,eAAO,MAAM,EAAE,mDAAmC,CAAA;AAClD,eAAO,MAAM,EAAE,mDACuC,CAAA;AACtD,eAAO,MAAM,EAAE,mDAA4D,CAAA;AAE3E,eAAO,MAAM,EAAE,mDAAwD,CAAA;AAEvE,eAAO,MAAM,EAAE,mDAAqC,CAAA;AAKpD,eAAO,MAAM,EAAE,mDAA+C,CAAA;AAE9D,eAAO,MAAM,EAAE,mDAAiD,CAAA;AAEhE,eAAO,MAAM,EAAE,mDAA6C,CAAA;AAC5D,eAAO,MAAM,EAAE,mDACuC,CAAA;AACtD,eAAO,MAAM,EAAE,mDAAsE,CAAA;AAIrF,eAAO,MAAM,EAAE,mDAAoD,CAAA;AAInE,eAAO,MAAM,EAAE,mDAAsD,CAAA;AAErE,eAAO,MAAM,EAAE,mDAAwD,CAAA;AACvE,eAAO,MAAM,EAAE,mDAC4B,CAAA;AAe3C,eAAO,MAAM,EAAE,mDAAqE,CAAA;AACpF,eAAO,MAAM,EAAE,mDAAuE,CAAA;AAKtF,eAAO,MAAM,EAAE,mDAAmE,CAAA;AAIlF,eAAO,MAAM,EAAE,mDACgB,CAAA;AAG/B,eAAO,MAAM,EAAE,mDAC4C,CAAA;AAK3D,eAAO,MAAM,EAAE,mDAAgE,CAAA;AAG/E,eAAO,MAAM,EAAE,mDAAqE,CAAA;AAOpF,eAAO,MAAM,EAAE,mDAAoC,CAAA;AACnD,eAAO,MAAM,EAAE,mDAAqC,CAAA;AACpD,eAAO,MAAM,EAAE,mDAAuC,CAAA;AAOtD,qBAAa,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAClD,SAAQ,uBAAuB,CAAC;IAAE,IAAI,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAA;CAAE,CAAC;IACxD,OAAO,0DAIN;CACJ;AAID,qBAAa,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAC9D,SAAQ,uBAAuB,CAAC;IAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,CAAC;IACjD,OAAO,0DAGN;CACJ;AAID,qBAAa,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,CACrD,SAAQ,uBAAuB,CAAC;IAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE,CAAC;IACjD,OAAO,0DAIN;CACJ"}