harn-stdlib 0.10.70

Embedded Harn standard library source catalog
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115

pub import {
  compile_experiment_intent,
  validate_compiled_hypothesis_plan,
} from "std/eval/hypothesis/compiler"
/**
 * std/eval/hypothesis — portable hypothesis and experiment-design contracts.
 *
 * The model-facing intent is data. Deterministic compilation, registered
 * adapters, and existing experiment semantics own the portable decision.
 * Execution remains explicitly deferred to an enforcing host adapter.
 */
pub import {
  ClaimStrength,
  EvidenceMode,
  EvidencePolicy,
  ExperimentAdapterCatalog,
  ExperimentAdapterRef,
  ExperimentCapabilityManifest,
  ExperimentCompileContext,
  ExperimentCompileDiagnostic,
  ExperimentCompileFailure,
  ExperimentCompileReceipt,
  ExperimentDesign,
  ExperimentIntent,
  ExperimentIntentRisk,
  ExperimentLane,
  ExperimentPlacementCapability,
  ExperimentResourceBudget,
  HypothesisCitation,
  HypothesisPlan,
  HypothesisPrior,
  InterventionAdapter,
  MutationCapability,
  NetworkCapability,
  ObserveOnlyHypothesisPlan,
  OutcomeAdapter,
  PlanProvenance,
  PopulationAdapter,
  ProcessCapability,
  RegisteredExperimentPlan,
  RequestedExperimentLane,
  experiment_intent_contract,
  experiment_intent_descriptor,
  hypothesis_plan_contract,
  hypothesis_plan_descriptor,
} from "std/eval/hypothesis/contracts"
pub import {
  hypothesis_event,
  hypothesis_ledger_append,
  hypothesis_ledger_project,
  hypothesis_ledger_read,
  hypothesis_ledger_snapshot,
} from "std/eval/hypothesis/ledger"
pub import {
  HypothesisApprovalRecorded,
  HypothesisBudgetResource,
  HypothesisDecisionRecorded,
  HypothesisEntityKind,
  HypothesisEntityRef,
  HypothesisEventAuthorityKind,
  HypothesisEventContent,
  HypothesisEventPayload,
  HypothesisExecutionDrift,
  HypothesisInvalidated,
  HypothesisLedgerAppendReceipt,
  HypothesisLedgerEvent,
  HypothesisLedgerIntegrity,
  HypothesisLedgerRecord,
  HypothesisLedgerSnapshot,
  HypothesisLedgerSnapshotRead,
  HypothesisObservationRecorded,
  HypothesisPlanRegistered,
  HypothesisRegressionObserved,
  HypothesisRelationKind,
  HypothesisRelationship,
  HypothesisRelationshipRecorded,
  HypothesisRunCompletion,
  HypothesisRunState,
  HypothesisRunTransition,
  hypothesis_event_content_contract,
  hypothesis_event_content_descriptor,
} from "std/eval/hypothesis/ledger_contracts"
pub import {
  HypothesisPlannerOptions,
  HypothesisPlannerReceipt,
  design_hypothesis,
} from "std/eval/hypothesis/planner"
pub import { resolve_evidence_policy } from "std/eval/hypothesis/policies"
pub import { HypothesisReport, hypothesis_report } from "std/eval/hypothesis/report"
pub import { hypothesis_workflow } from "std/eval/hypothesis/workflow"
pub import {
  HypothesisNativeApprovalResult,
  HypothesisNativeArmObservation,
  HypothesisNativeOperationAccepted,
  HypothesisNativeOperationDenied,
  HypothesisNativeOperationRequest,
  HypothesisNativeOperationResult,
  HypothesisWorkflowAction,
  HypothesisWorkflowAdapterUnavailable,
  HypothesisWorkflowAdvance,
  HypothesisWorkflowApplied,
  HypothesisWorkflowDenied,
  HypothesisWorkflowInspect,
  HypothesisWorkflowInspection,
  HypothesisWorkflowNotActionable,
  HypothesisWorkflowNotActionableReason,
  HypothesisWorkflowPause,
  HypothesisWorkflowRequest,
  HypothesisWorkflowResult,
  HypothesisWorkflowResume,
  HypothesisWorkflowStandDown,
  HypothesisWorkflowStart,
  HypothesisWorkflowState,
  hypothesis_native_operation_result_contract,
} from "std/eval/hypothesis/workflow_contracts"