# ex4pm v26.9.9 - Table of Contents

> BEAM-native, evidence-oriented process intelligence: OCEL/XES ingest, POWL discovery/conformance/simulation, BRCE-gated DO, receipts and replay.

## Pages

- [ex4pm](readme.md)
- [ex4pm architecture](architecture.md)

- Consumer Guide
  - [Tutorial: Your First ex4pm Pipeline](tutorials.md)
  - [ex4pm Consumer How-To Guides](how-to-guides.md)
  - [ex4pm Consumer API Reference](reference.md)
  - [Understanding ex4pm as a Dependency](explanation.md)

## Modules

- [Ex4pm](Ex4pm.md): Public orchestration API for BEAM-native process intelligence.
- [Ex4pm.Application](Ex4pm.Application.md): Top-level OTP application for the flat `ex4pm` library.
- [Ex4pm.AttributeChange](Ex4pm.AttributeChange.md): A single time-traceable object-attribute value change (OCEL 2.0 / EKG style).
- [Ex4pm.CLI](Ex4pm.CLI.md): CLI projection over the canonical ex4pm API.
- [Ex4pm.Claim](Ex4pm.Claim.md): A verified or pending claim in the process intelligence system.
- [Ex4pm.Contracts](Ex4pm.Contracts.md): Canonical public ontology, SHACL, WIT, and receipt-schema contract inventory.
- [Ex4pm.Core.Capability](Ex4pm.Core.Capability.md): An engine capability descriptor.
- [Ex4pm.Core.Hash](Ex4pm.Core.Hash.md): Deterministic content hashing with explicit algorithm identity.
- [Ex4pm.Core.OLAP](Ex4pm.Core.OLAP.md): OLAP-style multi-dimensional operations over the canonical `Ex4pm.EventLog` IR
(`Ex4pm.OCEL.normalize/1` output). Operates on real `%Ex4pm.EventLog{}` structs
(events with `:activity`, `:timestamp`, `:attributes`, `:object_ids`) — no
separate OCEL2 struct exists in this codebase, so this module builds directly on
the existing canonical IR from `apps/ex4pm_core/lib/ex4pm/ocel.ex`.
- [Ex4pm.Core.ProcessIR](Ex4pm.Core.ProcessIR.md): Alias module for Ex4pmCore.ProcessIR.
- [Ex4pm.Domain](Ex4pm.Domain.md): Ash semantic/control-plane projection for ex4pm.
- [Ex4pm.Domain.Agent](Ex4pm.Domain.Agent.md): 
- [Ex4pm.Domain.AgentRun](Ex4pm.Domain.AgentRun.md): 
- [Ex4pm.Domain.ConformanceResult](Ex4pm.Domain.ConformanceResult.md): 
- [Ex4pm.Domain.Dataset](Ex4pm.Domain.Dataset.md): 
- [Ex4pm.Domain.EngineCapability](Ex4pm.Domain.EngineCapability.md): 
- [Ex4pm.Domain.Event](Ex4pm.Domain.Event.md): 
- [Ex4pm.Domain.EventObject](Ex4pm.Domain.EventObject.md): 
- [Ex4pm.Domain.Intervention](Ex4pm.Domain.Intervention.md): An intervention progressing through the real ex4pm lifecycle calculus
- [Ex4pm.Domain.Object](Ex4pm.Domain.Object.md): 
- [Ex4pm.Domain.ObjectObject](Ex4pm.Domain.ObjectObject.md): 
- [Ex4pm.Domain.ProcessGraphProjector](Ex4pm.Domain.ProcessGraphProjector.md): Real OTP `:digraph`/`:digraph_utils`-backed topology projection over an
`Ex4pm.Domain.ProcessModel` record's `:model` map. Zero new hex deps.
- [Ex4pm.Domain.ProcessModel](Ex4pm.Domain.ProcessModel.md): 
- [Ex4pm.Domain.ProcessVariant](Ex4pm.Domain.ProcessVariant.md): 
- [Ex4pm.Domain.Projector](Ex4pm.Domain.Projector.md): Explicit projection from canonical semantic/evidence objects into Ash resources.
- [Ex4pm.Domain.ReceiptProjection](Ex4pm.Domain.ReceiptProjection.md): 
- [Ex4pm.Domain.Refusal](Ex4pm.Domain.Refusal.md): 
- [Ex4pm.Engine](Ex4pm.Engine.md): DfCM engine behaviour: implementations are candidates, not ambient authority.
- [Ex4pm.Engine.Beam](Ex4pm.Engine.Beam.md): Deterministic native-BEAM process-mining baseline.
- [Ex4pm.Engine.Beam4pm](Ex4pm.Engine.Beam4pm.md): Zero-config beam4pm engine candidate: connects to beam4pm as a generic
Ash JSON:API client. "Zero config" means the ROUTE TABLE below is
entirely admitted-ontology data (`priv/ontology/ex4pm.ttl`'s
`ex4pmb:AdmittedBeam4pmService` graph) -- adding a new operation this
engine can reach is a new ontology individual plus `mix ex4pm.ggen.sync`,
never new hand-written dispatch code. See
`docs/EX4PM-THINNING-BEAM4PM-ENRICHMENT.md` for the full migration this
serves.
- [Ex4pm.Engine.CmcaWasm](Ex4pm.Engine.CmcaWasm.md): Analytical adapter for the exact BCINR CMCA kernel exported through wasm4pm.
- [Ex4pm.Engine.Cognition](Ex4pm.Engine.Cognition.md): High-level Cognition & AutoSystems dispatcher.
Coordinates native BEAM cognitive kernels:
- `:bayesian`: Bayesian Network exact marginalization & inference
- `:prolog`: Horn-clause resolution & unification
- `:planner`: STRIPS & HTN action planning
- `:temporal`: Allen's 13 interval relations & LTL checking
- `:blackboard`: Hearsay-II blackboard opportunistic reasoning
- `:pareto`: Multi-objective Pareto frontier ranking
- `:cost_law`: AutoSystems cost function evaluation
- `:adversarial`: 8 false-pass integrity audits
- `:interview`: InterviewAssist active inquiry & qualification

- [Ex4pm.Engine.Conformance.TokenReplay](Ex4pm.Engine.Conformance.TokenReplay.md): Token-based replay conformance checking against a
`Ex4pm.Engine.Discovery.InductiveMiner.ProcessTree`, with superfluous-token
freezing so repeated activities in a trace do not flood the produced/
consumed counters.
- [Ex4pm.Engine.Conformance.TokenReplay.ReplayResult](Ex4pm.Engine.Conformance.TokenReplay.ReplayResult.md): Real produced/consumed/missing/remaining token counts and the derived fitness.
- [Ex4pm.Engine.Differential](Ex4pm.Engine.Differential.md): Cross-engine semantic equivalence verifier.
- [Ex4pm.Engine.Discovery.Incremental](Ex4pm.Engine.Discovery.Incremental.md): Real incremental (streaming) directly-follows-graph discovery.
- [Ex4pm.Engine.Discovery.InductiveMiner](Ex4pm.Engine.Discovery.InductiveMiner.md): Single-pass, rediscoverable process discovery over a real event log — an
Inductive-Miner-family algorithm operating on the directly-follows graph (DFG).
- [Ex4pm.Engine.Discovery.InductiveMiner.FlowerFallback](Ex4pm.Engine.Discovery.InductiveMiner.FlowerFallback.md): Returned when no implemented cut (exclusive-choice, sequence) applies to
the current sub-log's directly-follows graph. Named and typed explicitly
rather than silently discovered as an incorrect sequence/choice tree.

- [Ex4pm.Engine.Discovery.InductiveMiner.ProcessTree](Ex4pm.Engine.Discovery.InductiveMiner.ProcessTree.md): A discovered process-tree node: a leaf activity or an operator over children.
- [Ex4pm.Engine.Ex4pmPlan](Ex4pm.Engine.Ex4pmPlan.md): Adapter for the pinned ex4pm-plan cloud worker protocol.
- [Ex4pm.Engine.ExplorerProjection](Ex4pm.Engine.ExplorerProjection.md): Columnar analytical projection of canonical events.
- [Ex4pm.Engine.Nif](Ex4pm.Engine.Nif.md): Configured native-engine candidate with exact library identity admission.
- [Ex4pm.Engine.OnlineMiner](Ex4pm.Engine.OnlineMiner.md): Supervised online process-mining state machine.
- [Ex4pm.Engine.Registry](Ex4pm.Engine.Registry.md): Preserves the lawful engine graph and performs explicit/evidence-ranked selection.
- [Ex4pm.Engine.Remote](Ex4pm.Engine.Remote.md): Explicit authenticated remote analytical engine candidate.
- [Ex4pm.Engine.Result](Ex4pm.Engine.Result.md): One bounded engine execution result.
- [Ex4pm.Engine.Wasm](Ex4pm.Engine.Wasm.md): Wasmex-backed raw WebAssembly execution with exact artifact admission.
- [Ex4pm.Engine.WorkflowNet](Ex4pm.Engine.WorkflowNet.md): Alias module for Ex4pmEngine.WorkflowNet.
- [Ex4pm.Event](Ex4pm.Event.md): Canonical event observation.
- [Ex4pm.EventLog](Ex4pm.EventLog.md): Admitted event-log semantic IR.
- [Ex4pm.EventRelationship](Ex4pm.EventRelationship.md): Canonical Event-to-Object (E2O) relationship.
- [Ex4pm.Evidence.BRCE](Ex4pm.Evidence.BRCE.md): Exclusive receipted DO boundary.
- [Ex4pm.Evidence.Batch](Ex4pm.Evidence.Batch.md): Durable, resumable batch ledger (hand-written; classification:
pat-wrapper-over-admitted-data per `docs/PRD-v26.9.10.md` R2, matching
beam4pm's own `BeamPM.Contracts` precedent).
- [Ex4pm.Evidence.Conformance](Ex4pm.Evidence.Conformance.md): Alias module for Ex4pmEvidence.Conformance.
- [Ex4pm.Evidence.DetsStore](Ex4pm.Evidence.DetsStore.md): Synchronous DETS receipt ledger candidate for restart-durable local evidence.
- [Ex4pm.Evidence.GitContainment](Ex4pm.Evidence.GitContainment.md): Real `git` subprocess wrapper for ancestor/ahead-behind containment evidence.
- [Ex4pm.Evidence.Receipt](Ex4pm.Evidence.Receipt.md): Receipted identity, authority, consequence, replay, and standing.
- [Ex4pm.Evidence.Replay](Ex4pm.Evidence.Replay.md): Independent receipt recomputation for the evidence envelope.
- [Ex4pm.Evidence.Replay.Chain](Ex4pm.Evidence.Replay.Chain.md): Chain-aware replay verification for pending/outcome receipt correspondence.
- [Ex4pm.Evidence.Store](Ex4pm.Evidence.Store.md): Process-local durable-for-runtime receipt ledger backed by ETS.
- [Ex4pm.Information](Ex4pm.Information.md): Reactor-first information plane for ex4pm.
- [Ex4pm.Information.AshCatalog](Ex4pm.Information.AshCatalog.md): Read-only Ash projection for CLI and interop.
- [Ex4pm.Information.Flow](Ex4pm.Information.Flow.md): Default Reactor DAG for all non-trivial ex4pm information requests.
- [Ex4pm.Information.Handlers](Ex4pm.Information.Handlers.md): Explicit handler table for admitted information capabilities.
- [Ex4pm.Information.Interop](Ex4pm.Information.Interop.md): Canonical JSON interchange projections for process-intelligence values.
- [Ex4pm.Information.MermaidExport](Ex4pm.Information.MermaidExport.md): Renders a production `Ex4pm.Information` Reactor as a Mermaid flowchart via the
vendored `Reactor.Mermaid` module.
- [Ex4pm.Information.Protocol](Ex4pm.Information.Protocol.md): Versioned deterministic request/response protocol for the ex4pm information plane.
- [Ex4pm.Information.ReceiptMiddleware](Ex4pm.Information.ReceiptMiddleware.md): A `Reactor.Middleware` that bridges real Reactor step/run lifecycle events
onto `:telemetry`, so BRCE-adjacent receipt consumers can observe a
Reactor's execution without threading a receipt-writer through every step.
- [Ex4pm.Information.Registry](Ex4pm.Information.Registry.md): Closed capability registry and admission boundary.
- [Ex4pm.OCEL](Ex4pm.OCEL.md): OCEL-v2-tolerant normalization into the canonical event-log IR.
- [Ex4pm.OCEL2](Ex4pm.OCEL2.md): OCEL 2.0 / Event-Knowledge-Graph-style semantics layered on top of the canonical
`Ex4pm.EventLog` IR (`Ex4pm.Event`, `Ex4pm.ObjectRef`, `Ex4pm.ObjectRelationship`).
- [Ex4pm.ObjectRef](Ex4pm.ObjectRef.md): Canonical object-centric process object.
- [Ex4pm.ObjectRelationship](Ex4pm.ObjectRelationship.md): Canonical Object-to-Object (O2O) relationship.
- [Ex4pm.POWL](Ex4pm.POWL.md): Canonical bounded partial-order workflow model.
- [Ex4pm.POWL.Task](Ex4pm.POWL.Task.md): A task node in an executable partial-order workflow.
- [Ex4pm.Qualification](Ex4pm.Qualification.md): Machine-readable identity and semantic fingerprints for bounded qualification runs.
- [Ex4pm.Qualification.ChicagoAuditor](Ex4pm.Qualification.ChicagoAuditor.md): Dynamically audits stateful Chicago-style integration test utilization by scanning test ASTs
and cross-referencing against declared Ash domain resources and Reactor sagas.

- [Ex4pm.Qualification.Crown](Ex4pm.Qualification.Crown.md): Manufactures the detached final crown only from independently verifiable evidence.
- [Ex4pm.Qualification.LieFinder](Ex4pm.Qualification.LieFinder.md): AST-level static code analyzer that detects ungrounded claims, hardcoded metrics,
bare outcome strings, uncalled algorithms, and bypassed BRCE receipt boundaries.

- [Ex4pm.Qualification.Powl.BoundedUnfolder](Ex4pm.Qualification.Powl.BoundedUnfolder.md): Independent bounded lowering of generalized POWL into finite linear Reactor fragments.
- [Ex4pm.Qualification.Powl.Correspondence](Ex4pm.Qualification.Powl.Correspondence.md): Executable two-way bounded POWL/Reactor correspondence court.
- [Ex4pm.Qualification.Powl.PropertyCorpus](Ex4pm.Qualification.Powl.PropertyCorpus.md): Deterministic generated POWL 2.0 differential corpus.
- [Ex4pm.Qualification.Powl.ReferenceOracle](Ex4pm.Qualification.Powl.ReferenceOracle.md): Independent declarative bounded-language interpreter for POWL 2.0 syntax.
- [Ex4pm.Qualification.Powl.Semantics](Ex4pm.Qualification.Powl.Semantics.md): Bounded POWL semantic identity used by the correspondence court.
- [Ex4pm.Qualification.Powl.TraceCanonicalizer](Ex4pm.Qualification.Powl.TraceCanonicalizer.md): Canonicalizes the exact bounded POWL linear-trace language.
- [Ex4pm.Qualification.Rails](Ex4pm.Qualification.Rails.md): Capability-indexed differential court for canonical engine executions.
- [Ex4pm.Qualification.Scanners.BrceEnforcer](Ex4pm.Qualification.Scanners.BrceEnforcer.md): Tier 4 Static Scanner: Enforces that state-changing domain operations and receipts
are never created directly bypassing Ex4pm.Evidence.BRCE.

- [Ex4pm.Qualification.Scanners.MetricLinter](Ex4pm.Qualification.Scanners.MetricLinter.md): Tier 1 Static Scanner: Detects hardcoded floating-point numbers or raw percentages
assigned to critical process intelligence metrics without evaluating underlying algorithms.

- [Ex4pm.Qualification.Scanners.ProductionPurger](Ex4pm.Qualification.Scanners.ProductionPurger.md): Tier 2 Static Scanner: Detects mocks, stubs, fakes, or ungrounded mock adapters
in non-test production code.

- [Ex4pm.Qualification.Verifier](Ex4pm.Qualification.Verifier.md): Independent crown verifier. Stored standing is never trusted.
- [Ex4pm.Reactor](Ex4pm.Reactor.md): Canonical ex4pm workflow facade over `Ash.Reactor` and Reactor.
- [Ex4pm.Refusal](Ex4pm.Refusal.md): Typed refusal struct representing formal domain refusals in ex4pm.

- [Ex4pm.Run](Ex4pm.Run.md): Public evidence envelope for an analytical ex4pm operation.
- [Ex4pm.Runtime](Ex4pm.Runtime.md): POWL-to-Reactor compiler and BRCE-governed execution facade.
- [Ex4pm.Runtime.Distributed](Ex4pm.Runtime.Distributed.md): Evidence-bounded distributed POWL execution scheduled exclusively by Reactor.
- [Ex4pm.Runtime.Intent](Ex4pm.Runtime.Intent.md): Explicit executable intent projection shared by local and distributed runtimes.
- [Ex4pm.Runtime.Plan](Ex4pm.Runtime.Plan.md): Reversible CONSTRUCT projection of an admitted POWL model into Reactor.
- [Ex4pm.Runtime.PlanningPool](Ex4pm.Runtime.PlanningPool.md): A thin, real wrapper around `Reactor.Executor.ConcurrencyTracker` that
bounds concurrent planning work.
- [Ex4pm.Runtime.PowlExecutor](Ex4pm.Runtime.PowlExecutor.md): A real `GenStateMachine` implementing a Petri-net-style token game for a
POWL process model.
- [Ex4pm.Runtime.ReactorStep](Ex4pm.Runtime.ReactorStep.md): Canonical Reactor step for one admitted POWL task.
- [Ex4pm.Standing](Ex4pm.Standing.md): Standing calculation and ranking semantics.
- [Ex4pm.Standing.Coded](Ex4pm.Standing.Coded.md): Reason-coded standing: `%Ex4pm.Standing.Coded{standing: atom(), code:
String.t() | nil}`, rendering as the real `STANDING[REASON_CODE]` shape
observed in production beam4pm scheduled-task receipts (see
`docs/PRD-v26.9.10.md`) -- e.g. `ALIVE[WS3_CHICAGO_MERGE_50]`. Does not
replace bare-atom `Ex4pm.Standing`; both stay valid, this is additive
for callers that need a reason payload.
- [Ex4pm.Stream.Ingest](Ex4pm.Stream.Ingest.md): Idempotent batch and continuous stream ingestion engine.
- [Ex4pm.Stream.Metrics](Ex4pm.Stream.Metrics.md): Prometheus telemetry metrics for the `Ex4pm.Stream.Pipeline` Broadway pipeline.
- [Ex4pm.Stream.Pipeline](Ex4pm.Stream.Pipeline.md): Broadway process-observation pipeline. Sinks receive observations, never ambient DO authority.
- [Ex4pm.Stream.Producer](Ex4pm.Stream.Producer.md): Finite Broadway producer for admitted observation enumerables.
- [Ex4pm.Stream.SensorSink](Ex4pm.Stream.SensorSink.md): Real threshold-crossing abstraction from raw numeric sensor samples into
canonical `%Ex4pm.Event{}` observations.
- [Ex4pm.Subject](Ex4pm.Subject.md): Immutable identity carrier for an admitted subject.
- [Ex4pm.XES](Ex4pm.XES.md): Secure XES ingestion into the canonical event-log semantic IR.
- [Ex4pmCore.Blueprints.EnterprisePlatformNormative](Ex4pmCore.Blueprints.EnterprisePlatformNormative.md): Prescriptive A-Priori Normative Process Model for XaaS Enterprise Platform.
- [Ex4pmCore.Blueprints.GovernanceApproval](Ex4pmCore.Blueprints.GovernanceApproval.md): Canonical Two-Person Rule Governance Approval Process Blueprint.
Models: Submit Change -> First Review -> Second Review -> Deploy -> Verify.

- [Ex4pmCore.Blueprints.IncidentManagement](Ex4pmCore.Blueprints.IncidentManagement.md): Canonical Enterprise Incident Management Process Blueprint.
Models: Detection -> Triaging -> Investigation -> Remediation -> Post-Mortem -> Closure.

- [Ex4pmCore.Blueprints.LedgerTransfer](Ex4pmCore.Blueprints.LedgerTransfer.md): Canonical Double-Entry Ledger Transfer Process Blueprint with Saga Reversal.
Models: Validate Accounts -> Debit Source -> Credit Destination -> Reconcile Balance.

- [Ex4pmCore.ProcessIR](Ex4pmCore.ProcessIR.md): Canonical Process Intermediate Representation (ProcessIR).
Represents processes, activities, choices, loops, partial orders, guards, policies, objects, and relationships.

- [Ex4pmCore.ProcessIR.Activity](Ex4pmCore.ProcessIR.Activity.md): An atomic or compound activity node in ProcessIR.
- [Ex4pmCore.ProcessIR.Choice](Ex4pmCore.ProcessIR.Choice.md): A branching choice construct (XOR, OR, or generalized choice graph).
- [Ex4pmCore.ProcessIR.Extractor.Ash](Ex4pmCore.ProcessIR.Extractor.Ash.md): Extracts Ash Resource and Domain definitions into canonical ProcessIR.
- [Ex4pmCore.ProcessIR.Extractor.AshStateMachine](Ex4pmCore.ProcessIR.Extractor.AshStateMachine.md): Extracts AshStateMachine state definitions, transitions, and transition guards
directly into ProcessIR choice graphs and lifecycle constraints without AST walking.

- [Ex4pmCore.ProcessIR.Extractor.Reactor](Ex4pmCore.ProcessIR.Extractor.Reactor.md): Extracts Reactor saga and step definitions into canonical ProcessIR partial orders.
- [Ex4pmCore.ProcessIR.Guard](Ex4pmCore.ProcessIR.Guard.md): A logical guard/condition predicate over event/object data.
- [Ex4pmCore.ProcessIR.Loop](Ex4pmCore.ProcessIR.Loop.md): An iterative loop construct (do-while / repeat-until / while-do).
- [Ex4pmCore.ProcessIR.ObjectType](Ex4pmCore.ProcessIR.ObjectType.md): An object type definition in an object-centric process.
- [Ex4pmCore.ProcessIR.PartialOrder](Ex4pmCore.ProcessIR.PartialOrder.md): A strict partial order (DAG) of activities or sub-processes.
- [Ex4pmCore.ProcessIR.Policy](Ex4pmCore.ProcessIR.Policy.md): A governance, compliance, security, or temporal policy constraint.
- [Ex4pmCore.ProcessIR.Relationship](Ex4pmCore.ProcessIR.Relationship.md): A relationship definition between object types or event and objects.
- [Ex4pmDomain](Ex4pmDomain.md): Ash Domain for the OCEL 2.0 Process Intelligence Control Plane.
- [Ex4pmDomain.AdversarialAudit](Ex4pmDomain.AdversarialAudit.md): Ash Resource recording AutoSystems 8 False-Pass adversarial audits.
- [Ex4pmDomain.Agent](Ex4pmDomain.Agent.md): Ash Resource representing an autonomous or supervised agent in the fleet.
- [Ex4pmDomain.AgentRun](Ex4pmDomain.AgentRun.md): Ash Resource representing a specific execution run of an agent.
- [Ex4pmDomain.AlignmentRecord](Ex4pmDomain.AlignmentRecord.md): Ash Resource storing A* Cost-Based Optimal Trace Alignment results.
- [Ex4pmDomain.BEAMOps.ClusterNode](Ex4pmDomain.BEAMOps.ClusterNode.md): Ash Resource representing an active BEAM VM participant in a distributed Erlang cluster.
Maps to `beamops:ClusterNode` in public ontology.
- [Ex4pmDomain.BEAMOps.Deployment](Ex4pmDomain.BEAMOps.Deployment.md): Ash Resource representing an OTP release deployment and rolling update lifecycle.
Maps to `beamops:Deployment` in public ontology.
- [Ex4pmDomain.BEAMOps.KanbanCard](Ex4pmDomain.BEAMOps.KanbanCard.md): Ash Resource representing a Kanban work item card moving across lifecycle columns.
Maps to `beamops:KanbanCard` in public ontology.
- [Ex4pmDomain.BEAMOps.MetricProbe](Ex4pmDomain.BEAMOps.MetricProbe.md): Ash Resource representing a PromEx telemetry metric probe and observation sample.
Maps to `beamops:MetricProbe` in public ontology.
- [Ex4pmDomain.BayesianNetwork](Ex4pmDomain.BayesianNetwork.md): Ash Resource representing a Bayesian Network with DAG topology and Conditional Probability Tables.
- [Ex4pmDomain.BlackboardHypothesis](Ex4pmDomain.BlackboardHypothesis.md): Ash Resource representing a Hearsay-II blackboard hypothesis and knowledge source activation.
- [Ex4pmDomain.CapabilityReceipt](Ex4pmDomain.CapabilityReceipt.md): Ash Resource representing an autonomic capability liveness receipt.
- [Ex4pmDomain.CausalModel](Ex4pmDomain.CausalModel.md): Ash Resource representing an inferred Causal Dependency Model over activity traces.
- [Ex4pmDomain.ChangeOrder](Ex4pmDomain.ChangeOrder.md): Ash Resource modeling an Enterprise Change Order Lifecycle as a formal 1-Safe State Machine.
- [Ex4pmDomain.ChoreographyContract](Ex4pmDomain.ChoreographyContract.md): Ash Resource storing multi-agent communicating choreography contracts.
- [Ex4pmDomain.CognitionBreed](Ex4pmDomain.CognitionBreed.md): Ash Resource representing a cataloged Old-AI Cognition Breed (60+ breeds).
Encompasses probabilistic graphs, logic solvers, planners, temporal calculi, and cognitive architectures.
- [Ex4pmDomain.CognitionSession](Ex4pmDomain.CognitionSession.md): Ash Resource representing a state-carrying compound reasoning session.
Maintains working memory, active goals, intermediate proofs, and execution receipts.
- [Ex4pmDomain.ConformanceResult](Ex4pmDomain.ConformanceResult.md): Ash Resource representing an operational conformance verification result.
- [Ex4pmDomain.CriticalPathSchedule](Ex4pmDomain.CriticalPathSchedule.md): Ash Resource representing a Critical Path Method (CPM) Schedule for multi-agent DAG execution.
- [Ex4pmDomain.Event](Ex4pmDomain.Event.md): Ash Resource representing an OCEL 2.0 observed event.
- [Ex4pmDomain.EventObject](Ex4pmDomain.EventObject.md): Ash Resource representing an Event-to-Object (E2O) relationship.
- [Ex4pmDomain.Extensions.SoundStateMachine](Ex4pmDomain.Extensions.SoundStateMachine.md): Spark DSL Extension enforcing mathematical 1-Safe Soundness on Ash State Machine Resources.

- [Ex4pmDomain.InterviewSession](Ex4pmDomain.InterviewSession.md): Ash Resource representing an InterviewAssist active inquiry session.
- [Ex4pmDomain.LtlfConstraint](Ex4pmDomain.LtlfConstraint.md): Ash Resource storing Linear Temporal Logic over Finite Traces (LTLf) constraints.
- [Ex4pmDomain.Manager](Ex4pmDomain.Manager.md): High-level transactional management interface for the OCEL 2.0 Process Intelligence Control Plane.

- [Ex4pmDomain.MarkovModel](Ex4pmDomain.MarkovModel.md): Ash Resource representing a Markov Process State Transition Model.
- [Ex4pmDomain.Notifier.OcelNotifier](Ex4pmDomain.Notifier.OcelNotifier.md): Universal Ash.Notifier that automatically intercepts Ash Resource lifecycle actions
and transforms them into standard IEEE OCEL 2.0 events.
- [Ex4pmDomain.Object](Ex4pmDomain.Object.md): Ash Resource representing an OCEL 2.0 object.
- [Ex4pmDomain.ObjectObject](Ex4pmDomain.ObjectObject.md): Ash Resource representing an Object-to-Object (O2O) relationship.
- [Ex4pmDomain.OcpqQuery](Ex4pmDomain.OcpqQuery.md): Ash Resource representing an OCPQ Object-Centric Query Tree and Structural Invariant check.
- [Ex4pmDomain.ParetoFrontier](Ex4pmDomain.ParetoFrontier.md): Ash Resource representing a multi-objective Pareto dominance ranking of candidate process models.
- [Ex4pmDomain.Plan](Ex4pmDomain.Plan.md): Ash Resource representing a generated STRIPS or HTN execution plan.
- [Ex4pmDomain.PowlModel](Ex4pmDomain.PowlModel.md): Ash Resource storing sound-by-construction POWL 2.0 process trees.
- [Ex4pmDomain.ProcessIncident](Ex4pmDomain.ProcessIncident.md): Ash Resource modeling an Incident Lifecycle as a formal 1-Safe State Machine.
- [Ex4pmDomain.PrologKb](Ex4pmDomain.PrologKb.md): Ash Resource representing a Prolog Knowledge Base with Horn clauses and query interface.
- [Ex4pmDomain.Receipt](Ex4pmDomain.Receipt.md): Ash Resource representing a cryptographic receipt in the control plane.
- [Ex4pmDomain.Refusal](Ex4pmDomain.Refusal.md): Ash Resource representing a typed rejection, validation failure, or security refusal.
- [Ex4pmDomain.SurvivalModel](Ex4pmDomain.SurvivalModel.md): Ash Resource representing a process survival model with Kaplan-Meier curves and RUL prediction.
- [Ex4pmDomain.TemporalModel](Ex4pmDomain.TemporalModel.md): Ash Resource representing Allen's 13 interval relations and LTL constraints over process traces.
- [Ex4pmDomain.Verifiers.VerifySoundness](Ex4pmDomain.Verifiers.VerifySoundness.md): Spark DSL Verifier enforcing mathematical 1-Safe Soundness on Ash state machine resources at compile-time.
- [Ex4pmEngine.Alignment](Ex4pmEngine.Alignment.md): A* Cost-Based Optimal Trace Alignment Engine.
Faithful BEAM realization of Van der Aalst, Adriansyah, and Dongen (2012).
- [Ex4pmEngine.Alignment.Move](Ex4pmEngine.Alignment.Move.md)
- [Ex4pmEngine.Alignment.Result](Ex4pmEngine.Alignment.Result.md)
- [Ex4pmEngine.Autonomic.ClosedLoop](Ex4pmEngine.Autonomic.ClosedLoop.md): Continuous Closed-Loop Autonomic Engine (MAPK Loop: Monitor, Analyze, Plan, Execute).
Governs autonomous process discovery, conformance monitoring, and self-healing actuation.

- [Ex4pmEngine.Beam.AllenTemporal](Ex4pmEngine.Beam.AllenTemporal.md): Real Allen's interval algebra over `DateTime`-bounded half-open intervals
`[start, end)`, implemented with plain `DateTime` comparisons — no
third-party interval package. (Previously backed by the `interval` hex
package's `Interval.DateTimeInterval`; that package pins `decimal ~> 2.0`
with no newer release, which is irreconcilable with `explorer`'s
`decimal ~> 3.1` requirement and would force an unpublishable
`override: true` dependency. Allen's relations reduce to straightforward
endpoint comparisons on plain `DateTime` values, so no library was needed
for this.)
- [Ex4pmEngine.Beam.SoundnessGraph](Ex4pmEngine.Beam.SoundnessGraph.md): Real `:digraph`-backed reachability/cycle checks over a POWL-shaped process
model, expressed as `Ex4pm.Standing`-compatible outcomes.
- [Ex4pmEngine.Bench.Topology](Ex4pmEngine.Bench.Topology.md): Real BEAM-native benchmark harness comparing distributed-engine topologies
for process discovery (directly-follows graph, DFG), under a virtual-cost
model (`Ex4pmEngine.Bench.VirtualCost`: compute/store/send operation
counts) rather than wall-clock time.
- [Ex4pmEngine.Bench.VirtualCost](Ex4pmEngine.Bench.VirtualCost.md): Real virtual-cost counter for distributed-engine topology benchmarks.
- [Ex4pmEngine.Choreography](Ex4pmEngine.Choreography.md): Multi-Agent Communicating Process Choreography Prover.
Faithful BEAM realization of Weske (2019) and Lohmann, Wolf, and Dijkman (2009).
- [Ex4pmEngine.Choreography.AgentNet](Ex4pmEngine.Choreography.AgentNet.md)
- [Ex4pmEngine.Choreography.Channel](Ex4pmEngine.Choreography.Channel.md)
- [Ex4pmEngine.Choreography.Report](Ex4pmEngine.Choreography.Report.md)
- [Ex4pmEngine.Cognition.Adversarial](Ex4pmEngine.Cognition.Adversarial.md): AutoSystems 8 False-Pass Adversarial Detectors.
Audits process execution streams, candidate models, and agent claims for integrity violations:
1. Silent Divergence (unreported state changes)
2. Receipt Forgery (invalid signature / missing previous digest)
3. Mock Inflation (faking high fitness via tautological loops)
4. Cyclic Drift (unbounded state expansion)
5. Shadow Authority (executing unadmitted actions)
6. Timestamp Inversion (non-monotonic event clocks)
7. Object Teleportation (referencing uninitialized object IDs)
8. Refusal Suppression (concealing typed rejection errors)

- [Ex4pmEngine.Cognition.BayesianNetwork](Ex4pmEngine.Cognition.BayesianNetwork.md): Discrete Bayesian Network inference engine supporting exact marginalization,
conditional belief updates, and variable elimination over directed acyclic graphs.

- [Ex4pmEngine.Cognition.Blackboard](Ex4pmEngine.Cognition.Blackboard.md): Hearsay-II hierarchical Blackboard architecture.
Supports multi-level hypothesis posts, knowledge source (KS) triggers, and opportunistic reasoning.

- [Ex4pmEngine.Cognition.Blackboard.Hypothesis](Ex4pmEngine.Cognition.Blackboard.Hypothesis.md): A hypothesis posted to a specific level of the blackboard.
- [Ex4pmEngine.Cognition.Causal](Ex4pmEngine.Cognition.Causal.md): Causal Discovery & Dependency Matrix Inference.
Computes direct causal dependencies and confounding influences between activities from trace observations.

- [Ex4pmEngine.Cognition.CostLaw](Ex4pmEngine.Cognition.CostLaw.md): AutoSystems Process Cost Law evaluator.
Computes operational execution costs as a multi-factor function:
`cost = f(delay_ms, risk_factor, compute_units, error_penalty)`.

- [Ex4pmEngine.Cognition.CriticalPath](Ex4pmEngine.Cognition.CriticalPath.md): Critical Path Method (CPM) Scheduler for multi-agent DAG task execution.
Calculates Earliest Start (ES), Latest Start (LS), Total Float/Slack,
and identifies the critical path through task dependencies.

- [Ex4pmEngine.Cognition.CriticalPath.Task](Ex4pmEngine.Cognition.CriticalPath.Task.md)
- [Ex4pmEngine.Cognition.Interview](Ex4pmEngine.Cognition.Interview.md): InterviewAssist active inquiry protocol.
Manages structured qualification question trees, response evaluations,
and ambiguity reduction scoring for human-in-the-loop and agent-to-agent alignment.

- [Ex4pmEngine.Cognition.Interview.Question](Ex4pmEngine.Cognition.Interview.Question.md): A structured qualification or clarification question.
- [Ex4pmEngine.Cognition.Markov](Ex4pmEngine.Cognition.Markov.md): Markov Chain Process Dynamics & Transition Probability Matrices.
Models state transition probabilities and stationary distributions across process lifecycles.

- [Ex4pmEngine.Cognition.Ocpq](Ex4pmEngine.Cognition.Ocpq.md): Object-Centric Process Querying & Constraints (OCPQ).
Faithful, high-throughput BEAM realization of Küsters & van der Aalst (arXiv:2506.11541v1, 2025).
- [Ex4pmEngine.Cognition.Ocpq.BasicPredicate](Ex4pmEngine.Cognition.Ocpq.BasicPredicate.md)
- [Ex4pmEngine.Cognition.Ocpq.BindingBox](Ex4pmEngine.Cognition.Ocpq.BindingBox.md)
- [Ex4pmEngine.Cognition.Ocpq.IndexContext](Ex4pmEngine.Cognition.Ocpq.IndexContext.md): O(1) lookup index built over an EventLog for high-speed query evaluation.
- [Ex4pmEngine.Cognition.Ocpq.QueryTree](Ex4pmEngine.Cognition.Ocpq.QueryTree.md)
- [Ex4pmEngine.Cognition.Ocpq.VarDecl](Ex4pmEngine.Cognition.Ocpq.VarDecl.md)
- [Ex4pmEngine.Cognition.Pareto](Ex4pmEngine.Cognition.Pareto.md): Multi-objective Pareto dominance ranking over competing candidate process models.
Computes non-dominated frontiers across fitness, precision, cost, and complexity objectives.

- [Ex4pmEngine.Cognition.Planner](Ex4pmEngine.Cognition.Planner.md): STRIPS means-ends and Hierarchical Task Network (HTN) action planner.
Constructs sound plans to transition from initial state to goal state over state transitions.

- [Ex4pmEngine.Cognition.Planner.Action](Ex4pmEngine.Cognition.Planner.Action.md): A STRIPS action operator with pre-conditions, add-list, and delete-list.
- [Ex4pmEngine.Cognition.Prolog](Ex4pmEngine.Cognition.Prolog.md): Horn-clause backward chaining resolution engine with Robinson first-order term unification.
Provides native BEAM logic programming execution for rules, invariants, and ontology deductions.

- [Ex4pmEngine.Cognition.Survival](Ex4pmEngine.Cognition.Survival.md): Survival Analysis and Remaining Useful Life (RUL) estimation for OCEL process cases.
Implements non-parametric Kaplan-Meier survival curves and cumulative hazard estimation.

- [Ex4pmEngine.Cognition.Temporal](Ex4pmEngine.Cognition.Temporal.md): Allen's 13 interval temporal algebra and Linear Temporal Logic (LTL) trace monitor.
Computes relational consistency across event intervals and validates temporal process constraints.

- [Ex4pmEngine.DAPN](Ex4pmEngine.DAPN.md): Data-Aware Petri Nets (DAPN) with First-Order Guard Evaluation & Cross-Step Binding Accumulation.
Faithful BEAM realization of Montali, Calvanese, and De Giacomo (2014, 2017).
- [Ex4pmEngine.DAPN.Guard](Ex4pmEngine.DAPN.Guard.md)
- [Ex4pmEngine.Decomposition.WFNetToPOWL](Ex4pmEngine.Decomposition.WFNetToPOWL.md): Top-Down Hierarchical Decomposition of Separable Workflow Nets into POWL 2.0:
- Algorithm 1 `PartitionMG` [PETRI25, p. 17] (Marked Graph Poset Decomposition)
- Algorithm 2 `PartitionSM` [PETRI25, p. 19] (State Machine Choice Graph Decomposition)
- Algorithm 3 `WFNetToPOWL` [PETRI25, p. 21] (Recursive SESE Decomposition)
- Theorem 5.6 Completeness Guarantee [PETRI25, p. 24]

- [Ex4pmEngine.ETCPrecision](Ex4pmEngine.ETCPrecision.md): Adriansyah Escaping-Edge (ETC) Precision Engine with Inductive Negative Event Weighting.
Faithful BEAM realization of Adriansyah, Dongen, and Van der Aalst (2012, 2014).
- [Ex4pmEngine.GenerativeAutonomic](Ex4pmEngine.GenerativeAutonomic.md): Vision 2030 Generative Autonomic Self-Healing Engine.
- [Ex4pmEngine.Hypergraph](Ex4pmEngine.Hypergraph.md): Vision 2030 Unified Semantic-Process Hypergraph Bridge.
- [Ex4pmEngine.IO.BPMNExporter](Ex4pmEngine.IO.BPMNExporter.md): BPMN 2.0 XML Standard Exporter.
Converts POWL 2.0 models into valid OMG BPMN 2.0 XML importable into Camunda Modeler and Signavio.

- [Ex4pmEngine.IO.BPMNPoolExporter](Ex4pmEngine.IO.BPMNPoolExporter.md): Generates standard OMG BPMN 2.0 XML with Organizational Pools, Swimlanes, and Collaboration tags.

- [Ex4pmEngine.IO.EventLogParser](Ex4pmEngine.IO.EventLogParser.md): Multi-format Event Log Parser supporting CSV, XES, JSON, and newline-delimited trace files.

- [Ex4pmEngine.IO.PNMLExporter](Ex4pmEngine.IO.PNMLExporter.md): ISO/IEC 15909-Compliant Petri Net Markup Language (PNML) Exporter.
Produces valid `<pnml>` XML interchange files importable directly into ProM, WoPeD, and PM4Py.

- [Ex4pmEngine.InductiveMiner](Ex4pmEngine.InductiveMiner.md): Canonical POWL 2.0 Inductive Miner ($PM^\times$) — Exact Mathematical Realization:
- Algorithm 1 `MineDG` [BPM25, p. 11]
- Definition 4 & 5 Valid Choice Graph Cut [BPM25, p. 10]
- Theorem 1 Fitness Guarantee [BPM25, p. 13]
- [Ex4pmEngine.LTLf](Ex4pmEngine.LTLf.md): Linear Temporal Logic over Finite Traces (LTLf) Model Checker.
Faithful BEAM realization of De Giacomo and Vardi (2013, 2015).
- [Ex4pmEngine.LTLf.Formula](Ex4pmEngine.LTLf.Formula.md)
- [Ex4pmEngine.Miner.OCPOWL](Ex4pmEngine.Miner.OCPOWL.md): Object-Centric POWL (OC-POWL) Discovery Engine:
Mines multi-object-type processes directly from IEEE OCEL 2.0 event streams:
1. Object Type Projection: Slices event stream by object type (e.g. `order`, `item`, `package`).
2. Sub-POWL Discovery: Discovers sound POWL models for each object type using `InductiveMiner`.
3. Shared Transition Binding: Synchronizes object lifecycles on multi-object events.

- [Ex4pmEngine.OCPN](Ex4pmEngine.OCPN.md): Formal Object-Centric Petri Net (OCPN) Specification and Soundness Engine.
- [Ex4pmEngine.OCPN.SoundnessEngine](Ex4pmEngine.OCPN.SoundnessEngine.md): Formal Reachability Analysis, Soundness Verification, and Cross-Object Deadlock
Detection Engine for Object-Centric Petri Nets (OCPN) and 1-Safe Workflow Nets.
- [Ex4pmEngine.OcelToLatex](Ex4pmEngine.OcelToLatex.md): Automated IEEE OCEL 2.0 to Publication-Grade LaTeX Table Generator.
- [Ex4pmEngine.POWL](Ex4pmEngine.POWL.md): POWL 2.0 (Partially Ordered Workflow Language) Engine.
Exact Mathematical Realization of:
- [BPM25] Kourani, Park, van der Aalst (2025). Unlocking Non-Block-Structured Decisions: Inductive Mining with Choice Graphs. BPM 2025, LNCS 16044, pp. 144–161.
- [PETRI25] Kourani, Park, van der Aalst (2025). Hierarchical Decomposition of Separable Workflow-Nets. PETRI NETS 2025, LNCS 15714, pp. 242–264.
- [Ex4pmEngine.POWL.ChoiceGraph](Ex4pmEngine.POWL.ChoiceGraph.md): POWL 2.0 Choice Graph — Exact Mathematical Realization:
- Definition 1 [BPM25, p. 7]
- Definition 2 & 3 [BPM25, p. 8]
- Definition 3.6, 3.7 & 3.9 [PETRI25, pp. 8–10]
- [Ex4pmEngine.POWL.Language](Ex4pmEngine.POWL.Language.md): POWL 2.0 Language Evaluator $L(\psi)$ — Exact Mathematical Realization:
- Definition 3 [BPM25, p. 8]
- Definition 3.9 [PETRI25, p. 10]
- [Ex4pmEngine.POWL.Node](Ex4pmEngine.POWL.Node.md)
- [Ex4pmEngine.POWL.Shuffle](Ex4pmEngine.POWL.Shuffle.md): Order-Preserving Shuffle Operator $\prec\hspace{-0.6em}\odot$ — Exact Mathematical Realization:
- Definition 3.8 [PETRI25, p. 10]
- Section 3.1 [BPM25, p. 6]
- [Ex4pmEngine.QuantumProcess](Ex4pmEngine.QuantumProcess.md): Vision 2040 Quantum Superpositional Petri Net Engine.
- [Ex4pmEngine.Reactors.AutoFdePlannerReactor](Ex4pmEngine.Reactors.AutoFdePlannerReactor.md): Reference production Reactor workflow demonstrating step compensation,
process monitoring, and ordered-fallback mechanics.
- [Ex4pmEngine.Reactors.AutoFdePlannerReactor.PortRegistry](Ex4pmEngine.Reactors.AutoFdePlannerReactor.PortRegistry.md): Public-ETS-backed registry used to hand a spawned OS port/pid from a
`RunScript` step's `run/3` across to `compensate/4` so it can find and kill the process.

- [Ex4pmEngine.Reactors.AutoFdePlannerReactor.RunScript](Ex4pmEngine.Reactors.AutoFdePlannerReactor.RunScript.md): Reactor step that executes an external planner command with ordered compensation.

- [Ex4pmEngine.Reactors.BEAMOps.BookValidationReactor](Ex4pmEngine.Reactors.BEAMOps.BookValidationReactor.md): Master Process Intelligence Reactor validating the entire 12-chapter curriculum
of *Engineering Elixir Applications* (BEAMOps) using Ash.Reactor, A* trace alignment,
Declare LTLf temporal rules, Bayesian Network inference, and BRCE receipts.
- [Ex4pmEngine.Reactors.BEAMOps.ClusterRebalanceReactor](Ex4pmEngine.Reactors.BEAMOps.ClusterRebalanceReactor.md): Reactor Saga reconciling distributed Erlang cluster membership and gossiping
topology updates with Ash Resource tracking and BRCE audit receipts.
- [Ex4pmEngine.Reactors.BEAMOps.OcpqAdversarialReactor](Ex4pmEngine.Reactors.BEAMOps.OcpqAdversarialReactor.md): Adversarial OCPQ (Object-Centric Process Querying) validation reactor.
Extracts multi-object interaction graphs from living cluster/deployment operations
and evaluates structural & temporal invariants across disjoint object types
(Deployment, ClusterNode, KanbanCard, MetricProbe).
- [Ex4pmEngine.Reactors.BEAMOps.PromExAuditReactor](Ex4pmEngine.Reactors.BEAMOps.PromExAuditReactor.md): Reactor Saga sampling telemetry probes, persisting Ash MetricProbe observations,
and evaluating Alertmanager threshold triggers.
- [Ex4pmEngine.Reactors.BEAMOps.RollingDeploymentReactor](Ex4pmEngine.Reactors.BEAMOps.RollingDeploymentReactor.md): Reactor Saga executing zero-downtime rolling release deployments with
continuous health probe verification and atomic LIFO rollback upon health failure.
- [Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage01ToolchainReactor](Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage01ToolchainReactor.md): Chapter 1 Task: Validates Erlang/OTP 27, Elixir 1.18+, and ASDF toolchain integrity.
- [Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage02TerraformGithubReactor](Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage02TerraformGithubReactor.md): Chapter 2 Task: Validates Terraform GitHub provider milestones, issues, and project management DAG.
- [Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage03DockerReleaseReactor](Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage03DockerReleaseReactor.md): Chapter 3 Task: Validates Phoenix LiveView Kanban mix release inside a multi-stage Dockerfile.
- [Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage04CiPipelineReactor](Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage04CiPipelineReactor.md): Chapter 4 Task: Validates GitHub Actions CI pipeline gates (compile, test, format, docker push).
- [Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage05ComposeDatabaseReactor](Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage05ComposeDatabaseReactor.md): Chapter 5 Task: Validates Docker Compose multi-service synchronization, Ecto migrations, and database healthchecks.
- [Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage06PackerAwsVpcReactor](Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage06PackerAwsVpcReactor.md): Chapter 6 Task: Validates AWS VPC subnet architecture, security groups, and Packer AMI configurations.
- [Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage07SopsSecretsReactor](Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage07SopsSecretsReactor.md): Chapter 7 Task: Validates SOPS secret encryption/decryption, age/KMS key configs, and Docker secrets.
- [Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage08MultiNodeSwarmReactor](Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage08MultiNodeSwarmReactor.md): Chapter 8 Task: Validates Multi-node EC2 Docker Swarm init tokens, overlay networks, and node quorum.
- [Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage09DistributedErlangReactor](Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage09DistributedErlangReactor.md): Chapter 9 Task: Validates Distributed Erlang clustering (libcluster, EPMD, PubSub).
- [Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage10AutoscalingRollbackReactor](Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage10AutoscalingRollbackReactor.md): Chapter 10 Task: Validates AWS ASG / ALB healthcheck gating, zero-downtime rolling updates, and automated rollbacks.
- [Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage11LoggingTelemetryReactor](Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage11LoggingTelemetryReactor.md): Chapter 11 Task: Validates structured JSON logging, Promtail/Alloy log aggregation, Loki, and Prometheus scraping.
- [Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage12PromExAlertsReactor](Ex4pmEngine.Reactors.BEAMOps.Tasks.Stage12PromExAlertsReactor.md): Chapter 12 Task: Validates custom PromEx plugins (CpuPlugin), Grafana dashboard definitions, and Alertmanager alert rules.
- [Ex4pmEngine.Reactors.Chicago.AroundHooks](Ex4pmEngine.Reactors.Chicago.AroundHooks.md): Around-hooks providing transactional execution boundaries and BRCE receipt
enforcement around Reactor step executions.

- [Ex4pmEngine.Reactors.Chicago.ChicagoProcessIntelligenceReactor](Ex4pmEngine.Reactors.Chicago.ChicagoProcessIntelligenceReactor.md): Chicago Master Process Intelligence Reactor exercising the full Reactor DSL:
- `middlewares`: ChicagoAuditMiddleware
- `around`: Transactional BRCE evidence wrapping
- `group`: Lifecycle setup and teardown (`before_all` / `after_all`)
- `map`: Concurrent batch stream normalization (`batch_size: 10`, `allow_async? true`)
- `compose`: Hierarchical sub-reactor embedding (`PowlDiscoverySubReactor`)
- `collect`: Multi-perspective analytics aggregation
- `switch`: Decision branching via `matches?` and `default`
- `where`: Conditional execution filters
- `template`: Diagnostic EEx rendering
- `debug`: Audit telemetry step
- [Ex4pmEngine.Reactors.Chicago.ChicagoSagaRollbackReactor](Ex4pmEngine.Reactors.Chicago.ChicagoSagaRollbackReactor.md): Chicago-style Saga Rollback & Compensation Test Reactor.
Verifies strict reverse LIFO compensation across multi-step transactions when a fault occurs.
- [Ex4pmEngine.Reactors.Chicago.Middlewares.ChicagoAuditMiddleware](Ex4pmEngine.Reactors.Chicago.Middlewares.ChicagoAuditMiddleware.md): Audits Reactor lifecycle events, recording step transitions, durations, and receipts
into process telemetry and caller mailbox.

- [Ex4pmEngine.Reactors.Chicago.PowlDiscoverySubReactor](Ex4pmEngine.Reactors.Chicago.PowlDiscoverySubReactor.md): Composable Sub-Reactor that discovers POWL choice graphs, tests mathematical soundness,
and compiles interchange representations.
- [Ex4pmEngine.Reactors.Chicago.Steps](Ex4pmEngine.Reactors.Chicago.Steps.md): Modular Step implementations for Chicago-style process intelligence verification.

- [Ex4pmEngine.Reactors.Chicago.Steps.AuthorizeFinancialCommitment](Ex4pmEngine.Reactors.Chicago.Steps.AuthorizeFinancialCommitment.md)
- [Ex4pmEngine.Reactors.Chicago.Steps.CheckDeclareConstraints](Ex4pmEngine.Reactors.Chicago.Steps.CheckDeclareConstraints.md)
- [Ex4pmEngine.Reactors.Chicago.Steps.ComputeAlignment](Ex4pmEngine.Reactors.Chicago.Steps.ComputeAlignment.md)
- [Ex4pmEngine.Reactors.Chicago.Steps.DiscoverPowlModel](Ex4pmEngine.Reactors.Chicago.Steps.DiscoverPowlModel.md)
- [Ex4pmEngine.Reactors.Chicago.Steps.EvaluateSurvivalCurves](Ex4pmEngine.Reactors.Chicago.Steps.EvaluateSurvivalCurves.md)
- [Ex4pmEngine.Reactors.Chicago.Steps.InferBayesianBelief](Ex4pmEngine.Reactors.Chicago.Steps.InferBayesianBelief.md)
- [Ex4pmEngine.Reactors.Chicago.Steps.IngestAndNormalize](Ex4pmEngine.Reactors.Chicago.Steps.IngestAndNormalize.md)
- [Ex4pmEngine.Reactors.Chicago.Steps.ParallelTraceTransformer](Ex4pmEngine.Reactors.Chicago.Steps.ParallelTraceTransformer.md)
- [Ex4pmEngine.Reactors.Chicago.Steps.ReserveProcessSlot](Ex4pmEngine.Reactors.Chicago.Steps.ReserveProcessSlot.md)
- [Ex4pmEngine.Reactors.Chicago.Steps.TerminalFaultyActuation](Ex4pmEngine.Reactors.Chicago.Steps.TerminalFaultyActuation.md)
- [Ex4pmEngine.Reactors.Chicago.Steps.VerifySoundness](Ex4pmEngine.Reactors.Chicago.Steps.VerifySoundness.md)
- [Ex4pmEngine.Reactors.Middlewares.OCELEventMiddleware](Ex4pmEngine.Reactors.Middlewares.OCELEventMiddleware.md): Reactor Middleware capturing real-time saga lifecycle transitions into standard IEEE OCEL 2.0 events.
Intercepts forward execution and backward LIFO compensation/undo events.

- [Ex4pmEngine.Reactors.OrderToDeliveryEnterpriseReactor](Ex4pmEngine.Reactors.OrderToDeliveryEnterpriseReactor.md): 100% Feature-Complete Enterprise Ash Reactor Saga of [BPM25] Figure 2b:
- `middlewares`: Live IEEE OCEL 2.0 telemetry emitter.
- `input`: Configurable execution parameters.
- `step`: Dedicated Step modules with `compensate/4` and `undo/3`.
- `switch`: Non-block choice graph branching (Express vs. Regular).
- `where`: Conditional step gating.
- `collect`: Result aggregation into order manifest.
- `flunk` / terminal fault injection support for negative verification.
- [Ex4pmEngine.Reactors.SelfConformanceReactor](Ex4pmEngine.Reactors.SelfConformanceReactor.md): Autonomous Ash.Reactor orchestrating self-conformance verification over
real production IEEE OCEL 2.0 event streams.
- [Ex4pmEngine.Reactors.SelfConformanceReactor.AnalyzeSurvival](Ex4pmEngine.Reactors.SelfConformanceReactor.AnalyzeSurvival.md): Reactor step that computes Kaplan-Meier survival curves for process case durations.
- [Ex4pmEngine.Reactors.SelfConformanceReactor.EvaluateConformance](Ex4pmEngine.Reactors.SelfConformanceReactor.EvaluateConformance.md): Reactor step that computes the 5-Dimensional Conformance Vector.
- [Ex4pmEngine.Reactors.SelfConformanceReactor.EvaluateOcpq](Ex4pmEngine.Reactors.SelfConformanceReactor.EvaluateOcpq.md): Reactor step that executes OCPQ multi-object invariant checks.
- [Ex4pmEngine.Reactors.SelfConformanceReactor.ManufactureReceipt](Ex4pmEngine.Reactors.SelfConformanceReactor.ManufactureReceipt.md): Reactor step that generates W3C EARL 1.0 assertions and records in CapabilityReceipt.
- [Ex4pmEngine.Reactors.SelfConformanceReactor.MineTopology](Ex4pmEngine.Reactors.SelfConformanceReactor.MineTopology.md): Reactor step that executes real-time DFG mining over streamed OCEL events.
- [Ex4pmEngine.Reactors.SelfConformanceReactor.StreamOcel](Ex4pmEngine.Reactors.SelfConformanceReactor.StreamOcel.md): Reactor step that streams and normalizes real IEEE OCEL 2.0 NDJSON events.
- [Ex4pmEngine.Reactors.Steps.EnterpriseSteps](Ex4pmEngine.Reactors.Steps.EnterpriseSteps.md): Dedicated, reusable Reactor step modules with full 3-arity run/3, compensate/4, and undo/3 callbacks.

- [Ex4pmEngine.Reactors.Steps.EnterpriseSteps.CheckCredit](Ex4pmEngine.Reactors.Steps.EnterpriseSteps.CheckCredit.md)
- [Ex4pmEngine.Reactors.Steps.EnterpriseSteps.ExpressShip](Ex4pmEngine.Reactors.Steps.EnterpriseSteps.ExpressShip.md)
- [Ex4pmEngine.Reactors.Steps.EnterpriseSteps.FaultyTerminalDelivery](Ex4pmEngine.Reactors.Steps.EnterpriseSteps.FaultyTerminalDelivery.md)
- [Ex4pmEngine.Reactors.Steps.EnterpriseSteps.RegularShip](Ex4pmEngine.Reactors.Steps.EnterpriseSteps.RegularShip.md)
- [Ex4pmEngine.Reactors.Steps.EnterpriseSteps.ReserveInventory](Ex4pmEngine.Reactors.Steps.EnterpriseSteps.ReserveInventory.md)
- [Ex4pmEngine.Reactors.WasmCapabilitiesReactor](Ex4pmEngine.Reactors.WasmCapabilitiesReactor.md): Triggers all 19 real `wasm4pm-ex4pm-bindings` process-intelligence
algorithms as Reactor steps against ONE shared, real Wasmex instance --
the "wasm4pm capabilities triggered by reactors" requirement.
- [Ex4pmEngine.Reactors.WasmCapabilitiesReactor.BootWasm](Ex4pmEngine.Reactors.WasmCapabilitiesReactor.BootWasm.md): Reactor step: boots ONE real Wasmex instance from the compiled wasm4pm-ex4pm-bindings artifact, shared by every RunAlgorithm step.
- [Ex4pmEngine.Reactors.WasmCapabilitiesReactor.RunAlgorithm](Ex4pmEngine.Reactors.WasmCapabilitiesReactor.RunAlgorithm.md): Reactor step: triggers ONE real wasm4pm-ex4pm-bindings algorithm against
the shared Wasmex instance `Ex4pmEngine.Reactors.WasmCapabilitiesReactor.BootWasm`
booted, via the real `Ex4pmEngine.Wasm.RealTransport.default_transport/2`
-- no fixture closure, real WASM execution and real replay verification on
every invocation.
- [Ex4pmEngine.SoundnessProver](Ex4pmEngine.SoundnessProver.md): Formal Reachability Graph & 1-Safe Soundness Prover for Workflow Nets.
Faithful BEAM realization of Van der Aalst (1997, 2011).
- [Ex4pmEngine.SoundnessProver.Report](Ex4pmEngine.SoundnessProver.Report.md)
- [Ex4pmEngine.StochasticProfiler](Ex4pmEngine.StochasticProfiler.md): Stochastic Profiler and Information-Theoretic Entropy Engine for large-scale
IEEE OCEL 2.0 event streams.
- [Ex4pmEngine.StreamingEngine](Ex4pmEngine.StreamingEngine.md): Ultra-high-throughput streaming engine for processing large-scale IEEE OCEL 2.0
NDJSON event streams.
- [Ex4pmEngine.Topos](Ex4pmEngine.Topos.md): Vision 2040 Category-Theoretic Process Morphogenesis Engine.
- [Ex4pmEngine.Visualizer.SVGRenderer](Ex4pmEngine.Visualizer.SVGRenderer.md): Native SVG Layout & Vector Visualizer for POWL 2.0 ChoiceGraphs, Workflow Nets, and BPMN models.

- [Ex4pmEngine.Wasm.Adapter](Ex4pmEngine.Wasm.Adapter.md): Shared `Ex4pm.Engine` implementation for the Phase-1
`wasm4pm-ex4pm-bindings` algorithm exports (discover, conform, simulate,
optimize, powl_mine).
- [Ex4pmEngine.Wasm.AlgoRegistry](Ex4pmEngine.Wasm.AlgoRegistry.md): Canonical registry of WASM-backed algorithm adapters for `Ex4pm.Engine.Wasm`.
- [Ex4pmEngine.Wasm.Align](Ex4pmEngine.Wasm.Align.md): wasm4pm-ex4pm-bindings `align` adapter -- Phase 2 (process mining core),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase2.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.AllenTemporal](Ex4pmEngine.Wasm.AllenTemporal.md): wasm4pm-ex4pm-bindings `allen_temporal` adapter -- Phase 2 (process mining core),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase2.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.Bayesian](Ex4pmEngine.Wasm.Bayesian.md): wasm4pm-ex4pm-bindings `bayesian` adapter -- Phase 2 (thin wrappers over
miniml/ocpq/wasm4pm-cognition), thin wrapper over an already-implemented,
plain (non-wasm_bindgen) pub fn already present in the `wasm4pm` crate.
See `~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase2.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.Conform](Ex4pmEngine.Wasm.Conform.md): wasm4pm-ex4pm-bindings `conform` adapter -- Phase 1 (process mining core),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/lib.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.CtlCheck](Ex4pmEngine.Wasm.CtlCheck.md): wasm4pm-ex4pm-bindings `ctl_check` adapter -- Phase 2 (process mining core),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase2.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.Discover](Ex4pmEngine.Wasm.Discover.md): wasm4pm-ex4pm-bindings `discover` adapter -- Phase 1 (process mining core),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/lib.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.DotProduct](Ex4pmEngine.Wasm.DotProduct.md): wasm4pm-ex4pm-bindings `dot_product` adapter -- Phase 4 (statistics/ML),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase4_stats.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.EtcPrecision](Ex4pmEngine.Wasm.EtcPrecision.md): wasm4pm-ex4pm-bindings `etc_precision` adapter -- Phase 2 (process mining core),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase2.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.EuclideanDistance](Ex4pmEngine.Wasm.EuclideanDistance.md): wasm4pm-ex4pm-bindings `euclidean_distance` adapter -- Phase 4 (statistics/ML),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase4_stats.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.Ewma](Ex4pmEngine.Wasm.Ewma.md): wasm4pm-ex4pm-bindings `ewma` adapter -- Phase 4 (statistics/ML),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase4_stats.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.Forecast](Ex4pmEngine.Wasm.Forecast.md): wasm4pm-ex4pm-bindings `forecast` adapter -- Phase 4 (statistics/ML),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase4_stats.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.HoltForecast](Ex4pmEngine.Wasm.HoltForecast.md): wasm4pm-ex4pm-bindings `holt_forecast` adapter -- Phase 4 (statistics/ML),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase4_stats.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.HtnPlan](Ex4pmEngine.Wasm.HtnPlan.md): wasm4pm-ex4pm-bindings `htn_plan` adapter -- Phase 2 (process mining core),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase2.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.KsCriticalValue](Ex4pmEngine.Wasm.KsCriticalValue.md): wasm4pm-ex4pm-bindings `ks_critical_value` adapter -- Phase 4 (statistics/ML),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase4_stats.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.KsStatistic](Ex4pmEngine.Wasm.KsStatistic.md): wasm4pm-ex4pm-bindings `ks_statistic` adapter -- Phase 4 (statistics/ML),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase4_stats.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.Markov](Ex4pmEngine.Wasm.Markov.md): wasm4pm-ex4pm-bindings `markov` adapter -- Phase 2 (thin wrappers over
miniml/ocpq/wasm4pm-cognition), thin wrapper over an already-implemented,
plain (non-wasm_bindgen) pub fn already present in the `wasm4pm` crate.
See `~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase2.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.Mean](Ex4pmEngine.Wasm.Mean.md): wasm4pm-ex4pm-bindings `mean` adapter -- Phase 4 (statistics/ML),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase4_stats.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.Median](Ex4pmEngine.Wasm.Median.md): wasm4pm-ex4pm-bindings `median` adapter -- Phase 4 (statistics/ML),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase4_stats.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.OcDiscover](Ex4pmEngine.Wasm.OcDiscover.md): wasm4pm-ex4pm-bindings `oc_discover` adapter -- Phase 2 (process mining core),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase2.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.OcpqEval](Ex4pmEngine.Wasm.OcpqEval.md): wasm4pm-ex4pm-bindings `ocpq_eval` adapter -- Phase 2 (thin wrappers over
miniml/ocpq/wasm4pm-cognition), thin wrapper over an already-implemented,
plain (non-wasm_bindgen) pub fn already present in the `wasm4pm` crate.
See `~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase2.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.Optimize](Ex4pmEngine.Wasm.Optimize.md): wasm4pm-ex4pm-bindings `optimize` adapter -- Phase 1 (process mining core),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/lib.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.Percentile](Ex4pmEngine.Wasm.Percentile.md): wasm4pm-ex4pm-bindings `percentile` adapter -- Phase 4 (statistics/ML),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase4_stats.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.Playout](Ex4pmEngine.Wasm.Playout.md): wasm4pm-ex4pm-bindings `playout` adapter -- Phase 2 (process mining core),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase2_playout.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.PowlMine](Ex4pmEngine.Wasm.PowlMine.md): wasm4pm-ex4pm-bindings `powl_mine` adapter -- Phase 1 (process mining core),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/lib.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.PrologQuery](Ex4pmEngine.Wasm.PrologQuery.md): wasm4pm-ex4pm-bindings `prolog_query` adapter -- Phase 2 (process mining core),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `prolog8` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/prolog.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.RealTransport](Ex4pmEngine.Wasm.RealTransport.md): The real Wasmex-backed transport for every `Ex4pmEngine.Wasm.*` adapter
(`discover`, `conform`, `align`, `htn_plan`, ... all 19 Phase-1/2/3
algorithms) -- the piece the CI workflow
(`.github/workflows/wasm4pm-bindings-integration.yml`) explicitly names as
"follow-on work, tracked in docs/ARD-v26.9.x-wasm4pm-phase1.md": every
exercised path before this module used a fixture closure fabricating both
the result and the `observed:true`/`replay_verified:true` identity.
- [Ex4pmEngine.Wasm.Regression](Ex4pmEngine.Wasm.Regression.md): wasm4pm-ex4pm-bindings `regression` adapter -- Phase 4 (statistics/ML),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase4_stats.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.Simulate](Ex4pmEngine.Wasm.Simulate.md): wasm4pm-ex4pm-bindings `simulate` adapter -- Phase 1 (process mining core),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/lib.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.Soundness](Ex4pmEngine.Wasm.Soundness.md): wasm4pm-ex4pm-bindings `soundness` adapter -- Phase 2 (process mining core),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase2.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.Standardize](Ex4pmEngine.Wasm.Standardize.md): wasm4pm-ex4pm-bindings `standardize` adapter -- Phase 4 (statistics/ML),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase4_stats.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.StdDeviation](Ex4pmEngine.Wasm.StdDeviation.md): wasm4pm-ex4pm-bindings `std_deviation` adapter -- Phase 4 (statistics/ML),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase4_stats.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.StripsPlan](Ex4pmEngine.Wasm.StripsPlan.md): wasm4pm-ex4pm-bindings `strips_plan` adapter -- Phase 2 (thin wrappers over
miniml/ocpq/wasm4pm-cognition), thin wrapper over an already-implemented,
plain (non-wasm_bindgen) pub fn already present in the `wasm4pm` crate.
See `~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase2.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.Survival](Ex4pmEngine.Wasm.Survival.md): wasm4pm-ex4pm-bindings `survival` adapter -- Phase 2 (thin wrappers over
miniml/ocpq/wasm4pm-cognition), thin wrapper over an already-implemented,
plain (non-wasm_bindgen) pub fn already present in the `wasm4pm` crate.
See `~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase2.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.Wasm.TrendClassify](Ex4pmEngine.Wasm.TrendClassify.md): wasm4pm-ex4pm-bindings `trend_classify` adapter -- Phase 4 (statistics/ML),
thin wrapper over an already-implemented, plain (non-wasm_bindgen) pub
fn already present in the `wasm4pm` crate. See
`~/wasm4pm/crates/wasm4pm-ex4pm-bindings/src/phase4_stats.rs` for the
real Rust implementation this binds.
- [Ex4pmEngine.WorkflowNet](Ex4pmEngine.WorkflowNet.md): Formal Workflow Net (WF-net) model implementing Definition 3.3 structural rules
and 1-safe bounded reachability soundness verification.

- [Ex4pmEngine.WorkflowNet.Arc](Ex4pmEngine.WorkflowNet.Arc.md): A directed flow arc between Place -> Transition or Transition -> Place.
- [Ex4pmEngine.WorkflowNet.Composition](Ex4pmEngine.WorkflowNet.Composition.md): Substitutive Composition of Workflow Nets — Exact Mathematical Realization:
- Definition 3.12 [PETRI25, p. 11]
- Definition 3.13 [PETRI25, p. 11] (Separable Workflow Nets)
- [Ex4pmEngine.WorkflowNet.Place](Ex4pmEngine.WorkflowNet.Place.md): A place in a Petri net / Workflow Net.
- [Ex4pmEngine.WorkflowNet.SoundnessReport](Ex4pmEngine.WorkflowNet.SoundnessReport.md): Comprehensive 1-safe bounded reachability soundness verification report.
- [Ex4pmEngine.WorkflowNet.Transition](Ex4pmEngine.WorkflowNet.Transition.md): A transition in a Petri net / Workflow Net.
- [Ex4pmEngine.ZkOcpn](Ex4pmEngine.ZkOcpn.md): Vision 2040 Zero-Knowledge Non-Interactive OCPN Constraint Compiler (zk-OCPN).
- [Ex4pmEvidence.CapabilityMesh](Ex4pmEvidence.CapabilityMesh.md): Vision 2030 Decentralized Cryptographic Capability Mesh.
- [Ex4pmEvidence.Conformance](Ex4pmEvidence.Conformance.md): Multi-dimensional Conformance Checker calculating:
1. Fitness (token replay & trace alignment)
2. Precision (anti-alignment & escaping edges)
3. Policy Conformance (Separation/Binding of Duties, SLA, Mandatory/Forbidden rules)
4. Lifecycle Conformance (Transactional lifecycle state machine transitions)
5. Causal Conformance (Partial order and object-centric causal dependencies)

- [Ex4pmEvidence.Conformance.Vector](Ex4pmEvidence.Conformance.Vector.md): Multi-dimensional conformance vector containing 5 orthogonal evaluation axes.
- [Ex4pmEvidence.Conformance.Violation](Ex4pmEvidence.Conformance.Violation.md): A structured violation record detected during conformance evaluation.
- [Ex4pmEvidence.Engine](Ex4pmEvidence.Engine.md): Multi-Standard Semantic Evidence & Provenance Engine.
- [Wasm4pmCompat.AshTypes](Wasm4pmCompat.AshTypes.md): ggen-manufactured Ash types for `wasm4pm-compat`.
- [Wasm4pmCompat.AshTypes.Admission.Admission](Wasm4pmCompat.AshTypes.Admission.Admission.md): Ash storage/casting projection of `wasm4pm_compat::admission::Admission`.
- [Wasm4pmCompat.AshTypes.Admission.Refusal](Wasm4pmCompat.AshTypes.Admission.Refusal.md): Ash storage/casting projection of `wasm4pm_compat::admission::Refusal`.
- [Wasm4pmCompat.AshTypes.Bpmn.BpmnEdge](Wasm4pmCompat.AshTypes.Bpmn.BpmnEdge.md): Ash storage/casting projection of `wasm4pm_compat::bpmn::BpmnEdge`.
- [Wasm4pmCompat.AshTypes.Bpmn.BpmnEvent](Wasm4pmCompat.AshTypes.Bpmn.BpmnEvent.md): Ash storage/casting projection of `wasm4pm_compat::bpmn::BpmnEvent`.
- [Wasm4pmCompat.AshTypes.Bpmn.BpmnGateway](Wasm4pmCompat.AshTypes.Bpmn.BpmnGateway.md): Ash storage/casting projection of `wasm4pm_compat::bpmn::BpmnGateway`.
- [Wasm4pmCompat.AshTypes.Bpmn.BpmnNode](Wasm4pmCompat.AshTypes.Bpmn.BpmnNode.md): Ash storage/casting projection of `wasm4pm_compat::bpmn::BpmnNode`.
- [Wasm4pmCompat.AshTypes.Bpmn.BpmnProcess](Wasm4pmCompat.AshTypes.Bpmn.BpmnProcess.md): Ash storage/casting projection of `wasm4pm_compat::bpmn::BpmnProcess`.
- [Wasm4pmCompat.AshTypes.Bpmn.BpmnTask](Wasm4pmCompat.AshTypes.Bpmn.BpmnTask.md): Ash storage/casting projection of `wasm4pm_compat::bpmn::BpmnTask`.
- [Wasm4pmCompat.AshTypes.Conformance.ConformanceVerdict](Wasm4pmCompat.AshTypes.Conformance.ConformanceVerdict.md): Ash storage/casting projection of `wasm4pm_compat::conformance::ConformanceVerdict`.
- [Wasm4pmCompat.AshTypes.Conformance.Deviation](Wasm4pmCompat.AshTypes.Conformance.Deviation.md): Ash storage/casting projection of `wasm4pm_compat::conformance::Deviation`.
- [Wasm4pmCompat.AshTypes.Conformance.F1](Wasm4pmCompat.AshTypes.Conformance.F1.md): Ash storage/casting projection of `wasm4pm_compat::conformance::F1`.
- [Wasm4pmCompat.AshTypes.Conformance.Fitness](Wasm4pmCompat.AshTypes.Conformance.Fitness.md): Ash storage/casting projection of `wasm4pm_compat::conformance::Fitness`.
- [Wasm4pmCompat.AshTypes.Conformance.LogOnlyMove](Wasm4pmCompat.AshTypes.Conformance.LogOnlyMove.md): Ash storage/casting projection of `wasm4pm_compat::conformance::LogOnlyMove`.
- [Wasm4pmCompat.AshTypes.Conformance.ModelOnlyMove](Wasm4pmCompat.AshTypes.Conformance.ModelOnlyMove.md): Ash storage/casting projection of `wasm4pm_compat::conformance::ModelOnlyMove`.
- [Wasm4pmCompat.AshTypes.Conformance.Precision](Wasm4pmCompat.AshTypes.Conformance.Precision.md): Ash storage/casting projection of `wasm4pm_compat::conformance::Precision`.
- [Wasm4pmCompat.AshTypes.Conformance.SyncMove](Wasm4pmCompat.AshTypes.Conformance.SyncMove.md): Ash storage/casting projection of `wasm4pm_compat::conformance::SyncMove`.
- [Wasm4pmCompat.AshTypes.Declare.Activity](Wasm4pmCompat.AshTypes.Declare.Activity.md): Ash storage/casting projection of `wasm4pm_compat::declare::Activity`.
- [Wasm4pmCompat.AshTypes.Declare.DeclareConstraint](Wasm4pmCompat.AshTypes.Declare.DeclareConstraint.md): Ash storage/casting projection of `wasm4pm_compat::declare::DeclareConstraint`.
- [Wasm4pmCompat.AshTypes.Declare.DeclareScope](Wasm4pmCompat.AshTypes.Declare.DeclareScope.md): Ash storage/casting projection of `wasm4pm_compat::declare::DeclareScope`.
- [Wasm4pmCompat.AshTypes.Declare.DeclareTemplate](Wasm4pmCompat.AshTypes.Declare.DeclareTemplate.md): Ash storage/casting projection of `wasm4pm_compat::declare::DeclareTemplate`.
- [Wasm4pmCompat.AshTypes.Dfg.DfgActivityId](Wasm4pmCompat.AshTypes.Dfg.DfgActivityId.md): Ash storage/casting projection of `wasm4pm_compat::dfg::DfgActivityId`.
- [Wasm4pmCompat.AshTypes.Dfg.DfgEdge](Wasm4pmCompat.AshTypes.Dfg.DfgEdge.md): Ash storage/casting projection of `wasm4pm_compat::dfg::DfgEdge`.
- [Wasm4pmCompat.AshTypes.Dfg.DfgNode](Wasm4pmCompat.AshTypes.Dfg.DfgNode.md): Ash storage/casting projection of `wasm4pm_compat::dfg::DfgNode`.
- [Wasm4pmCompat.AshTypes.Dfg.DfgWeight](Wasm4pmCompat.AshTypes.Dfg.DfgWeight.md): Ash storage/casting projection of `wasm4pm_compat::dfg::DfgWeight`.
- [Wasm4pmCompat.AshTypes.Dfg.DirectlyFollowsGraph](Wasm4pmCompat.AshTypes.Dfg.DirectlyFollowsGraph.md): Ash storage/casting projection of `wasm4pm_compat::dfg::DirectlyFollowsGraph`.
- [Wasm4pmCompat.AshTypes.Diagnostic.CompatDiagnostic](Wasm4pmCompat.AshTypes.Diagnostic.CompatDiagnostic.md): Ash storage/casting projection of `wasm4pm_compat::diagnostic::CompatDiagnostic`.
- [Wasm4pmCompat.AshTypes.Diagnostic.DiagnosticSeverity](Wasm4pmCompat.AshTypes.Diagnostic.DiagnosticSeverity.md): Ash storage/casting projection of `wasm4pm_compat::diagnostic::DiagnosticSeverity`.
- [Wasm4pmCompat.AshTypes.EngineBridge.GraduationCandidate](Wasm4pmCompat.AshTypes.EngineBridge.GraduationCandidate.md): Ash storage/casting projection of `wasm4pm_compat::engine_bridge::GraduationCandidate`.
- [Wasm4pmCompat.AshTypes.EngineBridge.GraduationReason](Wasm4pmCompat.AshTypes.EngineBridge.GraduationReason.md): Ash storage/casting projection of `wasm4pm_compat::engine_bridge::GraduationReason`.
- [Wasm4pmCompat.AshTypes.Eventlog.Event](Wasm4pmCompat.AshTypes.Eventlog.Event.md): Ash storage/casting projection of `wasm4pm_compat::eventlog::Event`.
- [Wasm4pmCompat.AshTypes.Eventlog.EventLog](Wasm4pmCompat.AshTypes.Eventlog.EventLog.md): Ash storage/casting projection of `wasm4pm_compat::eventlog::EventLog`.
- [Wasm4pmCompat.AshTypes.Eventlog.EventLogClassifier](Wasm4pmCompat.AshTypes.Eventlog.EventLogClassifier.md): Ash storage/casting projection of `wasm4pm_compat::eventlog::EventLogClassifier`.
- [Wasm4pmCompat.AshTypes.Eventlog.Trace](Wasm4pmCompat.AshTypes.Eventlog.Trace.md): Ash storage/casting projection of `wasm4pm_compat::eventlog::Trace`.
- [Wasm4pmCompat.AshTypes.Evidence.Evidence](Wasm4pmCompat.AshTypes.Evidence.Evidence.md): Ash storage/casting projection of `wasm4pm_compat::evidence::Evidence`.
- [Wasm4pmCompat.AshTypes.Ids.ActivityId](Wasm4pmCompat.AshTypes.Ids.ActivityId.md): Ash storage/casting projection of `wasm4pm_compat::ids::ActivityId`.
- [Wasm4pmCompat.AshTypes.Ids.CaseId](Wasm4pmCompat.AshTypes.Ids.CaseId.md): Ash storage/casting projection of `wasm4pm_compat::ids::CaseId`.
- [Wasm4pmCompat.AshTypes.Ids.EventId](Wasm4pmCompat.AshTypes.Ids.EventId.md): Ash storage/casting projection of `wasm4pm_compat::ids::EventId`.
- [Wasm4pmCompat.AshTypes.Ids.ObjectId](Wasm4pmCompat.AshTypes.Ids.ObjectId.md): Ash storage/casting projection of `wasm4pm_compat::ids::ObjectId`.
- [Wasm4pmCompat.AshTypes.Loss.LossPolicy](Wasm4pmCompat.AshTypes.Loss.LossPolicy.md): Ash storage/casting projection of `wasm4pm_compat::loss::LossPolicy`.
- [Wasm4pmCompat.AshTypes.Loss.LossReport](Wasm4pmCompat.AshTypes.Loss.LossReport.md): Ash storage/casting projection of `wasm4pm_compat::loss::LossReport`.
- [Wasm4pmCompat.AshTypes.Loss.ProjectionName](Wasm4pmCompat.AshTypes.Loss.ProjectionName.md): Ash storage/casting projection of `wasm4pm_compat::loss::ProjectionName`.
- [Wasm4pmCompat.AshTypes.Ocel.EventObjectLink](Wasm4pmCompat.AshTypes.Ocel.EventObjectLink.md): Ash storage/casting projection of `wasm4pm_compat::ocel::EventObjectLink`.
- [Wasm4pmCompat.AshTypes.Ocel.Object](Wasm4pmCompat.AshTypes.Ocel.Object.md): Ash storage/casting projection of `wasm4pm_compat::ocel::Object`.
- [Wasm4pmCompat.AshTypes.Ocel.ObjectChange](Wasm4pmCompat.AshTypes.Ocel.ObjectChange.md): Ash storage/casting projection of `wasm4pm_compat::ocel::ObjectChange`.
- [Wasm4pmCompat.AshTypes.Ocel.ObjectObjectLink](Wasm4pmCompat.AshTypes.Ocel.ObjectObjectLink.md): Ash storage/casting projection of `wasm4pm_compat::ocel::ObjectObjectLink`.
- [Wasm4pmCompat.AshTypes.Ocel.OcelEvent](Wasm4pmCompat.AshTypes.Ocel.OcelEvent.md): Ash storage/casting projection of `wasm4pm_compat::ocel::OcelEvent`.
- [Wasm4pmCompat.AshTypes.Ocel.OcelLog](Wasm4pmCompat.AshTypes.Ocel.OcelLog.md): Ash storage/casting projection of `wasm4pm_compat::ocel::OcelLog`.
- [Wasm4pmCompat.AshTypes.Petri.Marking](Wasm4pmCompat.AshTypes.Petri.Marking.md): Ash storage/casting projection of `wasm4pm_compat::petri::Marking`.
- [Wasm4pmCompat.AshTypes.Petri.PetriNet](Wasm4pmCompat.AshTypes.Petri.PetriNet.md): Ash storage/casting projection of `wasm4pm_compat::petri::PetriNet`.
- [Wasm4pmCompat.AshTypes.Petri.WfNet](Wasm4pmCompat.AshTypes.Petri.WfNet.md): Ash storage/casting projection of `wasm4pm_compat::petri::WfNet`.
- [Wasm4pmCompat.AshTypes.Powl.OrderEdge](Wasm4pmCompat.AshTypes.Powl.OrderEdge.md): Ash storage/casting projection of `wasm4pm_compat::powl::OrderEdge`.
- [Wasm4pmCompat.AshTypes.Powl.Powl](Wasm4pmCompat.AshTypes.Powl.Powl.md): Ash storage/casting projection of `wasm4pm_compat::powl::Powl`.
- [Wasm4pmCompat.AshTypes.Powl.PowlNode](Wasm4pmCompat.AshTypes.Powl.PowlNode.md): Ash storage/casting projection of `wasm4pm_compat::powl::PowlNode`.
- [Wasm4pmCompat.AshTypes.Prediction.DriftSignal](Wasm4pmCompat.AshTypes.Prediction.DriftSignal.md): Ash storage/casting projection of `wasm4pm_compat::prediction::DriftSignal`.
- [Wasm4pmCompat.AshTypes.Prediction.NextActivity](Wasm4pmCompat.AshTypes.Prediction.NextActivity.md): Ash storage/casting projection of `wasm4pm_compat::prediction::NextActivity`.
- [Wasm4pmCompat.AshTypes.Prediction.OutcomeLabel](Wasm4pmCompat.AshTypes.Prediction.OutcomeLabel.md): Ash storage/casting projection of `wasm4pm_compat::prediction::OutcomeLabel`.
- [Wasm4pmCompat.AshTypes.Prediction.PredictionHorizon](Wasm4pmCompat.AshTypes.Prediction.PredictionHorizon.md): Ash storage/casting projection of `wasm4pm_compat::prediction::PredictionHorizon`.
- [Wasm4pmCompat.AshTypes.Prediction.PredictionProblem](Wasm4pmCompat.AshTypes.Prediction.PredictionProblem.md): Ash storage/casting projection of `wasm4pm_compat::prediction::PredictionProblem`.
- [Wasm4pmCompat.AshTypes.Prediction.RemainingTime](Wasm4pmCompat.AshTypes.Prediction.RemainingTime.md): Ash storage/casting projection of `wasm4pm_compat::prediction::RemainingTime`.
- [Wasm4pmCompat.AshTypes.ProcessTree.ProcessTree](Wasm4pmCompat.AshTypes.ProcessTree.ProcessTree.md): Ash storage/casting projection of `wasm4pm_compat::process_tree::ProcessTree`.
- [Wasm4pmCompat.AshTypes.ProcessTree.ProcessTreeNode](Wasm4pmCompat.AshTypes.ProcessTree.ProcessTreeNode.md): Ash storage/casting projection of `wasm4pm_compat::process_tree::ProcessTreeNode`.
- [Wasm4pmCompat.AshTypes.ProcessTree.ProcessTreeOperator](Wasm4pmCompat.AshTypes.ProcessTree.ProcessTreeOperator.md): Ash storage/casting projection of `wasm4pm_compat::process_tree::ProcessTreeOperator`.
- [Wasm4pmCompat.AshTypes.Receipt.Digest](Wasm4pmCompat.AshTypes.Receipt.Digest.md): Ash storage/casting projection of `wasm4pm_compat::receipt::Digest`.
- [Wasm4pmCompat.AshTypes.Receipt.ReceiptChain](Wasm4pmCompat.AshTypes.Receipt.ReceiptChain.md): Ash storage/casting projection of `wasm4pm_compat::receipt::ReceiptChain`.
- [Wasm4pmCompat.AshTypes.Receipt.ReceiptEnvelope](Wasm4pmCompat.AshTypes.Receipt.ReceiptEnvelope.md): Ash storage/casting projection of `wasm4pm_compat::receipt::ReceiptEnvelope`.
- [Wasm4pmCompat.AshTypes.Receipt.ReceiptShape](Wasm4pmCompat.AshTypes.Receipt.ReceiptShape.md): Ash storage/casting projection of `wasm4pm_compat::receipt::ReceiptShape`.
- [Wasm4pmCompat.AshTypes.Receipt.ReplayHint](Wasm4pmCompat.AshTypes.Receipt.ReplayHint.md): Ash storage/casting projection of `wasm4pm_compat::receipt::ReplayHint`.
- [Wasm4pmCompat.AshTypes.Xes.XesEvent](Wasm4pmCompat.AshTypes.Xes.XesEvent.md): Ash storage/casting projection of `wasm4pm_compat::xes::XesEvent`.
- [Wasm4pmCompat.AshTypes.Xes.XesExtension](Wasm4pmCompat.AshTypes.Xes.XesExtension.md): Ash storage/casting projection of `wasm4pm_compat::xes::XesExtension`.
- [Wasm4pmCompat.AshTypes.Xes.XesLog](Wasm4pmCompat.AshTypes.Xes.XesLog.md): Ash storage/casting projection of `wasm4pm_compat::xes::XesLog`.
- [Wasm4pmCompat.AshTypes.Xes.XesTrace](Wasm4pmCompat.AshTypes.Xes.XesTrace.md): Ash storage/casting projection of `wasm4pm_compat::xes::XesTrace`.

## Mix Tasks

- [mix ex4pm.audit.bullshit](Mix.Tasks.Ex4pm.Audit.Bullshit.md): Executes MetricLinter, MockPurger, BrceEnforcer, and LieFinder across all 12 umbrella apps.
Fails with exit code 1 if any fake stubs, hardcoded metrics, or bypassed authority rules exist.

- [mix ex4pm.audit.chicago](Mix.Tasks.Ex4pm.Audit.Chicago.md): Calculates and proves stateful Chicago test utilization across all 30 Ash resources,
28 Reactors, and process mining algorithms.

- [mix ex4pm.crown](Mix.Tasks.Ex4pm.Crown.md)
- [mix ex4pm.engine.gen.adapter](Mix.Tasks.Ex4pm.Engine.Gen.Adapter.md): Generates a new WASM adapter module for `Ex4pm.Engine.Wasm`, following the
exact pattern established by `Ex4pmEngine.Wasm.Mean`.
- [mix ex4pm.gen.blueprint](Mix.Tasks.Ex4pm.Gen.Blueprint.md): Generates a mathematically sound Ash Resource process blueprint with 1-Safe Workflow Net guarantees.
- [mix ex4pm.ggen.sync](Mix.Tasks.Ex4pm.Ggen.Sync.md): Runs every ggen_igniter generation unit declared in a manifest, then
verifies the result -- replacing the bespoke per-consumer bash scripts
(`scripts/standing_coded_sync.sh`) with one shared, general Mix task.
- [mix ex4pm.ggen.verify_determinism](Mix.Tasks.Ex4pm.Ggen.VerifyDeterminism.md): Proves a ggen_igniter generation unit is a deterministic, pure function
of `(ontology, query, template)` -- by actually regenerating it into a
scratch path and byte-diffing against the checked-in output -- instead
of a one-time narrated "I deleted it and regenerated it and it matched"
claim.
- [mix ex4pm.lint.truth](Mix.Tasks.Ex4pm.Lint.Truth.md): Anti-Cheat Static Linter.
Enforces zero-tolerance for hardcoded metrics, bare outcome strings,
uncalled analytical algorithms, and bypassed BRCE boundaries.

- [mix ex4pm.ocel_to_latex](Mix.Tasks.Ex4pm.OcelToLatex.md): Exports publication-ready LaTeX tables from an IEEE OCEL 2.0 NDJSON file.
- [mix ex4pm.powl.court](Mix.Tasks.Ex4pm.Powl.Court.md)
- [mix ex4pm.sabotage.court](Mix.Tasks.Ex4pm.Sabotage.Court.md)
- [mix ex4pm.validate_self](Mix.Tasks.Ex4pm.ValidateSelf.md): Autonomous Self-Conformance Validation Mix Task.

