harn-modules 0.7.55

Cross-file module graph and import resolution utilities for Harn
Documentation
/*
 * std/trust - TrustGraph query and policy helpers.
 *
 * Import with: `import "std/trust"`.
 */
import "std/triggers"

type TrustGraphRecord = {
  actor_id: string,
  action: string,
  approver: string | nil,
  outcome: TrustOutcome,
  evidence_refs: list<dict>,
  trace_id: string,
  timestamp: string,
  autonomy_tier_at_time: AutonomyTier,
}

type TrustGraphQueryFilters = {
  actor: string | nil,
  actor_id: string | nil,
  agent: string | nil,
  action: string | nil,
  outcome: TrustOutcome | nil,
  since: string | nil,
  until: string | nil,
  autonomy_tier_at_time: AutonomyTier | nil,
  tier: AutonomyTier | nil,
  limit: int | nil,
}

/** query returns TrustGraphRecord rows from the runtime trust graph. */
pub fn query(filters = {}) -> list<TrustGraphRecord> {
  return trust.query(filters)
}

/** record appends a TrustGraph decision and returns its stable TrustEntryId. */
pub fn record(decision) -> TrustEntryId {
  return trust.record(decision)
}

/** score returns aggregate trust counters and derived capability policy. */
pub fn score(actor_id: string, action: string | nil = nil) -> TrustScore {
  return trust.score(actor_id, action)
}

/** policy_for returns the capability policy derived from trust history. */
pub fn policy_for(actor_id: string) -> CapabilityPolicy {
  return trust.policy_for(actor_id)
}

/** verify_chain verifies the underlying OpenTrustGraph hash chain. */
pub fn verify_chain() -> TrustChainReport {
  return trust.verify_chain()
}