# AREPO W — INPUT ADMISSIBILITY

Version: 1.0.0

Status: CANONICAL SOURCE / NON_RUNTIME / RUNTIME_DISABLED

Authority: HUMAN-AUTHORIZED CANONICAL SOURCE / STACK_W SCOPE ONLY

Class: AREPO

Artifact ID: `IDX-W-AREPO`

Registration: IDENTITY_AND_DISCOVERY_ONLY / NOT_ADMITTED

Regime: W

Official Title: REGIMEN W — HABITUS MORALES / MORAL HABITS

Scope: fail-closed admission contract for OPERA W mappings

Supersedes:
`_01_INTEGRATION_CANDIDATES/STACK_W/QUALIFICATION/SUCCESSORS/AREPO_W_InputAdmissibility_v0.2.0.md@0.2.0`;
qualified blob `e731728077c0604833ebb4af2d11597745cc2810` at integration
commit `58ce4cec5f15a78b0263e85deea5a1e9e7412eed`; source preserved
without mutation

Lineage-Origin: `_01_INTEGRATION_CANDIDATES/STACK_W/AREPO_W_InputAdmissibility.md@0.1.0`; received blob
`3e6fa3ec8f1bc9adf916a24a3aeb4b15c0f5eff3` at intake commit
`65e2df777aed7cbada7041dfc6cbc7007959f68a`

Depends-On: `TENET_W_DoctrinalInvariants.md`,
`ROTAS_W_StructuralInstantiation.md`,
`W_AT_PROFILE_DATASET.json`, and `W_HUMAN_BINDING_RECORD.json`

Mutation Policy: VERSION-CONTROLLED SUCCESSORS ONLY

Canonical Effect: CANONICAL SOURCE WITHIN STACK_W ONLY

Runtime Effect: NONE / RUNTIME_DISABLED

## 1. Admission role

AREPO W determines whether a declared mapping request is structurally eligible
to reach OPERA W. It does not define W doctrine, instantiate or select a ROTA,
execute a mapping, repair missing provider output, or mediate a result.

This canonical source is non-runtime and runtime-disabled. Its admission
vocabulary specifies behavior but does not currently return executable
permission.

## 2. Admission object

```text
W_ADMISSION_REQUEST := {
  invocation_epoch_id,
  object_ref,
  subject_ref,
  execution_scope,
  mapping_target,
  declared_frame,
  source_and_provenance,
  tenet_evidence,
  rotas_evidence,
  A_trace_ref,
  T_trace_ref,
  SK_context_ref_or_none,
  term_matrix_ref,
  at_profile_dataset_ref,
  requested_output_scope
}
```

`mapping_target` must be exactly one of:

- `ACT`;
- `HABIT`;
- `PATTERN_OF_ACTS`;
- `AGENT_QUALIFIED`.

`AGENT_QUALIFIED` means a bounded attribution to an explicitly described
agent in the declared frame. It does not authorize a total judgment of a
person.

## 3. Mandatory same-epoch bindings

Before any admission can be executable, the request must provide:

1. current TENET W evidence identifying source and version or content hash,
   proof of current parsing or freshness, and exact epoch, subject, and scope;
2. current ROTAS W evidence identifying source and version or content hash,
   provider status, effective ROTA or explicitly admitted composition, proof
   of current resolution or freshness, and the same epoch, subject, and scope;
3. an A trace from the exact declared A provider, separately admitted and
   bound to the object/frame;
4. a T trace from the exact declared T provider, separately admitted and bound
   to the object/frame;
5. exact W matrix and W-owned A/T profile dataset references;
6. explicit source/provenance status and mapping target.

A prior AREPO admission, a prior W result, or an AREPO/SATOR-only context does
not satisfy any current-evidence requirement.

## 4. Non-runtime admission states

- `ADMISSIBLE` — all required evidence resolves and no blocking condition is
  present;
- `ADMISSIBLE_WITH_FLAGS` — all execution-critical evidence resolves and only
  declared non-blocking plurality/source flags remain;
- `PROVISIONAL` — analysis may continue, but OPERA is not admitted;
- `DEFERRED` — a resolvable provider, source, or profile input is missing;
- `REJECTED` — the requested mapping violates a W invariant;
- `BLOCKED` — execution-critical evidence or authority is absent or invalid.

Because this family remains `NON_RUNTIME / RUNTIME_DISABLED`, no state emitted by
this document is current runtime admission.

## 5. Fail-closed conditions

Return `BLOCKED`, `DEFERRED`, or `REJECTED` as appropriate when any of the
following applies:

- TENET evidence is absent, stale, cross-epoch, subject/scope mismatched, or
  not source-identifiable;
- ROTAS evidence is absent, stale, cross-epoch, subject/scope mismatched,
  erases provider status, or leaves the effective ROTA/composition unresolved;
- A or T trace is absent, belongs to another object/frame, lacks exact provider
  identity, or is presented as W-owned doctrine;
- the W A/T profile dataset or 36-address matrix is absent or structurally
  inconsistent;
- the mapping target or declared frame is hidden;
- a raw moral verdict is requested without declared structural traces;
- an isolated act is promoted to a stable habit or a total personal identity;
- a sign is equated with a habit or with moral numeric valence;
- virtue is converted into permission, admission, or reward;
- vice is converted into prohibition, rejection, or punishment;
- historical/traditional conformity is used as epistemic proof;
- a package claim, translation, reconstruction, or inference is represented as
  direct source evidence;
- an unresolved lexical surface is silently promoted to primary term;
- S/K moral-Instrumentativum context is reified as a tenth subject;
- current OPERA G is required as an upstream provider;
- prior admission is reused for a new invocation epoch.

Partial A/T content may be inspected only as `PROVISIONAL` and cannot reach
OPERA. Multiple compatible W addresses, a historical/contemporary frame
boundary, or explicit cross-address semantic identity may instead yield
`ADMISSIBLE_WITH_FLAGS` when every execution-critical binding is otherwise
complete.

## 6. Admission record

```text
W_ADMISSION_RECORD := {
  request_ref,
  invocation_epoch_id,
  subject_ref,
  execution_scope,
  tenet_evidence_ref,
  rotas_evidence_ref,
  effective_rota_id,
  A_trace_ref,
  T_trace_ref,
  matrix_ref,
  profile_dataset_ref,
  checks,
  flags,
  state,
  failure_identifiers,
  candidate_runtime_posture
}
```

The record must expose rather than repair a gap.

## 7. Failure identifiers

```text
tenet_evidence_absent_or_stale
rotas_evidence_absent_or_stale
invocation_epoch_mismatch
opera_subject_or_scope_mismatch
provider_status_erasure
effective_rota_unresolved
arepo_sator_only_context
prior_admission_reuse
a_trace_unresolved
t_trace_unresolved
w_profile_dataset_unresolved
mapping_target_hidden
act_habit_person_collapse
sign_habit_collapse
permission_reward_punishment_inference
source_class_impersonation
tenth_subject_reification
g_upstream_dependency_forbidden
```

## 8. Five-class boundary

AREPO W consumes current TENET and ROTAS evidence and may gate a future OPERA W
only. It does not alter either provider, compute W_PROFILE, choose moral terms,
or frame the user-facing return.

## Closing boundary

This is the deterministic canonical admission source for Stack W. Its global
registration is identity-only; it grants no runtime admission or execution
authority.