Repository navigation
conformance - #11067
Closed
gunbai-bot[bot] wants to merge 6 commits into
Closed
conformance#11067gunbai-bot[bot] wants to merge 6 commits into
gunbai-bot[bot] wants to merge 6 commits into
Conversation
…hard laws Adds the conformance-decision domain to gunbc.design_argument conformance_domains, homed on std.decision (DecisionSubject, RealizationSelectionResult, SelectionReceipt, select_realization) and std.pareto (SelectionAxis, ParetoEntry, DominanceVerdict). The row is narrow: inhabitance of the decision/Pareto models, or a stated departure. Consumer route for the home: gunbc.spark.serving_deployment_selection select_serving_deployment and product.fleet_operating_point fleet_operating_point_selection call select_realization; exercised by test.claim.spark.serving_deployment_selection_witness_test and test.claim.realization_selection_witness_test. The s3d.selection-precedes-convergence reviewer keeps only the hard laws (no answer outrunning field/constraints/evidence/policy; a front is not a winner; missing funded evidence is never a fabricated zero or settled fact; goal assessment/ensure never choose) and says a stated home departure excuses none of them. Home-inhabitance tells moved to the conformance row. Witness: a_stated_departure_from_the_decision_home_is_admitted_while_the_selection_law_still_fails folds one plan through the existing review machinery -- conformance-decision answers DivergesStated (approved with reason), selection-precedes-convergence requests changes on the same file, the report fails; the converse plan with the laws honoured approves. gunbc.design_document: "missing authority" -> "selection authority" in §3d; §3b no longer claims the overlap counter proves the partition (review_criterion_identities_are_unique proves unique keys only and disclaims semantic exclusivity); scope/ownership mismatch distinguished from a non-resolving citation; §3d records the admitted row and that the effectful convergence cycle (plan, admission, actuation, readback) still has no consumed home. DESIGN.md regenerated via generated_artifact_gate main_wet. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012n8gXc7UmPvcSqoPdHR4ZH
…h the observation model again Lane B of the process-observability brief. Row: conformance-observability on gunbc.design_argument conformance_domains, homed on std.observation (ObservationEvent, RecordedObservation, ObservationPresentation) and gunbc.observation_ci_render (ci_event_line, ci_render_line). Scoped to process reporting; repository populations stay with gunbc.repository_census_observation, delivery with effects. Heartbeat repair (gunbc.observation_emit_census floor_heartbeat_site, a MigratedToObservation row #9228 silently reverted to a raw [floor-heartbeat] eprintln): HeartbeatSample in gunbc.observation_ci_render is REPLACED with the one-attempt floor's real sample -- wall, seam subject, and every /proc and cgroup reading as a Measured arm (cpu delta, major faults, rss, cgroup charge, high/max/local-high events, host swap-in and major faults) plus the stall window as gunbc.memory_stall_refusal's own MemoryStallObservation, rendered by its own rate/share functions. seed_heartbeat_line is the oracle over that input space; cli_run render_heartbeat_line_mirror is the seed mirror the liveness thread calls (no interpreter on that thread); floor_resource_sample and the stall window become typed producers (FloorResourceSample, floor_stall_window_observation) with None for unread sources -- nothing formats a number outside the mirror. Evidence: test.claim.observation_seed_heartbeat_witness_test (SubstrateInputsOnly, executes on the floor) pins the oracle's exact bytes for a fully-read beat and an all-unreadable beat, the refusal-authority stall arithmetic, no fabricated zero, and a zero-wall window refusing; cli_run heartbeat_tests::render_heartbeat_line_mirror_matches_seed_oracle holds the mirror byte-equal to the interpreter on the same two specimens (off the merge path: rung drop rust_unit_tests_off_the_merge_path). Census extension: CensusedEmitSite gains producer (DeclarationRef into hand Rust) and consumption (MachineConsumed | HumanPresentationOnly | ConsumerUnresolved); every row is ConsumerUnresolved with its in-repo search stated, never human-only on a prefix grep. seed_emit_sources gains the cli_run/ split files it had fallen behind: [floor-claim-memory] lived only in required_floor_runner.rs, so the census could not find its own row and the declined hygiene suite reported nothing. New executing witness observation_emit_census_producer_witness_test; the declined suites (emit census, lockstep) are repaired to the restored subject and their standing restated -- the lockstep no-fabrication row had gone false a second time on the same cli_run split. DESIGN.md regenerated via generated_artifact_gate main_wet. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012n8gXc7UmPvcSqoPdHR4ZH
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012n8gXc7UmPvcSqoPdHR4ZH
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012n8gXc7UmPvcSqoPdHR4ZH
Review 63436: cpu_ms/cgroup_charge_bytes/stall_window_ms/stall_user_cpu_ms (and elapsed_ms, rss_bytes) were bare Nat with a unit suffix. They are now Millisecond / ByteSize, on the precedent of ci_batch_summary_text's `work: Nanosecond`; the seed test builds each carrier through the interpreter's millisecond / byte_size constructor, so a caller handing the wrong unit cannot typecheck. Dimensionless counts stay Nat. Oracle test green locally (3/3); floor witness 5/5. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012n8gXc7UmPvcSqoPdHR4ZH
…md regenerated via generated_artifact_gate main_wet) Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_012n8gXc7UmPvcSqoPdHR4ZH
Contributor
Author
|
Auto-created draft on the same branch after #11017 squash-merged; the branch carries no content beyond main (git diff origin/main HEAD is empty). Closing as a duplicate. — sent from stern-heron-185 |
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.
Auto-opened by session-dashboard for session
stern-heron-185.Pushing to
session/stern-heron-185-observabilityadvances this PR.Worker attestation
Before flipping this PR to ready for review, confirm each item:
npm test,cargo test) and the result.Closes #Ndirective.Summary
TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.
Test plan