Skip to content

TP · Capturas de pantalla reales de cada ejecución y auditoría HCD del informe - #53

Merged
R0SEWT merged 4 commits into
developfrom
feature/tp-capturas-reales
Oct 5, 2026
Merged

R0SEWT merged 4 commits into
developfrom
feature/tp-capturas-reales

Conversation

@R0SEWT

@R0SEWT R0SEWT commented Oct 5, 2026 •

Copy link
Copy Markdown
Owner

Pedido de Rody en el grupo (04/10, 22:44–22:51): capturas de terminal como screenshot real, pruebas con -v, la tarjeta del README del perfil y una auditoría HCD antes de la versión final.

Capturas

  • tp/scripts/capturar_ejecuciones.sh abre kitty flotante en Hyprland, teclea cada comando, espera y fotografía la ventana con grim. recortar_captura.sh quita el fondo vacío al pie sin tocar el contenido.
  • Nuevas o rehechas: CLI secuencial y concurrente (con -progreso), pipeline, pytest -v (66), go vet + go test -race -count=1 -v sin -short en dos pantallas (núcleo ≈179 s y resto), make check, make verify, make mutante, pan -a -f -N termina, traza del deadlock, benchmark reducido y gh pr checks 50.
  • Se borran los img/*.txt de origen de las capturas renderizadas.

Auditoría HCD

  • Primera impresión (Lindgaard et al., 2006; Tractinsky et al., 2000): la tarjeta concurrente.png de Replace ChasquiFest card with concurrente R0SEWT#2 abre el Resumen.
  • Encontrabilidad para quien evalúa: tabla «Guía de lectura» tras el Resumen con cada criterio del Entregable 3, dónde está su evidencia y la página.
  • Ritmo de página: las figuras de captura pasan de [H] a [tbp] con alto acotado; desaparecen las medias páginas en blanco (págs. 26, 45–46 antes).

Verificación

  • El informe compila sin errores ni referencias rotas: 87 páginas.
  • Todas las capturas se revisaron una por una: comando visible, salida completa, sin pantalla de bloqueo.
  • tp/docs/video-guion.md actualizado a las figuras, tablas y páginas nuevas.

Summary by Sourcery

Actualiza el informe final para presentar evidencia visual auténtica y mejorar su auditabilidad, legibilidad y preparación para la sustentación.

New Features:

  • Añade capturas de pantalla reales de las ejecuciones de CLI, pruebas, benchmark, Spin y CI, incluyendo comandos visibles y salidas verbosas.
  • Incorpora al resumen del informe la tarjeta visual del README del perfil y una guía de lectura que enlaza los criterios de evaluación con su evidencia.

Bug Fixes:

  • Corrige la distribución y el espaciado de las figuras del informe para eliminar espacios en blanco y mejorar su legibilidad.

Enhancements:

  • Actualiza el guion del video con nuevos tiempos, demostraciones en vivo y referencias a las páginas y figuras revisadas.
  • Documenta la declaración de uso de IA y completa la información del video de sustentación en los anexos.
  • Sustituye las capturas terminales renderizadas desde archivos de texto por fotografías de ventanas de terminal y elimina esos archivos fuente.

Documentation:

  • Actualiza la documentación del informe y el guion de presentación para reflejar las nuevas capturas, figuras, tablas y páginas.

Tests:

  • Amplía la evidencia visible de las pruebas con ejecuciones verbosas de pytest y Go, incluyendo el detector de carreras y la suite completa dividida en capturas legibles.

Chores:

  • Añade un script para recortar únicamente el espacio vacío al pie de las capturas de terminal.

…de la terminal

El docente pide ver cada ejecución como captura de pantalla, y las pruebas con
-v para que se vea cada caso. capturar_ejecuciones.sh ahora abre una ventana de
kitty flotante en Hyprland, teclea el comando en el shell, espera a que termine
y la fotografía con grim; recortar_captura.sh quita el fondo vacío al pie. Se
suman la CLI con -progreso, pytest -v y go test -race -v completo en dos
pantallas (núcleo y resto), y se borran los .txt de origen, que ya no se usan.

Auditoría de diseño centrado en el lector:
- la tarjeta del README del perfil abre el Resumen, como primera impresión del
  resultado;
- una guía de lectura tras el Resumen ubica la evidencia de cada criterio del
  Entregable 3, con su página;
- las capturas flotan en vez de forzar [H], que dejaba medias páginas en blanco,
  y su alto queda acotado a la página.

El guion del video apunta a los números de figura, tabla y página nuevos.

@sourcery-ai sourcery-ai Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sorry @R0SEWT, you've used your own review budget of 250,000 diff characters for the last 7 days.

You can request another review in 3 days and 22 hours by commenting @sourcery-ai review. Upgrade to get a review now.

@sourcery-ai

sourcery-ai Bot commented Oct 5, 2026

Copy link
Copy Markdown

Reviewer's Guide

El PR sustituye las capturas terminales sintéticas por screenshots reales automatizados de todas las ejecuciones, incorpora una auditoría HCD orientada a la encontrabilidad y al ritmo visual del informe, y actualiza el guion del video para coincidir con la evidencia y paginación finales.

Sequence diagram for automated real terminal screenshots

sequenceDiagram
    participant Script as capturar_ejecuciones.sh
    participant Hyprland
    participant Kitty
    participant Shell
    participant Grim
    participant Crop as recortar_captura.sh
    participant Image as Informe img/

    Script->>Hyprland: abrir ventana de captura
    Hyprland->>Kitty: iniciar kitty flotante
    Script->>Kitty: send-text comando
    Kitty->>Shell: ejecutar comando
    Shell-->>Kitty: mostrar prompt y salida real
    Script->>Kitty: esperar finalización
    Script->>Grim: capturar ventana
    Grim->>Image: guardar PNG
    Script->>Crop: recortar_captura.sh PNG
    Crop-->>Image: conservar contenido y quitar fondo vacío
Loading

Flow diagram for evidence capture groups

flowchart LR
    Start["capturar_ejecuciones.sh"] --> CLI["CLI secuencial y concurrente"]
    Start --> Data["Pipeline y pytest -v"]
    Start --> Go["go vet y go test -race -v"]
    Start --> Spin["make check, verify, mutante y trazas Spin"]
    Start --> Bench["Benchmark reducido"]
    Start --> CI["gh pr checks 50"]
    CLI --> PNG["Screenshots reales PNG"]
    Data --> PNG
    Go --> PNG
    Spin --> PNG
    Bench --> PNG
    CI --> PNG
    PNG --> Trim["recortar_captura.sh"]
    Trim --> Report["Figuras del informe"]
Loading

Flow diagram for HCD audit improvements in the report

flowchart TD
    Report["Informe final"] --> First["Resumen con tarjeta concurrente"]
    Report --> Guide["Tabla Guía de lectura"]
    Report --> Figures["Capturas con figuras tbp y alto acotado"]
    First --> Impression["Mejor primera impresión"]
    Guide --> Findability["Evidencia y página por criterio"]
    Figures --> Rhythm["Menos espacios en blanco"]
    Impression --> Final["Informe de 87 páginas verificable"]
    Findability --> Final
    Rhythm --> Final
Loading

File-Level Changes

Change Details Files
Se reemplaza el renderizado desde archivos de texto por capturas reales de terminal para cada evidencia de ejecución.
  • Se automatiza la apertura de kitty en Hyprland, la ejecución de comandos, la espera de finalización y la captura con grim.
  • Se agregan capturas de CLI, pipeline, pruebas verbose, Go, Spin, benchmark y checks de CI.
  • Se incorpora recorte automático del espacio vacío inferior sin modificar el contenido de la captura.
  • Se eliminan los archivos de texto usados como origen de las capturas.
tp/scripts/capturar_ejecuciones.sh
tp/scripts/recortar_captura.sh
tp/informe/tp/img/cli-concurrente.txt
tp/informe/tp/img/cli-secuencial.txt
tp/informe/tp/img/ejec-benchmark.txt
tp/informe/tp/img/ejec-ci.txt
tp/informe/tp/img/ejec-go-test.txt
tp/informe/tp/img/ejec-pipeline.txt
tp/informe/tp/img/ejec-pytest.txt
tp/informe/tp/img/ejec-spin-check.txt
tp/informe/tp/img/ejec-spin-correcto.txt
tp/informe/tp/img/ejec-spin-mutante.txt
tp/informe/tp/img/ejec-spin-termina.txt
tp/informe/tp/img/ejec-traza-deadlock.txt
Se mejora la estructura y verificabilidad del informe final mediante una guía de lectura y evidencia visual más legible.
  • Se añade al Resumen una tarjeta del README del perfil y una tabla que mapea criterios de evaluación, evidencia y páginas.
  • Se actualizan referencias de figuras, tablas, secciones y páginas para reflejar el informe revisado.
  • Se cambian figuras de posicionamiento forzado a flotante y se limita su altura para evitar espacios en blanco.
  • Se separa la evidencia extensa de Go en capturas del núcleo y del resto de pruebas.
tp/informe/tp/secciones/01-resumen.tex
tp/informe/tp/secciones/05-limpieza.tex
tp/informe/tp/secciones/07-algoritmo-promela.tex
tp/informe/tp/secciones/08-implementacion-go.tex
tp/informe/tp/secciones/10-speedup.tex
tp/informe/tp/secciones/14-github.tex
tp/informe/tp/secciones/15-conclusiones.tex
tp/informe/tp/secciones/17-verificacion-formal.tex
tp/informe/tp/README.md
Se alinea el guion del video con la nueva paginación, las figuras y la demostración en vivo.
  • Se redistribuyen los intervalos de las tres partes y se actualizan sus responsables.
  • Se incorporan comandos CLI, pruebas con race detector y benchmark reducido al flujo de grabación.
  • Se actualizan páginas, números de figuras y tablas, además de las instrucciones de preparación.
tp/docs/video-guion.md

Tips and commands

Interacting with Sourcery

  • Trigger a new review: Comment @sourcery-ai review on the pull request.
  • Continue discussions: Reply directly to Sourcery's review comments.
  • Generate a GitHub issue from a review comment: Ask Sourcery to create an
    issue from a review comment by replying to it. You can also reply to a
    review comment with @sourcery-ai issue to create an issue from it.
  • Generate a pull request title: Write @sourcery-ai anywhere in the pull
    request title to generate a title at any time. You can also comment
    @sourcery-ai title on the pull request to (re-)generate the title at any time.
  • Generate a pull request summary: Write @sourcery-ai summary anywhere in
    the pull request body to generate a PR summary at any time exactly where you
    want it. You can also comment @sourcery-ai summary on the pull request to
    (re-)generate the summary at any time.
  • Generate reviewer's guide: Comment @sourcery-ai guide on the pull
    request to (re-)generate the reviewer's guide at any time.
  • Resolve all Sourcery comments: Comment @sourcery-ai resolve on the
    pull request to resolve all Sourcery comments. Useful if you've already
    addressed all the comments and don't want to see them anymore.
  • Dismiss all Sourcery reviews: Comment @sourcery-ai dismiss on the pull
    request to dismiss all existing Sourcery reviews. Especially useful if you
    want to start fresh with a new review - don't forget to comment
    @sourcery-ai review to trigger a new review!

Customizing Your Experience

Access your dashboard to:

  • Enable or disable review features such as the Sourcery-generated pull request
    summary, the reviewer's guide, and others.
  • Change the review language.
  • Add, remove or edit custom review instructions.
  • Adjust other review settings.

Getting Help

R0SEWT added 3 commits October 5, 2026 00:24
…n de uso de IA

Rody aceptó la versión final y pidió borrar las notas: se quitan las marcas
\verificar de su conclusión y de la tabla de uso de IA. La declaración del
Anexo C deja de afirmar que los commits llevan Co-Authored-By desde el 26/09
(solo hasta el 30/09; desde el 1/10 no se marcan) y dice que la conclusión de
Rody partió de un borrador redactado con Claude, que él revisó y aceptó.

Quedan las tres marcas del video en el Anexo A hasta tener el enlace.
…e del TP

Respondieron en el grupo el 5/10: Dayana usó ChatGPT y Julio lo usó para
código.
Carpeta pública «Video TB» de Google Drive que pasó Dayana el 5/10 a las
07:58; ahí queda el video unido de los tres. Sin marcas \pendiente en el
informe.
@R0SEWT
R0SEWT merged commit 58289cf into develop Oct 5, 2026
4 checks passed
@R0SEWT
R0SEWT deleted the feature/tp-capturas-reales branch October 5, 2026 13:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant