Plectis
This page

Component · spec & evidence

Trace, Code-Map & Scheduling Engines Bundle

Runs fifteen trace, code-map, and scheduling engines on test data, blocking truth overclaims.

Contract

Does This bundle imports the Set-7 source engines as exact copied source bodies plus deterministic public exercises. It exposes fifteen JS, TS, and Python engine bodies for trace parsing, code-map layout, DAG scheduling, source indexing, patch validation, hermetic clean-clone execution, robust numeric scoring, personalized PageRank routing, and regression-test selection, with negative cases that prevent launch, private-system, semantic-truth, or test-sufficiency overclaims.

Scope limit It validates only a public source-open bundle and bounded exercises; it is not live source authority, whole-system equivalence, semantic truth, investment-related actions, complete sandbox proof, selected-test sufficiency proof, public sharing, or launch-scope decision.

Run

Quick probe
microcosm batch7-macro-engines-capsule run --input fixtures/first_wave/batch7_macro_engines_capsule/input --out /tmp/plectis-public-runs/batch7_macro_engines_capsule
Validator command
microcosm batch7-macro-engines-capsule run --input fixtures/first_wave/batch7_macro_engines_capsule/input --out receipts/first_wave/batch7_macro_engines_capsule --acceptance-out receipts/acceptance/first_wave/batch7_macro_engines_capsule_fixture_acceptance.json

Evidence

ClassVerified source importevidence 5/5Copied source body

source intakeprovenancedrift-control

Source

Source Design note · Source

Map Show on the map

Paper module

Paper module Set 7 Source Engines Bundle

Set 7 Source Engines Bundle imports source engine bodies and exercises trace, graph, scheduling, source-index, patch, numeric, rank, and regression-selection invariants.