Sarmal Library · product
Fruit
the fruit 🍎 — a traceable deliverable born from ⟦a:Adım⟧'s `⟦üretir⟧` edge (MIM-2): the producing ⟦Adım⟧, the kind, and (for file-mandatory kinds) an in-project file are all visible together; ⟦a:Meyve⟧ whose producer is unclear is not accepted
- Family
- product
- Place in the tree of life
- Fruit
- .sar
- Meyve
Fields
| Field | Type | Required |
|---|---|---|
code | · | Required |
kindAllowed values: | enum | Required |
file | · | Optional |
what | · | Optional |
Rule
A Fruit is born from exactly one Step's `produces` edge (MIM-2); the Code, Screen, Endpoint and Contract kinds declare an in-project `file` (MIM-2.1), while the Decision, Approval and externalOutput kinds sit in the canonical exemption catalogue (MIM-2.2) — no free-form exemption outside that catalogue may be invented. Enforcement of the producer-less Fruit is still owed by the engine round under the `üretimsiz-meyve` diagnostic
Source: SNF-0 v0.6 · Seal 8031fb8fcffc113a