From 0eca3397e4ab589b0fa986301ab454424c0697b0 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Fri, 2 Oct 2026 08:21:24 +0000 Subject: [PATCH 1/3] extdeps scope: retire 45 frontier rows whose subject is the module's single declaration The 45 kept rows are the modules defining exactly one candidate declaration (type, data or fn; helper/authority names excluded) -- the rule the 464 hand-adopted carriers already on main follow in every single-declaration case (114/114, no counterexamples). Multi-declaration modules keep their frontier rows until each subject is certified by a per-module reading, a split, or a vocabulary extension. - manifest 382 -> 337 (single-column frozen artifact, remove-only) - carrier list 464 -> 509; rosters disjoint; three-way cover holds - placement-gate route comment corrected (gate is rostered and executing) - generated mirrors: extdeps_languages_python_types.rs via --regen-round-cost (converged; v1_rt.rs/lib.rs byte-identical to main) - touches nothing outside dag/extdeps, the frontier artifact, its carrier roster, the gate instrument comment, and that one mirror --- dag/extdeps/bmc/ipmi.dag | 10 ++++ dag/extdeps/bmc/openbmc.dag | 10 ++++ .../bmc/os_install_actuator_toolchain.dag | 10 ++++ dag/extdeps/bmc/webui/nbd_proxy_serve.dag | 10 ++++ dag/extdeps/boot/framebuffer.dag | 10 ++++ dag/extdeps/boot/freestanding_payload.dag | 10 ++++ dag/extdeps/container/docker_ce.dag | 10 ++++ .../docker/container_inspect_contracts.dag | 9 ++++ dag/extdeps/filesystem/ntfs.dag | 10 ++++ dag/extdeps/filesystem/posix.dag | 10 ++++ dag/extdeps/formats/dnsmasq.dag | 10 ++++ dag/extdeps/formats/elf/encode.dag | 10 ++++ dag/extdeps/formats/elf/relocation.dag | 10 ++++ dag/extdeps/formats/elf/sections.dag | 10 ++++ dag/extdeps/formats/elf/segments.dag | 10 ++++ dag/extdeps/git/hooks.dag | 10 ++++ dag/extdeps/github/errors.dag | 10 ++++ dag/extdeps/github/hosted_runners.dag | 10 ++++ dag/extdeps/github/log_annotations.dag | 10 ++++ dag/extdeps/github/merge_state.dag | 10 ++++ dag/extdeps/github/merge_state_contracts.dag | 9 ++++ dag/extdeps/github/mergeable_state.dag | 10 ++++ .../github/mergeable_state_contracts.dag | 9 ++++ dag/extdeps/github/workflows.dag | 10 ++++ dag/extdeps/gpu/apple.dag | 10 ++++ dag/extdeps/languages/css/properties.dag | 10 ++++ dag/extdeps/languages/css/selectors.dag | 10 ++++ dag/extdeps/languages/gpu/wgsl/kernel.dag | 9 ++++ dag/extdeps/languages/html_fragment.dag | 10 ++++ dag/extdeps/languages/lean/overflow.dag | 10 ++++ dag/extdeps/languages/python/types.dag | 10 ++++ dag/extdeps/languages/react_jsx.dag | 9 ++++ dag/extdeps/llm/anthropic_contracts.dag | 10 ++++ dag/extdeps/llm/anthropic_rest.dag | 10 ++++ dag/extdeps/llm/openai_rest.dag | 10 ++++ dag/extdeps/network/address.dag | 10 ++++ dag/extdeps/os/macos.dag | 10 ++++ dag/extdeps/os/ubuntu.dag | 10 ++++ dag/extdeps/os/windows.dag | 10 ++++ dag/extdeps/render/glyph.dag | 10 ++++ dag/extdeps/render/terminal_capability.dag | 10 ++++ dag/extdeps/render/tier_glyphs.dag | 10 ++++ dag/extdeps/rust/std_process.dag | 10 ++++ dag/extdeps/systemd/systemd_contracts.dag | 9 ++++ dag/extdeps/tcgplayer/store.dag | 10 ++++ dag/gunbc/extdeps_scope_frontier.dag | 51 +++++++++++++++++-- .../extdeps_scope_placement_gate.dag | 22 ++++---- dag/gunbc/legacy_extdeps_scope_frontier.tsv | 45 ---------------- .../src/extdeps_languages_python_types.rs | 25 ++++++++- 49 files changed, 528 insertions(+), 59 deletions(-) diff --git a/dag/extdeps/bmc/ipmi.dag b/dag/extdeps/bmc/ipmi.dag index 7b78825fb30..16695621d03 100644 --- a/dag/extdeps/bmc/ipmi.dag +++ b/dag/extdeps/bmc/ipmi.dag @@ -8,6 +8,8 @@ import v2.std.optional { Present, Absent } import std.algebra { trim } import v2.std.algebra { filter } import std.resources { Network } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } +import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { scheme: Https @@ -15,6 +17,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.bmc.ipmi", decl_name: "IpmitoolSolActivateRefusal", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + // THE WRITE HALF OF THE IPMI CHASSIS INTERFACE was added 2026-09-05 beside the three readonly // operations this service already carried (IPMI v2.0 rev1.1 §28, Chassis Device Commands: Set // System Boot Options and Chassis Control). ChassisBootDev and ChassisPowerControl are not diff --git a/dag/extdeps/bmc/openbmc.dag b/dag/extdeps/bmc/openbmc.dag index fc2729b8f3a..b3b12ae98b3 100644 --- a/dag/extdeps/bmc/openbmc.dag +++ b/dag/extdeps/bmc/openbmc.dag @@ -5,6 +5,8 @@ import extdeps.uri { Uri, Https } import extdeps.bmc.endpoint { BmcProtocol, Redfish, Ipmi } import std.credentials { FactoryLogin } import std.types { List } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } +import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -13,6 +15,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.bmc.openbmc", decl_name: "RedfishHostStorageVisibility", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + data openbmc_factory_login: FactoryLogin = FactoryLogin { username: "root", published_password: "0penBmc", diff --git a/dag/extdeps/bmc/os_install_actuator_toolchain.dag b/dag/extdeps/bmc/os_install_actuator_toolchain.dag index 147e6ae10dd..4eed4b3e118 100644 --- a/dag/extdeps/bmc/os_install_actuator_toolchain.dag +++ b/dag/extdeps/bmc/os_install_actuator_toolchain.dag @@ -10,6 +10,8 @@ import extdeps.tools.nbdkit { nbdkit_cli_tool } import extdeps.tools.socat { socat_cli_tool } import extdeps.tools.websocat { websocat_cli_tool } import std.types { Bool, List, NonEmptyStr } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } +import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { scheme: Https @@ -17,6 +19,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.bmc.os_install_actuator_toolchain", decl_name: "ActuatorToolchainRequirement", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + type ActuatorToolchainRequirement { required_tools: List } diff --git a/dag/extdeps/bmc/webui/nbd_proxy_serve.dag b/dag/extdeps/bmc/webui/nbd_proxy_serve.dag index afc20f33517..0357525eb35 100644 --- a/dag/extdeps/bmc/webui/nbd_proxy_serve.dag +++ b/dag/extdeps/bmc/webui/nbd_proxy_serve.dag @@ -10,6 +10,8 @@ import extdeps.tools.socat { socat_cli_tool } import extdeps.tools.websocat { websocat_cli_tool } import std.disposition { Disposition, Terminal } import std.types { Bool, Int, List, NonEmptyStr, String } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } +import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -18,6 +20,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.bmc.webui.nbd_proxy_serve", decl_name: "NbdProxyServeTransportIntent", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + data bmcweb_session_token_env_ref: NonEmptyStr = concat("$", "BMCWEB_SESSION_TOKEN") as NonEmptyStr data srv3_nbd_proxy_local_port: Int = 10809 diff --git a/dag/extdeps/boot/framebuffer.dag b/dag/extdeps/boot/framebuffer.dag index cbf1f6e9c60..d237992247b 100644 --- a/dag/extdeps/boot/framebuffer.dag +++ b/dag/extdeps/boot/framebuffer.dag @@ -4,6 +4,8 @@ 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 @@ -11,4 +13,12 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +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 diff --git a/dag/extdeps/boot/freestanding_payload.dag b/dag/extdeps/boot/freestanding_payload.dag index 48a27efc68c..a77100afe80 100644 --- a/dag/extdeps/boot/freestanding_payload.dag +++ b/dag/extdeps/boot/freestanding_payload.dag @@ -5,6 +5,8 @@ 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 @@ -12,6 +14,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +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 } diff --git a/dag/extdeps/container/docker_ce.dag b/dag/extdeps/container/docker_ce.dag index 8d755793772..67efb5fa137 100644 --- a/dag/extdeps/container/docker_ce.dag +++ b/dag/extdeps/container/docker_ce.dag @@ -9,6 +9,8 @@ import std.decl_ref { decl_ref } import std.types { NonEmptyStr, String, List } 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 { @@ -17,6 +19,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.container.docker_ce", decl_name: "DockerCeAptRepo", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + type DockerCeAptRepo { keyring_url: NonEmptyStr keyring_path: NonEmptyStr diff --git a/dag/extdeps/docker/container_inspect_contracts.dag b/dag/extdeps/docker/container_inspect_contracts.dag index c7d5ac47aa6..6cbf9fd6530 100644 --- a/dag/extdeps/docker/container_inspect_contracts.dag +++ b/dag/extdeps/docker/container_inspect_contracts.dag @@ -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 { @@ -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 } diff --git a/dag/extdeps/filesystem/ntfs.dag b/dag/extdeps/filesystem/ntfs.dag index cd3da9e1638..2742c412446 100644 --- a/dag/extdeps/filesystem/ntfs.dag +++ b/dag/extdeps/filesystem/ntfs.dag @@ -4,6 +4,8 @@ module extdeps.filesystem.ntfs import extdeps.external_authority { ExternalAuthority } import extdeps.uri { Uri, Https } import std.filesystem.types { EntryKind } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } +import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { scheme: Https @@ -11,6 +13,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.filesystem.ntfs", decl_name: "NtfsEntryType", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + type NtfsEntryType = NormalFile | NtfsDirectory diff --git a/dag/extdeps/filesystem/posix.dag b/dag/extdeps/filesystem/posix.dag index 67b421609ca..a79329f3baf 100644 --- a/dag/extdeps/filesystem/posix.dag +++ b/dag/extdeps/filesystem/posix.dag @@ -4,6 +4,8 @@ module extdeps.filesystem.posix import extdeps.external_authority { ExternalAuthority } import extdeps.uri { Uri, Https } import std.filesystem.types { EntryKind } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } +import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { scheme: Https @@ -11,6 +13,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.filesystem.posix", decl_name: "PosixFileType", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + type PosixFileType = S_IFREG | S_IFDIR diff --git a/dag/extdeps/formats/dnsmasq.dag b/dag/extdeps/formats/dnsmasq.dag index bda4feb4568..3eadc6265e6 100644 --- a/dag/extdeps/formats/dnsmasq.dag +++ b/dag/extdeps/formats/dnsmasq.dag @@ -9,6 +9,8 @@ import std.layout { doc_concat, doc_line_of, render } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } +import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -17,6 +19,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.formats.dnsmasq", decl_name: "DnsmasqDirective", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + // A TAGGED dhcp-boot CARRIES AT LEAST ONE TAG BY CONSTRUCTION (first_tag): an untagged dhcp-boot // applies to every client on the segment, so an empty tag list would silently invert a restricted // boot line into a permissive one. diff --git a/dag/extdeps/formats/elf/encode.dag b/dag/extdeps/formats/elf/encode.dag index ed6cf6d92e5..5635b288a58 100644 --- a/dag/extdeps/formats/elf/encode.dag +++ b/dag/extdeps/formats/elf/encode.dag @@ -7,6 +7,8 @@ import extdeps.formats.elf.primitives { ElfClass, ElfDataEncoding, ElfFileType, import extdeps.formats.elf.segments { Elf64Phdr } import extdeps.formats.elf.types { Elf64Ehdr, ElfIdent, byte_at_in_bounds, decode_elf64_ehdr } import std.types { Bool, Int, List } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } +import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { scheme: Https @@ -14,6 +16,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.formats.elf.encode", decl_name: "elf_ident_padding_zeros", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + data elf_ident_padding_zeros: List = [0, 0, 0, 0, 0, 0, 0] fn u8_le_byte(value: Int) -> Int { diff --git a/dag/extdeps/formats/elf/relocation.dag b/dag/extdeps/formats/elf/relocation.dag index c9b0a2fc5de..a29c11e09c2 100644 --- a/dag/extdeps/formats/elf/relocation.dag +++ b/dag/extdeps/formats/elf/relocation.dag @@ -4,6 +4,8 @@ module extdeps.formats.elf.relocation 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 @@ -11,6 +13,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.formats.elf.relocation", decl_name: "Elf64Rela", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + data r_x86_64_none: Int = 0 data r_x86_64_64: Int = 1 data r_x86_64_pc32: Int = 2 diff --git a/dag/extdeps/formats/elf/sections.dag b/dag/extdeps/formats/elf/sections.dag index 2085c77028e..d2d1a0ddc8a 100644 --- a/dag/extdeps/formats/elf/sections.dag +++ b/dag/extdeps/formats/elf/sections.dag @@ -4,6 +4,8 @@ module extdeps.formats.elf.sections 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 @@ -11,6 +13,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.formats.elf.sections", decl_name: "Elf64Shdr", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + type Elf64Shdr { name_offset: Int section_type: Int diff --git a/dag/extdeps/formats/elf/segments.dag b/dag/extdeps/formats/elf/segments.dag index a36662d0f7a..e6282f06476 100644 --- a/dag/extdeps/formats/elf/segments.dag +++ b/dag/extdeps/formats/elf/segments.dag @@ -7,6 +7,8 @@ import extdeps.formats.elf.primitives { ElfSegmentType } import extdeps.formats.elf.types { UnsupportedElfSegmentType, read_u32_le_in_bounds, read_u64_le_in_bounds } import extdeps.exec_format { LoadSegment, SegmentPermission } import std.types { Int, List } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } +import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { scheme: Https @@ -14,6 +16,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.formats.elf.segments", decl_name: "Elf64Phdr", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + type Elf64Phdr { segment_type: ElfSegmentType flags: Int diff --git a/dag/extdeps/git/hooks.dag b/dag/extdeps/git/hooks.dag index d180df039cc..8e8d475e93f 100644 --- a/dag/extdeps/git/hooks.dag +++ b/dag/extdeps/git/hooks.dag @@ -3,6 +3,8 @@ module extdeps.git.hooks import extdeps.external_authority { ExternalAuthority } import extdeps.uri { Uri, Https } import std.types { List } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } +import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -11,6 +13,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.git.hooks", decl_name: "PrePushStdinRow", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + type PrePushStdinRow { local_ref: String local_sha: String diff --git a/dag/extdeps/github/errors.dag b/dag/extdeps/github/errors.dag index fdf8aa0d2c7..3a73ad23bc4 100644 --- a/dag/extdeps/github/errors.dag +++ b/dag/extdeps/github/errors.dag @@ -2,6 +2,8 @@ module extdeps.github.errors 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 { @@ -10,6 +12,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.github.errors", decl_name: "GitHubErrorShape", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + type GitHubErrorShape { message: String documentation_url: String? diff --git a/dag/extdeps/github/hosted_runners.dag b/dag/extdeps/github/hosted_runners.dag index f8b7ff57d76..0cf41519532 100644 --- a/dag/extdeps/github/hosted_runners.dag +++ b/dag/extdeps/github/hosted_runners.dag @@ -12,6 +12,8 @@ import extdeps.github.repository { RepositoryVisibility, PublicRepository, Priva 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 { @@ -20,6 +22,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.github.hosted_runners", decl_name: "GithubHostedRunnerCatalogRow", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + // Cited 2026-07-11 from the hosted-runner hardware tables (the anchor above). GitHub publishes // DIFFERENT specs for one label by repository visibility - standard Linux/Windows runners get // 4 vCPU / 16GB on public repos and 2 vCPU / 8GB on private - so visibility is a first-class axis diff --git a/dag/extdeps/github/log_annotations.dag b/dag/extdeps/github/log_annotations.dag index 2d8bfef3ea2..572c95ce9e0 100644 --- a/dag/extdeps/github/log_annotations.dag +++ b/dag/extdeps/github/log_annotations.dag @@ -2,6 +2,8 @@ module extdeps.github.log_annotations 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 { @@ -10,6 +12,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.github.log_annotations", decl_name: "LogAnnotation", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + type LogAnnotation = AnnotationError { message: String, file: String?, line: Int?, col: Int? } | AnnotationWarning { message: String, file: String?, line: Int?, col: Int? } diff --git a/dag/extdeps/github/merge_state.dag b/dag/extdeps/github/merge_state.dag index 45c681e369d..5307cdac172 100644 --- a/dag/extdeps/github/merge_state.dag +++ b/dag/extdeps/github/merge_state.dag @@ -6,6 +6,8 @@ import extdeps.github.merge_state_contracts { merge_state_status_wire_contract } import std.roster_frontier { FrontierRow, frontier_row_decl } import std.dissolution { unbound_dissolution } import std.decl_ref { decl_ref } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } +import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -14,6 +16,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.github.merge_state", decl_name: "MergeStateStatus", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + type MergeStateStatus = Behind | Blocked diff --git a/dag/extdeps/github/merge_state_contracts.dag b/dag/extdeps/github/merge_state_contracts.dag index b5f0eec1534..bad4257d001 100644 --- a/dag/extdeps/github/merge_state_contracts.dag +++ b/dag/extdeps/github/merge_state_contracts.dag @@ -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 { @@ -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 } diff --git a/dag/extdeps/github/mergeable_state.dag b/dag/extdeps/github/mergeable_state.dag index 0b4d324b7c0..0cd47855b00 100644 --- a/dag/extdeps/github/mergeable_state.dag +++ b/dag/extdeps/github/mergeable_state.dag @@ -3,6 +3,8 @@ module extdeps.github.mergeable_state import extdeps.external_authority { ExternalAuthority } import extdeps.uri { Uri, Https } import extdeps.github.mergeable_state_contracts { mergeable_state_wire_contract } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } +import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -11,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", decl_name: "MergeableState", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + type MergeableState = Mergeable | Conflicting diff --git a/dag/extdeps/github/mergeable_state_contracts.dag b/dag/extdeps/github/mergeable_state_contracts.dag index ce9036eca0d..66885a7b80e 100644 --- a/dag/extdeps/github/mergeable_state_contracts.dag +++ b/dag/extdeps/github/mergeable_state_contracts.dag @@ -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 { @@ -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 } diff --git a/dag/extdeps/github/workflows.dag b/dag/extdeps/github/workflows.dag index 8a78952fb9f..6eda8f67f16 100644 --- a/dag/extdeps/github/workflows.dag +++ b/dag/extdeps/github/workflows.dag @@ -11,6 +11,8 @@ import std.dissolution { unbound_dissolution } import std.decl_ref { decl_ref } import std.resources { Network } import extdeps.ietf.http_semantics { POST } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } +import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -19,6 +21,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.github.workflows", decl_name: "WorkflowDispatchReceipt", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + data workflows_api_version: NonEmptyStr = "2026-03-10" // Create Workflow Dispatch has two live response contracts across GitHub REST versions. Requests diff --git a/dag/extdeps/gpu/apple.dag b/dag/extdeps/gpu/apple.dag index 6c53b1ce343..bcdcf17a48a 100644 --- a/dag/extdeps/gpu/apple.dag +++ b/dag/extdeps/gpu/apple.dag @@ -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 { @@ -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", diff --git a/dag/extdeps/languages/css/properties.dag b/dag/extdeps/languages/css/properties.dag index c604d39c9a8..47bc735588e 100644 --- a/dag/extdeps/languages/css/properties.dag +++ b/dag/extdeps/languages/css/properties.dag @@ -3,6 +3,8 @@ module extdeps.languages.css.properties import std.types { String, Bool, List } 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 { @@ -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.css.properties", decl_name: "CssPropertyName", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + // Cited upstream: the W3C CSS property index (the union of the CSS module specs — box, fonts, // flexbox, backgrounds-and-borders, ...). This is the BOUNDED grain (D5): CssPropertyName // enumerates EXACTLY the properties the register emits today (upstream spellings), so a property diff --git a/dag/extdeps/languages/css/selectors.dag b/dag/extdeps/languages/css/selectors.dag index 6e092888920..58d583be1fe 100644 --- a/dag/extdeps/languages/css/selectors.dag +++ b/dag/extdeps/languages/css/selectors.dag @@ -3,6 +3,8 @@ module extdeps.languages.css.selectors import std.types { String, Bool, List } 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 { @@ -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.css.selectors", decl_name: "SelectorSubject", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + // Cited upstream: W3C Selectors Level 4. The BOUNDED grain (D5): a rule's subject is a typed // SelectorSubject, not a raw string inside an otherwise-typed rule. Three modeled shapes cover the // register's simple subjects — ClassSelector (a single .class), ElementSelector (a type/tag diff --git a/dag/extdeps/languages/gpu/wgsl/kernel.dag b/dag/extdeps/languages/gpu/wgsl/kernel.dag index 5079adf012d..fbc96cfb61e 100644 --- a/dag/extdeps/languages/gpu/wgsl/kernel.dag +++ b/dag/extdeps/languages/gpu/wgsl/kernel.dag @@ -13,6 +13,7 @@ import extdeps.languages.simd.kernel { import std.bytes { pure_dag_seam_unreachable, pure_dag_seam_unreachable_float } import std.disposition { Disposition, Scaffold, SingleAuthority } import std.decl_ref { DeclarationRef, WholeDeclaration } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -21,6 +22,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.languages.gpu.wgsl.kernel", decl_name: "WgslKernelEmitSurface", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + data wgsl_kernel_target_medium_name: NonEmptyStr = "wgsl-compute-relu-mul-add" data wgsl_relu_mul_add_int_kernel_source: String = "@group(0) @binding(0) var a: array;\n@group(0) @binding(1) var b: array;\n@group(0) @binding(2) var c: array;\n@group(0) @binding(3) var result: array;\n@compute @workgroup_size(64)\nfn main(@builtin(global_invocation_id) gid: vec3) {\n let i = gid.x;\n result[i] = max(a[i] * b[i] + c[i], 0);\n}\n" diff --git a/dag/extdeps/languages/html_fragment.dag b/dag/extdeps/languages/html_fragment.dag index cc85015bb52..fe4bc4cf15b 100644 --- a/dag/extdeps/languages/html_fragment.dag +++ b/dag/extdeps/languages/html_fragment.dag @@ -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 { @@ -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()) } diff --git a/dag/extdeps/languages/lean/overflow.dag b/dag/extdeps/languages/lean/overflow.dag index 24e04faf405..71e565c02f4 100644 --- a/dag/extdeps/languages/lean/overflow.dag +++ b/dag/extdeps/languages/lean/overflow.dag @@ -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 { @@ -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 diff --git a/dag/extdeps/languages/python/types.dag b/dag/extdeps/languages/python/types.dag index 5aa2b545bef..a668e163964 100644 --- a/dag/extdeps/languages/python/types.dag +++ b/dag/extdeps/languages/python/types.dag @@ -5,6 +5,8 @@ import std.coercion { } 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 { @@ -13,6 +15,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.languages.python.types", decl_name: "PythonTypeKind", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + data python_type_checkpoints: List = [ { dag_name: "Int", target_type: "int", grounding_type: "int", default_expr: "0", is_copy: none, literal_suffix: none }, { dag_name: "Float", target_type: "float", grounding_type: "float", default_expr: "0.0", is_copy: none, literal_suffix: none }, diff --git a/dag/extdeps/languages/react_jsx.dag b/dag/extdeps/languages/react_jsx.dag index 6661a4efc05..7231ce5e9f8 100644 --- a/dag/extdeps/languages/react_jsx.dag +++ b/dag/extdeps/languages/react_jsx.dag @@ -16,6 +16,7 @@ import extdeps.uri_validation { } import std.disposition { Disposition, Scaffold, RealizationDispatch } import std.decl_ref { DeclarationRef, WholeDeclaration } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -24,6 +25,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.languages.react_jsx", decl_name: "JsxEmitResult", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + // KEEP with mark (#7272 A3; gpu/wgsl treatment). Live CI keystone // corpus_ci_gate_row_react_jsx_emit_keystone + hostile-href XSS control + void_element_test // consumer — not dead vocabulary. No production consumer today. Sole owner: gunb.ai diff --git a/dag/extdeps/llm/anthropic_contracts.dag b/dag/extdeps/llm/anthropic_contracts.dag index bcc59a20a86..b38e4cbc4fb 100644 --- a/dag/extdeps/llm/anthropic_contracts.dag +++ b/dag/extdeps/llm/anthropic_contracts.dag @@ -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 { @@ -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 diff --git a/dag/extdeps/llm/anthropic_rest.dag b/dag/extdeps/llm/anthropic_rest.dag index 953471eba22..325704d57af 100644 --- a/dag/extdeps/llm/anthropic_rest.dag +++ b/dag/extdeps/llm/anthropic_rest.dag @@ -14,6 +14,8 @@ import std.types { NonEmptyStr } import extdeps.api_rate_limit { UpstreamRateLimit, RateLimitPeriod, PerMinute } import std.resources { Network } import extdeps.ietf.http_semantics { POST } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } +import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -22,6 +24,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.llm.anthropic_rest", decl_name: "anthropic_messages_rate_limit", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + service llm.Anthropic { config { endpoint: "https://api.anthropic.com" diff --git a/dag/extdeps/llm/openai_rest.dag b/dag/extdeps/llm/openai_rest.dag index 0863097b6b4..32f8929c33f 100644 --- a/dag/extdeps/llm/openai_rest.dag +++ b/dag/extdeps/llm/openai_rest.dag @@ -13,6 +13,8 @@ import std.types { NonEmptyStr } import extdeps.api_rate_limit { UpstreamRateLimit, RateLimitPeriod, PerMinute } import std.resources { Network } import extdeps.ietf.http_semantics { POST } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } +import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -21,6 +23,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.llm.openai_rest", decl_name: "openai_chat_rate_limit", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + service llm.OpenAI { config { endpoint: "https://api.openai.com" diff --git a/dag/extdeps/network/address.dag b/dag/extdeps/network/address.dag index e935e9baabb..7b894db503f 100644 --- a/dag/extdeps/network/address.dag +++ b/dag/extdeps/network/address.dag @@ -5,6 +5,8 @@ import extdeps.external_authority { ExternalAuthority } import extdeps.uri { Uri, Https } import extdeps.network.ipv4 { Ipv4Address, render_ipv4_address } import extdeps.network.ipv6 { Ipv6Address, ipv6_is_loopback } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } +import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -13,6 +15,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.network.address", decl_name: "IpAddress", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + // An IP address is v4 OR v6 (RFC 791 / RFC 4291) — the honestly CLOSED coproduct over the two // grounded address leaves, not a string. The v4 arm is fully grounded with a wire codec // (extdeps.network.ipv4); the v6 arm's type is grounded but its string codec is staged diff --git a/dag/extdeps/os/macos.dag b/dag/extdeps/os/macos.dag index 8f6b4e0b9fc..df5216501d3 100644 --- a/dag/extdeps/os/macos.dag +++ b/dag/extdeps/os/macos.dag @@ -12,6 +12,8 @@ import extdeps.external_authority { ExternalAuthority } import std.types { String, List } import std.workspace_artifact { WorkspaceFootprint, WorkspaceArtifact, CitedUpstream, HostOsMetadata } 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 { @@ -20,6 +22,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.os.macos", decl_name: "sequoia_15_catalog", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + data sequoia_15_catalog: MacosDistributionCatalogRow = MacosDistributionCatalogRow { distribution: Sequoia15, release_label: "macOS 15 Sequoia", diff --git a/dag/extdeps/os/ubuntu.dag b/dag/extdeps/os/ubuntu.dag index ffda5f12d74..dddf3552d97 100644 --- a/dag/extdeps/os/ubuntu.dag +++ b/dag/extdeps/os/ubuntu.dag @@ -10,6 +10,8 @@ import std.os.types { 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 { @@ -18,6 +20,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.os.ubuntu", decl_name: "noble_numbat_2404_catalog", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + data noble_numbat_2404_catalog: UbuntuDistributionCatalogRow = UbuntuDistributionCatalogRow { distribution: NobleNumbat2404Lts, release_label: "24.04 LTS (Noble Numbat)", diff --git a/dag/extdeps/os/windows.dag b/dag/extdeps/os/windows.dag index 9da8416f263..f08581e48c5 100644 --- a/dag/extdeps/os/windows.dag +++ b/dag/extdeps/os/windows.dag @@ -12,6 +12,8 @@ import extdeps.external_authority { ExternalAuthority } import std.types { String, List } import std.workspace_artifact { WorkspaceFootprint, WorkspaceArtifact, CitedUpstream, HostOsMetadata } 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 { @@ -20,6 +22,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.os.windows", decl_name: "windows_11_24h2_catalog", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + data windows_11_24h2_catalog: WindowsDistributionCatalogRow = WindowsDistributionCatalogRow { distribution: Windows1124H2Build26100, release_label: "24H2", diff --git a/dag/extdeps/render/glyph.dag b/dag/extdeps/render/glyph.dag index f1a6cb75a0f..f0434642d63 100644 --- a/dag/extdeps/render/glyph.dag +++ b/dag/extdeps/render/glyph.dag @@ -2,6 +2,8 @@ module extdeps.render.glyph 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 { @@ -10,6 +12,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.render.glyph", decl_name: "Glyph", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + type Glyph = String where brand("Glyph") fn glyph(text: String) -> Glyph { diff --git a/dag/extdeps/render/terminal_capability.dag b/dag/extdeps/render/terminal_capability.dag index 94e42347274..52d78747efe 100644 --- a/dag/extdeps/render/terminal_capability.dag +++ b/dag/extdeps/render/terminal_capability.dag @@ -5,6 +5,8 @@ import std.symbols { Ascii, Tier, Unicode } 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 { @@ -13,6 +15,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.render.terminal_capability", decl_name: "TerminalEnvironment", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + type TerminalEnvironment { is_tty: Bool ci: Bool diff --git a/dag/extdeps/render/tier_glyphs.dag b/dag/extdeps/render/tier_glyphs.dag index 2f783883141..e285861a684 100644 --- a/dag/extdeps/render/tier_glyphs.dag +++ b/dag/extdeps/render/tier_glyphs.dag @@ -4,6 +4,8 @@ import extdeps.render.glyph { Glyph, glyph_text } import std.symbols { Tier } 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 { @@ -12,6 +14,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.render.tier_glyphs", decl_name: "TierGlyphs", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + type TierGlyphs { ascii: Glyph unicode: Glyph diff --git a/dag/extdeps/rust/std_process.dag b/dag/extdeps/rust/std_process.dag index 2b4064e2f96..a15c27ca4f1 100644 --- a/dag/extdeps/rust/std_process.dag +++ b/dag/extdeps/rust/std_process.dag @@ -2,6 +2,8 @@ module extdeps.rust.std_process 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 { @@ -10,6 +12,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.rust.std_process", decl_name: "StdProcessSpawnOutcome", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + type StdProcessSpawnOutcome = SpawnSucceeded | SpawnFailed diff --git a/dag/extdeps/systemd/systemd_contracts.dag b/dag/extdeps/systemd/systemd_contracts.dag index 909f025d37b..4ba7f67e672 100644 --- a/dag/extdeps/systemd/systemd_contracts.dag +++ b/dag/extdeps/systemd/systemd_contracts.dag @@ -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 { @@ -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 } diff --git a/dag/extdeps/tcgplayer/store.dag b/dag/extdeps/tcgplayer/store.dag index 7dc68c1e8e0..6a2507cbe9b 100644 --- a/dag/extdeps/tcgplayer/store.dag +++ b/dag/extdeps/tcgplayer/store.dag @@ -8,6 +8,8 @@ import extdeps.uri { Uri, Https } import extdeps.tcgplayer.tcgplayer { production_api_base, TcgplayerErrorEnvelope } import extdeps.ietf.http_semantics { HttpMethod } import std.resources { Network } +import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } +import std.decl_ref { WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -16,6 +18,14 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } +data extdeps_model_scope: ExternalModelScope = ExternalModelScope { + subject: ExternalSubjectRef { declaration: DeclarationRef { + module_path: "extdeps.tcgplayer.store", decl_name: "StoreInventoryUpdateResponse", field: WholeDeclaration + } }, + first_citation: extdeps_external_authority_anchor, + further_citations: [] +} + type StoreInventoryUpdateResponse { success: Bool? errors: List? diff --git a/dag/gunbc/extdeps_scope_frontier.dag b/dag/gunbc/extdeps_scope_frontier.dag index 70c932326d7..63f61e8625c 100644 --- a/dag/gunbc/extdeps_scope_frontier.dag +++ b/dag/gunbc/extdeps_scope_frontier.dag @@ -297,8 +297,7 @@ data scope_carrier_paths: List = [ "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/ipmi_sdr.dag", "dag/extdeps/bmc/megarac_fan_policy.dag", "dag/extdeps/bmc/phosphor_fan_control.dag", "dag/extdeps/ocp/mt_mitchell/platform.dag", @@ -436,7 +435,6 @@ data scope_carrier_paths: List = [ "dag/extdeps/vendor/microsoft.dag", "dag/extdeps/vendor/the_wand_company.dag", "dag/extdeps/posix/rusage.dag", - "dag/extdeps/posix/clock_gettime.dag", "dag/extdeps/linux/rusage.dag", "dag/extdeps/darwin/rusage.dag", "dag/extdeps/darwin/sysctl.dag", @@ -570,7 +568,52 @@ data scope_carrier_paths: List = [ "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/bmc/ipmi.dag", + "dag/extdeps/bmc/openbmc.dag", + "dag/extdeps/bmc/os_install_actuator_toolchain.dag", + "dag/extdeps/bmc/webui/nbd_proxy_serve.dag", + "dag/extdeps/boot/framebuffer.dag", + "dag/extdeps/boot/freestanding_payload.dag", + "dag/extdeps/container/docker_ce.dag", + "dag/extdeps/docker/container_inspect_contracts.dag", + "dag/extdeps/filesystem/ntfs.dag", + "dag/extdeps/filesystem/posix.dag", + "dag/extdeps/formats/dnsmasq.dag", + "dag/extdeps/formats/elf/encode.dag", + "dag/extdeps/formats/elf/relocation.dag", + "dag/extdeps/formats/elf/sections.dag", + "dag/extdeps/formats/elf/segments.dag", + "dag/extdeps/git/hooks.dag", + "dag/extdeps/github/errors.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/workflows.dag", + "dag/extdeps/gpu/apple.dag", + "dag/extdeps/languages/css/properties.dag", + "dag/extdeps/languages/css/selectors.dag", + "dag/extdeps/languages/gpu/wgsl/kernel.dag", + "dag/extdeps/languages/html_fragment.dag", + "dag/extdeps/languages/python/types.dag", + "dag/extdeps/languages/react_jsx.dag", + "dag/extdeps/llm/anthropic_contracts.dag", + "dag/extdeps/llm/anthropic_rest.dag", + "dag/extdeps/llm/openai_rest.dag", + "dag/extdeps/network/address.dag", + "dag/extdeps/os/macos.dag", + "dag/extdeps/os/ubuntu.dag", + "dag/extdeps/os/windows.dag", + "dag/extdeps/render/glyph.dag", + "dag/extdeps/render/terminal_capability.dag", + "dag/extdeps/render/tier_glyphs.dag", + "dag/extdeps/rust/std_process.dag", + "dag/extdeps/systemd/systemd_contracts.dag", + "dag/extdeps/tcgplayer/store.dag", + "dag/extdeps/languages/lean/overflow.dag", ] data scope_machinery_exempt_paths: List = [ diff --git a/dag/gunbc/instruments/extdeps_scope_placement_gate.dag b/dag/gunbc/instruments/extdeps_scope_placement_gate.dag index 24f99ed7a30..a2e8af70dd4 100644 --- a/dag/gunbc/instruments/extdeps_scope_placement_gate.dag +++ b/dag/gunbc/instruments/extdeps_scope_placement_gate.dag @@ -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 diff --git a/dag/gunbc/legacy_extdeps_scope_frontier.tsv b/dag/gunbc/legacy_extdeps_scope_frontier.tsv index e701215923e..caf5477ea51 100644 --- a/dag/gunbc/legacy_extdeps_scope_frontier.tsv +++ b/dag/gunbc/legacy_extdeps_scope_frontier.tsv @@ -18,24 +18,18 @@ dag/extdeps/bmc/access.dag dag/extdeps/bmc/capability.dag dag/extdeps/bmc.dag dag/extdeps/bmc/http.dag -dag/extdeps/bmc/ipmi.dag dag/extdeps/bmc/ipmi_boot_selection.dag -dag/extdeps/bmc/openbmc.dag dag/extdeps/bmc/openbmc_fan_control.dag dag/extdeps/bmc/openbmc_operation.dag dag/extdeps/bmc/openbmc_password_ssh_transport.dag -dag/extdeps/bmc/os_install_actuator_toolchain.dag dag/extdeps/bmc/redfish.dag dag/extdeps/bmc/serial_console.dag dag/extdeps/bmc/types.dag dag/extdeps/bmc/virtual_media.dag dag/extdeps/bmc/webui/nbd_proxy.dag -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 @@ -72,7 +66,6 @@ dag/extdeps/color/srgb.dag dag/extdeps/communication/fidelity_carriers.dag dag/extdeps/communication/medium.dag dag/extdeps/communication/numerical_fidelity.dag -dag/extdeps/container/docker_ce.dag dag/extdeps/container/oci/ctrl_session_witness.dag dag/extdeps/container/oci/descriptor.dag dag/extdeps/container/oci/image_config.dag @@ -96,7 +89,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 @@ -112,22 +104,14 @@ dag/extdeps/exec/exec_arg_limit.dag dag/extdeps/exec/xargs.dag dag/extdeps/filesystem/filesystem_io.dag dag/extdeps/filesystem/linux.dag -dag/extdeps/filesystem/ntfs.dag -dag/extdeps/filesystem/posix.dag dag/extdeps/firmware/kernel_cmdline.dag dag/extdeps/firmware/uefi_http_boot.dag dag/extdeps/firmware/uefi_shell.dag -dag/extdeps/formats/dnsmasq.dag -dag/extdeps/formats/elf/encode.dag dag/extdeps/formats/elf/hello_static_witness.dag dag/extdeps/formats/elf/primitives.dag -dag/extdeps/formats/elf/relocation.dag -dag/extdeps/formats/elf/sections.dag -dag/extdeps/formats/elf/segments.dag dag/extdeps/formats/elf/types.dag dag/extdeps/git/git.dag dag/extdeps/git/gitignore.dag -dag/extdeps/git/hooks.dag dag/extdeps/git/inspect.dag dag/extdeps/github/actions.dag dag/extdeps/github/auth.dag @@ -135,25 +119,16 @@ dag/extdeps/github/checks_contracts.dag dag/extdeps/github/checks.dag dag/extdeps/github/ci.dag dag/extdeps/github/ci_runner.dag -dag/extdeps/github/errors.dag dag/extdeps/github/expressions.dag dag/extdeps/github/gists.dag 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 dag/extdeps/github/workflow_runs_contracts.dag 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 @@ -163,8 +138,6 @@ dag/extdeps/http/client.dag dag/extdeps/http/server.dag dag/extdeps/jobserver.dag dag/extdeps/languages/c/emit.dag -dag/extdeps/languages/css/properties.dag -dag/extdeps/languages/css/selectors.dag dag/extdeps/languages/css/values.dag dag/extdeps/languages/dag/emit.dag dag/extdeps/languages/dag/syntax.dag @@ -174,9 +147,7 @@ dag/extdeps/languages/go/module.dag dag/extdeps/languages/go/primitives.dag 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 @@ -184,8 +155,6 @@ dag/extdeps/languages/markdown.dag dag/extdeps/languages/python/emit.dag dag/extdeps/languages/python/primitives.dag dag/extdeps/languages/python/syntax.dag -dag/extdeps/languages/python/types.dag -dag/extdeps/languages/react_jsx.dag dag/extdeps/languages/rust/derive_contracts.dag dag/extdeps/languages/rust/emit.dag dag/extdeps/languages/rust/primitives.dag @@ -203,10 +172,8 @@ 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 dag/extdeps/llm/cli.dag dag/extdeps/llm/cli_lifecycle.dag dag/extdeps/llm/codex_auth.dag @@ -216,13 +183,11 @@ dag/extdeps/llm/llm.dag dag/extdeps/llm/openai_contracts.dag dag/extdeps/llm/openai.dag dag/extdeps/llm/openai_errors.dag -dag/extdeps/llm/openai_rest.dag dag/extdeps/memory.dag dag/extdeps/memory/jedec.dag dag/extdeps/memory/types.dag dag/extdeps/mercurial.dag dag/extdeps/netplan/netplan.dag -dag/extdeps/network/address.dag dag/extdeps/network/endpoint.dag dag/extdeps/network/ipv4.dag dag/extdeps/network/ipv6.dag @@ -232,10 +197,7 @@ dag/extdeps/object_storage/content_addressed.dag dag/extdeps/object_storage/object_storage.dag dag/extdeps/observability.dag dag/extdeps/os.dag -dag/extdeps/os/macos.dag dag/extdeps/os/ubuntu_autoinstall.dag -dag/extdeps/os/ubuntu.dag -dag/extdeps/os/windows.dag dag/extdeps/package_managers/apt.dag dag/extdeps/package_managers/brew.dag dag/extdeps/package_managers/dpkg.dag @@ -272,12 +234,9 @@ dag/extdeps/realization/reconcile_in_process.dag dag/extdeps/realization/resolved_graph.dag dag/extdeps/realization/v1_handler.dag dag/extdeps/render/ansi.dag -dag/extdeps/render/glyph.dag dag/extdeps/render/glyphs.dag dag/extdeps/render/surface.dag -dag/extdeps/render/terminal_capability.dag dag/extdeps/render/terminal.dag -dag/extdeps/render/tier_glyphs.dag dag/extdeps/router/verizon_cr1000a.dag dag/extdeps/runtime/abi/aapcs64.dag dag/extdeps/runtime/abi/sysv_amd64.dag @@ -291,7 +250,6 @@ dag/extdeps/runtime/syscalls/linux.dag dag/extdeps/rust/cargo_build.dag dag/extdeps/rust/cargo.dag dag/extdeps/rust/rustup.dag -dag/extdeps/rust/std_process.dag dag/extdeps/rust/version.dag dag/extdeps/sec/edgar.dag dag/extdeps/sec/edgar_rest.dag @@ -325,14 +283,12 @@ 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 dag/extdeps/tailscale/serve.dag dag/extdeps/tcgplayer/catalog.dag dag/extdeps/tcgplayer/pricing.dag -dag/extdeps/tcgplayer/store.dag dag/extdeps/tcgplayer/tcgplayer.dag dag/extdeps/test/http_pilot.dag dag/extdeps/time/rfc3339.dag @@ -378,5 +334,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 diff --git a/src/v1/stage0/src/extdeps_languages_python_types.rs b/src/v1/stage0/src/extdeps_languages_python_types.rs index db204348730..8b3bb349fee 100644 --- a/src/v1/stage0/src/extdeps_languages_python_types.rs +++ b/src/v1/stage0/src/extdeps_languages_python_types.rs @@ -2,10 +2,14 @@ // Source module: extdeps.languages.python.types use self::PythonTypeKind::*; -pub use crate::extdeps_external_authority::ExternalAuthority; +pub use crate::extdeps_external_authority::{ + ExternalAuthority, ExternalModelScope, ExternalSubjectRef, +}; use crate::extdeps_uri::UriScheme::Https; pub use crate::extdeps_uri::{Uri, UriScheme}; pub use crate::std_coercion::{CallableRepr, CastRule, CastSyntax, InhabitantDecl, TypeCheckpoint}; +use crate::std_decl_ref::DeclField::WholeDeclaration; +pub use crate::std_decl_ref::{DeclField, DeclarationRef}; use crate::v1_rt; use crate::v1_rt::{VecCompat, VecJoin}; use crate::NonEmptyBTreeSet; @@ -27,6 +31,25 @@ pub fn extdeps_external_authority_anchor() -> Rc { CACHED.with(|c: &Rc| c.clone()) } +pub fn extdeps_model_scope() -> Rc { + thread_local! { + static CACHED: Rc = { + Rc::new(ExternalModelScope { + subject: Rc::new(ExternalSubjectRef { + declaration: Rc::new(DeclarationRef { + module_path: "extdeps.languages.python.types".to_string(), + decl_name: "PythonTypeKind".to_string(), + field: Rc::new(DeclField::WholeDeclaration), + }), + }), + first_citation: extdeps_external_authority_anchor(), + further_citations: Rc::new(vec![]), + }) + }; + } + CACHED.with(|c: &Rc| c.clone()) +} + pub fn python_type_checkpoints() -> Rc>> { thread_local! { static CACHED: Rc>> = { From eb2b2963e1e091778ec71567a8f044999d5d40d8 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Fri, 2 Oct 2026 11:02:28 +0000 Subject: [PATCH 2/3] extdeps scope: tighten retirement to the 10 single-declaration modules; total the placement gate's status match Per review and floor findings on 0eca3397e4: - the frontier carrier roster is rebuilt from current origin/main (which had migrated more rows in parallel), so no parallel-migration content is reverted; the stale inherited carrier row for bmc/ipmi_boot_selection.dag (file carries no scope, manifest row untouched) is dropped as disk-contradicting - retirement tightens to modules defining exactly one top-level declaration of any kind; ipmi.dag, openbmc.dag, tcgplayer/store.dag and 32 others go back to the frozen frontier - the placement gate's diff-added-paths fold names all nine GitDiffChangeStatus variants (no wildcard), per the NonFoldResidue affected-set check; no residue roster row needed - regen: first_generation_equal=true; suite 28 PASS / 0 FAIL --- dag/extdeps/bmc/ipmi.dag | 10 ---- dag/extdeps/bmc/openbmc.dag | 10 ---- .../bmc/os_install_actuator_toolchain.dag | 10 ---- dag/extdeps/bmc/webui/nbd_proxy_serve.dag | 10 ---- dag/extdeps/container/docker_ce.dag | 10 ---- dag/extdeps/filesystem/ntfs.dag | 10 ---- dag/extdeps/filesystem/posix.dag | 10 ---- dag/extdeps/formats/dnsmasq.dag | 10 ---- dag/extdeps/formats/elf/encode.dag | 10 ---- dag/extdeps/formats/elf/relocation.dag | 10 ---- dag/extdeps/formats/elf/sections.dag | 10 ---- dag/extdeps/formats/elf/segments.dag | 10 ---- dag/extdeps/git/hooks.dag | 10 ---- dag/extdeps/github/errors.dag | 10 ---- dag/extdeps/github/hosted_runners.dag | 10 ---- dag/extdeps/github/log_annotations.dag | 10 ---- dag/extdeps/github/merge_state.dag | 10 ---- dag/extdeps/github/mergeable_state.dag | 10 ---- dag/extdeps/github/workflows.dag | 10 ---- dag/extdeps/languages/css/properties.dag | 10 ---- dag/extdeps/languages/css/selectors.dag | 10 ---- dag/extdeps/languages/gpu/wgsl/kernel.dag | 9 --- dag/extdeps/languages/python/types.dag | 10 ---- dag/extdeps/languages/react_jsx.dag | 9 --- dag/extdeps/llm/anthropic_rest.dag | 10 ---- dag/extdeps/llm/openai_rest.dag | 10 ---- dag/extdeps/network/address.dag | 10 ---- dag/extdeps/os/macos.dag | 10 ---- dag/extdeps/os/ubuntu.dag | 10 ---- dag/extdeps/os/windows.dag | 10 ---- dag/extdeps/render/glyph.dag | 10 ---- dag/extdeps/render/terminal_capability.dag | 10 ---- dag/extdeps/render/tier_glyphs.dag | 10 ---- dag/extdeps/rust/std_process.dag | 10 ---- dag/extdeps/tcgplayer/store.dag | 10 ---- dag/gunbc/extdeps_scope_frontier.dag | 55 ++++--------------- .../extdeps_scope_placement_gate.dag | 7 ++- dag/gunbc/legacy_extdeps_scope_frontier.tsv | 35 ++++++++++++ .../src/extdeps_languages_python_types.rs | 25 +-------- 39 files changed, 53 insertions(+), 417 deletions(-) diff --git a/dag/extdeps/bmc/ipmi.dag b/dag/extdeps/bmc/ipmi.dag index 16695621d03..7b78825fb30 100644 --- a/dag/extdeps/bmc/ipmi.dag +++ b/dag/extdeps/bmc/ipmi.dag @@ -8,8 +8,6 @@ import v2.std.optional { Present, Absent } import std.algebra { trim } import v2.std.algebra { filter } import std.resources { Network } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } -import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { scheme: Https @@ -17,14 +15,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.bmc.ipmi", decl_name: "IpmitoolSolActivateRefusal", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - // THE WRITE HALF OF THE IPMI CHASSIS INTERFACE was added 2026-09-05 beside the three readonly // operations this service already carried (IPMI v2.0 rev1.1 §28, Chassis Device Commands: Set // System Boot Options and Chassis Control). ChassisBootDev and ChassisPowerControl are not diff --git a/dag/extdeps/bmc/openbmc.dag b/dag/extdeps/bmc/openbmc.dag index b3b12ae98b3..fc2729b8f3a 100644 --- a/dag/extdeps/bmc/openbmc.dag +++ b/dag/extdeps/bmc/openbmc.dag @@ -5,8 +5,6 @@ import extdeps.uri { Uri, Https } import extdeps.bmc.endpoint { BmcProtocol, Redfish, Ipmi } import std.credentials { FactoryLogin } import std.types { List } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } -import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -15,14 +13,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.bmc.openbmc", decl_name: "RedfishHostStorageVisibility", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - data openbmc_factory_login: FactoryLogin = FactoryLogin { username: "root", published_password: "0penBmc", diff --git a/dag/extdeps/bmc/os_install_actuator_toolchain.dag b/dag/extdeps/bmc/os_install_actuator_toolchain.dag index 4eed4b3e118..147e6ae10dd 100644 --- a/dag/extdeps/bmc/os_install_actuator_toolchain.dag +++ b/dag/extdeps/bmc/os_install_actuator_toolchain.dag @@ -10,8 +10,6 @@ import extdeps.tools.nbdkit { nbdkit_cli_tool } import extdeps.tools.socat { socat_cli_tool } import extdeps.tools.websocat { websocat_cli_tool } import std.types { Bool, List, NonEmptyStr } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } -import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { scheme: Https @@ -19,14 +17,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.bmc.os_install_actuator_toolchain", decl_name: "ActuatorToolchainRequirement", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - type ActuatorToolchainRequirement { required_tools: List } diff --git a/dag/extdeps/bmc/webui/nbd_proxy_serve.dag b/dag/extdeps/bmc/webui/nbd_proxy_serve.dag index 0357525eb35..afc20f33517 100644 --- a/dag/extdeps/bmc/webui/nbd_proxy_serve.dag +++ b/dag/extdeps/bmc/webui/nbd_proxy_serve.dag @@ -10,8 +10,6 @@ import extdeps.tools.socat { socat_cli_tool } import extdeps.tools.websocat { websocat_cli_tool } import std.disposition { Disposition, Terminal } import std.types { Bool, Int, List, NonEmptyStr, String } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } -import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -20,14 +18,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.bmc.webui.nbd_proxy_serve", decl_name: "NbdProxyServeTransportIntent", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - data bmcweb_session_token_env_ref: NonEmptyStr = concat("$", "BMCWEB_SESSION_TOKEN") as NonEmptyStr data srv3_nbd_proxy_local_port: Int = 10809 diff --git a/dag/extdeps/container/docker_ce.dag b/dag/extdeps/container/docker_ce.dag index 67efb5fa137..8d755793772 100644 --- a/dag/extdeps/container/docker_ce.dag +++ b/dag/extdeps/container/docker_ce.dag @@ -9,8 +9,6 @@ import std.decl_ref { decl_ref } import std.types { NonEmptyStr, String, List } 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 { @@ -19,14 +17,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.container.docker_ce", decl_name: "DockerCeAptRepo", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - type DockerCeAptRepo { keyring_url: NonEmptyStr keyring_path: NonEmptyStr diff --git a/dag/extdeps/filesystem/ntfs.dag b/dag/extdeps/filesystem/ntfs.dag index 2742c412446..cd3da9e1638 100644 --- a/dag/extdeps/filesystem/ntfs.dag +++ b/dag/extdeps/filesystem/ntfs.dag @@ -4,8 +4,6 @@ module extdeps.filesystem.ntfs import extdeps.external_authority { ExternalAuthority } import extdeps.uri { Uri, Https } import std.filesystem.types { EntryKind } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } -import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { scheme: Https @@ -13,14 +11,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.filesystem.ntfs", decl_name: "NtfsEntryType", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - type NtfsEntryType = NormalFile | NtfsDirectory diff --git a/dag/extdeps/filesystem/posix.dag b/dag/extdeps/filesystem/posix.dag index a79329f3baf..67b421609ca 100644 --- a/dag/extdeps/filesystem/posix.dag +++ b/dag/extdeps/filesystem/posix.dag @@ -4,8 +4,6 @@ module extdeps.filesystem.posix import extdeps.external_authority { ExternalAuthority } import extdeps.uri { Uri, Https } import std.filesystem.types { EntryKind } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } -import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { scheme: Https @@ -13,14 +11,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.filesystem.posix", decl_name: "PosixFileType", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - type PosixFileType = S_IFREG | S_IFDIR diff --git a/dag/extdeps/formats/dnsmasq.dag b/dag/extdeps/formats/dnsmasq.dag index 3eadc6265e6..bda4feb4568 100644 --- a/dag/extdeps/formats/dnsmasq.dag +++ b/dag/extdeps/formats/dnsmasq.dag @@ -9,8 +9,6 @@ import std.layout { doc_concat, doc_line_of, render } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } -import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -19,14 +17,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.formats.dnsmasq", decl_name: "DnsmasqDirective", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - // A TAGGED dhcp-boot CARRIES AT LEAST ONE TAG BY CONSTRUCTION (first_tag): an untagged dhcp-boot // applies to every client on the segment, so an empty tag list would silently invert a restricted // boot line into a permissive one. diff --git a/dag/extdeps/formats/elf/encode.dag b/dag/extdeps/formats/elf/encode.dag index 5635b288a58..ed6cf6d92e5 100644 --- a/dag/extdeps/formats/elf/encode.dag +++ b/dag/extdeps/formats/elf/encode.dag @@ -7,8 +7,6 @@ import extdeps.formats.elf.primitives { ElfClass, ElfDataEncoding, ElfFileType, import extdeps.formats.elf.segments { Elf64Phdr } import extdeps.formats.elf.types { Elf64Ehdr, ElfIdent, byte_at_in_bounds, decode_elf64_ehdr } import std.types { Bool, Int, List } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } -import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { scheme: Https @@ -16,14 +14,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.formats.elf.encode", decl_name: "elf_ident_padding_zeros", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - data elf_ident_padding_zeros: List = [0, 0, 0, 0, 0, 0, 0] fn u8_le_byte(value: Int) -> Int { diff --git a/dag/extdeps/formats/elf/relocation.dag b/dag/extdeps/formats/elf/relocation.dag index a29c11e09c2..c9b0a2fc5de 100644 --- a/dag/extdeps/formats/elf/relocation.dag +++ b/dag/extdeps/formats/elf/relocation.dag @@ -4,8 +4,6 @@ module extdeps.formats.elf.relocation 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 @@ -13,14 +11,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.formats.elf.relocation", decl_name: "Elf64Rela", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - data r_x86_64_none: Int = 0 data r_x86_64_64: Int = 1 data r_x86_64_pc32: Int = 2 diff --git a/dag/extdeps/formats/elf/sections.dag b/dag/extdeps/formats/elf/sections.dag index d2d1a0ddc8a..2085c77028e 100644 --- a/dag/extdeps/formats/elf/sections.dag +++ b/dag/extdeps/formats/elf/sections.dag @@ -4,8 +4,6 @@ module extdeps.formats.elf.sections 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 @@ -13,14 +11,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.formats.elf.sections", decl_name: "Elf64Shdr", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - type Elf64Shdr { name_offset: Int section_type: Int diff --git a/dag/extdeps/formats/elf/segments.dag b/dag/extdeps/formats/elf/segments.dag index e6282f06476..a36662d0f7a 100644 --- a/dag/extdeps/formats/elf/segments.dag +++ b/dag/extdeps/formats/elf/segments.dag @@ -7,8 +7,6 @@ import extdeps.formats.elf.primitives { ElfSegmentType } import extdeps.formats.elf.types { UnsupportedElfSegmentType, read_u32_le_in_bounds, read_u64_le_in_bounds } import extdeps.exec_format { LoadSegment, SegmentPermission } import std.types { Int, List } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } -import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { scheme: Https @@ -16,14 +14,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.formats.elf.segments", decl_name: "Elf64Phdr", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - type Elf64Phdr { segment_type: ElfSegmentType flags: Int diff --git a/dag/extdeps/git/hooks.dag b/dag/extdeps/git/hooks.dag index 8e8d475e93f..d180df039cc 100644 --- a/dag/extdeps/git/hooks.dag +++ b/dag/extdeps/git/hooks.dag @@ -3,8 +3,6 @@ module extdeps.git.hooks import extdeps.external_authority { ExternalAuthority } import extdeps.uri { Uri, Https } import std.types { List } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } -import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -13,14 +11,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.git.hooks", decl_name: "PrePushStdinRow", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - type PrePushStdinRow { local_ref: String local_sha: String diff --git a/dag/extdeps/github/errors.dag b/dag/extdeps/github/errors.dag index 3a73ad23bc4..fdf8aa0d2c7 100644 --- a/dag/extdeps/github/errors.dag +++ b/dag/extdeps/github/errors.dag @@ -2,8 +2,6 @@ module extdeps.github.errors 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 { @@ -12,14 +10,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.github.errors", decl_name: "GitHubErrorShape", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - type GitHubErrorShape { message: String documentation_url: String? diff --git a/dag/extdeps/github/hosted_runners.dag b/dag/extdeps/github/hosted_runners.dag index 0cf41519532..f8b7ff57d76 100644 --- a/dag/extdeps/github/hosted_runners.dag +++ b/dag/extdeps/github/hosted_runners.dag @@ -12,8 +12,6 @@ import extdeps.github.repository { RepositoryVisibility, PublicRepository, Priva 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 { @@ -22,14 +20,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.github.hosted_runners", decl_name: "GithubHostedRunnerCatalogRow", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - // Cited 2026-07-11 from the hosted-runner hardware tables (the anchor above). GitHub publishes // DIFFERENT specs for one label by repository visibility - standard Linux/Windows runners get // 4 vCPU / 16GB on public repos and 2 vCPU / 8GB on private - so visibility is a first-class axis diff --git a/dag/extdeps/github/log_annotations.dag b/dag/extdeps/github/log_annotations.dag index 572c95ce9e0..2d8bfef3ea2 100644 --- a/dag/extdeps/github/log_annotations.dag +++ b/dag/extdeps/github/log_annotations.dag @@ -2,8 +2,6 @@ module extdeps.github.log_annotations 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 { @@ -12,14 +10,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.github.log_annotations", decl_name: "LogAnnotation", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - type LogAnnotation = AnnotationError { message: String, file: String?, line: Int?, col: Int? } | AnnotationWarning { message: String, file: String?, line: Int?, col: Int? } diff --git a/dag/extdeps/github/merge_state.dag b/dag/extdeps/github/merge_state.dag index 5307cdac172..45c681e369d 100644 --- a/dag/extdeps/github/merge_state.dag +++ b/dag/extdeps/github/merge_state.dag @@ -6,8 +6,6 @@ import extdeps.github.merge_state_contracts { merge_state_status_wire_contract } import std.roster_frontier { FrontierRow, frontier_row_decl } import std.dissolution { unbound_dissolution } import std.decl_ref { decl_ref } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } -import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -16,14 +14,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.github.merge_state", decl_name: "MergeStateStatus", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - type MergeStateStatus = Behind | Blocked diff --git a/dag/extdeps/github/mergeable_state.dag b/dag/extdeps/github/mergeable_state.dag index 0cd47855b00..0b4d324b7c0 100644 --- a/dag/extdeps/github/mergeable_state.dag +++ b/dag/extdeps/github/mergeable_state.dag @@ -3,8 +3,6 @@ module extdeps.github.mergeable_state import extdeps.external_authority { ExternalAuthority } import extdeps.uri { Uri, Https } import extdeps.github.mergeable_state_contracts { mergeable_state_wire_contract } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } -import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -13,14 +11,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.github.mergeable_state", decl_name: "MergeableState", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - type MergeableState = Mergeable | Conflicting diff --git a/dag/extdeps/github/workflows.dag b/dag/extdeps/github/workflows.dag index 6eda8f67f16..8a78952fb9f 100644 --- a/dag/extdeps/github/workflows.dag +++ b/dag/extdeps/github/workflows.dag @@ -11,8 +11,6 @@ import std.dissolution { unbound_dissolution } import std.decl_ref { decl_ref } import std.resources { Network } import extdeps.ietf.http_semantics { POST } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } -import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -21,14 +19,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.github.workflows", decl_name: "WorkflowDispatchReceipt", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - data workflows_api_version: NonEmptyStr = "2026-03-10" // Create Workflow Dispatch has two live response contracts across GitHub REST versions. Requests diff --git a/dag/extdeps/languages/css/properties.dag b/dag/extdeps/languages/css/properties.dag index 47bc735588e..c604d39c9a8 100644 --- a/dag/extdeps/languages/css/properties.dag +++ b/dag/extdeps/languages/css/properties.dag @@ -3,8 +3,6 @@ module extdeps.languages.css.properties import std.types { String, Bool, List } 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 { @@ -13,14 +11,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.languages.css.properties", decl_name: "CssPropertyName", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - // Cited upstream: the W3C CSS property index (the union of the CSS module specs — box, fonts, // flexbox, backgrounds-and-borders, ...). This is the BOUNDED grain (D5): CssPropertyName // enumerates EXACTLY the properties the register emits today (upstream spellings), so a property diff --git a/dag/extdeps/languages/css/selectors.dag b/dag/extdeps/languages/css/selectors.dag index 58d583be1fe..6e092888920 100644 --- a/dag/extdeps/languages/css/selectors.dag +++ b/dag/extdeps/languages/css/selectors.dag @@ -3,8 +3,6 @@ module extdeps.languages.css.selectors import std.types { String, Bool, List } 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 { @@ -13,14 +11,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.languages.css.selectors", decl_name: "SelectorSubject", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - // Cited upstream: W3C Selectors Level 4. The BOUNDED grain (D5): a rule's subject is a typed // SelectorSubject, not a raw string inside an otherwise-typed rule. Three modeled shapes cover the // register's simple subjects — ClassSelector (a single .class), ElementSelector (a type/tag diff --git a/dag/extdeps/languages/gpu/wgsl/kernel.dag b/dag/extdeps/languages/gpu/wgsl/kernel.dag index fbc96cfb61e..5079adf012d 100644 --- a/dag/extdeps/languages/gpu/wgsl/kernel.dag +++ b/dag/extdeps/languages/gpu/wgsl/kernel.dag @@ -13,7 +13,6 @@ import extdeps.languages.simd.kernel { import std.bytes { pure_dag_seam_unreachable, pure_dag_seam_unreachable_float } import std.disposition { Disposition, Scaffold, SingleAuthority } import std.decl_ref { DeclarationRef, WholeDeclaration } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -22,14 +21,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.languages.gpu.wgsl.kernel", decl_name: "WgslKernelEmitSurface", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - data wgsl_kernel_target_medium_name: NonEmptyStr = "wgsl-compute-relu-mul-add" data wgsl_relu_mul_add_int_kernel_source: String = "@group(0) @binding(0) var a: array;\n@group(0) @binding(1) var b: array;\n@group(0) @binding(2) var c: array;\n@group(0) @binding(3) var result: array;\n@compute @workgroup_size(64)\nfn main(@builtin(global_invocation_id) gid: vec3) {\n let i = gid.x;\n result[i] = max(a[i] * b[i] + c[i], 0);\n}\n" diff --git a/dag/extdeps/languages/python/types.dag b/dag/extdeps/languages/python/types.dag index a668e163964..5aa2b545bef 100644 --- a/dag/extdeps/languages/python/types.dag +++ b/dag/extdeps/languages/python/types.dag @@ -5,8 +5,6 @@ import std.coercion { } 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 { @@ -15,14 +13,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.languages.python.types", decl_name: "PythonTypeKind", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - data python_type_checkpoints: List = [ { dag_name: "Int", target_type: "int", grounding_type: "int", default_expr: "0", is_copy: none, literal_suffix: none }, { dag_name: "Float", target_type: "float", grounding_type: "float", default_expr: "0.0", is_copy: none, literal_suffix: none }, diff --git a/dag/extdeps/languages/react_jsx.dag b/dag/extdeps/languages/react_jsx.dag index 7231ce5e9f8..6661a4efc05 100644 --- a/dag/extdeps/languages/react_jsx.dag +++ b/dag/extdeps/languages/react_jsx.dag @@ -16,7 +16,6 @@ import extdeps.uri_validation { } import std.disposition { Disposition, Scaffold, RealizationDispatch } import std.decl_ref { DeclarationRef, WholeDeclaration } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -25,14 +24,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.languages.react_jsx", decl_name: "JsxEmitResult", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - // KEEP with mark (#7272 A3; gpu/wgsl treatment). Live CI keystone // corpus_ci_gate_row_react_jsx_emit_keystone + hostile-href XSS control + void_element_test // consumer — not dead vocabulary. No production consumer today. Sole owner: gunb.ai diff --git a/dag/extdeps/llm/anthropic_rest.dag b/dag/extdeps/llm/anthropic_rest.dag index 325704d57af..953471eba22 100644 --- a/dag/extdeps/llm/anthropic_rest.dag +++ b/dag/extdeps/llm/anthropic_rest.dag @@ -14,8 +14,6 @@ import std.types { NonEmptyStr } import extdeps.api_rate_limit { UpstreamRateLimit, RateLimitPeriod, PerMinute } import std.resources { Network } import extdeps.ietf.http_semantics { POST } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } -import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -24,14 +22,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.llm.anthropic_rest", decl_name: "anthropic_messages_rate_limit", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - service llm.Anthropic { config { endpoint: "https://api.anthropic.com" diff --git a/dag/extdeps/llm/openai_rest.dag b/dag/extdeps/llm/openai_rest.dag index 32f8929c33f..0863097b6b4 100644 --- a/dag/extdeps/llm/openai_rest.dag +++ b/dag/extdeps/llm/openai_rest.dag @@ -13,8 +13,6 @@ import std.types { NonEmptyStr } import extdeps.api_rate_limit { UpstreamRateLimit, RateLimitPeriod, PerMinute } import std.resources { Network } import extdeps.ietf.http_semantics { POST } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } -import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -23,14 +21,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.llm.openai_rest", decl_name: "openai_chat_rate_limit", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - service llm.OpenAI { config { endpoint: "https://api.openai.com" diff --git a/dag/extdeps/network/address.dag b/dag/extdeps/network/address.dag index 7b894db503f..e935e9baabb 100644 --- a/dag/extdeps/network/address.dag +++ b/dag/extdeps/network/address.dag @@ -5,8 +5,6 @@ import extdeps.external_authority { ExternalAuthority } import extdeps.uri { Uri, Https } import extdeps.network.ipv4 { Ipv4Address, render_ipv4_address } import extdeps.network.ipv6 { Ipv6Address, ipv6_is_loopback } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } -import std.decl_ref { DeclarationRef, WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -15,14 +13,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.network.address", decl_name: "IpAddress", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - // An IP address is v4 OR v6 (RFC 791 / RFC 4291) — the honestly CLOSED coproduct over the two // grounded address leaves, not a string. The v4 arm is fully grounded with a wire codec // (extdeps.network.ipv4); the v6 arm's type is grounded but its string codec is staged diff --git a/dag/extdeps/os/macos.dag b/dag/extdeps/os/macos.dag index df5216501d3..8f6b4e0b9fc 100644 --- a/dag/extdeps/os/macos.dag +++ b/dag/extdeps/os/macos.dag @@ -12,8 +12,6 @@ import extdeps.external_authority { ExternalAuthority } import std.types { String, List } import std.workspace_artifact { WorkspaceFootprint, WorkspaceArtifact, CitedUpstream, HostOsMetadata } 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 { @@ -22,14 +20,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.os.macos", decl_name: "sequoia_15_catalog", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - data sequoia_15_catalog: MacosDistributionCatalogRow = MacosDistributionCatalogRow { distribution: Sequoia15, release_label: "macOS 15 Sequoia", diff --git a/dag/extdeps/os/ubuntu.dag b/dag/extdeps/os/ubuntu.dag index dddf3552d97..ffda5f12d74 100644 --- a/dag/extdeps/os/ubuntu.dag +++ b/dag/extdeps/os/ubuntu.dag @@ -10,8 +10,6 @@ import std.os.types { 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 { @@ -20,14 +18,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.os.ubuntu", decl_name: "noble_numbat_2404_catalog", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - data noble_numbat_2404_catalog: UbuntuDistributionCatalogRow = UbuntuDistributionCatalogRow { distribution: NobleNumbat2404Lts, release_label: "24.04 LTS (Noble Numbat)", diff --git a/dag/extdeps/os/windows.dag b/dag/extdeps/os/windows.dag index f08581e48c5..9da8416f263 100644 --- a/dag/extdeps/os/windows.dag +++ b/dag/extdeps/os/windows.dag @@ -12,8 +12,6 @@ import extdeps.external_authority { ExternalAuthority } import std.types { String, List } import std.workspace_artifact { WorkspaceFootprint, WorkspaceArtifact, CitedUpstream, HostOsMetadata } 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 { @@ -22,14 +20,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.os.windows", decl_name: "windows_11_24h2_catalog", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - data windows_11_24h2_catalog: WindowsDistributionCatalogRow = WindowsDistributionCatalogRow { distribution: Windows1124H2Build26100, release_label: "24H2", diff --git a/dag/extdeps/render/glyph.dag b/dag/extdeps/render/glyph.dag index f0434642d63..f1a6cb75a0f 100644 --- a/dag/extdeps/render/glyph.dag +++ b/dag/extdeps/render/glyph.dag @@ -2,8 +2,6 @@ module extdeps.render.glyph 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 { @@ -12,14 +10,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.render.glyph", decl_name: "Glyph", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - type Glyph = String where brand("Glyph") fn glyph(text: String) -> Glyph { diff --git a/dag/extdeps/render/terminal_capability.dag b/dag/extdeps/render/terminal_capability.dag index 52d78747efe..94e42347274 100644 --- a/dag/extdeps/render/terminal_capability.dag +++ b/dag/extdeps/render/terminal_capability.dag @@ -5,8 +5,6 @@ import std.symbols { Ascii, Tier, Unicode } 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 { @@ -15,14 +13,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.render.terminal_capability", decl_name: "TerminalEnvironment", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - type TerminalEnvironment { is_tty: Bool ci: Bool diff --git a/dag/extdeps/render/tier_glyphs.dag b/dag/extdeps/render/tier_glyphs.dag index e285861a684..2f783883141 100644 --- a/dag/extdeps/render/tier_glyphs.dag +++ b/dag/extdeps/render/tier_glyphs.dag @@ -4,8 +4,6 @@ import extdeps.render.glyph { Glyph, glyph_text } import std.symbols { Tier } 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 { @@ -14,14 +12,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.render.tier_glyphs", decl_name: "TierGlyphs", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - type TierGlyphs { ascii: Glyph unicode: Glyph diff --git a/dag/extdeps/rust/std_process.dag b/dag/extdeps/rust/std_process.dag index a15c27ca4f1..2b4064e2f96 100644 --- a/dag/extdeps/rust/std_process.dag +++ b/dag/extdeps/rust/std_process.dag @@ -2,8 +2,6 @@ module extdeps.rust.std_process 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 { @@ -12,14 +10,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.rust.std_process", decl_name: "StdProcessSpawnOutcome", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - type StdProcessSpawnOutcome = SpawnSucceeded | SpawnFailed diff --git a/dag/extdeps/tcgplayer/store.dag b/dag/extdeps/tcgplayer/store.dag index 6a2507cbe9b..7dc68c1e8e0 100644 --- a/dag/extdeps/tcgplayer/store.dag +++ b/dag/extdeps/tcgplayer/store.dag @@ -8,8 +8,6 @@ import extdeps.uri { Uri, Https } import extdeps.tcgplayer.tcgplayer { production_api_base, TcgplayerErrorEnvelope } import extdeps.ietf.http_semantics { HttpMethod } import std.resources { Network } -import extdeps.external_authority { ExternalModelScope, ExternalSubjectRef } -import std.decl_ref { WholeDeclaration } data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { uri: Uri { @@ -18,14 +16,6 @@ data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority { } } -data extdeps_model_scope: ExternalModelScope = ExternalModelScope { - subject: ExternalSubjectRef { declaration: DeclarationRef { - module_path: "extdeps.tcgplayer.store", decl_name: "StoreInventoryUpdateResponse", field: WholeDeclaration - } }, - first_citation: extdeps_external_authority_anchor, - further_citations: [] -} - type StoreInventoryUpdateResponse { success: Bool? errors: List? diff --git a/dag/gunbc/extdeps_scope_frontier.dag b/dag/gunbc/extdeps_scope_frontier.dag index 63f61e8625c..fd17805d0bc 100644 --- a/dag/gunbc/extdeps_scope_frontier.dag +++ b/dag/gunbc/extdeps_scope_frontier.dag @@ -297,7 +297,7 @@ data scope_carrier_paths: List = [ "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_sdr.dag", + "dag/extdeps/bmc/ipmi_sdr.dag", "dag/extdeps/bmc/megarac_fan_policy.dag", "dag/extdeps/bmc/phosphor_fan_control.dag", "dag/extdeps/ocp/mt_mitchell/platform.dag", @@ -435,6 +435,7 @@ data scope_carrier_paths: List = [ "dag/extdeps/vendor/microsoft.dag", "dag/extdeps/vendor/the_wand_company.dag", "dag/extdeps/posix/rusage.dag", + "dag/extdeps/posix/clock_gettime.dag", "dag/extdeps/linux/rusage.dag", "dag/extdeps/darwin/rusage.dag", "dag/extdeps/darwin/sysctl.dag", @@ -569,51 +570,17 @@ data scope_carrier_paths: List = [ "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/bmc/ipmi.dag", - "dag/extdeps/bmc/openbmc.dag", - "dag/extdeps/bmc/os_install_actuator_toolchain.dag", - "dag/extdeps/bmc/webui/nbd_proxy_serve.dag", - "dag/extdeps/boot/framebuffer.dag", + "dag/extdeps/boot/framebuffer.dag", "dag/extdeps/boot/freestanding_payload.dag", - "dag/extdeps/container/docker_ce.dag", - "dag/extdeps/docker/container_inspect_contracts.dag", - "dag/extdeps/filesystem/ntfs.dag", - "dag/extdeps/filesystem/posix.dag", - "dag/extdeps/formats/dnsmasq.dag", - "dag/extdeps/formats/elf/encode.dag", - "dag/extdeps/formats/elf/relocation.dag", - "dag/extdeps/formats/elf/sections.dag", - "dag/extdeps/formats/elf/segments.dag", - "dag/extdeps/git/hooks.dag", - "dag/extdeps/github/errors.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/docker/container_inspect_contracts.dag", "dag/extdeps/github/merge_state_contracts.dag", - "dag/extdeps/github/merge_state.dag", - "dag/extdeps/github/workflows.dag", - "dag/extdeps/gpu/apple.dag", - "dag/extdeps/languages/css/properties.dag", - "dag/extdeps/languages/css/selectors.dag", - "dag/extdeps/languages/gpu/wgsl/kernel.dag", - "dag/extdeps/languages/html_fragment.dag", - "dag/extdeps/languages/python/types.dag", - "dag/extdeps/languages/react_jsx.dag", - "dag/extdeps/llm/anthropic_contracts.dag", - "dag/extdeps/llm/anthropic_rest.dag", - "dag/extdeps/llm/openai_rest.dag", - "dag/extdeps/network/address.dag", - "dag/extdeps/os/macos.dag", - "dag/extdeps/os/ubuntu.dag", - "dag/extdeps/os/windows.dag", - "dag/extdeps/render/glyph.dag", - "dag/extdeps/render/terminal_capability.dag", - "dag/extdeps/render/tier_glyphs.dag", - "dag/extdeps/rust/std_process.dag", - "dag/extdeps/systemd/systemd_contracts.dag", - "dag/extdeps/tcgplayer/store.dag", - "dag/extdeps/languages/lean/overflow.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 = [ diff --git a/dag/gunbc/instruments/extdeps_scope_placement_gate.dag b/dag/gunbc/instruments/extdeps_scope_placement_gate.dag index a2e8af70dd4..e0c62eb8460 100644 --- a/dag/gunbc/instruments/extdeps_scope_placement_gate.dag +++ b/dag/gunbc/instruments/extdeps_scope_placement_gate.dag @@ -67,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 } }) } diff --git a/dag/gunbc/legacy_extdeps_scope_frontier.tsv b/dag/gunbc/legacy_extdeps_scope_frontier.tsv index caf5477ea51..83a664f3f77 100644 --- a/dag/gunbc/legacy_extdeps_scope_frontier.tsv +++ b/dag/gunbc/legacy_extdeps_scope_frontier.tsv @@ -18,15 +18,19 @@ dag/extdeps/bmc/access.dag dag/extdeps/bmc/capability.dag dag/extdeps/bmc.dag dag/extdeps/bmc/http.dag +dag/extdeps/bmc/ipmi.dag dag/extdeps/bmc/ipmi_boot_selection.dag +dag/extdeps/bmc/openbmc.dag dag/extdeps/bmc/openbmc_fan_control.dag dag/extdeps/bmc/openbmc_operation.dag dag/extdeps/bmc/openbmc_password_ssh_transport.dag +dag/extdeps/bmc/os_install_actuator_toolchain.dag dag/extdeps/bmc/redfish.dag dag/extdeps/bmc/serial_console.dag dag/extdeps/bmc/types.dag dag/extdeps/bmc/virtual_media.dag dag/extdeps/bmc/webui/nbd_proxy.dag +dag/extdeps/bmc/webui/nbd_proxy_serve.dag dag/extdeps/boards/asrock_rack.dag dag/extdeps/boards/types.dag dag/extdeps/boot/emit.dag @@ -66,6 +70,7 @@ dag/extdeps/color/srgb.dag dag/extdeps/communication/fidelity_carriers.dag dag/extdeps/communication/medium.dag dag/extdeps/communication/numerical_fidelity.dag +dag/extdeps/container/docker_ce.dag dag/extdeps/container/oci/ctrl_session_witness.dag dag/extdeps/container/oci/descriptor.dag dag/extdeps/container/oci/image_config.dag @@ -104,14 +109,22 @@ dag/extdeps/exec/exec_arg_limit.dag dag/extdeps/exec/xargs.dag dag/extdeps/filesystem/filesystem_io.dag dag/extdeps/filesystem/linux.dag +dag/extdeps/filesystem/ntfs.dag +dag/extdeps/filesystem/posix.dag dag/extdeps/firmware/kernel_cmdline.dag dag/extdeps/firmware/uefi_http_boot.dag dag/extdeps/firmware/uefi_shell.dag +dag/extdeps/formats/dnsmasq.dag +dag/extdeps/formats/elf/encode.dag dag/extdeps/formats/elf/hello_static_witness.dag dag/extdeps/formats/elf/primitives.dag +dag/extdeps/formats/elf/relocation.dag +dag/extdeps/formats/elf/sections.dag +dag/extdeps/formats/elf/segments.dag dag/extdeps/formats/elf/types.dag dag/extdeps/git/git.dag dag/extdeps/git/gitignore.dag +dag/extdeps/git/hooks.dag dag/extdeps/git/inspect.dag dag/extdeps/github/actions.dag dag/extdeps/github/auth.dag @@ -119,14 +132,20 @@ dag/extdeps/github/checks_contracts.dag dag/extdeps/github/checks.dag dag/extdeps/github/ci.dag dag/extdeps/github/ci_runner.dag +dag/extdeps/github/errors.dag dag/extdeps/github/expressions.dag dag/extdeps/github/gists.dag 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.dag +dag/extdeps/github/merge_state.dag dag/extdeps/github/pulls_contracts.dag dag/extdeps/github/pulls.dag dag/extdeps/github/workflow_runs_contracts.dag 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/machine_shape.dag @@ -138,6 +157,8 @@ dag/extdeps/http/client.dag dag/extdeps/http/server.dag dag/extdeps/jobserver.dag dag/extdeps/languages/c/emit.dag +dag/extdeps/languages/css/properties.dag +dag/extdeps/languages/css/selectors.dag dag/extdeps/languages/css/values.dag dag/extdeps/languages/dag/emit.dag dag/extdeps/languages/dag/syntax.dag @@ -147,6 +168,7 @@ dag/extdeps/languages/go/module.dag dag/extdeps/languages/go/primitives.dag 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/json/emit.dag dag/extdeps/languages/json/grammar.dag @@ -155,6 +177,8 @@ dag/extdeps/languages/markdown.dag dag/extdeps/languages/python/emit.dag dag/extdeps/languages/python/primitives.dag dag/extdeps/languages/python/syntax.dag +dag/extdeps/languages/python/types.dag +dag/extdeps/languages/react_jsx.dag dag/extdeps/languages/rust/derive_contracts.dag dag/extdeps/languages/rust/emit.dag dag/extdeps/languages/rust/primitives.dag @@ -174,6 +198,7 @@ dag/extdeps/linux/proc_meminfo.dag dag/extdeps/linux/usb_gadget.dag dag/extdeps/llm/anthropic.dag dag/extdeps/llm/anthropic_errors.dag +dag/extdeps/llm/anthropic_rest.dag dag/extdeps/llm/cli.dag dag/extdeps/llm/cli_lifecycle.dag dag/extdeps/llm/codex_auth.dag @@ -183,11 +208,13 @@ dag/extdeps/llm/llm.dag dag/extdeps/llm/openai_contracts.dag dag/extdeps/llm/openai.dag dag/extdeps/llm/openai_errors.dag +dag/extdeps/llm/openai_rest.dag dag/extdeps/memory.dag dag/extdeps/memory/jedec.dag dag/extdeps/memory/types.dag dag/extdeps/mercurial.dag dag/extdeps/netplan/netplan.dag +dag/extdeps/network/address.dag dag/extdeps/network/endpoint.dag dag/extdeps/network/ipv4.dag dag/extdeps/network/ipv6.dag @@ -197,7 +224,10 @@ dag/extdeps/object_storage/content_addressed.dag dag/extdeps/object_storage/object_storage.dag dag/extdeps/observability.dag dag/extdeps/os.dag +dag/extdeps/os/macos.dag dag/extdeps/os/ubuntu_autoinstall.dag +dag/extdeps/os/ubuntu.dag +dag/extdeps/os/windows.dag dag/extdeps/package_managers/apt.dag dag/extdeps/package_managers/brew.dag dag/extdeps/package_managers/dpkg.dag @@ -234,9 +264,12 @@ dag/extdeps/realization/reconcile_in_process.dag dag/extdeps/realization/resolved_graph.dag dag/extdeps/realization/v1_handler.dag dag/extdeps/render/ansi.dag +dag/extdeps/render/glyph.dag dag/extdeps/render/glyphs.dag dag/extdeps/render/surface.dag +dag/extdeps/render/terminal_capability.dag dag/extdeps/render/terminal.dag +dag/extdeps/render/tier_glyphs.dag dag/extdeps/router/verizon_cr1000a.dag dag/extdeps/runtime/abi/aapcs64.dag dag/extdeps/runtime/abi/sysv_amd64.dag @@ -250,6 +283,7 @@ dag/extdeps/runtime/syscalls/linux.dag dag/extdeps/rust/cargo_build.dag dag/extdeps/rust/cargo.dag dag/extdeps/rust/rustup.dag +dag/extdeps/rust/std_process.dag dag/extdeps/rust/version.dag dag/extdeps/sec/edgar.dag dag/extdeps/sec/edgar_rest.dag @@ -289,6 +323,7 @@ dag/extdeps/tailscale/acl.dag dag/extdeps/tailscale/serve.dag dag/extdeps/tcgplayer/catalog.dag dag/extdeps/tcgplayer/pricing.dag +dag/extdeps/tcgplayer/store.dag dag/extdeps/tcgplayer/tcgplayer.dag dag/extdeps/test/http_pilot.dag dag/extdeps/time/rfc3339.dag diff --git a/src/v1/stage0/src/extdeps_languages_python_types.rs b/src/v1/stage0/src/extdeps_languages_python_types.rs index 8b3bb349fee..db204348730 100644 --- a/src/v1/stage0/src/extdeps_languages_python_types.rs +++ b/src/v1/stage0/src/extdeps_languages_python_types.rs @@ -2,14 +2,10 @@ // Source module: extdeps.languages.python.types use self::PythonTypeKind::*; -pub use crate::extdeps_external_authority::{ - ExternalAuthority, ExternalModelScope, ExternalSubjectRef, -}; +pub use crate::extdeps_external_authority::ExternalAuthority; use crate::extdeps_uri::UriScheme::Https; pub use crate::extdeps_uri::{Uri, UriScheme}; pub use crate::std_coercion::{CallableRepr, CastRule, CastSyntax, InhabitantDecl, TypeCheckpoint}; -use crate::std_decl_ref::DeclField::WholeDeclaration; -pub use crate::std_decl_ref::{DeclField, DeclarationRef}; use crate::v1_rt; use crate::v1_rt::{VecCompat, VecJoin}; use crate::NonEmptyBTreeSet; @@ -31,25 +27,6 @@ pub fn extdeps_external_authority_anchor() -> Rc { CACHED.with(|c: &Rc| c.clone()) } -pub fn extdeps_model_scope() -> Rc { - thread_local! { - static CACHED: Rc = { - Rc::new(ExternalModelScope { - subject: Rc::new(ExternalSubjectRef { - declaration: Rc::new(DeclarationRef { - module_path: "extdeps.languages.python.types".to_string(), - decl_name: "PythonTypeKind".to_string(), - field: Rc::new(DeclField::WholeDeclaration), - }), - }), - first_citation: extdeps_external_authority_anchor(), - further_citations: Rc::new(vec![]), - }) - }; - } - CACHED.with(|c: &Rc| c.clone()) -} - pub fn python_type_checkpoints() -> Rc>> { thread_local! { static CACHED: Rc>> = { From 18ea2b6f5b2eef7a4c76ecab46e0bbbeac05b2f8 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Fri, 2 Oct 2026 23:47:19 +0000 Subject: [PATCH 3/3] extdeps mechanism: drop stale non_fold_residue row for totalled placement-gate site The mechanism commit totalled extdeps_scope_placement_gate.dag's diff_added_paths_observation (GitDiffChangeStatus match, 9/9 arms), meeting the row's nfr_dissolve_owning_fold dissolution. Main's roster still carried the row, which refused merge_group run 37052103708 (NonFoldResidueRosterDiverged stale=1) when composed with the branch. --- dag/gunbc/non_fold_residue.dag | 1 - 1 file changed, 1 deletion(-) diff --git a/dag/gunbc/non_fold_residue.dag b/dag/gunbc/non_fold_residue.dag index 9bd2b89160d..3d3cbd845fe 100644 --- a/dag/gunbc/non_fold_residue.dag +++ b/dag/gunbc/non_fold_residue.dag @@ -1280,7 +1280,6 @@ data non_fold_residue_frontier: List = [ 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 },