@cleocode/lafs 2026.3.74 → 2026.4.3

package/dist/src/conformance.js

@@ -1,15 +1,38 @@
-import { getTransportMapping, isRegisteredErrorCode, getRegistryCode } from "./errorRegistry.js";
-import { resolveOutputFormat, LAFSFlagError } from "./flagSemantics.js";
-import { isAgentAction, isMVILevel } from "./types.js";
-import { getChecksForTier } from "./conformanceProfiles.js";
-import { validateEnvelope } from "./validateEnvelope.js";
+import { getChecksForTier } from './conformanceProfiles.js';
+import { getRegistryCode, getTransportMapping, isRegisteredErrorCode } from './errorRegistry.js';
+import { LAFSFlagError, resolveOutputFormat } from './flagSemantics.js';
+import { isAgentAction, isMVILevel } from './types.js';
+import { validateEnvelope } from './validateEnvelope.js';
 function pushCheck(checks, name, pass, detail) {
     checks.push({ name, pass, ...(detail ? { detail } : {}) });
 }
+/**
+ * Runs the full suite of LAFS envelope conformance checks.
+ *
+ * @remarks
+ * Validates schema, envelope invariants, error-code registration,
+ * agent-action validity, transport mapping consistency, context mutation
+ * rules, MVI level, strict-mode behavior, pagination mode consistency,
+ * strict-mode enforcement, and context preservation. When a
+ * {@link EnvelopeConformanceOptions.tier} is specified, only checks
+ * belonging to that tier are included in the returned report.
+ *
+ * @param envelope - The raw value to validate as a LAFS envelope.
+ * @param options - Optional tier filter for the conformance checks.
+ * @returns A {@link ConformanceReport} with individual check results and an overall pass/fail.
+ *
+ * @example
+ * ```ts
+ * const report = runEnvelopeConformance(parsedJson, { tier: 'core' });
+ * if (!report.ok) {
+ *   console.error(report.checks.filter(c => !c.pass));
+ * }
+ * ```
+ */
 export function runEnvelopeConformance(envelope, options = {}) {
     const checks = [];
     const validation = validateEnvelope(envelope);
-    pushCheck(checks, "envelope_schema_valid", validation.valid, validation.valid ? undefined : validation.errors.join("; "));
+    pushCheck(checks, 'envelope_schema_valid', validation.valid, validation.valid ? undefined : validation.errors.join('; '));
     if (!validation.valid) {
         return { ok: false, checks };
     }
@@ -21,134 +44,138 @@ export function runEnvelopeConformance(envelope, options = {}) {
     const invariant = typed.success
         ? typed.error == null // null or undefined (omitted) both valid for success
         : typed.error != null; // error must be present, result is optional
-    pushCheck(checks, "envelope_invariants", invariant, invariant
+    pushCheck(checks, 'envelope_invariants', invariant, invariant
         ? undefined
         : typed.success
-            ? "success=true but error is present and non-null"
-            : "success=false requires error to be a non-null object");
+            ? 'success=true but error is present and non-null'
+            : 'success=false requires error to be a non-null object');
     // error_code_registered: only checked when error is present (error is optional when success=true)
     if (typed.error) {
         const registered = isRegisteredErrorCode(typed.error.code);
-        pushCheck(checks, "error_code_registered", registered, registered ? undefined : `unregistered code: ${typed.error.code}`);
+        pushCheck(checks, 'error_code_registered', registered, registered ? undefined : `unregistered code: ${typed.error.code}`);
     }
     else {
-        pushCheck(checks, "error_code_registered", true, "error field absent or null — skipped (optional when success=true)");
+        pushCheck(checks, 'error_code_registered', true, 'error field absent or null — skipped (optional when success=true)');
     }
     // agent_action_valid: if error.agentAction is present, it must be a valid LAFSAgentAction
     if (typed.error && typed.error.agentAction !== undefined) {
         const valid = isAgentAction(typed.error.agentAction);
-        pushCheck(checks, "agent_action_valid", valid, valid ? undefined : `invalid agentAction: ${String(typed.error.agentAction)}`);
+        pushCheck(checks, 'agent_action_valid', valid, valid ? undefined : `invalid agentAction: ${String(typed.error.agentAction)}`);
     }
     else {
-        pushCheck(checks, "agent_action_valid", true, "agentAction absent — skipped");
+        pushCheck(checks, 'agent_action_valid', true, 'agentAction absent — skipped');
     }
     // error_registry_agent_action: if error code is registered and agentAction is present,
     // check if it matches the registry default (warning-level, not a hard failure)
-    if (typed.error && typed.error.agentAction !== undefined && isRegisteredErrorCode(typed.error.code)) {
+    if (typed.error &&
+        typed.error.agentAction !== undefined &&
+        isRegisteredErrorCode(typed.error.code)) {
         const registryEntry = getRegistryCode(typed.error.code);
-        const registryAction = registryEntry?.["agentAction"];
+        const registryAction = registryEntry?.['agentAction'];
         if (registryAction) {
             const matches = typed.error.agentAction === registryAction;
-            pushCheck(checks, "error_registry_agent_action", true, // always passes — advisory only
+            pushCheck(checks, 'error_registry_agent_action', true, // always passes — advisory only
             matches
                 ? undefined
                 : `agentAction "${typed.error.agentAction}" differs from registry default "${registryAction}" for ${typed.error.code} (advisory)`);
         }
         else {
-            pushCheck(checks, "error_registry_agent_action", true, "registry entry has no default agentAction — skipped");
+            pushCheck(checks, 'error_registry_agent_action', true, 'registry entry has no default agentAction — skipped');
         }
     }
     else {
-        pushCheck(checks, "error_registry_agent_action", true, typed.error ? "agentAction absent or code unregistered — skipped" : "no error present — skipped");
+        pushCheck(checks, 'error_registry_agent_action', true, typed.error
+            ? 'agentAction absent or code unregistered — skipped'
+            : 'no error present — skipped');
     }
     // transport_mapping_consistent: when an error is present, ensure the code has
     // a transport-specific mapping in the registry for the declared transport.
     if (typed.error) {
-        if (typed._meta.transport === "sdk") {
-            pushCheck(checks, "transport_mapping_consistent", true, "sdk transport does not require external status-code mapping");
+        if (typed._meta.transport === 'sdk') {
+            pushCheck(checks, 'transport_mapping_consistent', true, 'sdk transport does not require external status-code mapping');
         }
         else {
             const mapping = getTransportMapping(typed.error.code, typed._meta.transport);
             const mappingOk = mapping !== null;
-            pushCheck(checks, "transport_mapping_consistent", mappingOk, mappingOk
+            pushCheck(checks, 'transport_mapping_consistent', mappingOk, mappingOk
                 ? undefined
                 : `no ${typed._meta.transport} mapping found for code ${typed.error.code}`);
         }
     }
     else {
-        pushCheck(checks, "transport_mapping_consistent", true, "no error present — mapping check skipped");
+        pushCheck(checks, 'transport_mapping_consistent', true, 'no error present — mapping check skipped');
     }
     // context_mutation_failure: if the producer marks context as required for a
     // mutation operation, missing context must fail with a context error code.
     {
         const ext = (typed._extensions ?? {});
-        const contextObj = (ext["context"] ?? {});
-        const lafsObj = (ext["lafs"] ?? {});
-        const contextRequired = ext["lafsContextRequired"] === true ||
-            contextObj["required"] === true ||
-            lafsObj["contextRequired"] === true;
+        const contextObj = (ext['context'] ?? {});
+        const lafsObj = (ext['lafs'] ?? {});
+        const contextRequired = ext['lafsContextRequired'] === true ||
+            contextObj['required'] === true ||
+            lafsObj['contextRequired'] === true;
         if (!contextRequired) {
-            pushCheck(checks, "context_mutation_failure", true, "context not marked required — skipped");
+            pushCheck(checks, 'context_mutation_failure', true, 'context not marked required — skipped');
         }
         else {
             const hasContextIdentity = typed._meta.contextVersion > 0 || Boolean(typed._meta.sessionId);
             if (typed.success) {
                 const pass = hasContextIdentity;
-                pushCheck(checks, "context_mutation_failure", pass, pass ? undefined : "context required but missing identity (expect E_CONTEXT_MISSING)");
+                pushCheck(checks, 'context_mutation_failure', pass, pass ? undefined : 'context required but missing identity (expect E_CONTEXT_MISSING)');
             }
             else {
                 const code = typed.error?.code;
-                const pass = code === "E_CONTEXT_MISSING" || code === "E_CONTEXT_STALE";
-                pushCheck(checks, "context_mutation_failure", pass, pass
+                const pass = code === 'E_CONTEXT_MISSING' || code === 'E_CONTEXT_STALE';
+                pushCheck(checks, 'context_mutation_failure', pass, pass
                     ? undefined
                     : `context required failures should return E_CONTEXT_MISSING or E_CONTEXT_STALE, got ${String(code)}`);
             }
         }
     }
     const mviValid = isMVILevel(typed._meta.mvi);
-    pushCheck(checks, "meta_mvi_present", mviValid, mviValid ? undefined : `invalid mvi level: ${String(typed._meta.mvi)}`);
-    pushCheck(checks, "meta_strict_present", typeof typed._meta.strict === "boolean");
+    pushCheck(checks, 'meta_mvi_present', mviValid, mviValid ? undefined : `invalid mvi level: ${String(typed._meta.mvi)}`);
+    pushCheck(checks, 'meta_strict_present', typeof typed._meta.strict === 'boolean');
     // strict_mode_behavior: when strict=true, the envelope MUST NOT contain
     // explicit null for optional fields that can be omitted (page, error on success).
     if (typed._meta.strict) {
         const obj = envelope;
-        const hasExplicitNullError = typed.success && "error" in obj && obj["error"] === null;
-        const hasExplicitNullPage = "page" in obj && obj["page"] === null;
+        const hasExplicitNullError = typed.success && 'error' in obj && obj['error'] === null;
+        const hasExplicitNullPage = 'page' in obj && obj['page'] === null;
         const strictClean = !hasExplicitNullError && !hasExplicitNullPage;
-        pushCheck(checks, "strict_mode_behavior", strictClean, strictClean
+        pushCheck(checks, 'strict_mode_behavior', strictClean, strictClean
             ? undefined
-            : "strict mode: optional fields should be omitted rather than set to null");
+            : 'strict mode: optional fields should be omitted rather than set to null');
     }
     // pagination_mode_consistent: when page is present and is an object, verify
     // that the fields present match the declared pagination mode.
-    if (typed.page && typeof typed.page === "object") {
+    if (typed.page && typeof typed.page === 'object') {
         const page = typed.page;
-        const mode = page["mode"];
+        const mode = page['mode'];
         let consistent = true;
         let detail;
-        if (mode === "cursor") {
-            if (page["offset"] !== undefined) {
+        if (mode === 'cursor') {
+            if (page['offset'] !== undefined) {
                 consistent = false;
-                detail = "cursor mode should not include offset field";
+                detail = 'cursor mode should not include offset field';
             }
         }
-        else if (mode === "offset") {
-            if (page["nextCursor"] !== undefined) {
+        else if (mode === 'offset') {
+            if (page['nextCursor'] !== undefined) {
                 consistent = false;
-                detail = "offset mode should not include nextCursor field";
+                detail = 'offset mode should not include nextCursor field';
             }
         }
-        else if (mode === "none") {
-            const extraFields = Object.keys(page).filter((k) => k !== "mode");
+        else if (mode === 'none') {
+            const extraFields = Object.keys(page).filter((k) => k !== 'mode');
             if (extraFields.length > 0) {
                 consistent = false;
-                detail = `none mode should only have mode field, found: ${extraFields.join(", ")}`;
+                detail = `none mode should only have mode field, found: ${extraFields.join(', ')}`;
             }
         }
-        pushCheck(checks, "pagination_mode_consistent", consistent, consistent ? undefined : detail);
+        pushCheck(checks, 'pagination_mode_consistent', consistent, consistent ? undefined : detail);
     }
     else {
-        pushCheck(checks, "pagination_mode_consistent", true, "page absent — skipped");
+        pushCheck(checks, 'pagination_mode_consistent', true, 'page absent — skipped');
     }
     // strict_mode_enforced: verify the schema enforces additional-property rules.
     // When strict=true, extra top-level properties must be rejected by validation.
@@ -157,33 +184,33 @@ export function runEnvelopeConformance(envelope, options = {}) {
         const extraPropEnvelope = { ...envelope, _unknown_extra: true };
         const extraResult = validateEnvelope(extraPropEnvelope);
         if (typed._meta.strict) {
-            pushCheck(checks, "strict_mode_enforced", !extraResult.valid, extraResult.valid ? "strict=true but additional properties were accepted" : undefined);
+            pushCheck(checks, 'strict_mode_enforced', !extraResult.valid, extraResult.valid ? 'strict=true but additional properties were accepted' : undefined);
         }
         else {
-            pushCheck(checks, "strict_mode_enforced", extraResult.valid, !extraResult.valid ? "strict=false but additional properties were rejected" : undefined);
+            pushCheck(checks, 'strict_mode_enforced', extraResult.valid, !extraResult.valid ? 'strict=false but additional properties were rejected' : undefined);
         }
     }
     // context_preservation_valid: validate monotonic context version behavior and
     // context-constraint integrity when a context ledger extension is present.
     {
         const ext = (typed._extensions ?? {});
-        const ledger = (ext["contextLedger"] ?? ext["context"]);
-        if (!ledger || typeof ledger !== "object") {
-            pushCheck(checks, "context_preservation_valid", true, "context ledger absent — skipped");
+        const ledger = (ext['contextLedger'] ?? ext['context']);
+        if (!ledger || typeof ledger !== 'object') {
+            pushCheck(checks, 'context_preservation_valid', true, 'context ledger absent — skipped');
         }
         else {
-            const version = ledger["version"];
-            const previousVersion = ledger["previousVersion"];
-            const removedConstraints = ledger["removedConstraints"];
-            const hasNumericVersion = typeof version === "number";
+            const version = ledger['version'];
+            const previousVersion = ledger['previousVersion'];
+            const removedConstraints = ledger['removedConstraints'];
+            const hasNumericVersion = typeof version === 'number';
             const matchesEnvelopeVersion = hasNumericVersion && version === typed._meta.contextVersion;
-            const monotonicFromPrevious = typeof previousVersion !== "number" || (hasNumericVersion && version >= previousVersion);
+            const monotonicFromPrevious = typeof previousVersion !== 'number' || (hasNumericVersion && version >= previousVersion);
             const constraintsPreserved = !Array.isArray(removedConstraints) || removedConstraints.length === 0 || !typed.success;
             let pass = matchesEnvelopeVersion && monotonicFromPrevious && constraintsPreserved;
             let detail;
             if (!hasNumericVersion) {
                 pass = false;
-                detail = "context ledger version must be numeric";
+                detail = 'context ledger version must be numeric';
             }
             else if (!matchesEnvelopeVersion) {
                 detail = `context version mismatch: ledger=${String(version)} envelope=${typed._meta.contextVersion}`;
@@ -192,21 +219,23 @@ export function runEnvelopeConformance(envelope, options = {}) {
                 detail = `non-monotonic context version: previous=${String(previousVersion)} current=${String(version)}`;
             }
             else if (!constraintsPreserved) {
-                detail = "context constraint removal detected on successful response";
+                detail = 'context constraint removal detected on successful response';
             }
             // Error-path validation for stale/missing context signaling.
-            if (!typed.success && typed.error && ledger["required"] === true) {
-                const stale = ledger["stale"] === true;
-                if (stale && typed.error.code !== "E_CONTEXT_STALE") {
+            if (!typed.success && typed.error && ledger['required'] === true) {
+                const stale = ledger['stale'] === true;
+                if (stale && typed.error.code !== 'E_CONTEXT_STALE') {
                     pass = false;
                     detail = `stale context should return E_CONTEXT_STALE, got ${typed.error.code}`;
                 }
-                if (!stale && typed.error.code !== "E_CONTEXT_MISSING" && typed.error.code !== "E_CONTEXT_STALE") {
+                if (!stale &&
+                    typed.error.code !== 'E_CONTEXT_MISSING' &&
+                    typed.error.code !== 'E_CONTEXT_STALE') {
                     pass = false;
                     detail = `required context failure should return E_CONTEXT_MISSING or E_CONTEXT_STALE, got ${typed.error.code}`;
                 }
             }
-            pushCheck(checks, "context_preservation_valid", pass, detail);
+            pushCheck(checks, 'context_preservation_valid', pass, detail);
         }
     }
     const tier = options.tier;
@@ -217,32 +246,51 @@ export function runEnvelopeConformance(envelope, options = {}) {
     const tierChecks = checks.filter((check) => allowed.has(check.name));
     return { ok: tierChecks.every((check) => check.pass), checks: tierChecks };
 }
+/**
+ * Runs LAFS flag-semantics conformance checks against a set of flag inputs.
+ *
+ * @remarks
+ * Verifies that conflicting flags (`--human` + `--json`) are properly rejected,
+ * the protocol default resolves to JSON, and project/user config overrides are
+ * respected. Catches {@link LAFSFlagError} with code `E_FORMAT_CONFLICT` as a
+ * valid conformance outcome.
+ *
+ * @param flags - The flag input to validate.
+ * @returns A {@link ConformanceReport} with individual check results and an overall pass/fail.
+ *
+ * @example
+ * ```ts
+ * const report = runFlagConformance({ humanFlag: true, jsonFlag: false });
+ * console.log(report.ok); // true
+ * ```
+ */
 export function runFlagConformance(flags) {
     const checks = [];
     try {
         const resolved = resolveOutputFormat(flags);
-        pushCheck(checks, "flag_conflict_rejected", !(flags.humanFlag && flags.jsonFlag));
+        pushCheck(checks, 'flag_conflict_rejected', !(flags.humanFlag && flags.jsonFlag));
         // Protocol-default check: when nothing is specified (source === "default"),
         // the protocol requires JSON as the default format.
-        const isProtocolDefault = resolved.source === "default";
-        pushCheck(checks, "json_protocol_default", !isProtocolDefault || resolved.format === "json", isProtocolDefault && resolved.format !== "json"
+        const isProtocolDefault = resolved.source === 'default';
+        pushCheck(checks, 'json_protocol_default', !isProtocolDefault || resolved.format === 'json', isProtocolDefault && resolved.format !== 'json'
             ? `protocol default should be json, got ${resolved.format}`
             : undefined);
         // Config-override check: when a project or user default is active,
         // the resolved format must match the config-provided value.
-        const hasConfigOverride = resolved.source === "project" || resolved.source === "user";
-        const expectedOverride = resolved.source === "project" ? flags.projectDefault : flags.userDefault;
-        pushCheck(checks, "config_override_respected", !hasConfigOverride || resolved.format === expectedOverride, hasConfigOverride && resolved.format !== expectedOverride
+        const hasConfigOverride = resolved.source === 'project' || resolved.source === 'user';
+        const expectedOverride = resolved.source === 'project' ? flags.projectDefault : flags.userDefault;
+        pushCheck(checks, 'config_override_respected', !hasConfigOverride || resolved.format === expectedOverride, hasConfigOverride && resolved.format !== expectedOverride
             ? `config override expected ${String(expectedOverride)}, got ${resolved.format}`
             : undefined);
     }
     catch (error) {
-        if (error instanceof LAFSFlagError && error.code === "E_FORMAT_CONFLICT") {
-            pushCheck(checks, "flag_conflict_rejected", true);
+        if (error instanceof LAFSFlagError && error.code === 'E_FORMAT_CONFLICT') {
+            pushCheck(checks, 'flag_conflict_rejected', true);
             return { ok: checks.every((check) => check.pass), checks };
         }
-        pushCheck(checks, "flag_resolution", false, error instanceof Error ? error.message : String(error));
+        pushCheck(checks, 'flag_resolution', false, error instanceof Error ? error.message : String(error));
         return { ok: false, checks };
     }
     return { ok: checks.every((check) => check.pass), checks };
 }
+//# sourceMappingURL=conformance.js.map

package/dist/src/conformance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conformance.js","sourceRoot":"","sources":["../../src/conformance.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwB,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAClF,OAAO,EAAE,eAAe,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AACjG,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAExE,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEzD,SAAS,SAAS,CAChB,MAAmC,EACnC,IAAY,EACZ,IAAa,EACb,MAAe;IAEf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAC7D,CAAC;AAiBD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,sBAAsB,CACpC,QAAiB,EACjB,UAAsC,EAAE;IAExC,MAAM,MAAM,GAAgC,EAAE,CAAC;IAE/C,MAAM,UAAU,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC9C,SAAS,CACP,MAAM,EACN,uBAAuB,EACvB,UAAU,CAAC,KAAK,EAChB,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAC5D,CAAC;IAEF,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC/B,CAAC;IAED,MAAM,KAAK,GAAG,QAeb,CAAC;IAEF,wEAAwE;IACxE,wDAAwD;IACxD,8EAA8E;IAC9E,2EAA2E;IAC3E,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO;QAC7B,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,qDAAqD;QAC3E,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,4CAA4C;IACrE,SAAS,CACP,MAAM,EACN,qBAAqB,EACrB,SAAS,EACT,SAAS;QACP,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,KAAK,CAAC,OAAO;YACb,CAAC,CAAC,gDAAgD;YAClD,CAAC,CAAC,sDAAsD,CAC7D,CAAC;IAEF,kGAAkG;IAClG,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChB,MAAM,UAAU,GAAG,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3D,SAAS,CACP,MAAM,EACN,uBAAuB,EACvB,UAAU,EACV,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,sBAAsB,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAClE,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,SAAS,CACP,MAAM,EACN,uBAAuB,EACvB,IAAI,EACJ,mEAAmE,CACpE,CAAC;IACJ,CAAC;IAED,0FAA0F;IAC1F,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACrD,SAAS,CACP,MAAM,EACN,oBAAoB,EACpB,KAAK,EACL,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,wBAAwB,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAC9E,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,SAAS,CAAC,MAAM,EAAE,oBAAoB,EAAE,IAAI,EAAE,8BAA8B,CAAC,CAAC;IAChF,CAAC;IAED,uFAAuF;IACvF,+EAA+E;IAC/E,IACE,KAAK,CAAC,KAAK;QACX,KAAK,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS;QACrC,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EACvC,CAAC;QACD,MAAM,aAAa,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACxD,MAAM,cAAc,GAAI,aAAqD,EAAE,CAC7E,aAAa,CACQ,CAAC;QACxB,IAAI,cAAc,EAAE,CAAC;YACnB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,KAAK,cAAc,CAAC;YAC3D,SAAS,CACP,MAAM,EACN,6BAA6B,EAC7B,IAAI,EAAE,gCAAgC;YACtC,OAAO;gBACL,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,gBAAgB,KAAK,CAAC,KAAK,CAAC,WAAW,oCAAoC,cAAc,SAAS,KAAK,CAAC,KAAK,CAAC,IAAI,aAAa,CACpI,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,SAAS,CACP,MAAM,EACN,6BAA6B,EAC7B,IAAI,EACJ,qDAAqD,CACtD,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,CAAC;QACN,SAAS,CACP,MAAM,EACN,6BAA6B,EAC7B,IAAI,EACJ,KAAK,CAAC,KAAK;YACT,CAAC,CAAC,mDAAmD;YACrD,CAAC,CAAC,4BAA4B,CACjC,CAAC;IACJ,CAAC;IAED,8EAA8E;IAC9E,2EAA2E;IAC3E,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChB,IAAI,KAAK,CAAC,KAAK,CAAC,SAAS,KAAK,KAAK,EAAE,CAAC;YACpC,SAAS,CACP,MAAM,EACN,8BAA8B,EAC9B,IAAI,EACJ,6DAA6D,CAC9D,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC7E,MAAM,SAAS,GAAG,OAAO,KAAK,IAAI,CAAC;YACnC,SAAS,CACP,MAAM,EACN,8BAA8B,EAC9B,SAAS,EACT,SAAS;gBACP,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,SAAS,2BAA2B,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAC7E,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,CAAC;QACN,SAAS,CACP,MAAM,EACN,8BAA8B,EAC9B,IAAI,EACJ,0CAA0C,CAC3C,CAAC;IACJ,CAAC;IAED,4EAA4E;IAC5E,2EAA2E;IAC3E,CAAC;QACC,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,WAAW,IAAI,EAAE,CAA4B,CAAC;QACjE,MAAM,UAAU,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAA4B,CAAC;QACrE,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAA4B,CAAC;QAC/D,MAAM,eAAe,GACnB,GAAG,CAAC,qBAAqB,CAAC,KAAK,IAAI;YACnC,UAAU,CAAC,UAAU,CAAC,KAAK,IAAI;YAC/B,OAAO,CAAC,iBAAiB,CAAC,KAAK,IAAI,CAAC;QAEtC,IAAI,CAAC,eAAe,EAAE,CAAC;YACrB,SAAS,CAAC,MAAM,EAAE,0BAA0B,EAAE,IAAI,EAAE,uCAAuC,CAAC,CAAC;QAC/F,CAAC;aAAM,CAAC;YACN,MAAM,kBAAkB,GAAG,KAAK,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAE5F,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBAClB,MAAM,IAAI,GAAG,kBAAkB,CAAC;gBAChC,SAAS,CACP,MAAM,EACN,0BAA0B,EAC1B,IAAI,EACJ,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,kEAAkE,CACtF,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC;gBAC/B,MAAM,IAAI,GAAG,IAAI,KAAK,mBAAmB,IAAI,IAAI,KAAK,iBAAiB,CAAC;gBACxE,SAAS,CACP,MAAM,EACN,0BAA0B,EAC1B,IAAI,EACJ,IAAI;oBACF,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,qFAAqF,MAAM,CAAC,IAAI,CAAC,EAAE,CACxG,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7C,SAAS,CACP,MAAM,EACN,kBAAkB,EAClB,QAAQ,EACR,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,sBAAsB,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CACvE,CAAC;IACF,SAAS,CAAC,MAAM,EAAE,qBAAqB,EAAE,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IAElF,wEAAwE;IACxE,kFAAkF;IAClF,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,QAAmC,CAAC;QAChD,MAAM,oBAAoB,GAAG,KAAK,CAAC,OAAO,IAAI,OAAO,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC;QACtF,MAAM,mBAAmB,GAAG,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC;QAClE,MAAM,WAAW,GAAG,CAAC,oBAAoB,IAAI,CAAC,mBAAmB,CAAC;QAClE,SAAS,CACP,MAAM,EACN,sBAAsB,EACtB,WAAW,EACX,WAAW;YACT,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,wEAAwE,CAC7E,CAAC;IACJ,CAAC;IAED,4EAA4E;IAC5E,8DAA8D;IAC9D,IAAI,KAAK,CAAC,IAAI,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,KAAK,CAAC,IAA+B,CAAC;QACnD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAuB,CAAC;QAChD,IAAI,UAAU,GAAG,IAAI,CAAC;QACtB,IAAI,MAA0B,CAAC;QAE/B,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,SAAS,EAAE,CAAC;gBACjC,UAAU,GAAG,KAAK,CAAC;gBACnB,MAAM,GAAG,6CAA6C,CAAC;YACzD,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,YAAY,CAAC,KAAK,SAAS,EAAE,CAAC;gBACrC,UAAU,GAAG,KAAK,CAAC;gBACnB,MAAM,GAAG,iDAAiD,CAAC;YAC7D,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;YAClE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3B,UAAU,GAAG,KAAK,CAAC;gBACnB,MAAM,GAAG,iDAAiD,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACrF,CAAC;QACH,CAAC;QAED,SAAS,CAAC,MAAM,EAAE,4BAA4B,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC/F,CAAC;SAAM,CAAC;QACN,SAAS,CAAC,MAAM,EAAE,4BAA4B,EAAE,IAAI,EAAE,uBAAuB,CAAC,CAAC;IACjF,CAAC;IAED,8EAA8E;IAC9E,+EAA+E;IAC/E,iEAAiE;IACjE,CAAC;QACC,MAAM,iBAAiB,GAAG,EAAE,GAAI,QAAoC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;QAC7F,MAAM,WAAW,GAAG,gBAAgB,CAAC,iBAAiB,CAAC,CAAC;QACxD,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACvB,SAAS,CACP,MAAM,EACN,sBAAsB,EACtB,CAAC,WAAW,CAAC,KAAK,EAClB,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,qDAAqD,CAAC,CAAC,CAAC,SAAS,CACtF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,SAAS,CACP,MAAM,EACN,sBAAsB,EACtB,WAAW,CAAC,KAAK,EACjB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,sDAAsD,CAAC,CAAC,CAAC,SAAS,CACxF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,8EAA8E;IAC9E,2EAA2E;IAC3E,CAAC;QACC,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,WAAW,IAAI,EAAE,CAA4B,CAAC;QACjE,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,CAAwC,CAAC;QAE/F,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC1C,SAAS,CAAC,MAAM,EAAE,4BAA4B,EAAE,IAAI,EAAE,iCAAiC,CAAC,CAAC;QAC3F,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;YAClC,MAAM,eAAe,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC;YAClD,MAAM,kBAAkB,GAAG,MAAM,CAAC,oBAAoB,CAAC,CAAC;YAExD,MAAM,iBAAiB,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC;YACtD,MAAM,sBAAsB,GAAG,iBAAiB,IAAI,OAAO,KAAK,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC;YAC3F,MAAM,qBAAqB,GACzB,OAAO,eAAe,KAAK,QAAQ,IAAI,CAAC,iBAAiB,IAAI,OAAO,IAAI,eAAe,CAAC,CAAC;YAC3F,MAAM,oBAAoB,GACxB,CAAC,KAAK,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;YAE1F,IAAI,IAAI,GAAG,sBAAsB,IAAI,qBAAqB,IAAI,oBAAoB,CAAC;YACnF,IAAI,MAA0B,CAAC;YAE/B,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACvB,IAAI,GAAG,KAAK,CAAC;gBACb,MAAM,GAAG,wCAAwC,CAAC;YACpD,CAAC;iBAAM,IAAI,CAAC,sBAAsB,EAAE,CAAC;gBACnC,MAAM,GAAG,oCAAoC,MAAM,CAAC,OAAO,CAAC,aAAa,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;YACxG,CAAC;iBAAM,IAAI,CAAC,qBAAqB,EAAE,CAAC;gBAClC,MAAM,GAAG,2CAA2C,MAAM,CAAC,eAAe,CAAC,YAAY,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3G,CAAC;iBAAM,IAAI,CAAC,oBAAoB,EAAE,CAAC;gBACjC,MAAM,GAAG,4DAA4D,CAAC;YACxE,CAAC;YAED,6DAA6D;YAC7D,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;gBACjE,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC;gBACvC,IAAI,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oBACpD,IAAI,GAAG,KAAK,CAAC;oBACb,MAAM,GAAG,oDAAoD,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;gBAClF,CAAC;gBACD,IACE,CAAC,KAAK;oBACN,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,mBAAmB;oBACxC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,iBAAiB,EACtC,CAAC;oBACD,IAAI,GAAG,KAAK,CAAC;oBACb,MAAM,GAAG,oFAAoF,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;gBAClH,CAAC;YACH,CAAC;YAED,SAAS,CAAC,MAAM,EAAE,4BAA4B,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAC1B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7D,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAC7E,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAgB;IACjD,MAAM,MAAM,GAAgC,EAAE,CAAC;IAE/C,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;QAC5C,SAAS,CAAC,MAAM,EAAE,wBAAwB,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QAElF,4EAA4E;QAC5E,oDAAoD;QACpD,MAAM,iBAAiB,GAAG,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC;QACxD,SAAS,CACP,MAAM,EACN,uBAAuB,EACvB,CAAC,iBAAiB,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAChD,iBAAiB,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM;YAC7C,CAAC,CAAC,wCAAwC,QAAQ,CAAC,MAAM,EAAE;YAC3D,CAAC,CAAC,SAAS,CACd,CAAC;QAEF,mEAAmE;QACnE,4DAA4D;QAC5D,MAAM,iBAAiB,GAAG,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC;QACtF,MAAM,gBAAgB,GACpB,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC;QAC3E,SAAS,CACP,MAAM,EACN,2BAA2B,EAC3B,CAAC,iBAAiB,IAAI,QAAQ,CAAC,MAAM,KAAK,gBAAgB,EAC1D,iBAAiB,IAAI,QAAQ,CAAC,MAAM,KAAK,gBAAgB;YACvD,CAAC,CAAC,4BAA4B,MAAM,CAAC,gBAAgB,CAAC,SAAS,QAAQ,CAAC,MAAM,EAAE;YAChF,CAAC,CAAC,SAAS,CACd,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,aAAa,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACzE,SAAS,CAAC,MAAM,EAAE,wBAAwB,EAAE,IAAI,CAAC,CAAC;YAClD,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;QAC7D,CAAC;QACD,SAAS,CACP,MAAM,EACN,iBAAiB,EACjB,KAAK,EACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CACvD,CAAC;QACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC/B,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;AAC7D,CAAC"}

package/dist/src/conformanceProfiles.d.ts

@@ -1,11 +1,78 @@
-export type ConformanceTier = "core" | "standard" | "complete";
+/**
+ * Named conformance tier indicating the breadth of checks applied.
+ *
+ * @remarks
+ * Tiers are cumulative: `core` is a subset of `standard`, which is
+ * a subset of `complete`.
+ */
+export type ConformanceTier = 'core' | 'standard' | 'complete';
+/**
+ * Schema for the conformance-profiles JSON file.
+ *
+ * @remarks
+ * Maps each {@link ConformanceTier} to the set of check names it includes.
+ */
 export interface ConformanceProfiles {
+    /** Semantic version of the conformance-profiles schema. */
     version: string;
+    /** Mapping from tier name to the ordered list of check names in that tier. */
     tiers: Record<ConformanceTier, string[]>;
 }
+/**
+ * Loads the conformance profiles from the bundled JSON schema.
+ *
+ * @remarks
+ * Returns the parsed `conformance-profiles.json` as a typed object.
+ * The profiles define which checks belong to each conformance tier.
+ *
+ * @returns The full {@link ConformanceProfiles} object.
+ *
+ * @example
+ * ```ts
+ * const profiles = getConformanceProfiles();
+ * console.log(profiles.tiers.core);
+ * ```
+ */
 export declare function getConformanceProfiles(): ConformanceProfiles;
+/**
+ * Returns the list of check names that belong to the given conformance tier.
+ *
+ * @remarks
+ * Retrieves the tier from the bundled profiles JSON. Returns an empty
+ * array when the tier key is not found (defensive fallback).
+ *
+ * @param tier - The conformance tier to retrieve checks for.
+ * @returns An array of check name strings for the specified tier.
+ *
+ * @example
+ * ```ts
+ * const coreChecks = getChecksForTier('core');
+ * ```
+ */
 export declare function getChecksForTier(tier: ConformanceTier): string[];
+/**
+ * Validates that the conformance profiles are internally consistent and reference only known checks.
+ *
+ * @remarks
+ * Verifies two invariants:
+ * 1. Tier superset containment: every `core` check appears in `standard`,
+ *    and every `standard` check appears in `complete`.
+ * 2. Known-check coverage: every check name referenced in any tier exists
+ *    in the provided `availableChecks` list.
+ *
+ * @param availableChecks - The full list of check names implemented by the conformance runner.
+ * @returns An object with `valid` (true when no errors) and an `errors` array of diagnostic strings.
+ *
+ * @example
+ * ```ts
+ * const result = validateConformanceProfiles(['envelope_schema_valid', 'envelope_invariants']);
+ * if (!result.valid) {
+ *   console.error(result.errors);
+ * }
+ * ```
+ */
 export declare function validateConformanceProfiles(availableChecks: string[]): {
     valid: boolean;
     errors: string[];
 };
+//# sourceMappingURL=conformanceProfiles.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"conformanceProfiles.d.ts","sourceRoot":"","sources":["../../src/conformanceProfiles.ts"],"names":[],"mappings":"AAEA;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,UAAU,GAAG,UAAU,CAAC;AAE/D;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB;IAClC,2DAA2D;IAC3D,OAAO,EAAE,MAAM,CAAC;IAChB,8EAA8E;IAC9E,KAAK,EAAE,MAAM,CAAC,eAAe,EAAE,MAAM,EAAE,CAAC,CAAC;CAC1C;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,sBAAsB,IAAI,mBAAmB,CAE5D;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,eAAe,GAAG,MAAM,EAAE,CAGhE;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,2BAA2B,CAAC,eAAe,EAAE,MAAM,EAAE,GAAG;IACtE,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB,CAgCA"}

package/dist/src/conformanceProfiles.js

@@ -1,11 +1,62 @@
-import profilesJson from "../schemas/v1/conformance-profiles.json" with { type: "json" };
+import profilesJson from '../schemas/v1/conformance-profiles.json' with { type: 'json' };
+/**
+ * Loads the conformance profiles from the bundled JSON schema.
+ *
+ * @remarks
+ * Returns the parsed `conformance-profiles.json` as a typed object.
+ * The profiles define which checks belong to each conformance tier.
+ *
+ * @returns The full {@link ConformanceProfiles} object.
+ *
+ * @example
+ * ```ts
+ * const profiles = getConformanceProfiles();
+ * console.log(profiles.tiers.core);
+ * ```
+ */
 export function getConformanceProfiles() {
     return profilesJson;
 }
+/**
+ * Returns the list of check names that belong to the given conformance tier.
+ *
+ * @remarks
+ * Retrieves the tier from the bundled profiles JSON. Returns an empty
+ * array when the tier key is not found (defensive fallback).
+ *
+ * @param tier - The conformance tier to retrieve checks for.
+ * @returns An array of check name strings for the specified tier.
+ *
+ * @example
+ * ```ts
+ * const coreChecks = getChecksForTier('core');
+ * ```
+ */
 export function getChecksForTier(tier) {
     const profiles = getConformanceProfiles();
     return profiles.tiers[tier] ?? [];
 }
+/**
+ * Validates that the conformance profiles are internally consistent and reference only known checks.
+ *
+ * @remarks
+ * Verifies two invariants:
+ * 1. Tier superset containment: every `core` check appears in `standard`,
+ *    and every `standard` check appears in `complete`.
+ * 2. Known-check coverage: every check name referenced in any tier exists
+ *    in the provided `availableChecks` list.
+ *
+ * @param availableChecks - The full list of check names implemented by the conformance runner.
+ * @returns An object with `valid` (true when no errors) and an `errors` array of diagnostic strings.
+ *
+ * @example
+ * ```ts
+ * const result = validateConformanceProfiles(['envelope_schema_valid', 'envelope_invariants']);
+ * if (!result.valid) {
+ *   console.error(result.errors);
+ * }
+ * ```
+ */
 export function validateConformanceProfiles(availableChecks) {
     const profiles = getConformanceProfiles();
     const errors = [];
@@ -32,3 +83,4 @@ export function validateConformanceProfiles(availableChecks) {
     }
     return { valid: errors.length === 0, errors };
 }
+//# sourceMappingURL=conformanceProfiles.js.map

package/dist/src/conformanceProfiles.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conformanceProfiles.js","sourceRoot":"","sources":["../../src/conformanceProfiles.ts"],"names":[],"mappings":"AAAA,OAAO,YAAY,MAAM,yCAAyC,CAAC,OAAO,IAAI,EAAE,MAAM,EAAE,CAAC;AAwBzF;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,sBAAsB;IACpC,OAAO,YAAmC,CAAC;AAC7C,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAqB;IACpD,MAAM,QAAQ,GAAG,sBAAsB,EAAE,CAAC;IAC1C,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;AACpC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,2BAA2B,CAAC,eAAyB;IAInE,MAAM,QAAQ,GAAG,sBAAsB,EAAE,CAAC;IAC1C,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAElD,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,0CAA0C,KAAK,EAAE,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,8CAA8C,KAAK,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAEzD,EAAE,CAAC;QACF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACtB,MAAM,CAAC,IAAI,CAAC,oBAAoB,IAAI,UAAU,KAAK,EAAE,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC"}