event-contract-builder 0.1.0

package/DISCLAIMER.md

@@ -0,0 +1,22 @@
+# Disclaimer
+
+The event-contract-builder tooling and all schema definitions, templates, field
+descriptions, and generated outputs in this repository are provided for
+informational and structural purposes only.
+
+Nothing in this repository constitutes legal advice, regulatory advice,
+financial advice, or a complete or compliant event-contract submission.
+Outputs generated by this tooling are drafts intended to support — not
+replace — qualified legal, compliance, and regulatory review.
+
+Event contracts may be subject to regulation under the Commodity Exchange
+Act, CFTC rules, applicable exchange rules, and other laws depending on
+jurisdiction and structure. You are solely responsible for ensuring that
+any contract you design, submit, or list complies with all applicable laws
+and regulations.
+
+The author makes no representation that any schema, template, or output
+produced by this tooling satisfies the requirements of any designated
+contract market, swap execution facility, or regulatory body.
+
+Use at your own risk.

package/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/NOTICE

@@ -0,0 +1,2 @@
+event-contract-builder
+Copyright 2026 Christopher Maximilian Altmann

package/README.md

@@ -0,0 +1,99 @@
+# event-contract-builder
+A TypeScript library, CLI, and MCP server for generating, validating, and converting YAML and JSON event contract specifications for prediction markets.
+
+## Status
+
+This package is in early development. The public API may change before v1.0.0.
+
+The library entry point is available through the package root after building:
+
+```sh
+bun run build
+```
+
+## Installation
+
+npm install event-contract-builder
+
+## Usage
+
+Render a canonical statement from structured resolution fields:
+
+```ts
+import {
+  EventContractSpec,
+  renderCanonicalStatement,
+  type EventContractSpecT,
+} from "event-contract-builder";
+
+const spec: EventContractSpecT = {
+  dsl: "event-contract-cnl/0.1",
+  resolution: {
+    criterion: {
+      kind: "threshold",
+      metric: {
+        name: "US CPI year-over-year rate",
+        unit: "percent",
+        extraction: "Read the annual percent change from the CPI publication.",
+        revisionPolicy: "first-published-value",
+      },
+      comparator: "greater-than-or-equal",
+      threshold: 3,
+    },
+    canonicalStatement: "",
+    observationWindow: {
+      start: "2026-01-01T00:00:00Z",
+      end: "2026-12-31T23:59:59Z",
+      timezone: "UTC",
+    },
+    sources: [
+      {
+        id: "bls-cpi",
+        name: "Consumer Price Index",
+        publisher: "U.S. Bureau of Labor Statistics",
+        url: "https://www.bls.gov/cpi/",
+        publicationSchedule: "Published monthly by the BLS.",
+        publiclyAccessible: true,
+        independenceNote: "The publisher is a government statistics agency.",
+      },
+    ],
+    primarySourceId: "bls-cpi",
+    fallbacks: [],
+    resolutionDeadline: "2027-01-31T23:59:59Z",
+    earlyResolution: { allowed: false },
+    terminalAmbiguityPolicy: "void-and-refund",
+    edgeCases: [
+      {
+        scenario: "If the source retracts the first value before the deadline.",
+        disposition: "Use the corrected value published before the deadline.",
+      },
+      {
+        scenario: "If no value is published before the deadline.",
+        disposition: "Apply the terminal ambiguity policy.",
+      },
+      {
+        scenario: "If the dataset is renamed without method changes.",
+        disposition: "Use the renamed successor dataset.",
+      },
+    ],
+    disputeWindowHours: 24,
+  },
+};
+
+const canonicalStatement = renderCanonicalStatement(spec);
+const validatedSpec = EventContractSpec.parse({
+  ...spec,
+  resolution: {
+    ...spec.resolution,
+    canonicalStatement,
+  },
+});
+
+console.log(validatedSpec.resolution.canonicalStatement);
+```
+
+## Disclaimer
+See [DISCLAIMER.md](DISCLAIMER.md) for important information about the legal and regulatory status of outputs produced by this tooling.
+
+## License
+Copyright © 2026 Christopher Maximilian Altmann. Licensed under the Apache License, Version 2.0.

package/dist/index.d.ts

@@ -0,0 +1,2 @@
+export * from "./src";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../index.ts"],"names":[],"mappings":"AAAA,cAAc,OAAO,CAAC"}

package/dist/index.js

@@ -0,0 +1,221 @@
+// src/cnl.ts
+var COMPARATOR_PHRASES = {
+  "greater-than": "is greater than",
+  "greater-than-or-equal": "is greater than or equal to",
+  "less-than": "is less than",
+  "less-than-or-equal": "is less than or equal to",
+  "equal-to": "is exactly equal to",
+  "between-inclusive": "is greater than or equal to the lower bound and less than or equal to the upper bound of",
+  occurs: "occurs",
+  "does-not-occur": "does not occur"
+};
+var TEMPLATES = {
+  binaryThreshold: "This contract resolves YES if {METRIC}, as published by {PUBLISHER} ({SOURCE}), measured over {WINDOW}, {COMPARATOR_PHRASE} {THRESHOLD} {UNIT}, applying the {REVISION_POLICY} as of the resolution deadline; otherwise it resolves NO.",
+  binaryOccurrence: "This contract resolves YES if the following event {COMPARATOR_PHRASE} within {WINDOW}: {EVENT_CLAUSE} Otherwise it resolves NO.",
+  bucketMembership: "This contract resolves to the single bucket outcome listed in section payout whose range contains the value of {METRIC}, as published by {PUBLISHER} ({SOURCE}), measured over {WINDOW}, applying the {REVISION_POLICY}; bucket lower bounds are inclusive and upper bounds are exclusive."
+};
+var UNMET_DISPOSITION_PHRASES = {
+  "void-and-refund": "is voided and all positions are refunded at acquisition price",
+  "resolve-no": "resolves NO",
+  "resolve-to-floor": "settles at the floor value stated in section payout",
+  "exchange-determination-per-rulebook": "is resolved by exchange determination under the rulebook"
+};
+var REVISION_POLICY_PHRASES = {
+  "first-published-value": "first published value",
+  "value-as-of-observation-time": "value displayed at the stated observation time",
+  "final-revised-value": "final revised value"
+};
+function phraseFor(phrases, key, label) {
+  const phrase = phrases[key];
+  if (phrase === undefined) {
+    throw new Error(`Unsupported ${label}: ${key}`);
+  }
+  return phrase;
+}
+function windowPhrase(spec) {
+  const w = spec.resolution.observationWindow;
+  return `the period from ${w.start} to ${w.end} (${w.timezone})`;
+}
+function renderCanonicalStatement(spec) {
+  const c = spec.resolution.criterion;
+  const primary = spec.resolution.sources.find((s) => s.id === spec.resolution.primarySourceId);
+  const W = windowPhrase(spec);
+  switch (c.kind) {
+    case "threshold": {
+      const threshold = c.comparator === "between-inclusive" ? `the range [${c.threshold}, ${c.thresholdUpper}]` : String(c.threshold);
+      return TEMPLATES.binaryThreshold.replace("{METRIC}", c.metric.name).replace("{PUBLISHER}", primary.publisher).replace("{SOURCE}", primary.name).replace("{WINDOW}", W).replace("{COMPARATOR_PHRASE}", phraseFor(COMPARATOR_PHRASES, c.comparator, "comparator")).replace("{THRESHOLD}", threshold).replace("{UNIT}", c.metric.unit).replace("{REVISION_POLICY}", phraseFor(REVISION_POLICY_PHRASES, c.metric.revisionPolicy, "revision policy"));
+    }
+    case "occurrence":
+      return TEMPLATES.binaryOccurrence.replace("{COMPARATOR_PHRASE}", phraseFor(COMPARATOR_PHRASES, c.comparator, "comparator")).replace("{WINDOW}", W).replace("{EVENT_CLAUSE}", c.eventClause);
+    case "bucket-membership":
+      return TEMPLATES.bucketMembership.replace("{METRIC}", c.metric.name).replace("{PUBLISHER}", primary.publisher).replace("{SOURCE}", primary.name).replace("{WINDOW}", W).replace("{REVISION_POLICY}", phraseFor(REVISION_POLICY_PHRASES, c.metric.revisionPolicy, "revision policy"));
+  }
+}
+
+// src/schema/event-contract.ts
+import { z as z2 } from "zod";
+
+// src/schema/resolution.ts
+import { z } from "zod";
+var IsoDateTime = z.string().regex(/^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}(:\d{2})?(\.\d+)?(Z|[+-]\d{2}:\d{2})$/, "Must be ISO 8601 date-time with explicit offset (e.g. 2026-07-15T16:00:00-04:00)").describe("ISO 8601 date-time with mandatory UTC offset");
+var IanaTimezone = z.string().regex(/^[A-Za-z]+\/[A-Za-z_+\-]+(\/[A-Za-z_+\-]+)?$|^UTC$/, "Must be an IANA timezone or UTC").describe("IANA timezone identifier (e.g. America/New_York) or UTC");
+var Slug = z.string().regex(/^[a-z0-9]+(-[a-z0-9]+)*$/, "Must be lowercase kebab-case").describe("Stable lowercase kebab-case identifier");
+var CnlSentence = z.string().min(20).max(600).regex(/^[A-Z].*\.$/s, "Must be a complete sentence (capitalized, ending in a period)").refine((s) => !/\b(approximately|roughly|about|around|reasonable|significant|materially|generally|etc\.?)\b/i.test(s), "CNL sentences must not contain hedging/vague terms (approximately, roughly, significant, etc.)").describe("A single precise sentence in the controlled vocabulary; vague terms are rejected");
+var Metric = z.object({
+  name: z.string().min(3).describe("Exact name of the data point as the source publishes it"),
+  unit: z.string().min(1),
+  extraction: CnlSentence.describe("Exactly which table/field/series ID the value is read from"),
+  revisionPolicy: z.enum([
+    "first-published-value",
+    "value-as-of-observation-time",
+    "final-revised-value"
+  ])
+});
+var ThresholdCriterion = z.object({
+  kind: z.literal("threshold"),
+  metric: Metric,
+  comparator: z.enum([
+    "greater-than",
+    "greater-than-or-equal",
+    "less-than",
+    "less-than-or-equal",
+    "equal-to",
+    "between-inclusive"
+  ]),
+  threshold: z.number(),
+  thresholdUpper: z.number().optional()
+});
+var OccurrenceCriterion = z.object({
+  kind: z.literal("occurrence"),
+  comparator: z.enum(["occurs", "does-not-occur"]),
+  eventClause: CnlSentence,
+  evidenceStandard: CnlSentence
+});
+var BucketMembershipCriterion = z.object({
+  kind: z.literal("bucket-membership"),
+  metric: Metric
+});
+var Criterion = z.discriminatedUnion("kind", [
+  ThresholdCriterion,
+  OccurrenceCriterion,
+  BucketMembershipCriterion
+]).describe("Structured resolution criterion; canonicalStatement is rendered from this");
+var DataSource = z.object({
+  id: Slug,
+  name: z.string().min(3),
+  publisher: z.string().min(2).describe("Organization that produces the data"),
+  url: z.url(),
+  datasetId: z.string().optional(),
+  publicationSchedule: z.string().min(10).describe("When and how often the value is published"),
+  publiclyAccessible: z.boolean(),
+  independenceNote: z.string().min(30).describe("Publisher's independence from market participants")
+});
+var Fallback = z.object({
+  trigger: z.enum([
+    "primary-not-published-by-deadline",
+    "primary-discontinued",
+    "primary-methodology-materially-changed",
+    "primary-retracted-or-corrected"
+  ]),
+  sourceId: Slug.describe("id of a source in resolution.sources"),
+  procedure: CnlSentence
+});
+var TerminalAmbiguityPolicy = z.enum([
+  "resolve-no",
+  "resolve-to-floor",
+  "void-and-refund",
+  "exchange-determination-per-rulebook"
+]).describe("Pre-committed disposition when no source/criterion can determine the outcome");
+var Resolution = z.object({
+  criterion: Criterion,
+  canonicalStatement: CnlSentence,
+  observationWindow: z.object({
+    start: IsoDateTime,
+    end: IsoDateTime,
+    timezone: IanaTimezone.describe("Governing timezone for any date words in CNL sentences")
+  }),
+  sources: z.array(DataSource).min(1).describe("All sources; first usable one per fallback order governs"),
+  primarySourceId: Slug,
+  fallbacks: z.array(Fallback).max(5).default([]),
+  resolutionDeadline: IsoDateTime,
+  earlyResolution: z.discriminatedUnion("allowed", [
+    z.object({ allowed: z.literal(false) }),
+    z.object({
+      allowed: z.literal(true),
+      condition: CnlSentence.describe("CNL condition under which the outcome is irreversibly determined early")
+    })
+  ]),
+  terminalAmbiguityPolicy: TerminalAmbiguityPolicy,
+  edgeCases: z.array(z.object({
+    scenario: CnlSentence,
+    disposition: CnlSentence
+  })).min(3).max(40).describe("At least 3 pre-decided edge cases (revisions, ties, postponements, source outages...)"),
+  disputeWindowHours: z.number().int().min(0).max(168)
+}).describe("Complete resolution mechanics: criterion, sources, fallbacks, deadline, edge cases").superRefine((r, ctx) => {
+  const ids = new Set(r.sources.map((s) => s.id));
+  if (!ids.has(r.primarySourceId)) {
+    ctx.addIssue({
+      code: "custom",
+      path: ["primarySourceId"],
+      message: "primarySourceId must match a source id"
+    });
+  }
+  for (const [i, f] of r.fallbacks.entries()) {
+    if (!ids.has(f.sourceId)) {
+      ctx.addIssue({
+        code: "custom",
+        path: ["fallbacks", i, "sourceId"],
+        message: "fallback sourceId must match a source id"
+      });
+    }
+  }
+  if (r.criterion.kind === "threshold") {
+    const hasUpper = r.criterion.thresholdUpper !== undefined;
+    const needsUpper = r.criterion.comparator === "between-inclusive";
+    if (needsUpper !== hasUpper) {
+      ctx.addIssue({
+        code: "custom",
+        path: ["criterion", "thresholdUpper"],
+        message: "thresholdUpper is required iff comparator is between-inclusive"
+      });
+    }
+  }
+  const phrase = "comparator" in r.criterion ? COMPARATOR_PHRASES[r.criterion.comparator] : undefined;
+  if (phrase && !r.canonicalStatement.includes(phrase)) {
+    ctx.addIssue({
+      code: "custom",
+      path: ["canonicalStatement"],
+      message: `canonicalStatement must contain the fixed CNL phrase "${phrase}"`
+    });
+  }
+});
+
+// src/schema/event-contract.ts
+var EventContractSpec = z2.object({
+  dsl: z2.literal("event-contract-cnl/0.1"),
+  resolution: Resolution
+}).describe("Draft event-contract specification (CNL DSL v0.1) for pre-DCM review");
+// src/schema/outcome.ts
+import { z as z3 } from "zod";
+var OutcomeSchema = z3.object({
+  type: z3.literal("binary").describe("Outcome type discriminator."),
+  values: z3.tuple([z3.literal("Yes"), z3.literal("No")]).describe("Binary outcome values.")
+});
+export {
+  renderCanonicalStatement,
+  UNMET_DISPOSITION_PHRASES,
+  TerminalAmbiguityPolicy,
+  TEMPLATES,
+  Slug,
+  Resolution,
+  OutcomeSchema,
+  Metric,
+  IsoDateTime,
+  IanaTimezone,
+  Fallback,
+  EventContractSpec,
+  DataSource,
+  Criterion,
+  CnlSentence,
+  COMPARATOR_PHRASES
+};

package/dist/src/cnl.d.ts

@@ -0,0 +1,33 @@
+/**
+ * Controlled Natural Language (CNL) layer
+ * =======================================
+ *
+ * The DSL's CNL has three rules (full grammar in docs/cnl-grammar.md):
+ *
+ *  R1. Closed comparator vocabulary — every comparison uses exactly one of
+ *      the fixed phrases in COMPARATOR_PHRASES. No synonyms.
+ *  R2. No hedging lexicon — sentences containing vague terms
+ *      ("approximately", "significant", "reasonable", ...) are rejected
+ *      at parse time by the CnlSentence schema.
+ *  R3. Render, don't write — the trader-facing `canonicalStatement` is
+ *      produced by `renderCanonicalStatement()` from structured fields.
+ *      A hand-written statement that drifts from the structured terms
+ *      fails validation.
+ */
+import type { EventContractSpecT } from "./schema/event-contract";
+/** R1: the only legal English realizations of each comparator. */
+export declare const COMPARATOR_PHRASES: Record<string, string>;
+/** Sentence templates (placeholders in braces). */
+export declare const TEMPLATES: {
+    readonly binaryThreshold: "This contract resolves YES if {METRIC}, as published by {PUBLISHER} ({SOURCE}), measured over {WINDOW}, {COMPARATOR_PHRASE} {THRESHOLD} {UNIT}, applying the {REVISION_POLICY} as of the resolution deadline; otherwise it resolves NO.";
+    readonly binaryOccurrence: "This contract resolves YES if the following event {COMPARATOR_PHRASE} within {WINDOW}: {EVENT_CLAUSE} Otherwise it resolves NO.";
+    readonly bucketMembership: "This contract resolves to the single bucket outcome listed in section payout whose range contains the value of {METRIC}, as published by {PUBLISHER} ({SOURCE}), measured over {WINDOW}, applying the {REVISION_POLICY}; bucket lower bounds are inclusive and upper bounds are exclusive.";
+};
+/** Fixed English realizations of contingency unmet-dispositions. */
+export declare const UNMET_DISPOSITION_PHRASES: Record<string, string>;
+/**
+ * Deterministically render the canonical CNL statement for a spec.
+ * Validators compare this to `resolution.canonicalStatement`.
+ */
+export declare function renderCanonicalStatement(spec: EventContractSpecT): string;
+//# sourceMappingURL=cnl.d.ts.map

package/dist/src/cnl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cnl.d.ts","sourceRoot":"","sources":["../../src/cnl.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAElE,kEAAkE;AAClE,eAAO,MAAM,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAUrD,CAAC;AAEF,mDAAmD;AACnD,eAAO,MAAM,SAAS;;;;CAOZ,CAAC;AAEX,oEAAoE;AACpE,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAO5D,CAAC;AA0BF;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,kBAAkB,GAAG,MAAM,CAwDzE"}

package/dist/src/cnl.js

@@ -0,0 +1,59 @@
+// src/cnl.ts
+var COMPARATOR_PHRASES = {
+  "greater-than": "is greater than",
+  "greater-than-or-equal": "is greater than or equal to",
+  "less-than": "is less than",
+  "less-than-or-equal": "is less than or equal to",
+  "equal-to": "is exactly equal to",
+  "between-inclusive": "is greater than or equal to the lower bound and less than or equal to the upper bound of",
+  occurs: "occurs",
+  "does-not-occur": "does not occur"
+};
+var TEMPLATES = {
+  binaryThreshold: "This contract resolves YES if {METRIC}, as published by {PUBLISHER} ({SOURCE}), measured over {WINDOW}, {COMPARATOR_PHRASE} {THRESHOLD} {UNIT}, applying the {REVISION_POLICY} as of the resolution deadline; otherwise it resolves NO.",
+  binaryOccurrence: "This contract resolves YES if the following event {COMPARATOR_PHRASE} within {WINDOW}: {EVENT_CLAUSE} Otherwise it resolves NO.",
+  bucketMembership: "This contract resolves to the single bucket outcome listed in section payout whose range contains the value of {METRIC}, as published by {PUBLISHER} ({SOURCE}), measured over {WINDOW}, applying the {REVISION_POLICY}; bucket lower bounds are inclusive and upper bounds are exclusive."
+};
+var UNMET_DISPOSITION_PHRASES = {
+  "void-and-refund": "is voided and all positions are refunded at acquisition price",
+  "resolve-no": "resolves NO",
+  "resolve-to-floor": "settles at the floor value stated in section payout",
+  "exchange-determination-per-rulebook": "is resolved by exchange determination under the rulebook"
+};
+var REVISION_POLICY_PHRASES = {
+  "first-published-value": "first published value",
+  "value-as-of-observation-time": "value displayed at the stated observation time",
+  "final-revised-value": "final revised value"
+};
+function phraseFor(phrases, key, label) {
+  const phrase = phrases[key];
+  if (phrase === undefined) {
+    throw new Error(`Unsupported ${label}: ${key}`);
+  }
+  return phrase;
+}
+function windowPhrase(spec) {
+  const w = spec.resolution.observationWindow;
+  return `the period from ${w.start} to ${w.end} (${w.timezone})`;
+}
+function renderCanonicalStatement(spec) {
+  const c = spec.resolution.criterion;
+  const primary = spec.resolution.sources.find((s) => s.id === spec.resolution.primarySourceId);
+  const W = windowPhrase(spec);
+  switch (c.kind) {
+    case "threshold": {
+      const threshold = c.comparator === "between-inclusive" ? `the range [${c.threshold}, ${c.thresholdUpper}]` : String(c.threshold);
+      return TEMPLATES.binaryThreshold.replace("{METRIC}", c.metric.name).replace("{PUBLISHER}", primary.publisher).replace("{SOURCE}", primary.name).replace("{WINDOW}", W).replace("{COMPARATOR_PHRASE}", phraseFor(COMPARATOR_PHRASES, c.comparator, "comparator")).replace("{THRESHOLD}", threshold).replace("{UNIT}", c.metric.unit).replace("{REVISION_POLICY}", phraseFor(REVISION_POLICY_PHRASES, c.metric.revisionPolicy, "revision policy"));
+    }
+    case "occurrence":
+      return TEMPLATES.binaryOccurrence.replace("{COMPARATOR_PHRASE}", phraseFor(COMPARATOR_PHRASES, c.comparator, "comparator")).replace("{WINDOW}", W).replace("{EVENT_CLAUSE}", c.eventClause);
+    case "bucket-membership":
+      return TEMPLATES.bucketMembership.replace("{METRIC}", c.metric.name).replace("{PUBLISHER}", primary.publisher).replace("{SOURCE}", primary.name).replace("{WINDOW}", W).replace("{REVISION_POLICY}", phraseFor(REVISION_POLICY_PHRASES, c.metric.revisionPolicy, "revision policy"));
+  }
+}
+export {
+  renderCanonicalStatement,
+  UNMET_DISPOSITION_PHRASES,
+  TEMPLATES,
+  COMPARATOR_PHRASES
+};

package/dist/src/index.d.ts

@@ -0,0 +1,5 @@
+export * from "./cnl";
+export * from "./schema/event-contract";
+export * from "./schema/outcome";
+export * from "./schema/resolution";
+//# sourceMappingURL=index.d.ts.map

package/dist/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,OAAO,CAAC;AACtB,cAAc,yBAAyB,CAAC;AACxC,cAAc,kBAAkB,CAAC;AACjC,cAAc,qBAAqB,CAAC"}