@dynamicalsystems/idl 0.11.0 → 0.13.0

package/src/organization/source.v3.ts

@@ -0,0 +1,165 @@
+// dsg.organization.source/3
+// Organization authoring is selection and review input only. This profile has
+// no principals, grants, admissions, deployment wiring, or runtime authority.
+import { type Static, Type } from "@sinclair/typebox";
+import { ExtensionReleaseReferenceSchema } from "../extension/release.v1.js";
+import { closed, Hex64, NonEmptyString, type ProfileEntry } from "../primitives.js";
+import {
+  DependencyLockSchema,
+  type DependencyLock,
+  OrganizationReleaseMemberKindSchema,
+} from "./release.v1.js";
+import {
+  OrganizationDocumentPathSchema,
+  OrganizationSpaceSchema,
+  OrganizationSourceLocationSchema,
+  ProjectSourceSchema,
+} from "./source.v2.js";
+
+export const ORGANIZATION_SOURCE_V3_PROFILE = "dsg.organization.source/3" as const;
+
+const IdentifierSchema = Type.String({ pattern: "^[a-z][a-z0-9-]*(?:[.-][a-z0-9]+)*$" });
+const UniqueIdentifiers = () => Type.Array(IdentifierSchema, { minItems: 1, uniqueItems: true });
+const IdentifierSet = () => Type.Array(IdentifierSchema, { uniqueItems: true });
+const UniquePaths = () => Type.Array(OrganizationDocumentPathSchema, { uniqueItems: true });
+const UniqueStrings = () => Type.Array(NonEmptyString, { uniqueItems: true });
+
+export const OrganizationSourceProjectSchema = closed({
+  schemaVersion: Type.Literal(3),
+  kind: Type.Literal("project-membership"),
+  id: IdentifierSchema,
+  source: ProjectSourceSchema,
+  contract: OrganizationDocumentPathSchema,
+  handling: OrganizationDocumentPathSchema,
+});
+export type OrganizationSourceProject = Static<typeof OrganizationSourceProjectSchema>;
+
+export const OrganizationSelectionDispositionSchema = closed({
+  kind: Type.Union([
+    Type.Literal("publication"),
+    Type.Literal("import"),
+    Type.Literal("admission"),
+    Type.Literal("target"),
+    Type.Literal("check"),
+    Type.Literal("setup"),
+    Type.Literal("paid-execution"),
+  ]),
+  required: Type.Boolean(),
+  acceptable: UniqueStrings(),
+});
+export type OrganizationSelectionDisposition = Static<
+  typeof OrganizationSelectionDispositionSchema
+>;
+
+export const AuthoredOverlaySchema = closed({
+  id: IdentifierSchema,
+  document: OrganizationDocumentPathSchema,
+  sha256: Hex64,
+  mediaType: NonEmptyString,
+});
+export type AuthoredOverlay = Static<typeof AuthoredOverlaySchema>;
+
+export const CapabilitySelectionV3Schema = closed({
+  schemaVersion: Type.Literal(3),
+  kind: Type.Literal("capability-selection"),
+  id: IdentifierSchema,
+  release: ExtensionReleaseReferenceSchema,
+  memberIds: UniqueIdentifiers(),
+  origin: Type.Union([
+    Type.Literal("workspace"),
+    Type.Literal("official"),
+    Type.Literal("curated"),
+  ]),
+  dependencyLock: OrganizationDocumentPathSchema,
+  requiredDispositions: Type.Array(OrganizationSelectionDispositionSchema, {
+    minItems: 1,
+    uniqueItems: true,
+  }),
+  authoredOverlays: Type.Array(AuthoredOverlaySchema, { uniqueItems: true }),
+});
+export type CapabilitySelectionV3 = Static<typeof CapabilitySelectionV3Schema>;
+
+export const WorkspaceProfileV3Schema = closed({
+  schemaVersion: Type.Literal(3),
+  kind: Type.Literal("workspace-profile"),
+  profile: Type.Literal(ORGANIZATION_SOURCE_V3_PROFILE),
+  id: IdentifierSchema,
+  version: Type.String({ pattern: "^(?:0|[1-9][0-9]*)\\.[0-9]+\\.[0-9]+$" }),
+  requirements: closed({
+    facts: UniqueStrings(),
+    minimumProjects: Type.Integer({ minimum: 0 }),
+    requiredSelections: Type.Array(IdentifierSchema, { uniqueItems: true }),
+    instructions: Type.Boolean(),
+  }),
+  allowedOrigins: Type.Array(
+    Type.Union([Type.Literal("workspace"), Type.Literal("official"), Type.Literal("curated")]),
+    { minItems: 1, uniqueItems: true },
+  ),
+  sourceChecks: UniquePaths(),
+});
+export type WorkspaceProfileV3 = Static<typeof WorkspaceProfileV3Schema>;
+
+/** A semantic dependency lock is a source document referenced by the root;
+ * its lock bytes contain no Build self-reference or runtime observations. */
+export const OrganizationDependencyLockSchema = DependencyLockSchema;
+export type OrganizationDependencyLock = DependencyLock;
+
+export const OrganizationSourceReleaseMemberSchema = closed({
+  id: IdentifierSchema,
+  kind: OrganizationReleaseMemberKindSchema,
+  required: Type.Boolean(),
+  acceptableDispositions: Type.Array(NonEmptyString, { minItems: 1, uniqueItems: true }),
+  subject: OrganizationDocumentPathSchema,
+});
+export type OrganizationSourceReleaseMember = Static<typeof OrganizationSourceReleaseMemberSchema>;
+
+/** Source-only Organization Release declaration. Runtime status, admission,
+ * activation, predecessor, and supersession belong to release records. */
+export const OrganizationReleaseDeclarationSchema = closed({
+  schemaVersion: Type.Literal(3),
+  kind: Type.Literal("organization-release-declaration"),
+  id: IdentifierSchema,
+  dependencyLock: OrganizationDocumentPathSchema,
+  selections: IdentifierSet(),
+  members: Type.Array(OrganizationSourceReleaseMemberSchema, {
+    minItems: 1,
+    uniqueItems: true,
+  }),
+  acceptance: closed({
+    requiredMembers: UniqueIdentifiers(),
+    acceptableDispositions: Type.Array(NonEmptyString, { minItems: 1, uniqueItems: true }),
+  }),
+});
+export type OrganizationReleaseDeclaration = Static<typeof OrganizationReleaseDeclarationSchema>;
+
+export const OrganizationRootV3Schema = closed({
+  schemaVersion: Type.Literal(3),
+  kind: Type.Literal("organization"),
+  org: NonEmptyString,
+  space: OrganizationSpaceSchema,
+  purpose: NonEmptyString,
+  profile: OrganizationDocumentPathSchema,
+  projects: UniquePaths(),
+  capabilities: UniquePaths(),
+  dependencyLocks: UniquePaths(),
+  releases: UniquePaths(),
+  instructions: UniquePaths(),
+  documents: UniquePaths(),
+  archive: Type.Optional(OrganizationDocumentPathSchema),
+  source: Type.Optional(OrganizationSourceLocationSchema),
+});
+export type OrganizationRootV3 = Static<typeof OrganizationRootV3Schema>;
+
+export const organizationSourceV3: ProfileEntry = {
+  literal: ORGANIZATION_SOURCE_V3_PROFILE,
+  rootDocument: "organization",
+  documents: {
+    organization: OrganizationRootV3Schema,
+    profile: WorkspaceProfileV3Schema,
+    project: OrganizationSourceProjectSchema,
+    capabilitySelection: CapabilitySelectionV3Schema,
+    dependencyLock: OrganizationDependencyLockSchema,
+    releaseMember: OrganizationSourceReleaseMemberSchema,
+    releaseDeclaration: OrganizationReleaseDeclarationSchema,
+  },
+};

package/src/run/execution-binding.v1.ts

@@ -0,0 +1,70 @@
+// dsg.run.execution-binding/1
+// Exact authority chain re-derived independently by the kernel and execution
+// plane before any effect. No mutable discovery or latest lookup is permitted.
+import { type Static, Type } from "@sinclair/typebox";
+import { closed, Hex64, Orn, Reference, type ProfileEntry } from "../primitives.js";
+import {
+  AdmissionRecordSchema,
+  ActiveSetSchema,
+  BuildSelectionSchema,
+  CatalogEntrySchema,
+  ReleaseEligibilitySchema,
+} from "../organization/release.v1.js";
+import { OperationRequestSchema } from "./operation.v1.js";
+import { JobClassSchema } from "./job-class.v1.js";
+import {
+  WorkloadArtifactSchema,
+  WorkloadArtifactProvenanceSchema,
+} from "./workload-artifact.v1.js";
+
+export const EXECUTION_BINDING_PROFILE = "dsg.run.execution-binding/1" as const;
+
+export const ExecutionBindingSchema = closed({
+  profile: Type.Literal(EXECUTION_BINDING_PROFILE),
+  schemaVersion: Type.Literal(1),
+  kind: Type.Literal("execution-binding"),
+  installation: Orn,
+  operation: Reference,
+  activeSet: Reference,
+  admission: Reference,
+  organizationRelease: Reference,
+  organizationBuild: Reference,
+  selection: Reference,
+  extensionRelease: Reference,
+  workflow: Reference,
+  jobClass: Reference,
+  workloadArtifact: Reference,
+  executableManifestSha256: Hex64,
+  target: Reference,
+  eventCatalog: Reference,
+  law: Reference,
+  reservation: Reference,
+  trustView: Reference,
+});
+export type ExecutionBinding = Static<typeof ExecutionBindingSchema>;
+
+export const ExecutionRequestEnvelopeSchema = closed({
+  profile: Type.Literal(EXECUTION_BINDING_PROFILE),
+  schemaVersion: Type.Literal(1),
+  kind: Type.Literal("execution-request-envelope"),
+  operation: OperationRequestSchema,
+  binding: ExecutionBindingSchema,
+  jobClass: JobClassSchema,
+  workloadArtifact: WorkloadArtifactSchema,
+  workloadArtifactProvenance: WorkloadArtifactProvenanceSchema,
+  admission: AdmissionRecordSchema,
+  activeSet: ActiveSetSchema,
+  selection: BuildSelectionSchema,
+  catalogEntry: CatalogEntrySchema,
+  releaseEligibility: ReleaseEligibilitySchema,
+});
+export type ExecutionRequestEnvelope = Static<typeof ExecutionRequestEnvelopeSchema>;
+
+export const executionBindingV1: ProfileEntry = {
+  literal: EXECUTION_BINDING_PROFILE,
+  rootDocument: "executionBinding",
+  documents: {
+    executionBinding: ExecutionBindingSchema,
+    executionRequestEnvelope: ExecutionRequestEnvelopeSchema,
+  },
+};

package/src/run/job-class.v1.ts

@@ -0,0 +1,57 @@
+// dsg.run.job-class/1
+// Immutable execution semantics shared by the organization compiler, kernel,
+// and execution plane. Catalog detail APIs resolve these exact bytes.
+import { type Static, Type } from "@sinclair/typebox";
+import { closed, NonEmptyString, Reference, SafeInt, type ProfileEntry } from "../primitives.js";
+
+export const JOB_CLASS_PROFILE = "dsg.run.job-class/1" as const;
+
+const RequiredReferences = () => Type.Array(Reference, { minItems: 1, uniqueItems: true });
+const RequiredStrings = () => Type.Array(NonEmptyString, { minItems: 1, uniqueItems: true });
+
+export const JobClassBoundsSchema = closed({
+  maxRunSeconds: SafeInt,
+  maxGpuSeconds: SafeInt,
+  maxParallelism: SafeInt,
+  maxUsdMicroUnits: SafeInt,
+});
+export type JobClassBounds = Static<typeof JobClassBoundsSchema>;
+
+export const JobClassSchema = closed({
+  profile: Type.Literal(JOB_CLASS_PROFILE),
+  schemaVersion: Type.Literal(1),
+  kind: Type.Literal("job-class"),
+  id: NonEmptyString,
+  executor: NonEmptyString,
+  mode: NonEmptyString,
+  modeEnvironmentVariable: NonEmptyString,
+  workloadArtifact: Reference,
+  platforms: RequiredStrings(),
+  isolation: Type.Union([Type.Literal("ephemeral"), Type.Literal("dedicated")]),
+  inputContracts: RequiredReferences(),
+  outputContracts: RequiredReferences(),
+  eventCatalog: Reference,
+  decisionRequirements: RequiredReferences(),
+  bounds: JobClassBoundsSchema,
+  handling: Type.Union([
+    Type.Literal("public"),
+    Type.Literal("restricted"),
+    Type.Literal("confidential"),
+  ]),
+  retention: Type.Union([
+    Type.Literal("ephemeral"),
+    Type.Literal("bounded"),
+    Type.Literal("durable"),
+  ]),
+  completion: Reference,
+  teardown: Reference,
+  evidence: Reference,
+  replay: Reference,
+});
+export type JobClass = Static<typeof JobClassSchema>;
+
+export const jobClassV1: ProfileEntry = {
+  literal: JOB_CLASS_PROFILE,
+  rootDocument: "jobClass",
+  documents: { jobClass: JobClassSchema },
+};

package/src/run/workload-artifact.v1.ts

@@ -0,0 +1,89 @@
+// dsg.run.workload-artifact/1
+// This document's Reference pins JCS metadata, not executable OCI bytes.
+import { type Static, Type } from "@sinclair/typebox";
+import {
+  closed,
+  Hex64,
+  NonEmptyString,
+  Reference,
+  UtcSecond,
+  type ProfileEntry,
+} from "../primitives.js";
+
+export const WORKLOAD_ARTIFACT_PROFILE = "dsg.run.workload-artifact/1" as const;
+const OciRepository = Type.String({
+  pattern:
+    "^(?:[a-z0-9](?:[a-z0-9-]*[a-z0-9])?\\.)*[a-z0-9](?:[a-z0-9-]*[a-z0-9])?(?::[1-9][0-9]{0,4})?/[a-z0-9]+(?:[._-][a-z0-9]+)*(?:/[a-z0-9]+(?:[._-][a-z0-9]+)*)*$",
+});
+export const WorkloadSourceSchema = closed({
+  repository: NonEmptyString,
+  revision: Type.String({ pattern: "^(?:[0-9a-f]{40}|[0-9a-f]{64})$" }),
+  sourceDigest: Hex64,
+});
+export type WorkloadSource = Static<typeof WorkloadSourceSchema>;
+export const OciPlatformSchema = closed({
+  os: NonEmptyString,
+  architecture: NonEmptyString,
+  variant: Type.Optional(NonEmptyString),
+});
+export type OciPlatform = Static<typeof OciPlatformSchema>;
+export const WorkloadArtifactSchema = closed({
+  profile: Type.Literal(WORKLOAD_ARTIFACT_PROFILE),
+  schemaVersion: Type.Literal(1),
+  kind: Type.Literal("workload-artifact"),
+  id: NonEmptyString,
+  format: Type.Literal("oci-image"),
+  source: WorkloadSourceSchema,
+  index: Type.Union([
+    Type.Null(),
+    closed({
+      sha256: Hex64,
+      mediaType: Type.Union([
+        Type.Literal("application/vnd.oci.image.index.v1+json"),
+        Type.Literal("application/vnd.docker.distribution.manifest.list.v2+json"),
+      ]),
+    }),
+  ]),
+  executable: closed({
+    repository: OciRepository,
+    platform: OciPlatformSchema,
+    manifest: closed({
+      sha256: Hex64,
+      mediaType: Type.Union([
+        Type.Literal("application/vnd.oci.image.manifest.v1+json"),
+        Type.Literal("application/vnd.docker.distribution.manifest.v2+json"),
+      ]),
+    }),
+    config: closed({
+      sha256: Hex64,
+      mediaType: Type.Union([
+        Type.Literal("application/vnd.oci.image.config.v1+json"),
+        Type.Literal("application/vnd.docker.container.image.v1+json"),
+      ]),
+    }),
+  }),
+  entrypoint: Type.Array(NonEmptyString, { minItems: 1 }),
+});
+export type WorkloadArtifact = Static<typeof WorkloadArtifactSchema>;
+// Build and transport observations bind the metadata after it has an identity;
+// including this observation inside the metadata would create a digest cycle.
+export const WorkloadArtifactProvenanceSchema = closed({
+  profile: Type.Literal(WORKLOAD_ARTIFACT_PROFILE),
+  schemaVersion: Type.Literal(1),
+  kind: Type.Literal("workload-artifact-provenance"),
+  artifact: Reference,
+  source: WorkloadSourceSchema,
+  build: Reference,
+  transportArchiveSha256: Hex64,
+  observedAt: UtcSecond,
+  evidence: Type.Array(Reference, { minItems: 1, uniqueItems: true }),
+});
+export type WorkloadArtifactProvenance = Static<typeof WorkloadArtifactProvenanceSchema>;
+export const workloadArtifactV1: ProfileEntry = {
+  literal: WORKLOAD_ARTIFACT_PROFILE,
+  rootDocument: "workloadArtifact",
+  documents: {
+    workloadArtifact: WorkloadArtifactSchema,
+    provenance: WorkloadArtifactProvenanceSchema,
+  },
+};