operations-approval-workflow

DB-persisted reviewer-gated proposal state machine with one-pending-per-track invariant

What it is for

# operations-approval-workflow

DB-persisted state machine for reviewer-gated proposals: proposed → {accepted, rejected, superseded}.

The invariant "at most one pending proposal per (tenant_id, entity_type, entity_id, workflow_kind)" is enforced by a partial unique index at the database, not by application-layer locks. Racing workers cannot both insert a pending proposal for the same track.

See docs/userstories/sprint-0.3-approval-workflow.md for the full Gate 1.5 consensus that shaped the v0.1 contract.

Capabilities

crate root

# operations-approval-workflow

How to use it

No examples/ target and no doctest in this crate's rustdoc. The tests listed under Verification are the closest executable usage.

Module structure

No public modules: the crate root is its whole surface.

Public surface

`crate root`

Re-exports. Exported here, defined elsewhere.

Boundary

Reaches into foundation.

Shares tier operations with 40 other crates: operations-assessments, operations-block-imaging, operations-boot-media, operations-browser-agent-worker, operations-camera-discovery, operations-camera-liveview, operations-camera-registry, operations-compliance, … (40 total).

_What this crate deliberately does NOT own is a judgment. No committed registry records one for it, so none is stated here._

Where it sits

Tier flow. Which tiers this crate's own edges cross.

flowchart LR
  n_operations["operations"] --> n_foundation["foundation"]

Dependencies

Runtime, in this workspace.

Runtime, from outside the workspace.

Development, from outside the workspace.

Build. None.

Depended on by. 1 workspace crate.

Signal flow — what reaches this crate, and what it reaches.

flowchart LR
  n_application_approvals["application-approvals"] -->|uses| SELF
  SELF["operations-approval-workflow"]
  SELF -->|runtime| n_foundation_audit_log["foundation-audit-log"]
  SELF -->|runtime| n_foundation_basemodels["foundation-basemodels"]
  classDef self fill:#1f883d,stroke:#1f883d,color:#fff;
  class SELF self;

Feature flags

flowchart LR
  n_default["default"] --> n_postgres["postgres"]
  n_postgres["postgres"]

Targets

Error model

No public error type was detected: no public item declares a type named *Error, and no public signature returns one.

Operational characteristics

No unsafe block, unsafe fn, unsafe impl or unsafe trait was found by the parser anywhere in this crate's source.

Configuration

No environment variable is read with a literal name anywhere in this crate. A variable whose key is computed at run time cannot be listed here, and is not claimed to be absent.

Related capabilities

1 workspace crate depends on this one: application-approvals.

Verification

Evidence by module. How often each public module is named by something executable.

What the tests establish, by name:

• accept_on_already_accepted_returns_invalid_transition — tests/pg_approval_workflow.rs
• accept_transitions_proposed_to_accepted — tests/pg_approval_workflow.rs
• concurrent_propose_race_exactly_one_succeeds — tests/pg_approval_workflow.rs
• get_current_proposed_returns_only_pending_row — tests/pg_approval_workflow.rs
• latest_accepted_returns_most_recent_accepted_row — tests/pg_approval_workflow.rs
• propose_creates_proposed_row_with_version_one — tests/pg_approval_workflow.rs
• propose_different_workflow_kind_same_entity_is_allowed — tests/pg_approval_workflow.rs
• propose_second_for_same_track_returns_pending_conflict — tests/pg_approval_workflow.rs
• reject_transitions_proposed_to_rejected — tests/pg_approval_workflow.rs
• reviewer_queue_filters_by_tenant_and_pending_state — tests/pg_approval_workflow.rs
• supersede_atomically_marks_old_and_creates_new_proposed — tests/pg_approval_workflow.rs
• supersede_on_stale_head_returns_stale_head — tests/pg_approval_workflow.rs
• supersede_on_terminally_decided_proposal_returns_invalid_transition — tests/pg_approval_workflow.rs
• accept_writes_audit_row — tests/pg_service_audit.rs
• audit_metadata_carries_track_identifiers — tests/pg_service_audit.rs
• propose_writes_audit_row — tests/pg_service_audit.rs
• reject_writes_audit_row — tests/pg_service_audit.rs
• supersede_writes_audit_row_for_successor — tests/pg_service_audit.rs
• proposal_state_is_terminal — src/models.rs
• proposal_state_roundtrip — src/models.rs
• proposal_state_serde_is_lowercase_string — src/models.rs
• reviewer_decision_roundtrip — src/models.rs

Documentation coverage

pie showData
    title Public items with rustdoc
    "Documented" : 1
    "No rustdoc detected" : 0

Metrics

pie showData
    title Public API by kind
    "constant" : 1

pie showData
    title Rust source composition
    "Code" : 789
    "Blank or comment" : 252

Generation

Rendered by tools-corpus corpus readme from repository evidence alone, renderer schema 2, lexicon current. No model, network service or database was consulted. Regenerate with tools-corpus corpus readme --write; verify with --check.