Skip to main content
Adapted from GLOSSARY.md at the monorepo root (version 0.1.0). Per that document: “Unless explicitly stated otherwise, these definitions are normative.” Where a term has its own dedicated page in this documentation, this glossary links to it rather than restating its full field model.
A few terms below use slightly different words than their corresponding Concepts pages (e.g. ExecutionTransaction here vs. BusinessTransaction in the implemented code, Verification Report here vs. the implemented Verification type). The glossary is the specification-level vocabulary; the Concepts section and API reference describe what’s actually implemented under those names today. Both are included because they don’t always use identical nouns.

Authority

The entity responsible for initiating or approving an execution. Answers: who decided? See Concepts → Authority.

Intent

The explicit description of the desired outcome. Answers: what should happen? See Concepts → Intent.

Authorization

The decision permitting or denying execution. Answers: was execution allowed? See Concepts → Authorization.

Execution

The actual realization of the authorized intent. Answers: what happened? See Concepts → Execution.

Evidence

Immutable artifacts describing execution. Evidence enables replay, audit, and verification.

Verification

The independent evaluation of an execution record. Answers: can the recorded execution be trusted? See Concepts → Verification.

Execution Trust

The architectural property established when an independent verifier can demonstrate that execution faithfully reflects authorized intent using immutable evidence. Execution Trust is the primary objective of Parmana.

ExecutionTransaction

The immutable aggregate root representing a single execution lifecycle: Authority, Intent, Authorization, Execution, and Evidence. In the implemented code, this role is filled by BusinessTransaction plus the artifacts aggregated onto its Execution Trust Record.

Runtime

The subsystem responsible for orchestrating execution. The Runtime produces execution records. The Runtime does not establish trust. See runtime package.

Runtime Pipeline

An ordered sequence of Runtime Components that transform an immutable ExecutionTransaction. See Runtime → Runtime Pipeline.

Runtime Component

A deterministic execution stage participating in the Runtime Pipeline. Each component accepts an immutable transaction and returns a new immutable transaction.

Verification Engine

The subsystem responsible for independently evaluating execution records; consumes immutable transactions and produces verification reports. The monorepo ships a real, dedicated verification package matching this description, but it isn’t currently invoked by the API — see that page for what runs instead.

Verification Report

The immutable result produced by the Verification Engine; summarizes the outcome of verification without modifying the execution record. Implemented as Verification.

Replay

The deterministic reconstruction of execution semantics using preserved execution records and evidence, used to validate that execution can be reproduced from recorded facts. See Concepts → Replay and Guides → Deterministic Replay for how this compares to what POST /replay currently does.

Deterministic Execution

Execution in which equivalent recorded inputs produce equivalent observable results — required for replay and independent verification.

Append-Only Evidence

An evidence model in which historical artifacts are never modified or deleted; new information is represented by appending additional evidence rather than altering existing records. See Architecture → Security Model.

Cryptographic Agility

The architectural principle that cryptographic algorithms are replaceable implementation details rather than fixed domain concepts. See crypto package for the concrete SHA-256/Ed25519 defaults this currently resolves to.

Platform Guarantee

A behavior that every conformant Parmana implementation must preserve — for example, deterministic execution, immutable records, and independent verification.

Conformance

The property of satisfying the Parmana Specification and Platform Guarantees, demonstrated through implementation behavior rather than implementation details.

Reference Implementation

The official implementation maintained by the Parmana project — this monorepo. It demonstrates one correct realization of the specification but is not the specification itself.

Specification

The normative set of documents that define Parmana’s architecture, behavior, and contracts (the root-level .md files: SPECIFICATION.md, PROTOCOL.md, ARCHITECTURE.md, and this glossary, among others). Implementations conform to the specification rather than to a particular codebase.

Concepts Overview

The implemented model these terms map onto.

Error Codes

The equally normative error-code vocabulary.

Architecture Overview

Where these terms fit together.