feat(deploy): register L1 credential provenance successor

2026-07-24 17:40:34 +03:00
parent c19b0789c7
commit a9fe5f44e3
3 changed files with 931 additions and 0 deletions
@@ -787,6 +787,36 @@ ENGINE_MCP_L1_CREDENTIAL_REUSE_TARGET_SHA256 = {
 ENGINE_MCP_L1_CREDENTIAL_REUSE_NEW_PATHS = (
    ENGINE_MCP_L1_CREDENTIAL_REUSE_DESCRIPTOR_REL,
 )
+ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_DESCRIPTOR_REL = (
+    "nodedc-source/server/deployTransitions/l1CredentialProvenanceV2.json"
+)
+ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_ARTIFACT_ENTRIES = (
+    "nodedc-source/server/routes/n8n.js",
+    ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_DESCRIPTOR_REL,
+)
+ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_PREDECESSOR_SHA256 = {
+    "nodedc-source/server/routes/n8n.js":
+        "6620e4bdd573e9f6b636a4b059eafef76d59da2fdb2183038fa5ec95357d8478",
+}
+ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_FOUNDATION_SHA256 = {
+    "nodedc-source/server/routes/engineAgentGateway.js":
+        "4a9524fd954320277042c783b7b19cbb2172f075f27652c0eebfd743ffc47872",
+    ENGINE_MCP_NORMALIZED_IDENTITY_SEARCH_DESCRIPTOR_REL:
+        "41738185fe103642912b0aa1c29c51860970c38f9f916cc3725e79e258b9ea7e",
+    ENGINE_NODE_INTELLIGENCE_DESCRIPTOR_REL:
+        "3e7aeb1d28eb291461f79cd656ece6488bc6d372124088e92f53bf89c3373f61",
+    ENGINE_MCP_L1_CREDENTIAL_REUSE_DESCRIPTOR_REL:
+        "2ada49ef8bb2f146a9ea8d3c9ab5ee55f6a4e1b17e0f4b62a16f27368bd0eb05",
+}
+ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_TARGET_SHA256 = {
+    "nodedc-source/server/routes/n8n.js":
+        "af07edcf784c420855134ab9178f020d259a1cac703cd643418ab7b4eb94dbd3",
+    ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_DESCRIPTOR_REL:
+        "5887da6e5cb611450e03a110be9786acbe47ae1b00217b8bf09e0967f71f6a3d",
+}
+ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_NEW_PATHS = (
+    ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_DESCRIPTOR_REL,
+)
 ENGINE_AGENT_FULL_GRANT_MIGRATION_ARTIFACT_ENTRIES = (
    ENGINE_AGENT_FULL_GRANT_MIGRATION_STORE_REL,
 )
@@ -4854,6 +4884,48 @@ process.stdout.write('engine-mcp-l1-credential-reuse:0.11.0:same-l1:opaque-ref:v
    }


+def accept_engine_mcp_l1_credential_provenance_runtime():
+    root = component_root("engine")
+    validate_engine_mcp_l1_credential_provenance_slice(
+        root,
+        ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_ARTIFACT_ENTRIES,
+    )
+    live = run_engine_backend_probe(
+        (
+            "node",
+            "--input-type=module",
+            "-e",
+            """
+const route=await import('file:///app/server/routes/n8n.js');
+const slot='httpBearerAuth';
+const common={nodeDcCredentialId:'credential-provider',n8nCredentialId:'runtime-provider',type:slot,name:'Provider read access',source:'manual',status:'ok',data:{token:'synthetic'}};
+const workflowRef={...common,source:'workflow-ref'};
+const workflowRefWithoutSync={...workflowRef,data:{}};
+const sameL1=new Set([common.nodeDcCredentialId]);
+const graph={nodes:[{id:'source-reader',data:{n8n:{type:'n8n-nodes-base.httpRequest',parameters:{url:'https://api.provider.example/v1/items'},credentials:{[slot]:{id:common.n8nCredentialId,name:common.name,nodeDcCredentialId:common.nodeDcCredentialId}}}}}]};
+const target={type:'n8n-nodes-base.httpRequest',parameters:{url:'https://api.provider.example/v1/identity'}};
+const allowed=route.buildEngineAgentCredentialTransportPolicy({...common,data:{allowedHttpRequestDomains:'all'}},graph,slot,target);
+if(!route.engineAgentCredentialMayProveL1Provenance(workflowRef)||route.engineAgentCredentialMayProveL1Provenance(workflowRefWithoutSync)||route.engineAgentCredentialMayReuseWithinL1(workflowRef)||route.engineAgentCandidateScope(common,{localEntries:[]},sameL1)!=='l1'||!allowed.bindable||allowed.policy?.allowedHosts?.join(',')!=='api.provider.example')process.exit(2);
+process.stdout.write('engine-mcp-l1-credential-provenance:0.11.0:workflow-ref-sync-proof:v2');
+""".strip(),
+        ),
+        "Engine MCP L1 credential provenance",
+        container_id=engine_backend_container_id(),
+    )
+    expected = (
+        "engine-mcp-l1-credential-provenance:"
+        "0.11.0:workflow-ref-sync-proof:v2"
+    )
+    if live != expected:
+        die("Engine MCP L1 credential provenance live acceptance mismatch")
+    return {
+        "target_sha256": dict(
+            ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_TARGET_SHA256
+        ),
+        "live": live,
+    }
+
+
 def validate_no_lifecycle_scripts(payload_dir, label):
    forbidden = ("preinstall", "install", "postinstall", "prepare", "prepack", "postpack")
    for package_path in payload_dir.rglob("package.json"):
@@ -6262,6 +6334,90 @@ def validate_engine_mcp_l1_credential_reuse_slice(payload_dir, entries):
        die("Engine MCP L1 credential reuse managed-grant boundary missing")


+def validate_engine_mcp_l1_credential_provenance_slice(payload_dir, entries):
+    if tuple(entries) != ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_ARTIFACT_ENTRIES:
+        die(
+            "Engine MCP L1 credential provenance files.txt exact set/order "
+            "mismatch"
+        )
+    for rel, expected_sha256 in (
+        ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_TARGET_SHA256.items()
+    ):
+        path = payload_dir / rel
+        try:
+            path_stat = path.lstat()
+        except FileNotFoundError:
+            die(f"Engine MCP L1 credential provenance target is missing: {rel}")
+        if (
+            stat.S_ISLNK(path_stat.st_mode)
+            or not stat.S_ISREG(path_stat.st_mode)
+            or sha256_file(path) != expected_sha256
+        ):
+            die(
+                "Engine MCP L1 credential provenance target sha256 mismatch: "
+                f"{rel}"
+            )
+
+    descriptor = read_strict_json(
+        payload_dir / ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_DESCRIPTOR_REL,
+        "Engine MCP L1 credential provenance descriptor",
+        max_bytes=32 * 1024,
+    )
+    expected_descriptor = {
+        "schemaVersion": "nodedc.engine.deploy-transition/v1",
+        "id": "engine-mcp-l1-credential-provenance-v2",
+        "component": "engine",
+        "scope": "external-mcp-l2-authoring",
+        "mcpVersion": "0.11.0",
+        "sourcePath": "nodedc-source/server/routes/n8n.js",
+        "predecessor": "engine-mcp-l1-credential-reuse-v1",
+        "visibilityProof": {
+            "scope": "same-l1-workflow",
+            "localSources": ["manual", "workflow-ref", "credentials-file"],
+            "referencedSourceRequiresSyncPayload": True,
+            "logicalKeyEqualityRequired": True,
+        },
+        "candidateBoundary": {
+            "commonEntryMustBeReusable": True,
+            "managedEntriesAllowed": False,
+            "managedGrants": "target-local",
+        },
+        "binding": {
+            "listTool": "engine_list_l2_credential_refs",
+            "applyOperation": "assignCredentialRef",
+            "opaqueRefOnly": True,
+            "credentialIdsReturned": False,
+            "credentialValuesReturned": False,
+        },
+        "transportPolicy": {
+            "httpsRequired": True,
+            "redirectsDisabled": True,
+            "hostAuthority": [
+                "credential-allowlist",
+                "same-l1-observed-host",
+            ],
+        },
+        "crossL1Sharing": False,
+    }
+    if descriptor != expected_descriptor:
+        die("Engine MCP L1 credential provenance descriptor contract mismatch")
+
+    route_source = (
+        payload_dir / "nodedc-source/server/routes/n8n.js"
+    ).read_text(encoding="utf-8")
+    for marker in (
+        "function engineAgentCredentialMayProveL1Provenance",
+        "return isGlobalRegistryEntryAllowed(entry)",
+        "engineAgentCredentialMayProveL1Provenance(item)",
+        "The common candidate itself is",
+    ):
+        if marker not in route_source:
+            die(
+                "Engine MCP L1 credential provenance route marker missing: "
+                f"{marker}"
+            )
+
+
 def validate_engine_agent_full_grant_migration_slice(payload_dir, entries):
    if tuple(entries) != ENGINE_AGENT_FULL_GRANT_MIGRATION_ARTIFACT_ENTRIES:
        die("Engine agent full grant migration files.txt exact set/order mismatch")
@@ -6770,6 +6926,14 @@ def load_artifact(artifact, work_dir):
                payload_dir,
                entries,
            )
+        if is_engine_mcp_l1_credential_provenance_slice(
+            manifest["component"],
+            entries,
+        ):
+            validate_engine_mcp_l1_credential_provenance_slice(
+                payload_dir,
+                entries,
+            )
        if is_engine_provider_security_catalog_slice(manifest["component"], entries):
            validate_engine_provider_security_catalog_payload(payload_dir, entries)
        if touches_engine_credential_sink(manifest["component"], entries):
@@ -6811,6 +6975,10 @@ def load_artifact(artifact, work_dir):
                manifest["component"],
                entries,
            )
+            and not is_engine_mcp_l1_credential_provenance_slice(
+                manifest["component"],
+                entries,
+            )
            and (
                touches_engine_data_product_publish_grant(entries)
                or ENGINE_DATA_PRODUCT_PUBLISH_GRANT_OVERRIDE_REL in entries
@@ -7049,6 +7217,15 @@ def is_engine_mcp_l1_credential_reuse_slice(component, entries):
    )


+def is_engine_mcp_l1_credential_provenance_slice(component, entries):
+    return (
+        component == "engine"
+        and entries is not None
+        and tuple(entries)
+        == ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_ARTIFACT_ENTRIES
+    )
+
+
 def is_engine_agent_full_grant_migration_slice(component, entries):
    return (
        component == "engine"
@@ -7943,6 +8120,83 @@ def preflight_engine_mcp_l1_credential_reuse_predecessor():
    }


+def preflight_engine_mcp_l1_credential_provenance_predecessor():
+    root = component_root("engine")
+    actual = {}
+    for rel, expected_sha256 in (
+        ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_PREDECESSOR_SHA256.items()
+    ):
+        path = root / rel
+        try:
+            path_stat = path.lstat()
+        except FileNotFoundError:
+            die(
+                "Engine MCP L1 credential provenance predecessor is missing: "
+                f"{rel}"
+            )
+        if stat.S_ISLNK(path_stat.st_mode) or not stat.S_ISREG(path_stat.st_mode):
+            die(
+                "Engine MCP L1 credential provenance predecessor is unsafe: "
+                f"{rel}"
+            )
+        actual_sha256 = sha256_file(path)
+        if actual_sha256 != expected_sha256:
+            die(
+                "Engine MCP L1 credential provenance predecessor drift "
+                f"detected: path={rel} expected={expected_sha256} "
+                f"actual={actual_sha256}"
+            )
+        actual[rel] = actual_sha256
+
+    foundation = {}
+    for rel, expected_sha256 in (
+        ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_FOUNDATION_SHA256.items()
+    ):
+        path = root / rel
+        try:
+            path_stat = path.lstat()
+        except FileNotFoundError:
+            die(
+                "Engine MCP L1 credential provenance foundation is missing: "
+                f"{rel}"
+            )
+        if (
+            stat.S_ISLNK(path_stat.st_mode)
+            or not stat.S_ISREG(path_stat.st_mode)
+            or sha256_file(path) != expected_sha256
+        ):
+            die(
+                "Engine MCP L1 credential provenance foundation drift "
+                f"detected: {rel}"
+            )
+        foundation[rel] = expected_sha256
+
+    for rel in ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_NEW_PATHS:
+        path = root / rel
+        if path.exists() or path.is_symlink():
+            die(
+                "Engine MCP L1 credential provenance new path already exists: "
+                f"{rel}"
+            )
+
+    backend = preflight_engine_credential_backend_runtime()
+    if backend["mode"] != "verified-derived-retry":
+        die(
+            "Engine MCP L1 credential provenance requires the active "
+            "immutable backend"
+        )
+    return {
+        "mode": "l1-credential-reuse-v1-to-provenance-v2",
+        "predecessor_sha256": actual,
+        "foundation_sha256": foundation,
+        "target_sha256": dict(
+            ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_TARGET_SHA256
+        ),
+        "new_paths": tuple(ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_NEW_PATHS),
+        "backend_mode": backend["mode"],
+    }
+
+
 def preflight_engine_agent_full_grant_migration_predecessor():
    root = component_root("engine")
    store_path = root / ENGINE_AGENT_FULL_GRANT_MIGRATION_STORE_REL
@@ -8003,6 +8257,7 @@ def component_services(component, entries=None):
        or is_engine_mcp_execution_plan_module_ownership_slice(component, entries)
        or is_engine_mcp_normalized_identity_search_slice(component, entries)
        or is_engine_mcp_l1_credential_reuse_slice(component, entries)
+        or is_engine_mcp_l1_credential_provenance_slice(component, entries)
        or is_engine_provider_security_catalog_slice(component, entries)
    ):
        # This slice updates only the existing Engine backend control plane.
@@ -10218,6 +10473,7 @@ def plan_artifact(artifact):
    mcp_execution_plan_module_ownership_preflight = None
    mcp_normalized_identity_search_preflight = None
    mcp_l1_credential_reuse_preflight = None
+    mcp_l1_credential_provenance_preflight = None
    provider_catalog_preflight = None
    with tempfile.TemporaryDirectory(prefix="plan-", dir=TMP_DIR) as tmp:
        manifest, entries, payload_dir = load_artifact(artifact, Path(tmp))
@@ -10318,6 +10574,13 @@ def plan_artifact(artifact):
            mcp_l1_credential_reuse_preflight = (
                preflight_engine_mcp_l1_credential_reuse_predecessor()
            )
+        if is_engine_mcp_l1_credential_provenance_slice(
+            manifest["component"],
+            entries,
+        ):
+            mcp_l1_credential_provenance_preflight = (
+                preflight_engine_mcp_l1_credential_provenance_predecessor()
+            )
        if is_engine_provider_security_catalog_slice(manifest["component"], entries):
            provider_catalog_preflight = preflight_engine_provider_security_catalog_predecessor()

@@ -10387,6 +10650,9 @@ def plan_artifact(artifact):
    touches_mcp_l1_credential_reuse = (
        is_engine_mcp_l1_credential_reuse_slice(component, entries)
    )
+    touches_mcp_l1_credential_provenance = (
+        is_engine_mcp_l1_credential_provenance_slice(component, entries)
+    )
    touches_agent_grant_migration = is_engine_agent_full_grant_migration_slice(
        component,
        entries,
@@ -10409,6 +10675,7 @@ def plan_artifact(artifact):
        or touches_mcp_execution_plan_module_ownership
        or touches_mcp_normalized_identity_search
        or touches_mcp_l1_credential_reuse
+        or touches_mcp_l1_credential_provenance
        or touches_agent_grant_migration
    ):
        credential_backend_preflight = preflight_engine_credential_backend_runtime()
@@ -10505,6 +10772,14 @@ def plan_artifact(artifact):
                "Engine MCP L1 credential reuse requires the active immutable "
                "credential backend"
            )
+    if touches_mcp_l1_credential_provenance:
+        if mcp_l1_credential_provenance_preflight is None:
+            die("Engine MCP L1 credential provenance preflight is missing")
+        if credential_backend_preflight["mode"] != "verified-derived-retry":
+            die(
+                "Engine MCP L1 credential provenance requires the active "
+                "immutable credential backend"
+            )
    if touches_agent_grant_migration:
        agent_grant_migration_predecessor_sha256 = (
            preflight_engine_agent_full_grant_migration_predecessor()
@@ -11234,6 +11509,80 @@ def plan_artifact(artifact):
        print("credentials=preserved")
        print("mcp_nginx=untouched")
        print("embedded_ai_workspace=untouched")
+    if mcp_l1_credential_provenance_preflight:
+        print(
+            "engine_mcp_l1_credential_provenance_transition="
+            f"{mcp_l1_credential_provenance_preflight['mode']}"
+        )
+        print("engine_mcp_version=0.11.0")
+        print("engine_mcp_surface=external-codex")
+        print("engine_mcp_tool=engine_list_l2_credential_refs")
+        print("engine_mcp_apply_operation=assignCredentialRef")
+        print("engine_mcp_credential_scope=same-l1-workflow")
+        print(
+            "engine_mcp_local_provenance_sources="
+            "manual,workflow-ref,credentials-file"
+        )
+        print("engine_mcp_referenced_source_requires_sync_payload=yes")
+        print("engine_mcp_logical_key_equality_required=yes")
+        print("engine_mcp_cross_l1_sharing=no")
+        print("engine_mcp_managed_grants=target-local")
+        print("engine_mcp_credential_ids_included=no")
+        print("engine_mcp_credential_values_included=no")
+        for foundation_path, foundation_sha256 in (
+            mcp_l1_credential_provenance_preflight[
+                "foundation_sha256"
+            ].items()
+        ):
+            print(
+                "engine_mcp_l1_credential_provenance_foundation_sha256"
+                f"[{foundation_path}]={foundation_sha256}"
+            )
+        for changed_path in (
+            ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_ARTIFACT_ENTRIES
+        ):
+            print(
+                "engine_mcp_l1_credential_provenance_changed_path="
+                f"{changed_path}"
+            )
+            if changed_path in mcp_l1_credential_provenance_preflight[
+                "predecessor_sha256"
+            ]:
+                print(
+                    "engine_mcp_l1_credential_provenance_predecessor_sha256"
+                    f"[{changed_path}]="
+                    f"{mcp_l1_credential_provenance_preflight['predecessor_sha256'][changed_path]}"
+                )
+            elif changed_path in mcp_l1_credential_provenance_preflight[
+                "new_paths"
+            ]:
+                print(
+                    "engine_mcp_l1_credential_provenance_predecessor_state"
+                    f"[{changed_path}]=absent"
+                )
+            else:
+                die(
+                    "Engine MCP L1 credential provenance plan has no "
+                    f"predecessor state: {changed_path}"
+                )
+            print(
+                "engine_mcp_l1_credential_provenance_target_sha256"
+                f"[{changed_path}]="
+                f"{mcp_l1_credential_provenance_preflight['target_sha256'][changed_path]}"
+            )
+        print(
+            "backend_current_barrier="
+            f"{mcp_l1_credential_provenance_preflight['backend_mode']}"
+        )
+        print("backend_force_recreate=yes")
+        print("backend_pull=never")
+        print("l2_graph=untouched")
+        print("n8n_l1=untouched")
+        print("engine_ui=untouched")
+        print("engine_databases=untouched")
+        print("credentials=preserved")
+        print("mcp_nginx=untouched")
+        print("embedded_ai_workspace=untouched")
    if transition_descriptor:
        print(f"n8n_transition={transition_descriptor['action']}")
        print(f"n8n_version={transition_descriptor['n8nVersion']}")
@@ -12369,6 +12718,10 @@ def component_healthchecks(component, entries=None, services=None):
                entries,
            )
            or is_engine_mcp_l1_credential_reuse_slice(component, entries)
+            or is_engine_mcp_l1_credential_provenance_slice(
+                component,
+                entries,
+            )
            or is_engine_agent_full_grant_migration_slice(component, entries)
            or is_engine_mcp_control_plane_slice(component, entries)
            or is_engine_mcp_ontology_sdk_slice(component, entries)
@@ -12813,6 +13166,9 @@ def run_healthchecks(component, entries=None, services=None):
    touches_mcp_l1_credential_reuse = (
        is_engine_mcp_l1_credential_reuse_slice(component, entries)
    )
+    touches_mcp_l1_credential_provenance = (
+        is_engine_mcp_l1_credential_provenance_slice(component, entries)
+    )
    touches_agent_grant_migration = is_engine_agent_full_grant_migration_slice(
        component,
        entries,
@@ -12836,6 +13192,7 @@ def run_healthchecks(component, entries=None, services=None):
        or touches_mcp_execution_plan_module_ownership
        or touches_mcp_normalized_identity_search
        or touches_mcp_l1_credential_reuse
+        or touches_mcp_l1_credential_provenance
        or touches_agent_grant_migration
        or touches_mcp_control_plane
        or touches_mcp_ontology_sdk
@@ -12863,6 +13220,7 @@ def run_healthchecks(component, entries=None, services=None):
        or touches_mcp_execution_plan_module_ownership
        or touches_mcp_normalized_identity_search
        or touches_mcp_l1_credential_reuse
+        or touches_mcp_l1_credential_provenance
        or touches_agent_grant_migration
        or touches_mcp_control_plane
        or touches_mcp_ontology_sdk
@@ -13218,6 +13576,48 @@ def run_healthchecks(component, entries=None, services=None):
                "Engine MCP L1 credential reuse installed state is neither "
                "target nor rollback predecessor"
            )
+    if touches_mcp_l1_credential_provenance:
+        root = component_root("engine")
+        target_state = all(
+            (root / rel).is_file()
+            and not (root / rel).is_symlink()
+            and sha256_file(root / rel) == expected
+            for rel, expected in (
+                ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_TARGET_SHA256.items()
+            )
+        ) and all(
+            (root / rel).is_file()
+            and not (root / rel).is_symlink()
+            and sha256_file(root / rel) == expected
+            for rel, expected in (
+                ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_FOUNDATION_SHA256.items()
+            )
+        )
+        predecessor_state = all(
+            (root / rel).is_file()
+            and not (root / rel).is_symlink()
+            and sha256_file(root / rel) == expected
+            for rel, expected in (
+                ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_PREDECESSOR_SHA256.items()
+            )
+        ) and all(
+            (root / rel).is_file()
+            and not (root / rel).is_symlink()
+            and sha256_file(root / rel) == expected
+            for rel, expected in (
+                ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_FOUNDATION_SHA256.items()
+            )
+        ) and all(
+            not (root / rel).exists() and not (root / rel).is_symlink()
+            for rel in ENGINE_MCP_L1_CREDENTIAL_PROVENANCE_NEW_PATHS
+        )
+        if target_state:
+            accept_engine_mcp_l1_credential_provenance_runtime()
+        elif not predecessor_state:
+            die(
+                "Engine MCP L1 credential provenance installed state is "
+                "neither target nor rollback predecessor"
+            )
    container_name = COMPONENTS[component].get("health_container")
    if container_name:
        healthcheck_container(container_name)
@@ -13415,6 +13815,22 @@ def apply_artifact(artifact):
                            "Engine MCP L1 credential reuse requires the "
                            "active immutable credential backend"
                        )
+                if is_engine_mcp_l1_credential_provenance_slice(
+                    component,
+                    entries,
+                ):
+                    preflight_engine_mcp_l1_credential_provenance_predecessor()
+                    l1_credential_provenance_backend_preflight = (
+                        preflight_engine_credential_backend_runtime()
+                    )
+                    if (
+                        l1_credential_provenance_backend_preflight["mode"]
+                        != "verified-derived-retry"
+                    ):
+                        die(
+                            "Engine MCP L1 credential provenance requires the "
+                            "active immutable credential backend"
+                        )
                if is_engine_agent_full_grant_migration_slice(component, entries):
                    preflight_engine_agent_full_grant_migration_predecessor()
                    migration_backend_preflight = preflight_engine_credential_backend_runtime()
@@ -13692,6 +14108,10 @@ def apply_artifact(artifact):
                            component,
                            entries,
                        )
+                        or is_engine_mcp_l1_credential_provenance_slice(
+                            component,
+                            entries,
+                        )
                        or is_engine_agent_full_grant_migration_slice(component, entries)
                        or is_engine_mcp_control_plane_slice(component, entries)
                        or is_engine_mcp_ontology_sdk_slice(component, entries)