agent-lifecycle-kit 2.6.0__tar.gz → 2.7.0__tar.gz

{agent_lifecycle_kit-2.6.0/src/agent_lifecycle_kit.egg-info → agent_lifecycle_kit-2.7.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: agent-lifecycle-kit
-Version: 2.6.0
+Version: 2.7.0
 Summary: Provider-neutral lifecycle control layer that helps coding agents plan, execute, validate, and prove software tasks to completion.
 Author: Agent Lifecycle Kit contributors
 License: Apache-2.0
@@ -43,7 +43,7 @@ ALK provides a verifiable finish for external-agent work with proportionate cont
 ## Quick start
 Start with [install ALK and make the first run](docs/guides/install-and-first-run.md).
 
-It includes macOS, Linux and Windows instructions, Python 3.11-3.14, [PyPI](https://pypi.org/project/agent-lifecycle-kit/) installation with `python -m pip install agent-lifecycle-kit==2.6.0`, and common `agent-lifecycle version` errors.
+It includes macOS, Linux and Windows instructions, Python 3.11-3.14, [PyPI](https://pypi.org/project/agent-lifecycle-kit/) installation with `python -m pip install agent-lifecycle-kit==2.7.0`, and common `agent-lifecycle version` errors.
 
 For a quick start, run:
 
@@ -196,7 +196,7 @@ Adapter installation and support-level details live in [Adapter install](docs/ad
 - Start: [English documentation](docs/README.md), [Русская документация](docs/ru/README.md), [Install](docs/guides/install-and-first-run.md), [Quickstart](docs/guides/quickstart.md), [Beginner and advanced workflows](docs/guides/beginner-and-advanced-workflows.md), [Commands by task](docs/guides/commands-by-task.md), [Research workflow](docs/guides/research-workflow.md), [Lifecycle task scenarios](docs/guides/lifecycle-cookbook.md), and [Code review workflows](docs/guides/code-review-workflows.md).
 - Planning and adapters: [Issue to specification drafts](docs/guides/issue-to-spec.md), [Adapter install](docs/adapters/install.md), and [Adapter support matrix](docs/adapters/support-matrix.md).
 - Reference: [System architecture](docs/architecture/system-architecture.md), [workflow customization and execution controls](docs/reference/workflow-customization.md), [execution strategy](docs/reference/execution-strategy.md), [CLI reference](docs/reference/cli.md), [External verification checks](docs/reference/external-verification-checks.md), [Bounded external tool jobs](docs/reference/external-tool-jobs.md), [Project domain language](docs/reference/project-domain-language.md), [Multi-run attention view](docs/reference/multi-run-attention-view.md), [Plan verification](docs/reference/plan-verification.md), [Research evidence](docs/reference/research-evidence.md), [Public locators and redaction](docs/reference/public-locators-and-redaction.md), [Finding-to-check adoption](docs/reference/finding-check-adoption.md), [Source of truth](docs/reference/source-of-truth.md), [Managed lifecycle runner](docs/reference/managed-lifecycle-runner.md), [Managed adapter sessions](docs/reference/managed-adapter-sessions.md), [Portable Agent Plugins](docs/reference/agent-plugins.md), [Plugin publication](docs/reference/plugin-publication.md), [Implementation audit](docs/reference/implementation-audit.md), [Plan completeness](docs/reference/plan-completeness.md), [Public contracts](docs/reference/public-contracts.md), and [Readiness diagnostics](docs/reference/readiness-diagnostics.md).
-- Quality and resources: [Reference-task evaluation](docs/reference/reference-task-evaluation.md), [model routing](docs/reference/model-routing.md), [quality-cost learning](docs/reference/quality-cost-learning.md), [performance and resource budgets](docs/reference/performance-and-resource-budgets.md), [lifecycle cost accounting](docs/reference/lifecycle-cost.md), [host-local token accounting](docs/reference/host-local-token-accounting.md), [process execution observability](docs/reference/process-execution-observability.md), [Usage export](docs/reference/usage-export.md), and [Evidence integrity](docs/reference/evidence-integrity.md).
+- Quality and resources: [Reference-task evaluation](docs/reference/reference-task-evaluation.md), [model routing](docs/reference/model-routing.md), [quality-cost learning](docs/reference/quality-cost-learning.md), [review efficiency](docs/reference/review-efficiency.md), [evidence independence](docs/reference/evidence-independence.md), [performance and resource budgets](docs/reference/performance-and-resource-budgets.md), [lifecycle cost accounting](docs/reference/lifecycle-cost.md), [host-local token accounting](docs/reference/host-local-token-accounting.md), [process execution observability](docs/reference/process-execution-observability.md), [Usage export](docs/reference/usage-export.md), and [Evidence integrity](docs/reference/evidence-integrity.md).
 - Profiles and operations: [Project workflow presets](docs/reference/workflow-presets.md), [Project workflow profile](docs/reference/project-workflow-profile.md), [Read-only status views](docs/reference/read-only-status-view.md), [Adapter progress bridge](docs/reference/automatic-progress-bridge.md), [Sandbox boundaries](docs/reference/sandbox-boundaries.md), [Import mappers](docs/reference/import-mappers.md), [Episode retrieval](docs/reference/episode-retrieval.md), [Runner migration](docs/guides/runner-migration-2.md), [Runner recovery records](docs/reference/runner-recovery.md), [Cross-check profile](docs/reference/cross-check-profile.md), [Review Mesh](docs/reference/review-mesh.md), [Risk-bound independent verification](docs/reference/risk-bound-independent-verification.md), [Bug Forensics profile](docs/reference/bug-forensics.md), and [Bug Forensics context budget](docs/reference/bug-forensics-context-budget.md).
 - Release assets: [Task templates](templates/tasks/README.md), [Neutrality scanning](docs/reference/neutrality.md), and [Release security](docs/security/release-security.md).
 Apache-2.0. See [LICENSE](LICENSE).

{agent_lifecycle_kit-2.6.0 → agent_lifecycle_kit-2.7.0}/README.md

@@ -21,7 +21,7 @@ ALK provides a verifiable finish for external-agent work with proportionate cont
 ## Quick start
 Start with [install ALK and make the first run](docs/guides/install-and-first-run.md).
 
-It includes macOS, Linux and Windows instructions, Python 3.11-3.14, [PyPI](https://pypi.org/project/agent-lifecycle-kit/) installation with `python -m pip install agent-lifecycle-kit==2.6.0`, and common `agent-lifecycle version` errors.
+It includes macOS, Linux and Windows instructions, Python 3.11-3.14, [PyPI](https://pypi.org/project/agent-lifecycle-kit/) installation with `python -m pip install agent-lifecycle-kit==2.7.0`, and common `agent-lifecycle version` errors.
 
 For a quick start, run:
 
@@ -174,7 +174,7 @@ Adapter installation and support-level details live in [Adapter install](docs/ad
 - Start: [English documentation](docs/README.md), [Русская документация](docs/ru/README.md), [Install](docs/guides/install-and-first-run.md), [Quickstart](docs/guides/quickstart.md), [Beginner and advanced workflows](docs/guides/beginner-and-advanced-workflows.md), [Commands by task](docs/guides/commands-by-task.md), [Research workflow](docs/guides/research-workflow.md), [Lifecycle task scenarios](docs/guides/lifecycle-cookbook.md), and [Code review workflows](docs/guides/code-review-workflows.md).
 - Planning and adapters: [Issue to specification drafts](docs/guides/issue-to-spec.md), [Adapter install](docs/adapters/install.md), and [Adapter support matrix](docs/adapters/support-matrix.md).
 - Reference: [System architecture](docs/architecture/system-architecture.md), [workflow customization and execution controls](docs/reference/workflow-customization.md), [execution strategy](docs/reference/execution-strategy.md), [CLI reference](docs/reference/cli.md), [External verification checks](docs/reference/external-verification-checks.md), [Bounded external tool jobs](docs/reference/external-tool-jobs.md), [Project domain language](docs/reference/project-domain-language.md), [Multi-run attention view](docs/reference/multi-run-attention-view.md), [Plan verification](docs/reference/plan-verification.md), [Research evidence](docs/reference/research-evidence.md), [Public locators and redaction](docs/reference/public-locators-and-redaction.md), [Finding-to-check adoption](docs/reference/finding-check-adoption.md), [Source of truth](docs/reference/source-of-truth.md), [Managed lifecycle runner](docs/reference/managed-lifecycle-runner.md), [Managed adapter sessions](docs/reference/managed-adapter-sessions.md), [Portable Agent Plugins](docs/reference/agent-plugins.md), [Plugin publication](docs/reference/plugin-publication.md), [Implementation audit](docs/reference/implementation-audit.md), [Plan completeness](docs/reference/plan-completeness.md), [Public contracts](docs/reference/public-contracts.md), and [Readiness diagnostics](docs/reference/readiness-diagnostics.md).
-- Quality and resources: [Reference-task evaluation](docs/reference/reference-task-evaluation.md), [model routing](docs/reference/model-routing.md), [quality-cost learning](docs/reference/quality-cost-learning.md), [performance and resource budgets](docs/reference/performance-and-resource-budgets.md), [lifecycle cost accounting](docs/reference/lifecycle-cost.md), [host-local token accounting](docs/reference/host-local-token-accounting.md), [process execution observability](docs/reference/process-execution-observability.md), [Usage export](docs/reference/usage-export.md), and [Evidence integrity](docs/reference/evidence-integrity.md).
+- Quality and resources: [Reference-task evaluation](docs/reference/reference-task-evaluation.md), [model routing](docs/reference/model-routing.md), [quality-cost learning](docs/reference/quality-cost-learning.md), [review efficiency](docs/reference/review-efficiency.md), [evidence independence](docs/reference/evidence-independence.md), [performance and resource budgets](docs/reference/performance-and-resource-budgets.md), [lifecycle cost accounting](docs/reference/lifecycle-cost.md), [host-local token accounting](docs/reference/host-local-token-accounting.md), [process execution observability](docs/reference/process-execution-observability.md), [Usage export](docs/reference/usage-export.md), and [Evidence integrity](docs/reference/evidence-integrity.md).
 - Profiles and operations: [Project workflow presets](docs/reference/workflow-presets.md), [Project workflow profile](docs/reference/project-workflow-profile.md), [Read-only status views](docs/reference/read-only-status-view.md), [Adapter progress bridge](docs/reference/automatic-progress-bridge.md), [Sandbox boundaries](docs/reference/sandbox-boundaries.md), [Import mappers](docs/reference/import-mappers.md), [Episode retrieval](docs/reference/episode-retrieval.md), [Runner migration](docs/guides/runner-migration-2.md), [Runner recovery records](docs/reference/runner-recovery.md), [Cross-check profile](docs/reference/cross-check-profile.md), [Review Mesh](docs/reference/review-mesh.md), [Risk-bound independent verification](docs/reference/risk-bound-independent-verification.md), [Bug Forensics profile](docs/reference/bug-forensics.md), and [Bug Forensics context budget](docs/reference/bug-forensics-context-budget.md).
 - Release assets: [Task templates](templates/tasks/README.md), [Neutrality scanning](docs/reference/neutrality.md), and [Release security](docs/security/release-security.md).
 Apache-2.0. See [LICENSE](LICENSE).

{agent_lifecycle_kit-2.6.0 → agent_lifecycle_kit-2.7.0}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "agent-lifecycle-kit"
-version = "2.6.0"
+version = "2.7.0"
 description = "Provider-neutral lifecycle control layer that helps coding agents plan, execute, validate, and prove software tasks to completion."
 readme = "README.md"
 requires-python = ">=3.11,<3.15"

{agent_lifecycle_kit-2.6.0 → agent_lifecycle_kit-2.7.0}/src/agent_lifecycle/_version.py

@@ -1,3 +1,3 @@
 """Package version."""
 
-__version__ = "2.6.0"
+__version__ = "2.7.0"

{agent_lifecycle_kit-2.6.0 → agent_lifecycle_kit-2.7.0}/src/agent_lifecycle/audit/implementation.py

@@ -8,6 +8,11 @@ from typing import Any
 from agent_lifecycle.audit.ownership import build_ownership_report, report_has_category
 from agent_lifecycle.contracts import LifecycleError, canonical_digest, read_json_object
 from agent_lifecycle.contracts.paths import normalize_repo_path
+from agent_lifecycle.contracts.review_verdict import (
+    BLOCKING_REVIEW_SEVERITIES,
+    REVIEW_SEVERITY_RANK,
+    open_blocking_finding_ids,
+)
 from agent_lifecycle.planning.task_compatibility import (
     validate_task_plan_compatibility_receipt,
 )
@@ -22,7 +27,6 @@ from agent_lifecycle.workflow.sandbox_policy import validate_task_sandbox_eviden
 from agent_lifecycle.workflow.selectors import find_task
 from agent_lifecycle.workflow.state import load_state
 
-SEVERITY_RANK = {"BLOCKER": 0, "HIGH": 1, "MEDIUM": 2, "LOW": 3, "INFO": 4}
 IMPLEMENTATION_AUDIT_SCHEMA = "agent-implementation-audit-report.v1"
 FINAL_IMPLEMENTATION_AUDIT_SCHEMA = "agent-final-implementation-audit.v1"
 
@@ -609,14 +613,7 @@ def _has_blockers(payload: dict[str, Any]) -> bool:
 
 def _has_open_blocking_findings(payload: dict[str, Any]) -> bool:
     findings = payload.get("findings")
-    if not isinstance(findings, list):
-        return False
-    return any(
-        isinstance(item, dict)
-        and item.get("status") == "open"
-        and item.get("severity") in {"BLOCKER", "HIGH", "MEDIUM"}
-        for item in findings
-    )
+    return isinstance(findings, list) and bool(open_blocking_finding_ids(findings))
 
 
 def _add_finding(
@@ -639,12 +636,15 @@ def _add_finding(
         "context": context or {},
     }
     findings.append(finding)
-    if severity in {"BLOCKER", "HIGH", "MEDIUM"}:
+    if severity in BLOCKING_REVIEW_SEVERITIES:
         blockers.append({"code": code, "severity": severity, "message": message, "context": context or {}})
 
 
 def _sorted_findings(findings: list[dict[str, Any]]) -> list[dict[str, Any]]:
-    return sorted(findings, key=lambda item: (SEVERITY_RANK.get(str(item.get("severity")), 99), str(item.get("code"))))
+    return sorted(
+        findings,
+        key=lambda item: (REVIEW_SEVERITY_RANK.get(str(item.get("severity")), 99), str(item.get("code"))),
+    )
 
 
 def _verdict(findings: list[dict[str, Any]]) -> str:
@@ -652,7 +652,7 @@ def _verdict(findings: list[dict[str, Any]]) -> str:
         return "BLOCKED"
     if any(item.get("category") == "ownership" for item in findings):
         return "CONTRACT_CHANGE"
-    if any(item.get("severity") in {"HIGH", "MEDIUM"} for item in findings):
+    if any(item.get("severity") in BLOCKING_REVIEW_SEVERITIES for item in findings):
         return "REWORK"
     return "ACCEPTED"
 

{agent_lifecycle_kit-2.6.0 → agent_lifecycle_kit-2.7.0}/src/agent_lifecycle/cli/dispatch_observability.py

@@ -57,6 +57,11 @@ from agent_lifecycle.metrics import (
     validate_release_accounting,
     validate_usage_export,
 )
+from agent_lifecycle.metrics.audit_efficiency import (
+    build_audit_efficiency_report,
+    validate_audit_efficiency_input,
+    validate_audit_efficiency_report,
+)
 from agent_lifecycle.metrics.audit_optimization import (
     build_audit_optimization_report,
     render_audit_optimization_terminal,
@@ -581,6 +586,8 @@ def _dispatch_metrics(args: argparse.Namespace) -> dict[str, Any] | str:
         return payload
     if args.metrics_command == "audit-report":
         return _dispatch_audit_report(args)
+    if args.metrics_command == "audit-efficiency":
+        return _dispatch_audit_efficiency(args)
     if args.metrics_command == "audit-proposal":
         report = read_json_object(Path(args.report), label="audit optimization report")
         raw_recommendation = report.get("recommendation")
@@ -698,6 +705,40 @@ def _dispatch_audit_report(args: argparse.Namespace) -> dict[str, Any] | str:
     return report
 
 
+def _dispatch_audit_efficiency(args: argparse.Namespace) -> dict[str, Any]:
+    measurement = read_json_object(Path(args.input), label="audit efficiency input")
+    validation = validate_audit_efficiency_input(measurement)
+    if validation["status"] != "PASS":
+        raise LifecycleError(
+            "audit-efficiency-input-invalid",
+            "audit efficiency input validation failed",
+            {"validation": validation},
+        )
+
+    comparisons: list[dict[str, Any]] = []
+    for index, path in enumerate(args.comparison):
+        comparison = read_json_object(Path(path), label="audit efficiency comparison")
+        comparison_validation = validate_audit_efficiency_input(comparison)
+        if comparison_validation["status"] != "PASS":
+            raise LifecycleError(
+                "audit-efficiency-comparison-invalid",
+                "audit efficiency comparison validation failed",
+                {"index": index, "validation": comparison_validation},
+            )
+        comparisons.append(comparison)
+
+    report = build_audit_efficiency_report(measurement, comparison_measurements=comparisons)
+    report_validation = validate_audit_efficiency_report(report)
+    if report_validation["status"] != "PASS":
+        raise LifecycleError(
+            "audit-efficiency-report-invalid",
+            "audit efficiency report validation failed",
+            {"validation": report_validation},
+        )
+    write_json_create(Path(args.out), report)
+    return report
+
+
 def _read_audit_samples(paths: list[str]) -> list[dict[str, Any]]:
     samples: list[dict[str, Any]] = []
     for item in paths:

{agent_lifecycle_kit-2.6.0 → agent_lifecycle_kit-2.7.0}/src/agent_lifecycle/cli/metrics_parser.py

@@ -77,6 +77,13 @@ def add_metrics_parser(subparsers: argparse._SubParsersAction[argparse.ArgumentP
     audit_report.add_argument("--current-profile")
     audit_report.add_argument("--out", required=True)
     audit_report.add_argument("--terminal", action="store_true")
+    audit_efficiency = metrics_sub.add_parser(
+        "audit-efficiency",
+        help="report quality-preserving audit efficiency from explicit accounting inputs",
+    )
+    audit_efficiency.add_argument("--input", required=True)
+    audit_efficiency.add_argument("--comparison", action="append", default=[])
+    audit_efficiency.add_argument("--out", required=True)
     audit_proposal = metrics_sub.add_parser("audit-proposal", help="create an explicit audit optimization proposal")
     audit_proposal.add_argument("--report", required=True)
     audit_proposal.add_argument("--out", required=True)

{agent_lifecycle_kit-2.6.0 → agent_lifecycle_kit-2.7.0}/src/agent_lifecycle/contracts/audit_optimization_schemas.py

@@ -14,9 +14,69 @@ AUDIT_OPTIMIZATION_REPORT_SCHEMA = "agent-audit-optimization-report.v1"
 AUDIT_OPTIMIZATION_PROPOSAL_SCHEMA = "agent-audit-optimization-proposal.v1"
 AUDIT_OPTIMIZATION_APPLIED_PROFILE_SCHEMA = "agent-audit-optimization-applied-profile.v1"
 AUDIT_OPTIMIZATION_APPLY_RESULT_SCHEMA = "agent-audit-optimization-apply-result.v1"
+AUDIT_EFFICIENCY_INPUT_SCHEMA = "agent-audit-efficiency-input.v1"
+AUDIT_EFFICIENCY_REPORT_SCHEMA = "agent-audit-efficiency-report.v1"
 
 
 AUDIT_OPTIMIZATION_SCHEMAS: dict[str, dict[str, Any]] = {
+    AUDIT_EFFICIENCY_INPUT_SCHEMA: open_object_schema(
+        AUDIT_EFFICIENCY_INPUT_SCHEMA,
+        required=[
+            "schemaVersion",
+            "releaseId",
+            "sourceRevision",
+            "sourceLineageDigest",
+            "qualityFloor",
+            "views",
+            "outcomes",
+            "totals",
+            "productionPromotionClaimed",
+            "inputDigest",
+        ],
+        properties={
+            "releaseId": {"type": "string", "minLength": 1},
+            "sourceRevision": {"type": "string", "minLength": 1},
+            "sourceLineageDigest": {"type": "string", "minLength": 64, "maxLength": 64},
+            "qualityFloor": {"type": "string", "minLength": 1},
+            "views": {"type": "object"},
+            "outcomes": {"type": "object"},
+            "totals": {"type": "object"},
+            "productionPromotionClaimed": {"const": False},
+            "inputDigest": {"type": "string", "minLength": 64, "maxLength": 64},
+        },
+    ),
+    AUDIT_EFFICIENCY_REPORT_SCHEMA: open_object_schema(
+        AUDIT_EFFICIENCY_REPORT_SCHEMA,
+        required=[
+            "schemaVersion",
+            "status",
+            "releaseId",
+            "qualityFloor",
+            "qualityFloorPreserved",
+            "metrics",
+            "comparison",
+            "advisoryOnly",
+            "autoApply",
+            "blockers",
+            "inputDigest",
+            "productionPromotionClaimed",
+            "reportDigest",
+        ],
+        properties={
+            "status": {"enum": ["PASS", "NO_COMPARISON", "FAIL"]},
+            "releaseId": {"type": ["string", "null"]},
+            "qualityFloor": {"type": ["string", "null"]},
+            "qualityFloorPreserved": {"const": True},
+            "metrics": {"type": "object"},
+            "comparison": {"type": "object"},
+            "advisoryOnly": {"const": True},
+            "autoApply": {"const": False},
+            "blockers": {"type": "array", "items": {"type": "object"}},
+            "inputDigest": {"type": ["string", "null"]},
+            "productionPromotionClaimed": {"const": False},
+            "reportDigest": {"type": "string", "minLength": 64, "maxLength": 64},
+        },
+    ),
     AUDIT_OPTIMIZATION_SAMPLE_SCHEMA: open_object_schema(
         AUDIT_OPTIMIZATION_SAMPLE_SCHEMA,
         required=[
@@ -42,6 +102,7 @@ AUDIT_OPTIMIZATION_SCHEMAS: dict[str, dict[str, Any]] = {
         properties={
             "sampleId": {"type": "string", "minLength": 1},
             "lineage": {"type": "object"},
+            "statisticalProvenance": {"type": "object"},
             "request": {"type": "object"},
             "review": {"type": "object"},
             "attempts": {"type": "object"},
@@ -61,7 +122,16 @@ AUDIT_OPTIMIZATION_SCHEMAS: dict[str, dict[str, Any]] = {
     ),
     AUDIT_OPTIMIZATION_SAMPLE_BATCH_SCHEMA: open_object_schema(
         AUDIT_OPTIMIZATION_SAMPLE_BATCH_SCHEMA,
-        required=["schemaVersion", "status", "sampleCount", "samples", "sourceCount", "blockers", "productionPromotionClaimed", "batchDigest"],
+        required=[
+            "schemaVersion",
+            "status",
+            "sampleCount",
+            "samples",
+            "sourceCount",
+            "blockers",
+            "productionPromotionClaimed",
+            "batchDigest",
+        ],
         properties={
             "status": {"enum": ["PASS", "FAIL"]},
             "sampleCount": {"type": "integer", "minimum": 0},
@@ -74,7 +144,16 @@ AUDIT_OPTIMIZATION_SCHEMAS: dict[str, dict[str, Any]] = {
     ),
     AUDIT_OPTIMIZATION_STATISTICS_SCHEMA: open_object_schema(
         AUDIT_OPTIMIZATION_STATISTICS_SCHEMA,
-        required=["schemaVersion", "status", "sampleCount", "confidence", "minimumSample", "signals", "blockers", "statisticsDigest"],
+        required=[
+            "schemaVersion",
+            "status",
+            "sampleCount",
+            "confidence",
+            "minimumSample",
+            "signals",
+            "blockers",
+            "statisticsDigest",
+        ],
         properties={
             "status": {"enum": ["PASS", "NO_RECOMMENDATION", "FAIL"]},
             "sampleCount": {"type": "integer", "minimum": 0},
@@ -121,7 +200,16 @@ AUDIT_OPTIMIZATION_SCHEMAS: dict[str, dict[str, Any]] = {
     ),
     AUDIT_OPTIMIZATION_REPORT_SCHEMA: open_object_schema(
         AUDIT_OPTIMIZATION_REPORT_SCHEMA,
-        required=["schemaVersion", "status", "statistics", "evaluation", "recommendation", "nextAction", "productionPromotionClaimed", "reportDigest"],
+        required=[
+            "schemaVersion",
+            "status",
+            "statistics",
+            "evaluation",
+            "recommendation",
+            "nextAction",
+            "productionPromotionClaimed",
+            "reportDigest",
+        ],
         properties={
             "status": {"enum": ["PASS", "NO_RECOMMENDATION", "FAIL"]},
             "statistics": {"type": "object"},
@@ -134,7 +222,18 @@ AUDIT_OPTIMIZATION_SCHEMAS: dict[str, dict[str, Any]] = {
     ),
     AUDIT_OPTIMIZATION_PROPOSAL_SCHEMA: open_object_schema(
         AUDIT_OPTIMIZATION_PROPOSAL_SCHEMA,
-        required=["schemaVersion", "status", "proposalId", "sourceRecommendationDigest", "approvalRequired", "applyAllowed", "candidateChanges", "rollback", "productionPromotionClaimed", "proposalDigest"],
+        required=[
+            "schemaVersion",
+            "status",
+            "proposalId",
+            "sourceRecommendationDigest",
+            "approvalRequired",
+            "applyAllowed",
+            "candidateChanges",
+            "rollback",
+            "productionPromotionClaimed",
+            "proposalDigest",
+        ],
         properties={
             "status": {"enum": ["PASS", "FAIL"]},
             "proposalId": {"type": "string", "minLength": 1},
@@ -201,6 +300,8 @@ AUDIT_OPTIMIZATION_SCHEMAS: dict[str, dict[str, Any]] = {
 
 
 __all__ = [
+    "AUDIT_EFFICIENCY_INPUT_SCHEMA",
+    "AUDIT_EFFICIENCY_REPORT_SCHEMA",
     "AUDIT_OPTIMIZATION_APPLIED_PROFILE_SCHEMA",
     "AUDIT_OPTIMIZATION_APPLY_RESULT_SCHEMA",
     "AUDIT_OPTIMIZATION_PROPOSAL_SCHEMA",

{agent_lifecycle_kit-2.6.0 → agent_lifecycle_kit-2.7.0}/src/agent_lifecycle/contracts/finding_check_schemas.py

@@ -2,6 +2,7 @@
 
 from __future__ import annotations
 
+import re
 from typing import Any
 
 from agent_lifecycle.contracts import LifecycleError, canonical_digest
@@ -23,6 +24,7 @@ _DIGEST = {"type": "string", "pattern": "^[0-9a-f]{64}$"}
 _ID = {"type": "string", "minLength": 1, "maxLength": 256}
 _TEXT = {"type": "string", "minLength": 1, "maxLength": 2048}
 _BLOCKERS = {"type": "array", "items": {"type": "object"}, "maxItems": 128}
+_CHECK_ROUTE = re.compile(r"^[A-Za-z0-9][A-Za-z0-9._/-]{0,255}$")
 
 
 FINDING_CHECK_SCHEMAS: dict[str, dict[str, Any]] = {
@@ -100,6 +102,7 @@ FINDING_CHECK_SCHEMAS: dict[str, dict[str, Any]] = {
             "proposalId": _ID,
             "status": {"enum": ["PASS", "FAIL"]},
             "binding": {"type": "object"},
+            "reviewerReproduction": {"type": "object", "maxProperties": 4},
             "approvalRequired": {"const": True},
             "applyAllowed": {"const": False},
             "authorityClaimed": {"const": False},
@@ -468,6 +471,15 @@ def validate_finding_check_proposal(proposal: dict[str, Any]) -> dict[str, Any]:
         blockers.append({"code": "finding-check-proposal-binding-invalid"})
     if proposal.get("status") not in {"PASS", "FAIL"}:
         blockers.append({"code": "finding-check-proposal-status-invalid"})
+    reproduction = proposal.get("reviewerReproduction")
+    if reproduction is not None and (
+        not isinstance(reproduction, dict)
+        or not isinstance(reproduction.get("text"), str)
+        or not reproduction["text"]
+        or reproduction.get("parsedAsCommand") is not False
+        or reproduction.get("executionAuthorityGranted") is not False
+    ):
+        blockers.append({"code": "finding-check-proposal-reproduction-invalid"})
     if (
         proposal.get("approvalRequired") is not True
         or proposal.get("applyAllowed") is not False
@@ -486,6 +498,33 @@ def validate_finding_check_proposal(proposal: dict[str, Any]) -> dict[str, Any]:
     )
 
 
+def build_finding_check_proposal(binding: dict[str, Any], *, reproduction: str) -> dict[str, Any]:
+    """Preserve reviewer reproduction text as advisory data only."""
+
+    validation = validate_finding_check_binding(binding)
+    if validation["status"] != "PASS":
+        raise LifecycleError("finding-check-proposal-binding-invalid", "proposal binding failed validation")
+    _required_text(reproduction, "reproduction")
+    proposal_seed = canonical_digest({"binding": binding["bindingDigest"], "text": reproduction})
+    body = {
+        "schemaVersion": FINDING_CHECK_PROPOSAL_SCHEMA,
+        "proposalId": f"finding-check-proposal-{proposal_seed[:32]}",
+        "status": "PASS",
+        "binding": dict(binding),
+        "reviewerReproduction": {
+            "text": reproduction,
+            "parsedAsCommand": False,
+            "executionAuthorityGranted": False,
+        },
+        "approvalRequired": True,
+        "applyAllowed": False,
+        "authorityClaimed": False,
+        "blockers": [],
+        "productionPromotionClaimed": False,
+    }
+    return {**body, "proposalDigest": canonical_digest(body)}
+
+
 def _transition_receipt(
     binding: dict[str, Any], target_status: str, idempotent: bool, blockers: list[dict[str, Any]]
 ) -> dict[str, Any]:
@@ -530,7 +569,13 @@ def _normalize_check_identity(identity: Any) -> dict[str, str]:
     route = identity.get("route")
     if not isinstance(check_id, str) or not check_id or not isinstance(route, str) or not route:
         raise LifecycleError("finding-check-identity-invalid", "checkIdentity requires id and route")
-    if any(char.isspace() for char in route) or any(char in route for char in ";&|$`\\"):
+    route_parts = route.split("/")
+    if (
+        _CHECK_ROUTE.fullmatch(route) is None
+        or route.startswith("/")
+        or "//" in route
+        or any(part in {".", ".."} for part in route_parts)
+    ):
         raise LifecycleError("finding-check-identity-authority", "check route contains unsafe command text")
     normalized = {"id": check_id, "route": route}
     expected = canonical_digest(normalized)
@@ -625,6 +670,7 @@ __all__ = [
     "FINDING_CHECK_TRANSITION_SCHEMA",
     "build_finding_check_binding",
     "build_finding_check_evidence",
+    "build_finding_check_proposal",
     "transition_finding_check_binding",
     "validate_finding_check_binding",
     "validate_finding_check_evidence",

{agent_lifecycle_kit-2.6.0 → agent_lifecycle_kit-2.7.0}/src/agent_lifecycle/contracts/implementation_audit_validation.py

@@ -5,6 +5,7 @@ from __future__ import annotations
 from typing import Any
 
 from agent_lifecycle.contracts import LifecycleError, canonical_digest
+from agent_lifecycle.contracts.review_verdict import open_blocking_finding_ids
 
 IMPLEMENTATION_AUDIT_SCHEMA = "agent-implementation-audit-report.v1"
 FINAL_IMPLEMENTATION_AUDIT_SCHEMA = "agent-final-implementation-audit.v1"
@@ -269,12 +270,7 @@ def _has_blockers(payload: dict[str, Any]) -> bool:
 
 def _has_open_blocking_findings(payload: dict[str, Any]) -> bool:
     findings = payload.get("findings")
-    return isinstance(findings, list) and any(
-        isinstance(item, dict)
-        and item.get("status") == "open"
-        and item.get("severity") in {"BLOCKER", "HIGH", "MEDIUM"}
-        for item in findings
-    )
+    return isinstance(findings, list) and bool(open_blocking_finding_ids(findings))
 
 
 __all__ = [

{agent_lifecycle_kit-2.6.0 → agent_lifecycle_kit-2.7.0}/src/agent_lifecycle/contracts/independent_evidence_schemas.py

@@ -12,7 +12,7 @@ INDEPENDENT_EVIDENCE_SCHEMA = "agent-independent-evidence.v1"
 INDEPENDENT_EVIDENCE_VALIDATION_SCHEMA = "agent-independent-evidence-validation.v1"
 
 INDEPENDENCE_DIMENSIONS = ("producer", "implementation", "source")
-INDEPENDENCE_METHODS = ("deterministic-check", "human-review")
+INDEPENDENCE_METHODS = ("deterministic-check", "human-review", "statistical-check")
 INDEPENDENCE_SOURCE_POLICIES = ("exact-revision", "current-lineage", "any-current")
 INDEPENDENT_EVIDENCE_STATUSES = ("PASS", "FAIL", "UNAVAILABLE")
 
@@ -278,6 +278,7 @@ def validate_independent_evidence(
         requirement_validation = validate_independence_requirement(requirement)
         if requirement_validation["status"] != "PASS":
             blockers.append({"code": "independent-evidence-requirement-invalid", "validation": requirement_validation})
+            return _evidence_validation(evidence, blockers, "NOT_PROVEN")
         elif evidence.get("requirementDigest") != requirement.get("requirementDigest"):
             blockers.append({"code": "independent-evidence-requirement-mismatch"})
         required = requirement.get("required") is True