{ "transport": "actual localhost HTTP", "health": { "status": "ready", "version": "1.2.0", "data": "synthetic per request" }, "four_scenarios_executed": true, "hero_served": true, "private_memory_writes_exposed": false, "server_left_running": false, "browser_rendered": false, "docker_built": false, "results": [ { "scenario": "glossary", "query": "Nova amber docket", "operator_mapping": "amber docket \u2192 incident register", "before_top_note": "Nova lunch roster: Theo handles reservations.", "after_top_note": "Nova incident register: Mira handles escalation.", "target_retrieved": true, "bridge_in_packet": true, "limit": "The supplied mapping adds information. No general synonym discovery or inferred answer." }, { "scenario": "intersection", "question": "Which services are in west AND owned by Mira?", "plan": { "where": [ { "entity": "?service", "predicate": "region", "value": "west" }, { "entity": "?service", "predicate": "owner", "value": "Mira" } ], "select": [ "?service" ] }, "answers": [ { "?service": "Beacon" } ], "support_records": 2, "certificate_revalidated": true, "limit": "Exact supplied claims; no unrestricted language parser or world-completeness claim." }, { "scenario": "proof-budget", "answers": [ "Alpha", "Beta", "Delta", "Gamma" ], "before_bytes": 5390, "after_bytes": 3711, "bytes_saved": 1679, "dependency_complete": true, "search": { "algorithm": "bounded_exhaustive_complete_proof_union", "alternatives": 8, "answer_groups": 4, "candidate_combinations": 16, "evaluated_combinations": 16, "max_combinations": 4096, "optimal": true, "objective": "actual_serialized_context_units", "ranking_score_used_as_truth": false }, "limit": "Constructed shared-support example, not an average over real conversations. Budgets are UTF-8 bytes here." }, { "scenario": "correction", "before": [ "west" ], "after": [ "east" ], "historical": [ "west" ], "old_certificate_valid_now": false, "limit": "Explicit revision links and supplied time metadata, not automatic contradiction discovery." } ] }