plugin-api-coverage.json

{
  "schema_version": 1,
  "phase_schema": "neverc/include/neverc/Plugin/Schema/PhaseSchema.json",
  "phases": [
    {
      "phase": "neverc.driver.raw_arguments",
      "input_artifact": [
        "0x4e43415244525601",
        "0x0000000000000001"
      ],
      "output_artifact": [
        "0x4e43415244525601",
        "0x0000000000000001"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginArgumentPhaseTest.RawInterceptorRewritesEffectiveArguments"
      },
      "provider_available": false,
      "interceptor_test": "PluginArgumentPhaseTest.RawInterceptorRewritesEffectiveArguments",
      "default_executor_test": "PluginArgumentPhaseTest.RawArgumentsPreserveConfigAndCommandOrigins",
      "verification": {
        "kind": "verifier",
        "id": "neverc.driver.verify_raw_arguments",
        "positive_test": "PluginArgumentPhaseTest.RawArgumentsPreserveConfigAndCommandOrigins",
        "negative_test": "PluginArgumentPhaseTest.InvalidRawMutationPreservesOriginalArguments"
      }
    },
    {
      "phase": "neverc.driver.parsed_arguments",
      "input_artifact": [
        "0x4e43415244525601",
        "0x0000000000000002"
      ],
      "output_artifact": [
        "0x4e43415244525601",
        "0x0000000000000002"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginPhaseExecutionTest.RunsObserversInterceptorsProviderAndAtomicPublishInOrder"
      },
      "provider_available": false,
      "interceptor_test": "PluginArgumentPhaseTest.ParsedInterceptorRewritesStructuredOccurrences",
      "default_executor_test": "PluginArgumentPhaseTest.ParsedInterceptorRewritesStructuredOccurrences",
      "verification": {
        "kind": "verifier",
        "id": "neverc.driver.verify_parsed_arguments",
        "positive_test": "PluginArgumentPhaseTest.ParsedInterceptorRewritesStructuredOccurrences",
        "negative_test": "PluginPhaseExecutionTest.RejectsMalformedResultsAndCrossThreadContinuationCalls"
      }
    },
    {
      "phase": "neverc.driver.select_toolchain",
      "input_artifact": [
        "0x4e43415244525601",
        "0x0000000000000003"
      ],
      "output_artifact": [
        "0x4e43415244525601",
        "0x0000000000000004"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginPhaseExecutionTest.RunsObserversInterceptorsProviderAndAtomicPublishInOrder"
      },
      "provider_available": true,
      "interceptor_test": "PluginToolChainTest.InterceptorRewritesToolChainRequest",
      "default_executor_test": "PluginToolChainTest.InterceptorForwardsCPUAndFeatures",
      "replacement_test": "PluginToolChainTest.ReplacementPublishesBuiltinSelection",
      "verification": {
        "kind": "verifier",
        "id": "neverc.driver.verify_toolchain_selection",
        "positive_test": "PluginToolChainTest.InterceptorForwardsCPUAndFeatures",
        "negative_test": "PluginToolChainTest.UnknownTripleIsRejectedBySelectionVerifier"
      }
    },
    {
      "phase": "neverc.driver.build_actions",
      "input_artifact": [
        "0x4e43415244525601",
        "0x0000000000000005"
      ],
      "output_artifact": [
        "0x4e43415244525601",
        "0x0000000000000006"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginActionGraphTest.ObserverSeesRealCompileLinkGraph"
      },
      "provider_available": true,
      "interceptor_test": "PluginActionGraphTest.InterceptorReplacesLinkRootWithObjectRoot",
      "default_executor_test": "PluginActionGraphTest.ObserverSeesRealCompileLinkGraph",
      "replacement_test": "PluginActionGraphTest.ProviderBuildsObjectGraphWithoutBuiltin",
      "verification": {
        "kind": "verifier",
        "id": "neverc.driver.verify_action_graph",
        "positive_test": "PluginActionGraphTest.ObserverSeesRealCompileLinkGraph",
        "negative_test": "PluginActionGraphTest.RejectsCycleAtomically"
      }
    },
    {
      "phase": "neverc.driver.build_jobs",
      "input_artifact": [
        "0x4e43415244525601",
        "0x0000000000000006"
      ],
      "output_artifact": [
        "0x4e43415244525601",
        "0x0000000000000008"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginPhaseExecutionTest.RunsObserversInterceptorsProviderAndAtomicPublishInOrder"
      },
      "provider_available": true,
      "interceptor_test": "PluginJobGraphTest.InterceptorInsertsPluginJob",
      "default_executor_test": "PluginJobGraphTest.InterceptorInsertsPluginJob",
      "replacement_test": "PluginJobGraphTest.ReplacementBuildsPlanWithoutBuiltinJobGeneration",
      "verification": {
        "kind": "verifier",
        "id": "neverc.driver.verify_job_graph",
        "positive_test": "PluginJobGraphTest.InterceptorInsertsPluginJob",
        "negative_test": "PluginJobGraphTest.RejectsDependencyCycleAtomically"
      }
    },
    {
      "phase": "neverc.driver.execute_job",
      "input_artifact": [
        "0x4e43415244525601",
        "0x0000000000000009"
      ],
      "output_artifact": [
        "0x4e43415244525601",
        "0x000000000000000a"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginPhaseExecutionTest.RunsObserversInterceptorsProviderAndAtomicPublishInOrder"
      },
      "provider_available": true,
      "interceptor_test": "PluginSDKExampleTest.DriverTraceUsesOptionStateObserverAndSingleNextInterceptor",
      "default_executor_test": "PluginSDKExampleTest.DriverTraceUsesOptionStateObserverAndSingleNextInterceptor",
      "replacement_test": "PluginJobExecutionTest.ReplacementBypassesBuiltinFrontendForNoOutputJob",
      "verification": {
        "kind": "verifier",
        "id": "neverc.driver.verify_job_result",
        "positive_test": "PluginSDKExampleTest.DriverTraceUsesOptionStateObserverAndSingleNextInterceptor",
        "negative_test": "PluginJobExecutionTest.ReplacementCannotClaimAStalePreexistingOutputWithoutSeal"
      }
    },
    {
      "phase": "neverc.source.resolve_input",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000001001"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000001001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginSourcePhaseTest.ReplacementPublishesVerifiedMemorySourceAndAfterOpenEvent"
      },
      "provider_available": false,
      "interceptor_test": "PluginSourcePhaseTest.ReplacementPublishesVerifiedMemorySourceAndAfterOpenEvent",
      "default_executor_test": "PluginSourcePhaseTest.ReplacementPublishesVerifiedMemorySourceAndAfterOpenEvent",
      "verification": {
        "kind": "verifier",
        "id": "neverc.source.verify_input_request",
        "positive_test": "PluginSourcePhaseTest.ReplacementPublishesVerifiedMemorySourceAndAfterOpenEvent",
        "negative_test": "PluginPhaseExecutionTest.RejectsMalformedResultsAndCrossThreadContinuationCalls"
      }
    },
    {
      "phase": "neverc.source.open",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000001001"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000001002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginSourcePhaseTest.ReplacementPublishesVerifiedMemorySourceAndAfterOpenEvent"
      },
      "provider_available": true,
      "interceptor_test": "PluginFrontendLifecycleTest.EmitsStableTreeAndSemaLifecycleForAValidTranslationUnit",
      "default_executor_test": "PluginFrontendLifecycleTest.EmitsStableTreeAndSemaLifecycleForAValidTranslationUnit",
      "replacement_test": "PluginSourcePhaseTest.ReplacementPublishesVerifiedMemorySourceAndAfterOpenEvent",
      "verification": {
        "kind": "verifier",
        "id": "neverc.source.verify_unit",
        "positive_test": "PluginSourcePhaseTest.ReplacementPublishesVerifiedMemorySourceAndAfterOpenEvent",
        "negative_test": "PluginSourceTest.RejectsCrossFileSourceTextRanges"
      }
    },
    {
      "phase": "neverc.source.after_open",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000001002"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000001002"],
      "policies": ["OBSERVABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginSourcePhaseTest.ReplacementPublishesVerifiedMemorySourceAndAfterOpenEvent"
      },
      "provider_available": false,
      "default_executor_test": "PluginSourcePhaseTest.ReplacementPublishesVerifiedMemorySourceAndAfterOpenEvent",
      "verification": {
        "kind": "verifier",
        "id": "neverc.source.verify_after_open_event",
        "positive_test": "PluginSourcePhaseTest.ReplacementPublishesVerifiedMemorySourceAndAfterOpenEvent",
        "negative_test": "PluginPhaseExecutionTest.RejectsMalformedResultsAndCrossThreadContinuationCalls"
      }
    },
    {
      "phase": "neverc.prep.token",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000002001"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000002001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginTokenInterceptorTest.ReplacesDeletesAndExpandsFinalPreprocessorTokens"
      },
      "provider_available": true,
      "interceptor_test": "PluginTokenInterceptorTest.ReplacesDeletesAndExpandsFinalPreprocessorTokens",
      "default_executor_test": "PluginTokenInterceptorTest.ReplacesDeletesAndExpandsFinalPreprocessorTokens",
      "replacement_test": "PluginTokenInterceptorTest.ReplacesDeletesAndExpandsFinalPreprocessorTokens",
      "verification": {
        "kind": "verifier",
        "id": "neverc.prep.verify_token_sequence",
        "positive_test": "PluginTokenInterceptorTest.ReplacesDeletesAndExpandsFinalPreprocessorTokens",
        "negative_test": "PluginTokenInterceptorTest.EnforcesExpansionBudget"
      }
    },
    {
      "phase": "neverc.prep.build_token_stream",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000001002"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000002002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginPreprocessorProviderTest.ProviderReplacesInvalidSourceWithVerifiedTokenStream"
      },
      "provider_available": true,
      "interceptor_test": "PluginPhaseExecutionTest.RunsObserversInterceptorsProviderAndAtomicPublishInOrder",
      "default_executor_test": "PluginTokenInterceptorTest.ReplacesDeletesAndExpandsFinalPreprocessorTokens",
      "replacement_test": "PluginPreprocessorProviderTest.ProviderReplacesInvalidSourceWithVerifiedTokenStream",
      "verification": {
        "kind": "verifier",
        "id": "neverc.prep.verify_token_stream",
        "positive_test": "PluginPreprocessorProviderTest.ProviderReplacesInvalidSourceWithVerifiedTokenStream",
        "negative_test": "PluginPreprocessorProviderTest.ProviderOutputWithoutEOFIsRejected"
      }
    },
    {
      "phase": "neverc.syntax.parse",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000002002"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000003001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginParserProviderTest.InterceptorInspectsTokensAndForwardsToBuiltinParser"
      },
      "provider_available": true,
      "interceptor_test": "PluginParserProviderTest.InterceptorInspectsTokensAndForwardsToBuiltinParser",
      "default_executor_test": "PluginParserProviderTest.InterceptorInspectsTokensAndForwardsToBuiltinParser",
      "replacement_test": "PluginParserProviderTest.ReplacesBuiltinParserAndPublishesASTUnit",
      "verification": {
        "kind": "verifier",
        "id": "neverc.syntax.verify_ast_unit",
        "positive_test": "PluginParserProviderTest.ReplaysPluginASTAndPublishesItToDownstreamIRGeneration",
        "negative_test": "PluginParserProviderTest.RejectsASTUnitWithoutTranslationUnitRoot"
      }
    },
    {
      "phase": "neverc.sema.analyze",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000003001"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000004001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginSemaProviderTest.PluginProviderPublishesSemanticUnitWithoutBuiltinReplay"
      },
      "provider_available": true,
      "interceptor_test": "PluginSemaProviderTest.PluginProviderPublishesSemanticUnitWithoutBuiltinReplay",
      "default_executor_test": "PluginParserProviderTest.ReplaysPluginASTAndPublishesItToDownstreamIRGeneration",
      "replacement_test": "PluginSemaProviderTest.PluginProviderPublishesSemanticUnitWithoutBuiltinReplay",
      "verification": {
        "kind": "verifier",
        "id": "neverc.sema.verify_semantic_unit",
        "positive_test": "PluginSemaProviderTest.PluginProviderPublishesSemanticUnitWithoutBuiltinReplay",
        "negative_test": "PluginSemaProviderTest.BuiltinReplayRejectsAnExplicitlyUnsupportedASTKind"
      }
    },
    {
      "phase": "neverc.prep.include.intercept",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000002101"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000002101"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries"
      },
      "provider_available": true,
      "interceptor_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries",
      "default_executor_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries",
      "replacement_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries",
      "verification": {
        "kind": "verifier",
        "id": "neverc.prep.verify_include_result",
        "positive_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries",
        "negative_test": "PluginPrepHookInterceptorTest.RejectsMalformedIncludeReplacement"
      }
    },
    {
      "phase": "neverc.prep.macro.intercept",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000002201"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000002201"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries"
      },
      "provider_available": true,
      "interceptor_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries",
      "default_executor_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries",
      "replacement_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries",
      "verification": {
        "kind": "verifier",
        "id": "neverc.prep.verify_macro_result",
        "positive_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries",
        "negative_test": "PluginPhaseExecutionTest.RejectsMalformedResultsAndCrossThreadContinuationCalls"
      }
    },
    {
      "phase": "neverc.prep.pragma.intercept",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000002301"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000002301"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries"
      },
      "provider_available": true,
      "interceptor_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries",
      "default_executor_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries",
      "replacement_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries",
      "verification": {
        "kind": "verifier",
        "id": "neverc.prep.verify_pragma_result",
        "positive_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries",
        "negative_test": "PluginPhaseExecutionTest.RejectsMalformedResultsAndCrossThreadContinuationCalls"
      }
    },
    {
      "phase": "neverc.prep.feature_query.intercept",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000002401"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000002401"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries"
      },
      "provider_available": true,
      "interceptor_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries",
      "default_executor_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries",
      "replacement_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries",
      "verification": {
        "kind": "verifier",
        "id": "neverc.prep.verify_feature_query_result",
        "positive_test": "PluginPrepHookInterceptorTest.InterceptsIncludeMacroPragmaAndFeatureQueries",
        "negative_test": "PluginPhaseExecutionTest.RejectsMalformedResultsAndCrossThreadContinuationCalls"
      }
    },
    {
      "phase": "neverc.syntax.extension.declaration",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000003002"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000003002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax"
      },
      "provider_available": true,
      "interceptor_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax",
      "default_executor_test": "PluginParserInterceptorTest.RollsBackSpeculativeCursorWhenInterceptorDoesNotHandle",
      "replacement_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax",
      "verification": {
        "kind": "verifier",
        "id": "neverc.syntax.verify_declaration_extension",
        "positive_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax",
        "negative_test": "PluginParserInterceptorTest.RestoresParserStateAfterHalfConsumedInterceptorFailure"
      }
    },
    {
      "phase": "neverc.syntax.extension.statement",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000003002"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000003002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax"
      },
      "provider_available": true,
      "interceptor_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax",
      "default_executor_test": "PluginParserInterceptorTest.RollsBackSpeculativeCursorWhenInterceptorDoesNotHandle",
      "replacement_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax",
      "verification": {
        "kind": "verifier",
        "id": "neverc.syntax.verify_statement_extension",
        "positive_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax",
        "negative_test": "PluginParserInterceptorTest.RestoresParserStateAfterHalfConsumedInterceptorFailure"
      }
    },
    {
      "phase": "neverc.syntax.extension.expression",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000003002"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000003002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax"
      },
      "provider_available": true,
      "interceptor_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax",
      "default_executor_test": "PluginParserInterceptorTest.RollsBackSpeculativeCursorWhenInterceptorDoesNotHandle",
      "replacement_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax",
      "verification": {
        "kind": "verifier",
        "id": "neverc.syntax.verify_expression_extension",
        "positive_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax",
        "negative_test": "PluginParserInterceptorTest.RestoresParserStateAfterHalfConsumedInterceptorFailure"
      }
    },
    {
      "phase": "neverc.syntax.extension.type_name",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000003002"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000003002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax"
      },
      "provider_available": true,
      "interceptor_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax",
      "default_executor_test": "PluginParserInterceptorTest.RollsBackSpeculativeCursorWhenInterceptorDoesNotHandle",
      "replacement_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax",
      "verification": {
        "kind": "verifier",
        "id": "neverc.syntax.verify_type_name_extension",
        "positive_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax",
        "negative_test": "PluginParserInterceptorTest.RestoresParserStateAfterHalfConsumedInterceptorFailure"
      }
    },
    {
      "phase": "neverc.syntax.extension.attribute",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000003002"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000003002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginParserInterceptorTest.ConvertsNamespacedAttributeIntoHostParsedAttribute"
      },
      "provider_available": true,
      "interceptor_test": "PluginParserInterceptorTest.ConvertsNamespacedAttributeIntoHostParsedAttribute",
      "default_executor_test": "PluginParserInterceptorTest.RollsBackSpeculativeCursorWhenInterceptorDoesNotHandle",
      "replacement_test": "PluginParserInterceptorTest.ConvertsNamespacedAttributeIntoHostParsedAttribute",
      "verification": {
        "kind": "verifier",
        "id": "neverc.syntax.verify_attribute_extension",
        "positive_test": "PluginParserInterceptorTest.ConvertsNamespacedAttributeIntoHostParsedAttribute",
        "negative_test": "PluginParserInterceptorTest.RestoresParserStateAfterHalfConsumedInterceptorFailure"
      }
    },
    {
      "phase": "neverc.syntax.extension.keyword",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000003002"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000003002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax"
      },
      "provider_available": true,
      "interceptor_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax",
      "default_executor_test": "PluginParserInterceptorTest.RollsBackSpeculativeCursorWhenInterceptorDoesNotHandle",
      "replacement_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax",
      "verification": {
        "kind": "verifier",
        "id": "neverc.syntax.verify_keyword_extension",
        "positive_test": "PluginParserInterceptorTest.ExtendsDeclarationStatementExpressionTypeAndKeywordSyntax",
        "negative_test": "PluginParserInterceptorTest.RestoresParserStateAfterHalfConsumedInterceptorFailure"
      }
    },
    {
      "phase": "neverc.sema.extension.expression",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000004002"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000004002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginSemaInterceptorTest.ExpressionReplacementBypassesBuiltinBinaryAnalysis"
      },
      "provider_available": true,
      "interceptor_test": "PluginSemaInterceptorTest.ExpressionReplacementBypassesBuiltinBinaryAnalysis",
      "default_executor_test": "PluginSemaInterceptorTest.ExpressionReplacementBypassesBuiltinBinaryAnalysis",
      "replacement_test": "PluginSemaInterceptorTest.ExpressionReplacementBypassesBuiltinBinaryAnalysis",
      "verification": {
        "kind": "verifier",
        "id": "neverc.sema.verify_expression_extension",
        "positive_test": "PluginSemaInterceptorTest.ExpressionReplacementBypassesBuiltinBinaryAnalysis",
        "negative_test": "PluginPhaseExecutionTest.RejectsMalformedResultsAndCrossThreadContinuationCalls"
      }
    },
    {
      "phase": "neverc.sema.extension.statement",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000004002"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000004002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginSemaInterceptorTest.StatementReplacementBypassesBuiltinCompoundAnalysis"
      },
      "provider_available": true,
      "interceptor_test": "PluginSemaInterceptorTest.StatementReplacementBypassesBuiltinCompoundAnalysis",
      "default_executor_test": "PluginSemaInterceptorTest.StatementReplacementBypassesBuiltinCompoundAnalysis",
      "replacement_test": "PluginSemaInterceptorTest.StatementReplacementBypassesBuiltinCompoundAnalysis",
      "verification": {
        "kind": "verifier",
        "id": "neverc.sema.verify_statement_extension",
        "positive_test": "PluginSemaInterceptorTest.StatementReplacementBypassesBuiltinCompoundAnalysis",
        "negative_test": "PluginPhaseExecutionTest.RejectsMalformedResultsAndCrossThreadContinuationCalls"
      }
    },
    {
      "phase": "neverc.sema.extension.declaration",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000004002"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000004002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginSemaInterceptorTest.DeclarationReplacementRedirectsReferenceBinding"
      },
      "provider_available": true,
      "interceptor_test": "PluginSemaInterceptorTest.DeclarationReplacementRedirectsReferenceBinding",
      "default_executor_test": "PluginSemaInterceptorTest.DeclarationReplacementRedirectsReferenceBinding",
      "replacement_test": "PluginSemaInterceptorTest.DeclarationReplacementRedirectsReferenceBinding",
      "verification": {
        "kind": "verifier",
        "id": "neverc.sema.verify_declaration_extension",
        "positive_test": "PluginSemaInterceptorTest.DeclarationReplacementRedirectsReferenceBinding",
        "negative_test": "PluginPhaseExecutionTest.RejectsMalformedResultsAndCrossThreadContinuationCalls"
      }
    },
    {
      "phase": "neverc.sema.extension.type",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000004002"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000004002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginSemaInterceptorTest.TypeReplacementResolvesPluginTypeName"
      },
      "provider_available": true,
      "interceptor_test": "PluginSemaInterceptorTest.TypeReplacementResolvesPluginTypeName",
      "default_executor_test": "PluginSemaInterceptorTest.TypeReplacementResolvesPluginTypeName",
      "replacement_test": "PluginSemaInterceptorTest.TypeReplacementResolvesPluginTypeName",
      "verification": {
        "kind": "verifier",
        "id": "neverc.sema.verify_type_extension",
        "positive_test": "PluginSemaInterceptorTest.TypeReplacementResolvesPluginTypeName",
        "negative_test": "PluginPhaseExecutionTest.RejectsMalformedResultsAndCrossThreadContinuationCalls"
      }
    },
    {
      "phase": "neverc.sema.extension.lookup",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000004002"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000004002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginSemaInterceptorTest.LookupReplacementResolvesPluginAlias"
      },
      "provider_available": true,
      "interceptor_test": "PluginSemaInterceptorTest.LookupReplacementResolvesPluginAlias",
      "default_executor_test": "PluginSemaInterceptorTest.LookupReplacementResolvesPluginAlias",
      "replacement_test": "PluginSemaInterceptorTest.LookupReplacementResolvesPluginAlias",
      "verification": {
        "kind": "verifier",
        "id": "neverc.sema.verify_lookup_extension",
        "positive_test": "PluginSemaInterceptorTest.LookupReplacementResolvesPluginAlias",
        "negative_test": "PluginPhaseExecutionTest.RejectsMalformedResultsAndCrossThreadContinuationCalls"
      }
    },
    {
      "phase": "neverc.sema.extension.conversion",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000004002"],
      "output_artifact": ["0x4e43415246524e01", "0x0000000000004002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginSemaInterceptorTest.ConversionReplacementMakesReturnConversionExplicit"
      },
      "provider_available": true,
      "interceptor_test": "PluginSemaInterceptorTest.ConversionReplacementMakesReturnConversionExplicit",
      "default_executor_test": "PluginSemaInterceptorTest.ConversionReplacementMakesReturnConversionExplicit",
      "replacement_test": "PluginSemaInterceptorTest.ConversionReplacementMakesReturnConversionExplicit",
      "verification": {
        "kind": "verifier",
        "id": "neverc.sema.verify_conversion_extension",
        "positive_test": "PluginSemaInterceptorTest.ConversionReplacementMakesReturnConversionExplicit",
        "negative_test": "PluginPhaseExecutionTest.RejectsMalformedResultsAndCrossThreadContinuationCalls"
      }
    },
    {
      "phase": "neverc.ir.generate",
      "input_artifact": ["0x4e43415246524e01", "0x0000000000004001"],
      "output_artifact": ["0x4e43415249520001", "0x0000000000000001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginIRGenProviderTest.ProviderBypassesBuiltinIRGenAndPublishesExecutableModule"
      },
      "provider_available": true,
      "interceptor_test": "PluginPhaseExecutionTest.RunsObserversInterceptorsProviderAndAtomicPublishInOrder",
      "default_executor_test": "PluginParserProviderTest.ReplaysPluginASTAndPublishesItToDownstreamIRGeneration",
      "replacement_test": "PluginIRGenProviderTest.ProviderBypassesBuiltinIRGenAndPublishesExecutableModule",
      "verification": {
        "kind": "verifier",
        "id": "neverc.ir.verify_generated_module",
        "positive_test": "PluginIRGenProviderTest.ProviderBypassesBuiltinIRGenAndPublishesExecutableModule",
        "negative_test": "PluginIRSerializationTest.RejectsMalformedAndTargetIncompatibleBitcodeWithoutReplacingModule"
      }
    },
    {
      "phase": "neverc.ir.optimize",
      "input_artifact": ["0x4e43415249520001", "0x0000000000000001"],
      "output_artifact": ["0x4e43415249520001", "0x0000000000000002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginIRPipelineTest.ReplacementBypassesBuiltinPipelineAndChangesProgramBehavior"
      },
      "provider_available": true,
      "interceptor_test": "PluginPhaseExecutionTest.RunsObserversInterceptorsProviderAndAtomicPublishInOrder",
      "default_executor_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors",
      "replacement_test": "PluginIRPipelineTest.ReplacementBypassesBuiltinPipelineAndChangesProgramBehavior",
      "verification": {
        "kind": "verifier",
        "id": "neverc.ir.verify_optimized_module",
        "positive_test": "PluginIRPipelineTest.ReplacementBypassesBuiltinPipelineAndChangesProgramBehavior",
        "negative_test": "PluginIRPipelineTest.SealedVerifierRejectsInvalidReplacement"
      }
    },
    {
      "phase": "neverc.ir.pass.pre_opt",
      "input_artifact": ["0x4e43415249520001", "0x0000000000000001"],
      "output_artifact": ["0x4e43415249520001", "0x0000000000000001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors"
      },
      "provider_available": false,
      "interceptor_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors",
      "default_executor_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors",
      "verification": {
        "kind": "verifier",
        "id": "neverc.ir.verify_pass_slot",
        "positive_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors",
        "negative_test": "PluginIRPassTest.RejectsPreserveAllAfterMutation"
      }
    },
    {
      "phase": "neverc.ir.pass.pipeline_start",
      "input_artifact": ["0x4e43415249520001", "0x0000000000000001"],
      "output_artifact": ["0x4e43415249520001", "0x0000000000000001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors"
      },
      "provider_available": false,
      "interceptor_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors",
      "default_executor_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors",
      "verification": {
        "kind": "verifier",
        "id": "neverc.ir.verify_pass_slot",
        "positive_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors",
        "negative_test": "PluginIRPassTest.RejectsPreserveAllAfterMutation"
      }
    },
    {
      "phase": "neverc.ir.pass.optimizer_last",
      "input_artifact": ["0x4e43415249520001", "0x0000000000000002"],
      "output_artifact": ["0x4e43415249520001", "0x0000000000000002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors"
      },
      "provider_available": false,
      "interceptor_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors",
      "default_executor_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors",
      "verification": {
        "kind": "verifier",
        "id": "neverc.ir.verify_pass_slot",
        "positive_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors",
        "negative_test": "PluginIRPassTest.RejectsPreserveAllAfterMutation"
      }
    },
    {
      "phase": "neverc.ir.pass.post_opt",
      "input_artifact": ["0x4e43415249520001", "0x0000000000000002"],
      "output_artifact": ["0x4e43415249520001", "0x0000000000000002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors"
      },
      "provider_available": false,
      "interceptor_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors",
      "default_executor_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors",
      "verification": {
        "kind": "verifier",
        "id": "neverc.ir.verify_pass_slot",
        "positive_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors",
        "negative_test": "PluginIRPassTest.RejectsPreserveAllAfterMutation"
      }
    },
    {
      "phase": "neverc.ir.pass.pre_codegen",
      "input_artifact": ["0x4e43415249520001", "0x0000000000000002"],
      "output_artifact": ["0x4e43415249520001", "0x0000000000000002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors"
      },
      "provider_available": false,
      "interceptor_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors",
      "default_executor_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors",
      "verification": {
        "kind": "verifier",
        "id": "neverc.ir.verify_pass_slot",
        "positive_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors",
        "negative_test": "PluginIRPassTest.RejectsPreserveAllAfterMutation"
      }
    },
    {
      "phase": "neverc.ir.final_verify",
      "input_artifact": ["0x4e43415249520001", "0x0000000000000002"],
      "output_artifact": ["0x4e43415249520001", "0x0000000000000002"],
      "policies": ["OBSERVABLE", "SEALED_HOST_GATE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginIRPipelineTest.ReplacementBypassesBuiltinPipelineAndChangesProgramBehavior"
      },
      "provider_available": false,
      "verification": {
        "kind": "gate",
        "id": "sealed_verifier",
        "positive_test": "PluginIRPipelineTest.ReplacementBypassesBuiltinPipelineAndChangesProgramBehavior",
        "negative_test": "PluginIRPipelineTest.SealedVerifierRejectsInvalidReplacement"
      },
      "sealed_gate": {
        "host_private": true,
        "provider_available": false,
        "interceptor_available": false,
        "skip_available": false,
        "host_executor_test": "PluginIRPipelineTest.ReplacementBypassesBuiltinPipelineAndChangesProgramBehavior",
        "bypass_negative_test": "PluginIRPipelineTest.SealedVerifierRejectsInvalidReplacement"
      }
    },
    {
      "phase": "neverc.mir.pass.post_isel",
      "input_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "output_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook"
      },
      "provider_available": false,
      "interceptor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "default_executor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "verification": {
        "kind": "verifier",
        "id": "neverc.mir.verify_pass_slot",
        "positive_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
        "negative_test": "PluginMIRPassTest.RejectsPreserveAllAfterMachineMutation"
      }
    },
    {
      "phase": "neverc.mir.pass.post_legalize",
      "input_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "output_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook"
      },
      "provider_available": false,
      "interceptor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "default_executor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "verification": {
        "kind": "verifier",
        "id": "neverc.mir.verify_pass_slot",
        "positive_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
        "negative_test": "PluginMIRPassTest.RejectsPreserveAllAfterMachineMutation"
      }
    },
    {
      "phase": "neverc.mir.pass.pre_scheduler",
      "input_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "output_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook"
      },
      "provider_available": false,
      "interceptor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "default_executor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "verification": {
        "kind": "verifier",
        "id": "neverc.mir.verify_pass_slot",
        "positive_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
        "negative_test": "PluginMIRPassTest.RejectsPreserveAllAfterMachineMutation"
      }
    },
    {
      "phase": "neverc.mir.pass.post_scheduler",
      "input_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "output_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook"
      },
      "provider_available": false,
      "interceptor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "default_executor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "verification": {
        "kind": "verifier",
        "id": "neverc.mir.verify_pass_slot",
        "positive_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
        "negative_test": "PluginMIRPassTest.RejectsPreserveAllAfterMachineMutation"
      }
    },
    {
      "phase": "neverc.mir.pass.pre_regalloc",
      "input_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "output_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook"
      },
      "provider_available": false,
      "interceptor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "default_executor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "verification": {
        "kind": "verifier",
        "id": "neverc.mir.verify_pass_slot",
        "positive_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
        "negative_test": "PluginMIRPassTest.RejectsPreserveAllAfterMachineMutation"
      }
    },
    {
      "phase": "neverc.mir.pass.post_regalloc",
      "input_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "output_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook"
      },
      "provider_available": false,
      "interceptor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "default_executor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "verification": {
        "kind": "verifier",
        "id": "neverc.mir.verify_pass_slot",
        "positive_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
        "negative_test": "PluginMIRPassTest.RejectsPreserveAllAfterMachineMutation"
      }
    },
    {
      "phase": "neverc.mir.pass.post_prolog_epilog",
      "input_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "output_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook"
      },
      "provider_available": false,
      "interceptor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "default_executor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "verification": {
        "kind": "verifier",
        "id": "neverc.mir.verify_pass_slot",
        "positive_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
        "negative_test": "PluginMIRPassTest.RejectsPreserveAllAfterMachineMutation"
      }
    },
    {
      "phase": "neverc.mir.pass.preemit",
      "input_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "output_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook"
      },
      "provider_available": false,
      "interceptor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "default_executor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "verification": {
        "kind": "verifier",
        "id": "neverc.mir.verify_pass_slot",
        "positive_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
        "negative_test": "PluginMIRPassTest.RejectsPreserveAllAfterMachineMutation"
      }
    },
    {
      "phase": "neverc.mir.pass.final",
      "input_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "output_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook"
      },
      "provider_available": false,
      "interceptor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "default_executor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
      "verification": {
        "kind": "verifier",
        "id": "neverc.mir.verify_pass_slot",
        "positive_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
        "negative_test": "PluginMIRPassTest.RejectsPreserveAllAfterMachineMutation"
      }
    },
    {
      "phase": "neverc.mir.final_verify",
      "input_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "output_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "policies": ["OBSERVABLE", "SEALED_HOST_GATE"],
      "observer": {
        "available": true,
        "read_only_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook"
      },
      "provider_available": false,
      "verification": {
        "kind": "gate",
        "id": "sealed_verifier",
        "positive_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
        "negative_test": "PluginMIRBuilderTest.CommitVerifierRejectsAndRollsBackInvalidMIR"
      },
      "sealed_gate": {
        "host_private": true,
        "provider_available": false,
        "interceptor_available": false,
        "skip_available": false,
        "host_executor_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook",
        "bypass_negative_test": "PluginMIRBuilderTest.CommitVerifierRejectsAndRollsBackInvalidMIR"
      }
    },
    {
      "phase": "neverc.codegen.ir_to_mir",
      "input_artifact": ["0x4e43415249520001", "0x0000000000000001"],
      "output_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {"available": true, "read_only_test": "PluginIRToMIRProviderTest.ReplacementUsesPipelineOwnedMMIAndSkipsBuiltin"},
      "provider_available": true,
      "interceptor_test": "PluginIRToMIRProviderTest.ReplacementUsesPipelineOwnedMMIAndSkipsBuiltin",
      "default_executor_test": "PluginIRToMIRProviderTest.ReplacementUsesPipelineOwnedMMIAndSkipsBuiltin",
      "replacement_test": "PluginIRToMIRProviderTest.ReplacementUsesPipelineOwnedMMIAndSkipsBuiltin",
      "verification": {"kind": "verifier", "id": "neverc.codegen.verify_mir_product", "positive_test": "PluginIRToMIRProviderTest.ReplacementUsesPipelineOwnedMMIAndSkipsBuiltin", "negative_test": "PluginIRToMIRProviderTest.ReplacementMissingMachineFunctionFailsWithoutBuiltinFallback"}
    },
    {
      "phase": "neverc.codegen.mir_to_mc",
      "input_artifact": ["0x4e4341524d495201", "0x0000000000000001"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {"available": true, "read_only_test": "PluginMIRToMCProviderTest.ReplacementEmitsTaskLocalMCAndSkipsBuiltin"},
      "provider_available": true,
      "interceptor_test": "PluginMIRToMCProviderTest.ReplacementEmitsTaskLocalMCAndSkipsBuiltin",
      "default_executor_test": "PluginMIRToMCProviderTest.ReplacementEmitsTaskLocalMCAndSkipsBuiltin",
      "replacement_test": "PluginMIRToMCProviderTest.ReplacementEmitsTaskLocalMCAndSkipsBuiltin",
      "verification": {"kind": "verifier", "id": "neverc.codegen.verify_mc_product", "positive_test": "PluginMIRToMCProviderTest.ReplacementEmitsTaskLocalMCAndSkipsBuiltin", "negative_test": "PluginMIRToMCProviderTest.ForeignSchemaIsRejectedBeforeReplacementOrBuiltinRuns"}
    },
    {
      "phase": "neverc.codegen.coarse_lower",
      "input_artifact": ["0x4e43415249520001", "0x0000000000000001"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000002"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {"available": true, "read_only_test": "PluginCodeGenRouteTest.CoarseProviderBypassesBuiltinAndRunsMandatoryVerifier"},
      "provider_available": true,
      "interceptor_test": "PluginCodeGenRouteTest.CoarseProviderBypassesBuiltinAndRunsMandatoryVerifier",
      "default_executor_test": "PluginNewBackendTest.CompilesCThroughCoarseProviderToCustomNObj",
      "replacement_test": "PluginNewBackendTest.CompilesCThroughCoarseProviderToCustomNObj",
      "verification": {"kind": "verifier", "id": "neverc.codegen.verify_coarse_product", "positive_test": "PluginCodeGenRouteTest.CoarseProviderBypassesBuiltinAndRunsMandatoryVerifier", "negative_test": "PluginCodeGenRouteTest.RejectsMissingVerifierAndFinalIRProof"}
    },
    {
      "phase": "neverc.codegen.product_verify",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000002"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000002"],
      "policies": ["OBSERVABLE", "SEALED_HOST_GATE"],
      "observer": {"available": true, "read_only_test": "PluginCodeGenRouteTest.CoarseProviderBypassesBuiltinAndRunsMandatoryVerifier"},
      "provider_available": false,
      "verification": {"kind": "gate", "id": "sealed_verifier", "positive_test": "PluginCodeGenRouteTest.CoarseProviderBypassesBuiltinAndRunsMandatoryVerifier", "negative_test": "PluginCodeGenRouteTest.RejectsWrongProductForeignCompatibilityAndForgedProof"},
      "sealed_gate": {"host_private": true, "provider_available": false, "interceptor_available": false, "skip_available": false, "host_executor_test": "PluginCodeGenRouteTest.CoarseProviderBypassesBuiltinAndRunsMandatoryVerifier", "bypass_negative_test": "PluginCodeGenRouteTest.RejectsMissingVerifierAndFinalIRProof"}
    },
    {
      "phase": "neverc.mc.encode",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000003"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {"available": true, "read_only_test": "PluginMCEncodeDecodeTest.PluginEncoderEmitsBytesAndFixups"},
      "provider_available": true,
      "interceptor_test": "PluginMCEncodeDecodeTest.PluginEncoderEmitsBytesAndFixups",
      "default_executor_test": "PluginMCEncodeDecodeTest.BuiltinAdapterPreservesLLVMEncoding",
      "replacement_test": "PluginMCEncodeDecodeTest.PluginEncoderEmitsBytesAndFixups",
      "verification": {"kind": "verifier", "id": "neverc.mc.verify_encoded_unit", "positive_test": "PluginMCEncodeDecodeTest.PluginEncoderEmitsBytesAndFixups", "negative_test": "PluginMCEncodeDecodeTest.SurfacesCallbackErrorAndIllegalOpcode"}
    },
    {
      "phase": "neverc.mc.decode",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000003"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {"available": true, "read_only_test": "PluginMCEncodeDecodeTest.DecoderDistinguishesRecognizedAndUnknownBytes"},
      "provider_available": true,
      "interceptor_test": "PluginMCEncodeDecodeTest.DecoderDistinguishesRecognizedAndUnknownBytes",
      "default_executor_test": "PluginMCEncodeDecodeTest.DecodeCapabilityNegotiatesIndependently",
      "replacement_test": "PluginMCEncodeDecodeTest.DecoderDistinguishesRecognizedAndUnknownBytes",
      "verification": {"kind": "verifier", "id": "neverc.mc.verify_decoded_unit", "positive_test": "PluginMCEncodeDecodeTest.DecoderDistinguishesRecognizedAndUnknownBytes", "negative_test": "PluginMCEncodeDecodeTest.DecoderRejectsShortBuffer"}
    },
    {
      "phase": "neverc.mc.layout",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000004"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {"available": true, "read_only_test": "PluginMCLayoutTest.RelaxesShortBranchAndProducesStableDigest"},
      "provider_available": true,
      "interceptor_test": "PluginMCLayoutTest.RelaxesShortBranchAndProducesStableDigest",
      "default_executor_test": "PluginMCLayoutTest.MaterializesExecutableAlignmentWithTargetNops",
      "replacement_test": "PluginMCLayoutTest.RelaxesShortBranchAndProducesStableDigest",
      "verification": {"kind": "verifier", "id": "neverc.mc.verify_layout", "positive_test": "PluginMCLayoutTest.RelaxesShortBranchAndProducesStableDigest", "negative_test": "PluginMCLayoutTest.NonConvergenceRollsBackUnit"}
    },
    {
      "phase": "neverc.assembly.parse",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000005"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {"available": true, "read_only_test": "PluginAssemblerProviderTest.PipelineDispatchesThroughRegisteredCProviders"},
      "provider_available": true,
      "interceptor_test": "PluginAssemblerProviderTest.ReplacementParserBuildsMCUnitAndSkipsBuiltin",
      "default_executor_test": "PluginAssemblerProviderTest.PipelineUsesBuiltinOnlyWhenNoReplacementIsSelected",
      "replacement_test": "PluginNewBackendTest.AssemblesSourceThroughReplacementParserToCustomNObj",
      "verification": {"kind": "verifier", "id": "neverc.assembly.verify_parse", "positive_test": "PluginAssemblerProviderTest.ReplacementParserBuildsMCUnitAndSkipsBuiltin", "negative_test": "PluginTargetMCFailureTest.ParserFailureLeavesNoPartialObject"}
    },
    {
      "phase": "neverc.assembly.print",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000006"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {"available": true, "read_only_test": "PluginAssemblerProviderTest.PipelineDispatchesThroughRegisteredCProviders"},
      "provider_available": true,
      "interceptor_test": "PluginAssemblerProviderTest.ReplacementPrinterStagesFinishedOutputAndSkipsBuiltin",
      "default_executor_test": "PluginAssemblerProviderTest.BuiltinPrinterRoundTripsDataForX86AndAArch64",
      "replacement_test": "PluginAssemblerProviderTest.ReplacementPrinterStagesFinishedOutputAndSkipsBuiltin",
      "verification": {"kind": "verifier", "id": "neverc.assembly.verify_print", "positive_test": "PluginAssemblerProviderTest.ReplacementPrinterStagesFinishedOutputAndSkipsBuiltin", "negative_test": "PluginAssemblerProviderTest.FailedPrinterDoesNotPublishPartialOutputOrFallback"}
    },
    {
      "phase": "neverc.object.probe",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000007"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000008"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {"available": true, "read_only_test": "PluginObjectReaderTest.CustomReaderBuildsVerifiedGraphTransactionally"},
      "provider_available": true,
      "interceptor_test": "PluginObjectReaderTest.CustomReaderBuildsVerifiedGraphTransactionally",
      "default_executor_test": "PluginObjectReaderTest.BuiltinLLVMReaderMapsELFCOFFAndMachO",
      "replacement_test": "PluginObjectReaderTest.CustomReaderBuildsVerifiedGraphTransactionally",
      "verification": {"kind": "verifier", "id": "neverc.object.verify_probe", "positive_test": "PluginObjectReaderTest.CustomReaderBuildsVerifiedGraphTransactionally", "negative_test": "PluginObjectReaderTest.EqualConfidenceProbeIsRejectedAsAmbiguous"}
    },
    {
      "phase": "neverc.object.read",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000007"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000009"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {"available": true, "read_only_test": "PluginObjectReaderTest.CustomReaderBuildsVerifiedGraphTransactionally"},
      "provider_available": true,
      "interceptor_test": "PluginObjectReaderTest.CustomReaderBuildsVerifiedGraphTransactionally",
      "default_executor_test": "PluginObjectReaderTest.BuiltinLLVMReaderMapsELFCOFFAndMachO",
      "replacement_test": "PluginObjectReaderTest.CustomReaderBuildsVerifiedGraphTransactionally",
      "verification": {"kind": "verifier", "id": "neverc.object.verify_graph", "positive_test": "PluginObjectReaderTest.CustomReaderBuildsVerifiedGraphTransactionally", "negative_test": "PluginObjectReaderTest.TruncatedProbeAndArchiveReturnPreciseErrors"}
    },
    {
      "phase": "neverc.object.write",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000009"],
      "output_artifact": ["0x4e434152544d4f01", "0x000000000000000a"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {"available": true, "read_only_test": "PluginObjectWriterTest.ProducesVerifiedCandidateBeforeAtomicHostCommit"},
      "provider_available": true,
      "interceptor_test": "PluginObjectWriterTest.ObjectPhasePipelineVerifiesAndCommitsOnlyAtSealedGate",
      "default_executor_test": "PluginObjectWriterTest.BuiltinWritersEmitELFCOFFAndMachORelocatableImages",
      "replacement_test": "PluginObjectWriterTest.ProducesVerifiedCandidateBeforeAtomicHostCommit",
      "verification": {"kind": "verifier", "id": "neverc.object.verify_image_candidate", "positive_test": "PluginObjectWriterTest.ProducesVerifiedCandidateBeforeAtomicHostCommit", "negative_test": "PluginObjectWriterTest.WriterFailureDiscardsStagingAndPreservesExistingFile"}
    },
    {
      "phase": "neverc.mc.emission.pre_instruction",
      "input_artifact": ["0x4e434152544d4f01", "0x000000000000000b"],
      "output_artifact": ["0x4e434152544d4f01", "0x000000000000000b"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {"available": true, "read_only_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents"},
      "provider_available": true,
      "interceptor_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents",
      "default_executor_test": "PluginMCEmissionHookTest.AssemblyEmissionUsesTheSameInstructionInterceptor",
      "replacement_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents",
      "verification": {"kind": "verifier", "id": "neverc.mc.verify_instruction_candidate", "positive_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents", "negative_test": "PluginMCEmissionHookTest.CallbackFailureStopsObjectWriterAndMarksTheContext"}
    },
    {
      "phase": "neverc.object.pre_write",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000009"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000009"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {"available": true, "read_only_test": "PluginObjectWriterTest.ObjectObserversCannotMutateGraphs"},
      "provider_available": true,
      "interceptor_test": "PluginObjectWriterTest.PreWriteInterceptorMutatesGraphBeforeLayout",
      "default_executor_test": "PluginObjectWriterTest.ObjectPhasePipelineVerifiesAndCommitsOnlyAtSealedGate",
      "replacement_test": "PluginObjectWriterTest.PreWriteInterceptorMutatesGraphBeforeLayout",
      "verification": {"kind": "verifier", "id": "neverc.object.verify_pre_write_graph", "positive_test": "PluginObjectWriterTest.PreWriteInterceptorMutatesGraphBeforeLayout", "negative_test": "PluginObjectWriterTest.ObjectObserversCannotMutateGraphs"}
    },
    {
      "phase": "neverc.object.post_layout",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000009"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000009"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE", "REPLACEABLE"],
      "observer": {"available": true, "read_only_test": "PluginObjectWriterTest.PostLayoutMutationInvalidatesProofAndTriggersRelayout"},
      "provider_available": true,
      "interceptor_test": "PluginObjectWriterTest.PostLayoutMutationInvalidatesProofAndTriggersRelayout",
      "default_executor_test": "PluginObjectWriterTest.ObjectPhasePipelineVerifiesAndCommitsOnlyAtSealedGate",
      "replacement_test": "PluginObjectWriterTest.PostLayoutMutationInvalidatesProofAndTriggersRelayout",
      "verification": {"kind": "verifier", "id": "neverc.object.verify_post_layout_graph", "positive_test": "PluginObjectWriterTest.PostLayoutMutationInvalidatesProofAndTriggersRelayout", "negative_test": "PluginObjectWriterTest.ObjectObserversCannotMutateGraphs"}
    },
    {
      "phase": "neverc.object.post_write",
      "input_artifact": ["0x4e434152544d4f01", "0x000000000000000a"],
      "output_artifact": ["0x4e434152544d4f01", "0x000000000000000a"],
      "policies": ["OBSERVABLE", "INTERCEPTABLE"],
      "observer": {"available": true, "read_only_test": "PluginObjectWriterTest.SessionRegisteredPostWriteInterceptorRunsInPipeline"},
      "provider_available": false,
      "interceptor_test": "PluginObjectWriterTest.PostWriteInterceptorMutatesBoundedCandidateBeforeFinish",
      "default_executor_test": "PluginObjectWriterTest.ObjectPhasePipelineVerifiesAndCommitsOnlyAtSealedGate",
      "verification": {"kind": "verifier", "id": "neverc.object.verify_mutable_binary", "positive_test": "PluginObjectWriterTest.PostWriteInterceptorMutatesBoundedCandidateBeforeFinish", "negative_test": "PluginObjectWriterTest.RejectsRandomWritePastReservedImageAndAbortsCandidate"}
    },
    {
      "phase": "neverc.mc.emission.unit_begin",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "policies": ["OBSERVABLE"],
      "observer": {"available": true, "read_only_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents"},
      "provider_available": false,
      "default_executor_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents",
      "verification": {"kind": "verifier", "id": "neverc.mc.verify_emission_event", "positive_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents", "negative_test": "PluginMCEmissionHookTest.CallbackFailureStopsObjectWriterAndMarksTheContext"}
    },
    {
      "phase": "neverc.mc.emission.unit_end",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "policies": ["OBSERVABLE"],
      "observer": {"available": true, "read_only_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents"},
      "provider_available": false,
      "default_executor_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents",
      "verification": {"kind": "verifier", "id": "neverc.mc.verify_emission_event", "positive_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents", "negative_test": "PluginMCEmissionHookTest.CallbackFailureStopsObjectWriterAndMarksTheContext"}
    },
    {
      "phase": "neverc.mc.emission.section_change",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "policies": ["OBSERVABLE"],
      "observer": {"available": true, "read_only_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents"},
      "provider_available": false,
      "default_executor_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents",
      "verification": {"kind": "verifier", "id": "neverc.mc.verify_emission_event", "positive_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents", "negative_test": "PluginMCEmissionHookTest.CallbackFailureStopsObjectWriterAndMarksTheContext"}
    },
    {
      "phase": "neverc.mc.emission.post_instruction",
      "input_artifact": ["0x4e434152544d4f01", "0x000000000000000b"],
      "output_artifact": ["0x4e434152544d4f01", "0x000000000000000b"],
      "policies": ["OBSERVABLE"],
      "observer": {"available": true, "read_only_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents"},
      "provider_available": false,
      "default_executor_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents",
      "verification": {"kind": "verifier", "id": "neverc.mc.verify_emission_event", "positive_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents", "negative_test": "PluginMCEmissionHookTest.CallbackFailureStopsObjectWriterAndMarksTheContext"}
    },
    {
      "phase": "neverc.mc.emission.post_encode",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000003"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000003"],
      "policies": ["OBSERVABLE"],
      "observer": {"available": true, "read_only_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents"},
      "provider_available": false,
      "default_executor_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents",
      "verification": {"kind": "verifier", "id": "neverc.mc.verify_emission_event", "positive_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents", "negative_test": "PluginMCEmissionHookTest.CallbackFailureStopsObjectWriterAndMarksTheContext"}
    },
    {
      "phase": "neverc.mc.emission.fixup",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "policies": ["OBSERVABLE"],
      "observer": {"available": true, "read_only_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents"},
      "provider_available": false,
      "default_executor_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents",
      "verification": {"kind": "verifier", "id": "neverc.mc.verify_emission_event", "positive_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents", "negative_test": "PluginMCEmissionHookTest.CallbackFailureStopsObjectWriterAndMarksTheContext"}
    },
    {
      "phase": "neverc.mc.emission.relaxation_round",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "policies": ["OBSERVABLE"],
      "observer": {"available": true, "read_only_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents"},
      "provider_available": false,
      "default_executor_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents",
      "verification": {"kind": "verifier", "id": "neverc.mc.verify_emission_event", "positive_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents", "negative_test": "PluginMCEmissionHookTest.CallbackFailureStopsObjectWriterAndMarksTheContext"}
    },
    {
      "phase": "neverc.mc.emission.pre_layout",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000001"],
      "policies": ["OBSERVABLE"],
      "observer": {"available": true, "read_only_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents"},
      "provider_available": false,
      "default_executor_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents",
      "verification": {"kind": "verifier", "id": "neverc.mc.verify_emission_event", "positive_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents", "negative_test": "PluginMCEmissionHookTest.CallbackFailureStopsObjectWriterAndMarksTheContext"}
    },
    {
      "phase": "neverc.mc.emission.post_layout",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000004"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000004"],
      "policies": ["OBSERVABLE"],
      "observer": {"available": true, "read_only_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents"},
      "provider_available": false,
      "default_executor_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents",
      "verification": {"kind": "verifier", "id": "neverc.mc.verify_emission_event", "positive_test": "PluginMCEmissionHookTest.ObjectEmissionMutatesInstructionAndReportsOrderedEvents", "negative_test": "PluginMCEmissionHookTest.CallbackFailureStopsObjectWriterAndMarksTheContext"}
    },
    {
      "phase": "neverc.assembly.final_verify",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000006"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000006"],
      "policies": ["OBSERVABLE", "SEALED_HOST_GATE"],
      "observer": {"available": true, "read_only_test": "PluginAssemblerProviderTest.ReplacementPrinterStagesFinishedOutputAndSkipsBuiltin"},
      "provider_available": false,
      "verification": {"kind": "gate", "id": "sealed_verifier", "positive_test": "PluginAssemblerProviderTest.ReplacementPrinterStagesFinishedOutputAndSkipsBuiltin", "negative_test": "PluginAssemblerProviderTest.FailedPrinterDoesNotPublishPartialOutputOrFallback"},
      "sealed_gate": {"host_private": true, "provider_available": false, "interceptor_available": false, "skip_available": false, "host_executor_test": "PluginAssemblerProviderTest.ReplacementPrinterStagesFinishedOutputAndSkipsBuiltin", "bypass_negative_test": "PluginAssemblerProviderTest.FailedPrinterDoesNotPublishPartialOutputOrFallback"}
    },
    {
      "phase": "neverc.assembly.commit",
      "input_artifact": ["0x4e434152544d4f01", "0x0000000000000006"],
      "output_artifact": ["0x4e434152544d4f01", "0x0000000000000006"],
      "policies": ["OBSERVABLE", "SEALED_HOST_GATE"],
      "observer": {"available": true, "read_only_test": "PluginAssemblerTest.PluginParserAndPrinterReplaceAssemblySyntax"},
      "provider_available": false,
      "verification": {"kind": "gate", "id": "sealed_commit", "positive_test": "PluginAssemblerTest.PluginParserAndPrinterReplaceAssemblySyntax", "negative_test": "PluginTargetMCFailureTest.ParserFailureLeavesNoPartialObject"},
      "sealed_gate": {"host_private": true, "provider_available": false, "interceptor_available": false, "skip_available": false, "host_executor_test": "PluginAssemblerTest.PluginParserAndPrinterReplaceAssemblySyntax", "bypass_negative_test": "PluginTargetMCFailureTest.ParserFailureLeavesNoPartialObject"}
    },
    {
      "phase": "neverc.object.final_verify",
      "input_artifact": ["0x4e434152544d4f01", "0x000000000000000a"],
      "output_artifact": ["0x4e434152544d4f01", "0x000000000000000a"],
      "policies": ["OBSERVABLE", "SEALED_HOST_GATE"],
      "observer": {"available": true, "read_only_test": "PluginObjectWriterTest.ObjectPhasePipelineVerifiesAndCommitsOnlyAtSealedGate"},
      "provider_available": false,
      "verification": {"kind": "gate", "id": "sealed_verifier", "positive_test": "PluginObjectWriterTest.ObjectPhasePipelineVerifiesAndCommitsOnlyAtSealedGate", "negative_test": "PluginObjectWriterTest.FinalVerificationRejectionAbortsFinishedImageBeforePublication"},
      "sealed_gate": {"host_private": true, "provider_available": false, "interceptor_available": false, "skip_available": false, "host_executor_test": "PluginObjectWriterTest.ObjectPhasePipelineVerifiesAndCommitsOnlyAtSealedGate", "bypass_negative_test": "PluginObjectWriterTest.FinalVerificationRejectionAbortsFinishedImageBeforePublication"}
    },
    {
      "phase": "neverc.object.commit",
      "input_artifact": ["0x4e434152544d4f01", "0x000000000000000a"],
      "output_artifact": ["0x4e434152544d4f01", "0x000000000000000a"],
      "policies": ["OBSERVABLE", "SEALED_HOST_GATE"],
      "observer": {"available": true, "read_only_test": "PluginObjectWriterTest.ObjectPhasePipelineVerifiesAndCommitsOnlyAtSealedGate"},
      "provider_available": false,
      "verification": {"kind": "gate", "id": "sealed_commit", "positive_test": "PluginObjectWriterTest.ObjectPhasePipelineVerifiesAndCommitsOnlyAtSealedGate", "negative_test": "PluginObjectWriterTest.WriterFailureDiscardsStagingAndPreservesExistingFile"},
      "sealed_gate": {"host_private": true, "provider_available": false, "interceptor_available": false, "skip_available": false, "host_executor_test": "PluginObjectWriterTest.ObjectPhasePipelineVerifiesAndCommitsOnlyAtSealedGate", "bypass_negative_test": "PluginObjectWriterTest.WriterFailureDiscardsStagingAndPreservesExistingFile"}
    },
    {
      "phase": "neverc.link.input_probe",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000001"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000002"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE",
        "SKIPPABLE_WITH_PROOF"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginLinkInputTest.MaterializesPluginProvidedVirtualArchive"
      },
      "provider_available": true,
      "interceptor_test": "PluginLinkInputTest.LinkerScriptUsesTypedProvider",
      "default_executor_test": "PluginLinkInputTest.ReadsELFArchiveWithBuiltinObjectReader",
      "replacement_test": "PluginLinkInputTest.MaterializesPluginProvidedVirtualArchive",
      "skip_proof_tests": {
        "valid_test": "PluginLinkLayoutTest.PureCInterceptorCanConstrainLayoutAndObserveProof",
        "stale_test": "PluginLinkMutationTest.CommitBumpsGenerationInvalidatesProofAndTracksEarliestPhase",
        "cross_session_test": "PluginLinkVerifierTest.ProofCannotCrossGraphEvenWithinOneTask"
      },
      "verification": {
        "kind": "verifier",
        "id": "neverc.link.verify_input_probe",
        "positive_test": "PluginLinkInputTest.ReadsObjectThroughVFSAndFreezesDigestAndRoute",
        "negative_test": "PluginLinkInputTest.KeepsDuplicateArchiveMembersLazyAndEnforcesBudget"
      }
    },
    {
      "phase": "neverc.link.read_inputs",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000002"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000003"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE",
        "SKIPPABLE_WITH_PROOF"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginLinkInputTest.WholeArchiveMaterializesEveryMember"
      },
      "provider_available": true,
      "interceptor_test": "PluginLinkInputTest.ResolvesThinArchiveMembersThroughTaskVFS",
      "default_executor_test": "PluginLinkInputTest.ReadsELFArchiveWithBuiltinObjectReader",
      "replacement_test": "PluginLinkInputTest.MaterializesCOFFImportLibraryAsSharedDefinitions",
      "skip_proof_tests": {
        "valid_test": "PluginLinkLayoutTest.PureCInterceptorCanConstrainLayoutAndObserveProof",
        "stale_test": "PluginLinkMutationTest.CommitBumpsGenerationInvalidatesProofAndTracksEarliestPhase",
        "cross_session_test": "PluginLinkVerifierTest.ProofCannotCrossGraphEvenWithinOneTask"
      },
      "verification": {
        "kind": "verifier",
        "id": "neverc.link.verify_inputs",
        "positive_test": "PluginLinkInputTest.ArchiveSymbolExtractionReachesFixedPoint",
        "negative_test": "PluginLinkInputTest.ArchiveMaterializationObservesCancellation"
      }
    },
    {
      "phase": "neverc.link.lto_resolve",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000003"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000004"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE",
        "SKIPPABLE_WITH_PROOF"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginLTOInputTest.BuildsTypedModuleMetadataAndRegularSymbolResolutions"
      },
      "provider_available": true,
      "interceptor_test": "PluginLinkPhaseTest.PostInterceptorMutationInvalidatesAndRerunsFromEarliestPhase",
      "default_executor_test": "PluginLinkPhaseTest.BuiltinPipelineExecutesAllTypedTransitions",
      "replacement_test": "PluginLinkPhaseTest.SelectedCProviderPublishesTypedGraph",
      "skip_proof_tests": {
        "valid_test": "PluginLinkLayoutTest.PureCInterceptorCanConstrainLayoutAndObserveProof",
        "stale_test": "PluginLinkMutationTest.CommitBumpsGenerationInvalidatesProofAndTracksEarliestPhase",
        "cross_session_test": "PluginLinkVerifierTest.ProofCannotCrossGraphEvenWithinOneTask"
      },
      "verification": {
        "kind": "verifier",
        "id": "neverc.link.verify_lto_resolution",
        "positive_test": "PluginLTOInputTest.BuildsTypedModuleMetadataAndRegularSymbolResolutions",
        "negative_test": "PluginLTOInputTest.ExposesCallerBufferedCAPIAndRejectsInvalidResolutionMutation"
      }
    },
    {
      "phase": "neverc.link.lto_generate",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000004"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000005"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE",
        "SKIPPABLE_WITH_PROOF"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginLTOInputTest.ExposesCallerBufferedCAPIAndRejectsInvalidResolutionMutation"
      },
      "provider_available": true,
      "interceptor_test": "PluginLinkPhaseTest.PostInterceptorMutationInvalidatesAndRerunsFromEarliestPhase",
      "default_executor_test": "PluginLinkPhaseTest.BuiltinPipelineExecutesAllTypedTransitions",
      "replacement_test": "PluginLinkPhaseTest.SelectedCProviderPublishesTypedGraph",
      "skip_proof_tests": {
        "valid_test": "PluginLinkLayoutTest.PureCInterceptorCanConstrainLayoutAndObserveProof",
        "stale_test": "PluginLinkMutationTest.CommitBumpsGenerationInvalidatesProofAndTracksEarliestPhase",
        "cross_session_test": "PluginLinkVerifierTest.ProofCannotCrossGraphEvenWithinOneTask"
      },
      "verification": {
        "kind": "verifier",
        "id": "neverc.link.verify_lto_products",
        "positive_test": "PluginLTOInputTest.BuildsTypedModuleMetadataAndRegularSymbolResolutions",
        "negative_test": "PluginLTOInputTest.RejectsIncompatibleBitcodeTarget"
      }
    },
    {
      "phase": "neverc.link.resolve_symbols",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000005"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000006"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE",
        "SKIPPABLE_WITH_PROOF"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginSymbolResolutionTest.PureCInterceptorCanOverrideTheVerifiedResolutionOutcome"
      },
      "provider_available": true,
      "interceptor_test": "PluginSymbolResolutionTest.PureCInterceptorCanOverrideTheVerifiedResolutionOutcome",
      "default_executor_test": "PluginSymbolResolutionTest.BuiltinTypedPhaseSelectsStrongDefinitionAndRetargetsEdges",
      "replacement_test": "PluginLinkPhaseTest.SelectedCProviderPublishesTypedGraph",
      "skip_proof_tests": {
        "valid_test": "PluginLinkLayoutTest.PureCInterceptorCanConstrainLayoutAndObserveProof",
        "stale_test": "PluginLinkMutationTest.CommitBumpsGenerationInvalidatesProofAndTracksEarliestPhase",
        "cross_session_test": "PluginLinkVerifierTest.ProofCannotCrossGraphEvenWithinOneTask"
      },
      "verification": {
        "kind": "verifier",
        "id": "neverc.link.verify_symbol_resolution",
        "positive_test": "PluginSymbolResolutionTest.BuiltinTypedPhaseSelectsStrongDefinitionAndRetargetsEdges",
        "negative_test": "PluginSymbolResolutionTest.VerifierRejectsPluginWithMultiplePrevailingDefinitions"
      }
    },
    {
      "phase": "neverc.link.select_comdat",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000006"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000007"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE",
        "SKIPPABLE_WITH_PROOF"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginSymbolResolutionTest.ComdatTypedPhaseAppliesLargestSelectionRule"
      },
      "provider_available": true,
      "interceptor_test": "PluginLinkPhaseTest.PostInterceptorMutationInvalidatesAndRerunsFromEarliestPhase",
      "default_executor_test": "PluginSymbolResolutionTest.ComdatTypedPhaseAppliesLargestSelectionRule",
      "replacement_test": "PluginLinkPhaseTest.SelectedCProviderPublishesTypedGraph",
      "skip_proof_tests": {
        "valid_test": "PluginLinkLayoutTest.PureCInterceptorCanConstrainLayoutAndObserveProof",
        "stale_test": "PluginLinkMutationTest.CommitBumpsGenerationInvalidatesProofAndTracksEarliestPhase",
        "cross_session_test": "PluginLinkVerifierTest.ProofCannotCrossGraphEvenWithinOneTask"
      },
      "verification": {
        "kind": "verifier",
        "id": "neverc.link.verify_comdat_selection",
        "positive_test": "PluginSymbolResolutionTest.ComdatTypedPhaseAppliesLargestSelectionRule",
        "negative_test": "PluginSymbolResolutionTest.VerifierRejectsPluginWithMultiplePrevailingDefinitions"
      }
    },
    {
      "phase": "neverc.link.gc",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000007"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000008"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE",
        "SKIPPABLE_WITH_PROOF"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginLinkGCICFTest.PureCInterceptorCanKeepAnAdditionalAtomLive"
      },
      "provider_available": true,
      "interceptor_test": "PluginLinkGCICFTest.PureCInterceptorCanKeepAnAdditionalAtomLive",
      "default_executor_test": "PluginLinkGCICFTest.BuiltinGCMarksRootsAndReachableAtomsButDropsDeadAtoms",
      "replacement_test": "PluginLinkGCICFTest.ProvidersRecordKeepAndFoldProvenance",
      "skip_proof_tests": {
        "valid_test": "PluginLinkLayoutTest.PureCInterceptorCanConstrainLayoutAndObserveProof",
        "stale_test": "PluginLinkMutationTest.CommitBumpsGenerationInvalidatesProofAndTracksEarliestPhase",
        "cross_session_test": "PluginLinkVerifierTest.ProofCannotCrossGraphEvenWithinOneTask"
      },
      "verification": {
        "kind": "verifier",
        "id": "neverc.link.verify_liveness",
        "positive_test": "PluginLinkGCICFTest.BuiltinGCMarksRootsAndReachableAtomsButDropsDeadAtoms",
        "negative_test": "PluginLinkGCICFTest.VerifierRejectsPluginThatDropsARequiredRoot"
      }
    },
    {
      "phase": "neverc.link.icf",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000008"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000009"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE",
        "SKIPPABLE_WITH_PROOF"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginLinkGCICFTest.PureCInterceptorCanPreventAnEligibleFold"
      },
      "provider_available": true,
      "interceptor_test": "PluginLinkGCICFTest.PureCInterceptorCanPreventAnEligibleFold",
      "default_executor_test": "PluginLinkGCICFTest.BuiltinICFFoldsEquivalentEligibleAtomsOnly",
      "replacement_test": "PluginLinkGCICFTest.ProvidersRecordKeepAndFoldProvenance",
      "skip_proof_tests": {
        "valid_test": "PluginLinkLayoutTest.PureCInterceptorCanConstrainLayoutAndObserveProof",
        "stale_test": "PluginLinkMutationTest.CommitBumpsGenerationInvalidatesProofAndTracksEarliestPhase",
        "cross_session_test": "PluginLinkVerifierTest.ProofCannotCrossGraphEvenWithinOneTask"
      },
      "verification": {
        "kind": "verifier",
        "id": "neverc.link.verify_icf",
        "positive_test": "PluginLinkGCICFTest.BuiltinICFFoldsEquivalentEligibleAtomsOnly",
        "negative_test": "PluginLinkGCICFTest.VerifierRejectsFoldingAnAddressSignificantAtom"
      }
    },
    {
      "phase": "neverc.link.synthesize",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000009"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x000000000000000a"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE",
        "SKIPPABLE_WITH_PROOF"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginLinkSynthesisTest.PureCInterceptorCanRegisterSyntheticMetadata"
      },
      "provider_available": true,
      "interceptor_test": "PluginLinkSynthesisTest.PureCInterceptorCanRegisterSyntheticMetadata",
      "default_executor_test": "PluginLinkSynthesisTest.BuiltinProviderMarksMaterializedSyntheticAtoms",
      "replacement_test": "PluginLinkPhaseTest.SelectedCProviderPublishesTypedGraph",
      "skip_proof_tests": {
        "valid_test": "PluginLinkLayoutTest.PureCInterceptorCanConstrainLayoutAndObserveProof",
        "stale_test": "PluginLinkMutationTest.CommitBumpsGenerationInvalidatesProofAndTracksEarliestPhase",
        "cross_session_test": "PluginLinkVerifierTest.ProofCannotCrossGraphEvenWithinOneTask"
      },
      "verification": {
        "kind": "verifier",
        "id": "neverc.link.verify_synthetics",
        "positive_test": "PluginLinkSynthesisTest.BuiltinProviderMarksMaterializedSyntheticAtoms",
        "negative_test": "PluginLinkSynthesisTest.VerifierRejectsPluginSyntheticWithEmptyRole"
      }
    },
    {
      "phase": "neverc.link.relax_thunks",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x000000000000000a"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x000000000000000b"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE",
        "SKIPPABLE_WITH_PROOF"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginLinkSynthesisTest.RelaxationConvergesAfterShrinkingNearBranchesAndAddingFarThunks"
      },
      "provider_available": true,
      "interceptor_test": "PluginLinkPhaseTest.PostInterceptorMutationInvalidatesAndRerunsFromEarliestPhase",
      "default_executor_test": "PluginLinkSynthesisTest.RelaxationConvergesAfterShrinkingNearBranchesAndAddingFarThunks",
      "replacement_test": "PluginLinkPhaseTest.SelectedCProviderPublishesTypedGraph",
      "skip_proof_tests": {
        "valid_test": "PluginLinkLayoutTest.PureCInterceptorCanConstrainLayoutAndObserveProof",
        "stale_test": "PluginLinkMutationTest.CommitBumpsGenerationInvalidatesProofAndTracksEarliestPhase",
        "cross_session_test": "PluginLinkVerifierTest.ProofCannotCrossGraphEvenWithinOneTask"
      },
      "verification": {
        "kind": "verifier",
        "id": "neverc.link.verify_relaxation",
        "positive_test": "PluginLinkSynthesisTest.RelaxationConvergesAfterShrinkingNearBranchesAndAddingFarThunks",
        "negative_test": "PluginLinkSynthesisTest.RelaxationReportsNonConvergenceAtTheConfiguredLimit"
      }
    },
    {
      "phase": "neverc.link.layout",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x000000000000000b"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x000000000000000c"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE",
        "SKIPPABLE_WITH_PROOF"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginLinkLayoutTest.PureCInterceptorCanConstrainLayoutAndObserveProof"
      },
      "provider_available": true,
      "interceptor_test": "PluginLinkLayoutTest.PureCInterceptorCanConstrainLayoutAndObserveProof",
      "default_executor_test": "PluginLinkLayoutTest.BuiltinLayoutAssignsAlignedNonOverlappingRanges",
      "replacement_test": "PluginLinkPhaseTest.SelectedCProviderPublishesTypedGraph",
      "skip_proof_tests": {
        "valid_test": "PluginLinkLayoutTest.PureCInterceptorCanConstrainLayoutAndObserveProof",
        "stale_test": "PluginLinkMutationTest.CommitBumpsGenerationInvalidatesProofAndTracksEarliestPhase",
        "cross_session_test": "PluginLinkVerifierTest.ProofCannotCrossGraphEvenWithinOneTask"
      },
      "verification": {
        "kind": "verifier",
        "id": "neverc.link.verify_layout",
        "positive_test": "PluginLinkLayoutTest.BuiltinLayoutAssignsAlignedNonOverlappingRanges",
        "negative_test": "PluginLinkLayoutTest.LayoutRejectsOverlappingAndWritableExecutableRanges"
      }
    },
    {
      "phase": "neverc.link.relocate",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x000000000000000c"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x000000000000000d"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE",
        "SKIPPABLE_WITH_PROOF"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginLinkLayoutTest.RelocationHandlesPCRelativeAndTLSDynamicPolicies"
      },
      "provider_available": true,
      "interceptor_test": "PluginLinkPhaseTest.PostInterceptorMutationInvalidatesAndRerunsFromEarliestPhase",
      "default_executor_test": "PluginLinkLayoutTest.BuiltinRelocationWritesTargetAddressUsingTargetEndianness",
      "replacement_test": "PluginLinkPhaseTest.SelectedCProviderPublishesTypedGraph",
      "skip_proof_tests": {
        "valid_test": "PluginLinkLayoutTest.PureCInterceptorCanConstrainLayoutAndObserveProof",
        "stale_test": "PluginLinkMutationTest.CommitBumpsGenerationInvalidatesProofAndTracksEarliestPhase",
        "cross_session_test": "PluginLinkVerifierTest.ProofCannotCrossGraphEvenWithinOneTask"
      },
      "verification": {
        "kind": "verifier",
        "id": "neverc.link.verify_relocations",
        "positive_test": "PluginLinkLayoutTest.BuiltinRelocationWritesTargetAddressUsingTargetEndianness",
        "negative_test": "PluginLinkLayoutTest.RelocationRejectsThirtyTwoBitOverflow"
      }
    },
    {
      "phase": "neverc.link.emit_image",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x000000000000000d"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x000000000000000e"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE",
        "SKIPPABLE_WITH_PROOF"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginBinaryImageTest.EmitsQueryableSegmentsSectionsAndStableBytes"
      },
      "provider_available": true,
      "interceptor_test": "PluginBinaryImageTest.PostEmitPatchPrecedesSealedVerifyAndCommitIsReadOnly",
      "default_executor_test": "PluginBinaryImageTest.EmitsQueryableSegmentsSectionsAndStableBytes",
      "replacement_test": "PluginLinkPhaseTest.SelectedCProviderPublishesTypedGraph",
      "skip_proof_tests": {
        "valid_test": "PluginLinkLayoutTest.PureCInterceptorCanConstrainLayoutAndObserveProof",
        "stale_test": "PluginLinkMutationTest.CommitBumpsGenerationInvalidatesProofAndTracksEarliestPhase",
        "cross_session_test": "PluginLinkVerifierTest.ProofCannotCrossGraphEvenWithinOneTask"
      },
      "verification": {
        "kind": "verifier",
        "id": "neverc.link.verify_image_candidate",
        "positive_test": "PluginBinaryImageTest.EmitsQueryableSegmentsSectionsAndStableBytes",
        "negative_test": "PluginBinaryImageTest.InvalidPostEmitGrowthPublishesNothing"
      }
    },
    {
      "phase": "neverc.link.full",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000001"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x000000000000000e"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginLinkRouteTest.LinkRequestOwnsFrozenInputAndTargetData"
      },
      "provider_available": true,
      "interceptor_test": "PluginLinkRouteTest.ExactMatchBeatsHostDefinedFallback",
      "default_executor_test": "PluginLinkPhaseTest.BuiltinPipelineExecutesAllTypedTransitions",
      "replacement_test": "PluginLinkRouteTest.CompleteProviderRunsBeforeBackendSelection",
      "verification": {
        "kind": "verifier",
        "id": "neverc.link.verify_linker_product",
        "positive_test": "PluginLinkRouteTest.RepeatedPlansAreStableWithinSnapshot",
        "negative_test": "PluginLinkRouteTest.RejectsEqualSpecificityConflict"
      }
    },
    {
      "phase": "neverc.link.object_merge",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000003"
      ],
      "output_artifact": [
        "0x4e434152544d4f01",
        "0x0000000000000009"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginObjectMergeProviderTest.ExposesEveryInputAndCommitsHostOwnedOutput"
      },
      "provider_available": true,
      "interceptor_test": "PluginLinkPhaseTest.PostInterceptorMutationInvalidatesAndRerunsFromEarliestPhase",
      "default_executor_test": "PluginObjectMergeProviderTest.BuiltinAdapterRoundTripsTypedGraphsThroughRelocatableMerge",
      "replacement_test": "PluginObjectMergeProviderTest.DispatchesRegisteredPluginThroughPlannedRoute",
      "verification": {
        "kind": "verifier",
        "id": "neverc.link.verify_merged_object",
        "positive_test": "PluginObjectMergeProviderTest.BuiltinAdapterRoundTripsTypedGraphsThroughRelocatableMerge",
        "negative_test": "PluginObjectMergeProviderTest.RejectsForeignOutputHandle"
      }
    },
    {
      "phase": "neverc.link.post_emit",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x000000000000000e"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x000000000000000e"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginBinaryImageTest.PostEmitPatchPrecedesSealedVerifyAndCommitIsReadOnly"
      },
      "provider_available": false,
      "interceptor_test": "PluginBinaryImageTest.PostEmitPatchPrecedesSealedVerifyAndCommitIsReadOnly",
      "default_executor_test": "PluginBinaryImageTest.EmitsQueryableSegmentsSectionsAndStableBytes",
      "verification": {
        "kind": "verifier",
        "id": "neverc.link.verify_post_emit_image",
        "positive_test": "PluginBinaryImageTest.PostEmitPatchPrecedesSealedVerifyAndCommitIsReadOnly",
        "negative_test": "PluginBinaryImageTest.PostEmitBudgetOverflowPublishesNothing"
      }
    },
    {
      "phase": "neverc.link.image_verify",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x000000000000000e"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x000000000000000f"
      ],
      "policies": [
        "OBSERVABLE",
        "SEALED_HOST_GATE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginBinaryImageTest.PostEmitPatchPrecedesSealedVerifyAndCommitIsReadOnly"
      },
      "provider_available": false,
      "sealed_gate": {
        "host_private": true,
        "provider_available": false,
        "interceptor_available": false,
        "skip_available": false,
        "host_executor_test": "PluginBinaryImageTest.PostEmitPatchPrecedesSealedVerifyAndCommitIsReadOnly",
        "bypass_negative_test": "PluginLinkPhaseTest.SealedGateRejectsReplacementProvider"
      },
      "verification": {
        "kind": "gate",
        "id": "sealed_verifier",
        "positive_test": "PluginBinaryImageTest.PostEmitPatchPrecedesSealedVerifyAndCommitIsReadOnly",
        "negative_test": "PluginBinaryImageTest.InvalidPostEmitGrowthPublishesNothing"
      }
    },
    {
      "phase": "neverc.link.side_outputs_verify",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x000000000000000f"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000010"
      ],
      "policies": [
        "OBSERVABLE",
        "SEALED_HOST_GATE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginBinaryImageTest.BundleRejectsCanonicalPathAliasesBeforePublication"
      },
      "provider_available": false,
      "sealed_gate": {
        "host_private": true,
        "provider_available": false,
        "interceptor_available": false,
        "skip_available": false,
        "host_executor_test": "PluginBinaryImageTest.EmitsQueryableSegmentsSectionsAndStableBytes",
        "bypass_negative_test": "PluginLinkPhaseTest.SealedGateRejectsReplacementProvider"
      },
      "verification": {
        "kind": "gate",
        "id": "sealed_verifier",
        "positive_test": "PluginBinaryImageTest.EmitsQueryableSegmentsSectionsAndStableBytes",
        "negative_test": "PluginBinaryImageTest.BundleRejectsCanonicalPathAliasesBeforePublication"
      }
    },
    {
      "phase": "neverc.link.commit",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000010"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000011"
      ],
      "policies": [
        "OBSERVABLE",
        "SEALED_HOST_GATE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginBinaryImageTest.LateJournalFailureKeepsNewBundleAndFiresAfterCommit"
      },
      "provider_available": false,
      "sealed_gate": {
        "host_private": true,
        "provider_available": false,
        "interceptor_available": false,
        "skip_available": false,
        "host_executor_test": "PluginBinaryImageTest.LateJournalFailureKeepsNewBundleAndFiresAfterCommit",
        "bypass_negative_test": "PluginLinkPhaseTest.SealedGateRejectsReplacementProvider"
      },
      "verification": {
        "kind": "gate",
        "id": "sealed_commit",
        "positive_test": "PluginBinaryImageTest.LateJournalFailureKeepsNewBundleAndFiresAfterCommit",
        "negative_test": "PluginBinaryImageTest.MainPublishFailureRestoresTheOldBundle"
      }
    },
    {
      "phase": "neverc.link.after_commit",
      "input_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000011"
      ],
      "output_artifact": [
        "0x4e4341524c4e4b01",
        "0x0000000000000011"
      ],
      "policies": [
        "OBSERVABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginBinaryImageTest.LateJournalFailureKeepsNewBundleAndFiresAfterCommit"
      },
      "provider_available": false,
      "default_executor_test": "PluginBinaryImageTest.LateJournalFailureKeepsNewBundleAndFiresAfterCommit",
      "verification": {
        "kind": "verifier",
        "id": "neverc.link.verify_committed_event",
        "positive_test": "PluginBinaryImageTest.LateJournalFailureKeepsNewBundleAndFiresAfterCommit",
        "negative_test": "PluginBinaryImageTest.MainPublishFailureRestoresTheOldBundle"
      }
    },
    {
      "phase": "neverc.dyncode.request.freeze",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000001"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000002"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeRequestTest.FillsRequestInfoView",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_request_freeze",
        "positive_test": "PluginDynCodeRequestTest.FreezeIsDeterministicAndSensitive",
        "negative_test": "PluginDynCodeRequestTest.RejectsInconsistentOptions"
      }
    },
    {
      "phase": "neverc.dyncode.ir.prepare",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000002"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000003"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeIRStageTest.PrepareChoosesEntryAndNormalisesLinkage",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_prepare",
        "positive_test": "PluginDynCodeIRStageTest.PrepareDemotesThreadLocalStorage",
        "negative_test": "PluginDynCodeIRStageTest.PrepareRejectsGlobalConstructors"
      }
    },
    {
      "phase": "neverc.dyncode.ir.indirect_br",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000003"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000004"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeIRProviderTest.IRTransformPhasesAreDistinctReplaceable",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_indirect_br",
        "positive_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
        "negative_test": "PluginDynCodePhaseTest.ErrorAndCancellationDoNotComplete"
      }
    },
    {
      "phase": "neverc.dyncode.ir.mem_intrin.pre",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000004"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000005"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeIRProviderTest.IRTransformPhasesAreDistinctReplaceable",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_mem_intrin_pre",
        "positive_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
        "negative_test": "PluginDynCodePhaseTest.ErrorAndCancellationDoNotComplete"
      }
    },
    {
      "phase": "neverc.dyncode.ir.string_runtime",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000005"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000006"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeIRProviderTest.IRTransformPhasesAreDistinctReplaceable",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_string_runtime",
        "positive_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
        "negative_test": "PluginDynCodePhaseTest.ErrorAndCancellationDoNotComplete"
      }
    },
    {
      "phase": "neverc.dyncode.ir.heap_arena",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000006"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000007"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeIRProviderTest.IRTransformPhasesAreDistinctReplaceable",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_heap_arena",
        "positive_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
        "negative_test": "PluginDynCodePhaseTest.ErrorAndCancellationDoNotComplete"
      }
    },
    {
      "phase": "neverc.dyncode.ir.mem_intrin.post_heap",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000007"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000008"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeIRProviderTest.IRTransformPhasesAreDistinctReplaceable",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_mem_intrin_post_heap",
        "positive_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
        "negative_test": "PluginDynCodePhaseTest.ErrorAndCancellationDoNotComplete"
      }
    },
    {
      "phase": "neverc.dyncode.ir.compiler_rt.pre",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000008"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000009"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeIRProviderTest.CompilerRtLowersWideDivAndIsIdempotent",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_compiler_rt_pre",
        "positive_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
        "negative_test": "PluginDynCodePhaseTest.ErrorAndCancellationDoNotComplete"
      }
    },
    {
      "phase": "neverc.dyncode.ir.import.syscall",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000009"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x000000000000000a"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "DynCodeImportRegistryTest.TargetAndLevelFilterProviders",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_import_syscall",
        "positive_test": "DynCodeImportRegistryTest.ExactMatchBeatsWildcard",
        "negative_test": "DynCodeImportRegistryTest.TwoExactMatchersConflict"
      }
    },
    {
      "phase": "neverc.dyncode.ir.import.peb",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x000000000000000a"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x000000000000000b"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "DynCodeImportRegistryTest.TargetAndLevelFilterProviders",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_import_peb",
        "positive_test": "DynCodeImportRegistryTest.ExactMatchBeatsWildcard",
        "negative_test": "DynCodeImportRegistryTest.NoProviderWhenNothingMatches"
      }
    },
    {
      "phase": "neverc.dyncode.ir.import.kernel",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x000000000000000b"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x000000000000000c"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "DynCodeImportRegistryTest.TargetAndLevelFilterProviders",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_import_kernel",
        "positive_test": "DynCodeImportRegistryTest.ExactMatchBeatsWildcard",
        "negative_test": "DynCodeImportRegistryTest.RejectsInvalidRegistrations"
      }
    },
    {
      "phase": "neverc.dyncode.ir.data_to_text.pre",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x000000000000000c"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x000000000000000d"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeIRProviderTest.Data2TextPreLeavesByteStoreUnchanged",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_data_to_text_pre",
        "positive_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
        "negative_test": "PluginDynCodePhaseTest.ErrorAndCancellationDoNotComplete"
      }
    },
    {
      "phase": "neverc.dyncode.ir.optimize_inline",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x000000000000000d"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x000000000000000e"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeIRProviderTest.IRTransformPhasesAreDistinctReplaceable",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_optimize_inline",
        "positive_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
        "negative_test": "PluginDynCodePhaseTest.ErrorAndCancellationDoNotComplete"
      }
    },
    {
      "phase": "neverc.dyncode.ir.compiler_rt.post",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x000000000000000e"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x000000000000000f"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeIRProviderTest.CompilerRtLowersWideDivAndIsIdempotent",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_compiler_rt_post",
        "positive_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
        "negative_test": "PluginDynCodePhaseTest.ErrorAndCancellationDoNotComplete"
      }
    },
    {
      "phase": "neverc.dyncode.ir.string_finalize",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x000000000000000f"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000010"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeIRProviderTest.IRTransformPhasesAreDistinctReplaceable",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_string_finalize",
        "positive_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
        "negative_test": "PluginDynCodePhaseTest.ErrorAndCancellationDoNotComplete"
      }
    },
    {
      "phase": "neverc.dyncode.ir.data_to_text.post",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000010"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000011"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeIRProviderTest.Data2TextPostDevectorizesWithoutSentinel",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_data_to_text_post",
        "positive_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
        "negative_test": "PluginDynCodePhaseTest.ErrorAndCancellationDoNotComplete"
      }
    },
    {
      "phase": "neverc.dyncode.ir.stackify",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000011"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000012"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeIRStageTest.StackifyMovesMutableGlobalIntoEntryAlloca",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_stackify",
        "positive_test": "PluginDynCodeIRStageTest.FullIRStagePlacesEntryFirstAndStackifies",
        "negative_test": "PluginDynCodeIRStageTest.VerifierRejectsBlockAddress"
      }
    },
    {
      "phase": "neverc.dyncode.ir.all_blr",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000012"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000013"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeIRProviderTest.IRTransformPhasesAreDistinctReplaceable",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_all_blr",
        "positive_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
        "negative_test": "PluginDynCodePhaseTest.ErrorAndCancellationDoNotComplete"
      }
    },
    {
      "phase": "neverc.dyncode.ir.compiler_rt.final",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000013"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000014"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeIRProviderTest.CompilerRtLowersWideDivAndIsIdempotent",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_ir_compiler_rt_final",
        "positive_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
        "negative_test": "PluginDynCodePhaseTest.ErrorAndCancellationDoNotComplete"
      }
    },
    {
      "phase": "neverc.dyncode.ir.final_verify",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000014"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000015"
      ],
      "policies": [
        "OBSERVABLE",
        "SEALED_HOST_GATE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodeIRStagePhasePolicy.FinalVerifyIsSealedPrepareAndStackifyAreNot"
      },
      "provider_available": false,
      "verification": {
        "kind": "gate",
        "id": "sealed_verifier",
        "positive_test": "PluginDynCodeIRStageTest.VerifierAcceptsCleanModule",
        "negative_test": "PluginDynCodeIRStageTest.VerifierRejectsBlockAddress"
      },
      "sealed_gate": {
        "host_private": true,
        "provider_available": false,
        "interceptor_available": false,
        "skip_available": false,
        "host_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
        "bypass_negative_test": "PluginDynCodeIRStagePhasePolicy.FinalVerifyIsSealedPrepareAndStackifyAreNot"
      }
    },
    {
      "phase": "neverc.dyncode.mir.prepare",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000015"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000016"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeMIRProviderTest.TransformAndVerifierAreDistinctPasses",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_mir_prepare",
        "positive_test": "PluginDynCodeMIRProviderTest.PrepareTransitionAcceptsInterceptor",
        "negative_test": "PluginDynCodePhaseTest.ErrorAndCancellationDoNotComplete"
      }
    },
    {
      "phase": "neverc.dyncode.mir.final_verify",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000016"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000017"
      ],
      "policies": [
        "OBSERVABLE",
        "SEALED_HOST_GATE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodeMIRProviderTest.FinalVerifyIsSealed"
      },
      "provider_available": false,
      "verification": {
        "kind": "gate",
        "id": "sealed_verifier",
        "positive_test": "PluginDynCodeMIRProviderTest.TransformAndVerifierAreDistinctPasses",
        "negative_test": "PluginDynCodeMIRProviderTest.FinalVerifyIsSealed"
      },
      "sealed_gate": {
        "host_private": true,
        "provider_available": false,
        "interceptor_available": false,
        "skip_available": false,
        "host_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
        "bypass_negative_test": "PluginDynCodeMIRProviderTest.FinalVerifyIsSealed"
      }
    },
    {
      "phase": "neverc.dyncode.object.import",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000017"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000018"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeExtractorTest.SelectsCodeAndDiscardsForbiddenData",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_object_import",
        "positive_test": "PluginDynCodeExtractorTest.RelocationWorklistAndExternalLedger",
        "negative_test": "PluginDynCodeExtractorTest.RejectsUnverifiedGraph"
      }
    },
    {
      "phase": "neverc.dyncode.extract.plan",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000018"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000019"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeExtractorTest.PlanReplacementMustPassVerifier",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_extract_plan",
        "positive_test": "PluginDynCodeExtractorTest.EntryFunctionMovedToOffsetZero",
        "negative_test": "PluginDynCodeExtractorTest.MissingEntryFails"
      }
    },
    {
      "phase": "neverc.dyncode.extract.layout",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000019"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x000000000000001a"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeExtractorTest.EntryFunctionMovedToOffsetZero",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_extract_layout",
        "positive_test": "PluginDynCodeImageTest.ImageStateMachineGuardsMutation",
        "negative_test": "PluginDynCodeImageTest.PlanRejectsOverlappingSelectedFragments"
      }
    },
    {
      "phase": "neverc.dyncode.extract.relocate",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x000000000000001a"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x000000000000001b"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeRelocationTest.ExecuteWritesBackThroughImage",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_extract_relocate",
        "positive_test": "PluginDynCodeRelocationTest.ResolveAndApplyPatchesIntraImageX86",
        "negative_test": "PluginDynCodeRelocationTest.ResolveAndApplyRejectsUnresolved"
      }
    },
    {
      "phase": "neverc.dyncode.extract.image",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x000000000000001b"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x000000000000001c"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeImageTest.DigestIsDeterministicAndRepublishBumpsGeneration",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_extract_image",
        "positive_test": "PluginDynCodeImageTest.ReportCanonicalJSONIsStableAndSorted",
        "negative_test": "PluginDynCodeImageTest.ImageBuilderBoundsAndBudgetChecked"
      }
    },
    {
      "phase": "neverc.dyncode.binary.post_extract",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x000000000000001c"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x000000000000001d"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeBinaryTest.ExecutorRewritesThenVerifies",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_binary_post_extract",
        "positive_test": "PluginDynCodeBinaryTest.VerifierAcceptsCleanRejectsBad",
        "negative_test": "PluginDynCodeBinaryTest.FirstBadByteReportsOffset"
      }
    },
    {
      "phase": "neverc.dyncode.binary.bad_byte_rewrite",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x000000000000001d"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x000000000000001e"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeBinaryTest.RewriteChainRunsInTopologicalOrder",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_binary_bad_byte_rewrite",
        "positive_test": "PluginDynCodeBinaryTest.ExecutorRewritesThenVerifies",
        "negative_test": "PluginDynCodeBinaryTest.RewriteChainRejectsCycle"
      }
    },
    {
      "phase": "neverc.dyncode.binary.charset_encode",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x000000000000001e"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x000000000000001f"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeBinaryTest.CharsetRegistrySelectsByExactID",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_binary_charset_encode",
        "positive_test": "PluginDynCodeBinaryTest.CharsetRegistrySelectsByExactID",
        "negative_test": "PluginDynCodeBinaryTest.ExecutorUnknownCharsetFails"
      }
    },
    {
      "phase": "neverc.dyncode.binary.size_align",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x000000000000001f"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000020"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeBinaryTest.ExecutorPadsToAlignmentAndMaxLength",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_binary_size_align",
        "positive_test": "PluginDynCodeBinaryTest.RewriteChainEnforcesMaxGrowth",
        "negative_test": "PluginDynCodeBinaryTest.ExecutorRejectsPadByteInBadSet"
      }
    },
    {
      "phase": "neverc.dyncode.binary.pre_verify",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000020"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000021"
      ],
      "policies": [
        "OBSERVABLE",
        "INTERCEPTABLE",
        "REPLACEABLE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.ObserverTracesTransition"
      },
      "provider_available": true,
      "interceptor_test": "PluginDynCodePhaseTest.InterceptorRunsAndContinues",
      "default_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
      "replacement_test": "PluginDynCodeBinaryTest.VerifierAcceptsCleanRejectsBad",
      "verification": {
        "kind": "verifier",
        "id": "neverc.dyncode.verify_binary_pre_verify",
        "positive_test": "PluginDynCodeBinaryTest.VerifierAcceptsCleanRejectsBad",
        "negative_test": "PluginDynCodeBinaryTest.FirstBadByteReportsOffset"
      }
    },
    {
      "phase": "neverc.dyncode.verify",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000021"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000022"
      ],
      "policies": [
        "OBSERVABLE",
        "SEALED_HOST_GATE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.SealedGateRejectsProviderAndInterceptor"
      },
      "provider_available": false,
      "verification": {
        "kind": "gate",
        "id": "sealed_verifier",
        "positive_test": "PluginDynCodeFinalizeTest.AcceptsWellFormedImage",
        "negative_test": "PluginDynCodeFinalizeTest.RejectsForbiddenByte"
      },
      "sealed_gate": {
        "host_private": true,
        "provider_available": false,
        "interceptor_available": false,
        "skip_available": false,
        "host_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
        "bypass_negative_test": "PluginDynCodePhaseTest.SealedGateRejectsProviderAndInterceptor"
      }
    },
    {
      "phase": "neverc.dyncode.commit",
      "input_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000022"
      ],
      "output_artifact": [
        "0x4e43415244594e01",
        "0x0000000000000023"
      ],
      "policies": [
        "OBSERVABLE",
        "SEALED_HOST_GATE"
      ],
      "observer": {
        "available": true,
        "read_only_test": "PluginDynCodePhaseTest.SealedGateRejectsProviderAndInterceptor"
      },
      "provider_available": false,
      "verification": {
        "kind": "gate",
        "id": "sealed_commit",
        "positive_test": "PluginDynCodeFinalizeTest.AcceptsWellFormedImage",
        "negative_test": "PluginDynCodeFinalizeTest.RejectsSurvivingExternal"
      },
      "sealed_gate": {
        "host_private": true,
        "provider_available": false,
        "interceptor_available": false,
        "skip_available": false,
        "host_executor_test": "PluginDynCodePhaseTest.BuiltinPipelineRunsFullChain",
        "bypass_negative_test": "PluginDynCodePhaseTest.SealedGateRejectsProviderAndInterceptor"
      }
    }
  ],
  "semantic_replay": {
    "ast_product": [
      "0x4e43504153545001",
      "0x0000000000000001"
    ],
    "semantic_product": [
      "0x4e435053454d5001",
      "0x0000000000000001"
    ],
    "supported_concrete_kinds": [
      {
        "kind": "FunctionDecl",
        "positive_test": "PluginParserProviderTest.ReplaysPluginASTAndPublishesItToDownstreamIRGeneration"
      },
      {
        "kind": "CompoundStmt",
        "positive_test": "PluginParserProviderTest.ReplaysPluginASTAndPublishesItToDownstreamIRGeneration"
      },
      {
        "kind": "NullStmt",
        "positive_test": "PluginParserProviderTest.ReplaysPluginASTAndPublishesItToDownstreamIRGeneration"
      },
      {
        "kind": "ReturnStmt",
        "positive_test": "PluginParserProviderTest.ReplaysPluginASTAndPublishesItToDownstreamIRGeneration"
      },
      {
        "kind": "IntegerLiteral",
        "positive_test": "PluginParserProviderTest.ReplaysPluginASTAndPublishesItToDownstreamIRGeneration"
      }
    ],
    "unsupported_kind_policy": {
      "status": "NEVERC_STATUS_CAPABILITY_UNAVAILABLE",
      "negative_test": "PluginSemaProviderTest.BuiltinReplayRejectsAnExplicitlyUnsupportedASTKind",
      "representative_kind": "BinaryOperator"
    },
    "plugin_sema_provider_test": "PluginSemaProviderTest.PluginProviderPublishesSemanticUnitWithoutBuiltinReplay",
    "unmatched_custom_product_test": "PluginSemaProviderTest.RejectsCustomSemanticProductWithoutMatchingIRProvider"
  },
  "ir_mir": {
    "ir_schema": {
      "path": "neverc/include/neverc/Plugin/Schema/IRSchema.json",
      "inventory_test": "PluginIRSchemaTest.CoversEveryLLVMTypeValueOpcodeAndEnum",
      "contract_test": "PluginIRSchemaTest.PublishesOperandResultAndMutationContracts"
    },
    "mir_schema": {
      "path": "neverc/include/neverc/Plugin/Schema/MIRSchema.json",
      "inventory_test": "PluginMIRSchemaTest.CoversLLVMOperandOpcodeAndPropertyInventories",
      "stable_id_test": "PluginMIRSchemaTest.KeepsStableIDsSeparateFromLLVMNumbers"
    },
    "ir_pass_levels": [
      {
        "level": "module",
        "coverage_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors"
      },
      {
        "level": "cgscc",
        "coverage_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors"
      },
      {
        "level": "function",
        "coverage_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors"
      },
      {
        "level": "loop",
        "coverage_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors"
      }
    ],
    "mir_pass_levels": [
      {
        "level": "machine_module",
        "coverage_test": "PluginMIRPassTest.SerializesModuleLevelPassesAtPipelineBarriers"
      },
      {
        "level": "machine_function",
        "coverage_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook"
      },
      {
        "level": "machine_basic_block",
        "coverage_test": "PluginMIRPassTest.RunsBasicBlockPassForEveryLiveBlock"
      }
    ],
    "ir_analyses": [
      {
        "analysis": "call_graph",
        "coverage_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors"
      },
      {
        "analysis": "dominator_tree",
        "coverage_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors"
      },
      {
        "analysis": "post_dominator_tree",
        "coverage_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors"
      },
      {
        "analysis": "loop_info",
        "coverage_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors"
      },
      {
        "analysis": "scalar_evolution",
        "coverage_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors"
      },
      {
        "analysis": "memory_ssa",
        "coverage_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors"
      },
      {
        "analysis": "alias",
        "coverage_test": "PluginIRPassTest.RunsModuleCGSCCFunctionAndLoopAdaptors"
      },
      {
        "analysis": "custom",
        "coverage_test": "PluginCustomAnalysisTest.ComputesRequiredResultOncePerInvocation"
      }
    ],
    "mir_analyses": [
      {
        "analysis": "live_variables",
        "coverage_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook"
      },
      {
        "analysis": "live_intervals",
        "coverage_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook"
      },
      {
        "analysis": "slot_indexes",
        "coverage_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook"
      },
      {
        "analysis": "dominator_tree",
        "coverage_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook"
      },
      {
        "analysis": "loop_info",
        "coverage_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook"
      },
      {
        "analysis": "register_pressure",
        "coverage_test": "PluginMIRPassTest.RunsEveryStableMachinePipelineHook"
      }
    ],
    "providers": {
      "ir_generation_replacement_test": "PluginIRGenProviderTest.ProviderBypassesBuiltinIRGenAndPublishesExecutableModule",
      "ir_optimization_replacement_test": "PluginIRPipelineTest.ReplacementBypassesBuiltinPipelineAndChangesProgramBehavior"
    },
    "sealed_verifiers": {
      "ir_bypass_negative_test": "PluginIRPipelineTest.SealedVerifierRejectsInvalidReplacement",
      "mir_bypass_negative_test": "PluginMIRBuilderTest.CommitVerifierRejectsAndRollsBackInvalidMIR"
    }
  }
}