Visual orchestration. Strict schema contracts.

Build visually.
Run by contract.

Compose agents, rules, APIs and human decisions into workflows the team can inspect. Every step declares its inputs and outputs, so incompatible connections can be caught before publication and runtime values are checked at the boundary.

Catch incompatible connections before publication. Validate the data that actually arrives. Carry identity, policy, durable state and evidence through the complete process, including workflows called by your existing agents.

ONE TOOL CALL. A GOVERNED PROCESS.Workflow
YOUR EXISTING AGENTRequest a supplier account changeHTTPS · typed request · caller authority
SupplierChangeProposal.v2Frozion workflow · version 7
FROZIONExecution FabricGoverned from request to outcome
  1. Load facts & evidenceTyped records + Feature Store + eligible context
    Valid
  2. Evaluate the change policyPer-step authority + nested conditions
    Review
  3. Finance review + FIDO2Wait durably for the required decision
    Waiting
  4. Revalidate & attempt ERP updateProtected write · outcome recorded separately
    Pending
Durable state

The agent's call enters the process. Human review and the business update can complete later.

One visual definition connects the responsibilities of execution
Strict schemasExplicit mappingsPer-step authorizationPolicy & HITLDurable executionInspectable graphs
The problem this solves

A process is harder to review when its paths are scattered.

Branches, mappings and handoffs can span services and repositories. Teams need a shared view of the intended behavior and the contracts that connect it.

Visible flow

Read the steps, branches, waits and exception paths in one connected graph.

Explicit contracts

Check declared fields and types before publishing, then validate incoming values.

Reviewable change

Connect a workflow change to the definitions and consumers it affects.

A tool call can be
the whole business process.

Keep your agent in its current framework or language. Let it invoke a Frozion workflow that coordinates the work behind the tool.

A supplier-change request can retrieve permitted records, use calculated facts, evaluate policy, escalate to a person and wait before attempting an authorized update. Each step participates in the same governed execution.

Build native agents and complete applications on that same foundation when it suits your product. App Builder can add the forms, queues and workbenches around either adoption path.

THE CALLER

Your agent or application

Submits a defined request under its permitted authority.

THE GOVERNED PROCESS

Frozion orchestration

Coordinates data, policy, decisions, waits and actions.

THE BUSINESS RESULT

State and evidence

Distinguishes accepted work, pending decisions and reported outcomes.

Choose the right capability
for each business step.

Visually connect queries, calculations, rules, models, APIs, policies, people and events. Define the branches, waits and exception paths needed to complete the process.

Use deterministic logic for defined calculations and decisions. Introduce models where interpretation or generation helps. Let policy and authority govern which capabilities may participate.

Queries & business facts

Bring typed records, governed query results, eligible context and Feature Store facts into the workflow.

Logic & transformations

Validate inputs, calculate values, map representations and apply explicit business conditions.

Models & agents

Use eligible models or specialist capabilities for bounded interpretation, analysis and proposals.

APIs, tools & actions

Connect API operations and external MCP tools through their declared contracts. Apply policy before and after external MCP calls.

Policy & human decisions

Evaluate conditions, require evidence, request an authorized reviewer and apply stronger assurance where needed.

Events, waits & subgraphs

Continue through time and reuse governed processes with their own inputs, outputs and versions.

Reusable behavior with explicit boundaries

Compose a process
inside another process.

Package supplier verification, evidence collection, approval or reconciliation as reusable subgraphs. Each exposes a defined input and output contract while retaining its internal policy, dependencies, execution behavior and evidence.

Use the same pattern across workflows and applications without copying every internal step. Inspect the subgraph when more detail is needed.

REUSABLE SUBGRAPH
INPUTSupplierChangeProposal.v2

Verify supplier change

Load factsCheck evidenceEvaluate policyRequest review

Contracts · authority · durable state · version · evidence

OUTPUTSupplierVerificationResult.v1
Agentic reasoning within defined authority

Let agents propose the next move.
Keep execution governed.

The Tool Call Resolver/Router can present internal tools, workflows and external MCP endpoints as available tools for an LLM. The model selects a capability and populates its parameters over multiple turns before invocation. The resulting call remains subject to the workflow’s contracts, authority and policy.

A generated plan or child graph remains subject to validation and authorization. A model's recommendation does not grant permission to run an arbitrary capability.

Explore model and capability routing

No hidden assumptions
between steps.

Declare what each step receives and produces: field names, types, required and optional values, structured business objects and validation rules. Map outputs to the next step's declared inputs.

Move avoidable schema surprises out of production. Validate connected definitions before publication, then check actual values as they cross governed runtime boundaries.

DEFINE

Explicit input & output schemas

Give requests, query results, model outputs, API responses and human submissions a declared shape and meaning.

CONNECT

Deliberate field mappings

Resolve names, types and required values explicitly. Make transformations part of the definition.

VALIDATE

Definitions and actual values

Check compatibility before publication and validate the payload received when the step executes.

EXPLORE A TYPED CONNECTION

What reaches the next step?

PRODUCER OUTPUT

SupplierFacts.v3

Load business facts
supplierId
string · required
bankChanges30d
integer · required
verificationPassed
boolean · required
EXPLICIT MAPPING
supplierIdsupplierId
bankChanges30dchangeCount
verificationPassedverificationPassed

Each required input has a compatible source.

CONSUMER INPUT

ChangeReviewInput.v2

Evaluate the change policy
supplierId
string · required
changeCount
integer · required
verificationPassed
boolean · required
Definition + payload checks

Compatible definitions. Valid values.

EXAMPLE PRODUCER PAYLOAD
{
  "supplierId": "SUP-204",
  "bankChanges30d": 2,
  "verificationPassed": true
}

The declared integer output maps to the required integer input. The example payload also satisfies the declared producer schema.

Publication check
This connection passes.
Runtime boundary
Mapped values can enter the policy step.
Business action
Still requires policy, authority and any human decision.
A valid schema establishes a data contract. It does not establish permission, factual correctness or a completed business outcome.
Before publication

Validate the connections
you intend to run.

Check that connected schemas and mappings agree, required inputs can be supplied, and dependencies are available. Include the data contracts used by branches and reusable subgraphs.

Publication validation also considers the graph's required policy controls, authority continuity, eligible routes, durable state and evidence coverage. A visually connected graph must still be a valid executable definition.

ContractsMappingsDependenciesPolicy coverageAuthorityRoutes & state
At runtime

Check what arrived.
Control what happens next.

An external API, model or user can still return an unexpected value. Validate that payload against its declared contract before passing it into the dependent step.

A contract failure appears in the execution record and follows the configured exception path: correction, authorized review, an eligible retry or a stop. Reads and consequential writes retain their distinct retry requirements.

Strict contracts prevent invalid data from silently becoming accepted input. Source accuracy, current permissions, network failures and uncertain external effects need their own checks and recovery paths.

Carry the controls
through the work.

A compatible payload is only one condition for proceeding. Keep identity, tenant, delegation, purpose and resource scope connected to the active execution.

At each protected step, evaluate the authority and policy that apply to the proposed operation. Require new evidence, human judgment or stronger assurance when the process demands it.

Per-step authority and visual policy

Check the actor, scope, business facts and obligations before a protected operation. Keep the policy connected to its enforcement point.

Explore Visual Policy Builder

Human decisions, already connected

Bring the exact proposal and evidence to an authorized internal reviewer. FIDO2 and revision binding keep the decision connected to the work.

Explore the HITL Inbox

Durable continuation

Hold the case through waits and revalidate before continuing. Reconcile an uncertain external effect before a consequential retry.

Explore Durable Execution
External actions and their outcomes

An API timeout
is an unresolved outcome.

Distinguish a proposed operation, an attempted request and the destination's reported result. Keep attempts and reconciliation connected to the same business operation.

If a write times out, verify what happened before deciding whether another attempt is appropriate. Supported paths may wait, reconcile, escalate, retry or compensate according to the operation and destination's capabilities.

MODEL THE BUSINESS OUTCOME EXPLICITLY
Not attemptedRequired checks or decisions are still pending.
Attempted · unresolvedA request was sent; the external effect is not yet established.
Confirmed or failedRecord the result supported by the destination's evidence.
ReconciledConnect later verification to the original operation and attempts.

See what may run.
Inspect what actually ran.

The Published Graph defines the permitted paths, contracts, controls and dependencies of an application version. The Realized Execution Graph records the path a particular execution took.

Keep the two connected. Inspect the active node, waits, policy results, human decisions, attempts and reported effects against the definition that governed the work.

ONE VERSION. TWO QUESTIONS.

Definition and execution stay connected.

01
Validate & load contextSchema contracts + permitted business facts
Defined
02
Evaluate policyEligible routes + required obligations
Defined
Permit pathRequired checks satisfiedAvailable
Human reviewFinance decision + FIDO2Available
Deny pathStop protected operationAvailable
Only an eligible permit or completed review path may reach the update. Denial ends that operation.
03
Revalidate & attempt updateCurrent authority + proposal + effect checks
Defined
Published definition · v7

What is this version permitted to do?

Inspect the possible paths, connected contracts, review obligation and protected update boundary before an execution begins.

Scope
Possible behavior under version 7
Contracts
Proposal, facts, policy inputs and update result
Outcome
A definition does not establish that any operation occurred.
Versioned publication

Change the application.
Preserve the meaning of its history.

See the graph, schema, mapping, policy and capability definitions associated with each published version. Recorded executions remain connected to the definitions needed to interpret them.

New work can use the new published version while existing work retains its version association. Changes to active executions require an explicit supported migration process; publication alone should not reinterpret a waiting approval.

Optimized execution. Retained traceability.

Carry the visual definition
into the runtime.

Transform the validated graph into its executable form while preserving the relationship to the published definition. Runtime optimization should retain the node, contract and version relationships needed for inspection.

Follow inputs and outputs, policy evaluations, human actions, waits, retries and reported effects through the execution under the viewer's permissions.

Explore Behavior Intelligence and replay
Different views of the same governed process

Business

Decisions, reviews, exceptions and outcomes.

Engineering

Schemas, mappings, dependencies and versions.

Security

Identity, scope, data movement and policy.

Operations

Active work, waits, timing, retries and recovery.

Risk & audit

Context, approvals, attempts and evidence.

See what depends on it. Compare what changed.

Inspect the workflows that use a step, mapping, policy or API client. Compare workflow versions to review changed steps, branches, contracts and controls, then test the proposed change against recorded cases before publication.

One connected platform

See how the visual
builders work together.

Visual Orchestration connects the process. The other builders define the policies, data operations, integrations and experiences that participate in it.

Start with a governed workflow for an existing agent, add a native application, or package a complete product. The same contracts and execution model support each path.

Before you orchestrate

Questions teams ask.

Yes. Expose any Frozion-built workflow, tool or agent natively through MCP, or invoke a workflow over HTTPS. A workflow can call external MCP endpoints with policy before and after each call, retaining its contracts, human decisions, durable state and evidence.

They expose assumptions about inputs, outputs, required values, types and mappings. Definition checks identify incompatible connections before publication. Runtime validation checks actual data before it enters dependent steps. A structurally valid value still needs the applicable business, freshness, authorization and policy checks.

Yes. Use models for bounded tasks and let agents propose plans or select eligible capabilities. Their outputs and proposed paths remain subject to the relevant schemas, capability eligibility, policy and authority. Producing a valid plan or payload does not itself authorize execution.

Policy can create a review obligation that pauses the execution. The reviewer receives the exact proposal and permitted context. Where required, stronger FIDO2 assurance accompanies the consequential decision. The authorized response returns to the waiting process, and the next protected operation still requires its current conditions to be satisfied.

No. Start with the process or consequential action you want Frozion to govern. Existing agents, applications, APIs, event systems and systems of record can participate through supported integrations. Define which responsibilities Frozion owns and where the external system's authority and execution boundary remain.

Yes. Inspect the workflows that use the connected capability, review dependencies and compare workflow versions. Batch simulation over recorded cases, approval to publish and rollback support a deliberate release process.
Bring one agent tool call or business process

See the contracts.
Follow the governed execution.

We'll map the steps, schemas, policies and human decisions
behind the outcome you need.