application-workflow

Forge workflow module — state machines. Wraps operations-workflow.

Tier	application
Role	unclassified (baselined)
Path	`crates/application/workflow`
Edition	2024
Targets	application_workflow, pg_forge_workflow
Public items	7 across 0 modules
Tests	2

What it is for

application-workflow — workflow and state machine library crates.

B-009: before this, migrations() returned Vec::new() and migrate_pending returned Ok(0) while ignoring the pool, so workflow_transition_history (plus its lookup index, crates/operations/workflow/migrations/001_workflow_transition_history.sql) was never created by anything that actually called this module's own migration path. Self-contained — the table has no FK to any other module's schema, so no other module's bootstrap is required first. Mirrors application-encounters's pattern exactly.

permission_codes() was already present pre-B-009 (not drawn from library crate constants — operations-workflow (crates/operations/workflow/src/lib.rs) defines no permission/capability constants; left as-is per Gate-0.5 investigation).

Capabilities

`WorkflowModule`

application-workflow — workflow and state machine library crates.

Item
`pub struct WorkflowModule`
`WorkflowModule :: fn new() -> Self`
`WorkflowModule :: fn name(& self) -> & 'static str`
`WorkflowModule :: fn version(& self) -> & 'static str`
`WorkflowModule :: fn migrations(& self) -> Vec <MigrationSet>`
`WorkflowModule :: async fn migrate_pending(& self, pool : & PgPool) -> std::result::Result <u32, MigrationError>`
`WorkflowModule :: fn permission_codes(& self) -> Vec <String>`

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`

Item	What it is
`pub struct WorkflowModule`	—
`WorkflowModule :: fn new() -> Self`	—
`WorkflowModule :: fn name(& self) -> & 'static str`	—
`WorkflowModule :: fn version(& self) -> & 'static str`	—
`WorkflowModule :: fn migrations(& self) -> Vec <MigrationSet>`	—
`WorkflowModule :: async fn migrate_pending(& self, pool : & PgPool) -> std::result::Result <u32, MigrationError>`	—
`WorkflowModule :: fn permission_codes(& self) -> Vec <String>`	—

No pub use re-exports: every item above is declared in this crate.

Boundary

Reaches into operations.

Shares tier application with 120 other crates: application-agreements, application-ai, application-analytics, application-approvals, application-assessments, application-audit-log, application-auth, application-billing, … (120 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 (ontology)	`application`
Architectural role (taxonomy)	`unclassified (baselined)`
Location	`crates/application/workflow`
Vocabulary in force (lexicon)	`current`

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

flowchart LR
  n_application["application"] --> n_operations["operations"]

Dependencies

Runtime, in this workspace.

Crate	Tier	Optional	Only on
`application-core`	application	no	always
`operations-workflow`	operations	no	always

Runtime, from outside the workspace.

Crate	Requirement	Features	Optional	Only on
`async-trait`	`^0.1`	—	no	always
`sqlx`	`^0.8`	`runtime-tokio`, `postgres`, `chrono`, `uuid`, `json`	no	always

Development, from outside the workspace.

Crate	Requirement	Features	Optional	Only on
`tokio`	`^1`	`full`	no	always

Build. None.

Depended on by. Nothing in this workspace.

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

flowchart LR
  SELF["application-workflow"]
  SELF -->|runtime| n_application_core["application-core"]
  SELF -->|runtime| n_operations_workflow["operations-workflow"]
  classDef self fill:#1f883d,stroke:#1f883d,color:#fff;
  class SELF self;

Feature flags

No Cargo features are defined: every capability is unconditional, so no consumer can receive a half-wired crate.

Targets

Kind	Name	Source
lib	`application_workflow`	`src/lib.rs`
test	`pg_forge_workflow`	`tests/pg_forge_workflow.rs`

Error model

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

Operational characteristics

Property	Evidence
async public surface	yes
async runtime	none detected
database access	yes
network I/O	none detected
unsafe code	none detected
environment variables	yes

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

Configuration

Variable	Read in
`CARGO_PKG_VERSION`	`src/lib.rs`

No workspace crate depends on this one.

Verification

Kind	Count
Unit tests	1
Integration tests	1
Examples	0
Doctests	0

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

Module	Tests	Examples	Consumers
`crate root`	1	0	0

What the tests establish, by name:

migrate_pending_creates_workflow_transition_history_table — tests/pg_forge_workflow.rs
test_module_migrations_non_empty — src/lib.rs

Documentation coverage

Measure	Documented	Total
Public items with rustdoc	0	7
Public modules with a `//!` block	0	0

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

Metrics

Metric	Value
Rust source files	1
Source lines	83
Code lines	57
Public API items	7
Public modules	0
Tests	2
Examples	0
Cargo features	0
Direct runtime dependencies	4
Workspace reverse dependencies	0

pie showData
    title Public API by kind
    "method" : 6
    "struct" : 1

pie showData
    title Rust source composition
    "Code" : 57
    "Blank or comment" : 26

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.