Module semantic_objects 

Canonical semantic objects exported by the protocol machine.

These types are the stable runtime-facing object model for ownership, effect, handoff, read, proof, handle, and progress state. They are derived from lower-level audit/effect/output surfaces but should be the primary exported semantic contract consumed by the bridge, replay tooling, and higher-level runtimes.

Structs

AgreementContract

Attached agreement contract for one operation instance.

AgreementEvidence

Explicit evidence object carried on one agreement path.

AgreementProfile

Reusable named agreement profile over the generic semantic core.

AgreementState

Replay-visible agreement/finalization state for one operation.

AuthoritativeRead

First-class view of one authoritative read/proof-bearing check.

CanonicalHandle

First-class strong handle surfaced from sanctioned semantic paths.

FinalizationPath

Explicit derived finalization view for one protocol-critical operation path.

MaterializationProof

First-class view of one materialization proof.

ObservedRead

First-class view of one observational read.

OperationInstance

First-class view of one operation instance.

OutstandingEffect

First-class view of one deferred or completed effect.

PrestateBinding

Stable prestate binding for one agreement-sensitive operation.

ProgressContract

Explicit progress contract attached to one operation instance.

ProgressTransition

Replay-visible progress transition for one operation-level contract.

ProtocolMachineFinalization

Stable claim-critical finalization subsystem derived from semantic objects.

ProtocolMachineSemanticObjects

Canonical bundle of semantic objects exported by the protocol machine.

PublicationEvent

Canonical semantic publication event.

Region

Canonical framing and locality domain for one session-scoped semantic slice.

SemanticHandoff

First-class view of one semantic handoff.

TransformationObligation

Explicit transformation-local obligation bundle carried by one handoff.

Enums

AgreementEvidenceKind

Evidence class attached to one agreement path.

AgreementLevel

Agreement grade reached for one operation.

AgreementRule

Decision rule attached to one agreement contract.

AuthoritativeReadKind

Class of authoritative read/proof surface.

AuthoritativeReadLifecycle

Lifecycle for one authoritative read/proof artifact.

CanonicalHandleKind

Kind of canonical handle surfaced by the runtime.

DelegationStatus

Delegation outcome carried by the canonical semantic-object family.

FinalizationOutcome

Terminal outcome for one agreement/finalization path.

FinalizationReadClass

Read-side classification for one derived finalization path.

FinalizationStage

Canonicalization stage for one derived finalization path.

OperationPhase

Lifecycle phase for one operation instance.

OperationVisibility

Visibility timing for one semantic operation.

OutstandingEffectStatus

Canonical status for one effect that is visible on the semantic path.

OwnershipScope

Ownership scope carried by the canonical semantic-object family.

ProgressState

Progress state for one operation-level contract.

PublicationObserverClass

Observer/export class for one canonical publication path.

PublicationStatus

Status for one canonical publication event.

Constants

SEMANTIC_OBJECTS_SCHEMA_VERSION

Canonical schema version identifier for semantic-object exports.

Functions

protocol_machine_semantic_objects

Build the canonical semantic-object bundle from lower-level runtime artifacts.