Skip to content

docs: assignment-authoring + grading-types guides for instructors - #20

Merged
agiacalone merged 3 commits into
mainfrom
feat/assignment-authoring-guide
Jun 28, 2026
Merged

docs: assignment-authoring + grading-types guides for instructors#20
agiacalone merged 3 commits into
mainfrom
feat/assignment-authoring-guide

Conversation

@agiacalone

Copy link
Copy Markdown
Owner

What

Stands up the assignment-authoring guide for lectern, plus a new instructor's selection guide for the grading types. Three commits:

  1. docs/assignment-authoring.md — the generic graders'-contract procedure for any coding assignment (student-facing spec + rubric/skill + grading-mechanism choice + integrity patterns + academic-use/IP posture; Pokémon-malware as the worked example).
  2. Divergence + per-student individualization integrity patterns added to that guide.
  3. docs/grading-types.md — a plain-language, use-case-driven guide to choosing a grading type, written for CS faculty without a security/OS background: decision tree, per-type use when / don't use when, worked CECS examples, authoring entry points, a cheat sheet, and honest maturity.

Layering

grading-types.md is the instructor which-do-I-pick layer. It points to oracle's docs/grading-model.md for mechanics and keeps the deep specialist docs (gradebox.md, exploit-verification.md, ADDING_AN_ASSIGNMENT.md, COMPLIANCE.md) linked as "dig deeper" for OS/computer-security depth — nothing dumbed down, an accessible top added.

Cross-links

  • SKILL.md (Authoring assignments) → start at grading-types.md
  • assignment-authoring.md Step 0 + See also → grading-types.md and oracle grading-model.md

Maturity (kept honest)

Oracle verify-by-proof = in production · gradebox code-running = built & stress-tested · exploit-verification = validated end-to-end · binary-artifact/ROM = foundation merged, full grader in design · manual rubrics = in production.

🤖 Generated with Claude Code

https://claude.ai/code/session_015cY2osrcunEXb5a8xtTy2V

agiacalone and others added 3 commits June 28, 2026 10:57
Official lectern guidance on how to author a coding assignment so it is
gradeable the same disciplined way every time: a student-facing spec, an
ISA rubric/skill, and an automated grading path wherever a deliverable is
machine-checkable, with one reconciled point split.

Covers all three grading mechanisms — gradebox (sandbox/runnable),
oracle (verify-by-proof, receiving-end contract + course-token CI),
manual — plus academic-integrity authoring patterns (forcing
functions/canaries, hash forcing, dynamic_flag, flag-don't-deduct) and
the academic-use/IP posture (private images for third-party assets,
source-available tooling licensing). Generic; Pokémon-malware lab as the
worked example. Linked from SKILL.md.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_015cY2osrcunEXb5a8xtTy2V
Enrich the academic-integrity authoring patterns: significant base
divergence (Super Star Trek technique) and per-student individualized
artifacts (exam per-student-serial pattern applied to labs; grader
regenerates from bound id, trusts nothing in the repo).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_015cY2osrcunEXb5a8xtTy2V
… type

A plain-language, use-case-driven selection guide for instructors and
ISAs: a decision tree plus per-type 'use when / don't use when', worked
CECS examples, authoring entry points, and honest maturity. Written for
CS faculty without a security/OS background; points to oracle's
docs/grading-model.md for mechanics and keeps the deep specialist docs
linked as 'dig deeper' for OS/computer-security depth.

Cross-linked from SKILL.md (Authoring assignments) and from
assignment-authoring.md Step 0 + See also.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_015cY2osrcunEXb5a8xtTy2V
@agiacalone
agiacalone merged commit 9aa34ca into main Jun 28, 2026
4 checks passed
@agiacalone
agiacalone deleted the feat/assignment-authoring-guide branch June 28, 2026 19:25
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