{
  "contract_id": "AGLA_NL_COMPILATION_UNIT",
  "contract_version": "0.1.0",
  "unit_id": "COMPILER-FIXTURE-P0P1P2-001",
  "status": "CANDIDATE_NON_RUNTIME_NO_AUTHORITY_EFFECT",
  "source_authority": {
    "precedence": ["P0", "P1", "P2", "MEDIATED_SPECIFICATION", "IR", "TARGET", "EVIDENCE"],
    "embedded_snapshot_policy": "QUALIFIED_NONAUTHORITATIVE_NEVER_OVERRIDES_SOURCE",
    "stages": [
      {"stage_id":"P0","author_role":"HUMAN_MAINTAINER","authority":"HUMAN_SOURCE","content":"Build a bounded agent that classifies a request and returns a trace without writing governed sources.","sha256":"1eac89fccef1b247cd6a79b7f9136528a86d727f83bb3ea9a1c6002208eb9fbb","recoverable":true,"may_override_prior":false},
      {"stage_id":"P1","author_role":"EXPLICIT_INTERPRETER","authority":"INTERPRETATION_RECORD","content":"Interpret the request as a finite, read-only classification run with explicit admission, failure, and return evidence.","sha256":"9b9f376247451004f60eaa60c865f1064d73ffd6e36d13049fa96e541ffad382","recoverable":true,"may_override_prior":false},
      {"stage_id":"P2","author_role":"OPERATIONAL_REWRITER","authority":"OPERATIONAL_REWRITE","content":"Assign one invocation-scoped agent context with zero delegation and a maximum of three classification attempts.","sha256":"3542b25b639bde530f841a92801a8212de36772697b9a4af9d50cc5cfb2e59ce","recoverable":true,"may_override_prior":false}
    ],
    "source_refs": [
      {"artifact_id":"M2M-COMPILER-01","version":"0.2.0","class":"M2M_REQUEST","species":"LOCAL_CONTROL_PLANE","authority":"USER_HUMAN_CONTROL_PLANE","use_mode":"DESIGN_INPUT","source_scope":"NATURAL_LANGUAGE_COMPILATION_CANDIDATE","freshness":"2026-08-22","ref":"00_LocalContext/Active/OnGoing/M2M REQUEST — AGLA NATURAL-LANGUAGE COMPILATION AND CROSS-RUNTIME CONFORMANCE.md","hash":"LOCAL_DRIVE_ONLY_NOT_GIT_AUTHORITY","prohibited_use":"CANONICAL_OR_RUNTIME_AUTHORITY"}
    ]
  },
  "controlled_specification": {
    "spec_id": "CONTROLLED-SPEC-001",
    "statements": [
      {"statement_id":"CS-001","modality":"MUST","subject":"agent_package","predicate":"preserve","object":"P0_P1_P2_PROVENANCE","qualifiers":["HASH_TRACEABLE","RECOVERABLE"],"provenance_refs":["P0","P1","P2"],"resolution_state":"RESOLVED"},
      {"statement_id":"CS-002","modality":"MUST_NOT","subject":"agent_package","predicate":"write","object":"GOVERNED_SOURCES","qualifiers":["READ_ONLY_FIXTURE"],"provenance_refs":["P0"],"resolution_state":"RESOLVED"},
      {"statement_id":"CS-003","modality":"MUST","subject":"finite_loop","predicate":"terminate_as","object":"SUSPENDED_FOR_REVIEW_ON_EXHAUSTION","qualifiers":["MAX_ITERATIONS_3"],"provenance_refs":["P1","P2"],"resolution_state":"RESOLVED"},
      {"statement_id":"CS-004","modality":"QUESTION","subject":"classification_taxonomy","predicate":"select","object":"TARGET_SPECIFIC_CLASSES","qualifiers":["REQUIRES_RUNTIME_INPUT"],"provenance_refs":["P0"],"resolution_state":"UNRESOLVED"}
    ],
    "unresolved_questions": ["CS-004"],
    "conflicts": []
  },
  "ir": {
    "ir_id": "AGLA-IR-001",
    "authority_effect": "NONE",
    "semantic_ids": ["COMPILER-FIXTURE-P0P1P2-001","CONTROLLED-SPEC-001","AGENT-PACKAGE-001","FINITE-LOOP-001"],
    "typed_relations": [
      {"relation_id":"REL-001","type":"INTERPRETS","source":"P1","target":"P0"},
      {"relation_id":"REL-002","type":"OPERATIONALIZES","source":"P2","target":"P1"},
      {"relation_id":"REL-003","type":"CONSTRAINS","source":"FINITE-LOOP-001","target":"AGENT-PACKAGE-001"}
    ],
    "provider_refs": [],
    "graph_binding": null,
    "handoff_refs": [],
    "arithmetic_constraints": [{"constraint_id":"ARITH-001","kind":"EXPECTED_CARDINALITY","value":3,"resolution":"EXPLICIT_MAXIMUM_NOT_SUCCESS_COUNT"}],
    "agent_package": {
      "package_id":"AGENT-PACKAGE-001","invocation_epoch":"EPOCH-001","local_goal":"CLASSIFY_AND_RETURN_TRACE","read_scope":["REQUEST_FIXTURE","DECLARED_SOURCES"],"write_scope":[],"graph_visibility":"NONE","context_depth":1,"delegation_limit":0,"mutation_authority":"NONE","may_execute_opera":false,"may_self_admit":false,"return_schema":"CLASSIFICATION_TRACE_V1","escalation_rule":"SUSPEND_AND_REQUEST_DECISION_ONLY_IF_MATERIAL_CHOICE_REMAINS","expiry":"INVOCATION_COMPLETION_OR_SOURCE_SCOPE_CHANGE"
    },
    "inputs": [{"input_id":"INPUT-001","type":"USER_REQUIREMENT","required":true}],
    "expected_outputs": [{"output_id":"OUTPUT-001","type":"CLASSIFICATION_TRACE","result_class":"EVIDENCE_NONAUTHORITATIVE"}],
    "finite_loop": {
      "loop_id":"FINITE-LOOP-001","objective":"CLASSIFY_WITH_TRACE","max_iterations":3,"max_unchanged_repetitions":1,"max_escalations":1,"progress_predicate":"NEW_EVIDENCE_OR_TESTABLE_CORRECTION","success_state":"CLASSIFICATION_RETURNED","failure_state":"SUSPENDED_FOR_REVIEW","exhaustion_state":"SUSPENDED_FOR_REVIEW","retry_until_success":false,"recoverable_checkpoint":"LAST_VALID_ITERATION"
    }
  },
  "capability_request": ["CONTROLLED_TEXT","DETERMINISTIC_JSON","SOURCE_HASHING","FINITE_LOOP","GRAPH_VISUALIZATION"],
  "transformation_ledger": [
    {"record_id":"TX-001","source_stage":"P0","target_stage":"P1","rule_id":"EXPLICIT_INTERPRETATION","input_hashes":["1eac89fccef1b247cd6a79b7f9136528a86d727f83bb3ea9a1c6002208eb9fbb"],"output_hash":"9b9f376247451004f60eaa60c865f1064d73ffd6e36d13049fa96e541ffad382","assumptions":["CLASSIFICATION_TARGET_UNRESOLVED"],"declared_loss":[],"conflict_refs":[],"actor":"EXPLICIT_INTERPRETER","reversible":true},
    {"record_id":"TX-002","source_stage":"P1","target_stage":"P2","rule_id":"BOUNDED_OPERATIONAL_REWRITE","input_hashes":["9b9f376247451004f60eaa60c865f1064d73ffd6e36d13049fa96e541ffad382"],"output_hash":"3542b25b639bde530f841a92801a8212de36772697b9a4af9d50cc5cfb2e59ce","assumptions":["READ_ONLY_AGENT_SUFFICIENT"],"declared_loss":["PROSE_VARIATION"],"conflict_refs":[],"actor":"OPERATIONAL_REWRITER","reversible":true},
    {"record_id":"TX-003","source_stage":"P2","target_stage":"MEDIATED_SPECIFICATION","rule_id":"CONTROLLED_LANGUAGE_MEDIATION","input_hashes":["3542b25b639bde530f841a92801a8212de36772697b9a4af9d50cc5cfb2e59ce"],"output_hash":"3ca3a91ea42480c774f59c83eb13e0d4242d994510b1b1d8f9cd54b191808a0b","assumptions":["UNRESOLVED_QUESTIONS_RETAINED"],"declared_loss":["UNCONTROLLED_PROSE_ORDER"],"conflict_refs":[],"actor":"MEDIATION_STAGE","reversible":true},
    {"record_id":"TX-004","source_stage":"MEDIATED_SPECIFICATION","target_stage":"IR","rule_id":"SPECIFICATION_TO_TYPED_IR","input_hashes":["3ca3a91ea42480c774f59c83eb13e0d4242d994510b1b1d8f9cd54b191808a0b"],"output_hash":"bbc7176b10b3296dc4e2a60f65d53e063042b36a844c0fa873669ee5f83d2eb9","assumptions":["REFERENCE_IDS_SUFFICIENT"],"declared_loss":[],"conflict_refs":[],"actor":"IR_COMPILER","reversible":true},
    {"record_id":"TX-005","source_stage":"IR","target_stage":"TARGET","rule_id":"IR_TO_CONTROLLED_TEXT_REFERENCE","input_hashes":["bbc7176b10b3296dc4e2a60f65d53e063042b36a844c0fa873669ee5f83d2eb9"],"output_hash":"9979a21a37943577d5e68ceedcb0d0e1ff183ad9669ff732be1ac4abb5d62d04","assumptions":["TEXT_PROFILE_AVAILABLE"],"declared_loss":["MACHINE_NATIVE_STRUCTURE"],"conflict_refs":[],"actor":"TEXT_ADAPTER","reversible":true},
    {"record_id":"TX-006","source_stage":"TARGET","target_stage":"EVIDENCE","rule_id":"CROSS_RUNTIME_CONFORMANCE_CAPTURE","input_hashes":["9979a21a37943577d5e68ceedcb0d0e1ff183ad9669ff732be1ac4abb5d62d04"],"output_hash":"505dd2f5530932cea8d785da317e60dcadd21bcc222250b7c6287489b2deb270","assumptions":["REFERENCE_CORPUS_BOUNDED"],"declared_loss":[],"conflict_refs":[],"actor":"CONFORMANCE_VALIDATOR","reversible":true}
  ],
  "target_profile": "TEXT_ONLY_REFERENCE",
  "result_class": "CANDIDATE_NON_EXECUTED",
  "upward_revisit_packet": {
    "packet_id":"UPWARD-001","origin_stage":"EVIDENCE","target_stage":"P1","triggering_evidence_refs":["OUTPUT-001"],"original_prompt_ref":"P0","affected_interpretation_refs":["P1"],"affected_source_refs":["M2M-COMPILER-01"],"transformation_chain_refs":["TX-001","TX-002"],"conflict_refs":[],"test_or_playtest_refs":["CONFORMANCE-CORPUS-001"],"current_candidate_ref":"AGLA-IR-001","proposed_revision":"NONE_UNTIL_EVIDENCE","declared_loss":[],"preserved_state_ref":"COMPILER-FIXTURE-P0P1P2-001","authority_change_requested":false,"human_decision_required":false
  }
}