Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
31 changes: 31 additions & 0 deletions dag/extdeps/standards/web_annotation.dag
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
module extdeps.standards.web_annotation

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

data extdeps_external_authority_anchor: ExternalAuthority = ExternalAuthority {
uri: Uri {
scheme: Https
locator: "www.w3.org/TR/annotation-model/"
}
}

data web_annotation_authority: ExternalAuthority = extdeps_external_authority_anchor

data web_annotation_selector_grounding_note: String = "Cited upstream: W3C Web Annotation Data Model (retrieved 2026-08-04). std.citation FragmentSelector, TextQuoteSelector, and TextPositionSelector ground on this specification's selector vocabulary (FragmentSelector with conformsTo, TextQuoteSelector, TextPositionSelector). TRAP: the Recommendation's example table still points PDF fragment selectors at RFC 3778; application/pdf fragments cite extdeps.standards.rfc_8118 instead, with explicit supersession evidence — do not copy the stale table."

data web_annotation_data_model: NonEmptyStr = "Web Annotation Data Model"

data extdeps_model_scope: ExternalModelScope = ExternalModelScope {
subject: ExternalSubjectRef {
declaration: DeclarationRef {
module_path: "extdeps.standards.web_annotation",
decl_name: "web_annotation_data_model",
field: WholeDeclaration,
}
},
first_citation: extdeps_external_authority_anchor,
further_citations: [],
}
1 change: 1 addition & 0 deletions dag/gunbc/extdeps_scope_frontier.dag
Original file line number Diff line number Diff line change
Expand Up @@ -162,6 +162,7 @@ data scope_carrier_paths: List<String> = [
"dag/extdeps/physics/bach_et_al_2013_double_slit.dag",
"dag/extdeps/physics/chapman_et_al_1995_atom_interferometer_which_path.dag",
"dag/extdeps/standards/ieee_754_2019.dag",
"dag/extdeps/standards/web_annotation.dag",
"dag/extdeps/tools/wc.dag",
"dag/extdeps/vendor/atlassian.dag",
"dag/extdeps/vendor/microsoft.dag",
Expand Down
4 changes: 2 additions & 2 deletions dag/gunbc/witness_row_cost_basis.tsv
Original file line number Diff line number Diff line change
Expand Up @@ -689,8 +689,8 @@ src/v2/test/claim/complexity_gate/source_bridged_add_budget_test.dag table_fixtu
src/v2/test/claim/complexity_gate/source_bridged_bind_budget_test.dag table_fixture_bind_budget_claim_holds 1 30550328673 srv_fleet_arm64 wall
src/v2/test/claim/complexity_gate/source_bridged_branch_budget_test.dag table_fixture_branch_budget_claim_holds 2 30550328673 srv_fleet_arm64 wall
src/v2/test/claim/complexity_gate/source_bridged_loop_budget_test.dag table_fixture_loop_budget_claim_holds 2 30550328673 srv_fleet_arm64 wall
src/v2/test/claim/concept_index_enumeration_test.dag witness_absent_concept_is_false 63 30550328673 srv_fleet_arm64 wall
src/v2/test/claim/concept_index_enumeration_test.dag witness_coproduct_arms_parse_only 3850 30550328673 srv_fleet_arm64 wall
src/v2/test/claim/concept_index_enumeration/concept_index_enumeration_test.dag witness_absent_concept_is_false 63 30550328673 srv_fleet_arm64 wall
src/v2/test/claim/concept_index_enumeration/concept_index_enumeration_test.dag witness_coproduct_arms_parse_only 3850 30550328673 srv_fleet_arm64 wall
src/v2/test/claim/duplicate_computation/duplicate_computation_test.dag typed_argv_compile_pair_declared_oracle_is_admissible 1 30550328673 srv_fleet_arm64 wall
src/v2/test/claim/duplicate_computation/duplicate_computation_test.dag typed_argv_guarded_build_is_clean 1 30550328673 srv_fleet_arm64 wall
src/v2/test/claim/effect_plan_bash_materialize_test.dag effect_plan_bash_metacharacters_and_newline_remain_one_quoted_word 103 30550328673 srv_fleet_arm64 wall
Expand Down
Loading
Loading