Skip to content

Retire 10 legacy extdeps frontier rows whose module defines exactly one declaration #12967

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
gunbai-bot merged 5 commits into from
Oct 3, 2026
Merged

Retire 10 legacy extdeps frontier rows whose module defines exactly one declaration #12967

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
0eca339
extdeps scope: retire 45 frontier rows whose subject is the module's …
Oct 2, 2026
eb2b296
extdeps scope: tighten retirement to the 10 single-declaration module…
Oct 2, 2026
917b39f
Merge remote-tracking branch 'origin/main' into session/vivid-ibex-684
Oct 2, 2026
18ea2b6
extdeps mechanism: drop stale non_fold_residue row for totalled place…
Oct 2, 2026
c2b6da4
Merge remote-tracking branch 'origin/main' into session/vivid-ibex-684
Oct 3, 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
10 changes: 10 additions & 0 deletions dag/extdeps/boot/framebuffer.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,11 +4,21 @@ module extdeps.boot.framebuffer
import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import std.types { Int }
import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef }
import std.decl_ref { DeclarationRef, WholeDeclaration }
data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
scheme: Https
locator: "wiki.osdev.org/VGA_Hardware"
}
}

data extdeps_model_scope: ExternalModelScope = ExternalModelScope {
subject: ExternalSubjectRef { declaration: DeclarationRef {
module_path: "extdeps.boot.framebuffer", decl_name: "vga_text_mode_base", field: WholeDeclaration
} },
first_citation: extdeps_external_authority_anchor,
further_citations: []
}

data vga_text_mode_base: Int = 753664
10 changes: 10 additions & 0 deletions dag/extdeps/boot/freestanding_payload.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,13 +5,23 @@ import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import extdeps.exec_format { EntryPoint }
import std.types { NonEmptyStr }
import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef }
import std.decl_ref { DeclarationRef, WholeDeclaration }
data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
scheme: Https
locator: "refspecs.linuxfoundation.org/elf/gabi4+/contents.html"
}
}

data extdeps_model_scope: ExternalModelScope = ExternalModelScope {
subject: ExternalSubjectRef { declaration: DeclarationRef {
module_path: "extdeps.boot.freestanding_payload", decl_name: "FreestandingPayloadRef", field: WholeDeclaration
} },
first_citation: extdeps_external_authority_anchor,
further_citations: []
}

type FreestandingPayloadRef
= EmittedPayload { digest: NonEmptyStr, entry: EntryPoint }
| PrebuiltPayload { digest: NonEmptyStr, entry: EntryPoint }
Expand Down
9 changes: 9 additions & 0 deletions dag/extdeps/docker/container_inspect_contracts.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@ import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import std.serialization { CoproductWireContract, StringVariant, SnakeCase }
import std.decl_ref { DeclarationRef, WholeDeclaration }
import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef }

data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
Expand All @@ -12,6 +13,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
}
}

data extdeps_model_scope: ExternalModelScope = ExternalModelScope {
subject: ExternalSubjectRef { declaration: DeclarationRef {
module_path: "extdeps.docker.container_inspect_contracts", decl_name: "container_state_wire_contract", field: WholeDeclaration
} },
first_citation: extdeps_external_authority_anchor,
further_citations: []
}

data container_state_wire_contract: CoproductWireContract = {
coproduct: DeclarationRef { module_path: "extdeps.docker.container_inspect", decl_name: "ContainerState", field: WholeDeclaration }
encoding: StringVariant { naming: SnakeCase }
Expand Down
9 changes: 9 additions & 0 deletions dag/extdeps/github/merge_state_contracts.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@ import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import std.serialization { CoproductWireContract, StringVariant, ScreamingSnakeCase }
import std.decl_ref { DeclarationRef, WholeDeclaration }
import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef }

data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
Expand All @@ -12,6 +13,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
}
}

data extdeps_model_scope: ExternalModelScope = ExternalModelScope {
subject: ExternalSubjectRef { declaration: DeclarationRef {
module_path: "extdeps.github.merge_state_contracts", decl_name: "merge_state_status_wire_contract", field: WholeDeclaration
} },
first_citation: extdeps_external_authority_anchor,
further_citations: []
}

data merge_state_status_wire_contract: CoproductWireContract = {
coproduct: DeclarationRef { module_path: "extdeps.github.merge_state", decl_name: "MergeStateStatus", field: WholeDeclaration },
encoding: StringVariant { naming: ScreamingSnakeCase }
Expand Down
9 changes: 9 additions & 0 deletions dag/extdeps/github/mergeable_state_contracts.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@ import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import std.serialization { CoproductWireContract, StringVariant, ScreamingSnakeCase }
import std.decl_ref { DeclarationRef, WholeDeclaration }
import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef }

data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
Expand All @@ -12,6 +13,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
}
}

data extdeps_model_scope: ExternalModelScope = ExternalModelScope {
subject: ExternalSubjectRef { declaration: DeclarationRef {
module_path: "extdeps.github.mergeable_state_contracts", decl_name: "mergeable_state_wire_contract", field: WholeDeclaration
} },
first_citation: extdeps_external_authority_anchor,
further_citations: []
}

data mergeable_state_wire_contract: CoproductWireContract = {
coproduct: DeclarationRef { module_path: "extdeps.github.mergeable_state", decl_name: "MergeableState", field: WholeDeclaration },
encoding: StringVariant { naming: ScreamingSnakeCase }
Expand Down
10 changes: 10 additions & 0 deletions dag/extdeps/gpu/apple.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,8 @@ import std.measure { hardware_thread_count, bandwidth, gibibyte, gibibyte_to_byt

import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef }
import std.decl_ref { DeclarationRef, WholeDeclaration }

data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
Expand All @@ -15,6 +17,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
}
}

data extdeps_model_scope: ExternalModelScope = ExternalModelScope {
subject: ExternalSubjectRef { declaration: DeclarationRef {
module_path: "extdeps.gpu.apple", decl_name: "apple_m5_gpu_catalog", field: WholeDeclaration
} },
first_citation: extdeps_external_authority_anchor,
further_citations: []
}

data apple_m5_gpu_catalog: GpuModelCatalogRow = GpuModelCatalogRow {
vendor: apple,
model: "Apple M5 GPU",
Expand Down
10 changes: 10 additions & 0 deletions dag/extdeps/languages/html_fragment.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@ import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import std.markup { Fragment, serialize_fragment_with }
import extdeps.languages.html { html_markup_medium }
import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef }
import std.decl_ref { DeclarationRef, WholeDeclaration }

data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
Expand All @@ -12,6 +14,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
}
}

data extdeps_model_scope: ExternalModelScope = ExternalModelScope {
subject: ExternalSubjectRef { declaration: DeclarationRef {
module_path: "extdeps.languages.html_fragment", decl_name: "serialize_fragment", field: WholeDeclaration
} },
first_citation: extdeps_external_authority_anchor,
further_citations: []
}

fn serialize_fragment(frag: Fragment) -> String {
serialize_fragment_with(frag: frag, medium: html_markup_medium())
}
10 changes: 10 additions & 0 deletions dag/extdeps/languages/lean/overflow.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,8 @@ module extdeps.languages.lean.overflow
import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import std.integer { OverflowReturnValueRule, ReturnWrapping }
import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef }
import std.decl_ref { DeclarationRef, WholeDeclaration }

data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
Expand All @@ -11,6 +13,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
}
}

data extdeps_model_scope: ExternalModelScope = ExternalModelScope {
subject: ExternalSubjectRef { declaration: DeclarationRef {
module_path: "extdeps.languages.lean.overflow", decl_name: "lean_upstream_fixed_width_overflow_returns_rule", field: WholeDeclaration
} },
first_citation: extdeps_external_authority_anchor,
further_citations: []
}

// Upstream Lean 4 fixed-precision integer overflow (extdeps_external_authority_anchor, cited
// 2026-08-01): literals that overflow their type's precision are interpreted modulo the precision;
// signed types use twos-complement (lean-lang Fixed-Precision-Integers). Init.Data.UInt.Basic
Expand Down
10 changes: 10 additions & 0 deletions dag/extdeps/llm/anthropic_contracts.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@ import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import extdeps.llm.llm_contracts { llm_snake_wire_contract }
import std.serialization { VariantEncoding }
import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef }
import std.decl_ref { DeclarationRef, WholeDeclaration }

data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
Expand All @@ -12,4 +14,12 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
}
}

data extdeps_model_scope: ExternalModelScope = ExternalModelScope {
subject: ExternalSubjectRef { declaration: DeclarationRef {
module_path: "extdeps.llm.anthropic_contracts", decl_name: "wire_contract", field: WholeDeclaration
} },
first_citation: extdeps_external_authority_anchor,
further_citations: []
}

data wire_contract: VariantEncoding = llm_snake_wire_contract
9 changes: 9 additions & 0 deletions dag/extdeps/systemd/systemd_contracts.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@ import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import std.serialization { CoproductWireContract, StringVariant, SnakeCase }
import std.decl_ref { DeclarationRef, WholeDeclaration }
import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef }

data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
Expand All @@ -12,6 +13,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
}
}

data extdeps_model_scope: ExternalModelScope = ExternalModelScope {
subject: ExternalSubjectRef { declaration: DeclarationRef {
module_path: "extdeps.systemd.systemd_contracts", decl_name: "systemd_unit_active_state_wire_contract", field: WholeDeclaration
} },
first_citation: extdeps_external_authority_anchor,
further_citations: []
}

data systemd_unit_active_state_wire_contract: CoproductWireContract = {
coproduct: DeclarationRef { module_path: "extdeps.systemd", decl_name: "SystemdUnitActiveState", field: WholeDeclaration },
encoding: StringVariant { naming: SnakeCase }
Expand Down
14 changes: 12 additions & 2 deletions dag/gunbc/extdeps_scope_frontier.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -297,7 +297,6 @@ data scope_carrier_paths: List<String> = [
"dag/extdeps/cpu/ampere_altra_platform_hw_design/platform.dag",
"dag/extdeps/bmc/aspeed_ast2500.dag",
"dag/extdeps/bmc/ipmi_channel.dag",
"dag/extdeps/bmc/ipmi_boot_selection.dag",
"dag/extdeps/bmc/ipmi_sdr.dag",
"dag/extdeps/bmc/megarac_fan_policy.dag",
"dag/extdeps/bmc/phosphor_fan_control.dag",
Expand Down Expand Up @@ -570,7 +569,18 @@ data scope_carrier_paths: List<String> = [
"dag/extdeps/bonterms/cloud_terms.dag",
"dag/extdeps/moonshot/kimi_code.dag",
"dag/extdeps/tax/new_jersey_sales_and_use.dag",
"dag/extdeps/tax/new_york_city_sales_and_use.dag"
"dag/extdeps/tax/new_york_city_sales_and_use.dag",
"dag/extdeps/boot/framebuffer.dag",
"dag/extdeps/boot/freestanding_payload.dag",
"dag/extdeps/docker/container_inspect_contracts.dag",
"dag/extdeps/github/merge_state_contracts.dag",
"dag/extdeps/github/mergeable_state_contracts.dag",
"dag/extdeps/gpu/apple.dag",
"dag/extdeps/languages/html_fragment.dag",
"dag/extdeps/languages/lean/overflow.dag",
"dag/extdeps/llm/anthropic_contracts.dag",
"dag/extdeps/systemd/systemd_contracts.dag",

]

data scope_machinery_exempt_paths: List<String> = [
Expand Down
29 changes: 19 additions & 10 deletions dag/gunbc/instruments/extdeps_scope_placement_gate.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,15 +20,19 @@ import gunbc.extdeps_scope_frontier {
DiffAddedObservation, AddedPathsObserved, DiffObserveFailed, DiffParseTruncated,
}

// THIS GATE DOES NOT CURRENTLY RUN (measured 2026-08-19): no workflow in .github/workflows/
// references it, and the only executing CI step is `claim_executor --required-ci`, whose floor phase is the fold this refers to (it was `--required-floor` until the 2026-08-20 consolidation folded parse, regen and the floor into one invocation). The note
// below calls it a "server-side per-PR wall" that "refuses" — present tense, and not true today.
// DESIGN's "Building & checks" section already declares the floor cut's bounded rung drop and names
// the effect gates among what is unguarded; this comment carries that fact to the module a reader
// actually opens. Nothing is re-added, deleted, or re-rostered here — only the description is
// corrected. The durable rule this is an instance of is stated in full in
// tools.prose_row_introduction_gate: the .dag call graph is not the execution graph, and "runs in
// CI" is decided by .github/workflows/ and the fold it invokes, never by who calls whom in .dag.
// EXECUTING ROUTE (re-measured 2026-10-01, replacing a stale "does not run" note from 2026-08-19):
// this gate DOES execute on a CI route. It runs wherever `claim_executor --required-ci` runs the
// required floor's gate witnesses (`.github/workflows/witnesses.yml`), as the
// `extdeps_scope_placement_gate_passes` witness of `tools.floor_effect_gate_witness` — enrolled on
// the GithubActionsCiJob surface by the `ExtdepsScopePlacementGate` row of `commit_gate_roster`
// (dag/gunbc/commit_workflow.dag), projected into `gunbc_ci_floor_gates` by `gunbc.ci_spec`, and
// dispatched by `tools.ci_gates` `run_spec_gate`. Its reds were loud on that route before the
// 2026-08-24 loudness repair (ten consecutive `extdeps_scope_placement_gate_passes` reds are
// recorded at cli_run::entry_resolve's failure-receipt companion note), and the required floor
// has billed the gate row directly (83.0s before the module-path-index warm, required_floor_runner
// quarantine note). The durable rule the old note was an instance of still holds: the .dag call
// graph is not the execution graph, and "runs in CI" is decided by the executing fold
// (`claim_executor --required-ci`) reading the gate roster — never by who calls whom in .dag.
// Server-side per-PR wall for the ExternalModelScope disk-to-roster direction (codex review 46281;
// modeled on the publication placement gate pattern, whose own gate was deleted by operator ruling
// in #7591 — this gate is independent and remains). It collects Added/Copied/Renamed paths with
Expand Down Expand Up @@ -63,7 +67,12 @@ fn diff_added_paths_observation(success: Bool, raw: String) -> DiffAddedObservat
DiffAddedStatus => concat(acc, [entry.path])
DiffCopiedStatus { similarity: _ } => concat(acc, [entry.path])
DiffRenamedStatus { similarity: _ } => concat(acc, [entry.path])
_ => acc
DiffDeletedStatus => acc
DiffModifiedStatus => acc
DiffPairingBrokenStatus => acc
DiffTypeChangedStatus => acc
DiffUnmergedStatus => acc
DiffUnknownGitStatus { raw: _ } => acc
}
})
}
Expand Down
10 changes: 0 additions & 10 deletions dag/gunbc/legacy_extdeps_scope_frontier.tsv
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -34,8 +34,6 @@ dag/extdeps/bmc/webui/nbd_proxy_serve.dag
dag/extdeps/boards/asrock_rack.dag
dag/extdeps/boards/types.dag
dag/extdeps/boot/emit.dag
dag/extdeps/boot/framebuffer.dag
dag/extdeps/boot/freestanding_payload.dag
dag/extdeps/boot/freestanding_witness.dag
dag/extdeps/boot/linux_x86_boot.dag
dag/extdeps/bootloader/grub.dag
Expand Down Expand Up @@ -96,7 +94,6 @@ dag/extdeps/ctrl/gunbc_pin.dag
dag/extdeps/currency/currency.dag
dag/extdeps/dhcp/v4.dag
dag/extdeps/dns/domain_name.dag
dag/extdeps/docker/container_inspect_contracts.dag
dag/extdeps/docker/container_inspect.dag
dag/extdeps/docker/container_stats.dag
dag/extdeps/docker/docker.dag
Expand Down Expand Up @@ -142,9 +139,7 @@ dag/extdeps/github/github_contracts.dag
dag/extdeps/github/github.dag
dag/extdeps/github/hosted_runners.dag
dag/extdeps/github/log_annotations.dag
dag/extdeps/github/mergeable_state_contracts.dag
dag/extdeps/github/mergeable_state.dag
dag/extdeps/github/merge_state_contracts.dag
dag/extdeps/github/merge_state.dag
dag/extdeps/github/pulls_contracts.dag
dag/extdeps/github/pulls.dag
Expand All @@ -153,7 +148,6 @@ dag/extdeps/github/workflow_runs.dag
dag/extdeps/github/workflows.dag
dag/extdeps/git/object_store.dag
dag/extdeps/git/versioning.dag
dag/extdeps/gpu/apple.dag
dag/extdeps/gpu/machine_shape.dag
dag/extdeps/gpu/nvidia.dag
dag/extdeps/gpu/types.dag
Expand All @@ -176,7 +170,6 @@ dag/extdeps/languages/go/syntax.dag
dag/extdeps/languages/go/types.dag
dag/extdeps/languages/gpu/wgsl/kernel.dag
dag/extdeps/languages/html.dag
dag/extdeps/languages/html_fragment.dag
dag/extdeps/languages/json/emit.dag
dag/extdeps/languages/json/grammar.dag
dag/extdeps/languages/json/parse.dag
Expand All @@ -203,7 +196,6 @@ dag/extdeps/languages/yaml/ingest.dag
dag/extdeps/languages/yaml/types.dag
dag/extdeps/linux/proc_meminfo.dag
dag/extdeps/linux/usb_gadget.dag
dag/extdeps/llm/anthropic_contracts.dag
dag/extdeps/llm/anthropic.dag
dag/extdeps/llm/anthropic_errors.dag
dag/extdeps/llm/anthropic_rest.dag
Expand Down Expand Up @@ -325,7 +317,6 @@ dag/extdeps/sudo/nopasswd_execute_probe_check_op.dag
dag/extdeps/sudo/nopasswd_execute_probe.dag
dag/extdeps/systemd/oomd.dag
dag/extdeps/systemd/systemctl.dag
dag/extdeps/systemd/systemd_contracts.dag
dag/extdeps/systemd/systemd.dag
dag/extdeps/tailscale/acl_api.dag
dag/extdeps/tailscale/acl.dag
Expand Down Expand Up @@ -378,5 +369,4 @@ dag/extdeps/version.dag
dag/extdeps/version/pep440.dag
dag/extdeps/version/semver.dag
dag/extdeps/web_audio/web_audio.dag
dag/extdeps/languages/lean/overflow.dag
dag/extdeps/project_schedule/cpm_pert.dag
1 change: 0 additions & 1 deletion dag/gunbc/non_fold_residue.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1280,7 +1280,6 @@ data non_fold_residue_frontier: List<FrontierRow> = [
FrontierRow { subject: PathSubject { path: "dag/gunbc/instruments/emit_copy_qualification_transport.dag::result_at" }, reason: nfr_reason_typed_census_ca5ed1724b, dissolution: nfr_dissolve_owning_fold },
FrontierRow { subject: PathSubject { path: "dag/gunbc/instruments/emit_copy_qualification_transport.dag::runtime_for_case" }, reason: nfr_reason_typed_census_ca5ed1724b, dissolution: nfr_dissolve_owning_fold },
FrontierRow { subject: PathSubject { path: "dag/gunbc/instruments/emit_host_transport.dag::c_emit_host_green_holds" }, reason: nfr_reason_typed_census_ca5ed1724b, dissolution: nfr_dissolve_owning_fold },
FrontierRow { subject: PathSubject { path: "dag/gunbc/instruments/extdeps_scope_placement_gate.dag::diff_added_paths_observation" }, reason: nfr_reason_typed_census_ca5ed1724b, dissolution: nfr_dissolve_owning_fold },
FrontierRow { subject: PathSubject { path: "dag/gunbc/instruments/fabric_control_plane_live_probe.dag::fci1_assert_cell_admitted" }, reason: nfr_reason_typed_census_ca5ed1724b, dissolution: nfr_dissolve_owning_fold },
FrontierRow { subject: PathSubject { path: "dag/gunbc/instruments/fabric_control_plane_live_probe.dag::fci1_assert_exact_absent_to_free_control" }, reason: nfr_reason_typed_census_ca5ed1724b, dissolution: nfr_dissolve_owning_fold },
FrontierRow { subject: PathSubject { path: "dag/gunbc/instruments/fabric_control_plane_live_probe.dag::fci1_assert_exact_free_to_free_control" }, reason: nfr_reason_typed_census_ca5ed1724b, dissolution: nfr_dissolve_owning_fold },
Expand Down