forgexa-cli 1.85.2__tar.gz → 1.85.3__tar.gz

{forgexa_cli-1.85.2 → forgexa_cli-1.85.3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: forgexa-cli
-Version: 1.85.2
+Version: 1.85.3
 Summary: Forgexa CLI — command-line client and AI agent runtime for the Forgexa platform
 Author-email: Jason Sun <dev.winds@gmail.com>
 License-Expression: MIT

{forgexa_cli-1.85.2 → forgexa_cli-1.85.3}/forgexa_cli/__init__.py

@@ -1,2 +1,2 @@
 """forgexa-cli — Forgexa command-line client."""
-__version__ = "1.85.2"
+__version__ = "1.85.3"

{forgexa_cli-1.85.2 → forgexa_cli-1.85.3}/forgexa_cli/agent_core.py

@@ -79,10 +79,114 @@ LOCAL_BIND_PRIVATE_VALIDATION_METRIC_KEYS = frozenset({
 })
 
 
-def assess_approved_plan_conformance(baseline: dict, report: object) -> dict:
+def verification_obligation_fingerprint(task: dict) -> str:
+    task_input = task.get("input") if isinstance(task.get("input"), dict) else {}
+    responsibility = {
+        "id": task.get("id"), "type": task.get("type"), "description": task.get("description") or "",
+        "items": task.get("items") or [], "depends_on": task.get("depends_on") or [],
+        "files": task_input.get("files") or task.get("files") or [],
+    }
+    return hashlib.sha256(json.dumps(responsibility, sort_keys=True, ensure_ascii=True, separators=(",", ":")).encode()).hexdigest()
+
+
+def approved_contribution_review_instructions(baseline: dict, audit_contract: dict | None) -> str:
+    task = baseline.get("task") or {}
+    obligations = baseline.get("verification_obligations") or {}
+    if (
+        not isinstance(audit_contract, dict) or audit_contract.get("version") != 2
+        or audit_contract.get("plan_id") != baseline.get("plan_id") or audit_contract.get("subject_task_id") != task.get("id")
+        or audit_contract.get("final_verification") is not False or task.get("type") not in ("coding", "fix")
+        or not isinstance(obligations, dict) or type(obligations.get("version")) is not int or obligations["version"] != 1
+    ):
+        return ""
+    verifiers = [check for check in obligations.get("checks") or [] if isinstance(check, dict)
+                 and check.get("type") in ("testing", "verify") and check.get("task_id") != task["id"]]
+    if not verifiers:
+        return ""
+    example = {"contribution_check": {"check_id": str(task["id"]) + ":assigned", "status": "unverified",
+                "evidence": ["<independent source and every assigned check evidence>"]},
+               "pending_checks": [{"check_id": verifiers[0]["check_id"], "task_id": verifiers[0]["task_id"],
+                   "status": "unverified", "evidence": ["<observed outstanding approved verification>"]}]}
+    return (
+        "\n## Assigned Contribution and Pending Verification\n"
+        "Within the bound plan_conformance object, contribution_check covers all requirements and mandatory checks of this task, "
+        "not only static source. When independently evidenced as conformant, other approved verification owners may remain pending. "
+        "Use the exact frozen check_id/task_id pairs; this does not authorize moving an own check to another owner, "
+        "inventing an owner, waiving a check or changing its phase. Keep the overall status unverified while pending_checks remain. "
+        "The score and verdict assess the assigned contribution, not unfinished work assigned elsewhere. "
+        "A real own gap stays deviation or unverified. The default example is not completion evidence.\n"
+        "Scoped contribution fields example:\n" + json.dumps(example, ensure_ascii=True, separators=(",", ":"))
+    )
+
+
+def _assess_contribution_conformance(baseline: dict, report: dict, audit_contract: dict | None, result: dict) -> dict:
+    obligations = baseline.get("verification_obligations")
+    subject = result["task_id"]
+    if (
+        not isinstance(audit_contract, dict) or audit_contract.get("version") != 2
+        or audit_contract.get("plan_id") != baseline.get("plan_id")
+        or audit_contract.get("subject_task_id") != subject or audit_contract.get("final_verification") is not False
+        or (baseline.get("task") or {}).get("type") not in ("coding", "fix")
+        or not isinstance(obligations, dict) or type(obligations.get("version")) is not int or obligations["version"] != 1
+    ):
+        return result
+    checks = obligations.get("checks")
+    if not isinstance(checks, list) or any(not isinstance(check, dict) for check in checks):
+        return result
+    by_id = {check.get("check_id"): check for check in checks if isinstance(check.get("check_id"), str)}
+    own = by_id.get(str(subject) + ":assigned")
+    tasks = audit_contract.get("tasks")
+    if not isinstance(tasks, list) or any(not isinstance(task, dict) or not isinstance(task.get("id"), str) for task in tasks):
+        return result
+    approved = {task["id"]: task for task in tasks}
+    contribution = report.get("contribution_check")
+    pending = report.get("pending_checks")
+    if (
+        len(by_id) != len(checks) or not isinstance(own, dict) or own.get("task_id") != subject
+        or subject not in approved or own.get("task_fingerprint") != verification_obligation_fingerprint(approved[subject])
+        or own.get("task_fingerprint") != verification_obligation_fingerprint(baseline["task"])
+        or own.get("required") is not True or not isinstance(contribution, dict)
+        or contribution.get("check_id") != own["check_id"] or contribution.get("status") != "conformant"
+        or contribution.get("plan_revision") is not None
+        or not isinstance(pending, list) or not pending
+    ):
+        return result
+    evidence = contribution.get("evidence")
+    if not isinstance(evidence, list) or not evidence or any(not isinstance(item, str) or not item.strip() for item in evidence):
+        return result
+    normalized = []
+    seen = set()
+    for check in pending:
+        if not isinstance(check, dict) or not isinstance(check.get("check_id"), str):
+            return result
+        binding = by_id.get(check["check_id"])
+        references = check.get("evidence")
+        reason = check.get("blocking_reason")
+        if (
+            not isinstance(binding, dict) or check["check_id"] in seen or binding.get("required") is not True
+            or check.get("task_id") == subject or binding.get("task_id") != check.get("task_id")
+            or binding.get("type") not in ("testing", "verify") or approved.get(check.get("task_id"), {}).get("type") != binding.get("type")
+            or binding.get("task_fingerprint") != verification_obligation_fingerprint(approved.get(check.get("task_id"), {}))
+            or check.get("status") not in ("blocked", "unverified") or check.get("plan_revision") is not None
+            or not isinstance(references, list) or not references
+            or any(not isinstance(item, str) or not item.strip() for item in references)
+            or reason is not None and (not isinstance(reason, str) or reason not in IMPLEMENTATION_ENVIRONMENT_BLOCKERS)
+        ):
+            return result
+        seen.add(check["check_id"])
+        normalized.append({"check_id": check["check_id"], "task_id": check["task_id"], "status": check["status"],
+                           "evidence_refs": [hashlib.sha256(item.encode()).hexdigest() for item in references],
+                           **({"blocking_reason": reason} if reason is not None else {})})
+    result.update(node_complete=True, contribution_check={"check_id": own["check_id"], "status": "conformant",
+        "evidence_refs": [hashlib.sha256(item.encode()).hexdigest() for item in evidence]}, pending_checks=normalized,
+        verification_pending=sorted({check["task_id"] for check in normalized}))
+    return result
+
+
+def assess_approved_plan_conformance(baseline: dict, report: object, *, audit_contract: dict | None = None) -> dict:
     result = {
         "status": "unverified", "baseline_fingerprint": baseline.get("fingerprint"),
-        "task_id": (baseline.get("task") or {}).get("id"), "evidence_refs": [],
+        "task_id": (baseline.get("task") or {}).get("id"), "evidence_refs": [], "node_complete": False,
     }
     expected = {key: value for key, value in baseline.items() if key != "fingerprint"}
     fingerprint = hashlib.sha256(json.dumps(
@@ -114,8 +218,20 @@ def assess_approved_plan_conformance(baseline: dict, report: object) -> dict:
         result["reason"] = "approved_plan_review_evidence_missing"
         result["diagnostic_code"] = "approved_plan_review_evidence_missing"
         return result
+    contribution = report.get("contribution_check")
+    if report["status"] == "conformant" and (
+        bool(report.get("pending_checks"))
+        or "pending_checks" in report and not isinstance(report["pending_checks"], list)
+        or contribution is not None and (not isinstance(contribution, dict) or contribution.get("status") != "conformant")
+    ):
+        result["reason"] = "approved_plan_review_missing_or_mismatched"
+        result["diagnostic_code"] = "approved_plan_review_contribution_conflict"
+        return result
     result["status"] = report["status"]
     result["evidence_refs"] = [hashlib.sha256(item.encode()).hexdigest() for item in evidence]
+    result["node_complete"] = report["status"] == "conformant"
+    if report["status"] == "unverified" and report.get("contribution_check") is not None:
+        return _assess_contribution_conformance(baseline, report, audit_contract, result)
     return result
 
 

{forgexa_cli-1.85.2 → forgexa_cli-1.85.3}/forgexa_cli/daemon.py

@@ -1234,7 +1234,7 @@ except (ImportError, ModuleNotFoundError):
 # DAEMON_VERSION is the protocol/logic version of the daemon code.
 # Kept in sync with pyproject.toml version via bump-version.sh.
 # CLIENT_TYPE identifies which packaging/distribution this daemon runs in.
-DAEMON_VERSION = "1.85.2"
+DAEMON_VERSION = "1.85.3"
 
 
 def _detect_client_type() -> str:
@@ -1809,6 +1809,7 @@ def _build_runtime_critic_prompt(
                 "failed checks remain blocking. State the concrete missing evidence; never invent a run, "
                 "treat asset existence as proof of correctness, or claim final QA or release acceptance."
             )
+        parts.append(agent_core.approved_contribution_review_instructions(baseline, audit_contract))
     else:
         planned_context = {
             key: (task.input_data or {}).get(key)
@@ -14292,7 +14293,8 @@ class RuntimeDaemon:
                     **metadata,
                 }
             conformance = (
-                agent_core.assess_approved_plan_conformance(baseline, structured_result.get("plan_conformance"))
+                agent_core.assess_approved_plan_conformance(baseline, structured_result.get("plan_conformance"),
+                    audit_contract=(task.input_data or {}).get("implementation_audit_contract"))
                 if isinstance(baseline, dict) else None
             )
             if conformance is not None and conformance["status"] != "conformant":
@@ -14320,6 +14322,15 @@ class RuntimeDaemon:
                         "evidence": conformance["evidence_refs"],
                     },
                 }
+                if conformance.get("node_complete") and conformance["status"] == "unverified":
+                    contribution = conformance["contribution_check"]
+                    structured_result["plan_conformance"]["contribution_check"] = {
+                        "check_id": contribution["check_id"], "status": contribution["status"], "evidence": contribution["evidence_refs"],
+                    }
+                    structured_result["plan_conformance"]["pending_checks"] = [{
+                        "check_id": check["check_id"], "task_id": check["task_id"], "status": check["status"], "evidence": check["evidence_refs"],
+                        **({"blocking_reason": check["blocking_reason"]} if "blocking_reason" in check else {}),
+                    } for check in conformance["pending_checks"]]
             encoded_result = json.dumps(
                 structured_result,
                 ensure_ascii=True,
@@ -14512,6 +14523,7 @@ class RuntimeDaemon:
             delivered_files = list(result.files_changed)
             delivered_files.extend(input_data.get("planned_task_predecessor_files") or [])
             for missing_path in agent_core.missing_planned_task_files(input_data, delivered_files):
+                result.metrics["failure_domain"] = "delivery"
                 issues.append(_OutputValidationIssue(
                     "planned_task_incomplete",
                     f"Planned task file has no implementation evidence: {missing_path}. "
@@ -16516,7 +16528,10 @@ class RuntimeDaemon:
                 ])
 
             if (
-                agent_core.is_implementation_testing_task(task.node_type, task.input_data or {})
+                result.metrics.get("failure_domain") == "environment" and all(
+                    issue.code in {"implementation_audit_incomplete", "acceptance_criteria_uncovered"} for issue in issues
+                )
+                or agent_core.is_implementation_testing_task(task.node_type, task.input_data or {})
                 and result.metrics.get("implementation_audit_subject_blocked") is True
             ):
                 result.status = "failed"
@@ -16719,7 +16734,8 @@ class RuntimeDaemon:
                     result.failure_code = "implementation_audit_incomplete"
                     result.error = "; ".join(remaining[:3])
                     if (
-                        agent_core.is_implementation_testing_task(task.node_type, task.input_data or {})
+                        result.metrics.get("failure_domain") == "environment"
+                        or agent_core.is_implementation_testing_task(task.node_type, task.input_data or {})
                         and result.metrics.get("implementation_audit_subject_blocked") is True
                     ):
                         result.error += ". Resolve the reported verification prerequisites before retrying."

{forgexa_cli-1.85.2 → forgexa_cli-1.85.3}/forgexa_cli.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: forgexa-cli
-Version: 1.85.2
+Version: 1.85.3
 Summary: Forgexa CLI — command-line client and AI agent runtime for the Forgexa platform
 Author-email: Jason Sun <dev.winds@gmail.com>
 License-Expression: MIT

{forgexa_cli-1.85.2 → forgexa_cli-1.85.3}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "forgexa-cli"
-version = "1.85.2"
+version = "1.85.3"
 description = "Forgexa CLI — command-line client and AI agent runtime for the Forgexa platform"
 requires-python = ">=3.9"
 license = "MIT"