Expand description
Domain-package contract (PSP-8 System 1 / System 5).
The SDK owns the domain-neutral control plane; a domain package provides
task-specific semantics. This module defines the Phase-0/1 surface of the
AgentDomainPackage trait — the part exercised by the energy/gate core and
implemented by perspt-coding as the first consumer. Later phases extend the
trait with exploration plans, verifier suites, hard gates, context packages,
capability policies, and graph hints; those types are intentionally omitted
here until their owning phases land, so every contract ships with a real
consumer rather than ahead of one.
Structs§
- Barrier
Channel - One versioned operational safety channel
h_j(PSP-9 system 12). - Barrier
Spec - A registered operational safety barrier.
- Domain
Detection - Evidence that a domain package activates for a workspace.
- Domain
Id - Stable identifier for a domain (e.g.
"coding","research"). - Domain
Registry - A registry of domain packages and the routing logic that selects one (PSP-8 System 1 / Phase 10). Domain selection is a routing decision; it does not bypass the SDK’s residual, scheduler, capability, ledger, or dashboard contracts — every registered package implements the same trait.
- Domain
Scope - The scope a domain operates over (e.g. a node, a package, a subtree).
- Empty
Domain Prompt Library - The shared empty library behind the trait default.
- Hard
Gate Policy - The hard predicates a candidate must pass for
HardPass(PSP-9 system 10). A model validator can be an additional necessary condition, never a sufficient one. - Residual
Schema - The residual schema a domain declares: the classes it can emit and the
allowed sensors per class. Normalization, weights, and rollup mapping live in
the
EnergyModel. - Verification
Cadence - A bounded adaptive verification cadence (PSP-9 system 6).
- Verifier
Suite Spec - The verifier suite a domain declares for a scope (PSP-9 system 6).
- Workspace
Snapshot - A minimal read-only snapshot of the workspace used for domain detection. Richer snapshots (state witnesses, ledger head, capability set) arrive with the scheduler and capability phases.
Enums§
- Safety
Barrier Disposition - A domain’s barrier position — required even when it is
NotClaimed, so no domain inherits a vacuous barrier default (PSP-9).
Traits§
- Agent
Domain Package - The domain-package contract.
- Domain
Prompt Library - A domain’s compiled prompt sections, keyed by stage directory name. Object-safe; the empty default serves domains without a section library.