Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
cb313b5
WIP re-home: source reference repoint instrument, witness, and the de…
Oct 4, 2026
ee725d8
std.optional re-home: move the declaration under the dag root, repoin…
Oct 5, 2026
72d3b2d
Merge origin/main into the re-home (conflicts were repoint-instrument…
Oct 5, 2026
9ee911d
Merge origin/main into the re-home (repoint-instrument lines: main's …
Oct 5, 2026
7ce56a4
Merge origin/main into the re-home (repoint-instrument lines: main's …
Oct 5, 2026
982de22
std.optional re-home: repoint re-run after merging main, stage0 mirro…
Oct 5, 2026
4e33548
Merge origin/main into the re-home
Oct 5, 2026
b813c8d
floor: load the base's parse environment from the closure members the…
Oct 5, 2026
99effbb
floor: every live-tree closure materialized at another revision takes…
Oct 5, 2026
7b93fad
Repair five witness files the floor now judges because the re-home to…
Oct 5, 2026
c5c974e
Merge origin/main into the re-home (conflicts: repoint-instrument lin…
Oct 5, 2026
6c8446a
std.optional re-home: repoint re-run after merging main, stage0 mirro…
Oct 5, 2026
7c54fd4
repoint instrument: name every read outcome instead of a wildcard arm…
Oct 5, 2026
6c3712c
repoint instrument: move the pending-arm annotation to module-item gr…
Oct 5, 2026
bc2621f
floor_single_claim_fill_debt: retire identity_cast_emission_route an_…
Oct 6, 2026
213f4fd
Merge remote-tracking branch 'origin/main' into session/bright-fox-66…
Oct 6, 2026
298d12d
Merge remote-tracking branch 'origin/main' into session/bright-fox-66…
Oct 6, 2026
3c1c48c
Merge origin/main into the re-home (three conflicted import lines: ma…
Oct 6, 2026
3c0427f
std.optional re-home: repoint re-run after merging main (11 files tha…
Oct 6, 2026
3c415f3
Merge origin/main into the re-home (conflicts: instrument import line…
Oct 6, 2026
e3b7c27
std.optional re-home: repoint re-run after merging main (4 files)
Oct 6, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
2 changes: 1 addition & 1 deletion dag/extdeps/ampere/mt_collins_firmware_release.dag
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ module extdeps.ampere.mt_collins_firmware_release
import std.types { Int, NonEmptyStr, List }
import std.measure { ByteSize, byte_size, Second, second }
import extdeps.crypto.hash { sha256_digest }
import v2.std.optional { Present }
import std.optional { Present }
import extdeps.boards.types { AmpereMtCollins }
import extdeps.firmware.types {
FirmwareReleaseRow, FirmwareTarget, FirmwareSemanticVersion,
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/ampere/nvparam.dag
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ import v2.std.collection { empty_map, map_insert, map_lookup }
import std.types { Int, List, Map, NonEmptyStr, String }
import std.measure { ByteSize, byte_size }
import std.decl_ref { DeclarationRef, WholeDeclaration }
import v2.std.optional { Present }
import std.optional { Present }
import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
import extdeps.uri { Uri, Https }

Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/ampere/ras_error_section.dag
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ module extdeps.ampere.ras_error_section

import std.types { Bool, Int, List, NonEmptyStr, String }
import std.decl_ref { DeclarationRef, WholeDeclaration }
import v2.std.optional { Present }
import std.optional { Present }
import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
import extdeps.uri { Uri, Https }

Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/ampere/smpro_internal_error.dag
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ module extdeps.ampere.smpro_internal_error
import v2.std.algebra { filter }
import std.types { Bool, Int, List, NonEmptyStr, String }
import std.decl_ref { DeclarationRef, WholeDeclaration }
import v2.std.optional { Present }
import std.optional { Present }
import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
import extdeps.uri { Uri, Https }
import extdeps.ampere.smpro_register { smpro_errmon_authority }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/ampere/smpro_register.dag
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ module extdeps.ampere.smpro_register

import std.types { Bool, Int, List, NonEmptyStr, String }
import std.decl_ref { DeclarationRef, WholeDeclaration }
import v2.std.optional { Present }
import std.optional { Present }
import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
import extdeps.uri { Uri, Https }
import extdeps.ampere.scp_diagnostic {
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/apple/info_plist.dag
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
module extdeps.apple.info_plist

import std.types { String, NonEmptyStr, List }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import std.decl_ref { DeclarationRef, WholeDeclaration }
import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
import extdeps.uri { Uri, Https }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/automation/playwright.dag
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
module extdeps.automation.playwright

import std.types { NonEmptyStr, Int, List, brand }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import extdeps.browser.chromium { ChromiumBuild, chromium_151_0_7922_34 }
import std.decl_ref { DeclarationRef, WholeDeclaration }
import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/bmc/capability.dag
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ import std.types { Bool, EpochMs, Int, List, NonEmptyStr, String }
import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import v2.std.algebra { any, filter, length, skip }
import v2.std.optional { Present }
import std.optional { Present }

data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/bmc/ipmi.dag
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ module extdeps.bmc.ipmi
import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import std.types { Bool, Int, NonEmptyStr, Unit }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import std.algebra { trim }
import v2.std.algebra { filter }
import std.resources { Network }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/bmc/ipmi_master_write_read.dag
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ module extdeps.bmc.ipmi_master_write_read
import std.types { Bool, Int, List, NonEmptyStr, String }
import std.algebra { trim }
import std.decl_ref { DeclarationRef, WholeDeclaration }
import v2.std.optional { Present }
import std.optional { Present }
import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
import extdeps.uri { Uri, Https }
import extdeps.languages.json.parse { json_hex_nibble }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/bmc/ipmitool_hpm_check.dag
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ module extdeps.bmc.ipmitool_hpm_check

import v2.std.algebra { any, filter }
import std.types { Bool, Int, List, NonEmptyStr, String }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import std.algebra { trim }
import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/bmc/redfish.dag
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ import extdeps.uri { Uri, Https }
import extdeps.bmc.types { BmcGroundedHostObservations, BmcTelemetrySnapshot, FanTachSensor, RedfishMemorySummary, RedfishPowerControl, RedfishPowerState, RedfishPowerSubsystem, RedfishProcessorSummary, RedfishSensorReading, RedfishSystemInventory, TemperatureSensor }
import std.measure { ByteSize, Gibibyte, HardwareThreadCount, gibibyte_to_byte_size, watt, watt_count }
import std.types { Int, List, NonEmptyStr }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
scheme: Https
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/boards/asrock_rack.dag
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ import extdeps.uri { Uri, Https }
import extdeps.crypto.hash { Digest, sha256_digest }
import std.nat { Nat }
import std.types { Bool, List, NonEmptyStr, String }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }

data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/clock/clock.dag
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import std.types { EpochMs, EpochSecs, Timestamp, Unit }
import std.nat { Nat }
import v2.std.optional { Present }
import std.optional { Present }


data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/cloud/gcp/auth_print_access_token.dag
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ import std.dissolution { DissolutionCondition, unbound_dissolution }
import std.types { List, String }
import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import v2.std.optional { Present }
import std.optional { Present }

data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/cloud/gcp/iam.dag
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ import extdeps.uri { Uri, Https }
import extdeps.cloud.gcp.gcp { GcpProjectId, ServiceAccountEmail, GcpOperation }
import std.types { Bool, Int, Json, List, NonEmptyStr, Secret, String }
import v2.std.algebra { filter, fold_list }
import v2.std.optional { Absent, Present }
import std.optional { Absent, Present }
import extdeps.ietf.http_semantics { GET, POST }
import std.resources { Network }
import extdeps.transports.rest { RestResult }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/cloud/gcp/secret_manager.dag
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import std.types { Bool, Bytes, Int, List, Map, NonEmptyStr, Secret, String, brand }
import v2.std.algebra { fold_list, length, skip }
import v2.std.optional { Present }
import std.optional { Present }
// GcpProjectId and GcpErrorShape were reached as BARE references before this
// import existed, which resolves only when some unrelated module in the assembled
// closure happens to have dragged their definers into the pool -- accidental
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/cloudflare/r2_lifecycle.dag
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ module extdeps.cloudflare.r2_lifecycle
import std.resources { Network }

import std.types { NonEmptyStr, List, Secret, Int, Bool, Json }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import v2.std.algebra { skip }
import std.decl_ref { DeclarationRef, WholeDeclaration }
import extdeps.uri { Uri, Https }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/colo/types.dag
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
module extdeps.colo.types

import std.types { NonEmptyStr, List, Bool, Int }
import v2.std.optional { Optional, Present, Absent }
import std.optional { Optional, Present, Absent }
import std.nat { Nat }
import std.measure {
MoneyPerMonth, MoneyOnce, MoneyPerHour,
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/container/oci/linux.dag
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ module extdeps.container.oci.linux
import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import std.types { Bool, FilePath, Int, List, String }
import v2.std.optional { Present }
import std.optional { Present }
data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
scheme: Https
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/cpu/machine_shape.dag
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import extdeps.cpu.types { CpuModelCatalogRow }
import std.machine_shape { DomainId, ExecutionDomain, LevelId, MachineShape, MachineShapeConstruction, MemoryLevel, MemoryShape, execution_shape_independent_lanes }
import v2.std.optional { Present }
import std.optional { Present }
data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
scheme: Https
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/docker/cli.dag
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ import extdeps.exec.program { ProgramIdentity, uncataloged_program }
import std.types { String, Bool, List, NonEmptyStr, FilePath, Int }
import std.nat { Nat }
import std.measure { Second, second, second_count, ByteSize, byte_size_count }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import std.algebra { trim }
import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/ethtool/ethtool.dag
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
module extdeps.ethtool

import std.types { NonEmptyStr, String, List, Bool, Unit, Int }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import std.algebra { trim }
import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
import std.decl_ref { DeclarationRef, WholeDeclaration }
Expand Down
1 change: 1 addition & 0 deletions dag/extdeps/external_authority.dag
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
module extdeps.external_authority
import std.optional { Absent, Present }

import std.types { NonEmptyStr, List }
import std.decl_ref { DeclarationRef }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/firmware/types.dag
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ module extdeps.firmware.types
import std.nat { Nat }
import std.measure { ByteSize, byte_size }
import std.types { Bool, EpochMs, NonEmptyStr, List, list_length }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import extdeps.crypto.hash { Digest }
import extdeps.boards.types { BaseboardModel }
import std.decl_ref { DeclarationRef, WholeDeclaration }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/huggingface/hub.dag
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
module extdeps.huggingface.hub

import std.types { String, Bool, List, NonEmptyStr }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import std.nat { Nat }
import std.measure { ByteSize, Gibibyte, gibibyte_ceiling }
import extdeps.external_authority { ExternalAuthority }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/iw/iw.dag
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ module extdeps.iw

import std.types { NonEmptyStr, String, List, Int }
import std.algebra { trim }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import v2.std.algebra { filter }
import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
import std.decl_ref { DeclarationRef, WholeDeclaration }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/languages/yaml/ingest.dag
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ module extdeps.languages.yaml.ingest

import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import std.algebra { trim }
import extdeps.languages.yaml.types {
YamlValue, YamlKeyValue,
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/languages/yaml/types.dag
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ module extdeps.languages.yaml.types

import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }

data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/linux/cgroup_v1_memory.dag
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ import extdeps.uri { Https, Uri }
import std.measure { ByteSize, byte_size, byte_size_count }
import std.nat { Nat }
import std.types { Int, NonEmptyStr, String, List }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }

data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/linux/cgroup_v2_memory.dag
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ import extdeps.uri { Https, Uri }
import std.measure { ByteSize, byte_size, byte_size_count }
import std.types { Int, NonEmptyStr, String, List }
import std.nat { Nat }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }

data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/linux/diskstats.dag
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ import std.decl_ref { DeclarationRef, WholeDeclaration }
import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
import extdeps.uri { Https, Uri }
import extdeps.linux.kernel { LinuxKernelRelease }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }

// /proc/diskstats, Documentation/admin-guide/iostats.rst. The 14-field-after-name layout this
// module reads has been stable since 2.6; later kernels APPEND discard (4.18) and flush (5.5)
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/linux/edac.dag
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ import extdeps.linux.kernel { LinuxKernelModuleName, LinuxKernelRelease }
import extdeps.uri { Uri, Https }
import std.decl_ref { DeclarationRef, WholeDeclaration }
import std.measure { MemoryControllerCount, memory_controller_count, memory_controller_count_value }
import v2.std.optional { Absent, Present }
import std.optional { Absent, Present }
import std.types { Bool, NonEmptyStr, Unit }
data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/linux/proc_mountinfo.dag
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
module extdeps.linux.proc_mountinfo

import std.types { NonEmptyStr, String, List, Bool, Int }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import std.algebra { trim }
import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/linux/proc_net_tcp.dag
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
module extdeps.linux.proc_net_tcp

import std.types { NonEmptyStr, List, Bool, Int, Port }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import std.algebra { trim }
import v2.std.algebra { any }
import extdeps.numeric.base16 { base16_word_value }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/linux/proc_uptime.dag
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import std.types { Int, String }
import std.nat { Nat }
import std.measure { Millisecond, millisecond, milliseconds_per_second }
import std.checked_arithmetic { checked_int_to_nat }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import v2.std.algebra { skip }
import std.decimal { decimal_digits_only }
import extdeps.external_authority { ExternalAuthority }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/linux/procfs.dag
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ module extdeps.linux.procfs

import std.types { NonEmptyStr, List, Bool, Unit, Int, String }
import std.algebra { trim }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import std.os.types { KernelFamily, Linux, Darwin, WindowsNt, LinuxGuestOnWindows }
import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
import extdeps.uri { Uri, Https }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/linux/psi.dag
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ import std.decl_ref { DeclarationRef, WholeDeclaration }
import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
import extdeps.uri { Https, Uri }
import extdeps.linux.kernel { LinuxKernelRelease }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }

// Pressure Stall Information, Documentation/accounting/psi.rst. The interface first shipped in
// Linux 4.20; the per-cgroup files (memory.pressure, io.pressure, cpu.pressure) in cgroup-v2 share
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/linux/tun_fdinfo.dag
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ module extdeps.linux.tun_fdinfo

import std.types { String, NonEmptyStr, Bool, Int, List }
import std.algebra { trim }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import extdeps.external_authority { ExternalAuthority }
import extdeps.uri { Uri, Https }
import extdeps.filesystem.filesystem_io {
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/llm/claude_setup_token_cli.dag
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ import std.measure {
character_count,
measure_le,
}
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
import extdeps.llm.cli { claude_cli_external_authority_anchor }
import std.decl_ref { DeclarationRef, WholeDeclaration }
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/network/arista_7050s_52.dag
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ import extdeps.vendor { Vendor }
import extdeps.hardware { Hardware }
import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
import extdeps.uri { Uri, Https }
import v2.std.optional { Present }
import std.optional { Present }

// THE DCS-7050S-52, ARISTA'S 52-PORT 1/10GBE SFP+ SWITCH IN THE 7050 SERIES. Modelled from the
// Arista 7050S datasheet read 2026-09-03. The canonical authority is the datasheet at
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/network/mikrotik_crs812.dag
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ import extdeps.vendor { Vendor }
import extdeps.hardware { Hardware }
import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
import extdeps.uri { Uri, Https }
import v2.std.optional { Absent }
import std.optional { Absent }

// THE CRS812-8DS-2DQ-2DDQ-RM, MIKROTIK'S 400G TOP-OF-RACK / LEAF SWITCH. This is the orderable
// rack-mount product code (the "RM" suffix); MikroTik markets the family as "CRS812 DDQ".
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/network/tp_link.dag
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ import extdeps.network.switch_types { NetworkSwitchCatalogRow, SwitchPortGroup }
import extdeps.vendor.tp_link { tp_link }
import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
import extdeps.uri { Uri, Https }
import v2.std.optional { Present }
import std.optional { Present }

data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
Expand Down
2 changes: 1 addition & 1 deletion dag/extdeps/networkmanager/nmcli.dag
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ module extdeps.networkmanager.nmcli

import std.types { NonEmptyStr, String, List, Int, Bool }
import std.algebra { trim }
import v2.std.optional { Present, Absent }
import std.optional { Present, Absent }
import v2.std.algebra { filter, list_head, list_tail, HeadFound, HeadAbsent, TailFound, TailAbsent }
import extdeps.external_authority { ExternalAuthority, ExternalModelScope, ExternalSubjectRef }
import std.decl_ref { DeclarationRef, WholeDeclaration }
Expand Down
Loading