@paraharness/core

Variables

Variable	Description
BudgetApprovalSchema	Zod schema validating a human budget approval response (`P.lane.maxCostUsd`).
DEFAULT_AGENT_MAX_TURNS	Default maximum number of turns allowed per agent invocation when unspecified (`25`).
DEFAULT_LESSON_MIN_SCORE	Default minimum empirical score threshold required to recall a lesson (`0.2`).
DEFAULT_LESSON_SCORING	Default 4-state empirical lesson scoring and recall configuration for `P.lessons(id)`.
DEFAULT_LESSON_SCORING_WEIGHTS	Default constants for the Bayesian sliding-window lesson scoring formula and signal cooldowns (`SPEC.md` §3.4.3).
DEFAULT_LESSON_TOP_K	Default maximum number of top-ranked lessons recalled per session start (`5`).
DEFAULT_LESSON_WEIGHTS	Default empirical lesson scoring weights (`slidingWindowInjections`, `partitionMatchBoost`, `decayOnPartitionEpochChange`).
DEFAULT_MAX_SEALED_AGE_HOURS	Default maximum age in hours (`168` hours) for `SEALED_UNMERGED` topology overlays before eviction (`SPEC.md` §3.3).
DEFAULT_NODE_RUNNER_AST_NODE	Default subprocess and PTY runner pool AST descriptor (`id: 'default-runner'`, `slots: 4`, `maxDaemons: 4`).
DEFAULT_PRIORITY_AGING_INTERVAL_MS	Default priority aging interval in milliseconds (`60,000` ms = 1 minute) when `agingMinutes` is evaluated (`SPEC.md` §3.10).
defaultExecutionEngine	Default `HarnessExecutionEngine` singleton delegating directly to `createRuntime()` (`SPEC.md` §3.1).
DistilledLessonCandidateSchema	Zod schema validating a contrastive distiller agent's structured lesson candidate output.
GlobalRuleSchema	Zod schema validating an always-on global rule (`id` and non-empty `directive`).
LANE_PRIORITY_WEIGHTS	Numeric scheduling priority weights assigned to each `LaneNode.priority` level (`SPEC.md` §3.10).
LESSON_OUTCOME_PRECEDENCE_RANK	Strict 4-state precedence rank table for deduplicating per-step lesson outcomes (`SPEC.md` §3.4.3).
P	Root declarative builder namespace (`P`) for constructing passive Paraharness AST definitions.
PRIORITY_AGING_STEP_WEIGHT	Priority weight increment (`5`) added per elapsed aging interval (`SPEC.md` §3.10).
ResumeForkInputSchema	Zod schema validating the built-in `resumeFork` capability tool input for parent agents declaring `.onChildInterrupt()`.
ScopedRuleSchema	Zod schema validating a partition- or effect-scoped rule with optional `beforeStop` checks.
ScopePredicateSchema	Zod schema validating a `ScopePredicate` (`when` filter for scoped rules and skills).

Functions

Function	Description
affectedBy	Returns `[partitionId, ...dependentsOf(topology, partitionId)]`, representing all partitions impacted by a change in `partitionId`.
buildRoleAndScopeContextFrame	Formats the structured Turn-0 `[ROLE_AND_SCOPE_CONTEXT]` user message frame (`SPEC.md` §3.2.1).
compilePrefixGroups	Compiles all `PrefixGroupNode` definitions in AST declaration order at the start of a flow run (`SPEC.md` §3.2.1).
computeInRunGroundingDiffs	Computes in-run grounding diffs against a run's pinned `CompiledWirePrefix.groundingSnapshots` (`SPEC.md` §3.2.1).
computeLessonScore	Computes the Bayesian sliding-window score $\text{Score}(L, Q)$ for a candidate `LessonRecord` (`SPEC.md` §3.4.3).
createAgentBuilder	Creates a fluent `AgentBuilder` for `P.agent(id)`.
createAgentCapabilitiesBuilder	Creates a fluent `AgentCapabilitiesBuilder` for `agent.capabilities($cap => ...)`.
createChildInterruptHandlerBuilder	Creates a fluent `ChildInterruptHandlerBuilder` for `agent.onChildInterrupt(interrupt, $ci => ...)`.
createCommandBuilder	Creates a fluent `CommandBuilder` for `P.command(id)` or `P.command(id, options)`.
createCompactionConfigBuilder	Creates a fluent `CompactionConfigBuilder` instance from an optional state snapshot.
createEscalateCapabilityBuilder	Creates a fluent `EscalateCapabilityBuilder` for `cap.escalate(interrupt, $esc => ...)`.
createExecutorRegistry	Merges one or more `RuntimeExecutorRegistrySlice` objects (or nested arrays of slices) into a frozen `RuntimeExecutorRegistry`.
createFlowBranchBuilder	Creates a fluent `FlowBranchBuilder` for `flow.branch(id, $b => ...)`.
createFlowBuilder	Creates a fluent `FlowBuilder` for `P.flow(id)`.
createForkCapabilityBuilder	Creates a fluent `ForkCapabilityBuilder` for `$cap.fork(toolName, childExecutable, $f => ...)`.
createHarnessBuilder	Creates a fluent `HarnessBuilder` for `P.harness(id)`.
createHumanBuilder	Creates a fluent `HumanBuilder` for `P.human(id)`.
createInterruptBuilder	Creates a copy-on-write immutable `ConfigurableInterruptBuilder` for `P.interrupt(id)`.
createInterruptEdgeBuilder	Creates a fluent `InterruptEdgeBuilder` for `.onInterrupt(interrupt, $i => ...)`.
createLaneBuilder	Creates a fluent `LaneBuilder` for `P.lane(id)`.
createLessonsBuilder	Creates a fluent `LessonsBuilder` for `P.lessons(id)`.
createLoopBuilder	Creates a fluent `LoopBuilder` for `P.loop(id)`.
createMutatePlanCapabilityBuilder	Creates a fluent `MutatePlanCapabilityBuilder` for `cap.mutatePlan($m => ...)`.
createPolicyBuilder	Creates a fluent `PolicyBuilder` for `P.policy(id)`.
createPoolBuilder	Creates a fluent `PoolBuilder` for `P.pool(id)`.
createPrefixGroupBuilder	Creates a fluent `PrefixGroupBuilder` for `P.prefixGroup(id)`.
createRulesBuilder	Creates a fluent `RulesBuilder` for `P.rules(id)`.
createRuntime	Instantiates a `HarnessRuntime` from a declarative `HarnessNode` AST (or `P.harness` builder) (`SPEC.md` §3.1 & §3.10).
createScopedRuleBuilder	Creates a fluent `ScopedRuleBuilder` for `P.scopedRule(idOrSource)`.
createSignalBuilder	Creates a copy-on-write immutable `ConfigurableSignalBuilder` for `P.signal(id)`.
createSkillBuilder	Creates a fluent `SkillBuilder` for `P.skill(idOrSource)`.
createSpeculateCapabilityBuilder	Creates a fluent `SpeculateCapabilityBuilder` for `cap.speculate(toolName, $s => ...)`.
createStreamBuilder	Creates a fluent `StreamBuilder` for `P.stream(id)`.
createTopologyBuilder	Creates a fluent `ConfigurableTopologyBuilder` for `P.topology(id)`.
dependentsOf	Returns all strict transitive dependent partitions that depend (directly or indirectly) on `partitionId`.
evaluateLessonRetirementAndSignals	Evaluates `.emitSignalWhen()` triggers across updated `LessonRecord` instances (`SPEC.md` §3.4.3).
evaluatePreFlightToolBatch	Evaluates two-phase policy guards (`'deny-with-error'` before `'raise-interrupt'`) across `remainingCalls` (`SPEC.md` §3.5).
evaluateQuotaTripwires	Evaluates all `QuotaTripwireASTNode` instances on `policy` after a tool execution (`SPEC.md` §3.5).
executeAddDependencies	Executes the `addDependencies` capability tool to register existing lane items as prerequisites (`SPEC.md` §3.7.2).
executeAgent	Executes a passive `AgentNode` across turns, tool batches, policy guards, skills, capabilities, and `beforeStop` gates (`SPEC.md` §3.7.1).
executeCommand	Executes a passive `CommandNode` (`P.command(id)`) by validating `input`, invoking `node.fn(validatedInput, ctx)`, and validating the returned output (`SPEC.md` §2.3 & §3.7).
executeFlow	Executes a `FlowNode` from start or crash-recovery resume through its sequential steps and conditional branches (`SPEC.md` §3.9).
executeFlowBranch	Evaluates a `FlowBranchNode` against `flowCtx.currentInput`, executes the first matching `when` case (or `otherwiseSteps`), and records output under `branchNode.id` (`SPEC.md` §3.9).
executeFlowStep	Executes a single `FlowStepNode`, handling `.inputFrom()` projection, step-level `.replaceWith()` promotion, and `.retry()` backoff (`SPEC.md` §3.9).
executeForkBatch	Executes a concurrent batch of downward `.fork()` tool calls with turn-batch sibling barrier and 3-way `commitChild` (`SPEC.md` §3.7.2).
executeHierarchicalRewindDrain	Executes the 4-step Hierarchical Rewind Drain Barrier across active child forks, speculations, human requests, and run overlays (`SPEC.md` §3.10).
executeLimitExceededSequence	Executes the 4-step crash-safe `.onLimitExceeded()` epistemic flush and abort sequence (`SPEC.md` §3.5).
executeLoop	Executes a passive `LoopNode` across `.act() -> .evaluate()` iterations up to `maxIterations` (`SPEC.md` §3.8).
executePostFlightSandboxedTool	Executes a `'subprocess-post-flight'` tool inside a checkpointed sandbox (`SPEC.md` §3.5).
executeReplaceWithPromotion	Promotes a `.replaceWith(replacementActor, mapInput)` handler by resetting step overlays and atomically recording replacement step start (`SPEC.md` §3.6 & §3.9).
executeResumeForkBatch	Executes the built-in `resumeFork` capability tool to resume or abort suspended child forks (`SPEC.md` §3.7.2).
executeSpawnTasks	Executes the `spawnTasks` capability tool with linear prerequisite chaining ($T_{\text{prevTip}} \leftarrow T_1 \leftarrow \dots \leftarrow T_k \leftarrow T_{\text{parent}}$) (`SPEC.md` §3.7.2).
executeSpeculateTournament	Executes a parallel `.speculate()` tournament across $B$ isolated branch scopes (`SPEC.md` §3.7.2 Capability 2).
executeStepNode	Dispatches any passive `StepASTNode` (`AgentNode`, `LoopNode`, `CommandNode`, or adapter `DomainStepASTNode`) to its runtime executor (`SPEC.md` §2.3).
executeUpdatePartitionContract	Executes the `updatePartitionContract` capability tool against the run's isolated CoW `TopologyStore` overlay (`SPEC.md` §3.3).
extractAST	Normalizes a `MaybeBuilder<TNode>` value into its compiled passive `TNode` AST representation.
flushStepLessonOutcomes	Flushes deduplicated per-step lesson outcomes to `LessonStore`, retires degraded lessons, and evaluates signal triggers (`SPEC.md` §3.4.3).
mergeLessonOutcomePrecedence	Merges two 4-state `LessonOutcome` values using strict severity precedence (`SPEC.md` §3.4.3).
recoverInterruptedRunOnBoot	Recovers a non-terminal run on boot by reattaching root and child isolation scopes and restoring in-flight checkpoints (`SPEC.md` §3.10).
resolvePostRaceCases	Classifies a completed speculative tournament race into Post-Race Cases 1–4 (`SPEC.md` §3.7.2 Capability 2).
runContrastiveLessonDistillation	Executes contrastive lesson distillation for an accepted loop or gate recovery pair (`SPEC.md` §3.4.3).
scoreAndRecallLessons	Scores, filters, and ranks candidate lessons for Turn-0 recall (`SPEC.md` §3.4.3).
shouldRetireLesson	Evaluates the 3-way disjunction determining whether `lesson` must be retired (`SPEC.md` §3.4.3).
SpeculationCandidateSchema	Builds the discriminated-union Zod schema for a single candidate branch in a speculative tournament (`COMPLETED` or `PARKED_ON_ESCALATION`).
SpeculationInputSchema	Builds the complete input Zod schema delivered to a `.speculate()` arbiter agent (`candidates`, `failedBranches`, and `humanRulingsHistory`).
syncSuspendedRunPrerequisites	Synchronizes completed prerequisite receipts, topology overlays, and `syncRoot` upon `'SUSPENDED'` wakeup or initial run start (`SPEC.md` §3.7.2).
zodToJsonSchema	Converts a Zod schema (`z.ZodTypeAny`) into a deeply frozen JSON Schema object for LLM structured outputs and wire tool declarations.

Classes

Class	Description
LaneScheduler	Stateful lane scheduler managing deduplication, priority aging, `.waitFor()` DAG barriers, `.maxCostUsd()` budgets, tracker sync, and `.onSignal()` rewinds (`SPEC.md` §3.10).
PoolManager	Runtime capacity pool scheduler managing run-sticky account seat affinity, HTTP `429` rate-limit failover, and empirical `'escalate-on-retry'` model selection (`SPEC.md` §3.2).
ScopeLockManager	Per-handle asynchronous shared-read / exclusive-write lock manager (`SPEC.md` §3.7.2).
ServiceSessionRegistry	Reference-counted registry of active `ServiceSession` daemons keyed by `(scopeKey, serviceNode.id)` (`SPEC.md` §3.4.2).
StepContinuationQueue	Per-`stepExecId` asynchronous FIFO serialization queue for `ContinuationFrame[]` mutations (`SPEC.md` §3.7.2).

Interfaces

Interface	Description
AbortHookExecutionInput	Input payload supplied to an `AbortHookASTNode` executor in `RuntimeExecutorRegistry.abortHooks`.
AcquireSkillServicesParams	Parameters for acquiring skill-backed `ServiceSession` daemons in an isolation scope.
ActiveRunSummary	Summary descriptor of an active or suspended harness run returned by `HarnessRuntimeController.getActiveRuns()`.
ActiveServiceEntry	Reference-counted runtime entry tracking a live `ServiceSession` mounted within an isolation scope (`SPEC.md` §3.4.2).
ActiveTurnPauseState	Active-turn pause state on `agent-frame` when no tool batch or adjudication is suspended.
AdjudicateInterruptBuilder	Fluent builder for an automated adjudicator interrupt edge (`.adjudicateWith(adjudicator, mapInput)`).
AdjudicateInterruptHandlerNode	Interrupt handler variant (`mode: 'adjudicate'`) that dispatches a read-only adjudicator step and resumes the interrupted actor.
AdjudicateLeaseElevationConfig	Conditional capability lease elevation rule evaluated after an adjudicator step produces a verdict.
AdjudicationPauseState	Pause state on `agent-frame` while awaiting `.adjudicateWith()` or `.ask()` interrupt resolution.
AgentBuilder	Fluent builder for the universal LLM actor primitive (`P.agent(id)`).
AgentCapabilitiesBuilder	Fluent builder for hierarchical orchestration capabilities mounted on an `AgentNode` (`.capabilities($cap => ...)`).
AgentCapabilitiesNode	Passive AST node aggregating all hierarchical orchestration capabilities mounted on an `AgentNode` (`.capabilities($cap => ...)`).
AgentContinuationFrame	Serialized continuation frame for an `P.agent` execution session (`kind: 'agent-frame'`).
AgentLessonsMount	Lesson subsystem mount descriptor on an `AgentNode`.
AgentNode	Passive AST node representing the universal LLM actor primitive (`P.agent(id)`).
AgentTurnSessionState	Mutable session state passed across `P.agent` turn-loop phase functions (`Rule 3.1` — zero closure state machines).
AppendToolResultNotesOptions	Options for `ModelDriver.appendToolResultNotes()`.
AskInterruptBuilder	Fluent builder for a human-in-the-loop interrupt edge (`.ask(human, responseSchema)`).
AskInterruptHandlerNode	Interrupt handler variant (`mode: 'ask'`) that pages a bidirectional `HumanNode` and resumes the interrupted actor.
AskLeaseElevationConfig	Conditional capability lease elevation rule evaluated after a human authority responds to an `.ask()` interrupt handler.
AstBuilder	Fluent builder contract that compiles declarative configuration into a passive AST node.
ASTNode	Base contract for all passive, JSON-serializable Abstract Syntax Tree (AST) nodes.
BaseAbortHookASTNode	Domain-agnostic base AST node contract for step abort hooks (`AbortHookASTNode`).
BaseAccountSeatASTNode	Domain-agnostic base AST node contract for LLM provider account seats (`AccountSeatASTNode`).
BaseCheckASTNode	Domain-agnostic base AST node contract for deterministic verification checks (`CheckASTNode`).
BaseControlPlaneASTNode	Domain-agnostic base AST node contract for exposed control-plane servers (`ControlPlaneASTNode`).
BaseCrossVerifierASTNode	Domain-agnostic base AST node contract for speculative cross-verifiers (`CrossVerifierASTNode`).
BaseDomainStepASTNode	Domain-agnostic base AST node contract for external adapter step nodes (`DomainStepASTNode`).
BaseEffectMatcherASTNode	Domain-agnostic base AST node contract for capability lease effect matchers (`EffectMatcherASTNode`).
BaseHumanChannelASTNode	Domain-agnostic base AST node contract for human notification and decision channels (`HumanChannelASTNode`).
BaseIsolationScopeASTNode	Domain-agnostic base AST node contract for isolation scopes (`IsolationScopeASTNode`).
BaseLedgerStoreASTNode	Domain-agnostic base AST node contract for durable execution ledger stores (`LedgerStoreASTNode`).
BaseLessonStoreASTNode	Domain-agnostic base AST node contract for empirical lesson stores (`LessonStoreASTNode`).
BaseModelASTNode	Domain-agnostic base AST node contract for LLM model configurations (`ModelASTNode`).
BasePolicyGuardASTNode	Domain-agnostic base AST node contract for pre-flight and post-flight policy guards (`PolicyGuardASTNode`).
BaseQuotaTripwireASTNode	Domain-agnostic base AST node contract for quantitative effect tripwires (`QuotaTripwireASTNode`).
BaseRunnerPoolASTNode	Domain-agnostic base AST node contract for execution slot and daemon pools (`RunnerPoolASTNode`).
BaseScopeRewindHookASTNode	Domain-agnostic base AST node contract for lane signal rewind hooks (`ScopeRewindHookASTNode`).
BaseServiceASTNode	Domain-agnostic base AST node contract for lifecycle-bound background services (`ServiceASTNode`).
BaseSourceASTNode	Domain-agnostic base AST node contract for external content and rule/skill sources (`SourceASTNode`).
BaseStreamSourceASTNode	Domain-agnostic base AST node contract for asynchronous event stream sources (`StreamSourceASTNode`).
BaseTelemetryCollectorASTNode	Domain-agnostic base AST node contract for custom telemetry collectors (`TelemetryCollectorASTNode`).
BaseToolASTNode	Domain-agnostic base AST node contract for agent-invocable tools (`ToolASTNode`).
BaseTopologyStoreASTNode	Domain-agnostic base AST node contract for relational partition topology stores (`TopologyStoreASTNode`).
BaseTrackerASTNode	Domain-agnostic base AST node contract for external work item trackers (`TrackerASTNode`).
BeforeStopGatePauseState	Pause state on `agent-frame` when an actor has emitted its structured output and is inside `beforeStop` gates.
BranchableScope	Tier-3 runtime driver contract for branchable isolation scopes (`capabilityTier: 'branchable'`).
CanonicalMessage	Vendor-neutral projection of a conversation turn frame stored alongside `rawWireFrame`.
CanonicalToolCall	Vendor-neutral tool call invocation block inside a `CanonicalMessage`.
CanonicalToolResult	Vendor-neutral tool execution result block inside a `CanonicalMessage`.
CheckEvaluationResult	Verification result returned by a `CheckASTNode` executor in `RuntimeExecutorRegistry.checks`.
CheckpointableScope	Tier-2 runtime driver contract for checkpointable isolation scopes (`capabilityTier: 'checkpointable' \| 'branchable'`).
ChildForkExecutionOutcome	Outcome returned by a child step execution inside a downward `.fork()` or `resumeFork` batch.
ChildInterruptHandlerBuilder	Fluent builder for upward child-interrupt handlers declared on a parent agent (`.onChildInterrupt(interrupt, $intr => ...)`).
ChildInterruptHandlerNode	Passive AST node representing an upward child-interrupt handler declared on a parent agent (`.onChildInterrupt(interrupt, $intr => ...)`).
ClaudeAccountSeatNode	Passive AST node representing an Anthropic Claude CLI subscription seat or API key seat.
ClaudeModelNode	Passive AST node representing an Anthropic Claude model configuration (`@paraharness/claude`).
CommandBuilder	Fluent builder for a deterministic TypeScript step command (`P.command(id)`).
CommandConfigOptions	Direct configuration object accepted by the 2-argument `P.command(id, options)` overload.
CommandNode	Passive AST node representing a deterministic TypeScript step command (`P.command(id)`).
CommitRunOverlayResult	Result returned by `TopologyStore.commitRunOverlay()` when a run's overlay lands in the base store.
CompactionConfigBuilder	Fluent configurator for ledger wire-frame compaction policies (`.compactWhen($c => ...)`).
CompactionConfigNode	Passive AST node defining ledger wire-frame compaction policies.
CompactionSignalTrigger	Signal-correlated ledger frame compaction trigger configuration.
CompactionTerminalExitTrigger	Terminal run exit state compaction trigger configuration.
CompiledWirePrefix	Run-immutable compiled prefix group artifact persisted in `LedgerStore.compiledPrefixesJson`.
CompileWirePrefixParams	Parameters for compiling all `PrefixGroupNode` instances at the start of a flow run (`SPEC.md` §3.2.1).
CompletedToolBatchResultRecord	Completed tool execution result entry accumulated within an assistant turn batch.
ContrastiveDistillationTrajectoryPair	Rejected-to-accepted trajectory pair supplied to contrastive lesson distillation (`SPEC.md` §3.4.3).
ControlPlaneAdapter	Runtime port for inbound control-plane servers (such as HTTP webhook listeners, MCP servers, or Slack bots).
ControlPlaneHandle	Active handle returned when a control-plane adapter starts listening for external commands or webhooks.
CreateAgentCapabilitiesBuilderOptions	Internal copy-on-write state for `createAgentCapabilitiesBuilder`.
CreateCommandBuilderState	Internal copy-on-write state for `createCommandBuilder`.
CreateHarnessBuilderState	Internal copy-on-write state for `createHarnessBuilder`.
CreateHumanBuilderState	Optional copy-on-write state for `createHumanBuilder`.
CreateLessonsBuilderOptions	Optional copy-on-write state for `createLessonsBuilder`.
CreateOrResumeRunInput	Input record passed to `LedgerStore.createOrResumeRun()`.
CreateOrResumeRunResult	Persisted run state returned by `LedgerStore.createOrResumeRun()`.
CreatePolicyBuilderState	Optional copy-on-write state for `createPolicyBuilder`.
CreatePoolBuilderState	Optional state parameters for constructing a `PoolBuilder` instance.
CreatePrefixGroupBuilderState	Optional copy-on-write state for `createPrefixGroupBuilder`.
CreateRulesBuilderState	Optional copy-on-write state for `createRulesBuilder`.
CreateScopedRuleBuilderState	Optional copy-on-write state for `createScopedRuleBuilder`.
CreateSkillBuilderState	Optional copy-on-write state for `createSkillBuilder`.
CreateStreamBuilderState	Optional copy-on-write state for `createStreamBuilder`.
CreateTopologyBuilderState	Optional copy-on-write state for `createTopologyBuilder`.
CrossVerifierBranchCandidate	Candidate branch descriptor supplied to a `CrossVerifierASTNode` executor in `RuntimeExecutorRegistry.crossVerifiers`.
CrossVerifierBuilder	Fluent builder contract for cross-candidate verification primitives (`git.patchEquivalence`, `git.publicSurfaceCrossTester`).
CustomDomainASTRegistry	Open declaration-mergeable registry for custom third-party domain adapter AST nodes.
CustomPoolStrategyNode	Passive AST node for user-supplied custom pool selector functions.
DenyWithErrorPolicyGuardClauseNode	Guard clause node that blocks unauthorized tool calls in-band with an `isError: true` tool result.
DistilledLessonCandidate	Structured output candidate produced by a contrastive lesson distillation model turn.
DrainToolBatchOutcome	Outcome returned by `drainPendingToolBatch()` after processing `PendingToolBatch.remainingCalls`.
EnqueueLaneItemOptions	Parameters for enqueuing a work item into `LaneScheduler.enqueueItem()` (`SPEC.md` §3.10).
EnvRef	Symbolic reference to an environment variable or secret resolved lazily at leaf runtime execution.
EscalateCapabilityBuilder	Fluent sub-builder for voluntary exogenous human escalation (`$cap.escalate(interrupt, $esc => ...)`).
EscalateCapabilityNode	Passive AST node representing a voluntary exogenous human escalation capability (`$cap.escalate(interrupt, $esc => ...)`).
EscalateLeaseElevationConfig	Conditional capability lease elevation rule evaluated when a human authority responds to an `.escalate()` request.
EscalateOnRetryPoolStrategyNode	Passive AST node for empirical retry-escalation pool strategies.
EscalateOnRetryStrategyBuilder	Fluent configurator for `'escalate-on-retry'` pool strategies (`$.escalateOnRetry()`).
EvaluateLessonSignalTriggersParams	Parameters for evaluating `.emitSignalWhen()` triggers on updated `LessonRecord` entries.
ExecutionContext	Step-level execution context carrying isolation scope handles, leases, observed effects, and environment resolution.
FlowBranchBuilder	Fluent builder for a conditional multi-way branch inside a `FlowNode` (`.branch(id, $b => ...)`).
FlowBranchCase	Conditional branch case entry (`when(predicate, $sub => ...)`) inside a `FlowBranchNode`.
FlowBranchNode	Passive AST node representing a conditional multi-way branch inside a `FlowNode` (`.branch(id, $b => ...)`).
FlowBuilder	Fluent builder for a declarative multi-step workflow (`P.flow(id)`).
FlowExecutionContext	Mutable runtime state and dependency context for executing a single `FlowNode` run (`SPEC.md` §3.9).
FlowNode	Passive AST node representing a declarative multi-step workflow (`P.flow(id)`).
FlowRunResult	Terminal outcome returned by `executeFlow()` (`SPEC.md` §3.9).
FlowStepConfigBuilder	Fluent step configurator passed to `flow.step(id, step, $s => ...)` and `subBranch.step(id, step, $s => ...)`.
FlowStepNode	Passive AST node representing a single sequential step inside a `FlowNode` (`.step(id, step, $s => ...)`).
FlowSubBranchBuilder	Fluent sub-builder passed to `FlowBranchBuilder.when(...)` and `FlowBranchBuilder.otherwise(...)`.
FlushStepLessonOutcomesParams	Parameters for flushing deduplicated step or loop lesson outcomes to `LessonStore`.
ForkBatchContinuationFrame	Serialized continuation frame for a concurrent batch of downward `.fork()` or `resumeFork` calls (`kind: 'fork-batch-frame'`).
ForkBatchEntryRecord	Per-fork execution entry inside a `ForkBatchContinuationFrame`.
ForkBatchExecutionParams	Parameters for executing a concurrent batch of downward `.fork()` or `resumeFork` calls (`SPEC.md` §3.7.2).
ForkBatchExecutionResult	Outcome returned by `executeForkBatch()` or `executeResumeForkBatch()` for the parent turn batch.
ForkCapabilityBuilder	Fluent sub-builder for a downward child fork capability (`$cap.fork(toolName, childExecutable, $f => ...)`).
ForkCapabilityNode	Passive AST node representing a downward child fork capability tool (`$cap.fork(toolName, childExecutable, $f => ...)`).
ForkContext	Context passed to `ModelDriver.prepareFork()` when initializing a downward child fork, speculative branch, or cross-model `P.loop` retry escalation.
ForkModelRoutingBuilder	Fluent sub-builder for downward fork model routing (`$f.modelRouting($m => ...)`).
ForkModelRoutingConfig	Conditional model routing configuration for downward child forks (`.modelRouting($m => ...)`).
ForkModelRoutingOtherwiseBuilder	Terminal sub-builder interface for downward fork model routing after `.inheritParentWithEffort(...)`.
FsAllowOnlyGuardNode	Passive AST node restricting filesystem writes strictly to an allowlist of globs (`fs.allowOnly`).
FsBoundaryGuardNode	Passive AST node blocking unapproved writes to partition `boundaryGlobs` (`fs.boundaryGuard`).
FsEditToolNode	Passive AST node for the workspace-jailed file editing tool (`fs:edit`).
FsGlobMatcherNode	Passive AST node matching `FsToolEffect` paths against POSIX glob patterns (`fs.matchGlobs`).
FsGlobSourceNode	Passive AST node loading multiple UTF-8 text files matching a glob pattern (`fs.glob`).
FsGlobToolNode	Passive AST node for the workspace-jailed file globbing tool (`fs:glob`).
FsGrepToolNode	Passive AST node for the workspace-jailed content search tool (`fs:grep`).
FsJsonlLessonStoreNode	Passive AST node configuring a host-root content-addressed JSON/JSONL lesson store (`fs.jsonlLessonStore`).
FsPartitionMapNode	Passive AST node mapping logical `TopologyNode` partitions to physical filesystem globs (`fs.partitionMap`).
FsPartitionPathMapping	Member implementation globs and public boundary surface globs mapped to a single topology partition.
FsProtectGuardNode	Passive AST node protecting specific glob patterns from write mutations (`fs.protect`).
FsQuotaTripwireNode	Passive AST node tripping when distinct mutated file paths in a session exceed `maxFilesMutated` (`fs.maxFilesMutated`).
FsReadOnlyGuardNode	Passive AST node denying all filesystem write operations (`fs.readOnly`).
FsReadToolNode	Passive AST node for the workspace-jailed file reading tool (`fs:read`).
FsRegexCheckNode	Passive AST node evaluating a forbidden regex pattern across mutated files matching `targetGlobs` (`fs.regexCheck`).
FsRequireReadBeforeWriteGuardNode	Passive AST node requiring an existing file to be read in the session before it is edited or overwritten (`fs.requireReadBeforeWrite`).
FsScopedWriteGuardNode	Passive AST node restricting writes to the actor's active partitions (`fs.scopedWrite`).
FsSecretLiteralsGuardNode	Passive AST node scanning proposed file writes for hardcoded secret literals (`fs.secretLiterals`).
FsTelemetryCollectorNode	Passive AST node collecting distinct read and mutated file paths from `FsToolEffect` records (`fs.telemetry`).
FsTextSourceNode	Passive AST node loading UTF-8 text from a single file path (`fs.text`).
FsWriteGuardNode	Passive AST node enforcing glob-based write allow/deny rules (`fs.writeGuard`).
FsWriteToolNode	Passive AST node for the workspace-jailed file writing tool (`fs:write`).
GeminiAccountSeatNode	Passive AST node representing a Google Gemini API key seat or CLI/ADC seat.
GeminiModelNode	Passive AST node representing a Google Gemini model configuration (`@paraharness/gemini`).
GitAbortMeta	Validated abort metadata produced by `git.snapshotAndReset()`.
GitCandidateComparisonToolNode	Passive AST node for speculative candidate comparison and benchmark tools (`git.candidateComparisonTools`).
GitCleanWorkingTreeNode	Passive AST node verifying that a `GitWorktreeHandle` has zero unresolved conflict paths or paired conflict markers.
GitCommitAndPushNode	Passive AST node squashing, rebasing, verifying, and pushing a worktree branch (`git.commitAndPush`).
GitCowWorktreeNode	Passive AST node configuring a Tier-3 branchable Copy-on-Write Git worktree scope (`git.cowWorktree`).
GitDiscardBranchNode	Passive AST node resetting a worktree to `targetStepBaseScopeCheckpoint` and clearing uncommitted run topology overlay mutations during `.rewindTo()` (`git.resetWorktree` / `git.discardBranch`).
GithubCreateOrUpdatePrNode	Passive AST node creating or updating a GitHub pull request (`github.createOrUpdatePr`).
GithubIssuesTrackerNode	Passive AST node configuring a GitHub Issues tracker adapter (`github.issues`).
GithubWebhookStreamNode	Passive AST node configuring a GitHub webhook event stream source (`github.webhookStream`).
GitKeepWorktreeNode	Passive AST node preserving a worktree's current working tree and topology overlay in-place across a signal-driven `.rewindTo()` (`git.keepWorktree`).
GitMergeQueueNode	Passive AST node executing cumulative batch merge-train verification (`git.mergeQueue`).
GitPatchEquivalenceNode	Passive AST node comparing patch equivalence across speculative worktree candidates (`git.patchEquivalence`).
GitPublicSurfaceCrossTesterNode	Passive AST node cross-executing boundary-only tests across speculative worktree candidates (`git.publicSurfaceCrossTester`).
GitReconcileStrategyConfig	Branch landing reconciliation strategy (`'rebase-onto-base'` or `'batch-merge-train'`) for `GitCowWorktreeNode`.
GitRefReaderToolNode	Passive AST node for read-only git object store inspection tools (`git.refReaderTools`).
GitScopeReceipt	Validated scope inspection receipt produced by `git.cowWorktree` (`inspect` and `commitChild`).
GitSnapshotAndResetNode	Passive AST node snapshotting an aborted worktree to `refs/harness/aborted/<run-id>/<stepExecId>` and resetting the working tree to `handle.baseRef` (`git.snapshotAndReset`).
GitSyncReceipt	Validated synchronization receipt produced by `git.cowWorktree` (`syncChild` and `syncRoot`).
GitWorktreeHandle	Runtime scope handle for an isolated Copy-on-Write Git worktree (`git.cowWorktree`).
GroundingSnapshotRecord	Run-start snapshot of a `.sharedGrounding()` source persisted on `CompiledWirePrefix`.
HarnessBuilder	Fluent builder for the root Paraharness application (`P.harness(id)`).
HarnessExecutionEngine	Factory interface for swappable execution engines that instantiate a `HarnessRuntime` from a passive `HarnessNode`.
HarnessNode	Root passive AST node representing a complete Paraharness application (`P.harness(id)`).
HarnessRuntime	Lifecycle handle for an instantiated Paraharness runtime engine.
HarnessRuntimeController	Programmatic control surface exposed to control-plane adapters and host processes for interacting with a live runtime.
HarnessRuntimeOptions	Configuration options supplied when instantiating a `HarnessRuntime` via `createRuntime(harness, options)`.
HarnessSignalNotification	Root-level signal notification rule routing an emitted `SignalNode` to a `HumanNode` channel.
HarnessSignalNotificationBuilder	Fluent sub-builder for a root-level signal notification rule (`harness.onSignal(sig, $sig => $sig.notify(human, mapper))`).
HierarchicalRewindDrainParams	Parameters for executing the 4-step Hierarchical Rewind Drain Barrier (`SPEC.md` §3.10).
HumanAdapter	Runtime port for outbound human notifications and bidirectional human-in-the-loop adjudications.
HumanBuilder	Fluent builder for external human authorities and notification channels (`P.human(id)`).
HumanDecisionRequest	Structured request payload delivered to a bidirectional `HumanAdapter` when awaiting a human decision.
HumanNode	Passive AST node representing an external human authority or notification target (`P.human(id)`).
InlineScopedRuleNode	Inline `ScopedRuleNode` variant whose `when` predicate and `directive` are declared directly in code.
InlineSkillNode	Inline `SkillNode` variant whose `description` and `instructions` are configured directly on `P.skill(id)`.
InRunGroundingDiffParams	Parameters for computing in-run grounding diffs against a pinned `CompiledWirePrefix`.
InterruptBuilder	Immutable fluent builder and property projection for `InterruptNode`.
InterruptEdgeBuilder	Fluent builder for an `.onInterrupt(interrupt, $intr => ...)` resolution edge on a flow step or actor.
InterruptEdgeResolution	Outcome returned by `resolveInterruptEdge()` when handling a policy, voluntary, or child interrupt (`SPEC.md` §3.5 & §3.6).
InterruptedStepBootRecord	Non-terminal run and step record returned by `LedgerStore.getInterruptedStepsOnBoot()`.
InterruptFlushPauseState	Pause state on `agent-frame` during `.onLimitExceeded()` epistemic flush or `.replaceWith()` abort cleanup.
InterruptNode	Passive AST node representing a synchronous upward interrupt raised by an actor or policy guard.
InterruptPayloadBuilder	Fluent builder returned by `P.interrupt(id)` with `.payload(schema)` configuration and direct AST property access.
IsolationScope	Tier-1 base runtime driver contract for isolated execution scopes (`capabilityTier: 'scope'`).
LaneBuilder	Fluent builder for a concurrent work execution lane (`P.lane(id)`).
LaneMaxCostConfig	Per-run USD budget ceiling and human approval target for a `LaneNode`.
LaneNode	Passive AST node representing a concurrent work execution lane (`P.lane(id)`).
LaneQueuedItemState	In-memory scheduling record for a work item tracked by `LaneScheduler` (`SPEC.md` §3.10).
LaneRetryConfig	Step retry and exponential backoff configuration for a `LaneNode`.
LaneRetryConfigBuilder	Fluent sub-builder for step retry and exponential backoff (`lane.retry($ => ...)`).
LaneSchedulerConfig	Configuration dependencies injected into `LaneScheduler` at construction time (`SPEC.md` §3.10).
LaneSignalHandlerBuilder	Fluent sub-builder for live signal steering and step rewind (`lane.onSignal(sig, $ => ...)`).
LaneSignalHandlerConfig	Live signal steering and step rewind handler configuration for a `LaneNode`.
LaneTrackerConfig	External issue tracker polling and state mapping configuration for a `LaneNode`.
LaneTrackerConfigBuilder	Fluent sub-builder for external issue tracker polling and state synchronization (`lane.tracker(adapter, $ => ...)`).
LaneWaitForConfig	Prerequisite dependency extraction and abandoned-dependency fallback configuration for a `LaneNode`.
LeaseDelta	JSON-serializable capability lease persisted on `ContinuationFrame` records in `LedgerStore`.
LedgerStore	Durable runtime storage port for flow runs, continuation call stacks, wire frames, suspended child forks, and lane DAG mutations.
LessonCreationEpochMetadata	Partition epoch and run attribution resolved for a newly distilled lesson (`SPEC.md` §3.4.3).
LessonDistillationBuilder	Fluent configurator for contrastive lesson distillation (`$d` in `.distillWith(model, $d => ...)`).
LessonDistillationConfig	Configuration for contrastive lesson distillation (`onLoopRecovery` and `onGateRecovery`).
LessonDistillationParams	Parameters for executing contrastive lesson distillation (`runContrastiveLessonDistillation`).
LessonEmitSignalTrigger	Signal emission trigger for promoting high-leverage lessons into permanent rules or checks.
LessonRecord	Stored empirical lesson record with sliding-window outcome history and relevance scoring metadata.
LessonRetirementBuilder	Fluent configurator for automatic lesson retirement thresholds (`$r` in `.retireAfter($r => ...)`).
LessonRetirementConfig	Automatic retirement thresholds for low-performing or violated lessons.
LessonsBuilder	Fluent builder for empirical lesson memory subsystems (`P.lessons(id)`).
LessonScoreContextParams	Optional partition and epoch context passed to `computeLessonScore()` and `selectRecalledLessons()`.
LessonScoringBuilder	Fluent configurator for lesson scoring and recall parameters (`$s` in `.scoring($s => ...)`).
LessonScoringConfig	Scoring and recall configuration for `P.lessons`.
LessonSignalTriggerBuilder	Fluent configurator for lesson promotion signal triggers (`$t` in `.emitSignalWhen(sig, $t => ..., mapper)`).
LessonsNode	Passive AST node representing an empirical lesson memory subsystem (`P.lessons(id)`).
LessonStore	Runtime storage port for querying, admitting, scoring, and retiring empirical lessons.
LimitExceededFlushParams	Parameters for executing the 4-step crash-safe `.onLimitExceeded()` sequence (`SPEC.md` §3.5).
LimitExceededFlushResult	Outcome returned by `executeLimitExceededSequence()` after completing Steps 1–4 (`SPEC.md` §3.5).
LocalCommandCheckNode	Passive AST node adapting a `LocalCommandNode` into a deterministic `CheckASTNode` (`cmd.asCheck()`).
LocalCommandNode	Passive AST node representing a one-shot local OS subprocess command (`local.command`).
LocalCommandToolNode	Passive AST node adapting a `LocalCommandNode` into a post-flight-diffed `ToolASTNode` (`cmd.asTool()`).
LocalCommandUnrepeatableConfig	Idempotency guard configuration on `LocalCommandNode` that skips execution when `preCheckCmd` returns `true`.
LocalServiceInteractionConfig	Framed pseudo-terminal (PTY) interaction tool specification exposed by a `LocalServiceNode`.
LocalServiceNode	Passive AST node representing a lifecycle-bound background daemon service (`local.daemon`).
LocalServiceToolNode	Passive AST node representing a post-flight-diffed interaction tool bound to a `LocalServiceNode`.
LocalStreamCheckCircuitBreakerConfig	Rolling-window regex circuit-breaker configuration over combined `stdout` and `stderr` for `LocalStreamCheckNode`.
LocalStreamCheckNode	Passive AST node representing a streaming subprocess check with rolling-window regex circuit-breaking (`local.streamCheck`).
LocalStreamCheckToolNode	Passive AST node adapting a `LocalStreamCheckNode` into a post-flight-diffed `ToolASTNode` (`streamCheck.asTool()`).
LoopActConfigBuilder	Builder descriptor interface for the `.act(stepId, actor)` step inside `P.loop(id)`.
LoopActStepConfig	Action step descriptor (`actStep`) inside a `LoopNode`.
LoopBuilder	Fluent builder for an iterative action-and-evaluation refinement loop (`P.loop(id)`).
LoopContinuationFrame	Serialized continuation frame for an iterative `P.loop` execution (`kind: 'loop-frame'`).
LoopEvaluateOptions	Configuration options passed to `LoopBuilder.evaluate(stepId, evaluator, options)`.
LoopEvaluatePhaseResult	Outcome returned by `runLoopEvaluatePhase()` after executing the evaluator agent on an `.act()` output (`SPEC.md` §3.8).
LoopEvaluateStepConfig	Evaluation step descriptor (`evaluateStep`) inside a `LoopNode`.
LoopExecutionState	Mutable execution state passed across `P.loop` iteration phase helpers (`Rule 3.1`).
LoopNode	Passive AST node representing an iterative action-and-evaluation refinement loop (`P.loop(id)`).
MarkdownFrontmatterSourceNode	Passive AST node loading frontmatter-annotated rules or skills from Markdown files (`md.*`).
MarkdownSectionSourceNode	Passive AST node extracting a specific Markdown heading section from a document (`md.section`).
ModelDriver	Runtime port for LLM provider protocol drivers (`@paraharness/claude`, `@paraharness/openai`, `@paraharness/gemini`).
ModelTurnRequest	Request parameters passed to `ModelDriver.invokeTurn()`.
ModelTurnResponse	Response returned by a single `ModelDriver.invokeTurn()` call.
ModelUsageMetrics	Token usage and cost metrics returned by a single `ModelDriver.invokeTurn()` call.
MutateLanePlanRequest	Request record passed to `LedgerStore.mutateLanePlan()` when spawning prerequisite tasks or adding dependencies.
MutateLanePlanSpawnedItem	Newly spawned work item entry inside a `MutateLanePlanRequest`.
MutatePlanCapabilityBuilder	Fluent sub-builder for dynamic lane plan and topology contract mutation capabilities (`$cap.mutatePlan($m => ...)`).
MutatePlanCapabilityNode	Passive AST node representing dynamic lane plan and topology contract mutation capabilities (`$cap.mutatePlan($m => ...)`).
NodeAllowBinariesNode	Passive AST node restricting subprocess execution to an explicit allowlist of binary names (`local.allowBinaries`).
NodeDenyNetworkNode	Passive AST node denying outbound network access during subprocess execution (`local.denyNetwork`).
NodeHttpControlPlaneNode	Passive AST node exposing a local HTTP control-plane endpoint (`local.httpControlPlane`).
NodeMcpSseNode	Passive AST node exposing a Model Context Protocol (MCP) server over HTTP/SSE (`mcp.server` / `local.mcpSse`).
NodeMcpStdioNode	Passive AST node exposing a Model Context Protocol (MCP) server over standard I/O (`local.mcpStdio`).
NodeRunnerNode	Passive AST node representing a local OS subprocess and daemon concurrency pool (`local.runner`).
OpenAiAccountSeatNode	Passive AST node representing an OpenAI API key seat or Codex CLI subscription seat.
OpenAiModelNode	Passive AST node representing an OpenAI Responses API model configuration (`@paraharness/openai`).
PendingAdjudicationRecord	Pending interrupt adjudication metadata persisted inside `AdjudicationPauseState`.
PendingPauseTriggerRecord	Trigger metadata recorded on `ForkBatchContinuationFrame.pendingPauseTriggers` when a child fork raises an upward interrupt during a turn-batch barrier wait.
PendingPreFlightCall	Violation record for a single tool call blocked pre-flight or post-flight by a policy guard clause.
PendingToolBatch	Durable turn-batch state persisted on `agent-frame` across tool executions, fork/speculate sub-frames, prerequisite suspensions, and interrupt adjudications.
PlanMutationParams	Parameters for executing `.mutatePlan()` capability tools (`spawnTasks`, `addDependencies`, `updatePartitionContract`).
PlanMutationResult	Outcome returned by `executeSpawnTasks()` or `executeAddDependencies()`.
PNamespace	Root declarative builder namespace (`P`) for constructing passive Paraharness AST definitions.
PolicyBuilder	Fluent builder for capability and sandbox policies (`P.policy(id)`).
PolicyEvaluationResult	Result of evaluating pre-flight or post-flight policy guard clauses (`SPEC.md` §3.5).
PolicyGuardClauseBuilder	Intermediate fluent builder returned by `P.policy(id).guard(...guards)` requiring `.onViolation(...)`.
PolicyGuardEvaluationInput	Input payload supplied to a `PolicyGuardASTNode` executor in `RuntimeExecutorRegistry.policyGuards`.
PolicyGuardEvaluationResult	Result returned by a `PolicyGuardASTNode` executor in `RuntimeExecutorRegistry.policyGuards`.
PolicyLimitExceededBuilder	Fluent configurator for limit-exceeded flush and abort handling (`$limit` in `.onLimitExceeded`).
PolicyLimitExceededConfig	Epistemic flush and abort hook configuration executed when a quantitative policy limit or tripwire is breached.
PolicyNode	Passive AST node representing a capability and sandbox policy (`P.policy(id)`).
PolicyViolation	Aggregated policy violation descriptor passed to `.onViolation(...)` mappers when a guard clause rejects a tool call or batch.
PoolBuilder	Fluent builder for capacity and model pools (`P.pool(id)`).
PoolCandidateRuntimeMetrics	Mutable per-candidate runtime telemetry and rate-limit state inside a `PoolRuntimeState`.
PoolCandidateState	Runtime telemetry and rate-limit state for a single candidate item inside a capacity pool.
PoolModelSelectionOptions	Optional retry and timestamp parameters supplied to `PoolManager.selectModel()` (`SPEC.md` §3.2).
PoolNode	Passive AST node representing a capacity pool of account seats or models.
PoolRuntimeState	Per-pool runtime state managed by `PoolManager` (`SPEC.md` §3.2).
PoolSelectionContext	Contextual metadata passed to a pool selection strategy during candidate resolution.
PoolStrategyBuilder	Fluent configurator passed to `P.pool(id).strategy(($) => ...)`.
PostFlightSandboxParams	Parameters for executing a tool with `effectTracking === 'subprocess-post-flight'` (`SPEC.md` §3.5).
PostFlightSandboxResult	Outcome returned by `executePostFlightSandboxedTool()` after running a `'subprocess-post-flight'` tool (`SPEC.md` §3.5).
PostgresLedgerNode	Passive AST node configuring a PostgreSQL ledger store (`postgres.ledger`).
PostgresLessonsNode	Passive AST node configuring a PostgreSQL lesson store (`postgres.lessonStore`).
PostgresRulesSourceNode	Passive AST node loading global rules from a PostgreSQL table (`postgres.globalRules`).
PostgresTopologyNode	Passive AST node configuring a PostgreSQL topology store (`postgres.topologyStore`).
PostRaceResolution	Post-race classification computed by `resolvePostRaceCases()` (`SPEC.md` §3.7.2 Capability 2).
PrecedingCompletedToolResult	Completed tool execution result for a preceding regular tool call `(1..m)` in an assistant turn that also dispatches a `'clone-transcript'` downward fork.
PrefixGroupBuilder	Fluent builder for run-immutable KV-cache prompt prefix groups (`P.prefixGroup(id)`).
PrefixGroupNode	Passive AST node representing a shared KV-cache prompt prefix group (`P.prefixGroup(id)`).
PreFlightBatchEvalParams	Parameters for evaluating pre-flight policy guards across a pending tool call batch `(i..k)`.
PrepareForkTarget	Target model and tombstone substitution options passed to `ModelDriver.prepareFork()`.
PrerequisiteWaitPauseState	Pause state on `agent-frame` when suspended via `onPrerequisiteSpawned: 'suspend-and-yield-slot'`.
QuotaTripwireEvaluationInput	Input payload supplied to a `QuotaTripwireASTNode` executor in `RuntimeExecutorRegistry.quotaTripwires`.
QuotaTripwireEvaluationResult	Result returned by a `QuotaTripwireASTNode` executor in `RuntimeExecutorRegistry.quotaTripwires`.
RaiseInterruptPolicyGuardClauseNode	Guard clause node that intercepts unauthorized tool calls and raises a structured `InterruptNode`.
ReacquireSkillServicesParams	Parameters for re-acquiring all active skill services prior to draining `remainingCalls` on resume (`SPEC.md` §3.4.2).
RecalledLoopLessonRecord	Recalled lesson summary persisted on `LoopContinuationFrame` and forwarded into `.evaluate()`.
ReconcileCleanResult	Clean 3-way scope reconciliation result returned by `commitChild`, `syncChild`, or `syncRoot`.
ReconcileConflictResult	Conflicted 3-way scope reconciliation result returned when concurrent changes overlap.
RecordStepStartInput	Input record passed to `LedgerStore.recordStepStart()`.
RecordStepTransitionInput	Input record passed to `LedgerStore.recordStepTransition()`.
RecoverInterruptedRunParams	Parameters for recovering a non-terminal run returned by `LedgerStore.getInterruptedStepsOnBoot()` (`SPEC.md` §3.10).
RemainingToolCallRecord	Entry in the declaration-ordered queue of unfinished tool calls (`remainingCalls`) for an assistant turn.
ReplaceInterruptBuilder	Compiled builder returned by `InterruptEdgeBuilder.replaceWith(replacementExecutable, mapReplacementInput)`.
ReplaceInterruptHandlerNode	Interrupt handler variant (`mode: 'replace'`) that aborts the current step, runs cleanup hooks, and promotes to a replacement executable.
ReplaceWithPromotionParams	Parameters for promoting a `.replaceWith(replacementActor, mapInput)` handler on a flow step (`SPEC.md` §3.6 & §3.9).
ResolutionContext	Read-only context supplied to `SourceASTNode` executors when loading prompts, rules, skills, or guidelines.
ResolvedSourceArtifact	Resolved artifact returned by a `SourceASTNode` executor in `RuntimeExecutorRegistry.sources`.
RewindHookExecutionInput	Input payload supplied to a `ScopeRewindHookASTNode` executor in `RuntimeExecutorRegistry.rewindHooks`.
RoleAndScopeContextFrameParams	Parameters for constructing the Turn-0 `[ROLE_AND_SCOPE_CONTEXT]` user message frame.
RulesBuilder	Fluent builder for rule registries (`P.rules(id)`).
RulesNode	Passive AST node representing a rule registry (`P.rules(id)`) combining always-on global rules and conditional scoped rules.
RunnerDriver	Runtime concurrency limiter for one-shot subprocess slots and background daemon sessions.
RunTerminalReceiptRecord	Terminal run receipt entry returned by `LedgerStore.getRunTerminalReceipts()`.
RuntimeDriverContext	Root runtime driver context supplied to adapter factory functions in `RuntimeExecutorRegistry`.
RuntimeExecutorRegistry	Complete runtime lookup table mapping every `DomainASTNode` category and `type` discriminant to its executor or driver factory.
RuntimeExecutorRegistrySlice	Partial slice of `RuntimeExecutorRegistry` exported by an individual domain adapter package.
ScopedHumanNameBuilder	Intermediate fluent builder returned by `human.withName(alias)` before binding `.output(responseSchema)`.
ScopedHumanTargetBuilder	Fluent builder representing a scoped human target (`human.withName(alias).output(schema)`).
ScopedHumanTargetNode	Passive AST node representing a role-aliased bidirectional human decision target with a bound output schema (`human.withName(alias).output(schema)`).
ScopedRuleBuilder	Fluent builder for partition- or effect-scoped rules (`P.scopedRule(idOrSource)`).
ScopeLockEntryState	Per-handle read/write lock state tracked by `ScopeLockManager`.
ScopeLockQueuedTurn	Ordered queued turn descriptor in `ScopeLockEntryState.queuedTurns`.
ScopeLockQueueWaiter	Queued shared-read waiter entry inside a `ScopeLockReaderBatchState`.
ScopeLockReaderBatchState	Reader-batch turn state coordinated on a handle's `PQueue` (`concurrency: 1`).
ScopePredicateInput	Input predicate shape accepted by `P.scopedRule(...).when(...)` and `P.skill(...).when(...)`.
ServiceSession	Live background daemon session spawned from a `ServiceASTNode` within an isolation scope.
ServiceStartInput	Input payload supplied to a `ServiceASTNode` executor in `RuntimeExecutorRegistry.services`.
ServiceToolSchemaDescriptor	Static wire tool schema descriptor declared by a lifecycle-bound `BaseServiceASTNode`.
SignalBuilder	Immutable fluent builder and property projection for `SignalNode`.
SignalNode	Passive AST node representing an asynchronous signal routed across streams, lanes, and stores.
SignalPayloadBuilder	Fluent builder returned by `P.signal(id)` with `.payload(schema)` configuration and direct AST property access.
SkillBuilder	Fluent builder for pull-based procedural skills (`P.skill(idOrSource)`).
SlackApproverNode	Passive AST node configuring a bidirectional Slack Socket Mode human approver and control plane (`slack.bot`).
SlackNotifierNode	Passive AST node configuring a one-way notify-only Slack incoming webhook channel (`slack.webhook`).
SourcedScopedRuleNode	Source-backed `ScopedRuleNode` variant loaded from a `SourceASTNode<ScopedRule>` (such as `md.frontmatter`).
SourcedSkillNode	Source-backed `SkillNode` variant loaded from a `SourceASTNode<SkillNode<THandle>>` (such as `md.frontmatter`).
SpawnTaskInputEntry	Raw task descriptor supplied to `executeSpawnTasks()`.
SpawnTasksBuilderOptions	Options passed to `MutatePlanCapabilityBuilder.canSpawnTasks(itemSchema, options)`.
SpawnTasksConfig	Configuration for the `spawnTasks` plan-mutation capability tool (`canSpawnTasks`).
SpawnTasksSignalResumeCondition	Signal-correlated wakeup condition for a parent run suspended after spawning prerequisite tasks.
SpeculateArbiterConfig	Arbiter configuration (`arbiter`) for judging multiple completed or parked speculative branches.
SpeculateBranchEntryRecord	Per-branch execution entry inside a `SpeculateContinuationFrame`.
SpeculateBufferedLessonOutcomeRecord	Buffered lesson outcome batch for a single speculative candidate branch.
SpeculateCapabilityBuilder	Fluent sub-builder for a parallel speculative tournament capability (`$cap.speculate(toolName, $s => ...)`).
SpeculateCapabilityNode	Passive AST node representing a parallel speculative tournament capability (`$cap.speculate(toolName, $s => ...)`).
SpeculateContinuationFrame	Serialized continuation frame for a `.speculate()` tournament (`kind: 'speculate-frame'`).
SpeculateHumanRulingRecord	Historical human ruling entry recorded when an arbiter unparks an escalated speculative branch.
SpeculateRefineWinnerConfig	Optional post-arbitration refinement step (`refineWinnerWhen`) for synthesizing cross-candidate improvements on the winning branch.
SpeculateTournamentParams	Parameters for executing a parallel `.speculate()` tournament (`SPEC.md` §3.7.2 Capability 2).
SpeculateTournamentResult	Outcome returned by `executeSpeculateTournament()` for the parent assistant turn batch.
SpeculateVerifyWinnerConfig	Optional sole-survivor verification gate (`verifyWinnerWith`) for uncontested speculative tournaments.
SqliteLedgerNode	Passive AST node configuring a WAL-mode SQLite ledger store (`sqlite.ledger`).
SqliteLessonsNode	Passive AST node configuring a WAL-mode SQLite lesson store (`sqlite.lessonStore`).
SqliteRulesSourceNode	Passive AST node loading global rules from a SQLite table (`sqlite.globalRules`).
SqliteTopologyNode	Passive AST node configuring a WAL-mode SQLite topology store (`sqlite.topologyStore`).
StandardPoolStrategyNode	Passive AST node for built-in non-escalating capacity pool selection strategies.
StepExecutionContext	Extended step execution context combining `ExecutionContext<THandle>` with `RuntimeExecutorRegistry`.
StreamBuilder	Fluent builder for inbound event streams (`P.stream(id)`).
StreamNode	Passive AST node representing an inbound event stream (`P.stream(id)`).
StreamSource	Runtime port for asynchronous event stream sources (`@paraharness/github`).
StreamSubscriptionHandle	Active subscription handle returned by `StreamSource.subscribe()`.
SuspendedForkRecord	Durable ledger record representing a downward child fork suspended by an upward interrupt (`INTERRUPT_RAISED`) or paused at the turn-batch barrier by a sibling interrupt (`PAUSED_BY_SIBLING_INTERRUPT`).
SyncPrerequisitesParams	Parameters for `syncSuspendedRunPrerequisites()` during `'SUSPENDED'` wakeup or initial `QUEUED -> RUNNING` start.
ToolBatchPauseState	Tool-batch pause state on `agent-frame` while iterating or suspending across assistant tool calls `(1..k)`.
ToolDriver	Runtime port for executing a `ToolASTNode` and optionally predicting its pre-flight `ToolEffect` list.
ToolEffect	Domain-agnostic effect descriptor emitted pre-flight by `ToolDriver.describeEffects()` or synthesized post-flight by `CheckpointableScope.diffEffects()`.
ToolExecutionResult	Structured result payload returned by a `ToolDriver.execute` or `ServiceSession.invokeTool` call.
TopologyBuilder	Fluent builder and query surface for relational partition topologies (`P.topology(id)`).
TopologyCommitOverlayBuilderInput	Builder input options for `P.topology(id).commitOverlayWhen(...)`, accepting `MaybeBuilder<SignalNode>` on signal triggers.
TopologyCommitOverlayConfig	Lifecycle policy governing when a run's Copy-on-Write topology overlay commits to the base store.
TopologyConfigBuilder	Fluent builder for relational system topologies (`P.topology(id)`), extending `TopologyBuilder<TPartition>`.
TopologyNode	Passive AST node defining the directed acyclic graph (DAG) of logical system partitions.
TopologyPartitionConstraint	Dependency constraint declaration for a single partition in a relational `TopologyNode`.
TopologyPartitionState	Live or overlay state record for a single logical partition in `TopologyStore`.
TopologySignalCorrelation	Signal-to-run correlation rule for committing or discarding a sealed topology overlay.
TopologyStore	Runtime storage port for run-isolated Copy-on-Write partition contract overlays and 3-way commits.
TrackerAdapter	Runtime adapter port for external issue or ticket trackers (`@paraharness/github`).
UniversalStepTelemetry	Universal step execution telemetry record passed to `.replaceWith()` mappers and persisted in `LedgerStore`.
WireFrameRecord	Immutable ledger record capturing both the exact vendor wire payload (`rawWireFrame`) and its vendor-neutral `CanonicalMessage` projection.
WireToolSchema	JSON-serializable tool schema entry compiled into `CompiledWirePrefix`.

Type Aliases

AbortHookASTNode

type AbortHookASTNode<THandle, TAbortMeta> = 
  | GitSnapshotAndResetNode
  | CustomDomainAST<"abortHook">
  | THandle extends never ? never : never
  | TAbortMeta extends never ? never : never;

Defined in: ast/domain-ast.types.ts:165

Workspace-wide discriminated union of scope abort hook AST nodes.

Type Parameters

Type Parameter	Default type	Description
`THandle`	`unknown`	Isolation scope handle type.
`TAbortMeta` extends `Record`<`string`, `unknown`>	`Record`<`string`, `unknown`>	Validated abort metadata record shape.

AccountSeatASTNode

type AccountSeatASTNode = 
  | ClaudeAccountSeatNode
  | OpenAiAccountSeatNode
  | GeminiAccountSeatNode
| CustomDomainAST<"accountSeat">;

Defined in: ast/domain-ast.types.ts:204

Workspace-wide discriminated union of LLM provider account seat AST nodes.

AgentPauseState

type AgentPauseState = 
  | ActiveTurnPauseState
  | ToolBatchPauseState
  | BeforeStopGatePauseState
  | AdjudicationPauseState
  | PrerequisiteWaitPauseState
  | InterruptFlushPauseState;

Defined in: ports/agent-pause-state.types.ts:11

Discriminated union consolidating mutually exclusive phase-specific pause payloads on AgentContinuationFrame.

BaseStepASTNode

type BaseStepASTNode<TType, TIn, TOut, THandle> = BaseDomainStepASTNode<TType, TIn, TOut, THandle>;

Defined in: ast/base/base-domain-ast.types.ts:20

Alias for BaseDomainStepASTNode used by external step adapter packages.

Type Parameters

Type Parameter	Default type	Description
`TType` extends `string`	`string`	String-literal discriminant of the domain step node.
`TIn`	`unknown`	Validated step input payload type.
`TOut`	`unknown`	Validated step output payload type.
`THandle`	`unknown`	Isolation scope handle type required by the step.

BivariantCallback

type BivariantCallback<TArgs, TResult> = object["bivarianceHack"];

Defined in: ast/ast-foundation.types.ts:11

Bivariant function type enabling covariance across generic AST node and port collections under strictFunctionTypes: true without any.

Type Parameters

Type Parameter	Default type	Description
`TArgs` extends readonly `unknown`[]	-	Ordered tuple of function parameter types.
`TResult`	`unknown`	Function return type.

BudgetApproval

type BudgetApproval = z.infer<typeof BudgetApprovalSchema>;

Defined in: schemas/budget-and-lesson.schema.ts:15

Validated human budget approval decision payload.

BuiltInCheckASTNode

type BuiltInCheckASTNode<THandle> = 
  | LocalStreamCheckNode<THandle>
  | LocalCommandCheckNode<THandle>
  | FsRegexCheckNode<THandle>
  | GitCleanWorkingTreeNode;

Defined in: ast/domain-ast.types.ts:122

Built-in deterministic check AST node union across @paraharness/{node,fs,git}.

Type Parameters

Type Parameter	Default type	Description
`THandle`	`unknown`	Isolation scope handle type.

BuiltInGuardASTNode

type BuiltInGuardASTNode = 
  | FsProtectGuardNode
  | FsReadOnlyGuardNode
  | FsAllowOnlyGuardNode
  | FsRequireReadBeforeWriteGuardNode
  | FsScopedWriteGuardNode
  | FsSecretLiteralsGuardNode
  | FsWriteGuardNode
  | FsBoundaryGuardNode
  | NodeAllowBinariesNode
  | NodeDenyNetworkNode;

Defined in: ast/domain-ast.types.ts:140

Built-in policy guard AST node union across @paraharness/{fs,node}.

BuiltInToolASTNode

type BuiltInToolASTNode<THandle> = 
  | FsReadToolNode<THandle>
  | FsEditToolNode<THandle>
  | FsWriteToolNode<THandle>
  | FsGlobToolNode<THandle>
  | FsGrepToolNode<THandle>
  | LocalCommandToolNode<THandle>
  | LocalStreamCheckToolNode<THandle>
  | LocalServiceToolNode<THandle>
  | GitRefReaderToolNode<THandle>
| GitCandidateComparisonToolNode<THandle>;

Defined in: ast/domain-ast.types.ts:108

Built-in tool AST node union across @paraharness/{fs,node,git}.

Type Parameters

Type Parameter	Default type	Description
`THandle`	`unknown`	Isolation scope handle type.

CheckASTNode

type CheckASTNode<THandle> = 
  | BuiltInCheckASTNode<THandle>
  | CustomDomainAST<"check">
| CustomDomainAST<"evaluator">;

Defined in: ast/domain-ast.types.ts:128

Workspace-wide discriminated union of deterministic check AST nodes.

Type Parameters

Type Parameter	Default type	Description
`THandle`	`unknown`	Isolation scope handle type.

CleanReconcileResult

type CleanReconcileResult<TData> = ReconcileCleanResult<TData>;

Defined in: ports/reconcile-result.types.ts:9

Alias for ReconcileCleanResult representing a conflict-free 3-way scope reconciliation result.

Type Parameters

Type Parameter	Default type	Description
`TData`	`unknown`	Scope inspection receipt (`TReceipt`) or sync receipt (`TSync`) type.

ConflictReconcileResult

type ConflictReconcileResult<TData> = ReconcileConflictResult<TData>;

Defined in: ports/reconcile-result.types.ts:16

Alias for ReconcileConflictResult representing a conflicted 3-way scope reconciliation result.

Type Parameters

Type Parameter	Default type	Description
`TData`	`unknown`	Scope inspection receipt (`TReceipt`) or sync receipt (`TSync`) type.

ContinuationFrame

type ContinuationFrame = 
  | AgentContinuationFrame
  | LoopContinuationFrame
  | ForkBatchContinuationFrame
  | SpeculateContinuationFrame;

Defined in: ports/continuation-frame.types.ts:12

Discriminated union of serialized tree-structured execution frames persisted in LedgerStore.

Preserves composite P.loop, P.agent, downward .fork() / resumeFork batches, and .speculate() tournaments across upward interrupt suspensions and process crash recovery.

ControlPlaneASTNode

type ControlPlaneASTNode = 
  | NodeMcpStdioNode
  | NodeMcpSseNode
  | NodeHttpControlPlaneNode
  | SlackApproverNode
| CustomDomainAST<"controlPlane">;

Defined in: ast/domain-ast.types.ts:234

Workspace-wide discriminated union of inbound control-plane AST nodes.

CoreASTNode

type CoreASTNode = 
  | HarnessNode
  | LaneNode
  | FlowNode
  | FlowStepNode
  | FlowBranchNode
  | AgentNode
  | LoopNode
  | CommandNode
  | PolicyNode
  | PolicyGuardClauseNode
  | ForkCapabilityNode
  | SpeculateCapabilityNode
  | MutatePlanCapabilityNode
  | EscalateCapabilityNode
  | AgentCapabilitiesNode
  | ChildInterruptHandlerNode
  | InterruptHandlerNode
  | PoolNode
  | PoolStrategyNode
  | TopologyNode
  | RulesNode
  | ScopedRuleNode
  | SkillNode
  | LessonsNode
  | PrefixGroupNode
  | SignalNode
  | InterruptNode
  | StreamNode
  | HumanNode
  | ScopedHumanTargetNode
  | CompactionConfigNode
  | EnvRef;

Defined in: ast/core-ast-node.types.ts:35

Complete union of all @paraharness/core passive AST nodes.

CrossTesterASTNode

type CrossTesterASTNode<TCrossReport> = 
  | GitPublicSurfaceCrossTesterNode<TCrossReport>
| CustomDomainAST<"crossTester">;

Defined in: ast/domain-ast.types.ts:182

Workspace-wide discriminated union of public-surface cross-tester AST nodes.

Type Parameters

Type Parameter	Default type	Description
`TCrossReport`	`unknown`	Validated cross-verification report type.

CrossVerifierASTNode

type CrossVerifierASTNode<THandle, TReceipt, TCrossReport> = 
  | PatchEquivalenceASTNode<TCrossReport>
  | CrossTesterASTNode<TCrossReport>
  | CustomDomainAST<"crossVerifier">
  | THandle extends never ? never : never
  | TReceipt extends never ? never : never;

Defined in: ast/domain-ast.types.ts:189

Workspace-wide discriminated union of speculative cross-verifier AST nodes.

Type Parameters

Type Parameter	Default type	Description
`THandle`	`unknown`	Isolation scope handle type.
`TReceipt` extends `Record`<`string`, `unknown`>	`Record`<`string`, `unknown`>	Inspected scope receipt record shape.
`TCrossReport`	`unknown`	Validated cross-verification report type.

CustomDomainAST

type CustomDomainAST<K> = 
  | K extends keyof CustomDomainASTRegistry ? CustomDomainASTRegistry[K] : never
  | { [P in keyof CustomDomainASTRegistry]: P extends `${K}:${string}` ? CustomDomainASTRegistry[P] : never }[keyof CustomDomainASTRegistry];

Defined in: ast/custom-domain-ast.types.ts:13

Resolves custom domain AST node types registered under either exact category key K or namespaced ${K}:${string} keys inside CustomDomainASTRegistry.

Supporting both exact keys (scope, tool, guard) and namespaced keys (tool:stripe, scope:netsuite) allows multiple third-party domain packages to augment CustomDomainASTRegistry simultaneously in the same compilation unit without TypeScript TS2717 property type collisions.

Type Parameters

Type Parameter	Description
`K` extends `string`	Category key prefix to extract from `CustomDomainASTRegistry`.

DomainASTNode

type DomainASTNode = 
  | IsolationScopeASTNode
  | DomainStepASTNode
  | ToolASTNode
  | CheckASTNode
  | ServiceASTNode
  | PolicyGuardASTNode
  | QuotaTripwireASTNode
  | TelemetryCollectorASTNode
  | AbortHookASTNode
  | ScopeRewindHookASTNode
  | CrossVerifierASTNode
  | SourceASTNode
  | AccountSeatASTNode
  | ModelASTNode
  | LedgerStoreASTNode
  | TopologyStoreASTNode
  | LessonStoreASTNode
  | TrackerASTNode
  | StreamSourceASTNode
  | HumanChannelASTNode
  | ControlPlaneASTNode
  | EffectMatcherASTNode
  | RunnerPoolASTNode
  | FsPartitionMapNode;

Defined in: ast/domain-ast.types.ts:241

Complete union of all adapter-supplied passive domain AST nodes.

DomainStepASTNode

type DomainStepASTNode<TIn, TOut, THandle> = 
  | LocalCommandNode<TIn, TOut, THandle>
  | LocalStreamCheckNode<THandle>
  | GitCommitAndPushNode<TIn>
  | GitMergeQueueNode<TIn, TOut>
  | GithubCreateOrUpdatePrNode<TIn, TOut, THandle>
| CustomDomainAST<"step">;

Defined in: ast/domain-ast.types.ts:92

Workspace-wide discriminated union of adapter-supplied domain step AST nodes.

Type Parameters

Type Parameter	Default type	Description
`TIn`	`unknown`	Step input payload type.
`TOut`	`unknown`	Step output payload type.
`THandle`	`unknown`	Isolation scope handle type.

EffectMatcherASTNode

type EffectMatcherASTNode = 
  | FsGlobMatcherNode
| CustomDomainAST<"effectMatcher">;

Defined in: ast/domain-ast.types.ts:237

Workspace-wide discriminated union of capability lease effect matcher AST nodes.

EvaluatorASTNode

type EvaluatorASTNode<THandle> = CheckASTNode<THandle>;

Defined in: ast/domain-ast.types.ts:133

Alias for CheckASTNode<THandle>.

Type Parameters

Type Parameter	Default type	Description
`THandle`	`unknown`	Isolation scope handle type.

ExtractAbortMeta

type ExtractAbortMeta<THook> = THook extends object ? TAbortMeta : Record<string, unknown>;

Defined in: builders/flow-extraction.types.ts:80

Extracts the validated abort metadata type TAbortMeta from an AbortHookASTNode.

Evaluates to Record<string, unknown> when THook does not declare a metaSchema property.

Type Parameters

Type Parameter	Description
`THook`	Abort hook AST node type.

ExtractEvalScopeReceipt

type ExtractEvalScopeReceipt<TEvalIn> = TEvalIn extends object ? TReceipt : unknown;

Defined in: builders/flow-extraction.types.ts:123

Extracts the scopeReceipt property type from an evaluator agent's input payload type when present.

Evaluates to unknown when TEvalIn does not declare a scopeReceipt field.

Type Parameters

Type Parameter	Description
`TEvalIn`	Evaluator agent input payload type.

ExtractScopeHandle

type ExtractScopeHandle<TScope> = TScope extends BaseIsolationScopeASTNode<string, infer THandle, Record<string, unknown>, Record<string, unknown>> ? THandle : unknown;

Defined in: builders/flow-extraction.types.ts:12

Extracts the runtime scope handle type THandle from an IsolationScopeASTNode.

Evaluates to unknown when TScope does not extend BaseIsolationScopeASTNode.

Type Parameters

Type Parameter	Description
`TScope`	Isolation scope AST node type.

ExtractScopeReceipt

type ExtractScopeReceipt<TScope> = TScope extends object ? TReceipt : unknown;

Defined in: builders/flow-extraction.types.ts:28

Extracts the inspected scope receipt type TReceipt from an IsolationScopeASTNode.

Evaluates to unknown when TScope does not declare a receiptSchema property.

Type Parameters

Type Parameter	Description
`TScope`	Isolation scope AST node type.

ExtractSpeculationCandidate

type ExtractSpeculationCandidate<TArbiterIn> = TArbiterIn extends object ? TCandidate : unknown;

Defined in: builders/flow-extraction.types.ts:136

Extracts the candidate union element type from an arbiter agent's SpeculationInputSchema input type.

Evaluates to unknown when TArbiterIn does not declare a candidates array property.

Type Parameters

Type Parameter	Description
`TArbiterIn`	Arbiter agent input type.

ExtractStepInput

type ExtractStepInput<TStep> = TStep extends object ? TIn : unknown;

Defined in: builders/flow-extraction.types.ts:54

Extracts the validated input payload type TIn from a StepASTNode.

Evaluates to unknown when TStep does not declare an inputSchema property.

Type Parameters

Type Parameter	Description
`TStep`	Step AST node type.

ExtractStepOutput

type ExtractStepOutput<TStep> = TStep extends object ? TOut : unknown;

Defined in: builders/flow-extraction.types.ts:67

Extracts the validated output payload type TOut from a StepASTNode.

Evaluates to unknown when TStep does not declare an outputSchema property.

Type Parameters

Type Parameter	Description
`TStep`	Step AST node type.

ExtractTelemetryMetrics

type ExtractTelemetryMetrics<TCollector> = TCollector extends object ? TMetrics : Record<string, unknown>;

Defined in: builders/flow-extraction.types.ts:41

Extracts the custom telemetry metrics type TMetrics from a TelemetryCollectorASTNode.

Evaluates to Record<string, unknown> when TCollector does not declare a schema property.

Type Parameters

Type Parameter	Description
`TCollector`	Telemetry collector AST node type.

ExtractTrackerExternal

type ExtractTrackerExternal<TAdapter> = TAdapter extends BaseTrackerASTNode<string, infer TExternal, string> ? TExternal : unknown;

Defined in: builders/flow-extraction.types.ts:93

Extracts the external issue payload type TExternal from a TrackerASTNode.

Evaluates to unknown when TAdapter does not extend BaseTrackerASTNode.

Type Parameters

Type Parameter	Description
`TAdapter`	Tracker AST node type.

ExtractTrackerState

type ExtractTrackerState<TAdapter> = TAdapter extends BaseTrackerASTNode<string, unknown, infer TExternalState> ? TExternalState : string;

Defined in: builders/flow-extraction.types.ts:108

Extracts the external state string type TExternalState from a TrackerASTNode.

Evaluates to string when TAdapter does not extend BaseTrackerASTNode.

Type Parameters

Type Parameter	Description
`TAdapter`	Tracker AST node type.

FlowStepInputMapper

type FlowStepInputMapper<TIn, TFlowIn, TReceipt, TStepOutputs> = BivariantCallback<[flowInput: TFlowIn, priorSteps: TStepOutputs, scopeReceipt: TReceipt], TIn>;

Defined in: ast/flow-step-input-mapper.types.ts:11

Synchronous step input projection function mapping (flowInput, priorSteps, scopeReceipt) to TIn.

Type Parameters

Type Parameter	Default type	Description
`TIn`	`unknown`	Target step input payload type.
`TFlowIn`	`unknown`	Enclosing flow input payload type.
`TReceipt`	`unknown`	Inspected scope receipt type.
`TStepOutputs`	`unknown`	Prior step outputs map type.

GlobalRule

type GlobalRule = z.infer<typeof GlobalRuleSchema>;

Defined in: schemas/core-rules.schema.ts:28

Validated global rule record injected into the static system prompt or Turn-0 context.

GuardASTNode

type GuardASTNode<THandle> = 
  | BuiltInGuardASTNode
  | CustomDomainAST<"guard">
  | CustomDomainAST<"policyGuard">
  | THandle extends never ? never : never;

Defined in: ast/domain-ast.types.ts:148

Workspace-wide discriminated union of policy guard AST nodes.

Type Parameters

Type Parameter	Default type	Description
`THandle`	`unknown`	Isolation scope handle type.

HumanChannelASTNode

type HumanChannelASTNode<TMode> = TMode extends unknown ? Extract<
  | SlackApproverNode
  | SlackNotifierNode
  | CustomDomainAST<"humanChannel">, {
  interactionMode: TMode;
}> : never;

Defined in: ast/domain-ast.types.ts:229

Workspace-wide discriminated union of human channel AST nodes filtered by interactionMode.

Type Parameters

Type Parameter	Default type	Description
`TMode` extends `"bidirectional"` \| `"notify-only"`	`"bidirectional"` \| `"notify-only"`	Interaction mode filter (`'bidirectional' \| 'notify-only'`).

InterruptHandlerNode

type InterruptHandlerNode<TIn, TPayload, THandle> = 
  | AdjudicateInterruptHandlerNode<TIn, TPayload, THandle>
  | AskInterruptHandlerNode<TPayload>
| ReplaceInterruptHandlerNode<TIn, TPayload, THandle>;

Defined in: ast/interrupt-handler-node.types.ts:12

Passive AST node representing an actor-level or step-level .onInterrupt(interrupt, $intr => ...) edge.

Type Parameters

Type Parameter	Default type	Description
`TIn`	`unknown`	Flow or actor input payload type.
`TPayload`	`unknown`	Interrupt payload type.
`THandle`	`unknown`	Runtime handle type of the active isolation scope.

IsolationScopeASTNode

type IsolationScopeASTNode<THandle, TReceipt, TSync, TTier> = 
  | GitCowWorktreeNode<THandle, TReceipt, TSync> & object
| CustomDomainAST<"scope">;

Defined in: ast/domain-ast.types.ts:80

Workspace-wide discriminated union of isolation scope AST nodes.

Type Parameters

Type Parameter	Default type	Description
`THandle`	`unknown`	Isolation scope runtime handle type.
`TReceipt` extends `Record`<`string`, `unknown`>	`Record`<`string`, `unknown`>	Validated scope inspection receipt shape.
`TSync` extends `Record`<`string`, `unknown`>	`Record`<`string`, `unknown`>	Validated scope synchronization receipt shape.
`TTier` extends `ScopeCapabilityTier`	`ScopeCapabilityTier`	Static capability tier (`'scope' \| 'checkpointable' \| 'branchable'`).

LedgerStoreASTNode

type LedgerStoreASTNode = 
  | SqliteLedgerNode
  | PostgresLedgerNode
| CustomDomainAST<"ledger">;

Defined in: ast/domain-ast.types.ts:208

Workspace-wide discriminated union of durable ledger store AST nodes.

LessonOutcome

type LessonOutcome = 
  | "clean_pass"
  | "gate_rejected_recovered"
  | "gate_rejected_unrecovered"
  | "violated";

Defined in: ports/lesson-outcome.types.ts:7

Objective 4-state execution outcome recorded for an injected lesson after a step completes or fails.

Governed by the strict precedence order: 'violated' > 'gate_rejected_unrecovered' > 'gate_rejected_recovered' > 'clean_pass'.

LessonStoreASTNode

type LessonStoreASTNode = 
  | FsJsonlLessonStoreNode
  | SqliteLessonsNode
  | PostgresLessonsNode
| CustomDomainAST<"lessons">;

Defined in: ast/domain-ast.types.ts:212

Workspace-wide discriminated union of empirical lesson store AST nodes.

MaybeBuilder

type MaybeBuilder<TNode> = TNode | AstBuilder<TNode>;

Defined in: ast/ast-foundation.types.ts:22

Union accepting either a compiled passive TNode AST node or a fluent AstBuilder<TNode> instance.

Normalized at builder composition boundaries via extractAST(input).

Type Parameters

Type Parameter	Description
`TNode` extends `ASTNode`	Passive AST node type.

MaybeSource

type MaybeSource<T> = 
  | SourceValue<T>
| AstBuilder<SourceASTNode<T>>;

Defined in: ast/ast-foundation.types.ts:36

Input union accepting an inline value T, a compiled SourceASTNode<T>, or a fluent AstBuilder<SourceASTNode<T>>.

Type Parameters

Type Parameter	Description
`T`	Resolved content payload type.

ModelASTNode

type ModelASTNode = 
  | ClaudeModelNode
  | OpenAiModelNode
  | GeminiModelNode
| CustomDomainAST<"model">;

Defined in: ast/domain-ast.types.ts:206

Workspace-wide discriminated union of LLM model AST nodes.

NodeExecutor

type NodeExecutor<TNode, TInput, TOutput, TContext> = (node, input, ctx) => TOutput | Promise<TOutput>;

Defined in: ports/node-executor.types.ts:15

Universal stateless executor function signature for passive discriminated-union AST nodes.

Accepts the passive AST node, typed input payload, and runtime execution context, returning either a synchronous or asynchronous output value.

Type Parameters

Type Parameter	Default type	Description
`TNode` extends `object`	`ASTNode`	Passive AST node type discriminated by `readonly type: string`.
`TInput`	`unknown`	Input payload type consumed by the executor.
`TOutput`	`unknown`	Output payload type produced by the executor.
`TContext`	`ExecutionContext`	Runtime execution context type supplied to the executor.

Parameters

Parameter	Type
`node`	`TNode`
`input`	`TInput`
`ctx`	`TContext`

Returns

TOutput | Promise<TOutput>

NodeExecutorMap

type NodeExecutorMap<TUnion, TInput, TOutput, TContext> = { readonly [TNode in TUnion as TNode["type"]]?: NodeExecutor<TNode, TInput, TOutput, TContext> };

Defined in: ports/node-executor.types.ts:32

Mapped lookup table indexing NodeExecutor functions by each AST node member's type discriminant.

Enables $O(1)$ runtime dispatch (registry[category][node.type]) with strict per-node type safety.

Type Parameters

Type Parameter	Default type	Description
`TUnion` extends `object`	-	Discriminated union of AST node types belonging to the category.
`TInput`	`unknown`	Input payload type consumed by executors in this category.
`TOutput`	`unknown`	Output payload type produced by executors in this category.
`TContext`	`ExecutionContext`	Runtime execution context type supplied to executors in this category.

PatchEquivalenceASTNode

type PatchEquivalenceASTNode<TCrossReport> = 
  | GitPatchEquivalenceNode<TCrossReport>
| CustomDomainAST<"patchEquivalence">;

Defined in: ast/domain-ast.types.ts:177

Workspace-wide discriminated union of patch-equivalence cross-verifier AST nodes.

Type Parameters

Type Parameter	Default type	Description
`TCrossReport`	`unknown`	Validated cross-verification report type.

PolicyGuardASTNode

type PolicyGuardASTNode = GuardASTNode;

Defined in: ast/domain-ast.types.ts:151

Alias for GuardASTNode.

PolicyGuardClauseNode

type PolicyGuardClauseNode = 
  | DenyWithErrorPolicyGuardClauseNode
  | RaiseInterruptPolicyGuardClauseNode;

Defined in: ast/policy-guard-clause-node.types.ts:7

Passive AST node representing a single .guard(...).onViolation(...) clause inside a PolicyNode.

PoolSelectorFn

type PoolSelectorFn<TItem> = (candidates, ctx) => TItem | undefined;

Defined in: ast/pool-strategy.types.ts:12

Custom synchronous selector function passed to P.pool(id).strategy(fn).

Type Parameters

Type Parameter	Default type	Description
`TItem`	`unknown`	Pooled resource item type.

Parameters

Parameter	Type
`candidates`	readonly `PoolCandidateState`<`TItem`>[]
`ctx`	`PoolSelectionContext`

Returns

TItem | undefined

PoolStrategyNode

type PoolStrategyNode<TItem> = 
  | StandardPoolStrategyNode
  | EscalateOnRetryPoolStrategyNode
| CustomPoolStrategyNode<TItem>;

Defined in: ast/pool-strategy.types.ts:22

Discriminated union of passive capacity pool selection strategy AST nodes.

Type Parameters

Type Parameter	Default type	Description
`TItem`	`unknown`	Pooled resource item type.

QuotaTripwireASTNode

type QuotaTripwireASTNode = 
  | FsQuotaTripwireNode
  | CustomDomainAST<"quotaTripwire">
| CustomDomainAST<"tripwire">;

Defined in: ast/domain-ast.types.ts:153

Workspace-wide discriminated union of quantitative quota tripwire AST nodes.

ReconcileResult

type ReconcileResult<TData> = 
  | ReconcileCleanResult<TData>
| ReconcileConflictResult<TData>;

Defined in: ports/reconcile-result.types.ts:23

Discriminated union outcome of BranchableScope.commitChild, syncChild, and syncRoot.

Type Parameters

Type Parameter	Default type	Description
`TData`	`unknown`	Scope inspection receipt (`TReceipt`) or sync receipt (`TSync`) type.

ResumeForkInput

type ResumeForkInput = z.infer<typeof ResumeForkInputSchema>;

Defined in: schemas/budget-and-lesson.schema.ts:38

Validated input payload for the built-in resumeFork capability tool.

RunnerPoolASTNode

type RunnerPoolASTNode = 
  | NodeRunnerNode
| CustomDomainAST<"runner">;

Defined in: ast/domain-ast.types.ts:239

Workspace-wide discriminated union of OS runner pool AST nodes.

ScopeCapabilityTier

type ScopeCapabilityTier = "scope" | "checkpointable" | "branchable";

Defined in: ast/base/base-domain-ast.types.ts:10

Capability tier discriminant for isolation scope AST nodes.

Determines at AST compilation time whether a scope supports only root lifecycle ('scope'), uncommitted state checkpointing and diffing ('checkpointable'), or hierarchical child branching and 3-way reconciliation ('branchable').

ScopedRule

type ScopedRule = z.infer<typeof ScopedRuleSchema>;

Defined in: schemas/core-rules.schema.ts:43

Validated scoped rule record injected when its partition or effect predicate matches.

ScopedRuleNode

type ScopedRuleNode = 
  | InlineScopedRuleNode
  | SourcedScopedRuleNode;

Defined in: ast/scoped-rule-node.types.ts:7

Passive AST node representing a partition- or effect-scoped rule (P.scopedRule(...)).

ScopePredicate

type ScopePredicate = z.infer<typeof ScopePredicateSchema>;

Defined in: schemas/core-rules.schema.ts:15

Validated scope predicate specifying target partitions and optional reactive effect matchers.

ScopeRewindHookASTNode

type ScopeRewindHookASTNode<THandle> = 
  | GitKeepWorktreeNode
  | GitDiscardBranchNode
  | CustomDomainAST<"rewindHook">
  | THandle extends never ? never : never;

Defined in: ast/domain-ast.types.ts:171

Workspace-wide discriminated union of scope rewind hook AST nodes.

Type Parameters

Type Parameter	Default type	Description
`THandle`	`unknown`	Isolation scope handle type.

ServiceASTNode

type ServiceASTNode<THandle> = 
  | LocalServiceNode
  | CustomDomainAST<"service">
  | THandle extends never ? never : never;

Defined in: ast/domain-ast.types.ts:138

Workspace-wide discriminated union of background daemon service AST nodes.

Type Parameters

Type Parameter	Default type	Description
`THandle`	`unknown`	Isolation scope handle type.

SkillNode

type SkillNode<THandle> = 
  | InlineSkillNode<THandle>
| SourcedSkillNode<THandle>;

Defined in: ast/skill-node.types.ts:9

Passive AST node representing an on-demand procedural skill (P.skill(...)).

Type Parameters

Type Parameter	Default type	Description
`THandle`	`unknown`	Runtime handle type of the active isolation scope.

SourceASTNode

type SourceASTNode<T> = 
  | FsTextSourceNode
  | FsGlobSourceNode
  | MarkdownFrontmatterSourceNode<T>
  | MarkdownSectionSourceNode<T>
  | SqliteRulesSourceNode
  | PostgresRulesSourceNode
| CustomDomainAST<"source">;

Defined in: ast/domain-ast.types.ts:200

Workspace-wide discriminated union of grounding, rule, and skill source AST nodes.

Type Parameters

Type Parameter	Default type	Description
`T`	`unknown`	Resolved source content payload type.

SourceValue

type SourceValue<T> = T | SourceASTNode<T>;

Defined in: ast/ast-foundation.types.ts:29

Value that is either an inline literal T or a passive SourceASTNode<T> resolved at runtime via RuntimeExecutorRegistry.sources.

Type Parameters

Type Parameter	Description
`T`	Resolved content payload type.

SpeculateArbiterDecision

type SpeculateArbiterDecision = 
  | {
  decision: "select-winner";
  winnerBranchIndex: number;
}
  | {
  decision: "unpark-escalation";
  parkedBranchIndex: number;
  rationale: string;
}
  | {
  decision: "reject-all";
  rationale: string;
};

Defined in: ast/speculate-arbiter-decision.types.ts:4

Normalized arbiter decision union returned by SpeculateArbiterConfig.resolveDecision(verdict).

StepASTNode

type StepASTNode<TIn, TOut, THandle> = 
  | AgentNode<TIn, TOut, THandle>
  | LoopNode<TIn, TOut, THandle, string>
  | CommandNode<TIn, TOut, THandle>
| DomainStepASTNode<TIn, TOut, THandle>;

Defined in: ast/domain-ast.types.ts:101

Workspace-wide discriminated union of all executable step AST nodes (AgentNode, LoopNode, CommandNode, and DomainStepASTNode).

Type Parameters

Type Parameter	Default type	Description
`TIn`	`unknown`	Step input payload type.
`TOut`	`unknown`	Step output payload type.
`THandle`	`unknown`	Isolation scope handle type.

StreamSourceASTNode

type StreamSourceASTNode<TEvent> = 
  | GithubWebhookStreamNode<TEvent>
| CustomDomainAST<"streamSource">;

Defined in: ast/domain-ast.types.ts:224

Workspace-wide discriminated union of inbound event stream source AST nodes.

Type Parameters

Type Parameter	Default type	Description
`TEvent`	`unknown`	Raw inbound stream event payload type.

TelemetryCollectorASTNode

type TelemetryCollectorASTNode<TMetrics> = 
  | FsTelemetryCollectorNode
  | CustomDomainAST<"telemetryCollector">
  | CustomDomainAST<"telemetry">
  | TMetrics extends never ? never : never;

Defined in: ast/domain-ast.types.ts:158

Workspace-wide discriminated union of custom telemetry collector AST nodes.

Type Parameters

Type Parameter	Default type	Description
`TMetrics` extends `Record`<`string`, `unknown`>	`Record`<`string`, `unknown`>	Custom telemetry metrics record shape.

ToolASTNode

type ToolASTNode<THandle> = 
  | BuiltInToolASTNode<THandle>
| CustomDomainAST<"tool">;

Defined in: ast/domain-ast.types.ts:117

Workspace-wide discriminated union of tool AST nodes (BuiltInToolASTNode and CustomDomainAST<'tool'>).

Type Parameters

Type Parameter	Default type	Description
`THandle`	`unknown`	Isolation scope handle type.

TopologyStoreASTNode

type TopologyStoreASTNode = 
  | SqliteTopologyNode
  | PostgresTopologyNode
| CustomDomainAST<"topology">;

Defined in: ast/domain-ast.types.ts:210

Workspace-wide discriminated union of relational topology store AST nodes.

TrackerASTNode

type TrackerASTNode<TExternal, TExternalState> = 
  | GithubIssuesTrackerNode<TExternal, TExternalState>
| CustomDomainAST<"tracker">;

Defined in: ast/domain-ast.types.ts:218

Workspace-wide discriminated union of external issue tracker AST nodes.

Type Parameters

Type Parameter	Default type	Description
`TExternal`	`unknown`	Raw external issue payload type.
`TExternalState` extends `string`	`string`	External tracker state string union.

References

AdjudicateInterruptEdgeBuilder

Renames and re-exports AdjudicateInterruptBuilder

AskInterruptEdgeBuilder

Renames and re-exports AskInterruptBuilder

ChildInterruptBuilder

Renames and re-exports ChildInterruptHandlerBuilder

compileRunWirePrefixes

Renames and re-exports compilePrefixGroups

computeUpdatedGroundingDiffs

Renames and re-exports computeInRunGroundingDiffs

ConfigurableInterruptBuilder

Renames and re-exports InterruptPayloadBuilder

ConfigurableSignalBuilder

Renames and re-exports SignalPayloadBuilder

ConfigurableTopologyBuilder

Renames and re-exports TopologyConfigBuilder

CreatePoolBuilderOptions

Renames and re-exports CreatePoolBuilderState

CreatePrefixGroupBuilderOptions

Renames and re-exports CreatePrefixGroupBuilderState

CreateRulesBuilderOptions

Renames and re-exports CreateRulesBuilderState

CreateScopedRuleBuilderOptions

Renames and re-exports CreateScopedRuleBuilderState

CreateSkillBuilderOptions

Renames and re-exports CreateSkillBuilderState

CreateStreamBuilderOptions

Renames and re-exports CreateStreamBuilderState

CreateTopologyBuilderOptions

Renames and re-exports CreateTopologyBuilderState

DirectCommandConfig

Renames and re-exports CommandConfigOptions

evaluateLessonSignalTriggers

Renames and re-exports evaluateLessonRetirementAndSignals

HarnessNamespace

Renames and re-exports PNamespace

LaneRetryBuilder

Renames and re-exports LaneRetryConfigBuilder

LaneTrackerBuilder

Renames and re-exports LaneTrackerConfigBuilder

PolicyGuardClausePendingBuilder

Renames and re-exports PolicyGuardClauseBuilder

PoolStrategyConfigurator

Renames and re-exports PoolStrategyBuilder

ScopedHumanAliasBuilder

Renames and re-exports ScopedHumanNameBuilder

selectRecalledLessons

Renames and re-exports scoreAndRecallLessons

@paraharness/core ​

Variables ​

Functions ​

Classes ​

Interfaces ​

Type Aliases ​

AbortHookASTNode ​

Type Parameters ​

AccountSeatASTNode ​

AgentPauseState ​

BaseStepASTNode ​

Type Parameters ​

BivariantCallback ​

Type Parameters ​

BudgetApproval ​

BuiltInCheckASTNode ​

Type Parameters ​

BuiltInGuardASTNode ​

BuiltInToolASTNode ​

Type Parameters ​

CheckASTNode ​

Type Parameters ​

CleanReconcileResult ​

Type Parameters ​

ConflictReconcileResult ​

Type Parameters ​

ContinuationFrame ​

ControlPlaneASTNode ​

CoreASTNode ​

CrossTesterASTNode ​

Type Parameters ​

CrossVerifierASTNode ​

Type Parameters ​

CustomDomainAST ​

Type Parameters ​

DomainASTNode ​

DomainStepASTNode ​

Type Parameters ​

EffectMatcherASTNode ​

EvaluatorASTNode ​

Type Parameters ​

ExtractAbortMeta ​

Type Parameters ​

ExtractEvalScopeReceipt ​

Type Parameters ​

ExtractScopeHandle ​

Type Parameters ​

ExtractScopeReceipt ​

Type Parameters ​

ExtractSpeculationCandidate ​

Type Parameters ​

ExtractStepInput ​

Type Parameters ​

ExtractStepOutput ​

Type Parameters ​

ExtractTelemetryMetrics ​

Type Parameters ​

ExtractTrackerExternal ​

Type Parameters ​

ExtractTrackerState ​

Type Parameters ​

FlowStepInputMapper ​

Type Parameters ​

GlobalRule ​

GuardASTNode ​

Type Parameters ​

HumanChannelASTNode ​

Type Parameters ​

InterruptHandlerNode ​

Type Parameters ​

IsolationScopeASTNode ​

Type Parameters ​

LedgerStoreASTNode ​

LessonOutcome ​

LessonStoreASTNode ​

MaybeBuilder ​

Type Parameters ​

@paraharness/core

Variables

Functions

Classes

Interfaces

Type Aliases

AbortHookASTNode

Type Parameters

AccountSeatASTNode

AgentPauseState

BaseStepASTNode

Type Parameters

BivariantCallback

Type Parameters

BudgetApproval

BuiltInCheckASTNode

Type Parameters

BuiltInGuardASTNode

BuiltInToolASTNode

Type Parameters

CheckASTNode

Type Parameters

CleanReconcileResult

Type Parameters

ConflictReconcileResult

Type Parameters

ContinuationFrame

ControlPlaneASTNode

CoreASTNode

CrossTesterASTNode

Type Parameters

CrossVerifierASTNode

Type Parameters

CustomDomainAST

Type Parameters

DomainASTNode

DomainStepASTNode

Type Parameters

EffectMatcherASTNode

EvaluatorASTNode

Type Parameters

ExtractAbortMeta

Type Parameters

ExtractEvalScopeReceipt

Type Parameters

ExtractScopeHandle

Type Parameters

ExtractScopeReceipt

Type Parameters

ExtractSpeculationCandidate

Type Parameters

ExtractStepInput

Type Parameters

ExtractStepOutput

Type Parameters

ExtractTelemetryMetrics

Type Parameters

ExtractTrackerExternal

Type Parameters

ExtractTrackerState

Type Parameters

FlowStepInputMapper

Type Parameters

GlobalRule

GuardASTNode

Type Parameters

HumanChannelASTNode

Type Parameters

InterruptHandlerNode

Type Parameters

IsolationScopeASTNode

Type Parameters

LedgerStoreASTNode

LessonOutcome

LessonStoreASTNode

MaybeBuilder

Type Parameters