Estado y límites

Esta página es un activo de confianza, no una vergüenza.

Cada línea de abajo declara un estado, nombra la fuente de la que sale, y dice qué significa en lenguaje llano. Nada aquí se suaviza para causar efecto.

NO ESTABLECIDO

Verify no está certificado. No se ha completado una reauditoría independiente de estos bytes exactos.

V Verificado contra los bytes de la fuente De dónde sale esto
Fichero fuente
00_START_HERE/02-CURRENT-TRUTH.md
Sección
Claims prohibidos
Digest del fichero
289ae963be25b5a563e29a88c29b0811564a1b96c287208755ad07013a2a6d62
Cita literal
`CERTIFIED=YES`: NO hasta reauditoría independiente de AC7.

10_LIMITS/01-NO-CONSTA-REGISTER.md records Certification as NO_CONSTA and independent re-audit as PENDING.

CONDICIONAL

Verify es una implementación de referencia. La preparación para producción está condicionada a que un preflight de despliegue pase en el host objetivo, y eso no se ha hecho.

V Verificado contra los bytes de la fuente De dónde sale esto
Fichero fuente
00_START_HERE/02-CURRENT-TRUTH.md
Sección
Claims prohibidos
Digest del fichero
289ae963be25b5a563e29a88c29b0811564a1b96c287208755ad07013a2a6d62
Cita literal
`PRODUCTION_READY=YES`: condicionado a `DEPLOYMENT-PREFLIGHT=PASS` sobre el host objetivo.

No deployment preflight was run by this build, and no deployment was performed.

NO SE OFRECE

La resistencia al rollback de estado de un solo uso por parte del mismo usuario no se ofrece. Requiere un ancla externa durable que esta candidata no implementa.

V Verificado contra los bytes de la fuente De dónde sale esto
Fichero fuente
10_LIMITS/00-KNOWN-LIMITS.md
Sección
Límites conocidos
Digest del fichero
269a0d9458686d58057e48a273ac17d40348901fa6d11c7fcc9a90970b44486b
Cita literal
Rollback-resistant one-use requiere ancla externa/monotónica

Recorded in the NO_CONSTA register as NOT_PROVIDED, and in CURRENT-TRUTH as RES-FINAL-001.

AUSENTE

No hay reloj externo de confianza. La expiración se juzga con el reloj del propio host.

V Verificado contra los bytes de la fuente De dónde sale esto
Fichero fuente
10_LIMITS/00-KNOWN-LIMITS.md
Sección
Límites conocidos
Digest del fichero
269a0d9458686d58057e48a273ac17d40348901fa6d11c7fcc9a90970b44486b
Cita literal
Trusted external time no existe; expiración usa reloj del sistema.

Listed as CODE_PATH_ABSENT in the NO_CONSTA register.

SOLO LOCAL

La custodia de claves usa una clave local en el material de referencia. No hay integración productiva con KMS ni HSM.

V Verificado contra los bytes de la fuente De dónde sale esto
Fichero fuente
10_LIMITS/00-KNOWN-LIMITS.md
Sección
Límites conocidos
Digest del fichero
269a0d9458686d58057e48a273ac17d40348901fa6d11c7fcc9a90970b44486b
Cita literal
External Authority Reference usa clave Ed25519 local; no KMS/HSM productivo.

KMS/HSM custody is CODE_PATH_ABSENT in the NO_CONSTA register.

PARCIAL

De los efectos que puede realizar la puerta de referencia, sólo la creación de ficheros está habilitada. El borrado está desactivado y falla cerrado.

V Verificado contra los bytes de la fuente De dónde sale esto
Fichero fuente
10_LIMITS/00-KNOWN-LIMITS.md
Sección
Límites conocidos
Digest del fichero
269a0d9458686d58057e48a273ac17d40348901fa6d11c7fcc9a90970b44486b
Cita literal
Sólo CREATE_FILE está habilitado; DELETE_FILE está fail-closed por decisión del Owner.

Owner decision recorded in source. This website does not expose the gate at all.

REDUCCIÓN DE SUPERFICIE

La puerta de referencia reduce superficie de syscalls y puede aplicar restricción de ficheros condicionada al host. Eso es reducción de superficie, no un sandbox completo.

V Verificado contra los bytes de la fuente De dónde sale esto
Fichero fuente
10_LIMITS/00-KNOWN-LIMITS.md
Sección
Límites conocidos
Digest del fichero
269a0d9458686d58057e48a273ac17d40348901fa6d11c7fcc9a90970b44486b
Cita literal
Seccomp es denylist default-ALLOW y se documenta como reducción de superficie, no sandbox completo.

Landlock is conditional on the host and is not credited when unavailable.

AUSENTE

No hay verificación formal exhaustiva, ni registro de transparencia, ni ancla externa durable.

V Verificado contra los bytes de la fuente De dónde sale esto
Fichero fuente
10_LIMITS/00-KNOWN-LIMITS.md
Sección
Límites conocidos
Digest del fichero
269a0d9458686d58057e48a273ac17d40348901fa6d11c7fcc9a90970b44486b
Cita literal
No formal verification exhaustiva.

Item 14 of the same list records the absence of a transparency log or durable external anchor.

NO SE INFIERE

La diversidad estructural en la evidencia no prueba productores físicamente independientes, y Verify no afirma lo contrario.

V Verificado contra los bytes de la fuente De dónde sale esto
Fichero fuente
10_LIMITS/00-KNOWN-LIMITS.md
Sección
AC6 · límites de assurance
Digest del fichero
269a0d9458686d58057e48a273ac17d40348901fa6d11c7fcc9a90970b44486b
Cita literal
la independencia física real sigue sin inferirse de `producer_id`

Recorded fixture INSUFFICIENT_INDEPENDENCE shows the structural check returning NO_CONSTA, not a claim of real independence.

NO_CONSTA

Quién custodia y distribuye la raíz de confianza externa en producción no queda establecido por esta candidata.

NC No consta: registrado como no establecido De dónde sale esto
Fichero fuente
10_LIMITS/01-NO-CONSTA-REGISTER.md
Sección
NO_CONSTA / CODE_PATH_ABSENT
Digest del fichero
e6b1aaf20601469e522378bd81c9b0037e41f98dac095147747dae337054a700
Cita literal
| Custodia externa de Stage-0/pins | `NO_CONSTA` |

Published as NO_CONSTA. This is a documented absence, not a defect being hidden.

NO_CONSTA

No existe una API de Verify alojada. La API de este sitio es un contrato publicado, no un servicio en funcionamiento.

NC No consta: registrado como no establecido De dónde sale esto
Fichero fuente
10_LIMITS/01-NO-CONSTA-REGISTER.md
Sección
NO_CONSTA / CODE_PATH_ABSENT
Digest del fichero
e6b1aaf20601469e522378bd81c9b0037e41f98dac095147747dae337054a700
Cita literal
| Production deployment | `NO_CONSTA` |

No backend was built and no endpoint was deployed by this build. The OpenAPI document is labelled SPEC throughout.

SOLO DESARROLLO

La suite de tests de referencia pasa en este espacio de trabajo. Eso acredita desarrollo, no certificación independiente.

V Verificado contra los bytes de la fuente De dónde sale esto
Fichero fuente
00_START_HERE/02-CURRENT-TRUTH.md
Sección
Evidencia
Digest del fichero
289ae963be25b5a563e29a88c29b0811564a1b96c287208755ad07013a2a6d62
Cita literal
Los tests builder-side acreditan desarrollo. La certificación independiente permanece separada.

108 of 108 tests were reproduced locally against the sealed snapshot. The result is recorded as a builder-side run, not an audit.

Cómo se registra aquí un estado
01 Reproducido, no supuesto

Este build reprodujo la suite de tests de referencia AC7 contra el snapshot sellado: 108 de 108 tests pasaron. Eso acredita desarrollo en este espacio de trabajo. No es, ni se presenta como, una auditoría independiente.

02 El mecanismo

Cómo se registra aquí un límite.

Cómo funciona esto

  1. 01

    Se nombra el objeto, no se describe vagamente

    Custodia de claves, tiempo de confianza, resistencia a rollback — cada límite trata de una cosa concreta, no es un descargo general.

  2. 02

    Se cita una fuente, con su digest

    Cada línea se abre para mostrar el fichero exacto de la fuente sellada del que sale, su digest, y una cita que el build verificó que está ahí.

  3. 03

    Se clasifica según cómo se sabe

    Verificado contra los bytes, reportado, inferido, o no consta. Un hueco conserva su propia etiqueta en lugar de tomar prestada una más fuerte.

  4. 04

    El build se niega a publicar un claim que haya derivado

    Si una cita ya no aparece en su fichero fuente, la generación falla y no se publica nada. Un límite no puede dejar de ser cierto en silencio.

Paso a paso

  1. Elige cualquier línea de abajo y abre "De dónde sale esto".

    Verás una ruta de fichero, un digest, y una cita en el idioma original de la fuente.

    Eso significa el límite no es una opinión nuestra. Es lo que registra el propio material fuente.

  2. Mira la letra del recuadro pequeño — V, R, I o NC.

    Verás cómo se sabe esa afirmación.

    Eso significa V se comprobó contra los bytes. NC significa que nadie lo ha establecido, y lo decimos en lugar de suponerlo.

  3. Compara esta página con las etiquetas de madurez del resto del sitio.

    Verás el mismo vocabulario: IMPLEMENTED, DEMO, REFERENCE, SPEC, PLANNED, NO_CONSTA.

    Eso significa una sola escala de honestidad en todo el producto, no una más blanda para el marketing.