Plectis
This page

Area · 2 components

Entry & orientation

How a newcomer first meets Plectis and follows a short guided path through it.

Components

Each card below is one component. It states what the component does, the evidence behind that claim, and its scope limit: the line where the claim stops and nothing further is proven.

Cold Reader Route MapVerifies the first-run guided path so every step names a real command, doc, and evidence.5/5

Job Verifies the first-run guided path so every step names a real command, doc, and evidence.

Scope limit It is projection-only metadata that validates the declared public route contract; it is not route registry control and excludes source-file changes, external model access, launch/public sharing, financial decisions, non-public data equivalence, or whole-system correctness.

Public Reveal WalkthroughBinds the first-time reader tour to evidence so each count leads to a source.4/5Runs real tools

Job Binds the first-time reader tour to evidence so each count leads to a source.

Scope limit It authorizes only bounded public reveal runtime behavior and a digest-verified public body-import witness; it excludes launch, hosted deployment, public sharing, recipient work, external model access, secret export, non-public data equivalence, Lean/Lake execution, whole-system correctness, or general product authority.

EvidenceBounded runtime computationevidence 4/5Real runtime result

getting-startedinteresting-partsevaluation

Source refs

Built from public source refs, with each input path recorded for provenance.

Each component has a stable public source path with commands, source links, and its supported scope.