datasynth-audit-fsm

YAML-driven audit FSM engine for methodology-based audit trail and artifact generation.

Overview

datasynth-audit-fsm loads audit methodology blueprints as event-sourced finite state machines and generates deterministic event trails with concrete ISA-compliant artifacts.

• Two-layer architecture: Blueprints define what happens (procedures, phases, state machines), overlays control how (probabilities, timing, anomaly rates)
• 10 builtin blueprints: FSA, IA, KPMG, PwC, Deloitte, EY GAM Lite, SOC 2, PCAOB, Regulatory, plus GAM via filesystem
• 14 generators: StepDispatcher maps 135+ step commands to concrete artifact generators
• judgment_level on every step: Each step carries a judgment level for risk-based procedure selection
• Deterministic: ChaCha8Rng-seeded -- same seed produces identical output

Built-in Blueprints

Custom blueprints: SyntheticDataBlueprints

Key Features

• 8-state C2CE (Condition-Criteria-Cause-Effect) lifecycle for finding development
• Self-loop handling with configurable max iterations
• Continuous phase support (parallel execution for ethics, governance, quality)
• Discriminator-based procedure filtering (categories, risk ratings, engagement types)
• Generation overlay presets: default, thorough, rushed
• 6 export formats: JSON, CSV (Disco/Celonis), XES 2.0 (ProM/pm4py), OCEL 2.0, Celonis, Parquet
• Analytics inventory integration (FSA, IA, SOC 2, PCAOB, Regulatory)
• ContentGenerator trait with pluggable implementations (template + Claude CLI adapter via claude-content feature)
• Streaming execution with live anomaly injection
• Benchmark and curriculum dataset generation

Usage

use datasynth_audit_fsm::loader::{BlueprintWithPreconditions, load_overlay, OverlaySource, BuiltinOverlay};
use datasynth_audit_fsm::engine::AuditFsmEngine;
use datasynth_audit_fsm::context::EngagementContext;
use rand::SeedableRng;
use rand_chacha::ChaCha8Rng;

let bwp = BlueprintWithPreconditions::load_builtin_fsa().unwrap();
let overlay = load_overlay(&OverlaySource::Builtin(BuiltinOverlay::Default)).unwrap();
let mut engine = AuditFsmEngine::new(bwp, overlay, ChaCha8Rng::seed_from_u64(42));
let result = engine.run_engagement(&EngagementContext::demo()).unwrap();

// result.event_log -- ordered audit events
// result.artifacts -- typed artifacts (engagements, materiality, risks, workpapers, ...)

Configuration

audit:
  enabled: true
  fsm:
    enabled: true
    blueprint: builtin:fsa      # builtin:fsa, builtin:ia, builtin:kpmg, builtin:pwc, etc.
    overlay: builtin:default    # builtin:default, builtin:thorough, builtin:rushed

Modules

License

Apache-2.0 - See LICENSE for details.