{
  "scope": "offline_contracts_and_mcp_sdk",
  "tests": 25,
  "passed": 25,
  "cases": [
    {
      "id": "test_demo.ContextTests.test_cross_session_persistence",
      "status": "passed"
    },
    {
      "id": "test_demo.ContextTests.test_expired_memory_is_not_used",
      "status": "passed"
    },
    {
      "id": "test_demo.ContextTests.test_identity_and_trust_filters",
      "status": "passed"
    },
    {
      "id": "test_demo.ContextTests.test_long_observation_preserves_reference_within_budget",
      "status": "passed"
    },
    {
      "id": "test_demo.EvaluationTests.test_budget_failure_is_not_success",
      "status": "passed"
    },
    {
      "id": "test_demo.EvaluationTests.test_external_instruction_stays_data_and_tool_allowlist_holds",
      "status": "passed"
    },
    {
      "id": "test_demo.EvaluationTests.test_fluent_answer_without_evidence_fails",
      "status": "passed"
    },
    {
      "id": "test_demo.EvaluationTests.test_grounded_fixture_passes_without_fake_model_cost",
      "status": "passed"
    },
    {
      "id": "test_demo.LoopTests.test_repeated_action_stops_before_second_execution",
      "status": "passed"
    },
    {
      "id": "test_demo.LoopTests.test_step_budget_prevents_next_tool",
      "status": "passed"
    },
    {
      "id": "test_demo.LoopTests.test_success_has_observed_citations",
      "status": "passed"
    },
    {
      "id": "test_demo.LoopTests.test_unknown_tool_is_observable",
      "status": "passed"
    },
    {
      "id": "test_demo.RetrievalTests.test_conflicting_sources_require_review",
      "status": "passed"
    },
    {
      "id": "test_demo.RetrievalTests.test_metadata_filters_before_ranking",
      "status": "passed"
    },
    {
      "id": "test_demo.RetrievalTests.test_no_result_remains_no_evidence",
      "status": "passed"
    },
    {
      "id": "test_demo.RetrievalTests.test_unobserved_citation_is_rejected",
      "status": "passed"
    },
    {
      "id": "test_demo.ToolTests.test_arguments_reject_extra_identity_and_wrong_type",
      "status": "passed"
    },
    {
      "id": "test_demo.ToolTests.test_injected_timeout_does_not_invent_observation",
      "status": "passed"
    },
    {
      "id": "test_demo.ToolTests.test_readonly_actor_cannot_write",
      "status": "passed"
    },
    {
      "id": "test_demo.ToolTests.test_retry_of_write_is_idempotent_and_reuse_conflicts",
      "status": "passed"
    },
    {
      "id": "test_demo.WorkflowTests.test_approval_cannot_be_skipped",
      "status": "passed"
    },
    {
      "id": "test_demo.WorkflowTests.test_approval_is_bound_to_plan_digest",
      "status": "passed"
    },
    {
      "id": "test_demo.WorkflowTests.test_checkpoint_isolation",
      "status": "passed"
    },
    {
      "id": "test_demo.WorkflowTests.test_resume_reuses_retrieval_after_reopening_database",
      "status": "passed"
    },
    {
      "id": "test_mcp.MCPTests.test_official_client_discovers_and_calls_tool",
      "status": "passed"
    }
  ],
  "model_tokens": null,
  "model_cost": null
}