# GRAPHUS COMMUNIS ARTIS Instance Specification

Version: `1.1.0-INSTANCE-INDEPENDENT-EDGE-STATUS-CANDIDATE`
Status: `ROOT-CONTRACT SUPPORT CANDIDATE / NON-RUNTIME / NO_AUTHORITY_EFFECT`
Authority: `AGLA-GRAPHUS-COMMUNIS-ARTIS`

The root contract is canonical and non-runtime. This support specification,
every instance, and every binding retain their own status. Root canonization
does not upgrade them.

## Normative record

```yaml
GRAPHUS_INSTANCE:
  instance_id: string
  graphus_class_ref: AGLA-GRAPHUS-COMMUNIS-ARTIS
  graphus_class_status: CANONICAL_ROOT_CONTRACT_NON_RUNTIME
  edge_set_ref: GRAPHUS-EDGESET-SCHOLASTICUS-1.0.0
  edge_set_authority_status: CANDIDATE_NON_RUNTIME_NO_AUTHORITY_EFFECT
  authority_effect: NONE
  context_ref: registered artifact or control record
  carrier_assignments:
    X: regime or anchor assignment
    B: contextual assignment
    C: contextual assignment
    D: contextual assignment
    E: contextual assignment
    F: contextual assignment
    G: contextual assignment
    H: contextual assignment
    I: contextual assignment
    K: contextual assignment
  edge_policy:
    direction: UNDIRECTED | DIRECTED | MIXED
    traversal_constraints_ref: registered ROTA or policy
  traversal_owner: registered ROTA reference
  visitation_signature: [carrier_id]
  executable_walk: [carrier_id]
  state_model:
    arithmetic_foundation_ref: string | null
    state_space_ref: string | null
    rule_set_ref: string | null
    reduction_trace_ref: string | null
    initial_state_ref: string
    visits:
      - carrier_id: string
        ordinal: integer
        prior_visit_ref: string | null
        state_delta: object
  decision_articulation:
    objective: string
    need_carriers: [object]
    constraints: [object]
    candidate_plans:
      - plan_id: string
        opera_sequence: [string]
        ordinal_mode_bindings: [object]
        expected_state_deltas: [object]
        satisfied_need_refs: [string]
        unsatisfied_need_refs: [string]
        conflicts: [object]
        cost: object
        risk: object
        arepo_status: string
    reduction_trace_ref: string | null
    selected_plan_ref: string | null
    rejected_plan_refs: [string]
    effective_actions: [object]
    actual_state_delta: object | null
    stop_or_continue: STOP | CONTINUE | UNRESOLVED
    explanation: string
  emulation_binding:
    current_state_ref: string
    coherence_basis_refs: [string]
    steps:
      - step_id: string
        prior_state_ref: string
        proposed_rule_or_edge_ref: string
        arepo_status: string
        active_constraint_refs: [string]
        accepted_state_delta: object | null
        rejected_alternative_refs: [string]
        coherence_result: COHERENT | INCOHERENT | UNRESOLVED
        resulting_state_ref: string
  source_trace:
    edge_set_source_ref: string
    semantic_source_refs: [string]
    inference_status: SOURCE-DERIVED | FORMALLY-DERIVED | LOCALLY-INFERRED | HYPOTHETICAL
  parent_instance_ref: string | null
  invocation_ref: string | null
  child_instance_refs: [string]
  visualization_refs: [string]
```

## Validation law

All required carriers and every traversed edge MUST exist in the selected
edge-set version. `visitation_signature` may be non-executable; the
`executable_walk` MUST be adjacent step by adjacent step. A missing, unknown,
or ambiguous `edge_set_ref`, or a missing/misrepresented
`edge_set_authority_status`, is a hard failure. A candidate edge set propagates
`CANDIDATE / NON_RUNTIME / NO_AUTHORITY_EFFECT` to the instance and its
bindings; validation success cannot upgrade that status.

Visualization references never supply missing topology. Nested instances
must be acyclic in their parent-reference chain even when their internal
graphs contain cycles.

Generated, scored, reduced, or state-mutating instances require
`arithmetic_foundation_ref`. A decision articulation that selects an option
requires an AREPO status for every candidate plan and must retain rejected
lawful alternatives with reasons.

Traversal is emulated only when every effective step is self-bound to its
prior and resulting state and exposes its coherence basis. Narrated movement,
a visualization, or an invocation-local graph file does not substitute for
this record. Visual skills and durable graph files are optional inspection
surfaces, not execution dependencies. Coherence pressure cannot create a
missing edge, rule, authority, or permission.