@originkit/ai-engine 0.1.0

package/dist/benchmark/agents.d.ts

@@ -0,0 +1,162 @@
+import type { ComponentSpec, PropSpec } from "./types.ts";
+import type { Extract } from "./types.ts";
+/** How a criterion gets checked. The split is the whole point: `image` is free
+ *  and certain, `judge` is neither, and mixing them loses both properties. */
+export type Check = "image" | "source" | "judge";
+export type Criterion = {
+    text: string;
+    check: Check;
+};
+export type Intent = {
+    /** The implementation prompt handed to the editing model in place of the
+     *  user's sentence. */
+    prompt: string;
+    /** props = a patch can do this. code = the file has to change. */
+    route: "props" | "code";
+    /** What must NOT move. Injected into the edit prompt and checked afterwards. */
+    constraints: string[];
+    criteria: Criterion[];
+    /** Set when the request is too ambiguous to implement. Blocks the turn.
+     *  Short — this is read at a glance, not studied. */
+    question: string | null;
+    /** Answers to tap instead of type. Two or three words each: the point of
+     *  asking is to cost the user a second, and a paragraph of options costs
+     *  more than guessing would have. */
+    options: string[];
+};
+export type Verdict = {
+    /** Should the editor try again? NOT "is this correct" — a criterion nobody
+     *  could check is not grounds for spending another call on it. */
+    pass: boolean;
+    /** Confirmed. Anything the critic could not check appears in NEITHER list —
+     *  `met.length + failed.length < criteria.length` is the honest signal that
+     *  part of the turn went unverified, and the UI shows it as such. */
+    met: string[];
+    failed: string[];
+    /** What to tell the editing model on the retry. Null on a pass. */
+    correction: string | null;
+};
+export declare function buildIntentSystem(entry: ComponentSpec, values: Record<string, unknown>, hasSource: boolean, 
+/** What was asked earlier in this session, oldest first. A few lines, not a
+ *  transcript — it is the difference between understanding "a bit more" and
+ *  inventing three categories of star that do not exist. */
+history?: string[], 
+/** This turn is already an answer to a clarification. Asking again is a loop
+ *  and the user has paid for it twice. */
+alreadyAsked?: boolean, 
+/** A frame of the component as it renders NOW is attached to this call. */
+hasImage?: boolean): string;
+/** The brief, with its constraints attached, as the editing model sees it.
+ *  Constraints ride here rather than in the system prompt for the same reason
+ *  recipes do — they vary per turn, and a varying line invalidates the cached
+ *  prefix for the whole file. */
+export declare function intentToInstruction(intent: Intent): string;
+export declare const deniesExistence: (question: string) => boolean;
+export declare const promisesNothing: (brief: string) => boolean;
+/**
+ * The request names no thing to act on.
+ *
+ * History cannot rescue this and is what makes it dangerous: after a
+ * liquid-metal turn, "inc this" reads as obvious, and the agent duly raised
+ * flow speed, viscosity, iridescence AND shine — four knobs nobody named — for
+ * 20s and a rewrite. The previous turn is one candidate among everything on
+ * screen, so treating it as the antecedent is a guess dressed as context.
+ *
+ * A prompt rule for this was written first and did NOT hold: told plainly that
+ * history supplies degree and never subject, the agent guessed anyway. Hence a
+ * check, like every other guard here that survived contact.
+ *
+ * Deliberately narrow. It fires only when EVERY word is one of a small closed
+ * set, so "make it red" (red), "reduce the star size" (star, size) and
+ * "increase the number of bubbles" (number, bubbles) all pass untouched.
+ * Interrogating a clear request is the worse failure of the two.
+ */
+export declare function noSubject(ask: string): boolean;
+/** Never throws, never returns null. A scaffold that cannot be read hands the
+ *  user's own sentence straight through, which is exactly what the page did
+ *  before this agent existed. */
+export declare function parseIntent(raw: string, ask: string, hasSource: boolean): Intent;
+/** The user answered a clarification. Fold it into the ask rather than starting
+ *  a message thread — the turn stays single-shot, which is the whole design of
+ *  this page. */
+export declare function withAnswer(ask: string, question: string, answer: string): string;
+export declare function buildPropSystem(entry: ComponentSpec, values: Record<string, unknown>, intent: Intent): string;
+export declare function pinnedAtLimit(ask: string, intent: Intent, applied: Record<string, unknown>, props: Record<string, PropSpec>): string | null;
+export declare function unwiredProps(source: string, names: string[]): string[];
+export declare function partialNesting(source: string, declared: string[]): string[];
+/** The correction for a partial nested override. Names the exact keys that
+ *  would go undefined, because "declare them all" without the list invites the
+ *  same three props back. */
+export declare function completeNestingCorrection(source: string, prefixes: string[], declared: string[]): string;
+export declare function settingsBags(props: Record<string, PropSpec>): string[];
+/** The correction for a bundled prop. Names the dot-path form, because "split
+ *  it up" leaves the model to invent a shape and it will invent this one
+ *  again. */
+export declare function unbundleCorrection(names: string[], props: Record<string, PropSpec>): string;
+export type Fault = {
+    /** Handed to the editor on the retry. */
+    correction: string;
+    /** One line for the step trace. */
+    label: string;
+    /** For the verdict, so the turn card says what was rejected. */
+    failed: string[];
+};
+export type CandidateChecks = {
+    /** Errors thrown after mount. Pass `[]` if the host cannot observe them. */
+    threw: string[];
+    /** Declared props the file never reads. */
+    dead: string[];
+    /** Dot-path props covering only part of the object they nest into. */
+    partial: string[];
+    /** `json` props that are really a bag of settings. */
+    bagged: string[];
+    /** The specs this answer declared, for the corrections that quote them. */
+    declared: Record<string, PropSpec>;
+    /** The file itself, for the corrections that read it. */
+    code: string;
+};
+export declare function faultIn(c: CandidateChecks): Fault | null;
+/** The correction for a file that compiled and then threw once it ran. Says
+ *  where the gap is, because "fix the error" invites the model to re-read the
+ *  code it already believes is correct. */
+export declare function runtimeErrorCorrection(errors: string[]): string;
+/** The correction for a rewrite that declared knobs it did not connect. Given
+ *  to the editor verbatim, so it names the props and says what "wired" means —
+ *  "use them" is the instruction it already thought it had followed. */
+export declare function wireUpCorrection(names: string[]): string;
+export declare function movedOnly(applied: Record<string, unknown>, current: Record<string, unknown>): Record<string, unknown>;
+export declare function adoptRedeclared(existing: PropSpec, proposed: PropSpec): PropSpec | null;
+export type Evidence = {
+    /** Both frames were captured and carry something. False disables every
+     *  conclusion below — see `captureFrame` on why a capture can come back
+     *  blank. */
+    ok: boolean;
+    paletteChanged: boolean;
+    before: string[];
+    after: string[];
+};
+export declare const NO_EVIDENCE: Evidence;
+export declare function compareFrames(before: Extract | null, after: Extract | null): Evidence;
+export declare function hardFail(intent: Intent, ev: Evidence): string | null;
+export declare function buildCriticSystem(): string;
+export declare function buildCriticUser(intent: Intent, changed: string, ev: Evidence, 
+/** A frame of the result is attached to this call. Changes what the critic
+ *  can be asked for, so it changes what it is told. */
+hasImage?: boolean): string;
+/** Fail open. An unreadable verdict must not fail a turn the compile step
+ *  already accepted — that would make the scaffold a way to lose answers that
+ *  worked, which is worse than having no critic. */
+export declare function parseVerdict(raw: string): Verdict;
+/** The retry's instruction: the original brief, plus what went wrong. Not a
+ *  conversation — the editing model gets one self-contained ask each time, the
+ *  same as every other turn on this page. */
+export declare function withCorrection(instruction: string, correction: string): string;
+/** Did this retry do better than the last one? Two attempts that meet the same
+ *  number of criteria are a loop, and a third call would buy the same answer a
+ *  third time. */
+export declare const improved: (now: Verdict, prev: Verdict | null) => boolean;
+export declare function changeSummary(before: string, after: string): string;
+/** Only what the props route can show the critic. The file did not move, so
+ *  the diff IS the patch. */
+export declare function patchSummary(applied: Record<string, unknown> | null, before: Record<string, unknown>, props: Record<string, PropSpec>): string;
+//# sourceMappingURL=agents.d.ts.map

package/dist/benchmark/agents.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agents.d.ts","sourceRoot":"","sources":["../../../../benchmark/agents.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE1D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AA2B1C;8EAC8E;AAC9E,MAAM,MAAM,KAAK,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEjD,MAAM,MAAM,SAAS,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC;AAEvD,MAAM,MAAM,MAAM,GAAG;IACnB;2BACuB;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,kEAAkE;IAClE,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC;IACxB,gFAAgF;IAChF,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,QAAQ,EAAE,SAAS,EAAE,CAAC;IACtB;yDACqD;IACrD,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB;;yCAEqC;IACrC,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB;sEACkE;IAClE,IAAI,EAAE,OAAO,CAAC;IACd;;yEAEqE;IACrE,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,mEAAmE;IACnE,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B,CAAC;AAyCF,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,aAAa,EACpB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,SAAS,EAAE,OAAO;AAClB;;4DAE4D;AAC5D,OAAO,GAAE,MAAM,EAAO;AACtB;0CAC0C;AAC1C,YAAY,UAAQ;AACpB,2EAA2E;AAC3E,QAAQ,UAAQ,UAgOjB;AAED;;;iCAGiC;AACjC,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAQ1D;AAqCD,eAAO,MAAM,eAAe,GAAI,UAAU,MAAM,YACf,CAAC;AAElC,eAAO,MAAM,eAAe,GAAI,OAAO,MAAM,YACU,CAAC;AAcxD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAQ9C;AAED;;iCAEiC;AACjC,wBAAgB,WAAW,CACzB,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,MAAM,EACX,SAAS,EAAE,OAAO,GACjB,MAAM,CA6DR;AAED;;iBAEiB;AACjB,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,UAEvE;AAoBD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,aAAa,EACpB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,MAAM,EAAE,MAAM,UAkDf;AA2CD,wBAAgB,aAAa,CAC3B,GAAG,EAAE,MAAM,EACX,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAC9B,MAAM,GAAG,IAAI,CAwBf;AAqBD,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAOtE;AAqBD,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAsC3E;AAED;;6BAE6B;AAC7B,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,EAAE,EAClB,QAAQ,EAAE,MAAM,EAAE,GACjB,MAAM,CAyBR;AAoCD,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,MAAM,EAAE,CAStE;AAED;;aAEa;AACb,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,MAAM,EAAE,EACf,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAC9B,MAAM,CAwBR;AAoBD,MAAM,MAAM,KAAK,GAAG;IAClB,yCAAyC;IACzC,UAAU,EAAE,MAAM,CAAC;IACnB,mCAAmC;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,gEAAgE;IAChE,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,4EAA4E;IAC5E,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,2CAA2C;IAC3C,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,sEAAsE;IACtE,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,sDAAsD;IACtD,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,2EAA2E;IAC3E,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACnC,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,wBAAgB,OAAO,CAAC,CAAC,EAAE,eAAe,GAAG,KAAK,GAAG,IAAI,CA8BxD;AAED;;2CAE2C;AAC3C,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAsB/D;AAED;;wEAEwE;AACxE,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAcxD;AAgBD,wBAAgB,SAAS,CACvB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC/B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAMzB;AAqBD,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,QAAQ,EAClB,QAAQ,EAAE,QAAQ,GACjB,QAAQ,GAAG,IAAI,CAuCjB;AAID,MAAM,MAAM,QAAQ,GAAG;IACrB;;iBAEa;IACb,EAAE,EAAE,OAAO,CAAC;IACZ,cAAc,EAAE,OAAO,CAAC;IACxB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB,CAAC;AAEF,eAAO,MAAM,WAAW,EAAE,QAKzB,CAAC;AA8BF,wBAAgB,aAAa,CAC3B,MAAM,EAAE,OAAO,GAAG,IAAI,EACtB,KAAK,EAAE,OAAO,GAAG,IAAI,GACpB,QAAQ,CAmBV;AA2BD,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,GAAG,MAAM,GAAG,IAAI,CA4BpE;AAuED,wBAAgB,iBAAiB,WAkChC;AAED,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,EACf,EAAE,EAAE,QAAQ;AACZ;uDACuD;AACvD,QAAQ,UAAQ,GACf,MAAM,CAgBR;AAED;;oDAEoD;AACpD,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAiBjD;AAED;;6CAE6C;AAC7C,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,UASrE;AAED;;kBAEkB;AAClB,eAAO,MAAM,QAAQ,GAAI,KAAK,OAAO,EAAE,MAAM,OAAO,GAAG,IAAI,YAChB,CAAC;AAgB5C,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CA2BnE;AAED;6BAC6B;AAC7B,wBAAgB,YAAY,CAC1B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,EACvC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAC9B,MAAM,CAYR"}