Skip to content

feat(p022): port the obligation-protocol analysis and wire it through the bridge (#259 cp4b) #340

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
PhysShell merged 11 commits into from
Sep 7, 2026
Merged

feat(p022): port the obligation-protocol analysis and wire it through the bridge (#259 cp4b) #340

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
4a42fb4
docs(p022): inventory the obligation-protocol port before writing it …
claude Sep 6, 2026
3e5c433
feat(analysis): port the obligation-protocol analysis and freeze it a…
claude Sep 6, 2026
c783613
test(analysis): close three obligation-parity blind spots the campaig…
claude Sep 6, 2026
9af0897
test(evidence): record the cp4b.1 mutation campaign — 33/33 caught
claude Sep 6, 2026
5085a51
feat(bridge): map the obligation family and promote both exclusions (…
claude Sep 6, 2026
9218b57
test(evidence): re-run the cp4 campaign against the re-anchored M14 —…
claude Sep 6, 2026
59ef80e
docs(p022): regenerate the cp4 mutation fragment after the re-run
claude Sep 6, 2026
8c9a2f6
test(bridge): close four cp4b.2 blind spots the campaign found (#259 …
claude Sep 6, 2026
0761864
test(evidence): record the cp4b.2 mutation campaign — 28/28 caught
claude Sep 6, 2026
d419fa4
docs(p022): bring the status surfaces level with what 4b proves (#259…
claude Sep 6, 2026
07edf7f
docs(p022): state the protocol door rules as the tree proves them, an…
PhysShell Sep 7, 2026
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
6 changes: 3 additions & 3 deletions docs/evidence/p022-cp4-mutations.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -159,10 +159,10 @@
},
{
"id": "M14",
"description": "protocol boundary: a protocol-bearing document is no longer refused",
"description": "protocol family silently missing: the OBL findings are computed and then dropped. Re-anchored at #259 cp4b — the rule cp4 stated as a REFUSAL (a protocol-bearing document must never get a verdict list with a family missing) is now stated as a WIRING, and this is the same rule attacked on today's tree",
"target": "rust/crates/own-bridge/src/verdict.rs",
"pattern": "Some\\(Value::Array\\(items\\)\\) if !items\\.is_empty\\(\\) => Err\\(",
"replacement": "Some(Value::Array(items)) if items.is_empty() => Err(",
"pattern": " findings\\.extend\\(protocol_findings\\(root\\)\\);",
"replacement": " let _ = protocol_findings(root);",
"expected_catchers": [
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
]
Expand Down
74 changes: 41 additions & 33 deletions docs/evidence/p022-cp4-mutations.result.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,10 +3,10 @@
"comment": "Recorded mutation-campaign run (scripts/mutate_campaign.py --run). Raw facts only: outcomes, catchers, provenance. Counts are derived by scripts/render_checkpoint_status.py; regenerate this file by re-running the campaign, never by hand.",
"campaign": "p022-cp4",
"definition": "docs/evidence/p022-cp4-mutations.json",
"definition_sha256": "15b10f36c0d2b46b5e3d4815babc57bfbebefecde0f6c5579e7e9d666bd1edb9",
"source_commit": "5553dae32ddf5d22592e11e84c8ed10e8c2fbc3e",
"definition_sha256": "c4ca44f6bbc92cdd146931107e1e4959e1bdeb79eed9a717a874b31eba2ae42e",
"source_commit": "5085a5152916b1dae260781cf850733095720fe6",
"dirty": false,
"recorded_at": "2026-09-06T15:08:56Z",
"recorded_at": "2026-09-06T20:51:00Z",
"packages": [
"own-analysis",
"own-bridge",
Expand All @@ -22,7 +22,7 @@
"id": "M00",
"outcome": "survived",
"catchers": [],
"elapsed_seconds": 1.6
"elapsed_seconds": 3.0
},
"mutations": [
{
Expand All @@ -32,39 +32,39 @@
"own-bridge/src/lib.rs::verdict::tests::only_error_severity_core_verdicts_are_mapped",
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.6
"elapsed_seconds": 3.3
},
{
"id": "M02",
"outcome": "caught",
"catchers": [
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.9
"elapsed_seconds": 4.4
},
{
"id": "M03",
"outcome": "caught",
"catchers": [
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.9
"elapsed_seconds": 4.1
},
{
"id": "M04",
"outcome": "caught",
"catchers": [
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.8
"elapsed_seconds": 3.9
},
{
"id": "M05",
"outcome": "caught",
"catchers": [
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.8
"elapsed_seconds": 3.9
},
{
"id": "M06",
Expand All @@ -81,41 +81,43 @@
"own-analysis/tests/fact_parity.rs::di_fact_parity",
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.9
"elapsed_seconds": 4.2
},
{
"id": "M08",
"outcome": "caught",
"catchers": [
"own-bridge/tests/renders.rs::replays_every_rendered_surface_byte_for_byte",
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden",
"own-shadow/tests/engine.rs::this_engine_reproduces_its_committed_capture"
],
"elapsed_seconds": 3.8
"elapsed_seconds": 4.1
},
{
"id": "M09",
"outcome": "caught",
"catchers": [
"own-bridge/src/lib.rs::verdict::tests::malformed_effect_entries_are_skipped_not_coerced"
],
"elapsed_seconds": 3.9
"elapsed_seconds": 4.0
},
{
"id": "M10",
"outcome": "caught",
"catchers": [
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.9
"elapsed_seconds": 4.0
},
{
"id": "M11",
"outcome": "caught",
"catchers": [
"own-bridge/tests/renders.rs::replays_every_rendered_surface_byte_for_byte",
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden",
"own-shadow/tests/engine.rs::this_engine_reproduces_its_committed_capture"
],
"elapsed_seconds": 4.6
"elapsed_seconds": 4.7
},
{
"id": "M12",
Expand All @@ -124,10 +126,11 @@
"own-analysis/tests/subject.rs::leak_carries_the_acquire_origin",
"own-analysis/tests/subject.rs::origin_is_inherited_across_a_move",
"own-analysis/tests/subject.rs::param_leak_carries_the_param_origin",
"own-bridge/tests/renders.rs::replays_every_rendered_surface_byte_for_byte",
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden",
"own-shadow/tests/engine.rs::this_engine_reproduces_its_committed_capture"
],
"elapsed_seconds": 4.8
"elapsed_seconds": 4.7
},
{
"id": "M13",
Expand All @@ -136,41 +139,43 @@
"own-analysis/tests/subject.rs::region_escape_carries_the_source_identity",
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.9
"elapsed_seconds": 4.0
},
{
"id": "M14",
"outcome": "caught",
"catchers": [
"own-bridge/tests/renders.rs::replays_every_rendered_surface_byte_for_byte",
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden",
"own-shadow/tests/engine.rs::this_engine_reproduces_its_committed_capture"
],
"elapsed_seconds": 3.9
"elapsed_seconds": 4.4
},
{
"id": "M15",
"outcome": "caught",
"catchers": [
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.8
"elapsed_seconds": 3.9
},
{
"id": "M16",
"outcome": "caught",
"catchers": [
"own-bridge/tests/renders.rs::replays_every_rendered_surface_byte_for_byte",
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden",
"own-shadow/tests/engine.rs::this_engine_reproduces_its_committed_capture"
],
"elapsed_seconds": 3.8
"elapsed_seconds": 4.1
},
{
"id": "M17",
"outcome": "caught",
"catchers": [
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.7
"elapsed_seconds": 4.1
},
{
"id": "M18",
Expand All @@ -179,39 +184,40 @@
"own-bridge/src/lib.rs::verdict::tests::dedup_keeps_findings_that_differ_only_in_an_unobservable_key_member",
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.8
"elapsed_seconds": 4.2
},
{
"id": "M19",
"outcome": "caught",
"catchers": [
"own-bridge/src/lib.rs::verdict::tests::only_error_severity_core_verdicts_are_mapped"
],
"elapsed_seconds": 3.6
"elapsed_seconds": 3.9
},
{
"id": "M20",
"outcome": "caught",
"catchers": [
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.6
"elapsed_seconds": 4.0
},
{
"id": "M21",
"outcome": "caught",
"catchers": [
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.8
"elapsed_seconds": 4.2
},
{
"id": "M22",
"outcome": "caught",
"catchers": [
"own-bridge/tests/renders.rs::replays_every_rendered_surface_byte_for_byte",
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.6
"elapsed_seconds": 4.1
},
{
"id": "M23",
Expand All @@ -221,68 +227,70 @@
"own-bridge/src/lib.rs::verdict::tests::every_di_lifetime_phrase_is_pinned_including_the_unreachable_two",
"own-bridge/src/lib.rs::verdict::tests::only_error_severity_core_verdicts_are_mapped",
"own-bridge/src/lib.rs::verdict::tests::the_capture_route_names_a_non_static_source_it_can_never_be_handed",
"own-bridge/tests/renders.rs::replays_every_rendered_surface_byte_for_byte",
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden",
"own-shadow/tests/engine.rs::this_engine_reproduces_its_committed_capture"
],
"elapsed_seconds": 3.7
"elapsed_seconds": 4.1
},
{
"id": "M24",
"outcome": "caught",
"catchers": [
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.8
"elapsed_seconds": 4.0
},
{
"id": "M25",
"outcome": "caught",
"catchers": [
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.9
"elapsed_seconds": 4.1
},
{
"id": "M26",
"outcome": "caught",
"catchers": [
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.8
"elapsed_seconds": 4.1
},
{
"id": "M27",
"outcome": "caught",
"catchers": [
"own-bridge/src/lib.rs::verdict::tests::dedup_keeps_findings_that_differ_only_in_an_unobservable_key_member"
],
"elapsed_seconds": 3.5
"elapsed_seconds": 4.0
},
{
"id": "M28",
"outcome": "caught",
"catchers": [
"own-bridge/src/lib.rs::verdict::tests::dedup_keeps_findings_that_differ_only_in_an_unobservable_key_member"
],
"elapsed_seconds": 3.6
"elapsed_seconds": 4.1
},
{
"id": "M29",
"outcome": "caught",
"catchers": [
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden"
],
"elapsed_seconds": 3.7
"elapsed_seconds": 4.1
},
{
"id": "M30",
"outcome": "caught",
"catchers": [
"own-bridge/src/lib.rs::verdict::tests::di_coercions_match_the_reference",
"own-bridge/tests/renders.rs::replays_every_rendered_surface_byte_for_byte",
"own-bridge/tests/verdicts.rs::replays_every_case_to_its_golden",
"own-shadow/tests/engine.rs::this_engine_reproduces_its_committed_capture"
],
"elapsed_seconds": 3.9
"elapsed_seconds": 4.3
}
]
}
Loading
Loading