@dimina-kit/fs-core 0.3.0-dev.6-dev.20260711141929 → 0.3.0-dev.6-dev.20260716163758
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/package.json
CHANGED
|
@@ -62,7 +62,7 @@ export async function fsWriteContractSmoke(client: ProjectFsClient): Promise<voi
|
|
|
62
62
|
// ── Reverse guards: opts objects that violate the contract must NOT
|
|
63
63
|
// type-check against it. Expressed as an "assign to never on regression"
|
|
64
64
|
// trick (no @ts-expect-error — that counts as a type-escape under this
|
|
65
|
-
// repo's
|
|
65
|
+
// repo's gate): `Assignable<Bad, Good>` is `false` today, so `Guard`
|
|
66
66
|
// below is `true` and the `const` assignment is inert; if a future change
|
|
67
67
|
// widens FsWriteCallOpts enough that `Bad` becomes assignable, `Guard`
|
|
68
68
|
// collapses to `never` and this file stops compiling.
|
|
@@ -77,7 +77,7 @@ void _guardRejectsBadActorLiteral
|
|
|
77
77
|
// above (every FsWriteCallOpts field is optional, so `{ turnid: 'x' }`
|
|
78
78
|
// structurally satisfies it once the mismatched key is erased by widening).
|
|
79
79
|
// Expressing "this typo must be rejected" as a standing assertion would
|
|
80
|
-
// therefore need either @ts-expect-error (banned by the
|
|
80
|
+
// therefore need either @ts-expect-error (banned by the gate) or a
|
|
81
81
|
// direct literal assignment that hard-fails compilation forever (defeats
|
|
82
82
|
// the point of a check file meant to go green). Left unexpressed here;
|
|
83
83
|
// verified manually instead — see below.
|