Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions .gitattributes
Original file line number Diff line number Diff line change
Expand Up @@ -177,5 +177,7 @@ docs/planning/green-program/sweeps/network-483-465-2026-09-07/evidence/**/*.log
# by line number, and a CRLF normalisation would edit it.
docs/planning/green-program/sweeps/network-483-465-2026-09-07/round3/evidence/**/*.log -text

# 586 PR 4 audit: retain the captured serial bytes used by marker-tally hashes.
docs/planning/green-program/network/serials/586-pr4/audit/** -text
# Preserve original serial and transcript bytes for the 813 PR B audit.
docs/planning/green-program/ipc/serials/813-b/** -text
333 changes: 333 additions & 0 deletions docs/planning/green-program/network/586-PR4-2026-09-07.md

Large diffs are not rendered by default.

Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
claim-lint: clean commit message (.tmp/pr4-audit-code-message.txt).
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
claim-lint: clean (44 file(s) checked, changed hunks vs 62924b473987).
claim-lint: 14 pre-existing finding(s) outside this branch's changed hunks not reported (--whole-file shows them).
claim-lint: 5 target(s) SKIPPED, not checked (extension not in ['.md', '.py', '.rs', '.sh', '.txt']): docs/planning/green-program/network/serials/586-pr4/parallel-1.exit, docs/planning/green-program/network/serials/586-pr4/parallel-2.exit, docs/planning/green-program/network/serials/586-pr4/parallel-build.exit, docs/planning/green-program/network/serials/586-pr4/x86-boot-tests-rerun.exit, docs/planning/green-program/network/serials/586-pr4/x86-boot-tests.exit
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
revision=d095c8569d8a34b02b2f7adc4fba0c4f12d76f7e + audit working diff; mutation=audit-comment-mutation
== compiling loopback_pump_structure ==
== running loopback_pump_structure loopback_eof_dispatch_validator_rejects_commented_verdict ==

running 1 test

thread 'loopback_eof_dispatch_validator_rejects_commented_verdict' panicked at /private/tmp/claude-501/-Users-wrb-fun-code-breenix/d69ffb9d-4539-4cf3-8a3d-a872ff7c830b/scratchpad/n586p4/wt/tests/loopback_pump_structure.rs:2048:5:
assertion failed: validate_loopback_eof_timeout_measures_dispatch(&mutated).is_err()
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
test loopback_eof_dispatch_validator_rejects_commented_verdict ... FAILED

failures:

failures:
loopback_eof_dispatch_validator_rejects_commented_verdict

test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 137 filtered out; finished in 0.00s

exit=101
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
revision=d095c8569d8a34b02b2f7adc4fba0c4f12d76f7e + audit working diff; mutation=audit-delete-mutation
== compiling loopback_pump_structure ==
== running loopback_pump_structure loopback_eof_timeout_measures_dispatch ==

running 1 test

thread 'loopback_eof_timeout_measures_dispatch' panicked at /private/tmp/claude-501/-Users-wrb-fun-code-breenix/d69ffb9d-4539-4cf3-8a3d-a872ff7c830b/scratchpad/n586p4/wt/tests/loopback_pump_structure.rs:2025:6:
EOF timeout measures and prints dispatch before exit 15: "EOF timeout arm does not measure dispatch"
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
test loopback_eof_timeout_measures_dispatch ... FAILED

failures:

failures:
loopback_eof_timeout_measures_dispatch

test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 137 filtered out; finished in 0.00s

exit=101
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
claim-lint: clean commit message (.tmp/pr4-audit-docs-message.txt).
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
claim-lint: clean (125 file(s) checked, changed hunks vs 62924b473987).
claim-lint: 14 pre-existing finding(s) outside this branch's changed hunks not reported (--whole-file shows them).
claim-lint: 5 target(s) SKIPPED, not checked (extension not in ['.md', '.py', '.rs', '.sh', '.txt']): docs/planning/green-program/network/serials/586-pr4/parallel-1.exit, docs/planning/green-program/network/serials/586-pr4/parallel-2.exit, docs/planning/green-program/network/serials/586-pr4/parallel-build.exit, docs/planning/green-program/network/serials/586-pr4/x86-boot-tests-rerun.exit, docs/planning/green-program/network/serials/586-pr4/x86-boot-tests.exit
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"revision": "96fa978116f7472b9ea0729f830e0b1711af3a9d", "lane_qemu_pids": []}
Original file line number Diff line number Diff line change
@@ -0,0 +1,70 @@
revision=96fa978116f7472b9ea0729f830e0b1711af3a9d
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/syscall_return_register_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/blocking_fd_eagain_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/gate_boot_facts_pipefail_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/mmap_floor_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/trace_ring_depth_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/fork_lock_order_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/poll_tcp_gate_wiring_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/qemu_kill_by_name_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/parallels_capture_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/pipe_fifo_blocking_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/strand_handoff_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/terminal_edge_capture_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/dispatch_path_lock_free_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/capture_path_lock_free_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/timer_wake_dispatch_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/signal_eintr_predicate_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/tty_irq_fg_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/context_restore_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/xhci_wait_irq_order_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/udp_ports_lock_irq_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/ext2_disk_size_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/coreproof_mutation_register_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/masked_binary_load_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/entry_point_df_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/coreproof_coverage_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/ring_span_report_site_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/capture_bxcap_schema_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/parallels_kill_by_name_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/serial_line_atomicity_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/gate_structure_preflight_wiring_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/coreproof_sites_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/dispatch_fact_census_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/exec_lock_order_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/udp_socket_lock_irq_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/fcntl_pm_contention_gate_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/dma_and_log_sink_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/gate_boot_facts_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/degenerate_transfer_fd_validation_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/gate_capture_drain_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/green_program_envelope_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/coreproof_component_h_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/x86_smp_enum_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/net_lock_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/exit_tally_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/tty_oracle_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/aarch64_testing_profile_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/preempt_bracket_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/qemu_host_lock_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/tty_irq_pm_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/dispatch_strand_census_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/structure_preflight_parallel_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/run_inspector_import_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/block_request_lifetime_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/gate_qmp_backstop_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/loopback_pump_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/launcher_smoke_xhci_evidence_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/lockup_capture_guard_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/teardown_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/tracing_provider_gate_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/ring_span_unfiltered_report_site_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/ext2_lock_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/critical_path_logging_census_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/ctx_diag_ring_sample_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/mac-structure/ttbr0_shadow_reconciliation_structure.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/userspace-build.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/strict.txt: rust_warnings=0 rust_errors=0
docs/planning/green-program/network/serials/586-pr4/audit/strict.txt:338: Error: x86_64-linux-musl-gcc not found in PATH
docs/planning/green-program/network/serials/586-pr4/audit/strict.txt:343: WARNING: BusyBox build failed (see build-busybox.sh for prerequisites)
docs/planning/green-program/network/serials/586-pr4/audit/strict.txt:344: WARNING: busybox.elf not found, skipping coreutils
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
claim-lint: clean commit message (.tmp/pr4-cont-docs-message.txt).
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
claim-lint: clean (160 file(s) checked, changed hunks vs 62924b473987).
claim-lint: 14 pre-existing finding(s) outside this branch's changed hunks not reported (--whole-file shows them).
claim-lint: 6 target(s) SKIPPED, not checked (extension not in ['.md', '.py', '.rs', '.sh', '.txt']): .gitattributes, docs/planning/green-program/network/serials/586-pr4/parallel-1.exit, docs/planning/green-program/network/serials/586-pr4/parallel-2.exit, docs/planning/green-program/network/serials/586-pr4/parallel-build.exit, docs/planning/green-program/network/serials/586-pr4/x86-boot-tests-rerun.exit, docs/planning/green-program/network/serials/586-pr4/x86-boot-tests.exit
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
From https://github.com/ryanbreen/breenix
* branch net/586-pr4-x86-eof-arm-dispatch -> FETCH_HEAD
d095c8569..96fa97811 net/586-pr4-x86-eof-arm-dispatch -> origin/net/586-pr4-x86-eof-arm-dispatch
Updating d095c8569..96fa97811
Fast-forward
tests/loopback_pump_structure.rs | 22 +++++++++++++++++++++-
userspace/programs/src/loopback_wake_test.rs | 7 ++++---
2 files changed, 25 insertions(+), 4 deletions(-)
userspace-build exit=0 revision=96fa978116f7472b9ea0729f830e0b1711af3a9d
strict exit=1 revision=96fa978116f7472b9ea0729f830e0b1711af3a9d
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
claim-lint: clean commit message (.tmp/pr4-evidence-bytes-message.txt).
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
claim-lint: clean (127 file(s) checked, changed hunks vs 62924b473987).
claim-lint: 14 pre-existing finding(s) outside this branch's changed hunks not reported (--whole-file shows them).
claim-lint: 6 target(s) SKIPPED, not checked (extension not in ['.md', '.py', '.rs', '.sh', '.txt']): .gitattributes, docs/planning/green-program/network/serials/586-pr4/parallel-1.exit, docs/planning/green-program/network/serials/586-pr4/parallel-2.exit, docs/planning/green-program/network/serials/586-pr4/parallel-build.exit, docs/planning/green-program/network/serials/586-pr4/x86-boot-tests-rerun.exit, docs/planning/green-program/network/serials/586-pr4/x86-boot-tests.exit
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
Citations re-derived at e0f6e21156ee56aea2caa77959bbcd0e4cc21f6b
userspace/programs/src/loopback_wake_test.rs blob=67bc58e9d54e4c9e043a028b3472d92e4a425503
userspace/programs/src/loopback_wake_test.rs:96: fn dispatch_gap_probe(window_ms: u64) -> (u64, u64) {
userspace/programs/src/loopback_wake_test.rs:225: if eof_wait_ms > EOF_WAKE_BOUND_MS {
userspace/programs/src/loopback_wake_test.rs:230: "LOOPBACK_WAKE_TEST: reader_eof_dispatch_probe max_gap_ms={} samples={} window_ms={} verdict=eof_timeout",
tests/loopback_pump_structure.rs blob=0aa3c9fb7398cfc0601faca391dd06e20a70fc24
tests/loopback_pump_structure.rs:899: fn validate_loopback_eof_timeout_measures_dispatch(source: &str) -> Result<(), String> {
tests/loopback_pump_structure.rs:2021: fn loopback_eof_timeout_measures_dispatch() {
tests/loopback_pump_structure.rs:2029: fn loopback_eof_dispatch_validator_rejects_deleted_probe() {
tests/loopback_pump_structure.rs:2046: fn loopback_eof_dispatch_validator_rejects_commented_verdict() {
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
Revision under test: e0f6e21156ee56aea2caa77959bbcd0e4cc21f6b
serial_user.txt: literal [TEST:userspace:loopback_recv_wake:START]: occurrences=0
serial_user.txt: literal [TEST:userspace:loopback_recv_wake:FAIL:reader_exit_15]: occurrences=0
serial_user.txt: literal reader_eof_dispatch_probe: occurrences=0
serial_user.txt: sha256=0b97880c126fa3ef2d38c365937a1b1fde39384c72f76c7f381d391fd16b2f6a
serial_kernel.txt: literal [TEST:userspace:loopback_recv_wake:START]: occurrences=0
serial_kernel.txt: literal [TEST:userspace:loopback_recv_wake:FAIL:reader_exit_15]: occurrences=0
serial_kernel.txt: literal reader_eof_dispatch_probe: occurrences=0
serial_kernel.txt: sha256=a4fa3d92dc6441d7f38789fd2969ea478f2d0925374d27c93efc700688f6fb3f
Loading