tracegrove 0.0.0-stage → 0.3.0

package/dist/protocol/schemas/resultSink.d.ts

@@ -0,0 +1,80 @@
+import { z } from 'zod';
+/** Receipt of durable local retention, not issuer authentication or qualification. */
+export declare const ResultIngestReceipt: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"workflow.result-ingest/v1">;
+    ref: z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    scope: z.ZodObject<{
+        ownerId: z.ZodString;
+        tenantId: z.ZodNullable<z.ZodString>;
+        visibility: z.ZodEnum<{
+            public: "public";
+            owner_private: "owner_private";
+            tenant_private: "tenant_private";
+        }>;
+    }, z.core.$strict>;
+    campaignId: z.ZodString;
+    campaignRef: z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    requestRef: z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    selectionRef: z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    manifestDigest: z.ZodObject<{
+        algorithm: z.ZodLiteral<"sha256">;
+        hex: z.ZodString;
+    }, z.core.$strict>;
+    fidelityPlanRef: z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    plannedLanes: z.ZodArray<z.ZodEnum<{
+        recorded_replay: "recorded_replay";
+        mock_contract: "mock_contract";
+        hybrid_live_product: "hybrid_live_product";
+        full_live_sandbox: "full_live_sandbox";
+        full_live_canary: "full_live_canary";
+    }>>;
+    retainedOutcome: z.ZodEnum<{
+        blocked: "blocked";
+        cancelled: "cancelled";
+        passed: "passed";
+        assertion_failed: "assertion_failed";
+        infrastructure_failed: "infrastructure_failed";
+        inconclusive: "inconclusive";
+    }>;
+    receiptCount: z.ZodNumber;
+    acceptedAt: z.ZodString;
+    evidenceClass: z.ZodLiteral<"integrity_checked_local_bundle">;
+    issuerStatus: z.ZodLiteral<"unverified">;
+    qualificationStatus: z.ZodLiteral<"not_evaluated">;
+}, z.core.$strict>;
+export type ResultIngestReceipt = z.infer<typeof ResultIngestReceipt>;

package/dist/protocol/schemas/resultSink.js

@@ -0,0 +1,14 @@
+import { z } from 'zod';
+import { DigestSchema, IdString, IsoDateTime, NonNegInt, RefSchema, ScopeSchema } from "../primitives.js";
+import { Outcome } from "./execution.js";
+import { FidelityLane } from "./definitions.js";
+/** Receipt of durable local retention, not issuer authentication or qualification. */
+export const ResultIngestReceipt = z.object({
+    schemaVersion: z.literal('workflow.result-ingest/v1'), ref: RefSchema, scope: ScopeSchema,
+    campaignId: IdString, campaignRef: RefSchema, requestRef: RefSchema, selectionRef: RefSchema, manifestDigest: DigestSchema,
+    fidelityPlanRef: RefSchema, plannedLanes: z.array(FidelityLane).max(5),
+    retainedOutcome: Outcome, receiptCount: NonNegInt, acceptedAt: IsoDateTime,
+    evidenceClass: z.literal('integrity_checked_local_bundle'), issuerStatus: z.literal('unverified'),
+    qualificationStatus: z.literal('not_evaluated'),
+}).strict();
+//# sourceMappingURL=resultSink.js.map

package/dist/protocol/schemas/resultSink.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resultSink.js","sourceRoot":"","sources":["../../../src/protocol/schemas/resultSink.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC1G,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAEhD,sFAAsF;AACtF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,2BAA2B,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW;IACzF,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,cAAc,EAAE,YAAY;IAC1H,eAAe,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACtE,eAAe,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW;IAC1E,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,gCAAgC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;IACjG,mBAAmB,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC;CAChD,CAAC,CAAC,MAAM,EAAE,CAAC"}

package/dist/protocol/schemas/review.d.ts

@@ -0,0 +1,248 @@
+import { z } from 'zod';
+export declare const SourcePlan: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"workflow.source-plan/v1">;
+    ref: z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    scope: z.ZodObject<{
+        ownerId: z.ZodString;
+        tenantId: z.ZodNullable<z.ZodString>;
+        visibility: z.ZodEnum<{
+            public: "public";
+            owner_private: "owner_private";
+            tenant_private: "tenant_private";
+        }>;
+    }, z.core.$strict>;
+    revisionMatrixRef: z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    changeModelRef: z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    disposition: z.ZodEnum<{
+        scenario_set: "scenario_set";
+        no_e2e_warranted: "no_e2e_warranted";
+        surface_unresolved: "surface_unresolved";
+    }>;
+    dispositionReasonRefs: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    candidates: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        sourceElementIds: z.ZodArray<z.ZodString>;
+        caseRef: z.ZodNullable<z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>>;
+        disposition: z.ZodEnum<{
+            blocked: "blocked";
+            excluded: "excluded";
+            runnable: "runnable";
+            not_derivable: "not_derivable";
+        }>;
+        reasonRefs: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>>;
+        capabilityRefs: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    validFlowRefs: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    withheldFlows: z.ZodArray<z.ZodObject<{
+        flowRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        reasonRefs: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    invalidFlows: z.ZodArray<z.ZodObject<{
+        flowRef: z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        diagnosticRefs: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            revision: z.ZodString;
+            digest: z.ZodObject<{
+                algorithm: z.ZodLiteral<"sha256">;
+                hex: z.ZodString;
+            }, z.core.$strict>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    coverageObligationRefs: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    gapRefs: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type SourcePlan = z.infer<typeof SourcePlan>;
+export declare const PlanReview: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"workflow.plan-review/v1">;
+    ref: z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    scope: z.ZodObject<{
+        ownerId: z.ZodString;
+        tenantId: z.ZodNullable<z.ZodString>;
+        visibility: z.ZodEnum<{
+            public: "public";
+            owner_private: "owner_private";
+            tenant_private: "tenant_private";
+        }>;
+    }, z.core.$strict>;
+    sourcePlanRef: z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    editRevision: z.ZodNumber;
+    decision: z.ZodEnum<{
+        approved: "approved";
+        rejected: "rejected";
+    }>;
+    reviewerActorId: z.ZodString;
+    policyRef: z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    reasonRefs: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type PlanReview = z.infer<typeof PlanReview>;
+export declare const PlanEditProjection: z.ZodObject<{
+    id: z.ZodString;
+    scope: z.ZodObject<{
+        ownerId: z.ZodString;
+        tenantId: z.ZodNullable<z.ZodString>;
+        visibility: z.ZodEnum<{
+            public: "public";
+            owner_private: "owner_private";
+            tenant_private: "tenant_private";
+        }>;
+    }, z.core.$strict>;
+    editRevision: z.ZodNumber;
+    sourcePlanRef: z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    currentReviewRef: z.ZodNullable<z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type PlanEditProjection = z.infer<typeof PlanEditProjection>;
+export declare const PlanRevisionToken: z.ZodObject<{
+    id: z.ZodString;
+    scope: z.ZodObject<{
+        ownerId: z.ZodString;
+        tenantId: z.ZodNullable<z.ZodString>;
+        visibility: z.ZodEnum<{
+            public: "public";
+            owner_private: "owner_private";
+            tenant_private: "tenant_private";
+        }>;
+    }, z.core.$strict>;
+    expectedEditRevision: z.ZodNumber;
+    expectedSourcePlanRef: z.ZodObject<{
+        id: z.ZodString;
+        revision: z.ZodString;
+        digest: z.ZodObject<{
+            algorithm: z.ZodLiteral<"sha256">;
+            hex: z.ZodString;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export type PlanRevisionToken = z.infer<typeof PlanRevisionToken>;

package/dist/protocol/schemas/review.js

@@ -0,0 +1,45 @@
+import { z } from 'zod';
+import { IdString, PositiveInt, RefSchema, ScopeSchema, refList, idList } from "../primitives.js";
+export const SourcePlan = z.object({
+    schemaVersion: z.literal('workflow.source-plan/v1'),
+    ref: RefSchema,
+    scope: ScopeSchema,
+    revisionMatrixRef: RefSchema,
+    changeModelRef: RefSchema,
+    disposition: z.enum(['scenario_set', 'no_e2e_warranted', 'surface_unresolved']),
+    dispositionReasonRefs: refList(),
+    candidates: z.array(z.object({
+        id: IdString,
+        sourceElementIds: idList(),
+        caseRef: RefSchema.nullable(),
+        disposition: z.enum(['runnable', 'blocked', 'excluded', 'not_derivable']),
+        reasonRefs: refList(),
+        capabilityRefs: refList(),
+    }).strict()).max(500),
+    validFlowRefs: refList(),
+    withheldFlows: z.array(z.object({ flowRef: RefSchema, reasonRefs: refList() }).strict()).max(500),
+    invalidFlows: z.array(z.object({ flowRef: RefSchema, diagnosticRefs: refList() }).strict()).max(500),
+    coverageObligationRefs: refList(),
+    gapRefs: refList(),
+}).strict();
+export const PlanReview = z.object({
+    schemaVersion: z.literal('workflow.plan-review/v1'),
+    ref: RefSchema,
+    scope: ScopeSchema,
+    sourcePlanRef: RefSchema,
+    editRevision: PositiveInt,
+    decision: z.enum(['approved', 'rejected']),
+    reviewerActorId: IdString,
+    policyRef: RefSchema,
+    reasonRefs: refList(),
+}).strict();
+export const PlanEditProjection = z.object({
+    id: IdString,
+    scope: ScopeSchema,
+    editRevision: PositiveInt,
+    sourcePlanRef: RefSchema,
+    currentReviewRef: RefSchema.nullable(),
+}).strict();
+export const PlanRevisionToken = z.object({ id: IdString, scope: ScopeSchema, expectedEditRevision: PositiveInt,
+    expectedSourcePlanRef: RefSchema }).strict();
+//# sourceMappingURL=review.js.map

package/dist/protocol/schemas/review.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"review.js","sourceRoot":"","sources":["../../../src/protocol/schemas/review.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAElG,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,yBAAyB,CAAC;IACnD,GAAG,EAAE,SAAS;IACd,KAAK,EAAE,WAAW;IAClB,iBAAiB,EAAE,SAAS;IAC5B,cAAc,EAAE,SAAS;IACzB,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,cAAc,EAAE,kBAAkB,EAAE,oBAAoB,CAAC,CAAC;IAC/E,qBAAqB,EAAE,OAAO,EAAE;IAChC,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QAC3B,EAAE,EAAE,QAAQ;QACZ,gBAAgB,EAAE,MAAM,EAAE;QAC1B,OAAO,EAAE,SAAS,CAAC,QAAQ,EAAE;QAC7B,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QACzE,UAAU,EAAE,OAAO,EAAE;QACrB,cAAc,EAAE,OAAO,EAAE;KAC1B,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACrB,aAAa,EAAE,OAAO,EAAE;IACxB,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACjG,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACpG,sBAAsB,EAAE,OAAO,EAAE;IACjC,OAAO,EAAE,OAAO,EAAE;CACnB,CAAC,CAAC,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,yBAAyB,CAAC;IACnD,GAAG,EAAE,SAAS;IACd,KAAK,EAAE,WAAW;IAClB,aAAa,EAAE,SAAS;IACxB,YAAY,EAAE,WAAW;IACzB,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAC1C,eAAe,EAAE,QAAQ;IACzB,SAAS,EAAE,SAAS;IACpB,UAAU,EAAE,OAAO,EAAE;CACtB,CAAC,CAAC,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,EAAE,EAAE,QAAQ;IACZ,KAAK,EAAE,WAAW;IAClB,YAAY,EAAE,WAAW;IACzB,aAAa,EAAE,SAAS;IACxB,gBAAgB,EAAE,SAAS,CAAC,QAAQ,EAAE;CACvC,CAAC,CAAC,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,oBAAoB,EAAE,WAAW;IAC7G,qBAAqB,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC"}