A compiled program cannot know its future run identity. This immutable
source declaration is carried unchanged in its ALPHATEL journal. Import
binds it to the owning frame and emits AOS-EXECUTION/1 beside the original;
names remain reported metadata and never become execution/outcome evidence.
Rendering this tree grants no admission: the native importer validates all
fields using the same execution reader as ordinary catalogue declarations.
75def aosExecutionTemplate =
76 (lambda unrestricted identity : Bytes .
77 (lambda unrestricted name : Bytes .
78 (lambda unrestricted kind : Bytes .
79 (lambda unrestricted namespace : Bytes .
80 (aosDescriptorRecord
81 b"execution-template"
82 identity
83 (constructor
84 JSON
85 JSONObject
86 (constructor
87 JSON
88 JSONObjectMember
89 b"format"
90 (constructor JSON JSONString b"AOS-EXECUTION-TEMPLATE/1")
91 (constructor
92 JSON
93 JSONObjectMember
94 b"name"
95 (constructor JSON JSONString name)
96 (constructor
97 JSON
98 JSONObjectMember
99 b"workload_kind"
100 (constructor JSON JSONString kind)
101 (constructor
102 JSON
103 JSONObjectMember
104 b"namespace"
105 (constructor JSON JSONString namespace)
106 (constructor
107 JSON
108 JSONObjectMember
109 b"origin"
110 (constructor
111 JSON
112 JSONObject
113 (constructor
114 JSON
115 JSONObjectMember
116 b"kind"
117 (constructor JSON JSONString b"reported")
118 (constructor
119 JSON
120 JSONObjectMember
121 b"method"
122 (constructor
123 JSON
124 JSONString
125 b"maintained Alpha source execution declaration")
126 (constructor JSON JSONObjectEnd))))
127 (constructor JSON JSONObjectEnd))))))))))))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.