Profile contract
event.tree@1
Initiating event followed forward through gate branches to outcomes; tree layout.
graph projectionEvent tree
Open this profile in the gallery
Primary palette
Relationship roles
Legal endpoints
| Relation | Source roles | Target roles | Self relation |
|---|---|---|---|
tree.input | tree.gate | tree.event, tree.gate | Not allowed |
Profile verification
- Each gate declares and/or and has at least two inputs.
- These two named profiles retain the existing shared gate-tree notation; event.tree is not a full probabilistic branching-event-tree engine.
Profile defaults
Explicit file settings override eligible CSS, then these profile defaults and the common standard apply. Unspecified semantic facts remain unspecified.
{
"projection.kind": "graph",
"projection.profile": "event.tree@1"
}Projection properties
kind, profile, inputs, analysis_budget, traces, iso, depth
Design operations
- Create event/gate; choose gate operator; connect inputs; inspect structural diagnostics.
Bounded analysis
Structural verification and display only; no execution or implied process engine.
Outside this profile
- probability quantification
- sequence branching fractions
- reliability certification