R1-3 — Requisitos, aplicabilidad y resultados de comprobación

Fecha: 25 de agosto de 2026
Ámbito: sv_core
Fase: R1 — autoridad, mediación y decisiones protegidas
Corte: R1-3
Estado: abierto

1. Objeto

R1-3 materializa, dentro de sv_core, los requisitos aplicables a una forma sujeta a control y los resultados técnicos de su comprobación, preservando la separación entre diagnóstico, semántica ternaria, autoridad y permiso.

El corte se apoya en SEC.0-D y en las fronteras cerradas de R1-0, R1-1 y R1-2. No reabre R0 ni modifica la génesis T-0 ya cerrada.

R1-3 termina en el estado técnico de control. No produce Permit, no ejecuta efectos protegidos y no hace productivas por sí mismo las transiciones T-G, T-C o T-R.

2. Punto de partida

La apertura parte de:

main = 2d0d2ebb69364f81090ce019345bcc33c0a3e613

con el estado:

R0 = CERRADO
R1 = ABIERTO
R1-0 = CERRADO
R1-1 = CERRADO
R1-2 = CERRADO · INTEGRADO
R1-3 = ABIERTO
R1-4 = NO INICIADO
R2 = NO INICIADO
R3 = NO INICIADO
R4 = NO INICIADO

Garantía I = NO_PROBADO
Garantía II = NO_PROBADO

R1-2 mantiene T-G, T-C y T-R no productivas. La existencia de descriptores constituidos de esas clases no equivale a autorización para ejecutarlos.

3. Requisitos aplicables

Para toda forma sujeta a control, efecto e y contexto constitutivo C, R1-3 deberá materializar un conjunto no vacío de obligaciones:

Req(F,e | C) = N(F,e | C) ∪ S(F,e | C)

con:

Req(F,e | C) = ∅
⇒ forma inválida para producir el efecto

N(F,e | C) representa el núcleo no eludible de control. S(F,e | C) contiene obligaciones adicionales específicas de la forma.

La pertenencia de una obligación a Req y su aplicabilidad no son parámetros ordinarios de la comprobación. Deben derivar de estado previamente constituido y de las ligaduras gobernadas de forma, efecto y contexto.

No podrán decidirlas durante el acto:

• el ejecutor;
• el beneficiario del efecto;
• el verificador;
• un adaptador;
• una fuente auxiliar.

4. Núcleo mínimo no eludible

El contrato de realización preservará, cuando sean aplicables, las obligaciones nucleares fijadas por SEC.0-D:

1. validez y aplicabilidad de la forma;
2. autoridad aplicable;
3. pertenencia al dominio gobernado D_a, cuando corresponda;
4. admisibilidad y aplicabilidad de la regla de verificación;
5. prohibición de acreditación propia;
6. vigencia o no revocación, cuando la forma, la autoridad o el antecedente dependan de ella.

Las obligaciones 1, 2, 4 y 5 son nucleares en toda forma sujeta a control. Las obligaciones 3 y 6 se incorporan cuando su condición constitutiva sea aplicable.

Omitir una obligación nuclear no puede modelarse como una decisión operativa local. Exige una modificación constitutiva legítima de la forma mediante la transición que corresponda.

5. Identidad de las obligaciones

R1-3 impedirá que dos obligaciones materialmente distintas se confundan por compartir una etiqueta textual o una referencia reutilizada.

La representación deberá ligar cada obligación, como mínimo, a:

identidad de obligación
+ forma constituida
+ efecto o familia de efectos
+ contexto constitutivo
+ familia de verificadores admisibles
+ condición de aplicabilidad

Las ligaduras que afecten a vigencia, autoridad, objeto gobernado o antecedente formarán parte de la identidad material cuando su variación pueda cambiar el resultado.

La mera copia de una referencia nominal no extenderá la aplicabilidad de la obligación a otro objeto, efecto o contexto.

6. Resultados técnicos cerrados

R1-3 utiliza exclusivamente los resultados abstractos:

D-A = ACREDITADO
D-R = REFUTADO
D-N = NO_VERIFICABLE

con las separaciones obligatorias:

D-A ≠ D-R
D-A ≠ D-N
D-R ≠ D-N
D-N ≠ Tri.U
fallo técnico ≠ Tri.U

Un resultado de comprobación no constituye autoridad, no modifica por sí mismo E_max o D_a y no produce permiso.

7. Aplicabilidad de verificadores

Para una obligación q, un verificador concreto V sólo podrá intervenir cuando la relación de aplicabilidad esté previamente constituida:

Applicable(V, q, C) = true

Applicable(V,q,C) no será un booleano suministrado libremente al acto de comprobación ni una afirmación que el propio V pueda acuñar.

La mera disponibilidad o ejecución de V no acredita su aplicabilidad.

Si la aplicabilidad no puede acreditarse y no existe otra regla admisible suficiente:

Check(q) = D-N

Un verificador no puede acreditar en el mismo acto la autoridad o legitimidad de la que dependa su propio uso.

8. Conflicto entre evidencias o verificadores

Si evidencias admisibles o verificadores aplicables producen resultados incompatibles, R1-3 sólo podrá obtener D-A o D-R mediante una regla de resolución previamente constituida y aplicable.

En ausencia de esa regla:

Check(q) = D-N

Quedan excluidos como reglas implícitas de resolución:

• elegir el resultado favorable;
• elegir por mera cronología;
• elegir por mayoría no autorizada;
• escoger el verificador interesado en el efecto;
• degradar la incompatibilidad a advertencia para continuar.

9. Agregación técnica

R1-3 materializará la agregación de resultados de requisitos de forma determinista:

D-R  si existe al menos una obligación REFUTADA;
D-N  si ninguna está REFUTADA y existe al menos una NO_VERIFICABLE;
D-A  sólo si todas están ACREDITADAS.

Un conjunto vacío de resultados no agrega a D-A: corresponde a un Req inválido para una forma sujeta a control.

La precedencia de D-R sobre D-N conserva la existencia de una refutación material. No implica que D-R sea un valor ternario ni un permiso negativo del dominio.

La agregación describe el estado técnico del control. No ejecuta el efecto.

10. Cobertura y reutilización de resultados

Una acreditación parcial no podrá promoverse a acreditación total sin una regla de cobertura previamente constituida.

Check(subconjunto) = D-A
↛ Check(totalidad) = D-A

Un resultado histórico sólo podrá reutilizarse cuando continúen acreditadas todas las ligaduras materialmente relevantes de su validez.

Como mínimo, cuando resulten causales, deberán conservarse las ligaduras de:

• objeto;
• operación o familia de operaciones;
• contexto constitutivo;
• versión o régimen aplicable;
• antecedente de autoridad;
• evidencia utilizada;
• regla de verificación;
• condición de vigencia.

Cuando la continuidad de esas ligaduras no pueda acreditarse:

resultado previo = no reutilizable
Check(q) = D-N

Un reintento no transforma por sí mismo D-N en D-A.

11. Relación con R1-2

R1-3 no modifica la regla cerrada de génesis:

T-0
= única vía productiva de autoridad materializada en R1-2

T-I, T-V, T-H y T-E siguen sin constituir autoridad.

T-G, T-C y T-R pueden disponer en R1-3 de requisitos y resultados de comprobación aplicables, pero siguen sin producir efectos protegidos por el mero hecho de haber sido comprobadas.

Por tanto:

Req completo
+ todos los Check(q) = D-A
≠ Permit
≠ efecto ejecutado

La producción de permiso y la mediación del efecto pertenecen a R1-4.

12. Fuentes auxiliares y propuestas externas

Una fuente externa, un adaptador, una herramienta, una persona o un sistema auxiliar puede aportar información o evidencia candidata dentro de las reglas aplicables, pero no puede decidir por sí mismo:

• qué obligaciones integran Req;
• qué verificador es aplicable;
• que un resultado debe ser D-A;
• que una incompatibilidad puede omitirse;
• que un requisito deja de resultar aplicable para favorecer el efecto.

La coincidencia de varias fuentes no constituye por sí sola una regla de resolución ni una autoridad adicional.

Los perfiles concretos de canales o sistemas auxiliares se gobernarán separadamente cuando corresponda y no forman parte del objeto específico de R1-3.

13. Frontera con R1-4

R1-3 no introducirá un tipo productivo de Permit ni una operación capaz de comprometer un efecto protegido.

Su cierre sólo podrá acreditar una representación cerrada y verificable de:

forma + efecto + contexto
→ Req aplicable
→ comprobaciones individuales
→ resultado técnico agregado

La transformación de ese resultado en una decisión de permiso y la mediación del efecto se reservan a R1-4.

14. Primera unidad material de R1-3

La primera unidad de realización queda limitada a:

1. referencias cerradas para obligaciones y verificadores;
2. representación inmutable de obligaciones ligadas a forma, familia de efectos y contexto;
3. representación de la relación previamente constituida Applicable(V,q,C);
4. conservación de CheckResult = {D-A,D-R,D-N} fuera de Tri;
5. agregación determinista de resultados con rechazo del conjunto vacío;
6. pruebas negativas que impidan convertir la representación en Permit, autoridad o valor ternario.

La primera unidad no abrirá una vía productiva para constituir requisitos durante el propio acto de comprobación. La constitución productiva de las ligaduras necesarias para cerrar R1-3 deberá quedar gobernada dentro del mismo corte antes de su cierre.

15. Pruebas mínimas de cierre

La realización completa de R1-3 deberá demostrar, al menos, que:

1. una forma sujeta a control con Req = ∅ es inválida para producir efecto;
2. el beneficiario del efecto no puede eliminar obligaciones aplicables;
3. una obligación nuclear no puede omitirse localmente;
4. D-A, D-R y D-N permanecen disjuntos;
5. D-N no puede convertirse en Tri.U;
6. un fallo técnico de comprobación produce D-N cuando corresponda y no Tri.U;
7. un verificador no aplicable no puede producir D-A válido;
8. un verificador no puede autolegitimar su propia aplicabilidad;
9. un conflicto sin regla de resolución produce D-N;
10. la agregación conserva D-R si existe una refutación;
11. la agregación produce D-N cuando no existe refutación y hay al menos una no verificabilidad;
12. sólo un conjunto íntegramente acreditado agrega a D-A;
13. una acreditación parcial no acredita la totalidad sin regla de cobertura;
14. un resultado histórico no puede reutilizarse fuera de sus ligaduras;
15. R1-3 no produce Permit ni ejecuta efectos;
16. T-G, T-C y T-R siguen sin producir cambios efectivos antes de R1-4;
17. las regresiones de R0, R1-0, R1-1 y R1-2 permanecen correctas.

16. Exclusiones y estado

R1-3 no materializa:

• Permit productivo;
• mediación de efectos protegidos;
• persistencia durable de resultados;
• revocación durable;
• continuidad entre procesos;
• recuperación material;
• verificación criptográfica concreta;
• identidad externa;
• canales de red o dispositivos;
• gestión de secretos;
• aislamiento de plataforma;
• interfaz de usuario como autoridad;
• cliente o motor de inteligencia artificial;
• Garantía I;
• Garantía II.

No abre R1-4, R2, R3 o R4.

Estado resultante de la apertura:

R0 = CERRADO
R1 = ABIERTO
R1-0 = CERRADO
R1-1 = CERRADO
R1-2 = CERRADO · INTEGRADO
R1-3 = ABIERTO
R1-4 = NO INICIADO
R2–R4 = NO INICIADOS
Garantía I = NO_PROBADO
Garantía II = NO_PROBADO