@ggui-ai/negotiator 0.1.0-rc.1

package/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for describing the origin of the Work and
+      reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Support. While redistributing the Work or
+      Derivative Works thereof, You may choose to offer, and charge a
+      fee for, acceptance of support, warranty, indemnity, or other
+      liability obligations and/or rights consistent with this License.
+      However, in accepting such obligations, You may act only on Your
+      own behalf and on Your sole responsibility, not on behalf of any
+      other Contributor, and only if You agree to indemnify, defend,
+      and hold each Contributor harmless for any liability incurred by,
+      or claims asserted against, such Contributor by reason of your
+      accepting any such warranty or support.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright 2026 Loqu, Inc. (Guuey)
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+   implied. See the License for the specific language governing
+   permissions and limitations under the License.

package/README.md

@@ -0,0 +1,49 @@
+# @ggui-ai/negotiator
+
+UI decision engine for [ggui](https://github.com/ggui-ai/ggui).
+
+Given an agent's signal (data, prompt, context, agent tools) and the current
+session state, the negotiator decides **which UI to render** — create a new
+interface, update an existing one, compose with what's on screen, or replace
+it — and, on the cold path, synthesizes the data contract that drives it.
+
+The package is deployment-agnostic. It composes the storage interfaces
+defined in `@ggui-ai/mcp-server-core` (`EmbeddingProvider`, `VectorStore`),
+so concrete embedding and vector-store bindings plug in at the call site
+without this package depending on any particular cloud vendor.
+
+## Install
+
+```bash
+pnpm add @ggui-ai/negotiator
+```
+
+## What's in the box
+
+- **`negotiate(deps, input)`** — top-level orchestrator. Runs RAG search over
+  registered blueprints, reads session state, fast-paths exact blueprint
+  hits, and otherwise calls the decision LLM.
+- **`makeDecision(...)`** — the decision step in isolation: pick an action
+  (`create` / `update` / `compose` / `replace`) and a blueprint from the
+  candidate set.
+- **`synthesizeContract(...)`** — cold-path contract synthesizer. Turns an
+  agent intent into a `DataContract` (props / context / action / stream
+  specs, plus gadget references), with a repair loop and a schema-validation
+  gate.
+- **`ragSearch(...)`** — embedding + vector-store retrieval over the
+  blueprint corpus, composing the `@ggui-ai/mcp-server-core` interfaces.
+- **`rerankCandidates(...)`** — LLM re-rank of retrieval candidates.
+- **`validateContractStructure` / `validateContractNovelty`** — advisory
+  validators for the actions-vs-context placement rule.
+
+```ts
+import { negotiate } from "@ggui-ai/negotiator";
+
+const result = await negotiate(deps, input);
+// result.action — "create" | "update" | "compose" | "replace"
+// result.blueprint — the picked blueprint, if any
+```
+
+## License
+
+Apache-2.0 — see [`../LICENSE`](../LICENSE).

package/dist/contract-hash.d.ts

@@ -0,0 +1,54 @@
+/**
+ * Contract Hashing — deterministic cache key from data contract.
+ *
+ * Uses RFC 8785 (JSON Canonicalization Scheme) for deterministic
+ * serialization, then SHA-256 for the hash.
+ *
+ * What's in the hash: intent only (the semantic identity).
+ * What's NOT in the hash: props, actions, stream (including per-channel source), adaptations.
+ *
+ * Why intent-only: The LLM generates slightly different prop descriptions
+ * each call, but the INTENT is deterministic (provided by the agent or
+ * generated once). Same intent = same component = same cached code.
+ * Props are passed at render time, not baked into the component.
+ *
+ * The `interaction` field was removed from `DataContract` in pre-launch
+ * cleanup (the four-spec surface — props/action/context/stream —
+ * describes the wire exhaustively); this function used to factor it in
+ * but no longer does. Old goldens were rotated when the field went away.
+ */
+import type { DataContract } from '@ggui-ai/protocol';
+/**
+ * Hash a data contract to a deterministic cache key.
+ *
+ * Hashes intent only — the semantic identity of the UI. Props,
+ * actions, stream specs are for code generation, not caching.
+ *
+ * `intent` is passed separately because `DataContract` itself does
+ * not carry an `intent` field — the outer pipeline owns intent
+ * (`story.intent` on `ggui_push`, the operator prompt for harness
+ * benchmarks). Threading intent into the hash keeps cache identity
+ * stable across negotiations: different intents produce different
+ * generated code (labels, copy, layout) even when the wire surface is
+ * identical.
+ *
+ * The `contract` argument is retained on the signature for forward
+ * compatibility — future cache-key fields (e.g., a structural
+ * fingerprint of the four specs) can be folded in without breaking
+ * call sites — but is not consulted by the current implementation.
+ *
+ * @param contract - The data contract from negotiation (unused today)
+ * @param intent - The outer pipeline's intent (story.intent on
+ *   ggui_push). Empty/falsy values are dropped from the hash input.
+ * @returns Contract hash prefixed with `ch_` (e.g., `ch_a3f8b2c1e9d04567`)
+ */
+export declare function hashContract(_contract: DataContract, intent: string): string;
+/**
+ * Build a variant key from shell type and device category.
+ *
+ * @param shellType - Shell type (default: 'universal')
+ * @param deviceCategory - Device category (default: 'universal')
+ * @returns Variant string (e.g., 'fullscreen:mobile', 'universal:universal')
+ */
+export declare function buildVariant(shellType?: string, deviceCategory?: string): string;
+//# sourceMappingURL=contract-hash.d.ts.map

package/dist/contract-hash.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-hash.d.ts","sourceRoot":"","sources":["../src/contract-hash.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAiCtD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,YAAY,CAC1B,SAAS,EAAE,YAAY,EACvB,MAAM,EAAE,MAAM,GACb,MAAM,CAMR;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,SAAS,SAAc,EACvB,cAAc,SAAc,GAC3B,MAAM,CAER"}

package/dist/contract-hash.js

@@ -0,0 +1,96 @@
+/**
+ * Contract Hashing — deterministic cache key from data contract.
+ *
+ * Uses RFC 8785 (JSON Canonicalization Scheme) for deterministic
+ * serialization, then SHA-256 for the hash.
+ *
+ * What's in the hash: intent only (the semantic identity).
+ * What's NOT in the hash: props, actions, stream (including per-channel source), adaptations.
+ *
+ * Why intent-only: The LLM generates slightly different prop descriptions
+ * each call, but the INTENT is deterministic (provided by the agent or
+ * generated once). Same intent = same component = same cached code.
+ * Props are passed at render time, not baked into the component.
+ *
+ * The `interaction` field was removed from `DataContract` in pre-launch
+ * cleanup (the four-spec surface — props/action/context/stream —
+ * describes the wire exhaustively); this function used to factor it in
+ * but no longer does. Old goldens were rotated when the field went away.
+ */
+import { createHash } from 'node:crypto';
+/**
+ * RFC 8785 JSON Canonicalization Scheme.
+ *
+ * Produces deterministic JSON by:
+ * - Sorting object keys lexicographically (recursive)
+ * - Normalizing numbers (no trailing zeros, no +0)
+ * - Removing undefined values
+ * - No whitespace
+ */
+function canonicalize(value) {
+    if (value === null || value === undefined)
+        return 'null';
+    if (typeof value === 'boolean')
+        return value ? 'true' : 'false';
+    if (typeof value === 'number') {
+        if (!isFinite(value))
+            return 'null';
+        return Object.is(value, -0) ? '0' : String(value);
+    }
+    if (typeof value === 'string')
+        return JSON.stringify(value);
+    if (Array.isArray(value)) {
+        return '[' + value.map((v) => canonicalize(v)).join(',') + ']';
+    }
+    if (typeof value === 'object') {
+        const obj = value;
+        const keys = Object.keys(obj)
+            .filter((k) => obj[k] !== undefined)
+            .sort();
+        const entries = keys.map((k) => JSON.stringify(k) + ':' + canonicalize(obj[k]));
+        return '{' + entries.join(',') + '}';
+    }
+    return 'null';
+}
+/**
+ * Hash a data contract to a deterministic cache key.
+ *
+ * Hashes intent only — the semantic identity of the UI. Props,
+ * actions, stream specs are for code generation, not caching.
+ *
+ * `intent` is passed separately because `DataContract` itself does
+ * not carry an `intent` field — the outer pipeline owns intent
+ * (`story.intent` on `ggui_push`, the operator prompt for harness
+ * benchmarks). Threading intent into the hash keeps cache identity
+ * stable across negotiations: different intents produce different
+ * generated code (labels, copy, layout) even when the wire surface is
+ * identical.
+ *
+ * The `contract` argument is retained on the signature for forward
+ * compatibility — future cache-key fields (e.g., a structural
+ * fingerprint of the four specs) can be folded in without breaking
+ * call sites — but is not consulted by the current implementation.
+ *
+ * @param contract - The data contract from negotiation (unused today)
+ * @param intent - The outer pipeline's intent (story.intent on
+ *   ggui_push). Empty/falsy values are dropped from the hash input.
+ * @returns Contract hash prefixed with `ch_` (e.g., `ch_a3f8b2c1e9d04567`)
+ */
+export function hashContract(_contract, intent) {
+    const input = {};
+    if (intent)
+        input.intent = intent;
+    const canonical = canonicalize(input);
+    const hash = createHash('sha256').update(canonical).digest('hex');
+    return `ch_${hash.slice(0, 16)}`;
+}
+/**
+ * Build a variant key from shell type and device category.
+ *
+ * @param shellType - Shell type (default: 'universal')
+ * @param deviceCategory - Device category (default: 'universal')
+ * @returns Variant string (e.g., 'fullscreen:mobile', 'universal:universal')
+ */
+export function buildVariant(shellType = 'universal', deviceCategory = 'universal') {
+    return `${shellType}:${deviceCategory}`;
+}

package/dist/contract-validators.d.ts

@@ -0,0 +1,171 @@
+/**
+ * Programmatic safety validators for `DataContract` shapes.
+ *
+ * Two detectors live here:
+ *
+ *   - {@link validateContractStructure} — pure structural heuristics that
+ *     flag over-specified contracts without any runtime dependency. The
+ *     load-bearing finding is `redundant-action`: an empty-payload
+ *     `actionSpec` entry whose name parses as a mutator of an existing
+ *     `contextSpec` slot. Real example that motivated this module: a
+ *     synthesizer emitted both `actionSpec.increment` (empty payload)
+ *     and `contextSpec.count` for a counter widget. The generator wired
+ *     the increment button to `useAction("increment")`, dispatching to
+ *     the agent instead of locally bumping the count slot — a button
+ *     that looks right but does nothing. The structural fix is to
+ *     declare `actionSpec[X]` IFF X is a discrete event the agent must
+ *     witness; mutators of context slots use the slot setter.
+ *
+ *   - {@link validateContractNovelty} — embeds the contract via the
+ *     shared `summarizeContract` helper and computes cosine distance to
+ *     the nearest registered blueprint. Distance above the threshold
+ *     yields a `novel-shape` finding so operators can review before the
+ *     contract pollutes the registry's neighborhood.
+ *
+ * Both validators return a `ContractValidationResult` carrying readonly
+ * findings — callers (synthesizer, registerBlueprint) decide how to act
+ * on warnings vs errors. Findings are deterministic; no LLM judgment.
+ */
+import type { DataContract } from '@ggui-ai/protocol';
+import type { EmbeddingProvider, VectorStore } from '@ggui-ai/mcp-server-core';
+/**
+ * Discriminated finding kinds. Each kind documents a distinct
+ * structural signal — consumers MAY render them differently
+ * (`redundant-action` is a code smell on the synthesizer side;
+ * `novel-shape` is an operator-review prompt).
+ *
+ * Open-ended for forward compat: future detectors (e.g.,
+ * `unreachable-stream-channel`, `payload-collision`) add to the union
+ * without breaking consumers that switch with a default arm.
+ */
+export type ContractValidationFindingKind = 'redundant-action' | 'novel-shape' | 'actions-vs-context-name-collision' | 'action-name-looks-state-y' | 'context-name-looks-action-y' | 'incoherent-no-data-surface' | 'context-props-name-collision' | (string & {});
+/**
+ * One observation about a contract. `severity` is `'warn'` for
+ * heuristics that may produce false positives — current default for
+ * the structural detector. `'error'` is reserved for unambiguous
+ * contract bugs once we have evidence the heuristic doesn't false-
+ * positive at production volume.
+ */
+export interface ContractValidationFinding {
+    readonly kind: ContractValidationFindingKind;
+    readonly severity: 'warn' | 'error';
+    readonly actionName?: string;
+    readonly slotName?: string;
+    readonly cosine?: number;
+    readonly hint: string;
+}
+export interface ContractValidationResult {
+    readonly findings: readonly ContractValidationFinding[];
+}
+/**
+ * Dependencies the novelty detector needs. Embedding provider + vector
+ * store are the same seams the negotiator's RAG path uses, so the
+ * novelty check operates over the production index without any extra
+ * infrastructure.
+ */
+export interface ContractValidationNoveltyDeps {
+    readonly embedding: EmbeddingProvider;
+    readonly vectorStore: VectorStore;
+    /** Tenant / partition the nearest-neighbor query runs against. Same
+     * semantics as `RagSearchInput.scope`. */
+    readonly scope: string;
+}
+export interface ContractValidationNoveltyOptions {
+    /**
+     * Cosine distance threshold above which the contract is flagged as
+     * novel. Distance is `1 - cosine_similarity`. Default `0.8` —
+     * matches the negotiator's `RETRIEVAL_MIN_SCORE = 0.15` (=cosine
+     * similarity 0.15, distance 0.85) one-tail boundary, with a small
+     * buffer so contracts that hover near retrieval but slightly above
+     * still flag for review.
+     */
+    readonly thresholdCosine?: number;
+}
+/**
+ * Run the synchronous structural detectors against `contract`.
+ *
+ * Currently:
+ *   - `redundant-action`: empty-payload action whose name parses as a
+ *     mutator of an existing context slot.
+ *
+ * Returns an empty findings array for contracts that don't trip any
+ * heuristic.
+ */
+export declare function validateContractStructure(contract: DataContract): ContractValidationResult;
+/**
+ * Validate the actions-vs-context placement rule: actions drive agent
+ * turns, context observes state. Findings 1-3 are advisory `warn`;
+ * finding 4 (`context-props-name-collision`) is `error` — it is a
+ * SPEC §2.10 MUST. Synth pipelines use it as a self-check over their
+ * own output.
+ *
+ * Four findings:
+ *
+ *   - `actions-vs-context-name-collision` — same key appears in both
+ *     `actionSpec` AND `contextSpec`. Synth couldn't decide which
+ *     bucket. Pick one.
+ *
+ *   - `action-name-looks-state-y` — `actionSpec` entry name matches a
+ *     state-mirror pattern (autosave, draft, typing, change, …). The
+ *     thing might be observable state (continuous) rather than a
+ *     turn-driving event. Consider `contextSpec`.
+ *
+ *   - `context-name-looks-action-y` — `contextSpec` entry name matches
+ *     a discrete-event pattern (submit, send, confirm, …). The thing
+ *     might be a one-shot event the agent reacts to. Consider
+ *     `actionSpec`.
+ *
+ *   - `context-props-name-collision` (ERROR) — a `contextSpec` slot key
+ *     equals a `propsSpec` property name. SPEC §2.10 MUST: the
+ *     generated boilerplate would shadow the prop binding.
+ *
+ * Pure / synchronous / no dependencies. Safe to call on every synth
+ * output without measurable cost.
+ */
+export declare function validateActionsVsContext(contract: DataContract): ContractValidationResult;
+/**
+ * Validate that a contract is coherent with its intent. The only
+ * intent-aware validator: it reads the natural-language intent
+ * alongside the contract.
+ *
+ * One rule — `incoherent-no-data-surface`: the intent describes a
+ * data-bearing UI but the contract declares only EMPTY-payload
+ * actions, with no contextSpec / propsSpec / streamSpec /
+ * clientCapabilities. That contract is structurally degenerate — the
+ * agent gets a contentless event with nothing behind it. Emitted at
+ * `severity: 'error'` so the synth's repair loop retries (the
+ * contract is protocol-valid, so nothing else flags it).
+ *
+ * The empty-payload condition matters: an action that DOES carry a
+ * payload (e.g. an `autosave` action whose schema includes the draft
+ * text) gives the agent data through the payload — that is not
+ * degenerate and is NOT flagged.
+ *
+ * Pure / synchronous. The rule fires ONLY on the degenerate output —
+ * a correct contract for any data-bearing intent always has a
+ * surface, so it never false-positives on good output.
+ */
+export declare function validateContractCoherence(contract: DataContract, intent: string): ContractValidationResult;
+/**
+ * Run the cosine-distance novelty detector. Embeds the contract via
+ * `summarizeContract` and queries the vector store for the nearest
+ * neighbor in `scope`. Distance above `thresholdCosine` yields a
+ * `novel-shape` finding so operators see "this contract is far from
+ * anything we've registered — review encouraged" before it ships.
+ *
+ * Defaults to `severity: 'warn'`. Distance is computed as
+ * `1 - cosineSimilarity`; `VectorStore.query` returns
+ * cosine-similarity scores in `[0, 1]` per the seam contract.
+ *
+ * Empty index (no nearest neighbor in scope) ⇒ flag with
+ * `cosine: undefined` because a fresh registry will register
+ * everything as novel; operators learn that the registry is empty.
+ */
+export declare function validateContractNovelty(contract: DataContract, deps: ContractValidationNoveltyDeps, options?: ContractValidationNoveltyOptions): Promise<ContractValidationResult>;
+/**
+ * Render a findings array as a single human-readable line for use in
+ * synthesizer `reason` strings, cache trace events, and operator logs.
+ * Empty findings → empty string so callers can append unconditionally.
+ */
+export declare function formatValidationFindings(result: ContractValidationResult): string;
+//# sourceMappingURL=contract-validators.d.ts.map

package/dist/contract-validators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-validators.d.ts","sourceRoot":"","sources":["../src/contract-validators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAc,MAAM,mBAAmB,CAAC;AAElE,OAAO,KAAK,EACV,iBAAiB,EACjB,WAAW,EACZ,MAAM,0BAA0B,CAAC;AAMlC;;;;;;;;;GASG;AACH,MAAM,MAAM,6BAA6B,GACrC,kBAAkB,GAClB,aAAa,GACb,mCAAmC,GACnC,2BAA2B,GAC3B,6BAA6B,GAC7B,4BAA4B,GAC5B,8BAA8B,GAC9B,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;AAElB;;;;;;GAMG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EAAE,6BAA6B,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC;IACpC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,QAAQ,EAAE,SAAS,yBAAyB,EAAE,CAAC;CACzD;AAED;;;;;GAKG;AACH,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC;8CAC0C;IAC1C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,gCAAgC;IAC/C;;;;;;;OAOG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;CACnC;AAwJD;;;;;;;;;GASG;AACH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,YAAY,GACrB,wBAAwB,CAkC1B;AAsCD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,YAAY,GACrB,wBAAwB,CA8D1B;AAiCD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,YAAY,EACtB,MAAM,EAAE,MAAM,GACb,wBAAwB,CAoC1B;AAQD;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,uBAAuB,CAC3C,QAAQ,EAAE,YAAY,EACtB,IAAI,EAAE,6BAA6B,EACnC,OAAO,GAAE,gCAAqC,GAC7C,OAAO,CAAC,wBAAwB,CAAC,CAkCnC;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,wBAAwB,GAC/B,MAAM,CAKR"}