Module folder 

The unknown-folder mode of one evaluation: which folder level is in force, where each relative path is placed, and which command leaves wrote without naming a path (docs/design/unknown-folder-writes.md).

Engaged only when a harness does not say which folder the command runs in, and the command is classified at targets::UNKNOWN_WORKDIR. At reads nothing here changes a verdict. Above it:

• a relative path is placed in the workspace when its anchor value and use are ones the level approves (anchor::placement), and left in the unknown folder otherwise, where no write lands inside anything;
• a command leaf whose verdict is a write is approved only when that write is accounted for: it wrote a path it named (and that path was placed or refused on its own), it declares what it writes in its folder (writes_cwd, executor = "project"), or a command nested in it was accounted for. Anything else is refused, so a writer nobody has labelled fails closed.

Structs

Guard

Enums

Note

What the mode decided about one path or one command, for --explain.

Functions

enter

Put level in force for the guard’s lifetime and start a fresh record. Restored on drop.

is_unknown

Whether cwd is the unknown folder or a directory below it (cd sub from there).

judges_writes

Whether writes are being judged at all: a level above reads is in force.

level

The folder level in force, or None outside the mode.

notes

What this evaluation decided, in order, for --explain.