RESULT {"accepted_count":300,"case":"qed_asymmetric_l2","driver_pid":529237,"elapsed_ns":1955114,"emitted_count":300,"engine":"linnet","engine_parallel":false,"materialized_ns":1813724,"mode":"materialize","observation":{"checksum_fnv64_sum":"38775eda60f5a936","checksum_fnv64_xor":"ee268bd51453a002","edges":2100,"legs":1200,"vertices":1800},"process_manifest":[],"scope":"operation timer excludes selected-case JSON parsing and final record destruction (both included in whole-process metrics); includes request compilation, complete native generation and symmetry factors, owned neutral incidence/rule/leg materialization, all-field observation, exact sum of inverse automorphism orders; retained records drop before process exit; no timed canonicalization or JSONL serialization","status":"ok","sum_inverse_aut":{"denominator":"1","numerator":"300"},"worker_threads":1}