@f1studio/form-spec 5.0.0-alpha.166 → 5.0.0-alpha.168

package/src/FormSpec.FS/Integrations/CorEMR/TemplateManifestDecoder.ts

@@ -1,16 +1,173 @@
-import { Union, Record } from "@fable-org/fable-library-js/Types.js";
+import { Record, Union } from "@fable-org/fable-library-js/Types.js";
+import { ofArray, empty, FSharpList } from "@fable-org/fable-library-js/List.js";
+import { bool_type, class_type, record_type, option_type, int64_type, int32_type, union_type, list_type, string_type, TypeInfo } from "@fable-org/fable-library-js/Reflection.js";
+import { defaultArg, value as value_13, Option } from "@fable-org/fable-library-js/Option.js";
 import { int32 } from "@fable-org/fable-library-js/Int32.js";
+import { join as join_1, printf, toText } from "@fable-org/fable-library-js/String.js";
 import { int64 } from "@fable-org/fable-library-js/BigInt.js";
-import { defaultArg, Option } from "@fable-org/fable-library-js/Option.js";
-import { uncurry2, comparePrimitives, IComparable, IEquatable } from "@fable-org/fable-library-js/Util.js";
-import { union_type, bool_type, class_type, list_type, record_type, option_type, string_type, int64_type, int32_type, TypeInfo } from "@fable-org/fable-library-js/Reflection.js";
-import { empty, FSharpList } from "@fable-org/fable-library-js/List.js";
+import { uncurry3, uncurry2, comparePrimitives, IComparable, IEquatable } from "@fable-org/fable-library-js/Util.js";
 import { empty as empty_1, ofList, FSharpMap } from "@fable-org/fable-library-js/Map.js";
 import { Auto_generateBoxedDecoder_Z6670B51 } from "../../../Thoth.Json/packages/Thoth.Json/Decode.js";
-import { FSharpResult$2_$union } from "@fable-org/fable-library-js/Result.js";
+import { Result_Bind, FSharpResult$2_Error, FSharpResult$2_Ok, FSharpResult$2_$union } from "@fable-org/fable-library-js/Result.js";
 import { ErrorReason_$union } from "../../../Thoth.Json/packages/Thoth.Json/Types.js";
-import { fromString, bool, list, IOptionalGetter, IGetters, string, int, IRequiredGetter, object, map, keyValuePairs } from "../../../Thoth.Json/packages/Thoth.Json/Decode.js";
-import { printf, toFail } from "@fable-org/fable-library-js/String.js";
+import { fromString, at, bool, IOptionalGetter, int, IGetters, list, string, IRequiredGetter, object, succeed, fail, andThen, map, keyValuePairs } from "../../../Thoth.Json/packages/Thoth.Json/Decode.js";
+import { empty as empty_2, singleton, append, delay, toList } from "@fable-org/fable-library-js/Seq.js";
+
+export type ReleaseAvailability$1_$union<T> = 
+    | ReleaseAvailability$1<T, 0>
+    | ReleaseAvailability$1<T, 1>
+    | ReleaseAvailability$1<T, 2>
+
+export type ReleaseAvailability$1_$cases<T> = {
+    0: ["Stated", [T]],
+    1: ["NotInRelease", [string]],
+    2: ["NotReadYet", [string, FSharpList<string>]]
+}
+
+export function ReleaseAvailability$1_Stated<T>(Item: T) {
+    return new ReleaseAvailability$1<T, 0>(0, [Item]);
+}
+
+export function ReleaseAvailability$1_NotInRelease<T>(because: string) {
+    return new ReleaseAvailability$1<T, 1>(1, [because]);
+}
+
+export function ReleaseAvailability$1_NotReadYet<T>(because: string, witness: FSharpList<string>) {
+    return new ReleaseAvailability$1<T, 2>(2, [because, witness]);
+}
+
+export class ReleaseAvailability$1<T, Tag extends keyof ReleaseAvailability$1_$cases<T>> extends Union<Tag, ReleaseAvailability$1_$cases<T>[Tag][0]> {
+    constructor(readonly tag: Tag, readonly fields: ReleaseAvailability$1_$cases<T>[Tag][1]) {
+        super();
+    }
+    cases() {
+        return ["Stated", "NotInRelease", "NotReadYet"];
+    }
+}
+
+export function ReleaseAvailability$1_$reflection(gen0: TypeInfo): TypeInfo {
+    return union_type("FormSpec.Integrations.CorEMR.TemplateManifestDecoder.ReleaseAvailability`1", [gen0], ReleaseAvailability$1, () => [[["Item", gen0]], [["because", string_type]], [["because", string_type], ["witness", list_type(string_type)]]]);
+}
+
+/**
+ * The `kind` tag this crossed the wire under. ⭐ ONE home for the three spellings, so conduit's
+ * emission and this build's narrowing cannot drift.
+ */
+export function ReleaseAvailability_kind<T>(a: ReleaseAvailability$1_$union<T>): string {
+    switch (a.tag) {
+        case /* NotInRelease */ 1:
+            return "notInRelease";
+        case /* NotReadYet */ 2:
+            return "notReadYet";
+        default:
+            return "stated";
+    }
+}
+
+/**
+ * Conduit's own reason, where there is one. `None` means it is stated and read.
+ */
+export function ReleaseAvailability_because<T>(a: ReleaseAvailability$1_$union<T>): Option<string> {
+    switch (a.tag) {
+        case /* NotInRelease */ 1:
+            return a.fields[0];
+        case /* NotReadYet */ 2:
+            return a.fields[0];
+        default:
+            return undefined;
+    }
+}
+
+/**
+ * The objects that DO state it — only `NotReadYet` names any. ⛔ An empty list here is not evidence
+ * of absence; it means this case does not carry witnesses.
+ */
+export function ReleaseAvailability_witness<T>(a: ReleaseAvailability$1_$union<T>): FSharpList<string> {
+    switch (a.tag) {
+        case /* Stated */ 0:
+        case /* NotInRelease */ 1:
+            return empty<string>();
+        default:
+            return a.fields[1];
+    }
+}
+
+/**
+ * The same release fact over a differently-shaped value. ⭐ The two absences pass through untouched —
+ * ⛔ there is no case here that could turn one into the other.
+ */
+export function ReleaseAvailability_map<a, b>(f: ((arg0: a) => b), a: ReleaseAvailability$1_$union<a>): ReleaseAvailability$1_$union<b> {
+    switch (a.tag) {
+        case /* NotInRelease */ 1:
+            return ReleaseAvailability$1_NotInRelease<b>(a.fields[0]);
+        case /* NotReadYet */ 2:
+            return ReleaseAvailability$1_NotReadYet<b>(a.fields[0], a.fields[1]);
+        default:
+            return ReleaseAvailability$1_Stated<b>(f(a.fields[0]));
+    }
+}
+
+/**
+ * ⚠️ WHAT THIS BUILD READ, and nothing more. Both absences give `[]`, meaning **"nothing was read"** —
+ * ⛔ NEVER "there is none". At 5.5.0+9704 this returns `[]` over 2,606 stated triggers.
+ */
+export function ReleaseAvailability_readList<T>(a: ReleaseAvailability$1_$union<FSharpList<T>>): FSharpList<T> {
+    switch (a.tag) {
+        case /* NotInRelease */ 1:
+        case /* NotReadYet */ 2:
+            return empty<T>();
+        default:
+            return a.fields[0];
+    }
+}
+
+/**
+ * ⚠️ `true` ONLY where the release states it AND states `true`. Both absences give `false`, meaning
+ * **"not listed"** — ⛔ never "the site denies it". 5.5.0+9704 cannot say either way about `other`.
+ */
+export function ReleaseAvailability_statedTrue(a: ReleaseAvailability$1_$union<boolean>): boolean {
+    switch (a.tag) {
+        case /* NotInRelease */ 1:
+        case /* NotReadYet */ 2:
+            return false;
+        default:
+            return a.fields[0];
+    }
+}
+
+/**
+ * ⚠️ A LAYOUT DEPTH ONLY. Both absences render UNINDENTED — a rendering decision, ⛔ never a claim that
+ * the item sits at the root of a hierarchy this release states differently.
+ */
+export function ReleaseAvailability_renderDepth(a: ReleaseAvailability$1_$union<int32>): int32 {
+    switch (a.tag) {
+        case /* NotInRelease */ 1:
+        case /* NotReadYet */ 2:
+            return 0;
+        default:
+            return a.fields[0] | 0;
+    }
+}
+
+/**
+ * ⭐ ONE SENTENCE A HUMAN CAN READ, for a UI that must show WHY a number is not there. It keeps the
+ * two absences apart in words as well as in the type.
+ */
+export function ReleaseAvailability_describe<T>(a: ReleaseAvailability$1_$union<T>): string {
+    switch (a.tag) {
+        case /* NotInRelease */ 1: {
+            const b: string = a.fields[0];
+            return toText(printf("not in this release: %s"))(b);
+        }
+        case /* NotReadYet */ 2: {
+            const b_1: string = a.fields[0];
+            const arg_2: string = join_1(", ", a.fields[1]);
+            return toText(printf("stated by this release, NOT READ YET: %s (stated by: %s)"))(b_1)(arg_2);
+        }
+        default:
+            return "stated by this release, and read";
+    }
+}
 
 export class TemplateChoice extends Record implements IEquatable<TemplateChoice>, IComparable<TemplateChoice> {
     readonly ChoiceId: int32;
@@ -102,7 +259,7 @@ export class TemplateItem extends Record implements IEquatable<TemplateItem>, IC
     readonly ItemId: int32;
     readonly Sequence: int32;
     readonly Type: int32;
-    readonly NestingLevel: int32;
+    readonly NestingLevel: ReleaseAvailability$1_$union<int32>;
     readonly IsRequired: boolean;
     readonly Text: string;
     readonly SequenceText: Option<string>;
@@ -111,13 +268,13 @@ export class TemplateItem extends Record implements IEquatable<TemplateItem>, IC
     readonly GenderRequired: Option<string>;
     readonly Highlight: Option<int32>;
     readonly Choices: FSharpList<TemplateChoice>;
-    readonly Triggers: FSharpList<ItemTrigger>;
-    constructor(ItemId: int32, Sequence: int32, Type: int32, NestingLevel: int32, IsRequired: boolean, Text$: string, SequenceText: Option<string>, Code: Option<string>, Uuid: Option<string>, GenderRequired: Option<string>, Highlight: Option<int32>, Choices: FSharpList<TemplateChoice>, Triggers: FSharpList<ItemTrigger>) {
+    readonly Triggers: ReleaseAvailability$1_$union<FSharpList<ItemTrigger>>;
+    constructor(ItemId: int32, Sequence: int32, Type: int32, NestingLevel: ReleaseAvailability$1_$union<int32>, IsRequired: boolean, Text$: string, SequenceText: Option<string>, Code: Option<string>, Uuid: Option<string>, GenderRequired: Option<string>, Highlight: Option<int32>, Choices: FSharpList<TemplateChoice>, Triggers: ReleaseAvailability$1_$union<FSharpList<ItemTrigger>>) {
         super();
         this.ItemId = (ItemId | 0);
         this.Sequence = (Sequence | 0);
         this.Type = (Type | 0);
-        this.NestingLevel = (NestingLevel | 0);
+        this.NestingLevel = NestingLevel;
         this.IsRequired = IsRequired;
         this.Text = Text$;
         this.SequenceText = SequenceText;
@@ -131,15 +288,15 @@ export class TemplateItem extends Record implements IEquatable<TemplateItem>, IC
 }
 
 export function TemplateItem_$reflection(): TypeInfo {
-    return record_type("FormSpec.Integrations.CorEMR.TemplateManifestDecoder.TemplateItem", [], TemplateItem, () => [["ItemId", int32_type], ["Sequence", int32_type], ["Type", int32_type], ["NestingLevel", int32_type], ["IsRequired", bool_type], ["Text", string_type], ["SequenceText", option_type(string_type)], ["Code", option_type(string_type)], ["Uuid", option_type(string_type)], ["GenderRequired", option_type(string_type)], ["Highlight", option_type(int32_type)], ["Choices", list_type(TemplateChoice_$reflection())], ["Triggers", list_type(ItemTrigger_$reflection())]]);
+    return record_type("FormSpec.Integrations.CorEMR.TemplateManifestDecoder.TemplateItem", [], TemplateItem, () => [["ItemId", int32_type], ["Sequence", int32_type], ["Type", int32_type], ["NestingLevel", ReleaseAvailability$1_$reflection(int32_type)], ["IsRequired", bool_type], ["Text", string_type], ["SequenceText", option_type(string_type)], ["Code", option_type(string_type)], ["Uuid", option_type(string_type)], ["GenderRequired", option_type(string_type)], ["Highlight", option_type(int32_type)], ["Choices", list_type(TemplateChoice_$reflection())], ["Triggers", ReleaseAvailability$1_$reflection(list_type(ItemTrigger_$reflection()))]]);
 }
 
 export class EncounterTypes extends Record implements IEquatable<EncounterTypes>, IComparable<EncounterTypes> {
     readonly Medical: boolean;
     readonly Mental: boolean;
     readonly Dental: boolean;
-    readonly Other: boolean;
-    constructor(Medical: boolean, Mental: boolean, Dental: boolean, Other: boolean) {
+    readonly Other: ReleaseAvailability$1_$union<boolean>;
+    constructor(Medical: boolean, Mental: boolean, Dental: boolean, Other: ReleaseAvailability$1_$union<boolean>) {
         super();
         this.Medical = Medical;
         this.Mental = Mental;
@@ -149,7 +306,7 @@ export class EncounterTypes extends Record implements IEquatable<EncounterTypes>
 }
 
 export function EncounterTypes_$reflection(): TypeInfo {
-    return record_type("FormSpec.Integrations.CorEMR.TemplateManifestDecoder.EncounterTypes", [], EncounterTypes, () => [["Medical", bool_type], ["Mental", bool_type], ["Dental", bool_type], ["Other", bool_type]]);
+    return record_type("FormSpec.Integrations.CorEMR.TemplateManifestDecoder.EncounterTypes", [], EncounterTypes, () => [["Medical", bool_type], ["Mental", bool_type], ["Dental", bool_type], ["Other", ReleaseAvailability$1_$reflection(bool_type)]]);
 }
 
 export class ScoringLabel extends Record implements IEquatable<ScoringLabel>, IComparable<ScoringLabel> {
@@ -338,28 +495,24 @@ export class TemplateStats extends Record implements IEquatable<TemplateStats>,
     readonly TotalForms: int32;
     readonly WithCodes: int32;
     readonly WithSyntheticCodes: int32;
-    readonly WithScoring: int32;
     readonly WithSignature: int32;
     readonly ByUsage: FSharpMap<string, int32>;
     readonly ByElementType: FSharpMap<string, int32>;
     readonly CodeExtraction: CodeExtractionStats;
-    readonly TriggerStats: Option<TriggerStats>;
-    constructor(TotalForms: int32, WithCodes: int32, WithSyntheticCodes: int32, WithScoring: int32, WithSignature: int32, ByUsage: FSharpMap<string, int32>, ByElementType: FSharpMap<string, int32>, CodeExtraction: CodeExtractionStats, TriggerStats: Option<TriggerStats>) {
+    constructor(TotalForms: int32, WithCodes: int32, WithSyntheticCodes: int32, WithSignature: int32, ByUsage: FSharpMap<string, int32>, ByElementType: FSharpMap<string, int32>, CodeExtraction: CodeExtractionStats) {
         super();
         this.TotalForms = (TotalForms | 0);
         this.WithCodes = (WithCodes | 0);
         this.WithSyntheticCodes = (WithSyntheticCodes | 0);
-        this.WithScoring = (WithScoring | 0);
         this.WithSignature = (WithSignature | 0);
         this.ByUsage = ByUsage;
         this.ByElementType = ByElementType;
         this.CodeExtraction = CodeExtraction;
-        this.TriggerStats = TriggerStats;
     }
 }
 
 export function TemplateStats_$reflection(): TypeInfo {
-    return record_type("FormSpec.Integrations.CorEMR.TemplateManifestDecoder.TemplateStats", [], TemplateStats, () => [["TotalForms", int32_type], ["WithCodes", int32_type], ["WithSyntheticCodes", int32_type], ["WithScoring", int32_type], ["WithSignature", int32_type], ["ByUsage", class_type("Microsoft.FSharp.Collections.FSharpMap`2", [string_type, int32_type])], ["ByElementType", class_type("Microsoft.FSharp.Collections.FSharpMap`2", [string_type, int32_type])], ["CodeExtraction", CodeExtractionStats_$reflection()], ["TriggerStats", option_type(TriggerStats_$reflection())]]);
+    return record_type("FormSpec.Integrations.CorEMR.TemplateManifestDecoder.TemplateStats", [], TemplateStats, () => [["TotalForms", int32_type], ["WithCodes", int32_type], ["WithSyntheticCodes", int32_type], ["WithSignature", int32_type], ["ByUsage", class_type("Microsoft.FSharp.Collections.FSharpMap`2", [string_type, int32_type])], ["ByElementType", class_type("Microsoft.FSharp.Collections.FSharpMap`2", [string_type, int32_type])], ["CodeExtraction", CodeExtractionStats_$reflection()]]);
 }
 
 export class CoreEmrInfo extends Record implements IEquatable<CoreEmrInfo>, IComparable<CoreEmrInfo> {
@@ -398,6 +551,22 @@ export function InstrumentMapStats_$reflection(): TypeInfo {
     return record_type("FormSpec.Integrations.CorEMR.TemplateManifestDecoder.InstrumentMapStats", [], InstrumentMapStats, () => [["Total", int32_type], ["Current", int32_type], ["Archived", int32_type], ["BySource", class_type("Microsoft.FSharp.Collections.FSharpMap`2", [string_type, int32_type])], ["ByType", class_type("Microsoft.FSharp.Collections.FSharpMap`2", [string_type, int32_type])]]);
 }
 
+export class ScoringCatalog extends Record implements IEquatable<ScoringCatalog>, IComparable<ScoringCatalog> {
+    readonly InstrumentMap: FSharpMap<string, InstrumentMapEntry>;
+    readonly InstrumentMapStats: InstrumentMapStats;
+    readonly FormsWithScoring: int32;
+    constructor(InstrumentMap: FSharpMap<string, InstrumentMapEntry>, InstrumentMapStats: InstrumentMapStats, FormsWithScoring: int32) {
+        super();
+        this.InstrumentMap = InstrumentMap;
+        this.InstrumentMapStats = InstrumentMapStats;
+        this.FormsWithScoring = (FormsWithScoring | 0);
+    }
+}
+
+export function ScoringCatalog_$reflection(): TypeInfo {
+    return record_type("FormSpec.Integrations.CorEMR.TemplateManifestDecoder.ScoringCatalog", [], ScoringCatalog, () => [["InstrumentMap", class_type("Microsoft.FSharp.Collections.FSharpMap`2", [string_type, InstrumentMapEntry_$reflection()])], ["InstrumentMapStats", InstrumentMapStats_$reflection()], ["FormsWithScoring", int32_type]]);
+}
+
 export class TemplateManifest extends Record implements IEquatable<TemplateManifest>, IComparable<TemplateManifest> {
     readonly Schema: Option<string>;
     readonly Version: int32;
@@ -408,9 +577,9 @@ export class TemplateManifest extends Record implements IEquatable<TemplateManif
     readonly ElementTypes: Option<FSharpMap<string, ElementTypeEntry>>;
     readonly ElementTypesFrom: ElementTypesFrom_$union;
     readonly Forms: FSharpMap<string, TemplateForm>;
-    readonly InstrumentMap: FSharpMap<string, InstrumentMapEntry>;
-    readonly InstrumentMapStats: InstrumentMapStats;
-    constructor(Schema: Option<string>, Version: int32, GeneratedAt: string, GeneratedFrom: string, CoreEmr: CoreEmrInfo, Stats: TemplateStats, ElementTypes: Option<FSharpMap<string, ElementTypeEntry>>, ElementTypesFrom: ElementTypesFrom_$union, Forms: FSharpMap<string, TemplateForm>, InstrumentMap: FSharpMap<string, InstrumentMapEntry>, InstrumentMapStats: InstrumentMapStats) {
+    readonly Scoring: ReleaseAvailability$1_$union<ScoringCatalog>;
+    readonly Triggers: ReleaseAvailability$1_$union<TriggerStats>;
+    constructor(Schema: Option<string>, Version: int32, GeneratedAt: string, GeneratedFrom: string, CoreEmr: CoreEmrInfo, Stats: TemplateStats, ElementTypes: Option<FSharpMap<string, ElementTypeEntry>>, ElementTypesFrom: ElementTypesFrom_$union, Forms: FSharpMap<string, TemplateForm>, Scoring: ReleaseAvailability$1_$union<ScoringCatalog>, Triggers: ReleaseAvailability$1_$union<TriggerStats>) {
         super();
         this.Schema = Schema;
         this.Version = (Version | 0);
@@ -421,13 +590,13 @@ export class TemplateManifest extends Record implements IEquatable<TemplateManif
         this.ElementTypes = ElementTypes;
         this.ElementTypesFrom = ElementTypesFrom;
         this.Forms = Forms;
-        this.InstrumentMap = InstrumentMap;
-        this.InstrumentMapStats = InstrumentMapStats;
+        this.Scoring = Scoring;
+        this.Triggers = Triggers;
     }
 }
 
 export function TemplateManifest_$reflection(): TypeInfo {
-    return record_type("FormSpec.Integrations.CorEMR.TemplateManifestDecoder.TemplateManifest", [], TemplateManifest, () => [["Schema", option_type(string_type)], ["Version", int32_type], ["GeneratedAt", string_type], ["GeneratedFrom", string_type], ["CoreEmr", CoreEmrInfo_$reflection()], ["Stats", TemplateStats_$reflection()], ["ElementTypes", option_type(class_type("Microsoft.FSharp.Collections.FSharpMap`2", [string_type, ElementTypeEntry_$reflection()]))], ["ElementTypesFrom", ElementTypesFrom_$reflection()], ["Forms", class_type("Microsoft.FSharp.Collections.FSharpMap`2", [string_type, TemplateForm_$reflection()])], ["InstrumentMap", class_type("Microsoft.FSharp.Collections.FSharpMap`2", [string_type, InstrumentMapEntry_$reflection()])], ["InstrumentMapStats", InstrumentMapStats_$reflection()]]);
+    return record_type("FormSpec.Integrations.CorEMR.TemplateManifestDecoder.TemplateManifest", [], TemplateManifest, () => [["Schema", option_type(string_type)], ["Version", int32_type], ["GeneratedAt", string_type], ["GeneratedFrom", string_type], ["CoreEmr", CoreEmrInfo_$reflection()], ["Stats", TemplateStats_$reflection()], ["ElementTypes", option_type(class_type("Microsoft.FSharp.Collections.FSharpMap`2", [string_type, ElementTypeEntry_$reflection()]))], ["ElementTypesFrom", ElementTypesFrom_$reflection()], ["Forms", class_type("Microsoft.FSharp.Collections.FSharpMap`2", [string_type, TemplateForm_$reflection()])], ["Scoring", ReleaseAvailability$1_$reflection(ScoringCatalog_$reflection())], ["Triggers", ReleaseAvailability$1_$reflection(TriggerStats_$reflection())]]);
 }
 
 const liberatedInt64Decoder: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<int64, [string, ErrorReason_$union]>)) = Auto_generateBoxedDecoder_Z6670B51(int64_type, undefined, undefined);
@@ -441,6 +610,119 @@ function dictDecoder<T>(decoder: ((arg0: string, arg1: any) => FSharpResult$2_$u
     }), uncurry2(d), path_1, value_1));
 }
 
+function orFail<T>(d: ((arg0: string, arg1: any) => FSharpResult$2_$union<FSharpResult$2_$union<T, string>, [string, ErrorReason_$union]>)): ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<T, [string, ErrorReason_$union]>)) {
+    const decoder: ((arg0: string, arg1: any) => FSharpResult$2_$union<FSharpResult$2_$union<T, string>, [string, ErrorReason_$union]>) = d;
+    return (path_1: string): ((arg0: any) => FSharpResult$2_$union<T, [string, ErrorReason_$union]>) => ((value: any): FSharpResult$2_$union<T, [string, ErrorReason_$union]> => andThen<FSharpResult$2_$union<T, string>, T>(uncurry3((r: FSharpResult$2_$union<T, string>): ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<T, [string, ErrorReason_$union]>)) => {
+        if (r.tag === /* Error */ 1) {
+            const msg: string = r.fields[0];
+            return (path: string): ((arg0: any) => FSharpResult$2_$union<T, [string, ErrorReason_$union]>) => ((arg20$0040_1: any): FSharpResult$2_$union<T, [string, ErrorReason_$union]> => fail<T>(msg, path, arg20$0040_1));
+        }
+        else {
+            const v: T = r.fields[0];
+            return (arg10$0040: string): ((arg0: any) => FSharpResult$2_$union<T, [string, ErrorReason_$union]>) => ((arg20$0040: any): FSharpResult$2_$union<T, [string, ErrorReason_$union]> => succeed<T>(v, arg10$0040, arg20$0040));
+        }
+    }), decoder, path_1, value));
+}
+
+function availabilityRowDecoder(field: string): ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<ReleaseAvailability$1_$union<FSharpList<string>>, [string, ErrorReason_$union]>)) {
+    return orFail<ReleaseAvailability$1_$union<FSharpList<string>>>((path_7: string, v: any): FSharpResult$2_$union<FSharpResult$2_$union<ReleaseAvailability$1_$union<FSharpList<string>>, string>, [string, ErrorReason_$union]> => object<FSharpResult$2_$union<ReleaseAvailability$1_$union<FSharpList<string>>, string>>((get$: IGetters): FSharpResult$2_$union<ReleaseAvailability$1_$union<FSharpList<string>>, string> => {
+        let objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter, objectArg_4: IRequiredGetter;
+        let matchValue: string;
+        const objectArg: IRequiredGetter = get$.Required;
+        matchValue = objectArg.Field<string>("kind", string);
+        switch (matchValue) {
+            case "stated":
+                return FSharpResult$2_Ok<ReleaseAvailability$1_$union<FSharpList<string>>, string>(ReleaseAvailability$1_Stated<FSharpList<string>>((objectArg_1 = get$.Required, objectArg_1.Field<FSharpList<string>>("states", (path_2: string, value_2: any): FSharpResult$2_$union<FSharpList<string>, [string, ErrorReason_$union]> => list<string>(string, path_2, value_2)))));
+            case "notInRelease":
+                return FSharpResult$2_Ok<ReleaseAvailability$1_$union<FSharpList<string>>, string>(ReleaseAvailability$1_NotInRelease<FSharpList<string>>((objectArg_2 = get$.Required, objectArg_2.Field<string>("because", string))));
+            case "notReadYet":
+                return FSharpResult$2_Ok<ReleaseAvailability$1_$union<FSharpList<string>>, string>(ReleaseAvailability$1_NotReadYet<FSharpList<string>>((objectArg_3 = get$.Required, objectArg_3.Field<string>("because", string)), (objectArg_4 = get$.Required, objectArg_4.Field<FSharpList<string>>("witness", (path_6: string, value_6: any): FSharpResult$2_$union<FSharpList<string>, [string, ErrorReason_$union]> => list<string>(string, path_6, value_6)))));
+            default:
+                return FSharpResult$2_Error<ReleaseAvailability$1_$union<FSharpList<string>>, string>(toText(printf("`%s.kind` = `%s` is not a kind this build understands (stated | notInRelease | notReadYet). ⛔ It is NOT read as an absence: a word this build does not know might mean the release DOES state it"))(field)(matchValue));
+        }
+    }, path_7, v));
+}
+
+function join<T>(field: string, row: Option<ReleaseAvailability$1_$union<FSharpList<string>>>, datum: Option<T>): FSharpResult$2_$union<ReleaseAvailability$1_$union<T>, string> {
+    let matchResult: int32, v: T, because: string, because_1: string, because_2: string, because_3: string, witness: FSharpList<string>;
+    if (row != null) {
+        switch (value_13(row).tag) {
+            case /* NotInRelease */ 1: {
+                if (datum == null) {
+                    matchResult = 5;
+                    because_2 = (value_13(row) as ReleaseAvailability$1<FSharpList<string>, 1>).fields[0];
+                }
+                else {
+                    matchResult = 3;
+                    because = (value_13(row) as ReleaseAvailability$1<FSharpList<string>, 1>).fields[0];
+                }
+                break;
+            }
+            case /* NotReadYet */ 2: {
+                if (datum == null) {
+                    matchResult = 6;
+                    because_3 = (value_13(row) as ReleaseAvailability$1<FSharpList<string>, 2>).fields[0];
+                    witness = (value_13(row) as ReleaseAvailability$1<FSharpList<string>, 2>).fields[1];
+                }
+                else {
+                    matchResult = 4;
+                    because_1 = (value_13(row) as ReleaseAvailability$1<FSharpList<string>, 2>).fields[0];
+                }
+                break;
+            }
+            default:
+                if (datum == null) {
+                    matchResult = 2;
+                }
+                else {
+                    matchResult = 0;
+                    v = value_13(datum);
+                }
+        }
+    }
+    else if (datum == null) {
+        matchResult = 1;
+    }
+    else {
+        matchResult = 0;
+        v = value_13(datum);
+    }
+    switch (matchResult) {
+        case 0:
+            return FSharpResult$2_Ok<ReleaseAvailability$1_$union<T>, string>(ReleaseAvailability$1_Stated<T>(v!));
+        case 1:
+            return FSharpResult$2_Error<ReleaseAvailability$1_$union<T>, string>(toText(printf("`%s` is absent and NOTHING DECLARES WHY. An undeclared absence cannot be read: it is indistinguishable from a release that does not state it, from one that states it and was not read, and from a payload that lost it in transit"))(field));
+        case 2:
+            return FSharpResult$2_Error<ReleaseAvailability$1_$union<T>, string>(toText(printf("the manifest declares `%s` STATED by this release, but carries no `%s`"))(field)(field));
+        case 3:
+            return FSharpResult$2_Error<ReleaseAvailability$1_$union<T>, string>(toText(printf("the manifest declares `%s` NOT IN THIS RELEASE (%s) and carries a value for it anyway"))(field)(because!));
+        case 4:
+            return FSharpResult$2_Error<ReleaseAvailability$1_$union<T>, string>(toText(printf("the manifest declares `%s` NOT READ YET (%s) and carries a value for it anyway"))(field)(because_1!));
+        case 5:
+            return FSharpResult$2_Ok<ReleaseAvailability$1_$union<T>, string>(ReleaseAvailability$1_NotInRelease<T>(because_2!));
+        default:
+            return FSharpResult$2_Ok<ReleaseAvailability$1_$union<T>, string>(ReleaseAvailability$1_NotReadYet<T>(because_3!, witness!));
+    }
+}
+
+export class FormDeclarations extends Record implements IEquatable<FormDeclarations>, IComparable<FormDeclarations> {
+    readonly ItemNesting: Option<ReleaseAvailability$1_$union<FSharpList<string>>>;
+    readonly Triggers: Option<ReleaseAvailability$1_$union<FSharpList<string>>>;
+    readonly EncounterOther: Option<ReleaseAvailability$1_$union<FSharpList<string>>>;
+    constructor(ItemNesting: Option<ReleaseAvailability$1_$union<FSharpList<string>>>, Triggers: Option<ReleaseAvailability$1_$union<FSharpList<string>>>, EncounterOther: Option<ReleaseAvailability$1_$union<FSharpList<string>>>) {
+        super();
+        this.ItemNesting = ItemNesting;
+        this.Triggers = Triggers;
+        this.EncounterOther = EncounterOther;
+    }
+}
+
+export function FormDeclarations_$reflection(): TypeInfo {
+    return record_type("FormSpec.Integrations.CorEMR.TemplateManifestDecoder.FormDeclarations", [], FormDeclarations, () => [["ItemNesting", option_type(ReleaseAvailability$1_$reflection(list_type(string_type)))], ["Triggers", option_type(ReleaseAvailability$1_$reflection(list_type(string_type)))], ["EncounterOther", option_type(ReleaseAvailability$1_$reflection(list_type(string_type)))]]);
+}
+
+export const declaresNothing: FormDeclarations = new FormDeclarations(undefined, undefined, undefined);
+
 const choiceDecoder = (path_2: string): ((arg0: any) => FSharpResult$2_$union<TemplateChoice, [string, ErrorReason_$union]>) => ((v: any): FSharpResult$2_$union<TemplateChoice, [string, ErrorReason_$union]> => object<TemplateChoice>((get$: IGetters): TemplateChoice => {
     let objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter, objectArg_4: IOptionalGetter, objectArg_5: IOptionalGetter, objectArg_6: IOptionalGetter;
     let score: int64;
@@ -466,15 +748,55 @@ const itemTriggerDecoder = (path_5: string): ((arg0: any) => FSharpResult$2_$uni
     return new ItemTrigger((objectArg = get$.Required, objectArg.Field<int32>("triggerId", uncurry2(int))), (objectArg_1 = get$.Required, objectArg_1.Field<string>("eventName", string)), defaultArg((objectArg_2 = get$.Optional, objectArg_2.Field<boolean>("enabled", bool)), true), (objectArg_3 = get$.Optional, objectArg_3.Field<string>("exclusiveTag", string)), defaultArg((objectArg_4 = get$.Optional, objectArg_4.Field<FSharpList<TriggerCondition>>("conditions", (path_3: string, value_4: any): FSharpResult$2_$union<FSharpList<TriggerCondition>, [string, ErrorReason_$union]> => list<TriggerCondition>(uncurry2(triggerConditionDecoder), path_3, value_4))), empty<TriggerCondition>()), defaultArg((objectArg_5 = get$.Optional, objectArg_5.Field<FSharpList<TriggerAction>>("actions", (path_4: string, value_6: any): FSharpResult$2_$union<FSharpList<TriggerAction>, [string, ErrorReason_$union]> => list<TriggerAction>(uncurry2(triggerActionDecoder), path_4, value_6))), empty<TriggerAction>()));
 }, path_5, v));
 
-const itemDecoder = (path_8: string): ((arg0: any) => FSharpResult$2_$union<TemplateItem, [string, ErrorReason_$union]>) => ((v: any): FSharpResult$2_$union<TemplateItem, [string, ErrorReason_$union]> => object<TemplateItem>((get$: IGetters): TemplateItem => {
-    let objectArg: IRequiredGetter, objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter, objectArg_4: IRequiredGetter, objectArg_5: IRequiredGetter, objectArg_6: IOptionalGetter, objectArg_7: IOptionalGetter, objectArg_8: IOptionalGetter, objectArg_9: IOptionalGetter, objectArg_10: IOptionalGetter, objectArg_11: IRequiredGetter, objectArg_12: IOptionalGetter;
-    return new TemplateItem((objectArg = get$.Required, objectArg.Field<int32>("itemId", uncurry2(int))), (objectArg_1 = get$.Required, objectArg_1.Field<int32>("sequence", uncurry2(int))), (objectArg_2 = get$.Required, objectArg_2.Field<int32>("type", uncurry2(int))), (objectArg_3 = get$.Required, objectArg_3.Field<int32>("nestingLevel", uncurry2(int))), (objectArg_4 = get$.Required, objectArg_4.Field<boolean>("isRequired", bool)), (objectArg_5 = get$.Required, objectArg_5.Field<string>("text", string)), (objectArg_6 = get$.Optional, objectArg_6.Field<string>("sequenceText", string)), (objectArg_7 = get$.Optional, objectArg_7.Field<string>("code", string)), (objectArg_8 = get$.Optional, objectArg_8.Field<string>("uuid", string)), (objectArg_9 = get$.Optional, objectArg_9.Field<string>("genderRequired", string)), (objectArg_10 = get$.Optional, objectArg_10.Field<int32>("highlight", uncurry2(int))), (objectArg_11 = get$.Required, objectArg_11.Field<FSharpList<TemplateChoice>>("choices", (path_6: string, value_6: any): FSharpResult$2_$union<FSharpList<TemplateChoice>, [string, ErrorReason_$union]> => list<TemplateChoice>(uncurry2(choiceDecoder), path_6, value_6))), defaultArg((objectArg_12 = get$.Optional, objectArg_12.Field<FSharpList<ItemTrigger>>("triggers", (path_7: string, value_7: any): FSharpResult$2_$union<FSharpList<ItemTrigger>, [string, ErrorReason_$union]> => list<ItemTrigger>(uncurry2(itemTriggerDecoder), path_7, value_7))), empty<ItemTrigger>()));
-}, path_8, v));
+function itemDecoder(declared: FormDeclarations): ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<TemplateItem, [string, ErrorReason_$union]>)) {
+    return orFail<TemplateItem>((path_9: string, v: any): FSharpResult$2_$union<FSharpResult$2_$union<TemplateItem, string>, [string, ErrorReason_$union]> => object<FSharpResult$2_$union<TemplateItem, string>>((get$: IGetters): FSharpResult$2_$union<TemplateItem, string> => {
+        let objectArg_1: IOptionalGetter, objectArg_2: IOptionalGetter, objectArg_3: IRequiredGetter, objectArg_4: IRequiredGetter, objectArg_5: IRequiredGetter, objectArg_6: IRequiredGetter, objectArg_7: IOptionalGetter, objectArg_8: IOptionalGetter, objectArg_9: IOptionalGetter, objectArg_10: IOptionalGetter, objectArg_11: IOptionalGetter, objectArg_12: IRequiredGetter;
+        let itemId: int32;
+        const objectArg: IRequiredGetter = get$.Required;
+        itemId = objectArg.Field<int32>("itemId", uncurry2(int));
+        const path = (f: string): string => toText(printf("forms[].items[itemId=%d].%s"))(itemId)(f);
+        const nesting: FSharpResult$2_$union<ReleaseAvailability$1_$union<int32>, string> = join<int32>(path("nestingLevel"), declared.ItemNesting, (objectArg_1 = get$.Optional, objectArg_1.Field<int32>("nestingLevel", uncurry2(int))));
+        const triggers: FSharpResult$2_$union<ReleaseAvailability$1_$union<FSharpList<ItemTrigger>>, string> = join<FSharpList<ItemTrigger>>(path("triggers"), declared.Triggers, (objectArg_2 = get$.Optional, objectArg_2.Field<FSharpList<ItemTrigger>>("triggers", (path_1: string, value: any): FSharpResult$2_$union<FSharpList<ItemTrigger>, [string, ErrorReason_$union]> => list<ItemTrigger>(uncurry2(itemTriggerDecoder), path_1, value))));
+        let matchResult: int32, itemTriggers: ReleaseAvailability$1_$union<FSharpList<ItemTrigger>>, nestingLevel: ReleaseAvailability$1_$union<int32>, e: string;
+        const copyOfStruct: FSharpResult$2_$union<ReleaseAvailability$1_$union<int32>, string> = nesting;
+        if (copyOfStruct.tag === /* Error */ 1) {
+            matchResult = 1;
+            e = copyOfStruct.fields[0];
+        }
+        else {
+            const copyOfStruct_1: FSharpResult$2_$union<ReleaseAvailability$1_$union<FSharpList<ItemTrigger>>, string> = triggers;
+            if (copyOfStruct_1.tag === /* Error */ 1) {
+                matchResult = 1;
+                e = copyOfStruct_1.fields[0];
+            }
+            else {
+                matchResult = 0;
+                itemTriggers = copyOfStruct_1.fields[0];
+                nestingLevel = copyOfStruct.fields[0];
+            }
+        }
+        switch (matchResult) {
+            case 0:
+                return FSharpResult$2_Ok<TemplateItem, string>(new TemplateItem(itemId, (objectArg_3 = get$.Required, objectArg_3.Field<int32>("sequence", uncurry2(int))), (objectArg_4 = get$.Required, objectArg_4.Field<int32>("type", uncurry2(int))), nestingLevel!, (objectArg_5 = get$.Required, objectArg_5.Field<boolean>("isRequired", bool)), (objectArg_6 = get$.Required, objectArg_6.Field<string>("text", string)), (objectArg_7 = get$.Optional, objectArg_7.Field<string>("sequenceText", string)), (objectArg_8 = get$.Optional, objectArg_8.Field<string>("code", string)), (objectArg_9 = get$.Optional, objectArg_9.Field<string>("uuid", string)), (objectArg_10 = get$.Optional, objectArg_10.Field<string>("genderRequired", string)), (objectArg_11 = get$.Optional, objectArg_11.Field<int32>("highlight", uncurry2(int))), (objectArg_12 = get$.Required, objectArg_12.Field<FSharpList<TemplateChoice>>("choices", (path_8: string, value_7: any): FSharpResult$2_$union<FSharpList<TemplateChoice>, [string, ErrorReason_$union]> => list<TemplateChoice>(uncurry2(choiceDecoder), path_8, value_7))), itemTriggers!));
+            default:
+                return FSharpResult$2_Error<TemplateItem, string>(e!);
+        }
+    }, path_9, v));
+}
 
-const encounterTypesDecoder = (path_4: string): ((arg0: any) => FSharpResult$2_$union<EncounterTypes, [string, ErrorReason_$union]>) => ((v: any): FSharpResult$2_$union<EncounterTypes, [string, ErrorReason_$union]> => object<EncounterTypes>((get$: IGetters): EncounterTypes => {
-    let objectArg: IRequiredGetter, objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter;
-    return new EncounterTypes((objectArg = get$.Required, objectArg.Field<boolean>("medical", bool)), (objectArg_1 = get$.Required, objectArg_1.Field<boolean>("mental", bool)), (objectArg_2 = get$.Required, objectArg_2.Field<boolean>("dental", bool)), (objectArg_3 = get$.Required, objectArg_3.Field<boolean>("other", bool)));
-}, path_4, v));
+function encounterTypesDecoder(declared: FormDeclarations): ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<EncounterTypes, [string, ErrorReason_$union]>)) {
+    return orFail<EncounterTypes>((path_4: string, v: any): FSharpResult$2_$union<FSharpResult$2_$union<EncounterTypes, string>, [string, ErrorReason_$union]> => object<FSharpResult$2_$union<EncounterTypes, string>>((get$: IGetters): FSharpResult$2_$union<EncounterTypes, string> => {
+        let objectArg: IOptionalGetter, objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter;
+        const matchValue: FSharpResult$2_$union<ReleaseAvailability$1_$union<boolean>, string> = join<boolean>("forms[].encounterTypes.other", declared.EncounterOther, (objectArg = get$.Optional, objectArg.Field<boolean>("other", bool)));
+        if (matchValue.tag === /* Error */ 1) {
+            return FSharpResult$2_Error<EncounterTypes, string>(matchValue.fields[0]);
+        }
+        else {
+            const other: ReleaseAvailability$1_$union<boolean> = matchValue.fields[0];
+            return FSharpResult$2_Ok<EncounterTypes, string>(new EncounterTypes((objectArg_1 = get$.Required, objectArg_1.Field<boolean>("medical", bool)), (objectArg_2 = get$.Required, objectArg_2.Field<boolean>("mental", bool)), (objectArg_3 = get$.Required, objectArg_3.Field<boolean>("dental", bool)), other));
+        }
+    }, path_4, v));
+}
 
 const scoringLabelDecoder = (path_1: string): ((arg0: any) => FSharpResult$2_$union<ScoringLabel, [string, ErrorReason_$union]>) => ((v: any): FSharpResult$2_$union<ScoringLabel, [string, ErrorReason_$union]> => object<ScoringLabel>((get$: IGetters): ScoringLabel => {
     let objectArg: IRequiredGetter, objectArg_1: IRequiredGetter;
@@ -486,30 +808,32 @@ const formScoringDecoder = (path_2: string): ((arg0: any) => FSharpResult$2_$uni
     return new FormScoring((objectArg = get$.Required, objectArg.Field<int32>("scoreId", uncurry2(int))), (objectArg_1 = get$.Required, objectArg_1.Field<string>("scoreName", string)), (objectArg_2 = get$.Required, objectArg_2.Field<FSharpList<ScoringLabel>>("labels", (path_1: string, value_1: any): FSharpResult$2_$union<FSharpList<ScoringLabel>, [string, ErrorReason_$union]> => list<ScoringLabel>(uncurry2(scoringLabelDecoder), path_1, value_1))), (arg_7 = dictDecoder<int32>(uncurry2(int)), (objectArg_3 = get$.Required, objectArg_3.Field<FSharpMap<string, int32>>("choiceScores", uncurry2(arg_7)))));
 }, path_2, v));
 
-const formDecoder = (path_13: string): ((arg0: any) => FSharpResult$2_$union<TemplateForm, [string, ErrorReason_$union]>) => ((v: any): FSharpResult$2_$union<TemplateForm, [string, ErrorReason_$union]> => object<TemplateForm>((get$: IGetters): TemplateForm => {
-    let objectArg: IRequiredGetter, objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter, objectArg_4: IRequiredGetter, objectArg_5: IRequiredGetter, objectArg_6: IRequiredGetter, objectArg_7: IRequiredGetter, objectArg_8: IRequiredGetter, objectArg_9: IRequiredGetter, objectArg_10: IRequiredGetter, objectArg_11: IRequiredGetter, objectArg_12: IRequiredGetter, objectArg_13: IRequiredGetter, objectArg_14: IRequiredGetter, objectArg_15: IRequiredGetter, objectArg_16: IOptionalGetter;
-    return new TemplateForm((objectArg = get$.Required, objectArg.Field<int32>("formId", uncurry2(int))), (objectArg_1 = get$.Required, objectArg_1.Field<string>("name", string)), (objectArg_2 = get$.Required, objectArg_2.Field<string>("formCode", string)), (objectArg_3 = get$.Required, objectArg_3.Field<string>("formCodeSource", string)), (objectArg_4 = get$.Required, objectArg_4.Field<string>("description", string)), (objectArg_5 = get$.Required, objectArg_5.Field<int64>("currentVersionId", uncurry2(liberatedInt64Decoder))), (objectArg_6 = get$.Required, objectArg_6.Field<boolean>("isIntake", bool)), (objectArg_7 = get$.Required, objectArg_7.Field<string>("usage", string)), (objectArg_8 = get$.Required, objectArg_8.Field<boolean>("requiresSignature", bool)), (objectArg_9 = get$.Required, objectArg_9.Field<EncounterTypes>("encounterTypes", uncurry2(encounterTypesDecoder))), (objectArg_10 = get$.Required, objectArg_10.Field<boolean>("onceAYear", bool)), (objectArg_11 = get$.Required, objectArg_11.Field<string>("structureHash", string)), (objectArg_12 = get$.Required, objectArg_12.Field<string>("clinicalHash", string)), (objectArg_13 = get$.Required, objectArg_13.Field<string>("cosmeticHash", string)), (objectArg_14 = get$.Required, objectArg_14.Field<string>("hash", string)), (objectArg_15 = get$.Required, objectArg_15.Field<FSharpList<TemplateItem>>("items", (path_12: string, value_12: any): FSharpResult$2_$union<FSharpList<TemplateItem>, [string, ErrorReason_$union]> => list<TemplateItem>(uncurry2(itemDecoder), path_12, value_12))), (objectArg_16 = get$.Optional, objectArg_16.Field<FormScoring>("scoring", uncurry2(formScoringDecoder))));
-}, path_13, v));
+function formDecoder(declared: FormDeclarations): ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<TemplateForm, [string, ErrorReason_$union]>)) {
+    return (path_13: string): ((arg0: any) => FSharpResult$2_$union<TemplateForm, [string, ErrorReason_$union]>) => ((v: any): FSharpResult$2_$union<TemplateForm, [string, ErrorReason_$union]> => object<TemplateForm>((get$: IGetters): TemplateForm => {
+        let objectArg: IRequiredGetter, objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter, objectArg_4: IRequiredGetter, objectArg_5: IRequiredGetter, objectArg_6: IRequiredGetter, objectArg_7: IRequiredGetter, objectArg_8: IRequiredGetter, arg_19: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<EncounterTypes, [string, ErrorReason_$union]>)), objectArg_9: IRequiredGetter, objectArg_10: IRequiredGetter, objectArg_11: IRequiredGetter, objectArg_12: IRequiredGetter, objectArg_13: IRequiredGetter, objectArg_14: IRequiredGetter, arg_31: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<FSharpList<TemplateItem>, [string, ErrorReason_$union]>)), decoder: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<TemplateItem, [string, ErrorReason_$union]>)), objectArg_15: IRequiredGetter, objectArg_16: IOptionalGetter;
+        return new TemplateForm((objectArg = get$.Required, objectArg.Field<int32>("formId", uncurry2(int))), (objectArg_1 = get$.Required, objectArg_1.Field<string>("name", string)), (objectArg_2 = get$.Required, objectArg_2.Field<string>("formCode", string)), (objectArg_3 = get$.Required, objectArg_3.Field<string>("formCodeSource", string)), (objectArg_4 = get$.Required, objectArg_4.Field<string>("description", string)), (objectArg_5 = get$.Required, objectArg_5.Field<int64>("currentVersionId", uncurry2(liberatedInt64Decoder))), (objectArg_6 = get$.Required, objectArg_6.Field<boolean>("isIntake", bool)), (objectArg_7 = get$.Required, objectArg_7.Field<string>("usage", string)), (objectArg_8 = get$.Required, objectArg_8.Field<boolean>("requiresSignature", bool)), (arg_19 = encounterTypesDecoder(declared), (objectArg_9 = get$.Required, objectArg_9.Field<EncounterTypes>("encounterTypes", uncurry2(arg_19)))), (objectArg_10 = get$.Required, objectArg_10.Field<boolean>("onceAYear", bool)), (objectArg_11 = get$.Required, objectArg_11.Field<string>("structureHash", string)), (objectArg_12 = get$.Required, objectArg_12.Field<string>("clinicalHash", string)), (objectArg_13 = get$.Required, objectArg_13.Field<string>("cosmeticHash", string)), (objectArg_14 = get$.Required, objectArg_14.Field<string>("hash", string)), (arg_31 = ((decoder = itemDecoder(declared), (path_12: string): ((arg0: any) => FSharpResult$2_$union<FSharpList<TemplateItem>, [string, ErrorReason_$union]>) => ((value_12: any): FSharpResult$2_$union<FSharpList<TemplateItem>, [string, ErrorReason_$union]> => list<TemplateItem>(uncurry2(decoder), path_12, value_12)))), (objectArg_15 = get$.Required, objectArg_15.Field<FSharpList<TemplateItem>>("items", uncurry2(arg_31)))), (objectArg_16 = get$.Optional, objectArg_16.Field<FormScoring>("scoring", uncurry2(formScoringDecoder))));
+    }, path_13, v));
+}
 
 const elementTypeDecoder = (path_2: string): ((arg0: any) => FSharpResult$2_$union<ElementTypeEntry, [string, ErrorReason_$union]>) => ((v: any): FSharpResult$2_$union<ElementTypeEntry, [string, ErrorReason_$union]> => object<ElementTypeEntry>((get$: IGetters): ElementTypeEntry => {
     let objectArg: IRequiredGetter, objectArg_1: IRequiredGetter;
     return new ElementTypeEntry((objectArg = get$.Required, objectArg.Field<string>("label", string)), (objectArg_1 = get$.Required, objectArg_1.Field<string>("control", string)));
 }, path_2, v));
 
-const elementTypesFromDecoder = (path_6: string): ((arg0: any) => FSharpResult$2_$union<ElementTypesFrom_$union, [string, ErrorReason_$union]>) => ((v: any): FSharpResult$2_$union<ElementTypesFrom_$union, [string, ErrorReason_$union]> => object<ElementTypesFrom_$union>((get$: IGetters): ElementTypesFrom_$union => {
+const elementTypesFromDecoder: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<ElementTypesFrom_$union, [string, ErrorReason_$union]>)) = orFail<ElementTypesFrom_$union>((path_6: string, v: any): FSharpResult$2_$union<FSharpResult$2_$union<ElementTypesFrom_$union, string>, [string, ErrorReason_$union]> => object<FSharpResult$2_$union<ElementTypesFrom_$union, string>>((get$: IGetters): FSharpResult$2_$union<ElementTypesFrom_$union, string> => {
     let objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter, objectArg_4: IRequiredGetter, objectArg_5: IRequiredGetter;
     let matchValue: string;
     const objectArg: IRequiredGetter = get$.Required;
     matchValue = objectArg.Field<string>("statedBy", string);
     switch (matchValue) {
         case "site":
-            return ElementTypesFrom_StatedBy((objectArg_1 = get$.Required, objectArg_1.Field<string>("table", string)), (objectArg_2 = get$.Required, objectArg_2.Field<string>("key", string)), (objectArg_3 = get$.Required, objectArg_3.Field<string>("label", string)));
+            return FSharpResult$2_Ok<ElementTypesFrom_$union, string>(ElementTypesFrom_StatedBy((objectArg_1 = get$.Required, objectArg_1.Field<string>("table", string)), (objectArg_2 = get$.Required, objectArg_2.Field<string>("key", string)), (objectArg_3 = get$.Required, objectArg_3.Field<string>("label", string))));
         case "conduit":
-            return ElementTypesFrom_DeclaredByConduit((objectArg_4 = get$.Required, objectArg_4.Field<string>("because", string)));
+            return FSharpResult$2_Ok<ElementTypesFrom_$union, string>(ElementTypesFrom_DeclaredByConduit((objectArg_4 = get$.Required, objectArg_4.Field<string>("because", string))));
         case "nobody":
-            return ElementTypesFrom_NotInRelease((objectArg_5 = get$.Required, objectArg_5.Field<string>("because", string)));
+            return FSharpResult$2_Ok<ElementTypesFrom_$union, string>(ElementTypesFrom_NotInRelease((objectArg_5 = get$.Required, objectArg_5.Field<string>("because", string))));
         default:
-            return toFail(printf("elementTypesFrom.statedBy = %s is not a provenance this build understands (site | conduit | nobody)"))(matchValue);
+            return FSharpResult$2_Error<ElementTypesFrom_$union, string>(toText(printf("`elementTypesFrom.statedBy` = `%s` is not a provenance this build understands (site | conduit | nobody)"))(matchValue));
     }
 }, path_6, v));
 
@@ -531,8 +855,8 @@ const triggerStatsDecoder = (path: string): ((arg0: any) => FSharpResult$2_$unio
 }, path, v));
 
 const statsDecoder = (path: string): ((arg0: any) => FSharpResult$2_$union<TemplateStats, [string, ErrorReason_$union]>) => ((v: any): FSharpResult$2_$union<TemplateStats, [string, ErrorReason_$union]> => object<TemplateStats>((get$: IGetters): TemplateStats => {
-    let objectArg: IRequiredGetter, objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter, objectArg_4: IRequiredGetter, arg_11: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<FSharpMap<string, int32>, [string, ErrorReason_$union]>)), objectArg_5: IRequiredGetter, arg_13: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<FSharpMap<string, int32>, [string, ErrorReason_$union]>)), objectArg_6: IRequiredGetter, objectArg_7: IRequiredGetter, objectArg_8: IOptionalGetter;
-    return new TemplateStats((objectArg = get$.Required, objectArg.Field<int32>("totalForms", uncurry2(int))), (objectArg_1 = get$.Required, objectArg_1.Field<int32>("withCodes", uncurry2(int))), (objectArg_2 = get$.Required, objectArg_2.Field<int32>("withSyntheticCodes", uncurry2(int))), (objectArg_3 = get$.Required, objectArg_3.Field<int32>("withScoring", uncurry2(int))), (objectArg_4 = get$.Required, objectArg_4.Field<int32>("withSignature", uncurry2(int))), (arg_11 = dictDecoder<int32>(uncurry2(int)), (objectArg_5 = get$.Required, objectArg_5.Field<FSharpMap<string, int32>>("byUsage", uncurry2(arg_11)))), (arg_13 = dictDecoder<int32>(uncurry2(int)), (objectArg_6 = get$.Required, objectArg_6.Field<FSharpMap<string, int32>>("byElementType", uncurry2(arg_13)))), (objectArg_7 = get$.Required, objectArg_7.Field<CodeExtractionStats>("codeExtraction", uncurry2(codeExtractionStatsDecoder))), (objectArg_8 = get$.Optional, objectArg_8.Field<TriggerStats>("triggerStats", uncurry2(triggerStatsDecoder))));
+    let objectArg: IRequiredGetter, objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter, arg_9: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<FSharpMap<string, int32>, [string, ErrorReason_$union]>)), objectArg_4: IRequiredGetter, arg_11: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<FSharpMap<string, int32>, [string, ErrorReason_$union]>)), objectArg_5: IRequiredGetter, objectArg_6: IRequiredGetter;
+    return new TemplateStats((objectArg = get$.Required, objectArg.Field<int32>("totalForms", uncurry2(int))), (objectArg_1 = get$.Required, objectArg_1.Field<int32>("withCodes", uncurry2(int))), (objectArg_2 = get$.Required, objectArg_2.Field<int32>("withSyntheticCodes", uncurry2(int))), (objectArg_3 = get$.Required, objectArg_3.Field<int32>("withSignature", uncurry2(int))), (arg_9 = dictDecoder<int32>(uncurry2(int)), (objectArg_4 = get$.Required, objectArg_4.Field<FSharpMap<string, int32>>("byUsage", uncurry2(arg_9)))), (arg_11 = dictDecoder<int32>(uncurry2(int)), (objectArg_5 = get$.Required, objectArg_5.Field<FSharpMap<string, int32>>("byElementType", uncurry2(arg_11)))), (objectArg_6 = get$.Required, objectArg_6.Field<CodeExtractionStats>("codeExtraction", uncurry2(codeExtractionStatsDecoder))));
 }, path, v));
 
 const coreEmrDecoder = (path_2: string): ((arg0: any) => FSharpResult$2_$union<CoreEmrInfo, [string, ErrorReason_$union]>) => ((v: any): FSharpResult$2_$union<CoreEmrInfo, [string, ErrorReason_$union]> => object<CoreEmrInfo>((get$: IGetters): CoreEmrInfo => {
@@ -545,9 +869,79 @@ const instrumentMapStatsDecoder = (path: string): ((arg0: any) => FSharpResult$2
     return new InstrumentMapStats((objectArg = get$.Required, objectArg.Field<int32>("total", uncurry2(int))), (objectArg_1 = get$.Required, objectArg_1.Field<int32>("current", uncurry2(int))), (objectArg_2 = get$.Required, objectArg_2.Field<int32>("archived", uncurry2(int))), (arg_7 = dictDecoder<int32>(uncurry2(int)), (objectArg_3 = get$.Required, objectArg_3.Field<FSharpMap<string, int32>>("bySource", uncurry2(arg_7)))), (arg_9 = dictDecoder<int32>(uncurry2(int)), (objectArg_4 = get$.Required, objectArg_4.Field<FSharpMap<string, int32>>("byType", uncurry2(arg_9)))));
 }, path, v));
 
-const manifestDecoder = (path_3: string): ((arg0: any) => FSharpResult$2_$union<TemplateManifest, [string, ErrorReason_$union]>) => ((v: any): FSharpResult$2_$union<TemplateManifest, [string, ErrorReason_$union]> => object<TemplateManifest>((get$: IGetters): TemplateManifest => {
-    let objectArg: IOptionalGetter, objectArg_1: IRequiredGetter, objectArg_2: IRequiredGetter, objectArg_3: IRequiredGetter, objectArg_4: IRequiredGetter, objectArg_5: IRequiredGetter, arg_13: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<FSharpMap<string, ElementTypeEntry>, [string, ErrorReason_$union]>)), objectArg_6: IOptionalGetter, objectArg_7: IOptionalGetter, arg_17: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<FSharpMap<string, TemplateForm>, [string, ErrorReason_$union]>)), objectArg_8: IRequiredGetter, arg_19: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<FSharpMap<string, InstrumentMapEntry>, [string, ErrorReason_$union]>)), objectArg_9: IRequiredGetter, objectArg_10: IRequiredGetter;
-    return new TemplateManifest((objectArg = get$.Optional, objectArg.Field<string>("$schema", string)), (objectArg_1 = get$.Required, objectArg_1.Field<int32>("version", uncurry2(int))), (objectArg_2 = get$.Required, objectArg_2.Field<string>("generatedAt", string)), (objectArg_3 = get$.Required, objectArg_3.Field<string>("generatedFrom", string)), (objectArg_4 = get$.Required, objectArg_4.Field<CoreEmrInfo>("coreEmr", uncurry2(coreEmrDecoder))), (objectArg_5 = get$.Required, objectArg_5.Field<TemplateStats>("stats", uncurry2(statsDecoder))), (arg_13 = dictDecoder<ElementTypeEntry>(uncurry2(elementTypeDecoder)), (objectArg_6 = get$.Optional, objectArg_6.Field<FSharpMap<string, ElementTypeEntry>>("elementTypes", uncurry2(arg_13)))), defaultArg((objectArg_7 = get$.Optional, objectArg_7.Field<ElementTypesFrom_$union>("elementTypesFrom", uncurry2(elementTypesFromDecoder))), ElementTypesFrom_NotInRelease("the manifest carried no `elementTypesFrom`, so no provenance for the item-type vocabulary was stated")), (arg_17 = dictDecoder<TemplateForm>(uncurry2(formDecoder)), (objectArg_8 = get$.Required, objectArg_8.Field<FSharpMap<string, TemplateForm>>("forms", uncurry2(arg_17)))), (arg_19 = dictDecoder<InstrumentMapEntry>(uncurry2(instrumentMapEntryDecoder)), (objectArg_9 = get$.Required, objectArg_9.Field<FSharpMap<string, InstrumentMapEntry>>("instrumentMap", uncurry2(arg_19)))), (objectArg_10 = get$.Required, objectArg_10.Field<InstrumentMapStats>("instrumentMapStats", uncurry2(instrumentMapStatsDecoder))));
+function scoringCatalogOf(instrumentMap: Option<FSharpMap<string, InstrumentMapEntry>>, instrumentMapStats: Option<InstrumentMapStats>, withScoring: Option<int32>): FSharpResult$2_$union<Option<ScoringCatalog>, string> {
+    let arg: string;
+    let matchResult: int32, m: FSharpMap<string, InstrumentMapEntry>, s: InstrumentMapStats, w: int32;
+    if (instrumentMap == null) {
+        if (instrumentMapStats == null) {
+            if (withScoring == null) {
+                matchResult = 1;
+            }
+            else {
+                matchResult = 2;
+            }
+        }
+        else {
+            matchResult = 2;
+        }
+    }
+    else if (instrumentMapStats != null) {
+        if (withScoring != null) {
+            matchResult = 0;
+            m = value_13(instrumentMap);
+            s = value_13(instrumentMapStats);
+            w = value_13(withScoring);
+        }
+        else {
+            matchResult = 2;
+        }
+    }
+    else {
+        matchResult = 2;
+    }
+    switch (matchResult) {
+        case 0:
+            return FSharpResult$2_Ok<Option<ScoringCatalog>, string>(new ScoringCatalog(m!, s!, w!));
+        case 1:
+            return FSharpResult$2_Ok<Option<ScoringCatalog>, string>(undefined);
+        default:
+            return FSharpResult$2_Error<Option<ScoringCatalog>, string>((arg = join_1("`, `", toList<string>(delay<string>((): Iterable<string> => append<string>((instrumentMap != null) ? singleton<string>("instrumentMap") : empty_2<string>(), delay<string>((): Iterable<string> => append<string>((instrumentMapStats != null) ? singleton<string>("instrumentMapStats") : empty_2<string>(), delay<string>((): Iterable<string> => ((withScoring != null) ? singleton<string>("stats.withScoring") : empty_2<string>())))))))), toText(printf("the scoring catalog is PARTIAL — `%s` present, the rest absent. One release fact governs all three; half of it cannot be read"))(arg)));
+    }
+}
+
+const manifestDecoder: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<TemplateManifest, [string, ErrorReason_$union]>)) = orFail<TemplateManifest>((path_3: string, v: any): FSharpResult$2_$union<FSharpResult$2_$union<TemplateManifest, string>, [string, ErrorReason_$union]> => object<FSharpResult$2_$union<TemplateManifest, string>>((get$: IGetters): FSharpResult$2_$union<TemplateManifest, string> => {
+    let arg_1: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<ReleaseAvailability$1_$union<FSharpList<string>>, [string, ErrorReason_$union]>)), objectArg: IOptionalGetter, arg_3: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<ReleaseAvailability$1_$union<FSharpList<string>>, [string, ErrorReason_$union]>)), objectArg_1: IOptionalGetter, arg_5: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<ReleaseAvailability$1_$union<FSharpList<string>>, [string, ErrorReason_$union]>)), objectArg_2: IOptionalGetter, arg_9: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<FSharpMap<string, InstrumentMapEntry>, [string, ErrorReason_$union]>)), objectArg_4: IOptionalGetter, objectArg_5: IOptionalGetter, objectArg_6: IOptionalGetter, objectArg_7: IRequiredGetter, objectArg_8: IRequiredGetter, objectArg_9: IRequiredGetter, objectArg_10: IRequiredGetter, objectArg_11: IRequiredGetter, arg_25: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<FSharpMap<string, ElementTypeEntry>, [string, ErrorReason_$union]>)), objectArg_12: IOptionalGetter, objectArg_13: IOptionalGetter, arg_29: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<FSharpMap<string, TemplateForm>, [string, ErrorReason_$union]>)), objectArg_14: IRequiredGetter;
+    const declared: FormDeclarations = new FormDeclarations((arg_1 = availabilityRowDecoder("itemNestingFrom"), (objectArg = get$.Optional, objectArg.Field<ReleaseAvailability$1_$union<FSharpList<string>>>("itemNestingFrom", uncurry2(arg_1)))), (arg_3 = availabilityRowDecoder("triggersFrom"), (objectArg_1 = get$.Optional, objectArg_1.Field<ReleaseAvailability$1_$union<FSharpList<string>>>("triggersFrom", uncurry2(arg_3)))), (arg_5 = availabilityRowDecoder("encounterOtherFrom"), (objectArg_2 = get$.Optional, objectArg_2.Field<ReleaseAvailability$1_$union<FSharpList<string>>>("encounterOtherFrom", uncurry2(arg_5)))));
+    let scoringRow: Option<ReleaseAvailability$1_$union<FSharpList<string>>>;
+    const arg_7: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<ReleaseAvailability$1_$union<FSharpList<string>>, [string, ErrorReason_$union]>)) = availabilityRowDecoder("scoringFrom");
+    const objectArg_3: IOptionalGetter = get$.Optional;
+    scoringRow = objectArg_3.Field<ReleaseAvailability$1_$union<FSharpList<string>>>("scoringFrom", uncurry2(arg_7));
+    const scoring: FSharpResult$2_$union<ReleaseAvailability$1_$union<ScoringCatalog>, string> = Result_Bind<Option<ScoringCatalog>, ReleaseAvailability$1_$union<ScoringCatalog>, string>((datum: Option<ScoringCatalog>): FSharpResult$2_$union<ReleaseAvailability$1_$union<ScoringCatalog>, string> => join<ScoringCatalog>("scoringFrom (instrumentMap + instrumentMapStats + stats.withScoring)", scoringRow, datum), scoringCatalogOf((arg_9 = dictDecoder<InstrumentMapEntry>(uncurry2(instrumentMapEntryDecoder)), (objectArg_4 = get$.Optional, objectArg_4.Field<FSharpMap<string, InstrumentMapEntry>>("instrumentMap", uncurry2(arg_9)))), (objectArg_5 = get$.Optional, objectArg_5.Field<InstrumentMapStats>("instrumentMapStats", uncurry2(instrumentMapStatsDecoder))), get$.Optional.Raw<int32>((firstPath: string, firstValue: any): FSharpResult$2_$union<int32, [string, ErrorReason_$union]> => at<int32>(ofArray(["stats", "withScoring"]), uncurry2(int), firstPath, firstValue))));
+    const triggers: FSharpResult$2_$union<ReleaseAvailability$1_$union<TriggerStats>, string> = join<TriggerStats>("triggersFrom (stats.triggerStats)", declared.Triggers, get$.Optional.Raw<TriggerStats>((firstPath_1: string, firstValue_1: any): FSharpResult$2_$union<TriggerStats, [string, ErrorReason_$union]> => at<TriggerStats>(ofArray(["stats", "triggerStats"]), uncurry2(triggerStatsDecoder), firstPath_1, firstValue_1)));
+    let matchResult: int32, scoringAvailability: ReleaseAvailability$1_$union<ScoringCatalog>, triggerAvailability: ReleaseAvailability$1_$union<TriggerStats>, e: string;
+    const copyOfStruct: FSharpResult$2_$union<ReleaseAvailability$1_$union<ScoringCatalog>, string> = scoring;
+    if (copyOfStruct.tag === /* Error */ 1) {
+        matchResult = 1;
+        e = copyOfStruct.fields[0];
+    }
+    else {
+        const copyOfStruct_1: FSharpResult$2_$union<ReleaseAvailability$1_$union<TriggerStats>, string> = triggers;
+        if (copyOfStruct_1.tag === /* Error */ 1) {
+            matchResult = 1;
+            e = copyOfStruct_1.fields[0];
+        }
+        else {
+            matchResult = 0;
+            scoringAvailability = copyOfStruct.fields[0];
+            triggerAvailability = copyOfStruct_1.fields[0];
+        }
+    }
+    switch (matchResult) {
+        case 0:
+            return FSharpResult$2_Ok<TemplateManifest, string>(new TemplateManifest((objectArg_6 = get$.Optional, objectArg_6.Field<string>("$schema", string)), (objectArg_7 = get$.Required, objectArg_7.Field<int32>("version", uncurry2(int))), (objectArg_8 = get$.Required, objectArg_8.Field<string>("generatedAt", string)), (objectArg_9 = get$.Required, objectArg_9.Field<string>("generatedFrom", string)), (objectArg_10 = get$.Required, objectArg_10.Field<CoreEmrInfo>("coreEmr", uncurry2(coreEmrDecoder))), (objectArg_11 = get$.Required, objectArg_11.Field<TemplateStats>("stats", uncurry2(statsDecoder))), (arg_25 = dictDecoder<ElementTypeEntry>(uncurry2(elementTypeDecoder)), (objectArg_12 = get$.Optional, objectArg_12.Field<FSharpMap<string, ElementTypeEntry>>("elementTypes", uncurry2(arg_25)))), defaultArg((objectArg_13 = get$.Optional, objectArg_13.Field<ElementTypesFrom_$union>("elementTypesFrom", uncurry2(elementTypesFromDecoder))), ElementTypesFrom_NotInRelease("the manifest carried no `elementTypesFrom`, so no provenance for the item-type vocabulary was stated")), (arg_29 = dictDecoder<TemplateForm>(uncurry2(formDecoder(declared))), (objectArg_14 = get$.Required, objectArg_14.Field<FSharpMap<string, TemplateForm>>("forms", uncurry2(arg_29)))), scoringAvailability!, triggerAvailability!));
+        default:
+            return FSharpResult$2_Error<TemplateManifest, string>(e!);
+    }
 }, path_3, v));
 
 /**
@@ -634,11 +1028,27 @@ export function decodeManifest(json: string): FSharpResult$2_$union<TemplateMani
 
 /**
  * Decode a single TemplateForm from JSON (bridge API single-form response).
+ * ⭐ It takes the envelope rows explicitly: a form carries governed fields, and whoever hands one over must
+ * also hand over what the release says about them. `declaresNothing` is the honest answer for a payload
+ * that states nothing — and it then REQUIRES every governed field to be present.
+ */
+export function decodeTemplateForm(declared: FormDeclarations, json: string): FSharpResult$2_$union<TemplateForm, string> {
+    return fromString<TemplateForm>(uncurry2(formDecoder(declared)), json);
+}
+
+/**
+ * Public decoder for TemplateForm — use with Decode.list for batch API responses.
  */
-export function decodeTemplateForm(json: string): FSharpResult$2_$union<TemplateForm, string> {
-    return fromString<TemplateForm>(uncurry2(formDecoder), json);
+export function templateFormDecoder(declared: FormDeclarations): ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<TemplateForm, [string, ErrorReason_$union]>)) {
+    return formDecoder(declared);
 }
 
-export const templateFormDecoder: ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<TemplateForm, [string, ErrorReason_$union]>)) = formDecoder;
+/**
+ * Decode one envelope row (`{ kind, states, because, witness }`) on its own — for a response that carries a
+ * declaration beside its data, such as the single-form endpoint's `triggersFrom`.
+ */
+export function releaseAvailabilityDecoder(field: string): ((arg0: string) => ((arg0: any) => FSharpResult$2_$union<ReleaseAvailability$1_$union<FSharpList<string>>, [string, ErrorReason_$union]>)) {
+    return availabilityRowDecoder(field);
+}
 
 //# sourceMappingURL=TemplateManifestDecoder.ts.map