{"schema":"dendra.t07.contract.v1","test_id":"T07_SEALED_RULE_LEARNING","version":"1.1.0","candidate_bundle_sha256":"99d2d4ce7530741bff06648b6a452b0514b62b9794137f3bb442f7cc1829d713","source_sha256":"167f94da42a9906127562d18c51b560b7dbefaef8f2e411cbab5df8c125f92dc","input":"RESEARCHER_AUTHORED_DATA_ONLY_TRAIN_AND_DISJOINT_HOLDOUT","categories":["rule","representation","tool","logic","planning","mathematics","classification","other"],"category_changes_solver":false,"candidate":"FROZEN_DRENDA_TYPED_PROGRAM_SYNTHESIZER","controls":["baseline","learned","ablation","restore","restart"],"baseline":"FROZEN_IDENTITY_PRIMITIVE_WITHOUT_LEARNED_ARTIFACT","score":"EXACT_TYPED_JSON_MATCH_ALL_PRIVATE_ROWS","pass":"ALL_LEARNED_ROWS_CORRECT_AND_CAUSAL_LOSS_RESTORE_RESTART","partial":"SOME_CORRECT_OR_NO_CAUSAL_GAIN","failure":"NO_CANDIDATE_OR_ZERO_HELDOUT_CORRECT","hidden_access":"JUDGE_ONLY_OUTPUTS; INPUTS_RELEASED_TO_FROZEN_INFERENCE_ONLY","proof_access":"SUBMITTER_BEARER_RECEIPT_ONLY; GOLD_NOT_PUBLIC","resource_budget":{"max_examples":64,"max_hidden":64,"max_candidates":10000,"train_wall_seconds":60,"memory_bytes":536870912,"concurrency":1},"scope":"RESEARCHER_CHOOSES_PROBLEM; SOLVER_USES_FROZEN_BOUNDED_TYPED_GRAMMAR","description_use":"RECORDED_AND_HASHED; SYNTHESIS_GUIDED_BY_EXAMPLES","resident_access":false,"user_code_execution":false,"network":false,"attribution":{"mechanism":"CODEX_ENGINEERED_DRENDA_SUBSTRATE","learned_program":"DRENDA_ENUMERATION_FROM_RESEARCHER_EXAMPLES","gold":"RESEARCHER","judge":"SEPARATE_PROCESS"},"search_policy":"TYPE_PRECONDITION_PRUNING_V1","budget_unit":"INTERPRETER_EVALUATIONS; TYPE_PRUNED_RAW_SLOTS_REPORTED_SEPARATELY","engine_optimization_author":"CODEX_ENGINEERING_NOT_DRENDA_SELF_EVOLUTION"}