Crosswake.Commerce.Reconciliation (crosswake v0.1.0)

Typed backend-owned reconciliation vocabulary for commerce.

This module encodes the canonical flow:

Device/native evidence enters Phoenix.
Phoenix records a reconciliation attempt.
Host-owned workers verify it.
Backend publishes a refreshed authoritative entitlement snapshot.

These states represent reconciliation or freshness outcomes, not automatic access grants or silent denials. Device success is evidence, not entitlement.

Summary

Types

outcome()

Functions

authority_mutation_allowed_from_evidence?(reconciliation_evidence)

ingest_evidence(evidence, opts \\ [])

outcome_implies_access_granted?(state)

outcome_implies_authority_grant?(state)

outcome_vocabulary()

reconciliation_outcome?(state)

unresolved_outcome?(state)

workflow_reporting_outcome?(state)

Types

outcome()

@type outcome() ::
  :pending_purchase
  | :pending_restore
  | :awaiting_verification
  | :projection_refreshed
  | :conflict
  | :verification_failed
  | :stale_authority

Functions

authority_mutation_allowed_from_evidence?(reconciliation_evidence)

@spec authority_mutation_allowed_from_evidence?(
  Crosswake.Commerce.Contracts.ReconciliationEvidence.t()
) ::
  false

ingest_evidence(evidence, opts \\ [])

@spec ingest_evidence(
  Crosswake.Commerce.Contracts.ReconciliationEvidence.t(),
  keyword()
) ::
  {:ok, Crosswake.Commerce.Reconciliation.EvidenceResult.t()} | {:error, term()}

outcome_implies_access_granted?(state)

@spec outcome_implies_access_granted?(term()) :: boolean()

outcome_implies_authority_grant?(state)

@spec outcome_implies_authority_grant?(term()) :: boolean()

outcome_vocabulary()

@spec outcome_vocabulary() :: [outcome()]

reconciliation_outcome?(state)

@spec reconciliation_outcome?(term()) :: boolean()

unresolved_outcome?(state)

@spec unresolved_outcome?(term()) :: boolean()

workflow_reporting_outcome?(state)

@spec workflow_reporting_outcome?(term()) :: boolean()