qfai 1.7.6 → 1.7.7

package/dist/index.d.cts

@@ -142,6 +142,9 @@ type QfaiUiuxAuditConfig = {
     maxRawTokenLiteralWarnings?: number;
     maxDuplicateFindingsPerRule?: number;
 };
+type QfaiUiuxMigrationConfig = {
+    strict?: boolean;
+};
 type QfaiUiuxConfig = {
     platform?: string;
     designTokensDir?: string;
@@ -150,8 +153,10 @@ type QfaiUiuxConfig = {
     requireResearchSummary?: boolean;
     competitive_refs_min?: number;
     warning_as_error_override?: string[];
+    phase1ReleaseDate?: string;
     renderEvidence?: RenderEvidenceConfig;
     audit?: QfaiUiuxAuditConfig;
+    migration?: QfaiUiuxMigrationConfig;
 };
 type QfaiConfig = {
     paths: QfaiPaths;
@@ -431,6 +436,107 @@ declare function resolveObligations(mode: PrototypingMode): string[];
  */
 declare function resolveObligationsWithOptIn(mode: PrototypingMode, optIn: string[]): string[];
 
+type DiscussionRecommendation = {
+    recommended_mode: string | null;
+    rationale: string | null;
+};
+/**
+ * Read prototyping recommendation from a discussion pack directory.
+ *
+ * Looks for `prototyping.yaml` in the given directory and extracts
+ * `prototyping.recommended_mode` and `prototyping.rationale`.
+ *
+ * @param discussionPackDir - Path to the discussion pack directory
+ * @returns Recommendation with nullable fields; never throws
+ */
+declare function readDiscussionRecommendation(discussionPackDir: string): Promise<DiscussionRecommendation>;
+
+/**
+ * Precedence resolver for prototyping mode.
+ *
+ * Resolves effective mode from three sources in strict order:
+ * 1. CLI `--mode` flag (cli-override)
+ * 2. Discussion artifact `recommended_mode` (discussion-recommendation)
+ * 3. System default `standard` (default) — per DR-0084
+ *
+ * Phase M2 of v1.7.7 Mode Switch UX (spec-0006).
+ */
+
+type ModeSource = "cli-override" | "discussion-recommendation" | "default";
+type ModeResolution = {
+    effective_mode: PrototypingMode;
+    mode_source: ModeSource;
+    recommended_mode: PrototypingMode | null;
+    rationale: string;
+};
+type PrecedenceInput = {
+    cliMode: PrototypingMode | null;
+    discussion: DiscussionRecommendation | null;
+};
+/**
+ * Resolve the effective prototyping mode from available sources.
+ *
+ * @param input.cliMode - Mode from CLI `--mode` flag, or null if not provided
+ * @param input.discussion - Discussion recommendation, or null if unavailable
+ * @returns Mode resolution result with source attribution
+ */
+declare function resolvePrecedence(input: PrecedenceInput): ModeResolution;
+
+/**
+ * Mode resolution logger for prototyping.
+ *
+ * Formats mode resolution results into structured log entries containing:
+ * mode_source, recommended_mode, effective_mode, rationale, evidence_expectations.
+ *
+ * Phase M3 of v1.7.7 Mode Switch UX (spec-0006).
+ */
+
+type ModeLogEntry = {
+    mode_source: ModeSource;
+    recommended_mode: PrototypingMode | null;
+    effective_mode: PrototypingMode;
+    rationale: string;
+    evidence_expectations: string;
+};
+declare const VALID_MODE_SOURCES: ReadonlySet<ModeSource>;
+/**
+ * Format a mode resolution into a structured log entry.
+ *
+ * @param resolution - The mode resolution result from precedenceResolver
+ * @returns Structured log entry with evidence expectations mapped by effective mode
+ */
+declare function formatModeLog(resolution: ModeResolution): ModeLogEntry;
+
+/**
+ * Surface adapter for prototyping evidence.
+ *
+ * Detects surface type and adapts evidence fields:
+ * - Non-visual surfaces (CLI, API, library): visual-review = n/a
+ * - Visual surfaces (web, mobile, desktop): visual-review = collected (when mode allows runtime)
+ * - Low-cost mode: runtime and visual-review are always n/a (static-only)
+ *
+ * Phase M4 of v1.7.7 Mode Switch UX (spec-0006).
+ */
+type SurfaceType = "web" | "mobile" | "desktop" | "cli" | "api" | "library";
+type EvidenceStatus = "collected" | "n/a";
+type SurfaceEvidenceResult = {
+    visual_review: EvidenceStatus;
+    static_evidence: EvidenceStatus;
+    runtime_evidence: EvidenceStatus;
+};
+type SurfaceAdapterInput = {
+    surfaceType: SurfaceType;
+    effectiveMode: string;
+};
+/**
+ * Adapt evidence fields based on surface type and effective mode.
+ *
+ * @param input.surfaceType - The project's surface type
+ * @param input.effectiveMode - The resolved effective prototyping mode
+ * @returns Evidence field statuses adapted for the surface
+ */
+declare function adaptSurfaceEvidence(input: SurfaceAdapterInput): SurfaceEvidenceResult;
+
 type ReportSummary = {
     specs: number;
     scenarios: number;
@@ -632,4 +738,4 @@ declare function validateSpecSplitByCapability(root: string, config: QfaiConfig)
 
 declare function validateTraceability(root: string, config: QfaiConfig, phase: ValidationPhase): Promise<Issue[]>;
 
-export { type AtddCodeTraceabilityResult, type AtddForbiddenRef, type AtddSpecRefs, type AtddTestKind, type AtddTraceabilityMissing, type AtddTraceabilityScan, type AtddUnknownRef, type AtddUnknownRefKind, type ConfigLoadResult, type ConfigPathKey, type ConfigSearchResult, type DecisionGuardrail, type DecisionGuardrailEntry, type FailOn, type GuardrailCheckResult, type GuardrailIssue, type GuardrailIssueSeverity, type GuardrailLoadError, type GuardrailLoadResult, type GuardrailType, ID_PREFIXES, type IdFormatPrefix, type IdPrefix, type Issue, type IssueCategory, type IssueLocation, type IssueSeverity, type OrphanContractsPolicy, type OutputFormat, type PrototypingMode, type QfaiConfig, type QfaiOutputConfig, type QfaiPaths, type QfaiUiuxAuditConfig, type QfaiUiuxConfig, type QfaiValidationConfig, RUNTIME_HEAVY_CHECKS, type ReportChangeType, type ReportChangeTypeSummary, type ReportChangeTypeWarning, type ReportContractCoverage, type ReportData, type ReportDeltaCoverage, type ReportGuardrailItem, type ReportGuardrails, type ReportIds, type ReportRuleFinding, type ReportSpecContractRefs, type ReportSpecCoverage, type ReportSummary, type ReportTddCoverage, type ReportTddCoverageSpec, type ReportTestStrategy, type ReportTraceability, type ReportWaivers, type RunSddPreflightOptions, STATIC_OBLIGATIONS, type SddPreflightResult, type SddPreflightSource, type SddPreflightStatus, type TraceabilitySeverity, type UiFidelityAutogenCrawlResult, type UiFidelityAutogenExpected, type UiFidelityAutogenMockPathResult, type UiFidelityAutogenResult, type UiFidelityGeneratedScreen, type UiFidelityLabelCoverage, type ValidationCounts, type ValidationOptions, type ValidationPhase, type ValidationResult, type ValidationTraceability, type ValidationWaiverAction, type ValidationWaiverDowngradeTo, type ValidationWaiverEntry, type ValidationWaiverMatch, type ValidationWaiverScope, type ValidationWaiverSeverity, type ValidationWaiverSuppressed, type ValidationWaivers, autogenerateUiFidelity, buildUiFidelityScreens, checkDecisionGuardrails, collectExpectedFromContracts, computeLabelCoverage, crawlRoutesAndCollectFoundLabels, createReportData, defaultConfig, emitUiFidelity, evaluateAtddCodeTraceability, extractAcSpecNumber, extractAllIds, extractBrSpecNumber, extractCapSpecNumber, extractCaseSpecNumber, extractDecisionGuardrailsFromMarkdown, extractDomMarkers, extractIds, extractInvalidIds, extractScSpecNumber, extractSpecNumber, extractUsSpecNumber, filterDecisionGuardrailsByKeyword, findConfigRoot, formatGuardrailsForLlm, formatReportJson, formatReportMarkdown, getConfigPath, lintSql, loadConfig, loadDecisionGuardrails, normalizeDecisionGuardrails, resolveObligations, resolveObligationsWithOptIn, resolvePath, resolveToolVersion, runMockPaths, runSddPreflight, sortDecisionGuardrails, validateAtddCodeTraceability, validateContracts, validateDefinedIds, validateLayeredTraceability, validateOrphanProhibition, validateProject, validateSpecSplitByCapability, validateTraceability };
+export { type AtddCodeTraceabilityResult, type AtddForbiddenRef, type AtddSpecRefs, type AtddTestKind, type AtddTraceabilityMissing, type AtddTraceabilityScan, type AtddUnknownRef, type AtddUnknownRefKind, type ConfigLoadResult, type ConfigPathKey, type ConfigSearchResult, type DecisionGuardrail, type DecisionGuardrailEntry, type DiscussionRecommendation, type FailOn, type GuardrailCheckResult, type GuardrailIssue, type GuardrailIssueSeverity, type GuardrailLoadError, type GuardrailLoadResult, type GuardrailType, ID_PREFIXES, type IdFormatPrefix, type IdPrefix, type Issue, type IssueCategory, type IssueLocation, type IssueSeverity, type ModeLogEntry, type ModeResolution, type ModeSource, type OrphanContractsPolicy, type OutputFormat, type PrecedenceInput, type PrototypingMode, type QfaiConfig, type QfaiOutputConfig, type QfaiPaths, type QfaiUiuxAuditConfig, type QfaiUiuxConfig, type QfaiUiuxMigrationConfig, type QfaiValidationConfig, RUNTIME_HEAVY_CHECKS, type ReportChangeType, type ReportChangeTypeSummary, type ReportChangeTypeWarning, type ReportContractCoverage, type ReportData, type ReportDeltaCoverage, type ReportGuardrailItem, type ReportGuardrails, type ReportIds, type ReportRuleFinding, type ReportSpecContractRefs, type ReportSpecCoverage, type ReportSummary, type ReportTddCoverage, type ReportTddCoverageSpec, type ReportTestStrategy, type ReportTraceability, type ReportWaivers, type RunSddPreflightOptions, STATIC_OBLIGATIONS, type SddPreflightResult, type SddPreflightSource, type SddPreflightStatus, type SurfaceAdapterInput, type SurfaceEvidenceResult, type SurfaceType, type TraceabilitySeverity, type UiFidelityAutogenCrawlResult, type UiFidelityAutogenExpected, type UiFidelityAutogenMockPathResult, type UiFidelityAutogenResult, type UiFidelityGeneratedScreen, type UiFidelityLabelCoverage, VALID_MODE_SOURCES, type ValidationCounts, type ValidationOptions, type ValidationPhase, type ValidationResult, type ValidationTraceability, type ValidationWaiverAction, type ValidationWaiverDowngradeTo, type ValidationWaiverEntry, type ValidationWaiverMatch, type ValidationWaiverScope, type ValidationWaiverSeverity, type ValidationWaiverSuppressed, type ValidationWaivers, adaptSurfaceEvidence, autogenerateUiFidelity, buildUiFidelityScreens, checkDecisionGuardrails, collectExpectedFromContracts, computeLabelCoverage, crawlRoutesAndCollectFoundLabels, createReportData, defaultConfig, emitUiFidelity, evaluateAtddCodeTraceability, extractAcSpecNumber, extractAllIds, extractBrSpecNumber, extractCapSpecNumber, extractCaseSpecNumber, extractDecisionGuardrailsFromMarkdown, extractDomMarkers, extractIds, extractInvalidIds, extractScSpecNumber, extractSpecNumber, extractUsSpecNumber, filterDecisionGuardrailsByKeyword, findConfigRoot, formatGuardrailsForLlm, formatModeLog, formatReportJson, formatReportMarkdown, getConfigPath, lintSql, loadConfig, loadDecisionGuardrails, normalizeDecisionGuardrails, readDiscussionRecommendation, resolveObligations, resolveObligationsWithOptIn, resolvePath, resolvePrecedence, resolveToolVersion, runMockPaths, runSddPreflight, sortDecisionGuardrails, validateAtddCodeTraceability, validateContracts, validateDefinedIds, validateLayeredTraceability, validateOrphanProhibition, validateProject, validateSpecSplitByCapability, validateTraceability };

package/dist/index.d.ts

@@ -142,6 +142,9 @@ type QfaiUiuxAuditConfig = {
     maxRawTokenLiteralWarnings?: number;
     maxDuplicateFindingsPerRule?: number;
 };
+type QfaiUiuxMigrationConfig = {
+    strict?: boolean;
+};
 type QfaiUiuxConfig = {
     platform?: string;
     designTokensDir?: string;
@@ -150,8 +153,10 @@ type QfaiUiuxConfig = {
     requireResearchSummary?: boolean;
     competitive_refs_min?: number;
     warning_as_error_override?: string[];
+    phase1ReleaseDate?: string;
     renderEvidence?: RenderEvidenceConfig;
     audit?: QfaiUiuxAuditConfig;
+    migration?: QfaiUiuxMigrationConfig;
 };
 type QfaiConfig = {
     paths: QfaiPaths;
@@ -431,6 +436,107 @@ declare function resolveObligations(mode: PrototypingMode): string[];
  */
 declare function resolveObligationsWithOptIn(mode: PrototypingMode, optIn: string[]): string[];
 
+type DiscussionRecommendation = {
+    recommended_mode: string | null;
+    rationale: string | null;
+};
+/**
+ * Read prototyping recommendation from a discussion pack directory.
+ *
+ * Looks for `prototyping.yaml` in the given directory and extracts
+ * `prototyping.recommended_mode` and `prototyping.rationale`.
+ *
+ * @param discussionPackDir - Path to the discussion pack directory
+ * @returns Recommendation with nullable fields; never throws
+ */
+declare function readDiscussionRecommendation(discussionPackDir: string): Promise<DiscussionRecommendation>;
+
+/**
+ * Precedence resolver for prototyping mode.
+ *
+ * Resolves effective mode from three sources in strict order:
+ * 1. CLI `--mode` flag (cli-override)
+ * 2. Discussion artifact `recommended_mode` (discussion-recommendation)
+ * 3. System default `standard` (default) — per DR-0084
+ *
+ * Phase M2 of v1.7.7 Mode Switch UX (spec-0006).
+ */
+
+type ModeSource = "cli-override" | "discussion-recommendation" | "default";
+type ModeResolution = {
+    effective_mode: PrototypingMode;
+    mode_source: ModeSource;
+    recommended_mode: PrototypingMode | null;
+    rationale: string;
+};
+type PrecedenceInput = {
+    cliMode: PrototypingMode | null;
+    discussion: DiscussionRecommendation | null;
+};
+/**
+ * Resolve the effective prototyping mode from available sources.
+ *
+ * @param input.cliMode - Mode from CLI `--mode` flag, or null if not provided
+ * @param input.discussion - Discussion recommendation, or null if unavailable
+ * @returns Mode resolution result with source attribution
+ */
+declare function resolvePrecedence(input: PrecedenceInput): ModeResolution;
+
+/**
+ * Mode resolution logger for prototyping.
+ *
+ * Formats mode resolution results into structured log entries containing:
+ * mode_source, recommended_mode, effective_mode, rationale, evidence_expectations.
+ *
+ * Phase M3 of v1.7.7 Mode Switch UX (spec-0006).
+ */
+
+type ModeLogEntry = {
+    mode_source: ModeSource;
+    recommended_mode: PrototypingMode | null;
+    effective_mode: PrototypingMode;
+    rationale: string;
+    evidence_expectations: string;
+};
+declare const VALID_MODE_SOURCES: ReadonlySet<ModeSource>;
+/**
+ * Format a mode resolution into a structured log entry.
+ *
+ * @param resolution - The mode resolution result from precedenceResolver
+ * @returns Structured log entry with evidence expectations mapped by effective mode
+ */
+declare function formatModeLog(resolution: ModeResolution): ModeLogEntry;
+
+/**
+ * Surface adapter for prototyping evidence.
+ *
+ * Detects surface type and adapts evidence fields:
+ * - Non-visual surfaces (CLI, API, library): visual-review = n/a
+ * - Visual surfaces (web, mobile, desktop): visual-review = collected (when mode allows runtime)
+ * - Low-cost mode: runtime and visual-review are always n/a (static-only)
+ *
+ * Phase M4 of v1.7.7 Mode Switch UX (spec-0006).
+ */
+type SurfaceType = "web" | "mobile" | "desktop" | "cli" | "api" | "library";
+type EvidenceStatus = "collected" | "n/a";
+type SurfaceEvidenceResult = {
+    visual_review: EvidenceStatus;
+    static_evidence: EvidenceStatus;
+    runtime_evidence: EvidenceStatus;
+};
+type SurfaceAdapterInput = {
+    surfaceType: SurfaceType;
+    effectiveMode: string;
+};
+/**
+ * Adapt evidence fields based on surface type and effective mode.
+ *
+ * @param input.surfaceType - The project's surface type
+ * @param input.effectiveMode - The resolved effective prototyping mode
+ * @returns Evidence field statuses adapted for the surface
+ */
+declare function adaptSurfaceEvidence(input: SurfaceAdapterInput): SurfaceEvidenceResult;
+
 type ReportSummary = {
     specs: number;
     scenarios: number;
@@ -632,4 +738,4 @@ declare function validateSpecSplitByCapability(root: string, config: QfaiConfig)
 
 declare function validateTraceability(root: string, config: QfaiConfig, phase: ValidationPhase): Promise<Issue[]>;
 
-export { type AtddCodeTraceabilityResult, type AtddForbiddenRef, type AtddSpecRefs, type AtddTestKind, type AtddTraceabilityMissing, type AtddTraceabilityScan, type AtddUnknownRef, type AtddUnknownRefKind, type ConfigLoadResult, type ConfigPathKey, type ConfigSearchResult, type DecisionGuardrail, type DecisionGuardrailEntry, type FailOn, type GuardrailCheckResult, type GuardrailIssue, type GuardrailIssueSeverity, type GuardrailLoadError, type GuardrailLoadResult, type GuardrailType, ID_PREFIXES, type IdFormatPrefix, type IdPrefix, type Issue, type IssueCategory, type IssueLocation, type IssueSeverity, type OrphanContractsPolicy, type OutputFormat, type PrototypingMode, type QfaiConfig, type QfaiOutputConfig, type QfaiPaths, type QfaiUiuxAuditConfig, type QfaiUiuxConfig, type QfaiValidationConfig, RUNTIME_HEAVY_CHECKS, type ReportChangeType, type ReportChangeTypeSummary, type ReportChangeTypeWarning, type ReportContractCoverage, type ReportData, type ReportDeltaCoverage, type ReportGuardrailItem, type ReportGuardrails, type ReportIds, type ReportRuleFinding, type ReportSpecContractRefs, type ReportSpecCoverage, type ReportSummary, type ReportTddCoverage, type ReportTddCoverageSpec, type ReportTestStrategy, type ReportTraceability, type ReportWaivers, type RunSddPreflightOptions, STATIC_OBLIGATIONS, type SddPreflightResult, type SddPreflightSource, type SddPreflightStatus, type TraceabilitySeverity, type UiFidelityAutogenCrawlResult, type UiFidelityAutogenExpected, type UiFidelityAutogenMockPathResult, type UiFidelityAutogenResult, type UiFidelityGeneratedScreen, type UiFidelityLabelCoverage, type ValidationCounts, type ValidationOptions, type ValidationPhase, type ValidationResult, type ValidationTraceability, type ValidationWaiverAction, type ValidationWaiverDowngradeTo, type ValidationWaiverEntry, type ValidationWaiverMatch, type ValidationWaiverScope, type ValidationWaiverSeverity, type ValidationWaiverSuppressed, type ValidationWaivers, autogenerateUiFidelity, buildUiFidelityScreens, checkDecisionGuardrails, collectExpectedFromContracts, computeLabelCoverage, crawlRoutesAndCollectFoundLabels, createReportData, defaultConfig, emitUiFidelity, evaluateAtddCodeTraceability, extractAcSpecNumber, extractAllIds, extractBrSpecNumber, extractCapSpecNumber, extractCaseSpecNumber, extractDecisionGuardrailsFromMarkdown, extractDomMarkers, extractIds, extractInvalidIds, extractScSpecNumber, extractSpecNumber, extractUsSpecNumber, filterDecisionGuardrailsByKeyword, findConfigRoot, formatGuardrailsForLlm, formatReportJson, formatReportMarkdown, getConfigPath, lintSql, loadConfig, loadDecisionGuardrails, normalizeDecisionGuardrails, resolveObligations, resolveObligationsWithOptIn, resolvePath, resolveToolVersion, runMockPaths, runSddPreflight, sortDecisionGuardrails, validateAtddCodeTraceability, validateContracts, validateDefinedIds, validateLayeredTraceability, validateOrphanProhibition, validateProject, validateSpecSplitByCapability, validateTraceability };
+export { type AtddCodeTraceabilityResult, type AtddForbiddenRef, type AtddSpecRefs, type AtddTestKind, type AtddTraceabilityMissing, type AtddTraceabilityScan, type AtddUnknownRef, type AtddUnknownRefKind, type ConfigLoadResult, type ConfigPathKey, type ConfigSearchResult, type DecisionGuardrail, type DecisionGuardrailEntry, type DiscussionRecommendation, type FailOn, type GuardrailCheckResult, type GuardrailIssue, type GuardrailIssueSeverity, type GuardrailLoadError, type GuardrailLoadResult, type GuardrailType, ID_PREFIXES, type IdFormatPrefix, type IdPrefix, type Issue, type IssueCategory, type IssueLocation, type IssueSeverity, type ModeLogEntry, type ModeResolution, type ModeSource, type OrphanContractsPolicy, type OutputFormat, type PrecedenceInput, type PrototypingMode, type QfaiConfig, type QfaiOutputConfig, type QfaiPaths, type QfaiUiuxAuditConfig, type QfaiUiuxConfig, type QfaiUiuxMigrationConfig, type QfaiValidationConfig, RUNTIME_HEAVY_CHECKS, type ReportChangeType, type ReportChangeTypeSummary, type ReportChangeTypeWarning, type ReportContractCoverage, type ReportData, type ReportDeltaCoverage, type ReportGuardrailItem, type ReportGuardrails, type ReportIds, type ReportRuleFinding, type ReportSpecContractRefs, type ReportSpecCoverage, type ReportSummary, type ReportTddCoverage, type ReportTddCoverageSpec, type ReportTestStrategy, type ReportTraceability, type ReportWaivers, type RunSddPreflightOptions, STATIC_OBLIGATIONS, type SddPreflightResult, type SddPreflightSource, type SddPreflightStatus, type SurfaceAdapterInput, type SurfaceEvidenceResult, type SurfaceType, type TraceabilitySeverity, type UiFidelityAutogenCrawlResult, type UiFidelityAutogenExpected, type UiFidelityAutogenMockPathResult, type UiFidelityAutogenResult, type UiFidelityGeneratedScreen, type UiFidelityLabelCoverage, VALID_MODE_SOURCES, type ValidationCounts, type ValidationOptions, type ValidationPhase, type ValidationResult, type ValidationTraceability, type ValidationWaiverAction, type ValidationWaiverDowngradeTo, type ValidationWaiverEntry, type ValidationWaiverMatch, type ValidationWaiverScope, type ValidationWaiverSeverity, type ValidationWaiverSuppressed, type ValidationWaivers, adaptSurfaceEvidence, autogenerateUiFidelity, buildUiFidelityScreens, checkDecisionGuardrails, collectExpectedFromContracts, computeLabelCoverage, crawlRoutesAndCollectFoundLabels, createReportData, defaultConfig, emitUiFidelity, evaluateAtddCodeTraceability, extractAcSpecNumber, extractAllIds, extractBrSpecNumber, extractCapSpecNumber, extractCaseSpecNumber, extractDecisionGuardrailsFromMarkdown, extractDomMarkers, extractIds, extractInvalidIds, extractScSpecNumber, extractSpecNumber, extractUsSpecNumber, filterDecisionGuardrailsByKeyword, findConfigRoot, formatGuardrailsForLlm, formatModeLog, formatReportJson, formatReportMarkdown, getConfigPath, lintSql, loadConfig, loadDecisionGuardrails, normalizeDecisionGuardrails, readDiscussionRecommendation, resolveObligations, resolveObligationsWithOptIn, resolvePath, resolvePrecedence, resolveToolVersion, runMockPaths, runSddPreflight, sortDecisionGuardrails, validateAtddCodeTraceability, validateContracts, validateDefinedIds, validateLayeredTraceability, validateOrphanProhibition, validateProject, validateSpecSplitByCapability, validateTraceability };