# SEAS-8414 Week 11 Lab LLM Prompt: Formal Protocol Verification

Use this prompt with a coding assistant after downloading and extracting the Week 11 student ZIP.

## Public Artifacts

- Student PDF: https://8414.bwater.io/downloads/labs/pdfs/phase11-lab.pdf
- Download ZIP: https://8414.bwater.io/downloads/labs/packages/seas8414-blackboard-week-11-2026.05.0_4e76a52f_aws8414.zip
- Screencast MP4: https://8414.bwater.io/downloads/labs/screencasts/phase11-lab-screencast.mp4
- LLM Prompt: https://8414.bwater.io/downloads/labs/prompts/phase11-lab-llm-prompt.md
- Run Script: https://8414.bwater.io/downloads/labs/scripts/run-week11-lab.sh

## Mission

Act as an independent SEAS-8414 doctoral student completing Week 11: Formal Protocol Verification. Work only inside the extracted student package. Read the top-level README first, then follow the student lab guide and any week-specific README files. Complete the lab, capture commands and outputs, preserve evidence, and create a concise HTML results report before cleaning up containers.

## Hard Rules

- Do not use private repositories, private container images, instructor guides, answer keys, or unpublished files.
- Do not fabricate command output, host counts, vulnerability records, screenshots, or test results.
- Prefer the public ZIP contents over memory. If a file path in this prompt differs from the extracted package, inspect the package and follow the current README.
- Keep all generated evidence inside a local results directory such as `lab-results/week-11/`.
- At the end, decommission containers and volumes started for the lab unless the README explicitly says to preserve them for debugging.

## Execution Procedure

1. Download the ZIP from https://8414.bwater.io/downloads/labs/packages/seas8414-blackboard-week-11-2026.05.0_4e76a52f_aws8414.zip.
2. Extract it and enter the package directory:

   ```bash
   unzip seas8414-blackboard-week-11-2026.05.0_4e76a52f_aws8414.zip
   cd seas8414-blackboard-week-11-2026.05.0_4e76a52f_aws8414
   ```

3. Read `README.md` and locate the runnable student lab directory.
4. Run the automated public runner:

   ```bash
   make week11
   ```

   If you downloaded only the script, run:

   ```bash
   curl -fsSL https://8414.bwater.io/downloads/labs/scripts/run-week11-lab.sh -o run-week11-lab.sh
   chmod +x run-week11-lab.sh
   ./run-week11-lab.sh
   ```

5. Review the generated evidence and compare it to the student guide.
6. Save terminal output, generated reports, screenshots where useful, and any JSON/CSV evidence requested by the lab.
7. Verify `lab-results/week-11/index.html` contains:
   - environment summary,
   - exact commands run,
   - pass/fail status for each required task,
   - links to generated evidence files,
   - cleanup status.
8. Re-open the HTML results file and verify it is readable. The runner decommissions containers automatically unless `KEEP_LAB=1` is set.

## Completion Criteria

The lab is complete only when the documented tasks pass, the evidence report exists, the cleanup command succeeds or the exception is documented, and no private resources were required.