Directories
¶
| Path | Synopsis |
|---|---|
|
Package attribution maps bounded differential evidence to versioned fault domains.
|
Package attribution maps bounded differential evidence to versioned fault domains. |
|
Package budget enforces independent hard, reservation, and cleanup ledgers.
|
Package budget enforces independent hard, reservation, and cleanup ledgers. |
|
Package cas implements immutable local content-addressed storage for sanitized payloads and their strongly typed Evidence envelopes.
|
Package cas implements immutable local content-addressed storage for sanitized payloads and their strongly typed Evidence envelopes. |
|
Package catalog owns the offline, content-addressed Requirement Catalog and ProtocolPack candidate generator.
|
Package catalog owns the offline, content-addressed Requirement Catalog and ProtocolPack candidate generator. |
|
Package cli implements the stable doctor command surface without making a specific command-line framework part of the public contract.
|
Package cli implements the stable doctor command surface without making a specific command-line framework part of the public contract. |
|
Package executor runs an exact ResolvedRunPlan.
|
Package executor runs an exact ResolvedRunPlan. |
|
Package minimizer implements bounded, deterministic delta debugging over already captured and redacted artifacts.
|
Package minimizer implements bounded, deterministic delta debugging over already captured and redacted artifacts. |
|
Package normalizer builds provider-neutral IR without overwriting the provider-native JSON type or the capture-layer evidence that supports it.
|
Package normalizer builds provider-neutral IR without overwriting the provider-native JSON type or the capture-layer evidence that supports it. |
|
Package openaisdkcase runs one bounded, local OpenAI Python SDK Responses streaming case and exports a deterministic maintainer-ready evidence bundle.
|
Package openaisdkcase runs one bounded, local OpenAI Python SDK Responses streaming case and exports a deterministic maintainer-ready evidence bundle. |
|
Package oracle evaluates schema, relational, and state-machine properties while keeping harness failures and insufficient evidence out of target FAIL.
|
Package oracle evaluates schema, relational, and state-machine properties while keeping harness failures and insufficient evidence out of target FAIL. |
|
Package planner constructs immutable offline IntentPlans and resolves only branches that the IntentPlan authorized in advance.
|
Package planner constructs immutable offline IntentPlans and resolves only branches that the IntentPlan authorized in advance. |
|
Package productrun assembles the small, client-side candidate execution slice used by the CLI.
|
Package productrun assembles the small, client-side candidate execution slice used by the CLI. |
|
Package provenance provides deterministic local attestations.
|
Package provenance provides deterministic local attestations. |
|
Package rawdriver executes registry-bound raw HTTP scenarios through the origin-restricted transport and the evidence-first evaluation pipeline.
|
Package rawdriver executes registry-bound raw HTTP scenarios through the origin-restricted transport and the evidence-first evaluation pipeline. |
|
Package recorder captures bounded application-layer observations and commits only sanitized payloads to the evidence CAS.
|
Package recorder captures bounded application-layer observations and commits only sanitized payloads to the evidence CAS. |
|
Package redaction sanitizes application-layer observations before any persistence boundary.
|
Package redaction sanitizes application-layer observations before any persistence boundary. |
|
httpapi
Package httpapi implements the Registry's standard-library HTTP contract.
|
Package httpapi implements the Registry's standard-library HTTP contract. |
|
store
Package store defines persistence boundaries for the Registry HTTP layer.
|
Package store defines persistence boundaries for the Registry HTTP layer. |
|
Package report renders one immutable result model into human and machine formats.
|
Package report renders one immutable result model into human and machine formats. |
|
Package runstore persists immutable, canonical local run artifacts.
|
Package runstore persists immutable, canonical local run artifacts. |
|
Package secret resolves explicit secret references without placing secret values in command-line arguments, reports, or configuration documents.
|
Package secret resolves explicit secret references without placing secret values in command-line arguments, reports, or configuration documents. |
|
Package statemachine validates strict typed stream and tool lifecycles.
|
Package statemachine validates strict typed stream and tool lifecycles. |
|
Package statistics contains deterministic statistical helpers used by behavioral and operational-reliability oracles.
|
Package statistics contains deterministic statistical helpers used by behavioral and operational-reliability oracles. |
|
Package transport implements an origin-bound HTTP transport for authorized endpoint testing.
|
Package transport implements an origin-bound HTTP transport for authorized endpoint testing. |
Click to show internal directories.
Click to hide internal directories.