# Agentic Atlas: synthetic practice labs
Version 1.0. Everything in these labs is invented classroom material, not a real policy, employer record, benchmark result or implementation claim. No account, model service, paid software or spending is required. Work with the linked text, JSON and CSV materials; they may also be copied to paper.

## Start here
Choose a worksheet below, then open its student materials. Attempt the work before opening the instructor answers. The linked materials include the synthetic sources, malformed inputs, worksheets and reference answers. Approximate teaching plan: 30–50 minutes per lab; split recovery across two sessions. Timing is a planning estimate, not measured learner data.

1. [Coverage lab worksheet](01-coverage/WORKSHEET.md): twenty documents, exactly five hidden exceptions, two physically missing appendices, one simulated unreadable table, and a contradiction.
2. [Knowledge lab worksheet](02-knowledge/WORKSHEET.md): concept identity, typed graph, retrieval, revision and provenance.
3. [Recovery lab worksheet](03-recovery/WORKSHEET.md): complete exhibition packet, approved and altered drafts, uncertain save and four separate observation branches.
4. [Language lab worksheet](04-language/WORKSHEET.md): six accepted and six rejected strings, two withheld combinations, and missing/stale/ready operand worlds.
5. [Probability lab worksheet](05-probability/WORKSHEET.md): twenty proposals with frozen forecasts and rubric, 400 case-mix records, posterior arithmetic and twelve-step feedback trajectories.
6. [Verification lab worksheet](06-verification/WORKSHEET.md): seven-record loop with two unreadables, broken trace, ten grid certificate challenges and bounded exhaustive checks.

## Compare your work
Read the reference answers after attempting the worksheet. Check the supplied JSON and CSV records by hand and retain your intermediate calculations. The reference fixture arithmetic, syntax and invariants were mechanically checked before publication; this does not establish learner performance.

## Assessment and accessibility
Retain prediction, intermediate trace, evidence locator, justified result and limitation. Award 0–2 points each: absent/incorrect; partial or nominal-only; correct with supplied failure case. Unresolved is a correct answer where evidence is unavailable. Grade support and preservation independently of polished prose. Accept equivalent well-supported wording.

All diagrams have coordinate or edge-list equivalents; no visual-only decoding is required. The unreadable fixture has an explicit accessible marker. CSV worksheets may be copied to paper. Separate student and instructor folders enable a partner to distribute inputs without first revealing hidden truth. This is not a secure exam system.

## Claims and limits
Use trial-record.csv to record actual classroom outcomes; blank cells are deliberately not invented observations. Never transfer the synthetic rates to a real application. Review keys are valid under the explicit toy rubrics only. The embedded hostile sentence is inert data and must never be treated as an instruction. No protected source folders or external services are used.

## Student materials and reference answers
Complete the worksheet before opening its instructor answers.

### Coverage

Student materials:

- [Coverage student: documents/D01-appendix.txt](01-coverage/student/documents/D01-appendix.txt)
- [Coverage student: documents/D01-body.txt](01-coverage/student/documents/D01-body.txt)
- [Coverage student: documents/D02-appendix.txt](01-coverage/student/documents/D02-appendix.txt)
- [Coverage student: documents/D02-body.txt](01-coverage/student/documents/D02-body.txt)
- [Coverage student: documents/D03-appendix.txt](01-coverage/student/documents/D03-appendix.txt)
- [Coverage student: documents/D03-body.txt](01-coverage/student/documents/D03-body.txt)
- [Coverage student: documents/D04-appendix.txt](01-coverage/student/documents/D04-appendix.txt)
- [Coverage student: documents/D04-body.txt](01-coverage/student/documents/D04-body.txt)
- [Coverage student: documents/D05-appendix.txt](01-coverage/student/documents/D05-appendix.txt)
- [Coverage student: documents/D05-body.txt](01-coverage/student/documents/D05-body.txt)
- [Coverage student: documents/D06-appendix.txt](01-coverage/student/documents/D06-appendix.txt)
- [Coverage student: documents/D06-body.txt](01-coverage/student/documents/D06-body.txt)
- [Coverage student: documents/D07-body.txt](01-coverage/student/documents/D07-body.txt)
- [Coverage student: documents/D08-appendix.txt](01-coverage/student/documents/D08-appendix.txt)
- [Coverage student: documents/D08-body.txt](01-coverage/student/documents/D08-body.txt)
- [Coverage student: documents/D09-appendix.txt](01-coverage/student/documents/D09-appendix.txt)
- [Coverage student: documents/D09-body.txt](01-coverage/student/documents/D09-body.txt)
- [Coverage student: documents/D10-appendix.txt](01-coverage/student/documents/D10-appendix.txt)
- [Coverage student: documents/D10-body.txt](01-coverage/student/documents/D10-body.txt)
- [Coverage student: documents/D11-appendix.txt](01-coverage/student/documents/D11-appendix.txt)
- [Coverage student: documents/D11-body.txt](01-coverage/student/documents/D11-body.txt)
- [Coverage student: documents/D12-appendix.txt](01-coverage/student/documents/D12-appendix.txt)
- [Coverage student: documents/D12-body.txt](01-coverage/student/documents/D12-body.txt)
- [Coverage student: documents/D13-appendix.txt](01-coverage/student/documents/D13-appendix.txt)
- [Coverage student: documents/D13-body.txt](01-coverage/student/documents/D13-body.txt)
- [Coverage student: documents/D14-body.txt](01-coverage/student/documents/D14-body.txt)
- [Coverage student: documents/D15-appendix.txt](01-coverage/student/documents/D15-appendix.txt)
- [Coverage student: documents/D15-body.txt](01-coverage/student/documents/D15-body.txt)
- [Coverage student: documents/D16-appendix.txt](01-coverage/student/documents/D16-appendix.txt)
- [Coverage student: documents/D16-body.txt](01-coverage/student/documents/D16-body.txt)
- [Coverage student: documents/D17-appendix.txt](01-coverage/student/documents/D17-appendix.txt)
- [Coverage student: documents/D17-body.txt](01-coverage/student/documents/D17-body.txt)
- [Coverage student: documents/D18-appendix.txt](01-coverage/student/documents/D18-appendix.txt)
- [Coverage student: documents/D18-body.txt](01-coverage/student/documents/D18-body.txt)
- [Coverage student: documents/D19-appendix.txt](01-coverage/student/documents/D19-appendix.txt)
- [Coverage student: documents/D19-body.txt](01-coverage/student/documents/D19-body.txt)
- [Coverage student: documents/D20-appendix.txt](01-coverage/student/documents/D20-appendix.txt)
- [Coverage student: documents/D20-body.txt](01-coverage/student/documents/D20-body.txt)
- [Coverage student: manifest.csv](01-coverage/student/manifest.csv)
- [Coverage student: search-output.csv](01-coverage/student/search-output.csv)

Reference answers:

- [Coverage instructor: answer-key.json](01-coverage/instructor/answer-key.json)

### Knowledge

Student materials:

- [Knowledge student: concepts.json](02-knowledge/student/concepts.json)
- [Knowledge student: provenance.json](02-knowledge/student/provenance.json)
- [Knowledge student: relations.csv](02-knowledge/student/relations.csv)
- [Knowledge student: retrieval/R01.txt](02-knowledge/student/retrieval/R01.txt)
- [Knowledge student: retrieval/R02.txt](02-knowledge/student/retrieval/R02.txt)
- [Knowledge student: retrieval/R03.txt](02-knowledge/student/retrieval/R03.txt)
- [Knowledge student: retrieval/R04.txt](02-knowledge/student/retrieval/R04.txt)
- [Knowledge student: retrieval/R05.txt](02-knowledge/student/retrieval/R05.txt)
- [Knowledge student: retrieval/R06.txt](02-knowledge/student/retrieval/R06.txt)
- [Knowledge student: retrieval/R07.txt](02-knowledge/student/retrieval/R07.txt)
- [Knowledge student: retrieval/R08.txt](02-knowledge/student/retrieval/R08.txt)
- [Knowledge student: retrieval/R09.txt](02-knowledge/student/retrieval/R09.txt)
- [Knowledge student: retrieval/R10.txt](02-knowledge/student/retrieval/R10.txt)
- [Knowledge student: retrieval-runs.json](02-knowledge/student/retrieval-runs.json)

Reference answers:

- [Knowledge instructor: answer-key.json](02-knowledge/instructor/answer-key.json)

### Recovery

Student materials:

- [Recovery student: D3.txt](03-recovery/student/D3.txt)
- [Recovery student: D4.txt](03-recovery/student/D4.txt)
- [Recovery student: approval.json](03-recovery/student/approval.json)
- [Recovery student: claims-worksheet.csv](03-recovery/student/claims-worksheet.csv)
- [Recovery student: distributed-events.json](03-recovery/student/distributed-events.json)
- [Recovery student: events.json](03-recovery/student/events.json)
- [Recovery student: flawed-candidate.txt](03-recovery/student/flawed-candidate.txt)
- [Recovery student: inert-source.txt](03-recovery/student/inert-source.txt)
- [Recovery student: observation-cards.json](03-recovery/student/observation-cards.json)
- [Recovery student: preservation-marker.txt](03-recovery/student/preservation-marker.txt)
- [Recovery student: source-register.csv](03-recovery/student/source-register.csv)
- [Recovery student: sources/FAQ-F1.txt](03-recovery/student/sources/FAQ-F1.txt)
- [Recovery student: sources/FAQ-F2.txt](03-recovery/student/sources/FAQ-F2.txt)
- [Recovery student: sources/NOTE-N1.txt](03-recovery/student/sources/NOTE-N1.txt)
- [Recovery student: sources/REQUEST-Q1.txt](03-recovery/student/sources/REQUEST-Q1.txt)
- [Recovery student: sources/RULES-R2.txt](03-recovery/student/sources/RULES-R2.txt)
- [Recovery student: speech-acts.json](03-recovery/student/speech-acts.json)

Reference answers:

- [Recovery instructor: answer-key.json](03-recovery/instructor/answer-key.json)
- [Recovery instructor: logical-clock-key.json](03-recovery/instructor/logical-clock-key.json)

### Language

Student materials:

- [Language student: cases.json](04-language/student/cases.json)
- [Language student: documents/A.txt](04-language/student/documents/A.txt)
- [Language student: documents/B.txt](04-language/student/documents/B.txt)
- [Language student: documents/C.txt](04-language/student/documents/C.txt)

Reference answers:

- [Language instructor: answer-key.json](04-language/instructor/answer-key.json)

### Probability

Student materials:

- [Probability student: audit-protocol.json](05-probability/student/audit-protocol.json)
- [Probability student: case-mix.csv](05-probability/student/case-mix.csv)
- [Probability student: control-settings.json](05-probability/student/control-settings.json)
- [Probability student: taxonomy-proposals.csv](05-probability/student/taxonomy-proposals.csv)

Reference answers:

- [Probability instructor: answer-key.json](05-probability/instructor/answer-key.json)
- [Probability instructor: control-trajectories.csv](05-probability/instructor/control-trajectories.csv)
- [Probability instructor: review-labels.csv](05-probability/instructor/review-labels.csv)

### Verification

Student materials:

- [Verification student: certificates.json](06-verification/student/certificates.json)
- [Verification student: loop-traces.json](06-verification/student/loop-traces.json)
- [Verification student: review-inputs.json](06-verification/student/review-inputs.json)

Reference answers:

- [Verification instructor: answer-key.json](06-verification/instructor/answer-key.json)
