MECHANISM · TOOLS · CORE

Workspace Tools

Expose file, command, and edit effects through explicit, inspectable tool boundaries.

1 lessons0 agent snapshots0 experiments

toolsworkspace-toolsproblem → policy → evidence

L0Intuitionpartial

L1Buildcomplete

L2Engineeringpartial

L3Architecturemissing

L4Researchmissing

DEPENDENCY GRAPH · READER PATH

What feeds it, and what does it unlock?

Arrows show learning and design dependencies, not runtime data flow. Follow any node to continue through the Atlas.

Prerequisites

tool-dispatchTool Dispatch

workspace-toolsWorkspace ToolsCurrent research boundary

Unlocks

checkpoint-rollbackCheckpoint, Diff, and Rollback path-boundaryWorkspace Path Boundary

Bilingual deep dive missing

Expose file, command, and edit effects through explicit, inspectable tool boundaries.

The structured record is in the Atlas, but the L0–L4 article has not passed content review.

AGENT MAPPING · EVIDENCE ONLY

Snapshot implementations

An implementation enters the map only when both a snapshot and claims exist; unknowns remain visible.

UNKNOWN · EVIDENCE GAPClaude Code

No implementation currently clears the Snapshot + Claim threshold; this is not a claim that the product lacks the capability.

Inspect coverage boundary →

UNKNOWN · EVIDENCE GAPCodex

No implementation currently clears the Snapshot + Claim threshold; this is not a claim that the product lacks the capability.

Inspect coverage boundary →

UNKNOWN · EVIDENCE GAPGrok Build

No implementation currently clears the Snapshot + Claim threshold; this is not a claim that the product lacks the capability.

Inspect coverage boundary →

UNKNOWN · EVIDENCE GAPOpenCode

No implementation currently clears the Snapshot + Claim threshold; this is not a claim that the product lacks the capability.

Inspect coverage boundary →

UNKNOWN · EVIDENCE GAPPi

No implementation currently clears the Snapshot + Claim threshold; this is not a claim that the product lacks the capability.

Inspect coverage boundary →

UNKNOWN · EVIDENCE GAPReasonix

No implementation currently clears the Snapshot + Claim threshold; this is not a claim that the product lacks the capability.

Inspect coverage boundary →

UNKNOWN · EVIDENCE GAPReference Harness

No implementation currently clears the Snapshot + Claim threshold; this is not a claim that the product lacks the capability.

Inspect coverage boundary →

No reviewed Agent claims

The teaching-harness reference does not automatically become an architectural claim about any vendor agent.

EXPERIMENTS · EXERCISES

What has actually been tested?

Formal experiments are separate from course exercises. Exercises can validate the reference implementation but cannot replace Native evidence from a real agent.

Formal experiment · not registered

No experiment record means untested, not passed. The course checks below cover only the deterministic reference harness.

s04-workspace-toolsobserve

Verify the workspace read

The Golden Trace contains only a fixture-relative path and a clean result.

python3 -m curriculum.golden verify s04-workspace-tools

s04-workspace-toolsmodify

Challenge the path boundary

A ../ escape is rejected before any filesystem operation occurs.

python3 -m unittest curriculum.tests.test_vertical_slice.VerticalSliceTests.test_workspace_rejects_escape -v

OPEN QUESTIONS · L4

01

Which effect types need atomic checkpoints before execution?