{
  "version": "0.7",
  "legend": {
    "yes": "yes",
    "partial": "partial",
    "n/a": "not applicable",
    "authority-ir": "Authority IR",
    "host-artifact": "host artifact",
    "ledger-ready": "ledger-ready",
    "protocol-plan": "protocol plan",
    "react-target": "React target",
    "runtime-policy": "runtime policy",
    "proof-policy": "proof policy"
  },
  "rows": [
    {
      "construct": "function",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "yes",
      "runtime": "yes",
      "codegen": "partial",
      "notes": "pure functions execute; effectful functions are checked and routed through runtime adapters"
    },
    {
      "construct": "machine",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "yes",
      "runtime": "yes",
      "codegen": "partial",
      "notes": "event-driven state machines execute; XState/SCXML emit checked topology"
    },
    {
      "construct": "store",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "yes",
      "runtime": "yes",
      "codegen": "host-artifact",
      "notes": "operational/semantic stores; backend, persistence, effect targets, architecture plans, and host contracts are checked/exported"
    },
    {
      "construct": "surface",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "yes",
      "runtime": "yes",
      "codegen": "react-target",
      "notes": "A2UI-facing declaration; protocol version, catalog, state, actions, route, bound events, manifest, envelopes, and React/A2UI renderer output are checked/exported"
    },
    {
      "construct": "port",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "yes",
      "runtime": "yes",
      "codegen": "protocol-plan",
      "notes": "MCP/HTTP-facing declaration; protocol version, tools, resources, prompts, effect targets, protocol-plan output, and adapter plan are checked/exported"
    },
    {
      "construct": "agent",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "yes",
      "runtime": "yes",
      "codegen": "protocol-plan",
      "notes": "A2A/HTTP-facing declaration; protocol version, discovery, auth, typed skills, message/task/artifact targets, protocol-plan output, and adapter plan are checked/exported"
    },
    {
      "construct": "contract",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "n/a",
      "codegen": "host-artifact",
      "notes": "contract declaration; store/function references, architecture plans, and host contracts are checked/exported"
    },
    {
      "construct": "lineage",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "ledger-ready",
      "codegen": "n/a",
      "notes": "declares parent/candidate semantic hashes, proposer, reason, and timestamp for governed successor comparison"
    },
    {
      "construct": "objective",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "ledger-ready",
      "codegen": "n/a",
      "notes": "declares improvement metrics, optimization direction, and constraints that bound what better means"
    },
    {
      "construct": "eval-suite",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "ledger-ready",
      "codegen": "n/a",
      "notes": "declares datasets, metric thresholds, and examples/replay/property checks required before promotion"
    },
    {
      "construct": "successor-contract",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "ledger-ready",
      "codegen": "n/a",
      "notes": "declares preservation, prohibition, and required evidence rules across candidate successors"
    },
    {
      "construct": "budget",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "runtime-policy",
      "codegen": "n/a",
      "notes": "declares iteration, cost, wall-clock, CI, LLM, and effect allow/deny limits for improvement loops"
    },
    {
      "construct": "gate",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "runtime-policy",
      "codegen": "n/a",
      "notes": "declares requirements and pass/fail actions for promotion, quarantine, rollback, and human approval"
    },
    {
      "construct": "deployment-policy",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "runtime-policy",
      "codegen": "n/a",
      "notes": "declares shadow/canary/live modes, promotion gates, rollback targets, and quarantine triggers"
    },
    {
      "construct": "improvement-record",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "ledger-ready",
      "codegen": "n/a",
      "notes": "records parent/candidate/diff hashes, eval/proof/policy decisions, approvals, outcomes, and rollback pointer"
    },
    {
      "construct": "verification-hook",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "proof-policy",
      "codegen": "n/a",
      "notes": "declares improvement proof obligations for Lean, policy engines, or external verifiers"
    },
    {
      "construct": "import",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "n/a",
      "codegen": "n/a",
      "notes": "module imports resolve from explicit roots, reject cycles, and record imported semantic hashes"
    },
    {
      "construct": "type",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "yes",
      "runtime": "yes",
      "codegen": "partial",
      "notes": "nominal records, enums, tagged variants, errors, events; primitive scalar subset is codegen-ready"
    },
    {
      "construct": "profile",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "n/a",
      "codegen": "n/a",
      "notes": "constrains admissible effects"
    },
    {
      "construct": "capsule",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "n/a",
      "codegen": "n/a",
      "notes": "module header + version"
    },
    {
      "construct": "principal",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "runtime-policy",
      "codegen": "authority-ir",
      "notes": "Authority IR actor; identity, credential, attestation, owner, and accountability metadata are checked and exported"
    },
    {
      "construct": "mandate",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "runtime-policy",
      "codegen": "authority-ir",
      "notes": "bounded reason for action; issuer/recipient references, purpose, scope, revocation, and validity windows are checked/exported"
    },
    {
      "construct": "delegation",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "runtime-policy",
      "codegen": "authority-ir",
      "notes": "scoped handoff of authority; source, target, mandate, usable tools, expiry, and traceability requirements are checked/exported"
    },
    {
      "construct": "capability",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "runtime-policy",
      "codegen": "authority-ir",
      "notes": "short-lived action right; principal, effect target, mandate/delegation dependencies, risk, approvals, limits, and revocation metadata are checked/exported"
    },
    {
      "construct": "authority-policy",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "runtime-policy",
      "codegen": "authority-ir",
      "notes": "allow/deny/defer/escalate decision surface; outcomes, default, rule effects, and declared targets are checked/exported"
    },
    {
      "construct": "trust-boundary",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "runtime-policy",
      "codegen": "authority-ir",
      "notes": "execution-environment requirement; sandbox, network, filesystem, egress, secrets, attestation, and capability references are exported to Authority IR"
    },
    {
      "construct": "telemetry-obligation",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "ledger-ready",
      "codegen": "authority-ir",
      "notes": "contractual telemetry duty; required events, attribution fields, export sinks, and tamper-evidence metadata are checked/exported"
    },
    {
      "construct": "memory-policy",
      "authoring": "yes",
      "parsed": "yes",
      "checked": "yes",
      "interpreted": "n/a",
      "runtime": "runtime-policy",
      "codegen": "authority-ir",
      "notes": "agent-memory governance; isolation, TTL, source attribution, hash validation, quarantine, and promotion rules are checked/exported"
    }
  ]
}