feat(inspect): add Code Contract lint check and sync improvements

CHANGELOG.md

@@ -7,6 +7,26 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+### Added
+
+- Code Contract (QC) lint check before LLM analysis: AST-based static inspection
+  of embedded code blocks and Python source files (syntax, undefined names,
+  resource leaks, code patterns) with `--skip-qc-lint` to opt out
+
+### Changed
+
+- **Breaking**: tool schema uploads now emit the provider-neutral flat format
+  `{name, description, parameters}` in both upload paths (push and inspect).
+  The OpenAI `{type, function}` wrapper is stripped during packing; the
+  backend converts to the selected provider format when a model endpoint is set.
+
+### Fixed
+
+- Failed module inspections now render a CAUTION callout instead of a
+  misleading "No defects found" in markdown reports
+- Duplicate defects reported under both `$.inputSchema` and `$.parameters`
+  are deduplicated in terminal and markdown output
+
 ## [0.0.8] - 2026-09-21
 
 ### Added

src/sanityops_cli/code_contract_checker/__init__.py

@@ -0,0 +1,35 @@
+# Copyright 2026 zipsonken
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+"""Code Contract inspection module for Logic Artifacts."""
+
+from .models import (
+    RULE_DEFINITIONS,
+    GateResult,
+    QCArtifactResult,
+    QCDefect,
+    QCInspectionResult,
+    QCRuleID,
+    Severity,
+)
+
+__all__ = [
+    "QCArtifactResult",
+    "QCDefect",
+    "QCInspectionResult",
+    "QCRuleID",
+    "RULE_DEFINITIONS",
+    "Severity",
+    "GateResult",
+]