Repository navigation
P5 row 106/107: extract busbar-plane-mcp to GetBusbar/busbar-plane-mcp (pinned); every gate reads the pinned planes as its base layer - #838
Open
MattJackson wants to merge 8 commits into
Conversation
…p, pulled at a pinned rev; every gate reads the pinned planes as its base layer (P5, rows 106/107) - crates/busbar-plane-mcp is deleted. GetBusbar/busbar-plane-mcp holds it, history imported with filter-repo; its logic crate is predev 00555bd's crate and its -plugin cdylib runs busbar's published conformance suite. The root pins it as one git row; the root's two edges take the workspace row; deny.toml allows the repo; plugins.yaml drops pending_crate and checks busbar out (its tests read the battery and qa/method-inventory.json at the pin). - THE BASE LAYER (ARCHITECT row 106 (A)): Ctx gains a base beneath the overlay and above the disk. Ctx::workspace lays every pinned package of the plane kind at crates/<package>, read from the checkout cargo metadata resolves for the rev Cargo.lock pins (kind_isolation::plane_base), never written into the tree. with_overlay keeps it, so a plant still wins. Generic over the kind, no plane named. Fails closed: a pinned plane cargo cannot resolve is an Err naming it and its rev. kind-isolation's own mount is unchanged. No ledger row moves. - RED arms: xtask/tests/pinned_planes_base.rs (the base is laid from the checkout and nothing of it is on disk; a plant wins over it; structure-lint, config-schema, no-float-money, plane-purity and reachability each lose a passing row without it); declared_classes reads the pinned planes and none without the base. - The tests that read the filesystem resolve a pinned plane through the same rule (crates/busbar/tests/common/pinned_planes.rs): capability-equality's proven mcp-server cells and its five-plane floor (with a RED arm that the evidence is not on disk and is read from the checkout); the kernel trust and core-admin plane-key ratchets take the pinned planes' keys; proto-deletion-gate.sh reads the door crate from its checkout. - plugin-ci.yml: a plane repo runs plane-purity, structure-lint and config-schema at its busbar pin over its own change (scripts/fleet/plane-gates.sh, BUSBAR_PLANE_SOURCE): no row that passes over busbar's pinned plane may fail over the change.
… take the pinned planes too (tests/common/pinned.rs, fail-closed), and the sibling set is every plane the roster registers, with its five-plane floor (ARCHITECT row 106 (A))
…a door home; the plane step is an xtask plugin-gate; the pin moves to the merged plugin head - Ctx::exists and Ctx::is_dir answer a directory the base layer lays (a pinned plane's crate and every directory in it), and Ctx::base_children lists what it lays under a directory: qa-names, plane-purity:roots, plane-pricing-blindness and structure-lint's scope rows read the pinned plane where it lived. construction's glob_dirs lists the laid crate beside the disk's, so the census's plane glob still matches its five crates. - workspace-deps: a manifest the base lays is a pinned git dependency, never a crate on disk. - PlaneRoots::over(cx): a door crate the base lays is its plane's door home (settings-leak, response-header, blocking-ffi). - plugin-ci's plane step is `xtask plugin-gates plane` (the busbar gates over busbar's pinned plane and over the change, a row that stops passing is a finding), with selftest cases; the shell script is gone (script-allowlist: product checks are cargo xtask). - busbar-plane-mcp pinned at a5e2ae355c, the head GetBusbar/busbar-plane-mcp#10 merged.
…oml keeps predev's store-memory row (no fixture-store: the kernel links an in-crate store double) beside this lane's busbar-plane-mcp pin
This was referenced Oct 14, 2026
… pinned-plane helper by reference (root is a PathBuf; E0308 at :1233)
MattJackson
added a commit
that referenced
this pull request
Oct 14, 2026
…-p5-extract-plane-decisions
MattJackson
added a commit
that referenced
this pull request
Oct 14, 2026
… fix 7b30159) into lane-plane-delete-pinned
…ut (dirs_for_globs filters with Ctx::is_dir, disk then base layer); RED: a plane present only in the base layer is counted
MattJackson
added a commit
that referenced
this pull request
Oct 14, 2026
…dirs_for_globs counts a pinned plane from the base layer) into lane-p5-extract-plane-decisions
MattJackson
added a commit
that referenced
this pull request
Oct 14, 2026
… fix ccc0eff) into lane-plane-delete-pinned
…er the scan roots (a pinned plane's crate), so rules that read lines read a pinned plane; RED: forbid-unsafe finds the attribute in a base-laid plane's lib and reports its absence MISSING
MattJackson
added a commit
that referenced
this pull request
Oct 14, 2026
… scan carries pinned-plane sources; forbid-unsafe MISSING fix) into lane-p5-extract-plane-decisions
MattJackson
added a commit
that referenced
this pull request
Oct 14, 2026
…s tools type leaves the secret inventory, and the architecture page names only paths on disk - kind_isolation: plane_kind_src_roots unions the root manifest's pinned plane rows (pinned::pinned_plane_dirs), so a context without the base lists the pinned plane's root and plane-purity:roots refuses it by name; plane_kind_crates refuses a pinned plane the census cannot read, so reachability:plane-crates is red without the base (pinned_planes_base's two RED arms). - secret_refs: TokenExchangeCfg left the tree with the plane; its references are read at the door's declared paths through the DoorSection row, so the stale inventory entry is removed. - docs/architecture.md: the in-tree plane directories, and the MCP plane's own repository.
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
P5 extraction, /status rows 106 (no busbar-plane-* crate under crates/) and 107 (crates down to 14). The mcp plane is the first of the five. Crates go 24 -> 23.
What
crates/busbar-plane-mcpleaves for plane-mcp: busbar's in-tree crate, history imported, at busbar 00555bd98a (P5 extraction) busbar-plane-mcp#10: history imported with filter-repo; the logic crate is predev 00555bd's;busbar-plane-mcp-plugin(cdylib) runs busbar's published conformance suite.crates/busbartake the workspace row.deny.tomlallow-git gains the repo.plugins.yamldropspending_crateand setsbusbar_checkout: true(an existing field), because its tests read busbar's battery andqa/method-inventory.jsonat the pin.Ctxgains a BASE layer, beneath the overlay and above the disk.Ctx::workspacelays every pinned package of the plane kind atcrates/<package>, read from the checkoutcargo metadataresolves for the revCargo.lockpins (kind_isolation::plane_base). Nothing is written, copied or linked into the tree.with_overlaykeeps the base, so plants still win.Errnaming the package and rev.crates/busbar/tests/common/pinned_planes.rs):xtask/tests/declared_classes.rs, now read throughCtx.proto-deletion-gate.sh.plugin-ci.ymlgains a plane step.BUSBAR_PLANE_SOURCE).scripts/fleet/plane-gates.sh, with a selftest).RED-able tests
xtask/tests/pinned_planes_base.rs:declared_classes: the scan reads the pinned plane, and reads none of it without the base.capability_equality: the pinned plane's cited evidence is not on disk, and is real when read from the checkout.Ledgers: none touched (ruling condition 6).
Not in this PR:
crates/busbar-plane-decisions/tests/invariance.rsstill derives its sibling planes fromcrates/alone, so it no longer sees mcp. That file is held by decisions plane: route by model, splice upstream_model, one billing rule, token classes, no unit leak or eviction, zero-alloc relay (Q128 findings, rows 128/159) #806/decisions plane: the nanojev dialect (Q128 finding 3, row 128) #807.