<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF[
	<!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
	<!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
	<!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
	<!ENTITY swivt 'http://semantic-mediawiki.org/swivt/1.0#'>
	<!ENTITY wiki 'https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/'>
	<!ENTITY category 'https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Category-3A'>
	<!ENTITY property 'https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'https://s3wiki.yonsei.ac.kr/index.php/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:category="&category;"
	xmlns:property="&property;">

	<owl:Ontology rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/Lesson-3Adwkv_score_code_contract">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-09-08T15:37:33+09:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Ontology>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Adwkv_score_code_contract">
		<rdf:type rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Category-3ALessons"/>
		<rdfs:label>Lesson:dwkv score code contract</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/Lesson-3Adwkv_score_code_contract"/>
		<swivt:page rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Lesson-3Adwkv_score_code_contract"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ko</swivt:wikiPageContentLanguage>
		<property:Applicability rdf:datatype="http://www.w3.org/2001/XMLSchema#string">scheduler implementation, ablation testing, policy attribution, code-level reproducibility</property:Applicability>
		<property:Attempt rdf:datatype="http://www.w3.org/2001/XMLSchema#string">vLLM request queue와 dependency-light simulator에 DW-KV, tier-priority, value-urgency, KV-footprint, deadline-first, demote 변형을 구현했다.</property:Attempt>
		<property:Author rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Author>
		<property:Confidence rdf:datatype="http://www.w3.org/2001/XMLSchema#string">medium</property:Confidence>
		<property:Context rdf:datatype="http://www.w3.org/2001/XMLSchema#string">simulator의 `score()`와 `urgency()` 및 `vllm/v1/core/sched/request_queue.py`의 `_score_debug()`가 정책 차이를 계산한다. queue는 time-dependent urgency 때문에 access마다 re-score한다.</property:Context>
		<property:Created_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-19T01:46:54Z</property:Created_at>
		<property:Created_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.5742361</property:Created_at-23aux>
		<property:Evidence_overview rdf:datatype="http://www.w3.org/2001/XMLSchema#string">legacy simulator scoring code, active request queue score breakdown, focused queue tests</property:Evidence_overview>
		<property:Interpretation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">명칭만 다른 policy를 비교하면 attribution이 불가능하다. scoring formula, victim selection, doomed handling, time re-scoring을 명시적인 isolated tests와 debug telemetry로 고정해야 한다.</property:Interpretation>
		<property:Lesson_title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Legacy scheduler code는 heuristic scoring과 ablation 경계를 테스트로 고정해야 한다</property:Lesson_title>
		<property:Observation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">코드상 DW-KV는 `tier_value * urgency / kv_footprint`, value-urgency는 denominator 없이 `tier_value * urgency`, tier-priority는 value만 사용하고, KV-footprint은 prompt+max output footprint의 역수를 사용한다. `demote`는 raw_laxity&lt;=0일 때 urgency floor로 내리며, tests는 tier ordering, urgency override, KV denominator isolation, ablation semantics를 검증한다.</property:Observation>
		<property:Question rdf:datatype="http://www.w3.org/2001/XMLSchema#string">DW-KV와 ablation policy의 실제 차이를 코드 수준에서 어떻게 보존했는가?</property:Question>
		<property:Record_origin rdf:datatype="http://www.w3.org/2001/XMLSchema#string">lab</property:Record_origin>
		<property:Reusable_lesson rdf:datatype="http://www.w3.org/2001/XMLSchema#string">policy 연구 코드는 각 구성요소를 하나씩 끄는 ablation과 score breakdown을 제공하고, heuristic이 EDF/optimality theorem인 것처럼 과장되지 않도록 class/docstring/test에 claim boundary를 기록한다.</property:Reusable_lesson>
		<property:Review_state rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Draft</property:Review_state>
		<property:Updated_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-19T01:46:54Z</property:Updated_at>
		<property:Updated_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.5742361</property:Updated_at-23aux>
		<swivt:wikiPageModificationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-19T01:46:54Z</swivt:wikiPageModificationDate>
		<property:Modification_date-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.5742361</property:Modification_date-23aux>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">dwkv score code contract</swivt:wikiPageSortKey>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Adwkv_score_code_contract-23_0b63d1724956e4369782c96c380d5fcb"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Adwkv_score_code_contract-23_0b63d1724956e4369782c96c380d5fcb">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Adwkv_score_code_contract"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">dwkv-score-contract</property:Evidence_ID>
		<property:Evidence_added_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-19T01:46:54Z</property:Evidence_added_at>
		<property:Evidence_added_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.5742361</property:Evidence_added_at-23aux>
		<property:Evidence_added_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_added_by>
		<property:Evidence_citation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">scripts/legacy/dwkv/simulate_dwkv_policies.py:248-319; vllm/v1/core/sched/request_queue.py:461-552; tests/v1/core/test_dwkv_request_queue.py:65-126</property:Evidence_citation>
		<property:Evidence_kind rdf:datatype="http://www.w3.org/2001/XMLSchema#string">code</property:Evidence_kind>
		<property:Evidence_note rdf:datatype="http://www.w3.org/2001/XMLSchema#string">각 policy formula와 focused tests를 확인함.</property:Evidence_note>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">partial_source</property:Verification_basis>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">dwkv score code contract# 0b63d1724956e4369782c96c380d5fcb</swivt:wikiPageSortKey>
	</swivt:Subject>
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#creationDate" />
	<owl:Class rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Category-3ALessons" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#page" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiNamespace" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageContentLanguage" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AApplicability" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AAttempt" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AAuthor" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AConfidence" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AContext" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ACreated_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ACreated_at-23aux" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_overview" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AInterpretation" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ALesson_title" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AObservation" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AQuestion" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ARecord_origin" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AReusable_lesson" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AReview_state" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AUpdated_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AUpdated_at-23aux" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageModificationDate" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AModification_date-23aux" />
	<owl:DatatypeProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#wikiPageSortKey" />
	<owl:ObjectProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AHas_subobject" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#masterPage" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_ID" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_added_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_added_at-23aux" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_added_by" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_citation" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_kind" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_note" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_basis" />
	<!-- Created by Semantic MediaWiki, https://www.semantic-mediawiki.org/ -->
</rdf:RDF>