Plectis
This page

Paper module

Navigation Hologram Route Plane

The public navigation route-plane fixture validates bounded route projections, source-coupling gates, entry floors, affordance passports, and copied navigation source-module digests without treating browse rows as authority.

Contains 22 sections · 1 diagram · 6 references

The write-up

Readers trust whatever browse surface is nearest, so this validator checks that a navigation surface starts from one control entry and keeps every row a projection. Anyone who lands in a large codebase starts from whatever browse surface is nearest, treats that surface as the truth, and acts on a stale or partial view. The route plane is a validator that pushes back on this. It checks that a navigation surface starts from one control entry, that browse rows stay projections, and that no row is allowed to pose as the thing it describes.

It runs offline over fixtures and one exact copy of navigation source modules, emitting plain metadata-only result records that each state only what they checked. The component runs offline over fixture files and over one exact copy of navigation source modules. It never touches a live system. What it emits is a set of plain result records: a cluster summary, a selected card, a source-coupling result, a route lease, an entry-admission record, an affordance-selection record, and a code-architecture packet. Each record states what it checked and carries no source body text.

It is a rules check on a navigation surface, not a live router, a search index, or a source of navigation truth. It is not a live router, a search index, or a source of navigation truth. It is a check that a navigation surface obeys its own rules before a reader or agent trusts it.

Purpose

Why a browse row needs a coupling record

A browse row that speaks with its source's authority lets a stale view steer the next move, so the plane demands a coupling record before granting any authority. A loose navigation surface fails in a specific way. A browse row is a compressed view of some source, and if the row is allowed to speak with the source's authority, then a stale or mislabeled row silently steers the next move. The route plane treats every browse row as a projection and demands a coupling record before that projection gets any authority.

Source coupling is a SHA-256 fingerprint

Source coupling hashes the route rows with SHA-256 and denies authority when the fingerprint or row count disagrees with disk, recording a stale-but-current summary as an overclaim. Source coupling is a plain SHA-256 over the route rows. The manifest declares an expected fingerprint and an expected row count. If either disagrees with the rows on disk, the projection is denied current authority. A summary that claims to be current while its coupling is stale is recorded as an overclaim.

Refusals the fixture must keep catching

The plane forces first contact to the control entry, forbids dropping a required control field on compaction, and demotes anti-trigger affordances, each a named negative case. The other half is what the plane refuses. First contact must begin at the control entry, so a request that starts from a browse row is replaced with the entry route. Compaction of the entry packet may not drop a required control field. An affordance row whose passport carries an anti-trigger is demoted before similarity search can select it. Each of these is a named negative case the fixture must keep catching.

How it works

Two entry points, one discipline

Two entry points share the same discipline: run drives the fixture mode and run_route_plane_bundle drives the exported-bundle mode. The component has two entry points against the same discipline. run drives the fixture mode. run_route_plane_bundle drives the exported-bundle mode.

The run fixture-mode pipeline

run loads thirteen fixture inputs, scans for leakage, builds a toy option surface, and passes only when the scan is clean and every expected negative case fired. run loads thirteen fixture inputs, scans them for non-public-state leakage, builds a toy option surface with build_toy_option_surface (a cluster summary plus one selected card), then evaluates nine negative-case validators. It merges the negative cases each validator observed and computes the set of expected cases that went unobserved. The status is pass only when no expected case is missing and the non-public-state scan is clean. The fixture proves each guard still fires by requiring every expected negative case to actually appear.

The run_route_plane_bundle bundle-mode gate

run_route_plane_bundle loads nine bundle files, digests and secret-scans them, and passes only when a card was selected and every bundle validator finds nothing. run_route_plane_bundle loads nine bundle files, records a freshness basis and digest over them, scans them with the secret-exclusion scan, then runs the group of exported-bundle validators. Its status is pass only when the secret scan is clean, a card row was selected, no validator produced a finding, and the source-module, lease, entry, affordance, and code-architecture checks all pass.

FunctionRole
runFixture entry: builds the toy surface, runs the nine negative-case guards, requires every expected case to fire.
run_route_plane_bundleBundle entry: validates a copied route-plane bundle end to end and gates the pass on every component check.
validate_exported_route_rowsChecks each route row for an allowed surface role, an actionable command, no source-authority claim, and an omission record when the body is compressed; catches duplicate route ids and a missing card row.
validate_exported_source_couplingThe coupling gate: hashes the route rows and compares the fingerprint and row count against the manifest; denies authority on mismatch or stale status.
validate_source_module_manifestValidates the five copied source modules by SHA-256 digest and by required navigation anchors, and enforces the copied-body boundary.
write_receiptsWrites the result records atomically under public-root-relative paths, with a common envelope and no source body text.

Digest and anchor checks on copied modules

_stable_hash fingerprints the route rows, while validate_source_module_manifest matches each copied file's digest and anchors, rejects unsafe paths, and keeps bodies out of records. The coupling gate uses _stable_hash, a SHA-256 over the route rows serialized as canonical JSON. validate_source_module_manifest reads each copied file, requires its digest to match both the declared source and target digests, requires every declared navigation anchor to be present in the body, and requires the boundary flags body_copied=true and body_in_receipt=false. A target reference that is absolute or contains .. is rejected before any read. The body text is never written into a result record.

Diagram of the mechanism (9 steps).
Control entry firsta browse row that claims firstcontactis replaced with the entry routeControl entry first a browse row that claims first contact is replaced with the entry routeSource couplingSHA-256 over route rows vsmanifestfingerprint and row countSource coupling SHA-256 over route rows vs manifest fingerprint and row countRoute rowsallowed role, actionable command,no source-authority claim,omission record when compressedRoute rows allowed role, actionable command, no source-authority claim, omission record when compressedSource-module manifestfive copied bodiesdigest and required anchors,body never in the recordSource-module manifest five copied bodies digest and required anchors, body never in the recordEntry-packet floorrequired control fields survivecompactionEntry-packet floor required control fields survive compactionAffordance passportsanti-trigger rows demoted beforeselectionAffordance passports anti-trigger rows demoted before selectionCoupling current, all checks pass,card row selected?Coupling current, all checks pass, card row selected?metadata-only result recordscluster flag, card, coupling,route lease,entry admission, affordance,code-architecture packetmetadata-only result records cluster flag, card, coupling, route lease, entry admission, affordance, code-architecture packetBlockedstable error codes and findings,bodies redactedBlocked stable error codes and findings, bodies redacted
Diagram source & refs
flowchart TD Entry["Control entry first a browse row that claims first contact is replaced with the entry route"] Couple["Source coupling SHA-256 over route rows vs manifest fingerprint and row count"] Rows["Route rows allowed role, actionable command, no source-authority claim, omission record when compressed"] Modules["Source-module manifest five copied bodies digest and required anchors, body never in the record"] Floor["Entry-packet floor required control fields survive compaction"] Pass["Affordance passports anti-trigger rows demoted before selection"] Verdict["Coupling current, all checks pass, card row selected?"] Result records["metadata-only result records cluster flag, card, coupling, route lease, entry admission, affordance, code-architecture packet"] Blocked["Blocked stable error codes and findings, bodies redacted"] Entry --> Couple Couple --> Rows Rows --> Modules Modules --> Floor Floor --> Pass Pass --> Verdict Verdict --> Result records Verdict --> Blocked

Negative cases

Eight cases carrying nine error codes

Eight negative cases carry nine stable error codes, one case carrying two, and the fixture passes only when every code is observed. The fixture mode is defined by eight negative cases that carry nine stable error codes. One case carries two codes, which is why the counts differ. Every code below must be observed for the fixture to pass.

CaseError code
First contact starts from a drilldown projectionBANNED_FIRST_CONTACT_ROUTE
Source-coupling fingerprint is staleSOURCE_COUPLING_STALE
Compressed route card carries no omission recordMISSING_OMISSION_RECEIPT
ATLAS_PROJECTION_NOT_CONTROL_ENTRY
Route card leaks a private bodyROUTE_CARD_PRIVATE_BODY_LEAK
Route summary overclaims freshnessROUTE_SUMMARY_OVERCLAIMS_FRESHNESS
Two rows share a route idDUPLICATE_ROUTE_ID_CONFLICT
Entry admission drops a required control fieldENTRY_ADMISSION_CONTROL_FLOOR_DROPPED
An anti-trigger affordance is not demotedAFFORDANCE_PASSPORT_ANTITRIGGER_IGNORED

Prior Art Grounding

Progressive disclosure, CLI, and graph tooling

The design borrows progressive disclosure, CLI discoverability, and directed-graph tooling, but keeps cards, leases, and browse rows below authority until coupling and entry records agree. The route plane sits on information-architecture and graph-navigation practice. The first-contact rule follows the usability pressure behind progressive disclosure: show the control entry and immediate affordances before deeper browse rows. The command-facing surface follows the Command Line Interface Guidelines emphasis on discoverable commands and clear next actions. The graph side is ordinary directed-graph tooling: NetworkX documents topological sorting over dependency edges, and PageRank shows the older pattern of computing route salience from graph structure. This component keeps those ideas below authority: cards, leases, and browse rows stay projections unless the coupling and entry-admission records agree.

Source-Backed Doctrine Packet

The authoritative sources for this module are:

The five copied source modules:

Module idSourceCopied target
navigation_route_plane_intervention_source_body_importsystem/lib/navigation_route_intervention.pyexamples/navigation_hologram_route_plane/exported_route_plane_bundle/source_modules/system/lib/navigation_route_intervention.py
navigation_route_plane_context_pack_source_body_importsystem/lib/navigation_context_pack.pyexamples/navigation_hologram_route_plane/exported_route_plane_bundle/source_modules/system/lib/navigation_context_pack.py
navigation_route_plane_entry_packet_source_body_importsystem/lib/kernel/commands/comprehension_snapshot.pyexamples/navigation_hologram_route_plane/exported_route_plane_bundle/source_modules/system/lib/kernel/commands/comprehension_snapshot.py
navigation_route_plane_option_surface_source_body_importsystem/lib/standard_option_surface.pyexamples/navigation_hologram_route_plane/exported_route_plane_bundle/source_modules/system/lib/standard_option_surface.py
navigation_route_plane_navigation_contract_source_body_importcodex/standards/std_navigation_contract.jsonexamples/navigation_hologram_route_plane/exported_route_plane_bundle/source_modules/codex/standards/std_navigation_contract.json

The fixture command writes these result records:

  • receipts/first_wave/navigation_hologram_route_plane/affordance_passport_selection_receipt.json
  • receipts/first_wave/navigation_hologram_route_plane/code_architecture_projection_packet_receipt.json
  • receipts/first_wave/navigation_hologram_route_plane/entry_payload_admission_receipt.json
  • receipts/first_wave/navigation_hologram_route_plane/route_lease.json
  • receipts/first_wave/navigation_hologram_route_plane/source_coupling_result.json
  • receipts/first_wave/navigation_hologram_route_plane/toy_kind_card.json
  • receipts/first_wave/navigation_hologram_route_plane/toy_kind_cluster_flag.json

Validation Result record Path

From microcosm-substrate/, reproduce this page's proof boundary with temporary result records:

PYTHONPATH=src ../repo-python -m microcosm_core.organs.navigation_hologram_route_plane run --input fixtures/first_wave/navigation_hologram_route_plane/input --out /tmp/microcosm-navigation-hologram-route-plane
PYTHONPATH=src ../repo-python -m microcosm_core.organs.navigation_hologram_route_plane validate-route-plane-bundle --input examples/navigation_hologram_route_plane/exported_route_plane_bundle --out /tmp/microcosm-navigation-hologram-route-plane-bundle
../repo-pytest tests/test_navigation_hologram_route_plane.py
PYTHONPATH=src ../repo-python scripts/build_doctrine_projection.py --check-paper-module-corpus

What a pass certifies here

A pass means the fixture caught every negative case, the bundle validated its rows, coupling, and copied modules, and no record leaked a body or non-public paths. A pass means the fixture observed every expected negative case, the exported bundle validated its route rows, source coupling, and copied source modules, and no result record carried a source body or a non-public paths. The validation result records for this module are the result records those commands write.

Scope boundary

Scope limit

The strongest supported claim

The strongest claim is that public fixture and bundle evidence agree on the declared route-plane contract, and that is the proof boundary and scope limit. The strongest claim this module supports is public fixture and exported-bundle evidence: the route rows, copied source modules, source manifests, negative cases, and validation result records agree on the declared public route-plane contract. That is its proof boundary and its scope limit.

What it refuses past that line

Past that line it proves no live route freshness, grants no kernel authority, and excludes source-file changes, external model access, state export, public sharing, or whole-system equivalence. It refuses everything past that line. This module does not establish live route freshness, grant live source-kernel authority, authorize source-file changes, authorize external model access, export account or browser state, expose browser UI live access, authorize public sharing or launch, prove whole-system correctness, or assert whole-system equivalence.

Context & evidence

Source

Source Source module: src/microcosm_core/organs/navigation_hologram_route_plane.py · Design note · Source registry · Source manifest: examples/navigation_hologram_route_plane/exported_route_plane_bundle/source_module_manifest.json