check.entropy.fork¶
Derives a stable named entropy substream without advancing or mutating the parent identity.
Operation contract¶
| Property | Value |
|---|---|
| Semantic phase | — |
| Traits | Pure, HasAncestor(check.scenario) |
Signature¶
| Kind | Name | Type | Cardinality | Description |
|---|---|---|---|---|
| Operand | entropy |
any |
required | — |
| Result | result |
any |
required | — |
| Attribute | fork_name |
string | required | — |
Verification constraints¶
SameType(entropy, result)