Repository navigation
Law 0 root (PR2a): the root's unit tests name no plane, transport or auth instance - #1017
Merged
Merged
Conversation
…auth instance The root unit-test files no open non-draft PR touches (BUSBAR-1.6.0.md l.172-182: tests use kind-neutral doubles; no golden pins of the default distribution, whose customer bytes the oracle cells prove from the 1.5.5 binary). - cli.rs: the two --help goldens (fixtures/cli_help.txt, cli_help_without_flag_rows.txt) become invariants over the linked rows: every linked row lands in its block in declaration order and the root's own text is all there; a plane compiled out takes its rows and leaves the root's Flags: block alone. - auth_bindings.rs: the operator-word assertions read the root's words (default admin chain, identity providers, the hook-name word space, the migrations, the refusals naming the word) instead of pinning one distribution's spelling. - connector.rs: the mint-needs RED holds every linked auth row's declared outbound needs to operator infrastructure, read off each row's Statement, instead of naming the plugin crate. - connector_h2.rs: the need's scheme is the admin plane's declared request/response wire. - linked_protocols: the absorbed event-stream set and the no-dialect paths without plane names. - Identifiers and prose reworded across connector_h2, listener, listener_h2, plane_node, serve_framed, durability, kernel, linked, linked_auth, legacy, units_admin and src/tests. - kind-isolation: law0 rows lowered to the measure; the busbar x hooks [[cell]] (now 0) struck.
…-help cites its oracle cells The operator-word assertions pinned 1.5.5 bytes. No oracle cell holds the default admin chain's word, the reserved hook-name set or the two operator refusals, so they survive as a fixture with the verbatim 1.5.5 text (fixtures/operator_1_5_5.json), read by the tests (the Rust source names no auth module): the root's operator word and principal, the whole hook-name word space, the migrated words, and both refusals byte for byte. The --help golden's 1.5.5 bytes are the oracle golden cells cli|--help and cli|-h; the without-flag-rows golden was a 1.6.0-only shape and stays an invariant. law0 busbar x auth 45 -> 46 and x instance:auth 13 -> 15 on this branch (the data's module word), still under predev's 49 and 24.
This was referenced Oct 14, 2026
Collaborator
Author
|
#1028 also edits crates/busbar-plane-llm/src/codec/synth_rng.rs ( |
…manifest (check-cfg) linked_axis_auths was never declared (check-cfg red), and any-auth-row was the wrong gate: the cell asserts an outbound need, which only the mint plugin's row declares, so a build linking one auth row would fail it. It rides linked_every_auth (every auths row linked, so the mint row is among them), as the predev test ran on the always-linked plugin. build.rs carries #993's hunk byte-identical so whichever lands second merges cleanly.
MattJackson
added a commit
that referenced
this pull request
Oct 15, 2026
… from the gates log of 80d5f03 - hooks parity (#989): the v1.5.5 hook corpus moves out of the kernel's source into testing/hook-parity/v1.5.5-hook-corpus.tsv, read by the count test; its origins are `proxy`/`core` and the constants PROXY_ORIGIN/CORE_ORIGIN (gate hook-parity-count reads them). The listing named plane, hook and export instances in a neutral crate: kernel x plane +84, x hooks +18, and the instance-noun-neutrality llm census. - config-schema: a section a plane owns beside its declaring one is the endpoint DOOR only for the plane the kernel names its owner (EndpointSection::OWNER); any other is RAW, carried by DeployCfg::plane_raw, as the pre-pass lifts it since #966 (a2a's agent_push, #1001). Selftest: two doors under the owner stay RED; a non-owner's beside section is carried. - reachability: serve_datagram.rs is the module `serve_datagram`, named for its file like serve_framed. - teller-steps / libtest_path: door cells are read off the linked rows on the plane-door axis, the rows build.rs mounts since #1006 deleted [package.metadata.busbar.door-cells]. - plane-purity dialect / neutral-no-dialect: LegacyLaneKeys flattens ProviderLaneCaps rather than spelling its fields (#957). - structure-lint: stand_in.rs's inline tests move to tests/stand_in_tests.rs (#1010). - config-scope: auth/mod.rs's test-idp-module arm is braced like its sibling, so the scanner sees the `new` construction in the arm after it. - instance-noun-neutrality mcp: the a2a client cell's rationale (and its capability-equality row) names no other plane. - hold-escapes: host_disk.rs::start (#864's disk lane job loop) is a reviewed known site. - hook-parity-count: the TODO's M4 row reads 181. - design-bindings: PB-50's config.migrate family is 158 cells (#1026 added two). - kind-isolation law0: busbar auth 24, instance:auth 10, instance:export 25, plane 525, transport 97 are the merged tree's measure (#1038's figures were T+O-B over a virtual base carrying #993, #1017, #1020, which w2 does not carry); busbar-contract export 1 -> 0 and transport 226 -> 225 (slack).
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.
Law 0 root lane, PR2a. This PR covers the root unit-test files that no open non-draft PR touches. Spec: BUSBAR-1.6.0.md l.172-182 (tests use kind-neutral doubles). Coordinator ruling: no golden pins of the default distribution; the 1.5.5 oracle cells prove customer bytes.
What changes
--helpgoldens.cli_help.txtandcli_help_without_flag_rows.txtare deleted. The tests that pinned them become invariants over the linked rows:Flags:block alone.Operator words (
auth_bindings.rs). Assertions read the root's operator words instead of the spelled default:Mint-needs RED (
connector.rs). The test now reads every linked auth row's Statement and asserts each declared outbound need is operator infrastructure. It no longer names the plugin crate, and it fails if no linked row declares an outbound need.connector_h2. The need's scheme is the admin plane's declared request/response wire.linked_protocols.residual_noneuses neutral paths instead of plane mounts.httpis imported from thehttpcrate.Rewording only. Identifiers and prose in connector_h2, listener, listener_h2, plane_node, serve_framed, durability, kernel, linked, linked_auth, legacy, units_admin and src/tests.
kind-isolation (law0 rows lowered to the measure)
The
busbar × hooks[[cell]]row now covers nothing, so it is struck. These counts overlap #993's rows; rule 13 applies, and whichever lands second recomputes.Not here
registry.rsand its fixtures (sealed_order,claims_per_plane,transport_fold),serve_tests.rs,gauntlet_kernel.rs.door_steps.rs: eight PRs.link_secretstest inlinked.rs: row 166 PR2a: a disk-declared secret source resolves on the one disk lane at config time only #864 and row 166 PR2b: a program's environment secrets resolve at declaration and are held; a spawn resolves nothing #865.tool_door_wire.txt.door_listen.rs.declared_credentials.rs.merge-treeis clean against every open non-draft PR.Replaced 1.5.5 pins, and where each now lives
fixtures/cli_help.txt: the default build's--helpcli|--helpandcli|-hfixtures/cli_help_without_flag_rows.txt: a build with no plane flag rowsadmin-tokens/ principaladminfixtures/operator_1_5_5.json(provider,principal), asserted equal. The provider is also covered by (a)admin.ops|GetInfo|ok(build.auth_modules= keys + the operator)default_admin_auth_names/builtin_identity_providersprovider; also (a)admin.ops|GetInfo|okfixtures/operator_1_5_5.jsonhook_word_space, the whole sorted setproviderunanswered_token/misplaced_tokenrefusalsfixtures/operator_1_5_5.json, byte for byteThe Rust source names no auth module; the fixture is DATA.