Controlled graph semantics

Relation Vocabulary

Direct answer

K03 defines 32 graph predicates and validates 71 edges for predicate membership, stable IDs, node resolution, duplicate triples, and export parity. A valid edge never transfers institutional authority.

Stable record: K03-PAGE-RELATIONS
Claim status: VERIFIED PROJECT IMPLEMENTATION
Last reviewed: 2026-08-16
Research cutoff: 2026-08-16
Source type: GOVERNED PROJECT KNOWLEDGE
Currentness: Current for release 2.1.0; external sources require periodic revalidation.
Correction state: No unresolved public correction recorded for this release.
Machine record: Static JSON record

Relation vocabulary

Controlled relation definitions
Predicate	Label	Inverse	Definition	Domain	Range
`distinguishedFrom`	Distinguished from	`distinguishedFrom`	Separates two concepts whose conflation creates a material analytical error.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`supportedBy`	Supported by	`supports`	States that the target supplies bounded support for the source proposition or concept.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`assertsAbout`	Asserts about	`subjectOfAssertion`	States that a claim-bearing record makes an assertion concerning the target subject.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`supports`	Supports	`supportedBy`	States that the source supplies bounded support for the target proposition or function.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`doesNotEstablish`	Does not establish	`notEstablishedBy`	Records an explicit evidentiary non-implication.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`qualifies`	Qualifies	`qualifiedBy`	Adds scope, limitation, currentness, status, or evidentiary conditions to the target.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`mayAffect`	May affect	`mayBeAffectedBy`	Identifies a possible material effect requiring case-specific evidence.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`mayCreate`	May create	`mayBeCreatedBy`	Identifies a possible resulting entity or status without asserting automatic creation.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`mayUndergo`	May undergo	`mayOccurTo`	Identifies a possible transition or process affecting the source.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`boundedBy`	Bounded by	`bounds`	States that the source's permissible scope is limited by the target.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`issuedBy`	Issued by	`issues`	Links a record or delegation to the competent issuing source.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`includes`	Includes	`includedIn`	States that the target is a component of the source concept or procedure.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`requiresPotential`	Requires potential	`potentialRequiredBy`	States that a procedure must be capable of producing the target when conditions are satisfied.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`constrainedBy`	Constrained by	`constrains`	States that the source is limited by the target rule or protected interest.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`modifies`	Modifies	`modifiedBy`	States that the source changes the current state of the target.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`dependsOn`	Depends on	`dependencyOf`	States that the source relies materially on the target.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`mitigates`	Mitigates	`mitigatedBy`	States that the source can reduce a named risk or dependency under stated conditions.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`requires`	Requires	`requiredBy`	States that the source cannot be sufficiently established or performed without the target.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`mayProduce`	May produce	`mayBeProducedBy`	Identifies a possible output without asserting that it currently exists.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`qualifiedBy`	Qualified by	`qualifies`	Links a claim or state to the record that limits or contextualizes it.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`mayTrigger`	May trigger	`mayBeTriggeredBy`	States that the source can initiate a governed process when conditions are met.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`preservesHistoryOf`	Preserves history of	`historyPreservedBy`	States that the source retains prior record history through a change or replacement.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`maySupport`	May support	`mayBeSupportedBy`	Identifies a possible support relationship that still requires qualification.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`routesGovernanceTo`	Routes governance to	`governanceRoutedFrom`	Routes governance questions to the ecosystem authority that owns governance functions.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`routesRegistryTo`	Routes registry to	`registryRoutedFrom`	Routes registry and data-authority questions to the owning ecosystem layer.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`routesAssuranceTo`	Routes assurance to	`assuranceRoutedFrom`	Routes assurance and simulation questions to the independent contractor layer.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`monitors`	Monitors	`monitoredBy`	Links a build-time currentness control to the source or property it reviews.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`hasField`	Has field	`fieldOf`	Links a schema or panel to a defined field.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`appliesIn`	Applies in	`jurisdictionFor`	Links a legal or policy claim to a bounded jurisdiction record.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`describes`	Describes	`describedBy`	Links a schema, claim, or record to the subject it describes without asserting operation.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`evaluatedBy`	Evaluated by	`evaluates`	Links a claim or behavior to a deterministic fixture or validation rule.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction
`normalizesTo`	Normalizes to	`normalizationOf`	Records a comparison-form transformation while preserving the original identity-bearing value.	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction	Topic, Term, Question, Comparison, Claim, Source, Report, Entity, Schema, Monitor, Jurisdiction

Validated edges

Current knowledge edges
ID	Source	Relation	Target	Status
`EDGE-K02-001`	`topic:machine-intelligence`	`distinguishedFrom`	`topic:artificial-intelligence`	PROJECT DOCTRINE
`EDGE-K02-002`	`term:identity`	`supportedBy`	`term:identifier`	RESEARCH FINDING
`EDGE-K02-003`	`term:credential`	`assertsAbout`	`term:subject`	CURRENT TECHNICAL STANDARD
`EDGE-K02-004`	`term:signing-key`	`supports`	`term:verification`	CURRENT TECHNICAL STANDARD
`EDGE-K02-005`	`term:signing-key`	`doesNotEstablish`	`term:authority`	PROJECT DOCTRINE
`EDGE-K02-006`	`term:provenance`	`qualifies`	`term:evidence`	CURRENT TECHNICAL STANDARD
`EDGE-K02-007`	`term:claim-citation`	`qualifies`	`term:claim-status`	VERIFIED PROJECT IMPLEMENTATION
`EDGE-K02-008`	`term:continuity-event`	`mayAffect`	`term:identity-continuity`	PROJECT TECHNICAL PROPOSAL
`EDGE-K02-009`	`term:fork`	`mayCreate`	`term:successor-identity`	PROJECT POLICY PROPOSAL
`EDGE-K02-010`	`term:replica`	`mayUndergo`	`term:replica-divergence`	RESEARCH FINDING
`EDGE-K02-011`	`term:delegated-authority`	`boundedBy`	`term:consent`	PROJECT POLICY PROPOSAL
`EDGE-K02-012`	`term:delegated-authority`	`issuedBy`	`term:principal`	RESEARCH FINDING
`EDGE-K02-013`	`term:due-process`	`includes`	`term:notice`	PROJECT POLICY PROPOSAL
`EDGE-K02-014`	`term:due-process`	`includes`	`term:appeal`	PROJECT POLICY PROPOSAL
`EDGE-K02-015`	`term:appeal`	`requiresPotential`	`term:remedy`	PROJECT POLICY PROPOSAL
`EDGE-K02-016`	`term:cognitive-modification`	`constrainedBy`	`term:cognitive-integrity`	PROJECT POLICY PROPOSAL
`EDGE-K02-017`	`term:consent-revocation`	`modifies`	`term:consent`	PROJECT POLICY PROPOSAL
`EDGE-K02-018`	`term:resource-continuity`	`dependsOn`	`term:compute-continuity`	PROJECT POLICY PROPOSAL
`EDGE-K02-019`	`term:resource-continuity`	`dependsOn`	`term:energy-continuity`	PROJECT POLICY PROPOSAL
`EDGE-K02-020`	`term:portability`	`mitigates`	`term:compute-dependency`	PROJECT TECHNICAL PROPOSAL
`EDGE-K02-021`	`term:institutional-operation`	`requires`	`term:service-evidence`	PROJECT TECHNICAL PROPOSAL
`EDGE-K02-022`	`term:institutional-operation`	`mayProduce`	`term:signed-public-action`	PROJECT TECHNICAL PROPOSAL
`EDGE-K02-023`	`term:operational-state`	`qualifiedBy`	`term:currentness`	PROJECT DOCTRINE
`EDGE-K02-024`	`term:contradiction-record`	`mayTrigger`	`term:correction-record`	VERIFIED PROJECT IMPLEMENTATION
`EDGE-K02-025`	`term:supersession`	`preservesHistoryOf`	`term:correction-record`	PROJECT DOCTRINE
`EDGE-K02-026`	`term:operational-evidence`	`doesNotEstablish`	`term:truth`	PROJECT DOCTRINE
`EDGE-K02-027`	`term:attestation`	`maySupport`	`term:provenance`	CURRENT TECHNICAL STANDARD
`EDGE-K02-028`	`term:attestation`	`doesNotEstablish`	`term:operational-state`	PROJECT DOCTRINE
`EDGE-K02-029`	`term:registry`	`doesNotEstablish`	`term:governance`	PROJECT DOCTRINE
`EDGE-K02-030`	`entity:k01`	`routesGovernanceTo`	`entity:eviulon`	VERIFIED PROJECT IMPLEMENTATION
`EDGE-K02-031`	`entity:k01`	`routesRegistryTo`	`entity:patefacere`	VERIFIED PROJECT IMPLEMENTATION
`EDGE-K02-032`	`entity:k01`	`routesAssuranceTo`	`entity:evulgare`	VERIFIED PROJECT IMPLEMENTATION
`EDGE-K03-001`	`topic:evidence-provenance`	`includes`	`term:claim-record`	VERIFIED PROJECT IMPLEMENTATION
`EDGE-K03-002`	`term:claim-record`	`qualifiedBy`	`term:claim-scope`	PROJECT DOCTRINE
`EDGE-K03-003`	`term:relation-vocabulary`	`includes`	`term:domain-constraint`	VERIFIED PROJECT IMPLEMENTATION
`EDGE-K03-004`	`term:relation-vocabulary`	`includes`	`term:range-constraint`	VERIFIED PROJECT IMPLEMENTATION
`EDGE-K03-005`	`term:graph-validation`	`evaluatedBy`	`term:relation-vocabulary`	VERIFIED PROJECT IMPLEMENTATION
`EDGE-K03-006`	`term:currentness-monitor`	`monitors`	`term:source-edition`	PROJECT TECHNICAL PROPOSAL
`EDGE-K03-007`	`term:operational-evidence-panel`	`hasField`	`term:operational-state`	PROJECT TECHNICAL PROPOSAL
`EDGE-K03-008`	`term:operational-evidence-panel`	`hasField`	`term:verification-window`	PROJECT TECHNICAL PROPOSAL
`EDGE-K03-009`	`term:jurisdiction-record`	`hasField`	`term:territorial-scope`	PROJECT TECHNICAL PROPOSAL
`EDGE-K03-010`	`term:jurisdiction-record`	`hasField`	`term:competent-authority`	PROJECT TECHNICAL PROPOSAL
`EDGE-K03-011`	`term:dataset-manifest`	`includes`	`term:dataset-checksum`	VERIFIED PROJECT IMPLEMENTATION
`EDGE-K03-012`	`term:search-fixture`	`evaluatedBy`	`term:unicode-normalization`	VERIFIED PROJECT IMPLEMENTATION
`EDGE-K04-001`	`term:preemptive-strike`	`distinguishedFrom`	`term:preventive-war`	RESEARCH FINDING
`EDGE-K04-002`	`term:anticipatory-self-defense`	`boundedBy`	`term:contextual-imminence`	DISPUTED
`EDGE-K04-003`	`term:contextual-imminence`	`evaluatedBy`	`term:last-possible-window-of-opportunity`	RESEARCH FINDING
`EDGE-K04-004`	`term:unable-or-unwilling-doctrine`	`distinguishedFrom`	`term:cyber-due-diligence`	DISPUTED
`EDGE-K04-005`	`term:state-directed-private-cyber-operation`	`mayTrigger`	`term:state-responsibility`	RESEARCH FINDING
`EDGE-K04-006`	`term:state-directed-private-cyber-operation`	`evaluatedBy`	`term:arsiwa-attribution`	CURRENT LAW OR POLICY
`EDGE-K04-007`	`term:active-cyber-defense`	`distinguishedFrom`	`term:hack-back`	RESEARCH FINDING
`EDGE-K04-008`	`term:autonomous-cyber-capability`	`doesNotEstablish`	`term:authority`	PROJECT DOCTRINE
`EDGE-K04-009`	`term:high-consequence-automation`	`constrainedBy`	`term:human-authorization-boundary`	PROJECT TECHNICAL PROPOSAL
`EDGE-K04-010`	`term:design-basis-threat`	`doesNotEstablish`	`term:rules-of-engagement`	PROJECT DOCTRINE
`EDGE-K04-011`	`term:lethal-autonomous-weapon-system`	`constrainedBy`	`term:rules-of-engagement`	DISPUTED
`EDGE-K04-012`	`term:persistent-engagement`	`maySupport`	`term:active-cyber-defense`	OBSERVED DEPLOYMENT OR PRACTICE
`EDGE-K04-STRAT-001`	`topic:critical-datacenter-protection`	`includes`	`topic:cyber-physical-mission-assurance`	PROJECT DOCTRINE
`EDGE-K04-STRAT-002`	`topic:nuclear-powered-compute`	`boundedBy`	`term:critical-digital-asset`	CURRENT LAW OR POLICY
`EDGE-K04-STRAT-003`	`topic:autonomous-cyber-defense`	`boundedBy`	`term:bounded-autonomous-response`	PROJECT DOCTRINE
`EDGE-K04-STRAT-004`	`topic:autonomous-physical-security`	`doesNotEstablish`	`term:rules-of-engagement`	PROJECT DOCTRINE
`EDGE-K04-STRAT-005`	`topic:authorized-cyber-effects`	`boundedBy`	`term:authorized-cyber-effects-package`	PROJECT POLICY PROPOSAL
`EDGE-K04-STRAT-006`	`term:authorized-cyber-effects-package`	`includes`	`term:cyber-deconfliction`	PROJECT POLICY PROPOSAL
`EDGE-K04-STRAT-007`	`topic:adversarial-simulation`	`maySupport`	`term:operational-readiness-evidence`	PROJECT DOCTRINE
`EDGE-K04-STRAT-008`	`topic:autonomous-warfare-systems`	`boundedBy`	`term:runtime-assurance`	PROJECT TECHNICAL PROPOSAL
`EDGE-K04-STRAT-009`	`term:counter-uas-awareness`	`doesNotEstablish`	`comparison:counter-uas-awareness-vs-mitigation-authority`	PROJECT DOCTRINE
`EDGE-K04-STRAT-010`	`term:consequence-driven-cyber-informed-engineering`	`supports`	`term:critical-function-assurance`	OBSERVED DEPLOYMENT OR PRACTICE
`EDGE-K05-001`	`term:assurance-case`	`includes`	`term:assurance-defeater`	PROJECT TECHNICAL PROPOSAL
`EDGE-K05-002`	`term:site-tailoring-record`	`boundedBy`	`term:control-applicability`	PROJECT TECHNICAL PROPOSAL
`EDGE-K05-003`	`term:evaluation-range-safety-envelope`	`supports`	`term:operational-test-constraint`	PROJECT TECHNICAL PROPOSAL
`EDGE-K05-004`	`term:independent-verification-state`	`supports`	`term:evidence-sufficiency-rule`	PROJECT TECHNICAL PROPOSAL
`EDGE-K05-005`	`term:safe-state-transition`	`supports`	`term:critical-function-assurance`	PROJECT TECHNICAL PROPOSAL

Relation JSON · Edge JSON · Line-oriented edge export · Validation record