@lssm/bundle.contractspec-workspace 0.0.0-canary-20251217083314 → 0.0.0-canary-20251220002821

package/dist/services/verify/behavior-verifier.js

@@ -1,185 +0,0 @@
-import { isEmitDeclRef } from "../../libs/contracts/dist/spec.js";
-
-//#region src/services/verify/behavior-verifier.ts
-/**
-* Check if a scenario is likely covered by the implementation.
-*/
-function checkScenarioCoverage(code, scenario) {
-	const keywords = [
-		...scenario.given,
-		...scenario.when,
-		...scenario.then
-	].flatMap((s) => s.toLowerCase().split(/\s+/).filter((w) => w.length > 3));
-	const codeLower = code.toLowerCase();
-	const foundKeywords = keywords.filter((kw) => codeLower.includes(kw));
-	const coverage = keywords.length > 0 ? foundKeywords.length / keywords.length : 0;
-	const scenarioNameLower = scenario.name.toLowerCase().replace(/\s+/g, "");
-	const hasTestForScenario = codeLower.includes(scenarioNameLower) || codeLower.includes(`test('${scenario.name.toLowerCase()}'`) || codeLower.includes(`it('${scenario.name.toLowerCase()}'`) || codeLower.includes(`describe('${scenario.name.toLowerCase()}'`);
-	const passed = coverage >= .3 || hasTestForScenario;
-	return {
-		name: scenario.name,
-		type: "scenario",
-		passed,
-		expected: `Given: ${scenario.given.join("; ")}; When: ${scenario.when.join("; ")}; Then: ${scenario.then.join("; ")}`,
-		details: passed ? void 0 : `Scenario keywords not found in implementation (${Math.round(coverage * 100)}% coverage)`
-	};
-}
-/**
-* Check if an example is likely handled.
-*/
-function checkExampleCoverage(code, example) {
-	const inputStr = JSON.stringify(example.input);
-	const outputStr = JSON.stringify(example.output);
-	const inputValues = extractStringValues(example.input);
-	const outputValues = extractStringValues(example.output);
-	const codeLower = code.toLowerCase();
-	const foundInputValues = inputValues.filter((v) => codeLower.includes(v.toLowerCase()));
-	const foundOutputValues = outputValues.filter((v) => codeLower.includes(v.toLowerCase()));
-	const avgCoverage = ((inputValues.length > 0 ? foundInputValues.length / inputValues.length : 1) + (outputValues.length > 0 ? foundOutputValues.length / outputValues.length : 1)) / 2;
-	const passed = avgCoverage >= .2;
-	return {
-		name: example.name,
-		type: "example",
-		passed,
-		expected: `Input: ${inputStr.slice(0, 100)}...; Output: ${outputStr.slice(0, 100)}...`,
-		details: passed ? void 0 : `Example values not found in implementation (${Math.round(avgCoverage * 100)}% coverage)`
-	};
-}
-/**
-* Extract string values from an object for comparison.
-*/
-function extractStringValues(obj) {
-	const values = [];
-	function extract(value) {
-		if (typeof value === "string" && value.length > 2) values.push(value);
-		else if (Array.isArray(value)) value.forEach(extract);
-		else if (value && typeof value === "object") Object.values(value).forEach(extract);
-	}
-	extract(obj);
-	return values;
-}
-/**
-* Check if an error case is handled.
-*/
-function checkErrorCaseCoverage(code, errorCode, errorDef) {
-	const hasErrorCode = code.includes(errorCode);
-	const hasHttpStatus = errorDef.http ? code.includes(String(errorDef.http)) : true;
-	const whenKeywords = errorDef.when.toLowerCase().split(/\s+/).filter((w) => w.length > 3);
-	const codeLower = code.toLowerCase();
-	const foundWhenKeywords = whenKeywords.filter((kw) => codeLower.includes(kw));
-	const whenCoverage = whenKeywords.length > 0 ? foundWhenKeywords.length / whenKeywords.length : 1;
-	const passed = hasErrorCode && (hasHttpStatus || whenCoverage >= .3);
-	return {
-		name: `Error: ${errorCode}`,
-		type: "error",
-		passed,
-		expected: `When: ${errorDef.when}; Return: ${errorCode} (HTTP ${errorDef.http ?? 400})`,
-		details: passed ? void 0 : !hasErrorCode ? `Error code '${errorCode}' not found in implementation` : `Error condition not properly implemented`
-	};
-}
-/**
-* Check if events are emitted in the right conditions.
-*/
-function checkEventConditions(code, spec) {
-	const events = spec.sideEffects?.emits ?? [];
-	const checks = [];
-	for (const event of events) {
-		const eventName = isEmitDeclRef(event) ? event.ref.name : event.name;
-		const when = event.when;
-		const whenKeywords = when.toLowerCase().split(/\s+/).filter((w) => w.length > 3);
-		const codeLower = code.toLowerCase();
-		const hasEvent = codeLower.includes(eventName.toLowerCase());
-		const foundKeywords = whenKeywords.filter((kw) => codeLower.includes(kw));
-		const conditionCoverage = whenKeywords.length > 0 ? foundKeywords.length / whenKeywords.length : 1;
-		checks.push({
-			name: `Event: ${eventName}`,
-			type: "scenario",
-			passed: hasEvent && conditionCoverage >= .3,
-			expected: `Emit ${eventName} when: ${when}`,
-			details: !hasEvent ? `Event '${eventName}' not found` : conditionCoverage < .3 ? `Event condition not properly implemented` : void 0
-		});
-	}
-	return checks;
-}
-/**
-* Check if idempotency is properly handled.
-*/
-function checkIdempotency(code, spec) {
-	if (spec.policy.idempotent === void 0) return null;
-	if (!spec.policy.idempotent) return null;
-	const idempotentPatterns = [
-		"idempotency",
-		"idempotent",
-		"already exists",
-		"upsert",
-		"on conflict",
-		"if not exists",
-		"dedupe",
-		"duplicate"
-	];
-	const codeLower = code.toLowerCase();
-	const hasIdempotentPattern = idempotentPatterns.some((p) => codeLower.includes(p));
-	return {
-		name: "Idempotency",
-		type: "scenario",
-		passed: hasIdempotentPattern,
-		expected: "Operation should be idempotent (safe to retry)",
-		details: hasIdempotentPattern ? void 0 : "No idempotency pattern found for idempotent operation"
-	};
-}
-/**
-* Run all behavior checks and produce a verification report.
-*/
-function verifyBehavior(input) {
-	const { spec, implementationCode, implementationPath } = input;
-	const startTime = Date.now();
-	const checks = [];
-	for (const scenario of spec.acceptance?.scenarios ?? []) checks.push(checkScenarioCoverage(implementationCode, scenario));
-	for (const example of spec.acceptance?.examples ?? []) checks.push(checkExampleCoverage(implementationCode, example));
-	for (const [code, errorDef] of Object.entries(spec.io.errors ?? {})) checks.push(checkErrorCaseCoverage(implementationCode, code, errorDef));
-	checks.push(...checkEventConditions(implementationCode, spec));
-	const idempotencyCheck = checkIdempotency(implementationCode, spec);
-	if (idempotencyCheck) checks.push(idempotencyCheck);
-	const issues = checks.filter((c) => !c.passed).map((c) => ({
-		severity: c.type === "error" ? "error" : "warning",
-		category: c.type === "scenario" ? "scenario" : c.type === "example" ? "scenario" : "error_handling",
-		message: c.details ?? `${c.type} not covered: ${c.name}`,
-		location: implementationPath ? { file: implementationPath } : void 0,
-		suggestion: c.expected ? `Expected: ${c.expected}` : void 0
-	}));
-	const scenarioChecks = checks.filter((c) => c.type === "scenario");
-	const errorChecks = checks.filter((c) => c.type === "error");
-	const passedCount = checks.filter((c) => c.passed).length;
-	const score = checks.length > 0 ? Math.round(passedCount / checks.length * 100) : 100;
-	return {
-		tier: "behavior",
-		passed: issues.filter((i) => i.severity === "error").length === 0,
-		score,
-		issues,
-		suggestions: checks.filter((c) => !c.passed && c.expected).map((c) => `${c.name}: ${c.expected}`),
-		coverage: {
-			scenarios: {
-				total: scenarioChecks.length,
-				covered: scenarioChecks.filter((c) => c.passed).length
-			},
-			errors: {
-				total: errorChecks.length,
-				handled: errorChecks.filter((c) => c.passed).length
-			},
-			fields: {
-				total: checks.length,
-				implemented: passedCount
-			}
-		},
-		meta: {
-			specName: spec.meta.name,
-			specVersion: spec.meta.version,
-			implementationPath: implementationPath ?? "unknown",
-			verifiedAt: (/* @__PURE__ */ new Date()).toISOString(),
-			duration: Date.now() - startTime
-		}
-	};
-}
-
-//#endregion
-export { verifyBehavior };

package/dist/services/verify/index.js

@@ -1,4 +0,0 @@
-import { verifyStructure } from "./structure-verifier.js";
-import { verifyBehavior } from "./behavior-verifier.js";
-import { createQuickAIReview, verifySemanticFields, verifyWithAI, verifyWithAIEnhanced } from "./ai-verifier.js";
-import { VerifyService, createVerifyService, verifyService } from "./verify-service.js";

package/dist/services/verify/structure-verifier.js

@@ -1,195 +0,0 @@
-import { isEmitDeclRef } from "../../libs/contracts/dist/spec.js";
-
-//#region src/services/verify/structure-verifier.ts
-/**
-* Check if code exports a handler function.
-*/
-function checkHandlerExport(code) {
-	const hasExport = /export\s+(async\s+)?function\s+\w+/.test(code) || /export\s+const\s+\w+\s*=\s*(async\s*)?\(/.test(code) || /export\s+default\s+(async\s+)?function/.test(code) || /export\s+\{\s*\w+/.test(code);
-	return {
-		name: "handler_export",
-		passed: hasExport,
-		details: hasExport ? void 0 : "No exported handler function found",
-		suggestion: "Export a function that handles the operation: export async function handle(...) { }"
-	};
-}
-/**
-* Check if code imports from @lssm/lib.contracts.
-*/
-function checkContractsImport(code) {
-	const hasImport = code.includes("from '@lssm/lib.contracts'") || code.includes("from \"@lssm/lib.contracts\"");
-	return {
-		name: "contracts_import",
-		passed: hasImport,
-		details: hasImport ? void 0 : "Missing import from @lssm/lib.contracts",
-		suggestion: "Add: import { ... } from '@lssm/lib.contracts';"
-	};
-}
-/**
-* Check if code imports from @lssm/lib.schema.
-*/
-function checkSchemaImport(code, spec) {
-	if (!(spec.io.input !== null || spec.io.output !== null)) return {
-		name: "schema_import",
-		passed: true
-	};
-	const hasImport = code.includes("from '@lssm/lib.schema'") || code.includes("from \"@lssm/lib.schema\"");
-	return {
-		name: "schema_import",
-		passed: hasImport,
-		details: hasImport ? void 0 : "Missing import from @lssm/lib.schema",
-		suggestion: "Add: import { ... } from '@lssm/lib.schema';"
-	};
-}
-/**
-* Check for TypeScript any usage.
-*/
-function checkNoAnyType(code) {
-	const anyPattern = /:\s*any\b|as\s+any\b|<any>/;
-	const lines = code.split("\n");
-	const anyUsages = [];
-	for (let i = 0; i < lines.length; i++) {
-		const line = lines[i] ?? "";
-		if (line.trim().startsWith("//") || line.trim().startsWith("*")) continue;
-		if (anyPattern.test(line)) anyUsages.push(i + 1);
-	}
-	return {
-		name: "no_any_type",
-		passed: anyUsages.length === 0,
-		details: anyUsages.length > 0 ? `Found 'any' type on lines: ${anyUsages.slice(0, 5).join(", ")}${anyUsages.length > 5 ? "..." : ""}` : void 0,
-		suggestion: "Replace any with proper types from the spec schema"
-	};
-}
-/**
-* Check if error codes from spec are handled.
-*/
-function checkErrorHandling(code, spec) {
-	const errors = spec.io.errors;
-	if (!errors || Object.keys(errors).length === 0) return {
-		name: "error_handling",
-		passed: true
-	};
-	const errorCodes = Object.keys(errors);
-	const missingErrors = [];
-	for (const errorCode of errorCodes) if (!code.includes(errorCode)) missingErrors.push(errorCode);
-	return {
-		name: "error_handling",
-		passed: missingErrors.length === 0,
-		details: missingErrors.length > 0 ? `Missing error handling for: ${missingErrors.join(", ")}` : void 0,
-		suggestion: "Implement handlers for all error cases defined in the spec"
-	};
-}
-/**
-* Check if events are emitted.
-*/
-function checkEventEmission(code, spec) {
-	const events = spec.sideEffects?.emits;
-	if (!events || events.length === 0) return {
-		name: "event_emission",
-		passed: true
-	};
-	const hasEmitPattern = code.includes("emit(") || code.includes(".emit(") || code.includes("publish(") || code.includes(".publish(") || code.includes("dispatchEvent") || code.includes("eventBus");
-	const eventNames = events.map((e) => {
-		if (isEmitDeclRef(e)) return e.ref.name;
-		return e.name;
-	});
-	const mentionedEvents = eventNames.filter((name) => code.includes(name));
-	return {
-		name: "event_emission",
-		passed: hasEmitPattern && mentionedEvents.length > 0,
-		details: !hasEmitPattern ? "No event emission pattern found" : mentionedEvents.length === 0 ? `Events not referenced: ${eventNames.join(", ")}` : void 0,
-		suggestion: "Emit events as specified in sideEffects.emits"
-	};
-}
-/**
-* Check for validation of input.
-*/
-function checkInputValidation(code, spec) {
-	if (!spec.io.input) return {
-		name: "input_validation",
-		passed: true
-	};
-	const hasValidation = code.includes(".parse(") || code.includes(".safeParse(") || code.includes("validate(") || code.includes(".validate(") || code.includes("schema.") || code.includes("zodSchema") || code.includes(".getZod()");
-	return {
-		name: "input_validation",
-		passed: hasValidation,
-		details: hasValidation ? void 0 : "No input validation pattern found",
-		suggestion: "Validate input using the schema: schema.parse(input) or schema.safeParse(input)"
-	};
-}
-/**
-* Check for async/await usage on async operations.
-*/
-function checkAsyncPatterns(code, spec) {
-	const isAsync = /export\s+(const\s+\w+\s*=\s*)?async/.test(code) || /async\s+function/.test(code);
-	if (!(spec.meta.kind === "command")) return {
-		name: "async_patterns",
-		passed: true
-	};
-	return {
-		name: "async_patterns",
-		passed: isAsync,
-		details: isAsync ? void 0 : "Handler should be async for command operations",
-		suggestion: "Make the handler function async: export async function handle(...)"
-	};
-}
-/**
-* Run all structure checks and produce a verification report.
-*/
-function verifyStructure(input) {
-	const { spec, implementationCode, implementationPath } = input;
-	const startTime = Date.now();
-	const checks = [
-		checkHandlerExport(implementationCode),
-		checkContractsImport(implementationCode),
-		checkSchemaImport(implementationCode, spec),
-		checkNoAnyType(implementationCode),
-		checkErrorHandling(implementationCode, spec),
-		checkEventEmission(implementationCode, spec),
-		checkInputValidation(implementationCode, spec),
-		checkAsyncPatterns(implementationCode, spec)
-	];
-	const issues = checks.filter((c) => !c.passed).map((c) => ({
-		severity: c.name === "no_any_type" ? "warning" : "error",
-		category: c.name.includes("import") ? "import" : c.name.includes("export") ? "export" : "type",
-		message: c.details ?? `Check failed: ${c.name}`,
-		location: implementationPath ? { file: implementationPath } : void 0,
-		suggestion: c.suggestion
-	}));
-	const passedCount = checks.filter((c) => c.passed).length;
-	const score = Math.round(passedCount / checks.length * 100);
-	const passed = issues.filter((i) => i.severity === "error").length === 0;
-	const suggestions = checks.filter((c) => !c.passed && c.suggestion).map((c) => c.suggestion);
-	const errorCount = Object.keys(spec.io.errors ?? {}).length;
-	return {
-		tier: "structure",
-		passed,
-		score,
-		issues,
-		suggestions,
-		coverage: {
-			scenarios: {
-				total: 0,
-				covered: 0
-			},
-			errors: {
-				total: errorCount,
-				handled: checks.find((c) => c.name === "error_handling")?.passed ? errorCount : 0
-			},
-			fields: {
-				total: checks.length,
-				implemented: passedCount
-			}
-		},
-		meta: {
-			specName: spec.meta.name,
-			specVersion: spec.meta.version,
-			implementationPath: implementationPath ?? "unknown",
-			verifiedAt: (/* @__PURE__ */ new Date()).toISOString(),
-			duration: Date.now() - startTime
-		}
-	};
-}
-
-//#endregion
-export { verifyStructure };

package/dist/services/verify/verify-service.js

@@ -1,203 +0,0 @@
-import { verifyStructure } from "./structure-verifier.js";
-import { verifyBehavior } from "./behavior-verifier.js";
-import { createQuickAIReview, verifyWithAI } from "./ai-verifier.js";
-
-//#region src/services/verify/verify-service.ts
-const DEFAULT_CONFIG = { verbose: false };
-const TIER_ORDER = [
-	"structure",
-	"behavior",
-	"ai_review"
-];
-/**
-* Verification Service
-*
-* Main service for verifying implementations against specs.
-*/
-var VerifyService = class {
-	config;
-	constructor(config = {}) {
-		this.config = {
-			...DEFAULT_CONFIG,
-			...config
-		};
-	}
-	/**
-	* Run verification on an implementation.
-	*/
-	async verify(spec, implementationCode, options = {}) {
-		const startTime = Date.now();
-		const reports = /* @__PURE__ */ new Map();
-		const allIssues = [];
-		const input = {
-			spec,
-			implementationCode
-		};
-		const tiersToRun = options.tiers ?? ["structure", "behavior"];
-		for (const tier of TIER_ORDER) {
-			if (!tiersToRun.includes(tier)) continue;
-			let report;
-			switch (tier) {
-				case "structure":
-					report = verifyStructure(input);
-					break;
-				case "behavior":
-					report = verifyBehavior(input);
-					break;
-				case "ai_review":
-					if (this.config.aiApiKey) report = await verifyWithAI(input, this.config);
-					else report = createQuickAIReview(input);
-					break;
-				default: continue;
-			}
-			reports.set(tier, report);
-			allIssues.push(...report.issues);
-			if (options.failFast && !report.passed) break;
-		}
-		const reportsArray = Array.from(reports.values());
-		return {
-			passed: reportsArray.every((r) => r.passed),
-			score: reportsArray.length > 0 ? Math.round(reportsArray.reduce((sum, r) => sum + r.score, 0) / reportsArray.length) : 100,
-			reports,
-			allIssues,
-			summary: this.generateSummary(reportsArray, allIssues),
-			duration: Date.now() - startTime
-		};
-	}
-	/**
-	* Run only structure verification (Tier 1).
-	*/
-	verifyStructure(spec, implementationCode, implementationPath) {
-		return verifyStructure({
-			spec,
-			implementationCode,
-			implementationPath
-		});
-	}
-	/**
-	* Run only behavior verification (Tier 2).
-	*/
-	verifyBehavior(spec, implementationCode, implementationPath) {
-		return verifyBehavior({
-			spec,
-			implementationCode,
-			implementationPath
-		});
-	}
-	/**
-	* Run only AI verification (Tier 3).
-	*/
-	async verifyAI(spec, implementationCode, implementationPath) {
-		const input = {
-			spec,
-			implementationCode,
-			implementationPath
-		};
-		if (this.config.aiApiKey) return verifyWithAI(input, this.config);
-		return createQuickAIReview(input);
-	}
-	/**
-	* Quick verification (structure only, fast).
-	*/
-	quickVerify(spec, implementationCode) {
-		return verifyStructure({
-			spec,
-			implementationCode
-		});
-	}
-	/**
-	* Generate a human-readable summary of verification results.
-	*/
-	generateSummary(reports, allIssues) {
-		const parts = [];
-		const passed = reports.every((r) => r.passed);
-		const avgScore = reports.length > 0 ? Math.round(reports.reduce((sum, r) => sum + r.score, 0) / reports.length) : 100;
-		parts.push(passed ? "✓ Verification passed" : "✗ Verification failed");
-		parts.push(`Score: ${avgScore}/100`);
-		parts.push("");
-		for (const report of reports) {
-			const icon = report.passed ? "✓" : "✗";
-			parts.push(`${icon} ${report.tier}: ${report.score}/100`);
-		}
-		parts.push("");
-		const errors = allIssues.filter((i) => i.severity === "error");
-		const warnings = allIssues.filter((i) => i.severity === "warning");
-		const infos = allIssues.filter((i) => i.severity === "info");
-		if (errors.length > 0) parts.push(`Errors: ${errors.length}`);
-		if (warnings.length > 0) parts.push(`Warnings: ${warnings.length}`);
-		if (infos.length > 0) parts.push(`Info: ${infos.length}`);
-		return parts.join("\n");
-	}
-	/**
-	* Format verification result as markdown.
-	*/
-	formatAsMarkdown(result) {
-		const lines = [];
-		lines.push(`# Verification Report`);
-		lines.push("");
-		lines.push(`**Status:** ${result.passed ? "✓ Passed" : "✗ Failed"}`);
-		lines.push(`**Score:** ${result.score}/100`);
-		lines.push(`**Duration:** ${result.duration}ms`);
-		lines.push("");
-		for (const [tier, report] of result.reports) {
-			lines.push(`## ${this.formatTierName(tier)}`);
-			lines.push("");
-			lines.push(`**Status:** ${report.passed ? "✓ Passed" : "✗ Failed"}`);
-			lines.push(`**Score:** ${report.score}/100`);
-			lines.push("");
-			if (report.issues.length > 0) {
-				lines.push("### Issues");
-				lines.push("");
-				for (const issue of report.issues) {
-					const icon = issue.severity === "error" ? "❌" : issue.severity === "warning" ? "⚠️" : "ℹ️";
-					lines.push(`${icon} **${issue.category}**: ${issue.message}`);
-					if (issue.suggestion) lines.push(`  - Suggestion: ${issue.suggestion}`);
-				}
-				lines.push("");
-			}
-			if (report.coverage.scenarios.total > 0) lines.push(`**Scenarios:** ${report.coverage.scenarios.covered}/${report.coverage.scenarios.total}`);
-			if (report.coverage.errors.total > 0) lines.push(`**Errors handled:** ${report.coverage.errors.handled}/${report.coverage.errors.total}`);
-			lines.push("");
-		}
-		const allSuggestions = Array.from(result.reports.values()).flatMap((r) => r.suggestions);
-		if (allSuggestions.length > 0) {
-			lines.push("## Suggestions");
-			lines.push("");
-			for (const suggestion of allSuggestions.slice(0, 10)) lines.push(`- ${suggestion}`);
-			if (allSuggestions.length > 10) lines.push(`- ... and ${allSuggestions.length - 10} more`);
-			lines.push("");
-		}
-		return lines.join("\n");
-	}
-	/**
-	* Format tier name for display.
-	*/
-	formatTierName(tier) {
-		switch (tier) {
-			case "structure": return "Tier 1: Structure";
-			case "behavior": return "Tier 2: Behavior";
-			case "ai_review": return "Tier 3: AI Review";
-			default: return tier;
-		}
-	}
-	/**
-	* Update configuration.
-	*/
-	configure(config) {
-		this.config = {
-			...this.config,
-			...config
-		};
-	}
-};
-/**
-* Create a new VerifyService instance.
-*/
-function createVerifyService(config) {
-	return new VerifyService(config);
-}
-/** Default singleton instance */
-const verifyService = new VerifyService();
-
-//#endregion
-export { VerifyService, createVerifyService, verifyService };

package/dist/services/watch.js

@@ -1,31 +0,0 @@
-import { validateSpec } from "./validate.js";
-import { buildSpec } from "./build.js";
-
-//#region src/services/watch.ts
-function watchSpecs(adapters, config, options, overrides) {
-	const { watcher, fs, logger } = adapters;
-	const w = watcher.watch(options);
-	const validateFn = overrides?.validate ?? (async (specPath) => {
-		await validateSpec(specPath, {
-			fs,
-			logger
-		});
-	});
-	const buildFn = overrides?.build ?? (async (specPath) => {
-		await buildSpec(specPath, {
-			fs,
-			logger
-		}, config);
-	});
-	w.on(async (event) => {
-		if (event.type !== "change") return;
-		logger.info("watchSpecs.changed", { path: event.path });
-		if (options.runValidate) await validateFn(event.path);
-		if (options.runBuild) if (options.dryRun) logger.info("[dry-run] watchSpecs skipped build", { path: event.path });
-		else await buildFn(event.path);
-	});
-	return w;
-}
-
-//#endregion
-export { watchSpecs };