Plectis
This page

Component · spec & evidence

Source Projection Import Protocol

Gates private-to-public imports, accepting only files with matching fingerprints and sources.

Contract

Does This is the checkpoint that handles bringing material from the larger source project into the public Plectis folder. When someone proposes a set of files to import, it verifies each one: it only accepts material, and only when the destination file, a content fingerprint (to confirm the copy matches), a record of where it came from, and the supporting checks all line up. Anything held back as private or secret has to come with a written note saying so, and attempts to claim more authority than allowed are rejected. The record shows exactly what was imported, what was deliberately left out, and what was refused, so the public copy stays honest about its limits instead of quietly leaking private source or pretending to be more than it is.

Scope limit It authorizes only verified source body import with provenance and content-digest checks; it does not grant source authority, whole-system equivalence, launch, hosted deployment, public sharing, recipient work, provider or Lean/Lake execution, secret or private-source-body export, or any whole-system correctness claim.

Run

Command 
microcosm macro-projection-import-protocol plan --input examples/macro_projection_import_protocol/exported_projection_import_bundle

Evidence

ClassVerified source importevidence 5/5Copied source body

Links to Formal Math Readiness Gate, Agent Route Observability Runtime, Mission Transaction Work Spine, Navigation Hologram Route Plane, Pattern Binding Contract, Materials Lab-Safety Refusal Replay, Saturation Engines Bundle, Compliance Pipeline Bundle, Governance & Compiler Mechanisms Bundle, Live Source Drift Bundle, Proof / Control / Runtime Import Bundle, Authority Systems Source Bundle, Unsurfaced Source Primitives Bundle, Trace, Code-Map & Scheduling Engines Bundle, Demo Take Console Source Bundle, Oracle Sibling Source Bundle, Secondary Runtime Source Bundle, Audio Level RMS Port, Policy Engines Bundle, Backend & Governance Engines Bundle, Concurrency Mission Control, Engine Room Demo, Executable Doctrine Grammar

source intakeprovenancedrift-control

Source

Source Design note · Source

Map Show on the map

Index Open compact index card

Paper module

Paper module Source Projection Import Protocol

The public source-projection import protocol validates classified source-to-Microcosm projection cells, per-slice manifests, digest relations, omission result records, intake statuses, formal-math claim boundaries, and scope limits without claiming source or launch-scope decision.

Read the full write-up

Explained bypaper module Work Landing Control Spine
Back to Components index → Reference roster →