@rotifer/playground 0.28.0 → 0.29.0

package/dist/commands/genome-format.d.ts

@@ -0,0 +1,180 @@
+/** Blueprint format number; an importer refuses a larger one. */
+export declare const BLUEPRINT_FORMAT = 1;
+/** Protocol version whose Blueprint layout this command writes. */
+export declare const BLUEPRINT_PROTOCOL_VERSION: {
+    readonly major: 0;
+    readonly minor: 9;
+    readonly patch: 2;
+};
+/** Default `minFitness` for a CapabilityQuery: the recommended τ of §5.1. */
+export declare const DEFAULT_MIN_FITNESS = 0.3;
+/** §5.1: V_min MUST lie in [0.5, 1.0). */
+export declare const MIN_VG_FLOOR = 0.5;
+/** Key under `bindingExtensions` for semantics only this binding defines. */
+export declare const BINDING_NAME = "rotifer-playground";
+export declare const GENE_ID_V2: RegExp;
+export interface GeneReference {
+    geneId: string;
+    role: string;
+    optional: boolean;
+}
+export type CompareOp = "EQ" | "NEQ" | "GT" | "GTE" | "LT" | "LTE" | "CONTAINS" | "MATCHES";
+export interface Predicate {
+    field: string;
+    operator: CompareOp;
+    value: unknown;
+}
+/** §15.2 AlgebraExpr, externally tagged. v0.9.2 never writes RemoteGene. */
+export type AlgebraExpr = {
+    Gene: {
+        geneRef: GeneReference;
+    };
+} | {
+    Seq: {
+        steps: AlgebraExpr[];
+    };
+} | {
+    Par: {
+        left: AlgebraExpr;
+        right: AlgebraExpr;
+    };
+} | {
+    Cond: {
+        predicate: Predicate;
+        ifTrue: AlgebraExpr;
+        ifFalse: AlgebraExpr;
+    };
+} | {
+    TryCatch: {
+        body: AlgebraExpr;
+        handler: AlgebraExpr;
+    };
+};
+export interface GenomeSnapshot {
+    genes: GeneReference[];
+    composition?: AlgebraExpr;
+    snapshotAt: string;
+}
+export interface CapabilityQuery {
+    domain: string;
+    inputSchemaCompat: unknown;
+    outputSchemaCompat: unknown;
+    minFitness: number;
+    excludeGeneIds?: string[];
+}
+export interface ResolutionHint {
+    owner: string;
+    name: string;
+    version: string;
+    cloudId?: string;
+    fidelity: string;
+}
+export interface GenomeBlueprint {
+    blueprintFormat: number;
+    protocolVersion: {
+        major: number;
+        minor: number;
+        patch: number;
+        supportedFeatures: string[];
+    };
+    snapshot: GenomeSnapshot;
+    metadata: {
+        name: string;
+        description?: string;
+        author?: string;
+        createdAt: string;
+    };
+    capabilities?: Record<string, CapabilityQuery>;
+    resolutionHints?: Record<string, ResolutionHint>;
+    bindingExtensions?: Record<string, Record<string, unknown>>;
+}
+/** Rust executor CompareOp (what `agent run` accepts) → §15.2 CompareOp. */
+export declare const COMPARE_OPS: Readonly<Record<string, CompareOp>>;
+export type CredentialLayer = "key-name" | "value-pattern" | "entropy";
+export interface CredentialFinding {
+    pointer: string;
+    layer: CredentialLayer;
+    rule: string;
+}
+/** Field names that hold a credential. Matched after lower-casing and dropping `_`/`-`, as the whole name or its suffix. */
+export declare const CREDENTIAL_KEY_NAMES: readonly string[];
+export declare const BARE_HEX_RULE = "Bare 32-byte hex key";
+/** Shannon entropy in bits per character. */
+export declare function shannonEntropy(s: string): number;
+export interface ScanOptions {
+    /** Positions that may hold a 64-hex hash; only the bare-hex rule is lifted there. */
+    isHexExempt?: (pointer: string, value: string) => boolean;
+    /** Positions whose strings must not look like code. */
+    isCodeForbidden?: (pointer: string) => boolean;
+}
+/** Whether a string, on its own, trips any value rule — for masking it wherever it is about to be printed. */
+export declare function looksLikeCredential(text: string): boolean;
+/**
+ * Scan any JSON value.
+ *
+ * Pointers are built for humans to find the problem, so they must not become
+ * the leak: an object key that itself looks like a credential is replaced by
+ * `<redacted key #i>` (i = its position among that object's keys) in its own
+ * pointer and in every pointer below it.
+ */
+export declare function scanForCredentials(doc: unknown, options?: ScanOptions): CredentialFinding[];
+/**
+ * Scan a Blueprint. The bare-hex rule is lifted only where a gene ID belongs,
+ * and only for a value shaped like one (`v2:` + 64 lowercase hex):
+ * `/snapshot/genes/N/geneId`, `/capabilities/ROLE/excludeGeneIds/N`, and a
+ * composition leaf's `geneRef/geneId` when it repeats an ID from
+ * `snapshot.genes`. The same hex anywhere else is blocked. Strings under
+ * `bindingExtensions` must not look like code.
+ */
+export interface ScanBlueprintOptions {
+    /**
+     * Import only: a composition gene ID is exempt from the bare-hex rule only at
+     * a real leaf of the §15.2 subset (what the structural check reads), not at
+     * any path that merely ends in `geneRef/geneId` — extra fields inside a Gene
+     * body would otherwise smuggle a `v2:`-prefixed key past the scan. Export
+     * builds the composition itself and keeps its rule.
+     */
+    isLeafPositionExact?: boolean;
+}
+/** Pointers of the `geneRef/geneId` of every real leaf in a §15.2 subset composition. */
+export declare function compositionLeafIdPointers(expr: unknown, base?: string): Set<string>;
+export declare function scanBlueprint(blueprint: GenomeBlueprint, options?: ScanBlueprintOptions): CredentialFinding[];
+export declare class GenomeImportError extends Error {
+    readonly hint?: string | undefined;
+    constructor(message: string, hint?: string | undefined);
+}
+/** What `agent create` needs to rebuild the composition. */
+export interface CompositionPlan {
+    type: "Single" | "Seq" | "Par" | "Cond" | "Try";
+    /** Roles in execution order (= the agent's genome order). */
+    roles: string[];
+    parMerge?: string;
+    predicate?: {
+        field: string;
+        op: string;
+        value: unknown;
+    };
+}
+export interface ParsedBlueprint {
+    blueprint: GenomeBlueprint;
+    plan: CompositionPlan;
+    /** RFC §4.4 (B4): what runs, computed before anything is resolved or written. */
+    genomeId: string;
+    /** The author's suggested V(g) threshold, if any. */
+    suggestedMinVg?: number;
+}
+export declare function compositionPlan(blueprint: GenomeBlueprint): CompositionPlan;
+/**
+ * RFC 8785 canonical JSON. For finite numbers and well-formed strings,
+ * JSON.stringify gives the RFC 8785 form of every scalar, and keys sort by
+ * UTF-16 code unit as RFC 8785 says; anything else throws. parseBlueprint has
+ * already refused both in a Blueprint; schemas read from a Registry row have not
+ * been through it.
+ */
+export declare function jcs(value: unknown): string;
+/** "bp1:" + SHA-256 of the canonical execution projection. Call only on a Blueprint parseBlueprint accepted. */
+export declare function computeGenomeId(blueprint: GenomeBlueprint): string;
+export declare function checkMinVg(value: unknown, where: string): number;
+/** Parse a Blueprint, keep only what v0.9.2 can rebuild faithfully, and run the credential scan. */
+export declare function parseBlueprint(text: string): ParsedBlueprint;
+//# sourceMappingURL=genome-format.d.ts.map

package/dist/commands/genome-format.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"genome-format.d.ts","sourceRoot":"","sources":["../../src/commands/genome-format.ts"],"names":[],"mappings":"AAgBA,iEAAiE;AACjE,eAAO,MAAM,gBAAgB,IAAI,CAAC;AAElC,mEAAmE;AACnE,eAAO,MAAM,0BAA0B;;;;CAA4C,CAAC;AAEpF,6EAA6E;AAC7E,eAAO,MAAM,mBAAmB,MAAM,CAAC;AAEvC,0CAA0C;AAC1C,eAAO,MAAM,YAAY,MAAM,CAAC;AAEhC,6EAA6E;AAC7E,eAAO,MAAM,YAAY,uBAAuB,CAAC;AAEjD,eAAO,MAAM,UAAU,QAAsB,CAAC;AAE9C,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,MAAM,SAAS,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,UAAU,GAAG,SAAS,CAAC;AAE5F,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,SAAS,CAAC;IACpB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,4EAA4E;AAC5E,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE;QAAE,OAAO,EAAE,aAAa,CAAA;KAAE,CAAA;CAAE,GACpC;IAAE,GAAG,EAAE;QAAE,KAAK,EAAE,WAAW,EAAE,CAAA;KAAE,CAAA;CAAE,GACjC;IAAE,GAAG,EAAE;QAAE,IAAI,EAAE,WAAW,CAAC;QAAC,KAAK,EAAE,WAAW,CAAA;KAAE,CAAA;CAAE,GAClD;IAAE,IAAI,EAAE;QAAE,SAAS,EAAE,SAAS,CAAC;QAAC,MAAM,EAAE,WAAW,CAAC;QAAC,OAAO,EAAE,WAAW,CAAA;KAAE,CAAA;CAAE,GAC7E;IAAE,QAAQ,EAAE;QAAE,IAAI,EAAE,WAAW,CAAC;QAAC,OAAO,EAAE,WAAW,CAAA;KAAE,CAAA;CAAE,CAAC;AAE9D,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,iBAAiB,EAAE,OAAO,CAAC;IAC3B,kBAAkB,EAAE,OAAO,CAAC;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC9B,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE;QACf,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;QACd,iBAAiB,EAAE,MAAM,EAAE,CAAC;KAC7B,CAAC;IACF,QAAQ,EAAE,cAAc,CAAC;IACzB,QAAQ,EAAE;QACR,IAAI,EAAE,MAAM,CAAC;QACb,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,SAAS,EAAE,MAAM,CAAC;KACnB,CAAC;IACF,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC/C,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACjD,iBAAiB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC7D;AAED,4EAA4E;AAC5E,eAAO,MAAM,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAS3D,CAAC;AASF,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,eAAe,GAAG,SAAS,CAAC;AAEvE,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,eAAe,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,4HAA4H;AAC5H,eAAO,MAAM,oBAAoB,EAAE,SAAS,MAAM,EAajD,CAAC;AA+CF,eAAO,MAAM,aAAa,yBAAyB,CAAC;AAGpD,6CAA6C;AAC7C,wBAAgB,cAAc,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAUhD;AA2DD,MAAM,WAAW,WAAW;IAC1B,qFAAqF;IACrF,WAAW,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC;IAC1D,uDAAuD;IACvD,eAAe,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC;CAChD;AAED,8GAA8G;AAC9G,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAIzD;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,GAAE,WAAgB,GAAG,iBAAiB,EAAE,CA6C/F;AAMD;;;;;;;GAOG;AACH,MAAM,WAAW,oBAAoB;IACnC;;;;;;OAMG;IACH,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC/B;AAED,yFAAyF;AACzF,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,SAA0B,GAAG,GAAG,CAAC,MAAM,CAAC,CAqCpG;AAED,wBAAgB,aAAa,CAAC,SAAS,EAAE,eAAe,EAAE,OAAO,GAAE,oBAAyB,GAAG,iBAAiB,EAAE,CAmBjH;AAID,qBAAa,iBAAkB,SAAQ,KAAK;IACb,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM;gBAAvC,OAAO,EAAE,MAAM,EAAW,IAAI,CAAC,EAAE,MAAM,YAAA;CAIpD;AAID,4DAA4D;AAC5D,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,QAAQ,GAAG,KAAK,GAAG,KAAK,GAAG,MAAM,GAAG,KAAK,CAAC;IAChD,6DAA6D;IAC7D,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,OAAO,CAAA;KAAE,CAAC;CAC3D;AAED,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,eAAe,CAAC;IAC3B,IAAI,EAAE,eAAe,CAAC;IACtB,iFAAiF;IACjF,QAAQ,EAAE,MAAM,CAAC;IACjB,qDAAqD;IACrD,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AA0CD,wBAAgB,eAAe,CAAC,SAAS,EAAE,eAAe,GAAG,eAAe,CAmF3E;AAcD;;;;;;GAMG;AACH,wBAAgB,GAAG,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAa1C;AAoCD,gHAAgH;AAChH,wBAAgB,eAAe,CAAC,SAAS,EAAE,eAAe,GAAG,MAAM,CAIlE;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAKhE;AA+GD,oGAAoG;AACpG,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAuJ5D"}