@volter/project 0.5.211 → 0.5.213

package/src/adapter/adapter-surface.ts

@@ -1,34 +1,6 @@
 /**
- * `AdapterSurface` — the kinds of render surface a world can be (T7.1/T7.3/T6.2).
- *
- * Moved here from `runtime/game.ts`
- * so `adapter/root-adapter.ts`'s kind-tagged `MountedRoot` types can name it
- * without a value-level import cycle (`runtime/game.ts` type-imports from
- * `adapter/root-adapter.ts` already). This is a leaf module — it imports
- * nothing — so anything may import it with zero risk of a cycle.
- * `runtime/game.ts` re-exports this SAME type (`export type { AdapterSurface }`),
- * so no existing `import type { AdapterSurface } from '@volter/editor-game/runtime/game'` call site
- * needed to change.
+ * Render surface kinds shared by mounted-root contracts and their consumers.
+ * This dependency-free leaf keeps the surface vocabulary available without
+ * introducing a value import cycle.
  */
-export type AdapterSurface = 'three' | 'canvas' | 'dom';
-
-/**
- * Exhaustiveness guard for `AdapterSurface` dispatch (v4 architecture-review
- * §7.4-2: a hypothetical 4th kind must fail to COMPILE at every kind-dispatch
- * site, not silently contribute nothing or silently default to an existing
- * kind). Lives here — colocated with the kind vocabulary itself, not in a
- * generic util module — so the three call sites that need it
- * (`runtime/create-runtime.ts`'s mount loop, `editor/binding-resolver.ts`'s
- * `resolveAllRoots`, `editor/play-mode.ts`'s `installMultiRootAuthoring`)
- * import it from the same leaf module that defines `AdapterSurface`, keeping the
- * type and its guard from drifting apart. The `never` parameter is the
- * compile-time half of the guard (TS refuses to call this with anything the
- * compiler hasn't already narrowed to zero remaining variants); the thrown
- * Error is the runtime half, in case a value's static type lied (e.g. data
- * crossing a JSON boundary).
- */
-export function assertNever(value: never, context?: string): never {
-  throw new Error(
-    `Unreachable${context ? ` ${context}` : ''}: unexpected value ${JSON.stringify(value)}`,
-  );
-}
+export type AdapterSurface = 'stage' | 'canvas' | 'dom';

package/src/adapter/authoring-seam-contract.ts

@@ -1,14 +1,12 @@
 /** Compiler-derived proof requirements for the AuthoringAdapter protocol.
  *
- * This is intentionally adjacent to the interface. Coverage used to enumerate
- * only top-level provider names, which allowed `{}` to count as a complete
- * provider. These descriptors cover every nested member and encode the
+ * This is intentionally adjacent to the interface. Enumerating only top-level
+ * provider names would let `{}` count as a complete provider. These descriptors cover every nested member and encode the
  * weakest evidence that can truthfully verify it.
  */
 
 import type {
   AssetDropProvider,
-  AssetSubjectProvider,
   AuthoringAdapter,
   BoxEditProvider,
   ColorSampleProvider,
@@ -36,7 +34,6 @@ export const AUTHORING_ADAPTER_SHAPE = defineSeamShape<AuthoringAdapter>()({
   selection: { optional: true, kind: 'value', required: 'effect' },
   transforms: { optional: true, kind: 'value', required: 'effect' },
   inspector: { optional: true, kind: 'value', required: 'effect' },
-  assetSubject: { optional: true, kind: 'value', required: 'operation' },
   related: { optional: true, kind: 'value', required: 'operation' },
   instances: { optional: true, kind: 'value', required: 'effect' },
   structure: { optional: true, kind: 'value', required: 'round-trip' },
@@ -57,17 +54,11 @@ export const HIERARCHY_PROVIDER_SHAPE = defineSeamShape<HierarchyProvider>()({
   roots: { optional: false, kind: 'function', required: 'operation' },
   node: { optional: false, kind: 'function', required: 'operation' },
   crossSurfaceStructureSignature: { optional: true, kind: 'function', required: 'operation' },
-  // A PURE LOOKUP IS AN `operation`, and `effect` is reserved for a member
-  // whose truth is a side effect a receipt records (orchestrator ruling,
-  // 2026-09-19). `idForObject3D` was declared `effect` and could therefore
-  // never be verified: nothing it does is observable anywhere but in its own
-  // return value, so no consumer has a receipt to record and the hierarchy
-  // carrier graded `unverified` forever — a false sentence about a member
-  // that works. It is the inverse of `object3D` and is proven the same way,
-  // by a read probe that CALLS it and checks the answer against the walk
-  // (`coverage/authoring-read-probe.ts`).
-  object3D: { optional: true, kind: 'function', required: 'operation' },
-  idForObject3D: { optional: true, kind: 'function', required: 'operation' },
+  // Pure lookups are operations: verify nativeObject/idForNativeObject by
+  // calling them and comparing their return values with the hierarchy walk.
+  // Effects require a receipt for an observable side effect.
+  nativeObject: { optional: true, kind: 'function', required: 'operation' },
+  idForNativeObject: { optional: true, kind: 'function', required: 'operation' },
 });
 
 export const SELECTION_PROVIDER_SHAPE = defineSeamShape<SelectionProvider>()({
@@ -96,11 +87,6 @@ export const INSPECTOR_PROVIDER_SHAPE = defineSeamShape<InspectorProvider>()({
   remove: { optional: true, kind: 'function', required: 'round-trip' },
 });
 
-export const ASSET_SUBJECT_PROVIDER_SHAPE = defineSeamShape<AssetSubjectProvider>()({
-  get: { optional: false, kind: 'function', required: 'operation' },
-  entries: { optional: true, kind: 'function', required: 'operation' },
-});
-
 export const RELATED_SUBJECTS_PROVIDER_SHAPE = defineSeamShape<RelatedSubjectsProvider>()({
   links: { optional: false, kind: 'function', required: 'operation' },
 });
@@ -150,8 +136,6 @@ export const STORIES_PROVIDER_SHAPE = defineSeamShape<StoriesProvider>()({
   storiesFor: { optional: false, kind: 'function', required: 'operation' },
   active: { optional: false, kind: 'function', required: 'operation' },
   apply: { optional: false, kind: 'function', required: 'effect' },
-  isolate: { optional: true, kind: 'function', required: 'effect' },
-  title: { optional: true, kind: 'value', required: 'shape' },
   unavailable: { optional: true, kind: 'function', required: 'operation' },
 });
 
@@ -207,7 +191,6 @@ export const AUTHORING_PROVIDER_SHAPES: {
   selection: SELECTION_PROVIDER_SHAPE,
   transforms: TRANSFORM_PROVIDER_SHAPE,
   inspector: INSPECTOR_PROVIDER_SHAPE,
-  assetSubject: ASSET_SUBJECT_PROVIDER_SHAPE,
   related: RELATED_SUBJECTS_PROVIDER_SHAPE,
   instances: COMPONENT_INSTANCES_PROVIDER_SHAPE,
   structure: STRUCTURE_PROVIDER_SHAPE,