Directories
¶
| Path | Synopsis |
|---|---|
|
Package admission evaluates deterministic pre-scheduling requirements.
|
Package admission evaluates deterministic pre-scheduling requirements. |
|
Package agentpkg defines the signed Agent Package manifest (ADR-010) and its admission verification.
|
Package agentpkg defines the signed Agent Package manifest (ADR-010) and its admission verification. |
|
Package agentversion defines the bounded AgentVersion vocabulary of the Agent OS kernel: the canonical reference grammar, the immutable published spec, and the deterministic digest over that spec.
|
Package agentversion defines the bounded AgentVersion vocabulary of the Agent OS kernel: the canonical reference grammar, the immutable published spec, and the deterministic digest over that spec. |
|
Package capability enforces immutable AgentVersion grants at Gateway boundaries without coupling the Agent manifest vocabulary to persistence.
|
Package capability enforces immutable AgentVersion grants at Gateway boundaries without coupling the Agent manifest vocabulary to persistence. |
|
Package domain defines the stable lifecycle vocabulary enforced by the Fenced kernel.
|
Package domain defines the stable lifecycle vocabulary enforced by the Fenced kernel. |
|
Package memory implements the v0.1 Memory decision chain (ADR-009): the canonical store lives in PostgreSQL (FTS + pg_trgm + pgvector share the transaction system), embeddings are produced by a pluggable Embedder, and retrieval filters tenant/sensitivity before scoring.
|
Package memory implements the v0.1 Memory decision chain (ADR-009): the canonical store lives in PostgreSQL (FTS + pg_trgm + pgvector share the transaction system), embeddings are produced by a pluggable Embedder, and retrieval filters tenant/sensitivity before scoring. |
|
Package model implements the Model Gateway decision chain of the Fenced kernel: versioned model descriptors with price tables, policy checks, incremental token/cost settlement against the task budget ledger, and the hard stop when a reservation is exhausted (tech baseline §12.1; invariant 12).
|
Package model implements the Model Gateway decision chain of the Fenced kernel: versioned model descriptors with price tables, policy checks, incremental token/cost settlement against the task budget ledger, and the hard stop when a reservation is exhausted (tech baseline §12.1; invariant 12). |
|
provider
Package provider implements the real model execution layer behind the Model Gateway decision chain: an HTTP executor covering two wire dialects.
|
Package provider implements the real model execution layer behind the Model Gateway decision chain: an HTTP executor covering two wire dialects. |
|
tokens
Package tokens provides tokenizer-aware token estimation for model budget reservations.
|
Package tokens provides tokenizer-aware token estimation for model budget reservations. |
|
Package money provides the fixed-point representation used by every accounting ledger.
|
Package money provides the fixed-point representation used by every accounting ledger. |
|
Package observability provides the read-side surface for the Phase 7 observability contract: every execution exposes a full correlation chain (Workflow → Step → Task → Run → Attempt → Model/Tool Call → Memory → Result) plus the core metrics the platform guarantees.
|
Package observability provides the read-side surface for the Phase 7 observability contract: every execution exposes a full correlation chain (Workflow → Step → Task → Run → Attempt → Model/Tool Call → Memory → Result) plus the core metrics the platform guarantees. |
|
Package policy evaluates default-deny Rego policies inside the kernel process.
|
Package policy evaluates default-deny Rego policies inside the kernel process. |
|
Package recovery reconciles expired runtime leases into fenced retries.
|
Package recovery reconciles expired runtime leases into fenced retries. |
|
Package scheduler provides deterministic, explainable runtime placement.
|
Package scheduler provides deterministic, explainable runtime placement. |
|
Package store defines the transactional persistence contract used by kernel controllers.
|
Package store defines the transactional persistence contract used by kernel controllers. |
|
postgres
Package postgres implements the Fenced kernel persistence contract on PostgreSQL.
|
Package postgres implements the Fenced kernel persistence contract on PostgreSQL. |
|
Package tool implements the Tool Gateway decision chain of the Fenced kernel: versioned descriptors, canonical argument normalization, policy evaluation, human approval binding, budget hard-stop and durable side-effect receipts (architecture §9.2, §12.2; invariants 6 and 9).
|
Package tool implements the Tool Gateway decision chain of the Fenced kernel: versioned descriptors, canonical argument normalization, policy evaluation, human approval binding, budget hard-stop and durable side-effect receipts (architecture §9.2, §12.2; invariants 6 and 9). |
|
The orchestrator controller.
|
The orchestrator controller. |
|
Package workload defines the bounded task specification understood by admission and placement.
|
Package workload defines the bounded task specification understood by admission and placement. |
Click to show internal directories.
Click to hide internal directories.