Lift a nested `::verification{kind= outcome= scope= observedAtMerkle= ref= observation=}` leaf into a typed [`VerificationRecord`]. Attributes map straight across; missing scalars become empty strings (the gate, not the lift, enforces the closed value sets).
(d: &Directive)
| 189 | /// missing scalars become empty strings (the gate, not the lift, enforces the |
| 190 | /// closed value sets). |
| 191 | fn lift_verification(d: &Directive) -> VerificationRecord { |
| 192 | VerificationRecord { |
| 193 | type_: "VerificationRecord".to_string(), |
| 194 | kind: d.attr("kind").unwrap_or_default().to_string(), |
| 195 | outcome: d.attr("outcome").unwrap_or_default().to_string(), |
| 196 | scope: d.attr("scope").unwrap_or_default().to_string(), |
| 197 | observed_at_merkle: d.attr("observedAtMerkle").unwrap_or_default().to_string(), |
| 198 | reference: d.attr("ref").map(str::to_string), |
| 199 | observation: d.attr("observation").map(str::to_string), |
| 200 | } |
| 201 | } |
| 202 | |
| 203 | fn lift_task(d: &Directive, id_base: &str, n: usize) -> Task { |
| 204 | let local = |