Plectis
This page

Area · 12 components

Architecture & navigation

The core primitives, pattern rules, and routing that give the system its shape.

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.

Pattern Binding ContractChecks a real pattern catalog for digest, cross-reference, and dependency-cycle integrity.5/5

Job Checks a real pattern catalog for digest, cross-reference, and dependency-cycle integrity.

Scope limit It validates only the declared public pattern-binding/route-readiness contract; it does not certify the private pattern ledger, public launch or hosted-public posture, public sharing, external model access, non-public data equivalence, or whole-system correctness, and it does not turn any mined pattern row into a standalone public leaf (selection stays component-first and fixture-bound).

EvidenceContract validatorevidence 5/5Import validation

architecturenavigationdoctrine

Pattern Assimilation StepVerifies each landed task filed exactly one learning record naming what it changed.5/5

Job Verifies each landed task filed exactly one learning record naming what it changed.

Scope limit It validates only the declared public completion contract over synthetic fixture data; it does not ingest private lessons, mutate live ledgers, promote global doctrine, include launch operations or public sharing, make external model access, claim non-public data equivalence, or certify public runtime behavior.

EvidenceContract validatorevidence 5/5Import validation

architecturenavigationdoctrine

Executable Doctrine GrammarChecks that example standards files declare their purpose, rule, records, and what they do not claim.5/5

Job Checks that example standards files declare their purpose, rule, records, and what they do not claim.

Scope limit It validates an exported public executable-grammar metabolism bundle with exact copied-body digests and redacted result records, plus fixture regressions for standards/paper-module shape. It does not publish source doctrine bodies in result records, prove doctrine completeness, export a private standards engine, authorize later components, or claim external model access, non-public data equivalence, launch-scope decision, or whole-system correctness.

EvidenceContract validatorevidence 5/5Import validation

architecturenavigationdoctrine

Navigation Hologram Route PlaneAudits a folder's navigation so browse rows never pose as the source of truth.5/5

Job Audits a folder's navigation so browse rows never pose as the source of truth.

Scope limit It validates only the declared public toy route-plane contract and its regression fixtures (plus exact copied navigation source modules in the bundle path); it does not establish live route freshness, grant source authority, authorize any later component, run any provider/live-kernel call, or certify the whole wave.

EvidenceContract validatorevidence 5/5Import validation

agent-entryarchitecturenavigation

Standards Meta DiagnosticsConfirms every accepted part still ties to a written rule, a run command, and a saved proof.5/5

Job Confirms every accepted part still ties to a written rule, a run command, and a saved proof.

Scope limit It validates only the declared public coverage contract and never becomes source authority for the registries, mutates source, exposes private material, or authorizes launch, external model access, or any whole-system-correctness claim.

EvidenceContract validatorevidence 5/5Import validation

agent-entryarchitecturenavigation

Voice To Doctrine Self Improvement LoopVerifies each lesson changed a named owner page with evidence before the loop closes.5/5

Job Verifies each lesson changed a named owner page with evidence before the loop closes.

Scope limit It validates only the declared contract of the loop on fixtures; it does not export source notes or private bodies, grant source/doctrine edits, global-promotion, live work log mutation, or publishing-scope decision, make external model access, prove correctness, or claim whole-system equivalence.

EvidenceContract validatorevidence 5/5Import validation

agent-entryarchitecturenavigation

Cognitive Operator RegistryChecks the catalog of named thinking-moves so each is fully described and backed by evidence.5/5

Job Checks the catalog of named thinking-moves so each is fully described and backed by evidence.

Scope limit It validates only the declared public registry contract and copied source bodies; it never becomes registry source authority, mutates operators, proves operator correctness, exposes source notes, or authorizes launch, external model access, or any whole-system-correctness claim.

EvidenceContract validatorevidence 5/5Import validation

architecturenavigationdoctrine

Routing Anti Patterns RegistryIndexes the navigation mistakes agents repeat and guards the public list.5/5

Job Indexes the navigation mistakes agents repeat and guards the public list.

Scope limit It validates only the declared public routing anti-pattern registry contract and copied source body; it never becomes route source authority, mutates routes, exposes private routing notes, calls providers, authorizes launch, or proves whole-system correctness.

EvidenceContract validatorevidence 5/5Import validation

architecturenavigationdoctrine

Doctrine Fact Claim AuditChecks that public fact rows state the right count and point at live, anchored code.5/5

Job Checks that public fact rows state the right count and point at live, anchored code.

Scope limit fact assertion, code-loci, and DAG fixture truth gate only; it is not a comprehension engine and does not establish a minimum read graph

EvidenceContract validatorevidence 5/5Import validation

architecturenavigationdoctrine

Self Ignorance Coverage LedgerCompares expected against built entities to report known coverage gaps.3/5

Job Compares expected against built entities to report known coverage gaps.

Scope limit known Kind Atlas coverage debt projection only; it does not claim literal unknown-unknown omniscience or absence proof

EvidenceComputed projectionevidence 3/5Source-faithful refactor

architecturenavigationdoctrine

Navigation Fitness BenchmarkMeasures a navigation result against its target for recall, precision, and speed on public examples.4/5Runs real tools

Job Measures a navigation result against its target for recall, precision, and speed on public examples.

Scope limit The bundle demonstrates a route-packet evaluator for expected stable ids, forbidden first routes, and latency budgets. It is not a live private kernel run, not an embedding benchmark, not a universal navigation benchmark, and not launch-scope decision.

EvidenceBounded runtime computationevidence 4/5Real runtime result

navigationevaluationarchitecture

Reference Knowledge RoutingRuns a keyword-overlap match that ranks catalog entries, shows why each matched, and admits when none do.4/5Runs real tools

Job Runs a keyword-overlap match that ranks catalog entries, shows why each matched, and admits when none do.

Scope limit The bundle demonstrates explainable tiered weighted-token retrieval over a sanitized reference catalog. It is not BM25, TF-IDF, embedding search, repository cloning, license authority, private reference corpus authority, or launch-scope decision.

EvidenceBounded runtime computationevidence 4/5Real runtime result

navigationarchitecture

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.