@fougere/core 0.17.4-alpha.0 → 0.18.0-alpha.0

package/src/wire/TypeRef.ts

@@ -16,4 +16,6 @@ export interface TypeRef {
   undefined?: boolean;
   /** Whether this is a Promise wrapper (unwrapped in output). */
   promise?: boolean;
+  /** `Post['id']` — the entity whose primary key this value is, and the field holding it. */
+  identifies?: { entity: string; field: string };
 }

package/src/wire/binding.ts

@@ -17,7 +17,8 @@ type ParamSource =
    * (`Emissions.stamped`, which realizes `created()`); this is the declared form of it.
    */
   | { kind: 'pipe'; factName: string }
-  | { kind: 'param'; name: string; coerce?: 'number' | 'boolean' }
+  /** `identifies` names the entity whose row the value designates — `id: Post['id']`. */
+  | { kind: 'param'; name: string; coerce?: 'number' | 'boolean'; identifies?: string }
   | { kind: 'input' }
   | { kind: 'context' }
   /** The whole query bag, for an op whose argument IS the options (list). */
@@ -76,7 +77,11 @@ function sourceOf(param: Param, collectorTypeNames: Set<string>): ParamSource {
 
   if (collectorTypeNames.has(typeKey)) return { kind: 'collector', typeName: typeKey };
   if (typeName === 'InvocationContext') return { kind: 'context' };
-  if (PRIMITIVES.has(typeName)) return { kind: 'param', name: param.name, coerce: coercionFor(typeName) };
+  if (PRIMITIVES.has(typeName)) {
+    const identifies = param.type.identifies?.entity;
+
+    return { kind: 'param', name: param.name, coerce: coercionFor(typeName), ...(identifies && { identifies }) };
+  }
 
   return { kind: 'input' };
 }

package/src/wire/card/CardOp.ts

@@ -1,24 +1,18 @@
 import type { SchemaDescriptor } from '@fougere/schema';
-import type { ErrorCode } from '../ErrorCode.js';
+import type { OperationContract } from '../OperationContract.js';
+import type { OperationKind } from '../OperationKind.js';
 
 /**
  * One operation, as a stranger meets it — its name, what it is for, what it takes and whether it
  * reads or writes.
  */
-export interface CardOp {
+export interface CardOp extends Pick<OperationContract, 'description' | 'cardinality' | 'errors'> {
   name: string;
-  /** The author's own doc sentence, when the method carries one. */
-  description?: string;
   /** JSON Schema of what it accepts, when the contract names a view. */
   input?: SchemaDescriptor;
   /** JSON Schema of what it emits, when the contract names one. */
   output?: SchemaDescriptor;
-  /** `query` reads, `command` writes — the same call REST turns into GET vs POST. */
-  kind: 'query' | 'command';
-  /** How much `output` describes. */
-  cardinality?: 'one' | 'maybe' | 'many' | 'page' | 'none';
-  /** What this op can REFUSE, beyond what `kind` and `input` already imply. */
-  errors?: ErrorCode[];
+  kind: OperationKind;
   /** The fact this op is handed when it is announced — its `Fact<T>`, which IS the subscription. */
   listens?: string;
 }

package/src/wire/refusals.ts

@@ -14,10 +14,11 @@
  * Documented: [observability](https://fougere.dev/docs/infra/observability).
  */
 import { ErrorCode } from './ErrorCode.js';
+import type { OperationKind } from './OperationKind.js';
 
 /** The little of an operation this reads — so a card op and an effective one both fit. */
 export interface Refusable {
-  kind?: 'query' | 'command';
+  kind?: OperationKind;
   input?: unknown;
   errors?: readonly string[];
   /** Absent on a card op read from a frond that answers in this process. */

package/src/wire/topology/DeclaredFrond.ts

@@ -1,7 +1,9 @@
+import type { Placement } from '../Placement.js';
+
 /** A frond the config knows of, and where it says to reach it. */
 export interface DeclaredFrond {
   frond: string;
-  placement: 'local' | 'remote';
+  placement: Placement;
   /**
    * Host and port of the address `remotes:` names, absent when the frond runs here. Never the
    * whole address: a declared one may carry credentials, and this answer leaves the process.

package/src/wire/topology/FrondPlacement.ts

@@ -1,7 +1,9 @@
+import type { Placement } from '../Placement.js';
+
 /** A frond this process knows about, and whether it runs here. */
 export interface FrondPlacement {
   frond: string;
-  placement: 'local' | 'remote';
+  placement: Placement;
   entities: number;
   facades: number;
 }