{
  "run_id": "run:54059b5d0fc88d8d",
  "snapshot": {
    "id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
    "root_label": "demo/cases/supported",
    "capture_policy_hash": "8b7f59a4f40a9271e1efbe4889734fdf7f1a1780e4b1e3e6d4decd15da2cc282",
    "git_commit": null,
    "artifacts": [
      {
        "id": "artifact:e8ce0ec6e2eff071:4a81d8f48e0bd860",
        "path": "config/app.env",
        "language": "config",
        "roles": [
          "config"
        ],
        "content_hash": "4a81d8f48e0bd86041b7882f7da7280c6b9f9185ae755a46a457094b17c40979",
        "size_bytes": 18
      },
      {
        "id": "artifact:fb82a1d8664028fd:bc9cbf953b59235f",
        "path": "db/schema.sql",
        "language": "sql",
        "roles": [
          "sql"
        ],
        "content_hash": "bc9cbf953b59235f42c69a918802b70463aca061a4217fd4dc43901649973f16",
        "size_bytes": 69
      },
      {
        "id": "artifact:8516d6ce49f380e0:a37727eb9bc67246",
        "path": "src/server.ts",
        "language": "typescript",
        "roles": [
          "source"
        ],
        "content_hash": "a37727eb9bc672461fc3e17d7cc6b408b949d659197adda1b168b2b32004f8bc",
        "size_bytes": 170
      }
    ],
    "excluded": []
  },
  "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
  "requirement_bundle_hash": "6e5e9ac8e6a6c783eb65544aab04f05d0d060edaf57713cb2affbf8042ea4a39",
  "verification_profile_hash": "1fe5608a35dd5efa1fdaded4a17cbd11e1ab102e15b93ad7e08734b3ad609417",
  "discovery_profile_hash": "41452e12024332abfa71015f65c2385ce0d572c8ac090041ac734da339281074",
  "requirement_approved": true,
  "specification_status": "valid",
  "execution_status": "complete",
  "proof_plan_version": "0.3",
  "results": [
    {
      "requirement_id": "REQ-AUTH-001",
      "authoritative": true,
      "verdict": "supported",
      "pair": {
        "support": true,
        "refute": false
      },
      "derivation": {
        "support": {
          "witnesses": [
            "REQ-AUTH-001-O001",
            "REQ-AUTH-001-O002",
            "REQ-AUTH-001-O003"
          ],
          "blockers": []
        },
        "refutation": {
          "witnesses": [],
          "blockers": [
            "REQ-AUTH-001-O001",
            "REQ-AUTH-001-O002",
            "REQ-AUTH-001-O003"
          ]
        }
      },
      "obligations": [
        {
          "obligation_id": "REQ-AUTH-001-O001",
          "authoritative": true,
          "verdict": "supported",
          "pair": {
            "support": true,
            "refute": false
          },
          "derivation": {
            "support": {
              "witnesses": [
                "endpoint_exists:POST:/login",
                "endpoint_handled_by:POST:/login:login"
              ],
              "blockers": []
            },
            "refutation": {
              "witnesses": [],
              "blockers": []
            }
          },
          "predicates": [
            {
              "predicate": "endpoint_exists:POST:/login",
              "verdict": "supported",
              "pair": {
                "support": true,
                "refute": false
              },
              "derivation": {
                "support": {
                  "witnesses": [
                    "evidence:230ba449087300a135b033295245f3b8e0a5fa002329cb74aca9ead98a1f0631"
                  ],
                  "blockers": []
                },
                "refutation": {
                  "witnesses": [],
                  "blockers": []
                }
              },
              "evidence": [
                {
                  "id": "evidence:230ba449087300a135b033295245f3b8e0a5fa002329cb74aca9ead98a1f0631",
                  "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
                  "source_snapshot_id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
                  "requirement_bundle_hash": "6e5e9ac8e6a6c783eb65544aab04f05d0d060edaf57713cb2affbf8042ea4a39",
                  "verification_profile_hash": "1fe5608a35dd5efa1fdaded4a17cbd11e1ab102e15b93ad7e08734b3ad609417",
                  "obligation_id": "REQ-AUTH-001-O001",
                  "predicate": "endpoint_exists:POST:/login",
                  "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
                  "entity_id": "entity:8516d6ce49f380e0:endpoint:bd53aa39c2672799",
                  "checker": "builtin-typed-checkers",
                  "checker_version": "0.3.0",
                  "polarity": "support",
                  "authority": "direct",
                  "message": "endpoint declaration matches",
                  "provenance": [
                    {
                      "path": "src/server.ts",
                      "start_line": 5,
                      "end_line": 5
                    }
                  ],
                  "path": null,
                  "closed_world_token_id": null,
                  "observation_digest": null
                }
              ],
              "reasons": []
            },
            {
              "predicate": "endpoint_handled_by:POST:/login:login",
              "verdict": "supported",
              "pair": {
                "support": true,
                "refute": false
              },
              "derivation": {
                "support": {
                  "witnesses": [
                    "evidence:52617d35a1720b2a18a453a5e8fababb07690f4f7230c17fd493fe18fbabb1e4"
                  ],
                  "blockers": []
                },
                "refutation": {
                  "witnesses": [],
                  "blockers": []
                }
              },
              "evidence": [
                {
                  "id": "evidence:52617d35a1720b2a18a453a5e8fababb07690f4f7230c17fd493fe18fbabb1e4",
                  "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
                  "source_snapshot_id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
                  "requirement_bundle_hash": "6e5e9ac8e6a6c783eb65544aab04f05d0d060edaf57713cb2affbf8042ea4a39",
                  "verification_profile_hash": "1fe5608a35dd5efa1fdaded4a17cbd11e1ab102e15b93ad7e08734b3ad609417",
                  "obligation_id": "REQ-AUTH-001-O001",
                  "predicate": "endpoint_handled_by:POST:/login:login",
                  "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
                  "entity_id": "entity:8516d6ce49f380e0:endpoint:bd53aa39c2672799",
                  "checker": "builtin-typed-checkers",
                  "checker_version": "0.3.0",
                  "polarity": "support",
                  "authority": "structural",
                  "message": "strong binding resolves to `login`",
                  "provenance": [
                    {
                      "path": "src/server.ts",
                      "start_line": 5,
                      "end_line": 5
                    }
                  ],
                  "path": {
                    "entity_ids": [
                      "entity:8516d6ce49f380e0:endpoint:bd53aa39c2672799",
                      "entity:8516d6ce49f380e0:function:ef3f58b89ebcd16f"
                    ],
                    "relation_ids": [
                      "relation:b1514a490d5245c4"
                    ]
                  },
                  "closed_world_token_id": null,
                  "observation_digest": null
                }
              ],
              "reasons": []
            }
          ],
          "reasons": []
        },
        {
          "obligation_id": "REQ-AUTH-001-O002",
          "authoritative": true,
          "verdict": "supported",
          "pair": {
            "support": true,
            "refute": false
          },
          "derivation": {
            "support": {
              "witnesses": [
                "config_key_exists:LOCK_DURATION",
                "effective_config_equals:LOCK_DURATION:900"
              ],
              "blockers": []
            },
            "refutation": {
              "witnesses": [],
              "blockers": []
            }
          },
          "predicates": [
            {
              "predicate": "config_key_exists:LOCK_DURATION",
              "verdict": "supported",
              "pair": {
                "support": true,
                "refute": false
              },
              "derivation": {
                "support": {
                  "witnesses": [
                    "evidence:59313f09513e0c520c7eb5f69f426d6777968e9ec30502c220e264e15090f4e0"
                  ],
                  "blockers": []
                },
                "refutation": {
                  "witnesses": [],
                  "blockers": []
                }
              },
              "evidence": [
                {
                  "id": "evidence:59313f09513e0c520c7eb5f69f426d6777968e9ec30502c220e264e15090f4e0",
                  "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
                  "source_snapshot_id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
                  "requirement_bundle_hash": "6e5e9ac8e6a6c783eb65544aab04f05d0d060edaf57713cb2affbf8042ea4a39",
                  "verification_profile_hash": "1fe5608a35dd5efa1fdaded4a17cbd11e1ab102e15b93ad7e08734b3ad609417",
                  "obligation_id": "REQ-AUTH-001-O002",
                  "predicate": "config_key_exists:LOCK_DURATION",
                  "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
                  "entity_id": "entity:e8ce0ec6e2eff071:config_key:bc855a057e710096",
                  "checker": "builtin-typed-checkers",
                  "checker_version": "0.3.0",
                  "polarity": "support",
                  "authority": "direct",
                  "message": "configuration key declared",
                  "provenance": [
                    {
                      "path": "config/app.env",
                      "start_line": 1,
                      "end_line": 1
                    }
                  ],
                  "path": null,
                  "closed_world_token_id": null,
                  "observation_digest": null
                }
              ],
              "reasons": []
            },
            {
              "predicate": "effective_config_equals:LOCK_DURATION:900",
              "verdict": "supported",
              "pair": {
                "support": true,
                "refute": false
              },
              "derivation": {
                "support": {
                  "witnesses": [
                    "evidence:89dabaca7b69d4e6e732ee43f530a949c60c7b311e0e17e50ce37288a4e0a229"
                  ],
                  "blockers": []
                },
                "refutation": {
                  "witnesses": [],
                  "blockers": []
                }
              },
              "evidence": [
                {
                  "id": "evidence:89dabaca7b69d4e6e732ee43f530a949c60c7b311e0e17e50ce37288a4e0a229",
                  "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
                  "source_snapshot_id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
                  "requirement_bundle_hash": "6e5e9ac8e6a6c783eb65544aab04f05d0d060edaf57713cb2affbf8042ea4a39",
                  "verification_profile_hash": "1fe5608a35dd5efa1fdaded4a17cbd11e1ab102e15b93ad7e08734b3ad609417",
                  "obligation_id": "REQ-AUTH-001-O002",
                  "predicate": "effective_config_equals:LOCK_DURATION:900",
                  "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
                  "entity_id": "entity:e8ce0ec6e2eff071:config_key:bc855a057e710096",
                  "checker": "builtin-typed-checkers",
                  "checker_version": "0.3.0",
                  "polarity": "support",
                  "authority": "direct",
                  "message": "effective config value equals `900` (winning layer `service_file`, policy `demo-service-config`)",
                  "provenance": [
                    {
                      "path": "config/app.env",
                      "start_line": 1,
                      "end_line": 1
                    }
                  ],
                  "path": null,
                  "closed_world_token_id": null,
                  "observation_digest": null
                }
              ],
              "reasons": []
            }
          ],
          "reasons": []
        },
        {
          "obligation_id": "REQ-AUTH-001-O003",
          "authoritative": true,
          "verdict": "supported",
          "pair": {
            "support": true,
            "refute": false
          },
          "derivation": {
            "support": {
              "witnesses": [
                "sql_column_exists:users:locked_until",
                "sql_table_exists:users"
              ],
              "blockers": []
            },
            "refutation": {
              "witnesses": [],
              "blockers": []
            }
          },
          "predicates": [
            {
              "predicate": "sql_column_exists:users:locked_until",
              "verdict": "supported",
              "pair": {
                "support": true,
                "refute": false
              },
              "derivation": {
                "support": {
                  "witnesses": [
                    "evidence:e2133d8389c35985b65d9a218c332abc3551a337046ad8a15affca4755cad109"
                  ],
                  "blockers": []
                },
                "refutation": {
                  "witnesses": [],
                  "blockers": []
                }
              },
              "evidence": [
                {
                  "id": "evidence:e2133d8389c35985b65d9a218c332abc3551a337046ad8a15affca4755cad109",
                  "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
                  "source_snapshot_id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
                  "requirement_bundle_hash": "6e5e9ac8e6a6c783eb65544aab04f05d0d060edaf57713cb2affbf8042ea4a39",
                  "verification_profile_hash": "1fe5608a35dd5efa1fdaded4a17cbd11e1ab102e15b93ad7e08734b3ad609417",
                  "obligation_id": "REQ-AUTH-001-O003",
                  "predicate": "sql_column_exists:users:locked_until",
                  "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
                  "entity_id": "entity:fb82a1d8664028fd:sql_column:61b7247d9c35f276",
                  "checker": "builtin-typed-checkers",
                  "checker_version": "0.3.0",
                  "polarity": "support",
                  "authority": "direct",
                  "message": "SQL column declared",
                  "provenance": [
                    {
                      "path": "db/schema.sql",
                      "start_line": 1,
                      "end_line": 1
                    }
                  ],
                  "path": null,
                  "closed_world_token_id": null,
                  "observation_digest": null
                }
              ],
              "reasons": []
            },
            {
              "predicate": "sql_table_exists:users",
              "verdict": "supported",
              "pair": {
                "support": true,
                "refute": false
              },
              "derivation": {
                "support": {
                  "witnesses": [
                    "evidence:9174f1be5382dafef69a1553c64145a0f3b0f04d5668d1bbe9bee250d4ce4a1b"
                  ],
                  "blockers": []
                },
                "refutation": {
                  "witnesses": [],
                  "blockers": []
                }
              },
              "evidence": [
                {
                  "id": "evidence:9174f1be5382dafef69a1553c64145a0f3b0f04d5668d1bbe9bee250d4ce4a1b",
                  "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
                  "source_snapshot_id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
                  "requirement_bundle_hash": "6e5e9ac8e6a6c783eb65544aab04f05d0d060edaf57713cb2affbf8042ea4a39",
                  "verification_profile_hash": "1fe5608a35dd5efa1fdaded4a17cbd11e1ab102e15b93ad7e08734b3ad609417",
                  "obligation_id": "REQ-AUTH-001-O003",
                  "predicate": "sql_table_exists:users",
                  "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
                  "entity_id": "entity:fb82a1d8664028fd:sql_table:8b3d76a1a06dbf80",
                  "checker": "builtin-typed-checkers",
                  "checker_version": "0.3.0",
                  "polarity": "support",
                  "authority": "direct",
                  "message": "SQL table declared",
                  "provenance": [
                    {
                      "path": "db/schema.sql",
                      "start_line": 1,
                      "end_line": 1
                    }
                  ],
                  "path": null,
                  "closed_world_token_id": null,
                  "observation_digest": null
                }
              ],
              "reasons": []
            }
          ],
          "reasons": []
        }
      ],
      "reasons": []
    }
  ],
  "evidence": [
    {
      "id": "evidence:230ba449087300a135b033295245f3b8e0a5fa002329cb74aca9ead98a1f0631",
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "source_snapshot_id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
      "requirement_bundle_hash": "6e5e9ac8e6a6c783eb65544aab04f05d0d060edaf57713cb2affbf8042ea4a39",
      "verification_profile_hash": "1fe5608a35dd5efa1fdaded4a17cbd11e1ab102e15b93ad7e08734b3ad609417",
      "obligation_id": "REQ-AUTH-001-O001",
      "predicate": "endpoint_exists:POST:/login",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "entity_id": "entity:8516d6ce49f380e0:endpoint:bd53aa39c2672799",
      "checker": "builtin-typed-checkers",
      "checker_version": "0.3.0",
      "polarity": "support",
      "authority": "direct",
      "message": "endpoint declaration matches",
      "provenance": [
        {
          "path": "src/server.ts",
          "start_line": 5,
          "end_line": 5
        }
      ],
      "path": null,
      "closed_world_token_id": null,
      "observation_digest": null
    },
    {
      "id": "evidence:52617d35a1720b2a18a453a5e8fababb07690f4f7230c17fd493fe18fbabb1e4",
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "source_snapshot_id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
      "requirement_bundle_hash": "6e5e9ac8e6a6c783eb65544aab04f05d0d060edaf57713cb2affbf8042ea4a39",
      "verification_profile_hash": "1fe5608a35dd5efa1fdaded4a17cbd11e1ab102e15b93ad7e08734b3ad609417",
      "obligation_id": "REQ-AUTH-001-O001",
      "predicate": "endpoint_handled_by:POST:/login:login",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "entity_id": "entity:8516d6ce49f380e0:endpoint:bd53aa39c2672799",
      "checker": "builtin-typed-checkers",
      "checker_version": "0.3.0",
      "polarity": "support",
      "authority": "structural",
      "message": "strong binding resolves to `login`",
      "provenance": [
        {
          "path": "src/server.ts",
          "start_line": 5,
          "end_line": 5
        }
      ],
      "path": {
        "entity_ids": [
          "entity:8516d6ce49f380e0:endpoint:bd53aa39c2672799",
          "entity:8516d6ce49f380e0:function:ef3f58b89ebcd16f"
        ],
        "relation_ids": [
          "relation:b1514a490d5245c4"
        ]
      },
      "closed_world_token_id": null,
      "observation_digest": null
    },
    {
      "id": "evidence:59313f09513e0c520c7eb5f69f426d6777968e9ec30502c220e264e15090f4e0",
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "source_snapshot_id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
      "requirement_bundle_hash": "6e5e9ac8e6a6c783eb65544aab04f05d0d060edaf57713cb2affbf8042ea4a39",
      "verification_profile_hash": "1fe5608a35dd5efa1fdaded4a17cbd11e1ab102e15b93ad7e08734b3ad609417",
      "obligation_id": "REQ-AUTH-001-O002",
      "predicate": "config_key_exists:LOCK_DURATION",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "entity_id": "entity:e8ce0ec6e2eff071:config_key:bc855a057e710096",
      "checker": "builtin-typed-checkers",
      "checker_version": "0.3.0",
      "polarity": "support",
      "authority": "direct",
      "message": "configuration key declared",
      "provenance": [
        {
          "path": "config/app.env",
          "start_line": 1,
          "end_line": 1
        }
      ],
      "path": null,
      "closed_world_token_id": null,
      "observation_digest": null
    },
    {
      "id": "evidence:89dabaca7b69d4e6e732ee43f530a949c60c7b311e0e17e50ce37288a4e0a229",
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "source_snapshot_id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
      "requirement_bundle_hash": "6e5e9ac8e6a6c783eb65544aab04f05d0d060edaf57713cb2affbf8042ea4a39",
      "verification_profile_hash": "1fe5608a35dd5efa1fdaded4a17cbd11e1ab102e15b93ad7e08734b3ad609417",
      "obligation_id": "REQ-AUTH-001-O002",
      "predicate": "effective_config_equals:LOCK_DURATION:900",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "entity_id": "entity:e8ce0ec6e2eff071:config_key:bc855a057e710096",
      "checker": "builtin-typed-checkers",
      "checker_version": "0.3.0",
      "polarity": "support",
      "authority": "direct",
      "message": "effective config value equals `900` (winning layer `service_file`, policy `demo-service-config`)",
      "provenance": [
        {
          "path": "config/app.env",
          "start_line": 1,
          "end_line": 1
        }
      ],
      "path": null,
      "closed_world_token_id": null,
      "observation_digest": null
    },
    {
      "id": "evidence:e2133d8389c35985b65d9a218c332abc3551a337046ad8a15affca4755cad109",
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "source_snapshot_id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
      "requirement_bundle_hash": "6e5e9ac8e6a6c783eb65544aab04f05d0d060edaf57713cb2affbf8042ea4a39",
      "verification_profile_hash": "1fe5608a35dd5efa1fdaded4a17cbd11e1ab102e15b93ad7e08734b3ad609417",
      "obligation_id": "REQ-AUTH-001-O003",
      "predicate": "sql_column_exists:users:locked_until",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "entity_id": "entity:fb82a1d8664028fd:sql_column:61b7247d9c35f276",
      "checker": "builtin-typed-checkers",
      "checker_version": "0.3.0",
      "polarity": "support",
      "authority": "direct",
      "message": "SQL column declared",
      "provenance": [
        {
          "path": "db/schema.sql",
          "start_line": 1,
          "end_line": 1
        }
      ],
      "path": null,
      "closed_world_token_id": null,
      "observation_digest": null
    },
    {
      "id": "evidence:9174f1be5382dafef69a1553c64145a0f3b0f04d5668d1bbe9bee250d4ce4a1b",
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "source_snapshot_id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
      "requirement_bundle_hash": "6e5e9ac8e6a6c783eb65544aab04f05d0d060edaf57713cb2affbf8042ea4a39",
      "verification_profile_hash": "1fe5608a35dd5efa1fdaded4a17cbd11e1ab102e15b93ad7e08734b3ad609417",
      "obligation_id": "REQ-AUTH-001-O003",
      "predicate": "sql_table_exists:users",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "entity_id": "entity:fb82a1d8664028fd:sql_table:8b3d76a1a06dbf80",
      "checker": "builtin-typed-checkers",
      "checker_version": "0.3.0",
      "polarity": "support",
      "authority": "direct",
      "message": "SQL table declared",
      "provenance": [
        {
          "path": "db/schema.sql",
          "start_line": 1,
          "end_line": 1
        }
      ],
      "path": null,
      "closed_world_token_id": null,
      "observation_digest": null
    }
  ],
  "closed_world_tokens": [
    {
      "id": "cw:93cc47176546e677bd57053d461b9d3cfecee105fd8b820262e39a9e966d9a45",
      "snapshot_id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "scope": "repository",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "facet": "endpoint_declarations",
      "universe": "endpoint",
      "universe_digest": "241021ee752331df24dcf4d5a7eb26adedc8c9557916a21c63956248d102c674",
      "enumerator_manifest_hash": "f32e041bef28f08bf9524775ba53c19fdaeaee11dccdf8d7630289402120f5c8",
      "coverage_plan_instance_hash": "0535e6815f1d45f1503af5ca6451ec1ed72cb77aaafeade2a4a375de8c124222",
      "artifacts": [
        "artifact:8516d6ce49f380e0:a37727eb9bc67246"
      ],
      "extractors": [
        "source-static-0.2"
      ],
      "assumptions": [
        "proof-plan:0.3"
      ]
    },
    {
      "id": "cw:e68c308dfe4b93a2716aa00b68caffef43e45928329346240e641d4d7193b97c",
      "snapshot_id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "scope": "repository",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "facet": "endpoint_bindings",
      "universe": "binding",
      "universe_digest": "241021ee752331df24dcf4d5a7eb26adedc8c9557916a21c63956248d102c674",
      "enumerator_manifest_hash": "f32e041bef28f08bf9524775ba53c19fdaeaee11dccdf8d7630289402120f5c8",
      "coverage_plan_instance_hash": "7ef7a004db4f495f4c2ba0c06b17914739cd40f6cd6e7f2c2e6b7f982858c089",
      "artifacts": [
        "artifact:8516d6ce49f380e0:a37727eb9bc67246"
      ],
      "extractors": [
        "source-static-0.2"
      ],
      "assumptions": [
        "proof-plan:0.3"
      ]
    },
    {
      "id": "cw:780d70f08e80d7b83cfcf8cec3d45ed669f9de3ad32aa50372389419854eb825",
      "snapshot_id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "scope": "repository",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "facet": "config_keys",
      "universe": "config_key",
      "universe_digest": "423f58c6166e7a1f8806ce259d65d3eed1f046212f5399360031916ab336574f",
      "enumerator_manifest_hash": "969a3887507dc2c347492e19976b91cd326e0062e6ba3f8e340d86d43bfc3088",
      "coverage_plan_instance_hash": "c97a572ed3b989f1535ab972dc3b48d7b4df2aba5295ac9afe914edf43241529",
      "artifacts": [
        "artifact:e8ce0ec6e2eff071:4a81d8f48e0bd860"
      ],
      "extractors": [
        "config-0.2"
      ],
      "assumptions": [
        "proof-plan:0.3"
      ]
    },
    {
      "id": "cw:bc5a544c60ccff6a5b4a4260f63c7492f9d88009326de0c0cc8e4a10d6f8e8b2",
      "snapshot_id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "scope": "repository",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "facet": "sql_ddl",
      "universe": "sql_column",
      "universe_digest": "1140c0582ed02a85e8d8aea959184870ccac9461a60420900086bf70da842414",
      "enumerator_manifest_hash": "b54b245fc4715d4639d7a50495742efbfdefd75df7f6fe024023c01af4a428ca",
      "coverage_plan_instance_hash": "16652d6de8fe5f1f6fa3b026d26fa2898d78e0209b4fa3170cccae2ce9aa2d1a",
      "artifacts": [
        "artifact:fb82a1d8664028fd:bc9cbf953b59235f"
      ],
      "extractors": [
        "sql-ddl-0.2"
      ],
      "assumptions": [
        "proof-plan:0.3"
      ]
    },
    {
      "id": "cw:ccb91d77bbe9d7e4ca5002b8a69bf83534a4339f0e56e685883352354691cab9",
      "snapshot_id": "snapshot:79dccd44c5faa47eda959b2943a1830efc314090e93157854104b725deb71a4a",
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "scope": "repository",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "facet": "sql_ddl",
      "universe": "sql_table",
      "universe_digest": "1140c0582ed02a85e8d8aea959184870ccac9461a60420900086bf70da842414",
      "enumerator_manifest_hash": "b54b245fc4715d4639d7a50495742efbfdefd75df7f6fe024023c01af4a428ca",
      "coverage_plan_instance_hash": "16652d6de8fe5f1f6fa3b026d26fa2898d78e0209b4fa3170cccae2ce9aa2d1a",
      "artifacts": [
        "artifact:fb82a1d8664028fd:bc9cbf953b59235f"
      ],
      "extractors": [
        "sql-ddl-0.2"
      ],
      "assumptions": [
        "proof-plan:0.3"
      ]
    }
  ],
  "closed_world_attempts": [
    {
      "obligation_id": "REQ-AUTH-001-O001",
      "facet": "endpoint_declarations",
      "universe": "endpoint",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "scope": "repository",
      "coverage_plan_instance_hash": "0535e6815f1d45f1503af5ca6451ec1ed72cb77aaafeade2a4a375de8c124222",
      "status": "minted",
      "token_id": "cw:93cc47176546e677bd57053d461b9d3cfecee105fd8b820262e39a9e966d9a45",
      "proof": {
        "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
        "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
        "facet": "endpoint_declarations",
        "universe": "endpoint",
        "completeness": "complete",
        "blockers": [],
        "coverage_plan_instance_hash": "0535e6815f1d45f1503af5ca6451ec1ed72cb77aaafeade2a4a375de8c124222",
        "members": [
          "artifact:8516d6ce49f380e0:a37727eb9bc67246"
        ]
      },
      "blocker": null
    },
    {
      "obligation_id": "REQ-AUTH-001-O001",
      "facet": "endpoint_bindings",
      "universe": "binding",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "scope": "repository",
      "coverage_plan_instance_hash": "7ef7a004db4f495f4c2ba0c06b17914739cd40f6cd6e7f2c2e6b7f982858c089",
      "status": "minted",
      "token_id": "cw:e68c308dfe4b93a2716aa00b68caffef43e45928329346240e641d4d7193b97c",
      "proof": {
        "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
        "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
        "facet": "endpoint_bindings",
        "universe": "binding",
        "completeness": "complete",
        "blockers": [],
        "coverage_plan_instance_hash": "7ef7a004db4f495f4c2ba0c06b17914739cd40f6cd6e7f2c2e6b7f982858c089",
        "members": [
          "artifact:8516d6ce49f380e0:a37727eb9bc67246"
        ]
      },
      "blocker": null
    },
    {
      "obligation_id": "REQ-AUTH-001-O002",
      "facet": "config_keys",
      "universe": "config_key",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "scope": "repository",
      "coverage_plan_instance_hash": "c97a572ed3b989f1535ab972dc3b48d7b4df2aba5295ac9afe914edf43241529",
      "status": "minted",
      "token_id": "cw:780d70f08e80d7b83cfcf8cec3d45ed669f9de3ad32aa50372389419854eb825",
      "proof": {
        "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
        "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
        "facet": "config_keys",
        "universe": "config_key",
        "completeness": "complete",
        "blockers": [],
        "coverage_plan_instance_hash": "c97a572ed3b989f1535ab972dc3b48d7b4df2aba5295ac9afe914edf43241529",
        "members": [
          "artifact:e8ce0ec6e2eff071:4a81d8f48e0bd860"
        ]
      },
      "blocker": null
    },
    {
      "obligation_id": "REQ-AUTH-001-O003",
      "facet": "sql_ddl",
      "universe": "sql_column",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "scope": "repository",
      "coverage_plan_instance_hash": "16652d6de8fe5f1f6fa3b026d26fa2898d78e0209b4fa3170cccae2ce9aa2d1a",
      "status": "minted",
      "token_id": "cw:bc5a544c60ccff6a5b4a4260f63c7492f9d88009326de0c0cc8e4a10d6f8e8b2",
      "proof": {
        "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
        "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
        "facet": "sql_ddl",
        "universe": "sql_column",
        "completeness": "complete",
        "blockers": [],
        "coverage_plan_instance_hash": "16652d6de8fe5f1f6fa3b026d26fa2898d78e0209b4fa3170cccae2ce9aa2d1a",
        "members": [
          "artifact:fb82a1d8664028fd:bc9cbf953b59235f"
        ]
      },
      "blocker": null
    },
    {
      "obligation_id": "REQ-AUTH-001-O003",
      "facet": "sql_ddl",
      "universe": "sql_table",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "scope": "repository",
      "coverage_plan_instance_hash": "16652d6de8fe5f1f6fa3b026d26fa2898d78e0209b4fa3170cccae2ce9aa2d1a",
      "status": "minted",
      "token_id": "cw:ccb91d77bbe9d7e4ca5002b8a69bf83534a4339f0e56e685883352354691cab9",
      "proof": {
        "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
        "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
        "facet": "sql_ddl",
        "universe": "sql_table",
        "completeness": "complete",
        "blockers": [],
        "coverage_plan_instance_hash": "16652d6de8fe5f1f6fa3b026d26fa2898d78e0209b4fa3170cccae2ce9aa2d1a",
        "members": [
          "artifact:fb82a1d8664028fd:bc9cbf953b59235f"
        ]
      },
      "blocker": null
    }
  ],
  "diagnostics": [],
  "spec_conflicts": [],
  "conflict_contracts": [],
  "candidate_links": [
    {
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "requirement_bundle_hash": "6e5e9ac8e6a6c783eb65544aab04f05d0d060edaf57713cb2affbf8042ea4a39",
      "obligation_id": "REQ-AUTH-001-O001",
      "entity_id": "entity:8516d6ce49f380e0:endpoint:bd53aa39c2672799",
      "proposer": "deterministic-retrieval",
      "rationale": "typed deterministic retrieval candidate",
      "tier": "graph",
      "confidence": null
    },
    {
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "requirement_bundle_hash": "6e5e9ac8e6a6c783eb65544aab04f05d0d060edaf57713cb2affbf8042ea4a39",
      "obligation_id": "REQ-AUTH-001-O002",
      "entity_id": "entity:e8ce0ec6e2eff071:config_key:bc855a057e710096",
      "proposer": "deterministic-retrieval",
      "rationale": "typed deterministic retrieval candidate",
      "tier": "graph",
      "confidence": null
    },
    {
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "requirement_bundle_hash": "6e5e9ac8e6a6c783eb65544aab04f05d0d060edaf57713cb2affbf8042ea4a39",
      "obligation_id": "REQ-AUTH-001-O003",
      "entity_id": "entity:fb82a1d8664028fd:sql_column:19d2063e2b199077",
      "proposer": "deterministic-retrieval",
      "rationale": "typed deterministic retrieval candidate",
      "tier": "graph",
      "confidence": null
    },
    {
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "requirement_bundle_hash": "6e5e9ac8e6a6c783eb65544aab04f05d0d060edaf57713cb2affbf8042ea4a39",
      "obligation_id": "REQ-AUTH-001-O003",
      "entity_id": "entity:fb82a1d8664028fd:sql_column:61b7247d9c35f276",
      "proposer": "deterministic-retrieval",
      "rationale": "typed deterministic retrieval candidate",
      "tier": "graph",
      "confidence": null
    }
  ],
  "proof_plans": [
    {
      "version": "0.3",
      "obligation_kind": "endpoint_handled_by",
      "formula": {
        "op": "all",
        "args": [
          {
            "op": "atom",
            "args": "endpoint_exists:POST:/login"
          },
          {
            "op": "atom",
            "args": "endpoint_handled_by:POST:/login:login"
          }
        ]
      },
      "predicates": {
        "endpoint_exists:POST:/login": {
          "key": "endpoint_exists:POST:/login",
          "checker_family": "endpoint",
          "allowed_authorities": [
            "direct",
            "human"
          ],
          "closed_world_refutation": true,
          "coverage_facet": "endpoint_declarations",
          "absence_universe": "endpoint"
        },
        "endpoint_handled_by:POST:/login:login": {
          "key": "endpoint_handled_by:POST:/login:login",
          "checker_family": "binding",
          "allowed_authorities": [
            "structural",
            "dynamic",
            "human"
          ],
          "closed_world_refutation": true,
          "coverage_facet": "endpoint_bindings",
          "absence_universe": "binding"
        }
      }
    },
    {
      "version": "0.3",
      "obligation_kind": "config_value",
      "formula": {
        "op": "all",
        "args": [
          {
            "op": "atom",
            "args": "config_key_exists:LOCK_DURATION"
          },
          {
            "op": "atom",
            "args": "effective_config_equals:LOCK_DURATION:900"
          }
        ]
      },
      "predicates": {
        "config_key_exists:LOCK_DURATION": {
          "key": "config_key_exists:LOCK_DURATION",
          "checker_family": "config",
          "allowed_authorities": [
            "direct",
            "dynamic",
            "human"
          ],
          "closed_world_refutation": true,
          "coverage_facet": "config_keys",
          "absence_universe": "config_key"
        },
        "effective_config_equals:LOCK_DURATION:900": {
          "key": "effective_config_equals:LOCK_DURATION:900",
          "checker_family": "config",
          "allowed_authorities": [
            "direct",
            "dynamic",
            "human"
          ],
          "closed_world_refutation": false,
          "coverage_facet": "config_keys",
          "absence_universe": null
        }
      }
    },
    {
      "version": "0.3",
      "obligation_kind": "sql_column_exists",
      "formula": {
        "op": "all",
        "args": [
          {
            "op": "atom",
            "args": "sql_table_exists:users"
          },
          {
            "op": "atom",
            "args": "sql_column_exists:users:locked_until"
          }
        ]
      },
      "predicates": {
        "sql_column_exists:users:locked_until": {
          "key": "sql_column_exists:users:locked_until",
          "checker_family": "sql",
          "allowed_authorities": [
            "direct",
            "dynamic",
            "human"
          ],
          "closed_world_refutation": true,
          "coverage_facet": "sql_ddl",
          "absence_universe": "sql_column"
        },
        "sql_table_exists:users": {
          "key": "sql_table_exists:users",
          "checker_family": "sql",
          "allowed_authorities": [
            "direct",
            "dynamic",
            "human"
          ],
          "closed_world_refutation": true,
          "coverage_facet": "sql_ddl",
          "absence_universe": "sql_table"
        }
      }
    }
  ],
  "coverage_proofs": [
    {
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "facet": "endpoint_declarations",
      "universe": "endpoint",
      "completeness": "complete",
      "blockers": [],
      "coverage_plan_instance_hash": "0535e6815f1d45f1503af5ca6451ec1ed72cb77aaafeade2a4a375de8c124222",
      "members": [
        "artifact:8516d6ce49f380e0:a37727eb9bc67246"
      ]
    },
    {
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "facet": "endpoint_bindings",
      "universe": "binding",
      "completeness": "complete",
      "blockers": [],
      "coverage_plan_instance_hash": "7ef7a004db4f495f4c2ba0c06b17914739cd40f6cd6e7f2c2e6b7f982858c089",
      "members": [
        "artifact:8516d6ce49f380e0:a37727eb9bc67246"
      ]
    },
    {
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "facet": "config_keys",
      "universe": "config_key",
      "completeness": "complete",
      "blockers": [],
      "coverage_plan_instance_hash": "c97a572ed3b989f1535ab972dc3b48d7b4df2aba5295ac9afe914edf43241529",
      "members": [
        "artifact:e8ce0ec6e2eff071:4a81d8f48e0bd860"
      ]
    },
    {
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "facet": "sql_ddl",
      "universe": "sql_column",
      "completeness": "complete",
      "blockers": [],
      "coverage_plan_instance_hash": "16652d6de8fe5f1f6fa3b026d26fa2898d78e0209b4fa3170cccae2ce9aa2d1a",
      "members": [
        "artifact:fb82a1d8664028fd:bc9cbf953b59235f"
      ]
    },
    {
      "analysis_snapshot_id": "analysis:0e6ff76f81edfbfa6aae4044c4d55931b156d25e99cfc737dd00d9363616f01c",
      "resolved_scope_digest": "scope:ec8f151bbbee459a962e69477f59b6a9e0ac0ac767359c73f2ce772159a97df3",
      "facet": "sql_ddl",
      "universe": "sql_table",
      "completeness": "complete",
      "blockers": [],
      "coverage_plan_instance_hash": "16652d6de8fe5f1f6fa3b026d26fa2898d78e0209b4fa3170cccae2ce9aa2d1a",
      "members": [
        "artifact:fb82a1d8664028fd:bc9cbf953b59235f"
      ]
    }
  ],
  "extraction_coverage": [
    {
      "artifact_id": "artifact:e8ce0ec6e2eff071:4a81d8f48e0bd860",
      "path": "config/app.env",
      "facet": "config_keys",
      "status": "complete",
      "extractor": "config-0.2",
      "notes": []
    },
    {
      "artifact_id": "artifact:fb82a1d8664028fd:bc9cbf953b59235f",
      "path": "db/schema.sql",
      "facet": "sql_ddl",
      "status": "complete",
      "extractor": "sql-ddl-0.2",
      "notes": [
        "CREATE TABLE and straightforward column declarations are covered; dialect-specific procedural DDL remains partial"
      ]
    },
    {
      "artifact_id": "artifact:8516d6ce49f380e0:a37727eb9bc67246",
      "path": "src/server.ts",
      "facet": "endpoint_declarations",
      "status": "complete",
      "extractor": "source-static-0.2",
      "notes": [
        "framework route recognition is conservative; dynamic/computed paths remain uncovered"
      ]
    },
    {
      "artifact_id": "artifact:8516d6ce49f380e0:a37727eb9bc67246",
      "path": "src/server.ts",
      "facet": "endpoint_bindings",
      "status": "complete",
      "extractor": "source-static-0.2",
      "notes": [
        "only statically named or directly associated handlers are strong bindings"
      ]
    },
    {
      "artifact_id": "artifact:8516d6ce49f380e0:a37727eb9bc67246",
      "path": "src/server.ts",
      "facet": "handlers",
      "status": "complete",
      "extractor": "source-static-0.2",
      "notes": [
        "named handler symbols enumerated; block-opening constructs all attributable"
      ]
    },
    {
      "artifact_id": "artifact:8516d6ce49f380e0:a37727eb9bc67246",
      "path": "src/server.ts",
      "facet": "source_semantics",
      "status": "partial",
      "extractor": "source-static-0.2",
      "notes": [
        "semantic facts are exact for recognized lexical constructs but absence is never treated as closed-world"
      ]
    },
    {
      "artifact_id": "artifact:8516d6ce49f380e0:a37727eb9bc67246",
      "path": "src/server.ts",
      "facet": "sql_references",
      "status": "partial",
      "extractor": "source-static-0.2",
      "notes": []
    },
    {
      "artifact_id": "artifact:8516d6ce49f380e0:a37727eb9bc67246",
      "path": "src/server.ts",
      "facet": "config_reads",
      "status": "partial",
      "extractor": "source-static-0.2",
      "notes": []
    },
    {
      "artifact_id": "artifact:8516d6ce49f380e0:a37727eb9bc67246",
      "path": "src/server.ts",
      "facet": "events",
      "status": "partial",
      "extractor": "events-0.2",
      "notes": [
        "literal publish/emit/send and subscribe/on/consume event names are covered; computed topics are intentionally unknown"
      ]
    },
    {
      "artifact_id": "artifact:8516d6ce49f380e0:a37727eb9bc67246",
      "path": "src/server.ts",
      "facet": "serialization",
      "status": "partial",
      "extractor": "serialization-0.2",
      "notes": [
        "literal serde/JSON property aliases and declarative serialization manifests are covered"
      ]
    }
  ],
  "unsupported_features": [],
  "semantic_coverage": [
    {
      "obligation_id": "REQ-AUTH-001-O001",
      "families": [
        "binding",
        "endpoint"
      ],
      "checker_backed": true,
      "status": "covered"
    },
    {
      "obligation_id": "REQ-AUTH-001-O002",
      "families": [
        "config"
      ],
      "checker_backed": true,
      "status": "covered"
    },
    {
      "obligation_id": "REQ-AUTH-001-O003",
      "families": [
        "sql"
      ],
      "checker_backed": true,
      "status": "covered"
    }
  ],
  "closure_cache": [
    {
      "key": "2fe014e035806b0fbac96ec1926dc49dfa5bc853dca31ba28d89d79db1d77b66",
      "verdict": "supported",
      "reasons": [],
      "evidence_set_digest": "405aab835adb3706c6179aeb3ded7ef377c881edfb55a60f4b8bd8e01ea7ef0b"
    },
    {
      "key": "d118c7c0f58ddeee5d69b392e418aaf51db99a60e4b1fc4aba21cc26f94f5f77",
      "verdict": "supported",
      "reasons": [],
      "evidence_set_digest": "d2bea1830f4fdfb9e73442b929784ca3be53dbb311d51ed5803256d7cb72f946"
    },
    {
      "key": "aca728f8ed7082f4f4c34952ca19b1951b9bd0e1db24c5ceb8eda01465015850",
      "verdict": "supported",
      "reasons": [],
      "evidence_set_digest": "d7e8997f68ab86a91e308d9a78db5fe97d9bb23d1a128b9ff14e3253f2b19ee7"
    }
  ]
}