File size: 2,611 Bytes
3b3b2bd | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 | {
"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."
}
]
}
|