Crate proofborne_core

Expand description

Stable, serializable primitives shared by every Proofborne surface.

The JSON shapes in this crate form the v0.1 compatibility boundary. Internal orchestration APIs may change while the project is pre-1.0.

Structs§

ArtifactRef: A content-addressed artifact referenced by evidence.
Criterion: One independently evaluable acceptance criterion.
CriterionEvaluation: Deterministic details of one criterion evaluation.
EventEnvelope: One append-only, hash-chained session event.
Evidence: Runtime evidence that can support one or more criteria.
EvidenceLink: Directed proof edge from evidence to a criterion.
EvidenceRequirement: Typed rules deciding which successful observations may satisfy a criterion.
ProofEvaluation: Deterministic result of reducing a contract and proof graph.
ProofGraph: Evidence nodes and their links to contract criteria.
ProviderCapabilities: Capabilities declared by a provider adapter.
ProviderRequest: One provider turn request.
ProviderTurn: Normalized result of one provider turn.
TaskContract: A user-visible contract that defines when a task may be called complete.
TokenUsage: Provider token usage.
ToolCall: Structured provider-requested tool call.
ToolDefinition: JSON-schema-described tool visible to providers.
ToolResult: Structured runtime result returned to the provider.
Waiver: Human authorization to complete without satisfying one criterion.

ActionClass: Runtime-owned action classification.
AssuranceLevel: Strength of the environment in which an observation was made.
ClaimScope: The claim a successful completion gate is allowed to make.
ConversationItem: Provider-neutral conversation items retained by the session engine.
CriterionState: Runtime state for an acceptance criterion.
EventError: Hash-chain validation failures.
EvidenceFreshness: How tightly evidence must be bound to the final workspace state.
EvidenceKind: Evidence categories used by the completion gate.
ProofError: Proof and contract validation errors.
ProofTermination: Runtime-owned reason normal criterion evaluation could not complete.
ProviderError: Failures visible at the provider boundary.
ProviderStreamEvent: Provider-neutral events emitted while one model turn is in progress.
RunOutcome: Final runtime outcome; only the first two represent completed work.
StopReason: Provider-neutral stop reasons.

canonical_json_bytes: Serializes JSON deterministically by sorting object keys recursively.
hash_bytes: Returns a lowercase BLAKE3 digest for arbitrary bytes.
hash_json: Returns a lowercase BLAKE3 digest for canonical JSON.
verify_event_chain: Verifies sequence numbers, session identity, previous hashes, and event hashes.