C.3.A:7 - Decision trees (informative)

D1 — Admit a quantified claim.

1. Pin the quantified claim kind, receiving kind, and both exact signature editions.
2. Require the receiving kind to be identical to or a subkind of the claim kind, or establish the receiving use’s required correspondence between distinct kinds through the exact source-claim to target-receiving KindBridge relation and assertion.
3. Check Claim scope against the exact TargetSlice and Gamma_time.
4. Apply R consequences and freshness/threshold checks.
5. Return the separate action disposition. Do not ask for a candidate unless the receiving use applies the claim to one.

D2 — Apply the claim to a candidate.

1. Identify the candidate under its direct governor.
2. Complete D1.
3. Evaluate the exact four-input target judgment under the receiving-kind declaration; use the already established order or bridge for the claim-kind consequence.
4. On true, continue; on false, refuse as known failure; on unknown, refuse and retain the non-settlement reason.

D3 — Compose or cross a context.

1. Pin source and target declarations.
2. Recover declaration compatibility through identity, the required subkind relation, or an obtaining KindBridge with its separate assertion; recover Scope Bridge separately when Scope translation is required.
3. Check the serial or translated scope.
4. If an actual output/candidate is current, evaluate it under the target declaration.
5. Apply R consequences and decide separately.

D4 — Publish a union.

1. Complete the relevant D1/D2 checks per line.
2. Demonstrate support-line independence.
3. Publish only the supported union; retain line-specific classifications and bridge consequences.