Configuration is immutable source metadata scoped by its owning stream.
Keeping the tagged values preserves integer precision and float bits. This
descriptor deliberately carries no state/update/outcome claim: a compiled
request policy may never be selected by the request that actually runs.
133def aosExecutionConfiguration =
134 (lambda unrestricted identity : Bytes .
135 (lambda unrestricted configuration : (family AosValue) .
136 (aosDescriptorRecord
137 b"execution-configuration"
138 identity
139 (constructor
140 JSON
141 JSONObject
142 (aosField
143 b"format"
144 (aosJSONText b"AOS-EXECUTION-CONFIGURATION/1")
145 (aosField
146 b"basis"
147 (aosJSONText b"compiled-program")
148 (aosField
149 b"configuration"
150 (aosValueJSON configuration)
151 (aosField
152 b"origin"
153 (constructor
154 JSON
155 JSONObject
156 (aosField
157 b"kind"
158 (aosJSONText b"reported")
159 (aosField
160 b"method"
161 (aosJSONText b"maintained Alpha source compiled configuration")
162 aosObjectEnd)))
163 aosObjectEnd))))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.