# Reference: Module Map & Layout
This document maps the public Rust module layout in `wasm4pm-compat` version `26.6.5` to their physical files. This mapping is compiled directly from the module declarations in `src/lib.rs`.
---
## Crate Module & Physical File Mapping
| **`admission`** | `src/admission.rs` | *None (Always-on)* | `Admit`, `Admission<T, W>`, `Refusal<R, W>` |
| **`bpmn`** | `src/bpmn.rs` | *None (Always-on)* | `BpmnProcess`, `BpmnNode`, `BpmnEdge`, `BpmnTask`, `BpmnGateway`, `BpmnEvent` |
| **`causal_net`** | `src/causal_net.rs` | *None (Always-on)* | Causal net structural shapes (Heuristics Miner output) |
| **`causality`** | `src/causality.rs` | *None (Always-on)* | `CausalLink`, `CausallyOrderedEvidence`, `CausalConsistency`, `CausalChain` |
| **`conformance`** | `src/conformance.rs` | *None (Always-on)* | `ConformanceVerdict`, `Deviation`, `SyncMove`, `LogOnlyMove`, `ModelOnlyMove` |
| **`correlation`** | `src/correlation.rs` | *None (Always-on)* | `CorrelationKey`, `CorrelatedLog`, `CorrelationSchema` |
| **`declare`** | `src/declare.rs` | *None (Always-on)* | `Activity`, `DeclareTemplate`, `DeclareScope`, `DeclareConstraint` |
| **`dfg`** | `src/dfg.rs` | *None (Always-on)* | `DirectlyFollowsGraph`, `DfgNode`, `DfgEdge`, `DfgWeight`, `DfgActivityId`, `DfgMiner` |
| **`diagnostic`** | `src/diagnostic.rs` | *None (Always-on)* | `CompatDiagnostic`, `DiagnosticSeverity` |
| **`eventlog`** | `src/eventlog.rs` | *None (Always-on)* | `Event`, `Trace`, `EventLog`, `EventLogClassifier` *(Note: this is `eventlog` / `eventlog.rs`, not `event_log`)* |
| **`evidence`** | `src/evidence.rs` | *None (Always-on)* | `Evidence<T, State, W>` |
| **`ids`** | `src/ids.rs` | *None (Always-on)* | `EventId<K>`, `ObjectId<K>`, `CaseId<K>`, `ActivityId<K>`, `TypedId` |
| **`interop`** | `src/interop.rs` | *None (Always-on)* | Interop traits: import, export, and round-trip claim plumbing |
| **`law`** | `src/law.rs` | *None (Always-on)* | `ConstParamTy` enums, bounds machinery, `ConditionCell`, `Between01` |
| **`loss`** | `src/loss.rs` | *None (Always-on)* | `Project`, `LossPolicy`, `LossReport<From, To, Items>`, `ProjectionName` |
| **`multiperspective`** | `src/multiperspective.rs` | *None (Always-on)* | ControlFlow, Data, Resource, and Time perspective markers |
| **`object_lifecycle`** | `src/object_lifecycle.rs` | *None (Always-on)* | Typed phase markers and phase transitions |
| **`ocel`** | `src/ocel.rs` | *None (Always-on)* | `OcelLog`, `OcelEvent`, `Object`, `EventObjectLink`, `ObjectObjectLink`, `ObjectChange` |
| **`ocpq`** | `src/ocpq.rs` | *None (Always-on)* | Object-centric process query (OCPQ) shape |
| **`petri`** | `src/petri.rs` | *None (Always-on)* | `PetriNet`, `WfNet`, `WfNetConst`, `Place`, `Transition`, `Arc`, `Marking`, `PlaceNodeMarker` |
| **`powl`** | `src/powl.rs` | *None (Always-on)* | `Powl`, `PowlNode`, `OrderEdge`, fragment witnesses (`Atom`, `Choice`, etc.) |
| **`powl8_op`** | `src/powl8_op.rs` | *None (Always-on)* | `Powl8Op`, `Powl8OpError` (compact u8 operator wire-format companion) |
| **`prediction`** | `src/prediction.rs` | *None (Always-on)* | `PredictionProblem`, `PredictionHorizon`, outcome targets and drift signals |
| **`prelude`** | `src/prelude.rs` | *None (Always-on)* | Re-exports core adoption shapes, states, and traits |
| **`process_cube`** | `src/process_cube.rs` | *None (Always-on)* | Process cube dimensional structures (comparison perspective mapping) |
| **`process_tree`** | `src/process_tree.rs` | *None (Always-on)* | `ProcessTree`, `ProcessTreeNode`, `ProcessTreeOperator` |
| **`receipt`** | `src/receipt.rs` | *None (Always-on)* | `ReceiptShape`, `ReceiptEnvelope`, `ReceiptChain`, `WellShaped` trait |
| **`state`** | `src/state.rs` | *None (Always-on)* | Typestate markers (`Raw`, `Parsed`, `Admitted`, `Refused`, `Projected`, `Exportable`, `Receipted`) |
| **`streaming`** | `src/streaming.rs` | *None (Always-on)* | Online/offline collection markers and `EventWindow` |
| **`temporal`** | `src/temporal.rs` | *None (Always-on)* | Temporal ordering and profile law surfaces |
| **`witness`** | `src/witness.rs` | *None (Always-on)* | `Witness`, `WitnessFamily`, `WitnessState` traits and `witness_marker!` macro |
| **`witnesses`** | `src/witnesses.rs` | *None (Always-on)* | Autogenerated empty-enum ontology witness markers |
| **`workflow`** | `src/workflow.rs` | *None (Always-on)* | Typestate-based parallel workflow tracking tokens |
| **`xes`** | `src/xes.rs` | *None (Always-on)* | `XesLog`, `XesTrace`, `XesEvent`, `XesExtension`, `CaseCentricMarker` |
| **`engine_bridge`** | `src/engine_bridge.rs` | `wasm4pm` | `GraduateToWasm4pm`, `GraduationCandidate`, `GraduationReason` |
| **`formats`** | `src/formats.rs` | `formats` | Import/export contracts, round-trip claims, and loss surfaces |
| **`strict`** | `src/strict.rs` | `strict` | `ProcessBoundary`, `ProcessBoundaryKind`, `StrictViolation` |
| **`nightly_foundry`** | `src/nightly_foundry.rs` | *None (Always-on)* | Staging area for experimental paper-derived type-law surfaces |
| **`test_utils`** | `src/test_utils.rs` | `#[cfg(test)]` | Zero-boilerplate test builders and mock helpers |
---
## Workspace Directory Structure
- `src/` — Physical Rust source files mapped above.
- *Note: `src/ts/` and `src/wasm/` contain disabled bindings code and are omitted from compilation.*
- `tests/` — Integration test suites.
- `tests/ui/` — Type-law fixtures (compile-pass/compile-fail) for the ALIVE gate.
- `examples/` — Crate code examples demonstrating structural definitions and transitions.
- `docs/` — Diátaxis documentation structure.
---
## Related Documentation
- Back to [README](../../README.md)
- [Public API for ggen](public-api-for-ggen.md)
- [Evidence Lifecycle States](lifecycle-states.md)
- [Feature Model](feature-model.md)