Repository navigation
Law 0 root (PR3a): the root's integration tests name no plane, transport or sink - #1020
Merged
Merged
Conversation
…ort or sink The root integration-test files no open non-draft PR touches (BUSBAR-1.6.0.md l.172-182; no golden pins of the default distribution, whose customer bytes the oracle cells prove). - method_coverage.rs: the protocol axis is the inventory's own `derived_from`, and every method of each protocol crosses every transport column it states in both roles (fixtures/ method_coverage_axes.txt deleted); synthetic parse rows and prose name no protocol. - body_chunk_bounds.rs: the frame ceiling is driven on every linked one-shot wire, read off the linked table (fixtures/transport_sessions.txt deleted). - export_unknown_module_lists_what_links.rs: every module the refusal offers is one the build serves, asked of `--validate`; no sink list, no pinned line. - export_settings_refusal_1_5_5.rs: every served sink's refusal of an undeclared settings key is rendered under its instance; the sinks' own words belong to their suites and the oracle. - cli_validate.rs: the operator-credential fixture rides the linked auth axis. - `admin_auth: [<operator>]` written as a block list (the flow form read as a plugin id). - Prose reworded across money, boot-lines, scrape-shape, transport and openapi tests. - kind-isolation: law0 rows lowered to the measure.
The unknown-exporter refusal and the sinks' settings refusals pinned 1.5.5 bytes. No oracle cell holds the unknown-exporter line or four of the settings lines, so each survives as a fixture with the verbatim 1.5.5 text, read by the test (the Rust source names no sink): - fixtures/unknown_exporter_1_5_5.txt: a build serving every module 1.5.5 offered prints the line byte for byte; a build that does not serve one never offers it. - fixtures/export_settings_refusals_1_5_5.json: the four settings lines, the zero-retention sentence (also oracle boot.refusal|BOOT-101|validate) and the second-scrape-instance line (also oracle boot.refusal|BOOT-102|validate, printed once), each held on every build that serves its sink. law0 busbar x instance:export 25 -> 31 on this branch (the data's module names), still under predev's 33.
…d from the manifest (check-cfg) cli_validate's B1 fixture configures the operator credential's module, so it needs that row, not any auth row; and linked_axis_auths was never declared, a certain check-cfg red. build.rs carries #993's hunk byte-identical (linked_axis_auths declared beside the other axis cfgs; linked_every_auth; linked_operator_auth off the operator-auth table's row) 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
1 participant
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, PR3a. This PR covers the root integration-test files that no open non-draft PR touches.
Spec: BUSBAR-1.6.0.md l.172-182. Coordinator ruling: no golden pins of the default distribution. The 1.5.5 oracle cells prove customer bytes.
What changes
method_coverage.rs(fixturemethod_coverage_axes.txtdeleted)derived_from.body_chunk_bounds.rs(fixturetransport_sessions.txtdeleted)qa/design-bindings.jsoncites it.export_unknown_module_lists_what_links.rs--validatealone and must not be an unknown exporter.export_settings_refusal_1_5_5.rsexport.x.settings: …); at least one sink must refuse it.cli_validate.rslinked_axis_auths.Config text
admin_auth: [<operator>]is written as a YAML block list. The flow form read as the auth plugin's kind-qualified id: a word collision, not a reference. The YAML means the same.Prose and identifiers reworded in the money, boot-lines, scrape-shape, transport, openapi and common/boot files.
kind-isolation (law0 rows lowered to the measure)
These counts conflict with #993, #1017, #787 and #503 in
qa/kind-isolation.tomlonly. Rule 13 applies: whichever PR lands second recomputes.Not in this PR
mcp_stdio_serve,mcp_open_front_door,qa_mcp_integrityand the mcp/decisions fixtures.single_plane_allowlist.txt,plane_doctrine.txt,capability_equality,registry_cross_plane,plane_isomorphism.plane_host_universal_purity→ xtask. That waits on what becomes ofEngineHostunder kernel D2/D3.Replaced 1.5.5 pins, and where each now lives
fixtures/unknown_exporter_1_5_5.txt: a build serving every module 1.5.5 offered prints it byte for byte; a build missing one never offers itbuffer_seconds, otlp unknown field, request-log-file invalid typefixtures/export_settings_refusals_1_5_5.json, each held on every build that serves its sinkboot.refusal|BOOT-101|validate, and (b) the same fixture (prefix)boot.refusal|BOOT-102|validate, and (b) the same fixture (exact, printed once)fixtures/method_coverage_axes.txtqa/method-inventory.jsonfixtures/transport_sessions.txtThe Rust source names no sink; the fixtures are DATA. busbar
instance:exportis 31 on this branch, still under predev's 33.