Modules
Public orchestration API for BEAM-native process intelligence.
Top-level OTP application for the flat ex4pm library.
A single time-traceable object-attribute value change (OCEL 2.0 / EKG style).
CLI projection over the canonical ex4pm API.
A verified or pending claim in the process intelligence system.
Canonical public ontology, SHACL, WIT, and receipt-schema contract inventory.
An engine capability descriptor.
Deterministic content hashing with explicit algorithm identity.
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.
Alias module for Ex4pmCore.ProcessIR.
Ash semantic/control-plane projection for ex4pm.
An intervention progressing through the real ex4pm lifecycle calculus
Real OTP :digraph/:digraph_utils-backed topology projection over an
Ex4pm.Domain.ProcessModel record's :model map. Zero new hex deps.
Explicit projection from canonical semantic/evidence objects into Ash resources.
DfCM engine behaviour: implementations are candidates, not ambient authority.
Deterministic native-BEAM process-mining baseline.
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.
Analytical adapter for the exact BCINR CMCA kernel exported through wasm4pm.
High-level Cognition & AutoSystems dispatcher. Coordinates native BEAM cognitive kernels
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.
Real produced/consumed/missing/remaining token counts and the derived fitness.
Cross-engine semantic equivalence verifier.
Real incremental (streaming) directly-follows-graph discovery.
Single-pass, rediscoverable process discovery over a real event log — an Inductive-Miner-family algorithm operating on the directly-follows graph (DFG).
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.
A discovered process-tree node: a leaf activity or an operator over children.
Adapter for the pinned ex4pm-plan cloud worker protocol.
Columnar analytical projection of canonical events.
Configured native-engine candidate with exact library identity admission.
Supervised online process-mining state machine.
Preserves the lawful engine graph and performs explicit/evidence-ranked selection.
Explicit authenticated remote analytical engine candidate.
One bounded engine execution result.
Wasmex-backed raw WebAssembly execution with exact artifact admission.
Alias module for Ex4pmEngine.WorkflowNet.
Canonical event observation.
Admitted event-log semantic IR.
Canonical Event-to-Object (E2O) relationship.
Exclusive receipted DO boundary.
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).
Alias module for Ex4pmEvidence.Conformance.
Synchronous DETS receipt ledger candidate for restart-durable local evidence.
Real git subprocess wrapper for ancestor/ahead-behind containment evidence.
Receipted identity, authority, consequence, replay, and standing.
Independent receipt recomputation for the evidence envelope.
Chain-aware replay verification for pending/outcome receipt correspondence.
Process-local durable-for-runtime receipt ledger backed by ETS.
Reactor-first information plane for ex4pm.
Read-only Ash projection for CLI and interop.
Default Reactor DAG for all non-trivial ex4pm information requests.
Explicit handler table for admitted information capabilities.
Canonical JSON interchange projections for process-intelligence values.
Renders a production Ex4pm.Information Reactor as a Mermaid flowchart via the
vendored Reactor.Mermaid module.
Versioned deterministic request/response protocol for the ex4pm information plane.
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.
Closed capability registry and admission boundary.
OCEL-v2-tolerant normalization into the canonical event-log IR.
OCEL 2.0 / Event-Knowledge-Graph-style semantics layered on top of the canonical
Ex4pm.EventLog IR (Ex4pm.Event, Ex4pm.ObjectRef, Ex4pm.ObjectRelationship).
Canonical object-centric process object.
Canonical Object-to-Object (O2O) relationship.
Canonical bounded partial-order workflow model.
A task node in an executable partial-order workflow.
Machine-readable identity and semantic fingerprints for bounded qualification runs.
Dynamically audits stateful Chicago-style integration test utilization by scanning test ASTs and cross-referencing against declared Ash domain resources and Reactor sagas.
Manufactures the detached final crown only from independently verifiable evidence.
AST-level static code analyzer that detects ungrounded claims, hardcoded metrics, bare outcome strings, uncalled algorithms, and bypassed BRCE receipt boundaries.
Independent bounded lowering of generalized POWL into finite linear Reactor fragments.
Executable two-way bounded POWL/Reactor correspondence court.
Deterministic generated POWL 2.0 differential corpus.
Independent declarative bounded-language interpreter for POWL 2.0 syntax.
Bounded POWL semantic identity used by the correspondence court.
Canonicalizes the exact bounded POWL linear-trace language.
Capability-indexed differential court for canonical engine executions.
Tier 4 Static Scanner: Enforces that state-changing domain operations and receipts are never created directly bypassing Ex4pm.Evidence.BRCE.
Tier 1 Static Scanner: Detects hardcoded floating-point numbers or raw percentages assigned to critical process intelligence metrics without evaluating underlying algorithms.
Tier 2 Static Scanner: Detects mocks, stubs, fakes, or ungrounded mock adapters in non-test production code.
Independent crown verifier. Stored standing is never trusted.
Canonical ex4pm workflow facade over Ash.Reactor and Reactor.
Typed refusal struct representing formal domain refusals in ex4pm.
Public evidence envelope for an analytical ex4pm operation.
POWL-to-Reactor compiler and BRCE-governed execution facade.
Evidence-bounded distributed POWL execution scheduled exclusively by Reactor.
Explicit executable intent projection shared by local and distributed runtimes.
Reversible CONSTRUCT projection of an admitted POWL model into Reactor.
A thin, real wrapper around Reactor.Executor.ConcurrencyTracker that
bounds concurrent planning work.
A real GenStateMachine implementing a Petri-net-style token game for a
POWL process model.
Canonical Reactor step for one admitted POWL task.
Standing calculation and ranking semantics.
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.
Idempotent batch and continuous stream ingestion engine.
Prometheus telemetry metrics for the Ex4pm.Stream.Pipeline Broadway pipeline.
Broadway process-observation pipeline. Sinks receive observations, never ambient DO authority.
Finite Broadway producer for admitted observation enumerables.
Real threshold-crossing abstraction from raw numeric sensor samples into
canonical %Ex4pm.Event{} observations.
Immutable identity carrier for an admitted subject.
Secure XES ingestion into the canonical event-log semantic IR.
Prescriptive A-Priori Normative Process Model for XaaS Enterprise Platform.
Canonical Two-Person Rule Governance Approval Process Blueprint. Models: Submit Change -> First Review -> Second Review -> Deploy -> Verify.
Canonical Enterprise Incident Management Process Blueprint. Models: Detection -> Triaging -> Investigation -> Remediation -> Post-Mortem -> Closure.
Canonical Double-Entry Ledger Transfer Process Blueprint with Saga Reversal. Models: Validate Accounts -> Debit Source -> Credit Destination -> Reconcile Balance.
Canonical Process Intermediate Representation (ProcessIR). Represents processes, activities, choices, loops, partial orders, guards, policies, objects, and relationships.
An atomic or compound activity node in ProcessIR.
A branching choice construct (XOR, OR, or generalized choice graph).
Extracts Ash Resource and Domain definitions into canonical ProcessIR.
Extracts AshStateMachine state definitions, transitions, and transition guards directly into ProcessIR choice graphs and lifecycle constraints without AST walking.
Extracts Reactor saga and step definitions into canonical ProcessIR partial orders.
A logical guard/condition predicate over event/object data.
An iterative loop construct (do-while / repeat-until / while-do).
An object type definition in an object-centric process.
A strict partial order (DAG) of activities or sub-processes.
A governance, compliance, security, or temporal policy constraint.
A relationship definition between object types or event and objects.
Ash Domain for the OCEL 2.0 Process Intelligence Control Plane.
Ash Resource recording AutoSystems 8 False-Pass adversarial audits.
Ash Resource representing an autonomous or supervised agent in the fleet.
Ash Resource representing a specific execution run of an agent.
Ash Resource storing A* Cost-Based Optimal Trace Alignment results.
Ash Resource representing an active BEAM VM participant in a distributed Erlang cluster.
Maps to beamops:ClusterNode in public ontology.
Ash Resource representing an OTP release deployment and rolling update lifecycle.
Maps to beamops:Deployment in public ontology.
Ash Resource representing a Kanban work item card moving across lifecycle columns.
Maps to beamops:KanbanCard in public ontology.
Ash Resource representing a PromEx telemetry metric probe and observation sample.
Maps to beamops:MetricProbe in public ontology.
Ash Resource representing a Bayesian Network with DAG topology and Conditional Probability Tables.
Ash Resource representing a Hearsay-II blackboard hypothesis and knowledge source activation.
Ash Resource representing an autonomic capability liveness receipt.
Ash Resource representing an inferred Causal Dependency Model over activity traces.
Ash Resource modeling an Enterprise Change Order Lifecycle as a formal 1-Safe State Machine.
Ash Resource storing multi-agent communicating choreography contracts.
Ash Resource representing a cataloged Old-AI Cognition Breed (60+ breeds). Encompasses probabilistic graphs, logic solvers, planners, temporal calculi, and cognitive architectures.
Ash Resource representing a state-carrying compound reasoning session. Maintains working memory, active goals, intermediate proofs, and execution receipts.
Ash Resource representing an operational conformance verification result.
Ash Resource representing a Critical Path Method (CPM) Schedule for multi-agent DAG execution.
Ash Resource representing an OCEL 2.0 observed event.
Ash Resource representing an Event-to-Object (E2O) relationship.
Spark DSL Extension enforcing mathematical 1-Safe Soundness on Ash State Machine Resources.
Ash Resource representing an InterviewAssist active inquiry session.
Ash Resource storing Linear Temporal Logic over Finite Traces (LTLf) constraints.
High-level transactional management interface for the OCEL 2.0 Process Intelligence Control Plane.
Ash Resource representing a Markov Process State Transition Model.
Universal Ash.Notifier that automatically intercepts Ash Resource lifecycle actions and transforms them into standard IEEE OCEL 2.0 events.
Ash Resource representing an OCEL 2.0 object.
Ash Resource representing an Object-to-Object (O2O) relationship.
Ash Resource representing an OCPQ Object-Centric Query Tree and Structural Invariant check.
Ash Resource representing a multi-objective Pareto dominance ranking of candidate process models.
Ash Resource representing a generated STRIPS or HTN execution plan.
Ash Resource storing sound-by-construction POWL 2.0 process trees.
Ash Resource modeling an Incident Lifecycle as a formal 1-Safe State Machine.
Ash Resource representing a Prolog Knowledge Base with Horn clauses and query interface.
Ash Resource representing a cryptographic receipt in the control plane.
Ash Resource representing a typed rejection, validation failure, or security refusal.
Ash Resource representing a process survival model with Kaplan-Meier curves and RUL prediction.
Ash Resource representing Allen's 13 interval relations and LTL constraints over process traces.
Spark DSL Verifier enforcing mathematical 1-Safe Soundness on Ash state machine resources at compile-time.
A* Cost-Based Optimal Trace Alignment Engine. Faithful BEAM realization of Van der Aalst, Adriansyah, and Dongen (2012).
Continuous Closed-Loop Autonomic Engine (MAPK Loop: Monitor, Analyze, Plan, Execute). Governs autonomous process discovery, conformance monitoring, and self-healing actuation.
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.)
Real :digraph-backed reachability/cycle checks over a POWL-shaped process
model, expressed as Ex4pm.Standing-compatible outcomes.
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.
Real virtual-cost counter for distributed-engine topology benchmarks.
Multi-Agent Communicating Process Choreography Prover. Faithful BEAM realization of Weske (2019) and Lohmann, Wolf, and Dijkman (2009).
AutoSystems 8 False-Pass Adversarial Detectors. Audits process execution streams, candidate models, and agent claims for integrity violations
Discrete Bayesian Network inference engine supporting exact marginalization, conditional belief updates, and variable elimination over directed acyclic graphs.
Hearsay-II hierarchical Blackboard architecture. Supports multi-level hypothesis posts, knowledge source (KS) triggers, and opportunistic reasoning.
A hypothesis posted to a specific level of the blackboard.
Causal Discovery & Dependency Matrix Inference. Computes direct causal dependencies and confounding influences between activities from trace observations.
AutoSystems Process Cost Law evaluator.
Computes operational execution costs as a multi-factor function:
cost = f(delay_ms, risk_factor, compute_units, error_penalty).
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.
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.
A structured qualification or clarification question.
Markov Chain Process Dynamics & Transition Probability Matrices. Models state transition probabilities and stationary distributions across process lifecycles.
Object-Centric Process Querying & Constraints (OCPQ). Faithful, high-throughput BEAM realization of Küsters & van der Aalst (arXiv:2506.11541v1, 2025).
O(1) lookup index built over an EventLog for high-speed query evaluation.
Multi-objective Pareto dominance ranking over competing candidate process models. Computes non-dominated frontiers across fitness, precision, cost, and complexity objectives.
STRIPS means-ends and Hierarchical Task Network (HTN) action planner. Constructs sound plans to transition from initial state to goal state over state transitions.
A STRIPS action operator with pre-conditions, add-list, and delete-list.
Horn-clause backward chaining resolution engine with Robinson first-order term unification. Provides native BEAM logic programming execution for rules, invariants, and ontology deductions.
Survival Analysis and Remaining Useful Life (RUL) estimation for OCEL process cases. Implements non-parametric Kaplan-Meier survival curves and cumulative hazard estimation.
Allen's 13 interval temporal algebra and Linear Temporal Logic (LTL) trace monitor. Computes relational consistency across event intervals and validates temporal process constraints.
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).
Top-Down Hierarchical Decomposition of Separable Workflow Nets into POWL 2.0
Adriansyah Escaping-Edge (ETC) Precision Engine with Inductive Negative Event Weighting. Faithful BEAM realization of Adriansyah, Dongen, and Van der Aalst (2012, 2014).
Vision 2030 Generative Autonomic Self-Healing Engine.
Vision 2030 Unified Semantic-Process Hypergraph Bridge.
BPMN 2.0 XML Standard Exporter. Converts POWL 2.0 models into valid OMG BPMN 2.0 XML importable into Camunda Modeler and Signavio.
Generates standard OMG BPMN 2.0 XML with Organizational Pools, Swimlanes, and Collaboration tags.
Multi-format Event Log Parser supporting CSV, XES, JSON, and newline-delimited trace files.
ISO/IEC 15909-Compliant Petri Net Markup Language (PNML) Exporter.
Produces valid <pnml> XML interchange files importable directly into ProM, WoPeD, and PM4Py.
Canonical POWL 2.0 Inductive Miner ($PM^\times$) — Exact Mathematical Realization
Linear Temporal Logic over Finite Traces (LTLf) Model Checker. Faithful BEAM realization of De Giacomo and Vardi (2013, 2015).
Object-Centric POWL (OC-POWL) Discovery Engine: Mines multi-object-type processes directly from IEEE OCEL 2.0 event streams
Formal Object-Centric Petri Net (OCPN) Specification and Soundness Engine.
Formal Reachability Analysis, Soundness Verification, and Cross-Object Deadlock Detection Engine for Object-Centric Petri Nets (OCPN) and 1-Safe Workflow Nets.
Automated IEEE OCEL 2.0 to Publication-Grade LaTeX Table Generator.
POWL 2.0 (Partially Ordered Workflow Language) Engine. Exact Mathematical Realization of
POWL 2.0 Choice Graph — Exact Mathematical Realization
POWL 2.0 Language Evaluator $L(\psi)$ — Exact Mathematical Realization
Order-Preserving Shuffle Operator $\prec\hspace{-0.6em}\odot$ — Exact Mathematical Realization
Vision 2040 Quantum Superpositional Petri Net Engine.
Reference production Reactor workflow demonstrating step compensation, process monitoring, and ordered-fallback mechanics.
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.
Reactor step that executes an external planner command with ordered compensation.
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.
Reactor Saga reconciling distributed Erlang cluster membership and gossiping topology updates with Ash Resource tracking and BRCE audit receipts.
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).
Reactor Saga sampling telemetry probes, persisting Ash MetricProbe observations, and evaluating Alertmanager threshold triggers.
Reactor Saga executing zero-downtime rolling release deployments with continuous health probe verification and atomic LIFO rollback upon health failure.
Chapter 1 Task: Validates Erlang/OTP 27, Elixir 1.18+, and ASDF toolchain integrity.
Chapter 2 Task: Validates Terraform GitHub provider milestones, issues, and project management DAG.
Chapter 3 Task: Validates Phoenix LiveView Kanban mix release inside a multi-stage Dockerfile.
Chapter 4 Task: Validates GitHub Actions CI pipeline gates (compile, test, format, docker push).
Chapter 5 Task: Validates Docker Compose multi-service synchronization, Ecto migrations, and database healthchecks.
Chapter 6 Task: Validates AWS VPC subnet architecture, security groups, and Packer AMI configurations.
Chapter 7 Task: Validates SOPS secret encryption/decryption, age/KMS key configs, and Docker secrets.
Chapter 8 Task: Validates Multi-node EC2 Docker Swarm init tokens, overlay networks, and node quorum.
Chapter 9 Task: Validates Distributed Erlang clustering (libcluster, EPMD, PubSub).
Chapter 10 Task: Validates AWS ASG / ALB healthcheck gating, zero-downtime rolling updates, and automated rollbacks.
Chapter 11 Task: Validates structured JSON logging, Promtail/Alloy log aggregation, Loki, and Prometheus scraping.
Chapter 12 Task: Validates custom PromEx plugins (CpuPlugin), Grafana dashboard definitions, and Alertmanager alert rules.
Around-hooks providing transactional execution boundaries and BRCE receipt enforcement around Reactor step executions.
Chicago Master Process Intelligence Reactor exercising the full Reactor DSL
Chicago-style Saga Rollback & Compensation Test Reactor. Verifies strict reverse LIFO compensation across multi-step transactions when a fault occurs.
Audits Reactor lifecycle events, recording step transitions, durations, and receipts into process telemetry and caller mailbox.
Composable Sub-Reactor that discovers POWL choice graphs, tests mathematical soundness, and compiles interchange representations.
Modular Step implementations for Chicago-style process intelligence verification.
Reactor Middleware capturing real-time saga lifecycle transitions into standard IEEE OCEL 2.0 events. Intercepts forward execution and backward LIFO compensation/undo events.
100% Feature-Complete Enterprise Ash Reactor Saga of [BPM25] Figure 2b
Autonomous Ash.Reactor orchestrating self-conformance verification over real production IEEE OCEL 2.0 event streams.
Reactor step that computes Kaplan-Meier survival curves for process case durations.
Reactor step that computes the 5-Dimensional Conformance Vector.
Reactor step that executes OCPQ multi-object invariant checks.
Reactor step that generates W3C EARL 1.0 assertions and records in CapabilityReceipt.
Reactor step that executes real-time DFG mining over streamed OCEL events.
Reactor step that streams and normalizes real IEEE OCEL 2.0 NDJSON events.
Dedicated, reusable Reactor step modules with full 3-arity run/3, compensate/4, and undo/3 callbacks.
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.
Reactor step: boots ONE real Wasmex instance from the compiled wasm4pm-ex4pm-bindings artifact, shared by every RunAlgorithm step.
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.
Formal Reachability Graph & 1-Safe Soundness Prover for Workflow Nets. Faithful BEAM realization of Van der Aalst (1997, 2011).
Stochastic Profiler and Information-Theoretic Entropy Engine for large-scale IEEE OCEL 2.0 event streams.
Ultra-high-throughput streaming engine for processing large-scale IEEE OCEL 2.0 NDJSON event streams.
Vision 2040 Category-Theoretic Process Morphogenesis Engine.
Native SVG Layout & Vector Visualizer for POWL 2.0 ChoiceGraphs, Workflow Nets, and BPMN models.
Shared Ex4pm.Engine implementation for the Phase-1
wasm4pm-ex4pm-bindings algorithm exports (discover, conform, simulate,
optimize, powl_mine).
Canonical registry of WASM-backed algorithm adapters for Ex4pm.Engine.Wasm.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Formal Workflow Net (WF-net) model implementing Definition 3.3 structural rules and 1-safe bounded reachability soundness verification.
A directed flow arc between Place -> Transition or Transition -> Place.
Substitutive Composition of Workflow Nets — Exact Mathematical Realization
A place in a Petri net / Workflow Net.
Comprehensive 1-safe bounded reachability soundness verification report.
A transition in a Petri net / Workflow Net.
Vision 2040 Zero-Knowledge Non-Interactive OCPN Constraint Compiler (zk-OCPN).
Vision 2030 Decentralized Cryptographic Capability Mesh.
Multi-dimensional Conformance Checker calculating
Multi-dimensional conformance vector containing 5 orthogonal evaluation axes.
A structured violation record detected during conformance evaluation.
Multi-Standard Semantic Evidence & Provenance Engine.
ggen-manufactured Ash types for wasm4pm-compat.
Ash storage/casting projection of wasm4pm_compat::admission::Admission.
Ash storage/casting projection of wasm4pm_compat::admission::Refusal.
Ash storage/casting projection of wasm4pm_compat::bpmn::BpmnEdge.
Ash storage/casting projection of wasm4pm_compat::bpmn::BpmnEvent.
Ash storage/casting projection of wasm4pm_compat::bpmn::BpmnGateway.
Ash storage/casting projection of wasm4pm_compat::bpmn::BpmnNode.
Ash storage/casting projection of wasm4pm_compat::bpmn::BpmnProcess.
Ash storage/casting projection of wasm4pm_compat::bpmn::BpmnTask.
Ash storage/casting projection of wasm4pm_compat::conformance::ConformanceVerdict.
Ash storage/casting projection of wasm4pm_compat::conformance::Deviation.
Ash storage/casting projection of wasm4pm_compat::conformance::F1.
Ash storage/casting projection of wasm4pm_compat::conformance::Fitness.
Ash storage/casting projection of wasm4pm_compat::conformance::LogOnlyMove.
Ash storage/casting projection of wasm4pm_compat::conformance::ModelOnlyMove.
Ash storage/casting projection of wasm4pm_compat::conformance::Precision.
Ash storage/casting projection of wasm4pm_compat::conformance::SyncMove.
Ash storage/casting projection of wasm4pm_compat::declare::Activity.
Ash storage/casting projection of wasm4pm_compat::declare::DeclareConstraint.
Ash storage/casting projection of wasm4pm_compat::declare::DeclareScope.
Ash storage/casting projection of wasm4pm_compat::declare::DeclareTemplate.
Ash storage/casting projection of wasm4pm_compat::dfg::DfgActivityId.
Ash storage/casting projection of wasm4pm_compat::dfg::DfgEdge.
Ash storage/casting projection of wasm4pm_compat::dfg::DfgNode.
Ash storage/casting projection of wasm4pm_compat::dfg::DfgWeight.
Ash storage/casting projection of wasm4pm_compat::dfg::DirectlyFollowsGraph.
Ash storage/casting projection of wasm4pm_compat::diagnostic::CompatDiagnostic.
Ash storage/casting projection of wasm4pm_compat::diagnostic::DiagnosticSeverity.
Ash storage/casting projection of wasm4pm_compat::engine_bridge::GraduationCandidate.
Ash storage/casting projection of wasm4pm_compat::engine_bridge::GraduationReason.
Ash storage/casting projection of wasm4pm_compat::eventlog::Event.
Ash storage/casting projection of wasm4pm_compat::eventlog::EventLog.
Ash storage/casting projection of wasm4pm_compat::eventlog::EventLogClassifier.
Ash storage/casting projection of wasm4pm_compat::eventlog::Trace.
Ash storage/casting projection of wasm4pm_compat::evidence::Evidence.
Ash storage/casting projection of wasm4pm_compat::ids::ActivityId.
Ash storage/casting projection of wasm4pm_compat::ids::CaseId.
Ash storage/casting projection of wasm4pm_compat::ids::EventId.
Ash storage/casting projection of wasm4pm_compat::ids::ObjectId.
Ash storage/casting projection of wasm4pm_compat::loss::LossPolicy.
Ash storage/casting projection of wasm4pm_compat::loss::LossReport.
Ash storage/casting projection of wasm4pm_compat::loss::ProjectionName.
Ash storage/casting projection of wasm4pm_compat::ocel::EventObjectLink.
Ash storage/casting projection of wasm4pm_compat::ocel::Object.
Ash storage/casting projection of wasm4pm_compat::ocel::ObjectChange.
Ash storage/casting projection of wasm4pm_compat::ocel::ObjectObjectLink.
Ash storage/casting projection of wasm4pm_compat::ocel::OcelEvent.
Ash storage/casting projection of wasm4pm_compat::ocel::OcelLog.
Ash storage/casting projection of wasm4pm_compat::petri::Marking.
Ash storage/casting projection of wasm4pm_compat::petri::PetriNet.
Ash storage/casting projection of wasm4pm_compat::petri::WfNet.
Ash storage/casting projection of wasm4pm_compat::powl::OrderEdge.
Ash storage/casting projection of wasm4pm_compat::powl::Powl.
Ash storage/casting projection of wasm4pm_compat::powl::PowlNode.
Ash storage/casting projection of wasm4pm_compat::prediction::DriftSignal.
Ash storage/casting projection of wasm4pm_compat::prediction::NextActivity.
Ash storage/casting projection of wasm4pm_compat::prediction::OutcomeLabel.
Ash storage/casting projection of wasm4pm_compat::prediction::PredictionHorizon.
Ash storage/casting projection of wasm4pm_compat::prediction::PredictionProblem.
Ash storage/casting projection of wasm4pm_compat::prediction::RemainingTime.
Ash storage/casting projection of wasm4pm_compat::process_tree::ProcessTree.
Ash storage/casting projection of wasm4pm_compat::process_tree::ProcessTreeNode.
Ash storage/casting projection of wasm4pm_compat::process_tree::ProcessTreeOperator.
Ash storage/casting projection of wasm4pm_compat::receipt::Digest.
Ash storage/casting projection of wasm4pm_compat::receipt::ReceiptChain.
Ash storage/casting projection of wasm4pm_compat::receipt::ReceiptEnvelope.
Ash storage/casting projection of wasm4pm_compat::receipt::ReceiptShape.
Ash storage/casting projection of wasm4pm_compat::receipt::ReplayHint.
Ash storage/casting projection of wasm4pm_compat::xes::XesEvent.
Ash storage/casting projection of wasm4pm_compat::xes::XesExtension.
Ash storage/casting projection of wasm4pm_compat::xes::XesLog.
Ash storage/casting projection of wasm4pm_compat::xes::XesTrace.
Mix Tasks
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.
Calculates and proves stateful Chicago test utilization across all 30 Ash resources, 28 Reactors, and process mining algorithms.
Generates a new WASM adapter module for Ex4pm.Engine.Wasm, following the
exact pattern established by Ex4pmEngine.Wasm.Mean.
Generates a mathematically sound Ash Resource process blueprint with 1-Safe Workflow Net guarantees.
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.
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.
Anti-Cheat Static Linter. Enforces zero-tolerance for hardcoded metrics, bare outcome strings, uncalled analytical algorithms, and bypassed BRCE boundaries.
Exports publication-ready LaTeX tables from an IEEE OCEL 2.0 NDJSON file.
Autonomous Self-Conformance Validation Mix Task.