agent-lifecycle-kit 2.37.0__tar.gz → 2.38.0__tar.gz

{agent_lifecycle_kit-2.37.0/src/agent_lifecycle_kit.egg-info → agent_lifecycle_kit-2.38.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: agent-lifecycle-kit
-Version: 2.37.0
+Version: 2.38.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
@@ -42,7 +42,7 @@ Release 2.28 adds [bounded lifecycle and accounting baselines](docs/reference/pe
 ## Quick start
 Start with [install ALK and make the first run](docs/guides/install-and-first-run.md). Release 2.23 adds [compact S0/S1 authoring](docs/reference/tier-proportional-plan-packages.md) with explicit checklist completion and unchanged approval gates. Release 2.22 adds [conservative plan-review reuse](docs/reference/conservative-delta-review.md) with independent current applicability and no automatic full reruns. Release 2.21 adds [command accounting, bounded preparation and response recovery](docs/reference/source-native-workflow-accounting.md). Release 2.20 adds [target-bound initialization](docs/reference/cli.md#release-220-composed-initialization-and-digest-display), [bounded local continuation](docs/reference/workflow-continuation.md) and batched Git snapshots. Release 2.19 adds [safe artifact authoring and planning preflight](docs/reference/safe-artifact-authoring.md), [bounded review handoff](docs/reference/review-mesh.md#bounded-review-handoff) and thin skills with complete references. Release 2.18 bounds process/Git diagnostics, hardens signing and distinguishes OpenCode 1.x/2.x compatibility ([adapter notes](docs/adapters/opencode.md)); 2.17 strengthens [workflow validation and recovery](docs/reference/workflow-completeness.md). Release 2.16 introduced cumulative accounting within verified host capabilities; see [retention maintenance](docs/operations/retention-maintenance.md).
 
-It includes macOS, Linux and Windows instructions, Python 3.11-3.15, [PyPI](https://pypi.org/project/agent-lifecycle-kit/) installation with `python -m pip install agent-lifecycle-kit==2.37.0`, and common `agent-lifecycle version` errors. See [2.15 migration notes](docs/reference/cli.md#migrating-authority-artifacts-to-215) and [authority boundaries](docs/reference/authority-artifact-boundaries.md).
+It includes macOS, Linux and Windows instructions, Python 3.11-3.15, [PyPI](https://pypi.org/project/agent-lifecycle-kit/) installation with `python -m pip install agent-lifecycle-kit==2.38.0`, and common `agent-lifecycle version` errors. See [2.15 migration notes](docs/reference/cli.md#migrating-authority-artifacts-to-215) and [authority boundaries](docs/reference/authority-artifact-boundaries.md).
 
 For a quick start, run:
 

{agent_lifecycle_kit-2.37.0 → agent_lifecycle_kit-2.38.0}/README.md

@@ -19,7 +19,7 @@ Release 2.28 adds [bounded lifecycle and accounting baselines](docs/reference/pe
 ## Quick start
 Start with [install ALK and make the first run](docs/guides/install-and-first-run.md). Release 2.23 adds [compact S0/S1 authoring](docs/reference/tier-proportional-plan-packages.md) with explicit checklist completion and unchanged approval gates. Release 2.22 adds [conservative plan-review reuse](docs/reference/conservative-delta-review.md) with independent current applicability and no automatic full reruns. Release 2.21 adds [command accounting, bounded preparation and response recovery](docs/reference/source-native-workflow-accounting.md). Release 2.20 adds [target-bound initialization](docs/reference/cli.md#release-220-composed-initialization-and-digest-display), [bounded local continuation](docs/reference/workflow-continuation.md) and batched Git snapshots. Release 2.19 adds [safe artifact authoring and planning preflight](docs/reference/safe-artifact-authoring.md), [bounded review handoff](docs/reference/review-mesh.md#bounded-review-handoff) and thin skills with complete references. Release 2.18 bounds process/Git diagnostics, hardens signing and distinguishes OpenCode 1.x/2.x compatibility ([adapter notes](docs/adapters/opencode.md)); 2.17 strengthens [workflow validation and recovery](docs/reference/workflow-completeness.md). Release 2.16 introduced cumulative accounting within verified host capabilities; see [retention maintenance](docs/operations/retention-maintenance.md).
 
-It includes macOS, Linux and Windows instructions, Python 3.11-3.15, [PyPI](https://pypi.org/project/agent-lifecycle-kit/) installation with `python -m pip install agent-lifecycle-kit==2.37.0`, and common `agent-lifecycle version` errors. See [2.15 migration notes](docs/reference/cli.md#migrating-authority-artifacts-to-215) and [authority boundaries](docs/reference/authority-artifact-boundaries.md).
+It includes macOS, Linux and Windows instructions, Python 3.11-3.15, [PyPI](https://pypi.org/project/agent-lifecycle-kit/) installation with `python -m pip install agent-lifecycle-kit==2.38.0`, and common `agent-lifecycle version` errors. See [2.15 migration notes](docs/reference/cli.md#migrating-authority-artifacts-to-215) and [authority boundaries](docs/reference/authority-artifact-boundaries.md).
 
 For a quick start, run:
 

{agent_lifecycle_kit-2.37.0 → agent_lifecycle_kit-2.38.0}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "agent-lifecycle-kit"
-version = "2.37.0"
+version = "2.38.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.16"

{agent_lifecycle_kit-2.37.0 → agent_lifecycle_kit-2.38.0}/src/agent_lifecycle/_version.py

@@ -1,3 +1,3 @@
 """Package version."""
 
-__version__ = "2.37.0"
+__version__ = "2.38.0"

{agent_lifecycle_kit-2.37.0 → agent_lifecycle_kit-2.38.0}/src/agent_lifecycle/cli/plan_lock_commands.py

@@ -243,6 +243,14 @@ def _relocated_candidate(
         spec["status"] = "FROZEN"
         if isinstance(spec.get("source"), str):
             spec["source"] = relocate(spec["source"])
+    workstreams = candidate.get("workstreams")
+    if isinstance(workstreams, list):
+        for workstream in workstreams:
+            if not isinstance(workstream, dict) or "decisionResearch" not in workstream:
+                continue
+            references = workstream.get("contextRefs")
+            if isinstance(references, list):
+                workstream["contextRefs"] = [relocate(name) if isinstance(name, str) else name for name in references]
     review = relocate(
         manifest.get("planReview", {}).get(
             "report",

{agent_lifecycle_kit-2.37.0 → agent_lifecycle_kit-2.38.0}/src/agent_lifecycle/contracts/plan_manifest_schemas.py

@@ -197,4 +197,171 @@ PLAN_MANIFEST_SCHEMAS[MANIFEST_SCHEMA]["$defs"] = {
     },
 }
 
+DECISION_REQUIREMENT_SCHEMA = "agent-decision-research-requirement.v1"
+DECISION_RECORD_SCHEMA = "agent-decision-research-record.v1"
+DECISION_SCOPE = "FROZEN_CONTEXT_INPUTS"
+DECISION_CAPS = {
+    "maxInputs": (1, 8),
+    "maxInputBytes": (1, 65536),
+    "maxRecordBytes": (1, 262144),
+    "maxEntryPoints": (1, 3),
+    "maxAlternatives": (1, 3),
+    "maxProbes": (0, 1),
+    "maxReviewRounds": (1, 2),
+}
+DECISION_CRITERIA = {
+    "S0": ("requirement-fit",),
+    "S1": ("requirement-fit", "security"),
+    "S2": ("requirement-fit", "architecture", "security", "resources", "feasibility"),
+}
+
+
+def _decision_object(properties: dict[str, Any], required: list[str] | None = None) -> dict[str, Any]:
+    return {
+        "type": "object",
+        "additionalProperties": False,
+        "properties": properties,
+        "required": list(properties) if required is None else required,
+    }
+
+
+_DECISION_DIGEST = {"type": "string", "pattern": "^[0-9a-f]{64}$"}
+_DECISION_TEXT = {"type": "string", "minLength": 1, "maxLength": 4096}
+_DECISION_ID = {"type": "string", "minLength": 1, "maxLength": 128}
+_DECISION_LEAF = {
+    "type": "string",
+    "minLength": 1,
+    "maxLength": 255,
+    "pattern": r"^[^/\\:\x00]+$",
+}
+_DECISION_PROFILE = _decision_object(
+    {
+        "tier": {"enum": list(DECISION_CRITERIA)},
+        "requiredCriteria": {
+            "type": "array",
+            "minItems": 1,
+            "maxItems": 16,
+            "uniqueItems": True,
+            "items": _DECISION_ID,
+        },
+        **{name: {"type": "integer", "minimum": low, "maximum": high} for name, (low, high) in DECISION_CAPS.items()},
+    }
+)
+_DECISION_INPUT = _decision_object(
+    {
+        "sourceId": _DECISION_ID,
+        "path": _DECISION_LEAF,
+        "sha256": _DECISION_DIGEST,
+    }
+)
+_DECISION_RECORD_REF = _decision_object(
+    {
+        "path": _DECISION_LEAF,
+        "sha256": _DECISION_DIGEST,
+    }
+)
+_DECISION_REQUIREMENT_PROPERTIES = {
+    "schemaVersion": {"const": DECISION_REQUIREMENT_SCHEMA},
+    "scope": {"const": DECISION_SCOPE},
+    "profile": _DECISION_PROFILE,
+    "inputs": {
+        "type": "array",
+        "minItems": 1,
+        "maxItems": 8,
+        "items": _DECISION_INPUT,
+    },
+    "record": _DECISION_RECORD_REF,
+    "scopeDigest": _DECISION_DIGEST,
+    "inputDigest": _DECISION_DIGEST,
+    "policyDigest": _DECISION_DIGEST,
+}
+_DECISION_ALTERNATIVE = _decision_object(
+    {
+        "id": _DECISION_ID,
+        "kind": {"enum": ["NO_CHANGE", "SIMPLIFY", "REPLACE"]},
+        "title": _DECISION_ID,
+        "rationale": _DECISION_TEXT,
+    }
+)
+_DECISION_ASSESSMENT = _decision_object(
+    {
+        "criterion": _DECISION_ID,
+        "status": {"enum": ["ADDRESSED", "NOT_APPLICABLE"]},
+        "rationale": _DECISION_TEXT,
+        "sourceIds": {
+            "type": "array",
+            "maxItems": 8,
+            "uniqueItems": True,
+            "items": _DECISION_ID,
+        },
+    },
+    required=["criterion", "status", "rationale"],
+)
+_DECISION_BUDGET = _decision_object(
+    {
+        "maxCommands": {"type": "integer", "minimum": 1, "maximum": 100},
+        "maxActiveSeconds": {"type": "integer", "minimum": 1, "maximum": 3600},
+        "reservedCommands": {"type": "integer", "minimum": 1, "maximum": 99},
+        "usageStatus": {"enum": ["UNAVAILABLE", "DECLARED"]},
+        "usedCommands": {"type": ["integer", "null"], "minimum": 0},
+        "usedActiveSeconds": {"type": ["number", "null"], "minimum": 0},
+    }
+)
+_DECISION_RECORD_PROPERTIES: dict[str, Any] = {
+    "schemaVersion": {"const": DECISION_RECORD_SCHEMA},
+    "scopeDigest": _DECISION_DIGEST,
+    "inputDigest": _DECISION_DIGEST,
+    "policyDigest": _DECISION_DIGEST,
+    "ownerId": _DECISION_ID,
+    "entryPoints": {
+        "type": "array",
+        "minItems": 1,
+        "maxItems": 3,
+        "uniqueItems": True,
+        "items": {"type": "string", "minLength": 1, "maxLength": 255},
+    },
+    "alternatives": {
+        "type": "array",
+        "minItems": 1,
+        "maxItems": 3,
+        "items": _DECISION_ALTERNATIVE,
+    },
+    "selectedAlternativeId": _DECISION_ID,
+    "outcome": {"enum": ["KEEP", "SIMPLIFY", "REPLACE", "SPLIT", "STOP"]},
+    "assessments": {
+        "type": "array",
+        "minItems": 1,
+        "maxItems": 16,
+        "items": _DECISION_ASSESSMENT,
+    },
+    "budget": _DECISION_BUDGET,
+    "probeCount": {"type": "integer", "minimum": 0, "maximum": 1},
+    "reviewRoundCount": {"type": "integer", "minimum": 1, "maximum": 2},
+    "sourceOfTruth": {"const": False},
+    "lifecycleAuthority": {"const": "none"},
+    "productionPromotionClaimed": {"const": False},
+    "optimalityClaimed": {"const": False},
+    "evidencePackage": {"type": "object"},
+}
+for _schema_id, _properties, _required in (
+    (
+        DECISION_REQUIREMENT_SCHEMA,
+        _DECISION_REQUIREMENT_PROPERTIES,
+        list(_DECISION_REQUIREMENT_PROPERTIES),
+    ),
+    (
+        DECISION_RECORD_SCHEMA,
+        _DECISION_RECORD_PROPERTIES,
+        [key for key in _DECISION_RECORD_PROPERTIES if key != "evidencePackage"],
+    ),
+):
+    PLAN_MANIFEST_SCHEMAS[_schema_id] = {
+        "$schema": "https://json-schema.org/draft/2020-12/schema",
+        "$id": _schema_id,
+        **_decision_object(_properties, _required),
+    }
+PLAN_MANIFEST_SCHEMAS[MANIFEST_SCHEMA]["properties"]["workstreams"]["items"]["properties"]["decisionResearch"] = (
+    PLAN_MANIFEST_SCHEMAS[DECISION_REQUIREMENT_SCHEMA]
+)
+
 __all__ = ["MANIFEST_SCHEMA", "MANIFEST_VALIDATION_SCHEMA", "PLAN_MANIFEST_SCHEMAS"]

{agent_lifecycle_kit-2.37.0 → agent_lifecycle_kit-2.38.0}/src/agent_lifecycle/planning/completeness.py

@@ -16,6 +16,7 @@ from agent_lifecycle.contracts.ownership_paths import (
 from agent_lifecycle.contracts.statistical_evidence_schemas import validate_statistical_evidence_requirement
 from agent_lifecycle.planning.traceability import validate_plan_traceability
 from agent_lifecycle.quality.validation_ladder import validation_ladder_manifest_blockers
+from agent_lifecycle.research.preflight import decision_research_blockers
 
 PROFILE_SCHEMA = "agent-plan-completeness-profile.v1"
 VALIDATION_SCHEMA = "agent-plan-completeness-validation.v1"
@@ -131,6 +132,7 @@ def validate_plan_completeness(
     active_profile = profile or build_plan_completeness_profile()
     profile_validation = validate_plan_completeness_profile(active_profile)
     blockers = list(profile_validation["blockers"])
+    blockers.extend(decision_research_blockers(manifest))
     tier = _tier(manifest)
     if tier not in SUPPORTED_TIERS:
         blockers.append(_blocker("invalid-plan-tier", "plan tier must be S0, S1 or S2", {"tier": tier}))
@@ -138,6 +140,11 @@ def validate_plan_completeness(
     required_checks = _required_checks(active_profile, tier)
     for check in required_checks:
         _CHECKS[check](manifest, tier, blockers)
+    workstreams = manifest.get("workstreams", [])
+    if isinstance(workstreams, list) and any(
+        isinstance(item, dict) and "decisionResearch" in item for item in workstreams
+    ):
+        required_checks = [*required_checks, "decision-research"]
     if tier == "S2":
         _check_s2_integrity(manifest, blockers)
         _check_traceability(manifest, tier, blockers)

{agent_lifecycle_kit-2.37.0 → agent_lifecycle_kit-2.38.0}/src/agent_lifecycle/planning/manifest_contract.py

@@ -19,6 +19,7 @@ from agent_lifecycle.contracts.plan_manifest_schemas import (
     MANIFEST_VALIDATION_SCHEMA,
 )
 from agent_lifecycle.planning.prerequisites import prerequisite_dependencies
+from agent_lifecycle.research.preflight import decision_research_blockers
 
 _TOP_LEVEL = {
     "schemaVersion",
@@ -117,6 +118,7 @@ _WORKSTREAM = {
     "taskShape",
     "qualityFloor",
     "immutableInput",
+    "decisionResearch",
 }
 _ACCEPTANCE = {"criteria", "evidence", "releaseGate", "qualityFloor"}
 _CRITERION = {
@@ -221,6 +223,7 @@ def validate_plan_manifest_contract(manifest: dict[str, Any]) -> dict[str, Any]:
     _validate_nested(manifest, blockers)
     blockers.extend(_artifact_path_blockers(manifest))
     _validate_immutable_input_policy(manifest, blockers)
+    blockers.extend(decision_research_blockers(manifest))
     _validate_extensions(manifest.get("extensions"), blockers)
     return _result(manifest, blockers)
 

{agent_lifecycle_kit-2.37.0 → agent_lifecycle_kit-2.38.0}/src/agent_lifecycle/planning/task_compatibility.py

@@ -43,10 +43,13 @@ ACCEPTED_ARTIFACT_KEYS = (
 def canonical_task_contract(task: dict[str, Any]) -> dict[str, Any]:
     """Return the exact task fields whose equality permits preservation."""
 
-    return {
+    contract = {
         key: deepcopy(task.get(key, []) if key in EMPTY_LIST_CONTRACT_KEYS else task.get(key))
         for key in TASK_CONTRACT_KEYS
     }
+    if "decisionResearch" in task:
+        contract["decisionResearch"] = deepcopy(task["decisionResearch"])
+    return contract
 
 
 def task_contract_digest(task: dict[str, Any]) -> str:
@@ -185,21 +188,38 @@ def _validate_prior_report(
     if not isinstance(previous_plan, dict):
         blockers.append({"code": "task-plan-compatibility-previous-plan"})
         return
-    for key in ("runId", "packageId", "sourceRevision"):
+    expected_identity = artifacts.get("implementationAuditReport")
+    report_hash = canonical_digest(report)
+    plan_compatible = _report_plan_lineage_is_compatible(report, previous_plan)
+    source = report.get("sourceRevision")
+    preserved_origin = (
+        plan_compatible
+        and report.get("planRevision") != previous_plan.get("planRevision")
+        and isinstance(expected_identity, dict)
+        and report_hash == expected_identity.get("sha256")
+    )
+    for key in ("runId", "packageId"):
         if report.get(key) != previous_plan.get(key):
             blockers.append({"code": "task-plan-compatibility-report-lineage", "field": key})
-    if not _report_plan_lineage_is_compatible(report, previous_plan):
+    if (
+        not isinstance(source, str)
+        or not source.strip()
+        or (source != previous_plan.get("sourceRevision") and not preserved_origin)
+    ):
+        blockers.append({"code": "task-plan-compatibility-report-lineage", "field": "sourceRevision"})
+    if not plan_compatible:
         for key in ("planRevision", "planDigest"):
             blockers.append({"code": "task-plan-compatibility-report-lineage", "field": key})
     if report.get("taskId") != task.get("id") or report.get("attempt") != task.get("attempt"):
         blockers.append({"code": "task-plan-compatibility-report-task"})
-    expected_identity = artifacts.get("implementationAuditReport")
     if not isinstance(expected_identity, dict) or not isinstance(report_identity, dict):
         blockers.append({"code": "task-plan-compatibility-report-identity-missing"})
         return
     for key in ("path", "sha256", "bytes"):
         if report_identity.get(key) != expected_identity.get(key):
             blockers.append({"code": "task-plan-compatibility-report-identity", "field": key})
+    if report_hash != expected_identity.get("sha256"):
+        blockers.append({"code": "task-plan-compatibility-report-identity", "field": "sha256"})
     if report.get("reportDigest") != expected_identity.get("reportDigest"):
         blockers.append({"code": "task-plan-compatibility-report-digest"})