Skip to content

Law 0 root (PR2a): the root's unit tests name no plane, transport or auth instance - #1017

Merged
MattJackson merged 6 commits into
predevfrom
lane-law0-root-unit
Oct 15, 2026
Merged

MattJackson merged 6 commits into
predevfrom
lane-law0-root-unit

Conversation

@MattJackson

@MattJackson MattJackson commented Oct 14, 2026 •

Copy link
Copy Markdown
Collaborator

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

--help goldens. cli_help.txt and cli_help_without_flag_rows.txt are deleted. The tests that pinned them become invariants over the linked rows:

  • every linked row lands in its block, in declaration order;
  • the root's own text is all present, in order;
  • a plane compiled out takes its rows with it and leaves the root's Flags: block alone.

Operator words (auth_bindings.rs). Assertions read the root's operator words instead of the spelled default:

  • the default admin chain and identity providers;
  • the reserved hook-name word space;
  • the 1.4.x and 1.5.x migrations;
  • the refusals naming the word.

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.

  • The absorbed event-stream set no longer carries a plane name; the fixture key is renamed.
  • residual_none uses neutral paths instead of plane mounts.
  • http is imported from the http crate.

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)

busbar axis before after
auth 49 46
hooks 1 0
instance:auth 24 15
instance:secret 35 33
plane 826 766
transport 224 205

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

merge-tree is clean against every open non-draft PR.

Replaced 1.5.5 pins, and where each now lives

replaced pin 1.5.5 bytes? survives as
fixtures/cli_help.txt: the default build's --help yes (a) oracle golden cells cli|--help and cli|-h
fixtures/cli_help_without_flag_rows.txt: a build with no plane flag rows no; 1.6.0-only shape (no such 1.5.5 build) invariant
operator provider admin-tokens / principal admin yes (b) fixtures/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_providers yes (b) via the fixture's provider; also (a) admin.ops|GetInfo|ok
the reserved hook-name word space yes (b) fixtures/operator_1_5_5.json hook_word_space, the whole sorted set
the 1.4.x and 1.5.x migrations writing the operator word yes (b) the fixture's provider
unanswered_token / misplaced_token refusals yes (b) fixtures/operator_1_5_5.json, byte for byte

The Rust source names no auth module; the fixture is DATA.

…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.
@MattJackson

Copy link
Copy Markdown
Collaborator Author

#1028 also edits crates/busbar-plane-llm/src/codec/synth_rng.rs (fill_entropy takes a &dyn CodecHost), synth_rng_tests.rs, openai_chat/tests/handler_tests.rs (extract_usage call) and gemini+openai_chat float_usage_tests.rs (reader/writer calls take the test host). These are different hunks; note your branch's synth_rng.rs conflicts with predev's #869.

… the base, undoing the stale pre-#869 copies the first commit carried (the thread-local entropy pool #869 deleted stays deleted)
…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
MattJackson merged commit 6ea8e42 into predev Oct 15, 2026
1 check was pending
@MattJackson
MattJackson deleted the lane-law0-root-unit branch October 15, 2026 05:33
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).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant