/*
 * E4 - Jurisdictional Conformity
 *
 * The bridge between an entity on the register and a jurisdiction that
 * recognises it: governing law, forum, registered agent, filings, and the
 * placeholder bindings that map Core variables onto a jurisdiction's
 * document vocabulary (the app's 32 placeholder names). Full-depth per
 * the MVP cut - proto pairs render as E4 leaf documents in Phase 3.
 *
 * provenance:
 *   source: universal-constitution v2-minimal-core-study.md (Extensions register);
 *           dashboard-ui placeholders.ts vocabulary (internal inventory 2026-09-14)
 *   licence: Apache-2.0
 */
concerto version "^3.0.0"
namespace id.entity.ext.e4@0.1.0

import id.entity.core@2.2.0.{Extension} from https://models.entity.id/core@2.2.0.cto
/** The registered agent required by a filing jurisdiction. */
concept RegisteredAgent {
  o String name
  o String address
  o String jurisdiction optional
}

enum FilingKind {
  o CERTIFICATE_OF_FORMATION
  o CERTIFICATE_OF_INCORPORATION
  o ARTICLES_OF_ASSOCIATION
  o ARTICLES_OF_ORGANIZATION
  o MARRIAGE_LICENCE
  o REGISTRATION_STATEMENT
  o OTHER
}

/** A document filed with (or issued by) an external registrar. */
concept FilingRecord {
  o FilingKind kind
  o String jurisdiction
  o String filingNumber optional
  o DateTime filedOn optional
  o String status optional
}

/**
 * One binding from an app-side placeholder name (the jurisdiction-document
 * vocabulary in placeholders.ts) to its value for this entity. This is the
 * declared bridge between the two nearly disjoint vocabularies found in
 * the internal inventory - Core variables stay typed in the Constitution;
 * jurisdiction-document fields bind here.
 */
concept PlaceholderBinding {
  o String placeholder
  o String value
}

/**
 * E4 Jurisdictional Conformity - attached to a Constitution via clause 6.2.
 */
concept JurisdictionalConformityExtension extends Extension {
  o String governingLaw
  o String forum optional
  o RegisteredAgent registeredAgent optional
  o FilingRecord[] filings optional
  o PlaceholderBinding[] placeholderBindings optional
  o String[] mandatoryLawNotes optional
}