<?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-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-09-08T16:35:23+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-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01">
		<rdf:type rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Category-3ALessons"/>
		<rdfs:label>Lesson:pivot-b200-20260717-native-extension-boundary-a01</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01"/>
		<swivt:page rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01"/>
		<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">Applies to reproducible GPU experiments whose source tree exposes compiled modules through symlinks, editable installs, or environment-specific build locations.</property:Applicability>
		<property:Attempt rdf:datatype="http://www.w3.org/2001/XMLSchema#string">The B200 migration runner enumerated repository-visible .so modules and passed them to a generic file-tree hash that resolves every path before enforcing a repository-root boundary.</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">Sequential Qwen then Mistral target-generation migration collection on B200-2, source commit 8ca2dbb68d202a8ba8b4ae226b64d77ec3e604ca, before any CUDA generation process was launched.</property:Context>
		<property:Created_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-17T06:31:51Z</property:Created_at>
		<property:Created_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461238.7721181</property:Created_at-23aux>
		<property:Evidence_overview rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Source commit 8ca2dbb68d202a8ba8b4ae226b64d77ec3e604ca; failure before bundle creation and GPU compute; logical modules and external target byte hashes independently inspected.</property:Evidence_overview>
		<property:Interpretation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Absolute installation location is not part of the portable runtime identity. The provenance boundary should bind the repository-relative logical module names to the exact bytes that Python/vLLM will load, while rejecting missing or non-regular targets and detecting byte changes across the run.</property:Interpretation>
		<property:Lesson_title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">B200 migration preflight rejected externally linked native extensions</property:Lesson_title>
		<property:Observation rdf:datatype="http://www.w3.org/2001/XMLSchema#string">The two logical FlashAttention modules vllm/vllm_flash_attn/_vllm_fa2_C.abi3.so and _vllm_fa3_C.abi3.so are symlinks into the active vLLM virtual environment. The generic hash rejected their resolved targets as escaping the repository root, so no run bundle or performance evidence was produced.</property:Observation>
		<property:Question rdf:datatype="http://www.w3.org/2001/XMLSchema#string">How should native vLLM extension provenance be bound when repository-visible extension modules are symlinks into the active virtual environment?</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">For environment-linked native modules, hash logical in-repository module identity plus followed target bytes, exclude absolute target paths from the digest, fail closed on broken or non-regular targets, and recompute the digest at suite completion to close the normal time-of-check/time-of-use gap.</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-18T15:00:29Z</property:Updated_at>
		<property:Updated_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1253357</property:Updated_at-23aux>
		<swivt:wikiPageModificationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T15:00:29Z</swivt:wikiPageModificationDate>
		<property:Modification_date-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1253357</property:Modification_date-23aux>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">pivot-b200-20260717-native-extension-boundary-a01</swivt:wikiPageSortKey>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01-23_92b63539deb2d156335c6fad903a7d19"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01-23_35366ac6b634b6a1bad249097a19d411"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01-23_dd382577833eaf4ecbbbabde43bc676c"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01-23_0e0237d6db41cf84545f34b1437f469d"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01-23_224e3caa4482a8cba60aa3257399fe8e"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01-23_592340d8ad897e1a0935b9053bc288ee"/>
		<property:Has_subobject rdf:resource="&wiki;Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01-23_702fdad36633ab802154e1858f28956d"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01-23_92b63539deb2d156335c6fad903a7d19">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01"/>
		<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">Evidence:pivot-b200-native-extension-boundary-source-a01</property:Evidence_ID>
		<property:Evidence_added_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-17T06:37:06Z</property:Evidence_added_at>
		<property:Evidence_added_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461238.7757639</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">git commit 8ca2dbb68d202a8ba8b4ae226b64d77ec3e604ca; scripts/pivot_experiment/b200_migration_generation.py::_native_extension_sha256</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">The runner resolved repository-visible extension paths before enforcing the repository-root boundary; the failure happened before bundle creation and before any CUDA generation.</property:Evidence_note>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">not_recorded</property:Verification_basis>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">pivot-b200-20260717-native-extension-boundary-a01# 92b63539deb2d156335c6fad903a7d19</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01-23_35366ac6b634b6a1bad249097a19d411">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01"/>
		<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">Evidence:pivot-b200-native-extension-symlinks-a01</property:Evidence_ID>
		<property:Evidence_added_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-17T06:37:39Z</property:Evidence_added_at>
		<property:Evidence_added_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461238.7761458</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">B200-2 native extension audit on 2026-07-17</property:Evidence_citation>
		<property:Evidence_kind rdf:datatype="http://www.w3.org/2001/XMLSchema#string">log</property:Evidence_kind>
		<property:Evidence_note rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Logical FlashAttention paths were symlinks into serve-glm51/.venv. Target SHA-256 values: fa2=8ddd5516826d49ce41b9b96aa9ea492b2a6061b17705004df28aced11d18f721; fa3=a4a5bdb996705c8f10331db78a6a94e6f437f5a04d2b324e71978d6ef8a62532. Targets were regular but user-writable mode 0664.</property:Evidence_note>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">not_recorded</property:Verification_basis>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">pivot-b200-20260717-native-extension-boundary-a01# 35366ac6b634b6a1bad249097a19d411</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01-23_dd382577833eaf4ecbbbabde43bc676c">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01"/>
		<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">Evidence:pivot-b200-effective-vllm-tree-a01</property:Evidence_ID>
		<property:Evidence_added_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-17T06:49:26Z</property:Evidence_added_at>
		<property:Evidence_added_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461238.7843287</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">Effective vLLM package inventory on source commit 8ca2dbb68d202a8ba8b4ae226b64d77ec3e604ca</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">The runtime package contained 2,251 tracked files plus 985 ignored non-cache paths, including vendored Python/CUDA headers/kernels and 13 native extensions. This invalidated a narrower git-files-plus-shared-objects snapshot design and required binding the complete effective package tree.</property:Evidence_note>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">not_recorded</property:Verification_basis>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">pivot-b200-20260717-native-extension-boundary-a01# dd382577833eaf4ecbbbabde43bc676c</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01-23_0e0237d6db41cf84545f34b1437f469d">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_verified_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:58:53Z</property:Evidence_verified_at>
		<property:Evidence_verified_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1242245</property:Evidence_verified_at-23aux>
		<property:Evidence_verified_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_verified_by>
		<property:Verification_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verify_ba054f83a2af32f2278f</property:Verification_ID>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">metadata_only</property:Verification_basis>
		<property:Verification_claim_fields rdf:datatype="http://www.w3.org/2001/XMLSchema#string">context</property:Verification_claim_fields>
		<property:Verification_coverage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">수집 manifest의 실패 원장만 보존되어 원문 주장을 검증하지 못함.</property:Verification_coverage>
		<property:Verification_outcome rdf:datatype="http://www.w3.org/2001/XMLSchema#string">inconclusive</property:Verification_outcome>
		<property:Verification_source_SHA256 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5</property:Verification_source_SHA256>
		<property:Verification_source_identity rdf:datatype="http://www.w3.org/2001/XMLSchema#string">R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5</property:Verification_source_identity>
		<property:Verification_source_locator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 파일 manifest.json</property:Verification_source_locator>
		<property:Verified_evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Evidence:pivot-b200-native-extension-boundary-source-a01</property:Verified_evidence_ID>
		<property:Verified_evidence_digest rdf:datatype="http://www.w3.org/2001/XMLSchema#string">38cd93044ec8e53025a91ef6b7e0677d00c3e1415fbb02f2ba0928917b204d6d</property:Verified_evidence_digest>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">pivot-b200-20260717-native-extension-boundary-a01# 0e0237d6db41cf84545f34b1437f469d</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01-23_224e3caa4482a8cba60aa3257399fe8e">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_verified_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:58:53Z</property:Evidence_verified_at>
		<property:Evidence_verified_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1242245</property:Evidence_verified_at-23aux>
		<property:Evidence_verified_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_verified_by>
		<property:Verification_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verify_3115dceb53f9a677e91a</property:Verification_ID>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">metadata_only</property:Verification_basis>
		<property:Verification_claim_fields rdf:datatype="http://www.w3.org/2001/XMLSchema#string">context</property:Verification_claim_fields>
		<property:Verification_coverage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">수집 manifest의 실패 원장만 보존되어 원문 주장을 검증하지 못함.</property:Verification_coverage>
		<property:Verification_outcome rdf:datatype="http://www.w3.org/2001/XMLSchema#string">inconclusive</property:Verification_outcome>
		<property:Verification_source_SHA256 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5</property:Verification_source_SHA256>
		<property:Verification_source_identity rdf:datatype="http://www.w3.org/2001/XMLSchema#string">R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5</property:Verification_source_identity>
		<property:Verification_source_locator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 파일 manifest.json</property:Verification_source_locator>
		<property:Verified_evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Evidence:pivot-b200-native-extension-symlinks-a01</property:Verified_evidence_ID>
		<property:Verified_evidence_digest rdf:datatype="http://www.w3.org/2001/XMLSchema#string">128bcf7d279cabb031dfe1e6cb46968a89dee41e6c2430664679d193c490e581</property:Verified_evidence_digest>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">pivot-b200-20260717-native-extension-boundary-a01# 224e3caa4482a8cba60aa3257399fe8e</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01-23_592340d8ad897e1a0935b9053bc288ee">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_verified_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T14:58:53Z</property:Evidence_verified_at>
		<property:Evidence_verified_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1242245</property:Evidence_verified_at-23aux>
		<property:Evidence_verified_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_verified_by>
		<property:Verification_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verify_cac8f5b25088f4d45d8d</property:Verification_ID>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">metadata_only</property:Verification_basis>
		<property:Verification_claim_fields rdf:datatype="http://www.w3.org/2001/XMLSchema#string">context</property:Verification_claim_fields>
		<property:Verification_coverage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">수집 manifest의 실패 원장만 보존되어 원문 주장을 검증하지 못함.</property:Verification_coverage>
		<property:Verification_outcome rdf:datatype="http://www.w3.org/2001/XMLSchema#string">inconclusive</property:Verification_outcome>
		<property:Verification_source_SHA256 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5</property:Verification_source_SHA256>
		<property:Verification_source_identity rdf:datatype="http://www.w3.org/2001/XMLSchema#string">R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=689990da723c183d73e5102f6b5a7c8972497dfa210f09dd79bb20472fb857d5</property:Verification_source_identity>
		<property:Verification_source_locator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">보존 파일 manifest.json</property:Verification_source_locator>
		<property:Verified_evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Evidence:pivot-b200-effective-vllm-tree-a01</property:Verified_evidence_ID>
		<property:Verified_evidence_digest rdf:datatype="http://www.w3.org/2001/XMLSchema#string">3e8538bc337c8a13dbe55f246edce5d005b8a3a68e84b73406ce4ed108770694</property:Verified_evidence_digest>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">pivot-b200-20260717-native-extension-boundary-a01# 592340d8ad897e1a0935b9053bc288ee</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01-23_702fdad36633ab802154e1858f28956d">
		<swivt:masterPage rdf:resource="&wiki;Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">3000</swivt:wikiNamespace>
		<property:Evidence_verified_at rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2026-07-18T15:00:29Z</property:Evidence_verified_at>
		<property:Evidence_verified_at-23aux rdf:datatype="http://www.w3.org/2001/XMLSchema#double">2461240.1253357</property:Evidence_verified_at-23aux>
		<property:Evidence_verified_by rdf:datatype="http://www.w3.org/2001/XMLSchema#string">S3ResearchAgent</property:Evidence_verified_by>
		<property:Verification_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">verify_89afd8a10add96748248</property:Verification_ID>
		<property:Verification_basis rdf:datatype="http://www.w3.org/2001/XMLSchema#string">partial_source</property:Verification_basis>
		<property:Verification_claim_fields rdf:datatype="http://www.w3.org/2001/XMLSchema#string">observation,interpretation,reusable_lesson</property:Verification_claim_fields>
		<property:Verification_coverage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">claim-bearing O/I/R coverage was not established; confidence forced to low</property:Verification_coverage>
		<property:Verification_outcome rdf:datatype="http://www.w3.org/2001/XMLSchema#string">inconclusive</property:Verification_outcome>
		<property:Verification_source_SHA256 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">15cf9181190cfaa5ceb31375d26af951dc265942e73915429220ee8efe05a177</property:Verification_source_SHA256>
		<property:Verification_source_identity rdf:datatype="http://www.w3.org/2001/XMLSchema#string">R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=15cf9181190cfaa5ceb31375d26af951dc265942e73915429220ee8efe05a177; high-confidence adjudication ledger</property:Verification_source_identity>
		<property:Verification_source_locator rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Patch supports hashing logic, but the B200 symlink audit and failed-run receipt in O are absent.</property:Verification_source_locator>
		<property:Verified_evidence_ID rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Evidence:pivot-b200-native-extension-boundary-source-a01</property:Verified_evidence_ID>
		<property:Verified_evidence_digest rdf:datatype="http://www.w3.org/2001/XMLSchema#string">38cd93044ec8e53025a91ef6b7e0677d00c3e1415fbb02f2ba0928917b204d6d</property:Verified_evidence_digest>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">pivot-b200-20260717-native-extension-boundary-a01# 702fdad36633ab802154e1858f28956d</swivt:wikiPageSortKey>
	</swivt:Subject>
	<swivt:Subject rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Lesson-3Apivot-2Db200-2D20260717-2Dimmutable-2Druntime-2Da01">
		<rdfs:label>Lesson:pivot-b200-20260717-immutable-runtime-a01</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/Lesson-3Apivot-2Db200-2D20260717-2Dimmutable-2Druntime-2Da01"/>
		<swivt:page rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Lesson-3Apivot-2Db200-2D20260717-2Dimmutable-2Druntime-2Da01"/>
		<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:Supersedes rdf:resource="&wiki;Lesson-3Apivot-2Db200-2D20260717-2Dnative-2Dextension-2Dboundary-2Da01"/>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">pivot-b200-20260717-immutable-runtime-a01</swivt:wikiPageSortKey>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3ASupersedes">
		<rdfs:label>Supersedes</rdfs:label>
		<rdfs:isDefinedBy rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/Special:ExportRDF/속성-3ASupersedes"/>
		<swivt:page rdf:resource="https://s3wiki.yonsei.ac.kr/index.php/속성-3ASupersedes"/>
		<swivt:wikiNamespace rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">102</swivt:wikiNamespace>
		<swivt:wikiPageContentLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ko</swivt:wikiPageContentLanguage>
		<swivt:wikiPageSortKey rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Supersedes</swivt:wikiPageSortKey>
		<swivt:type rdf:resource="http://semantic-mediawiki.org/swivt/1.0#_wpg"/>
	</owl:ObjectProperty>
	<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" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_verified_at" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_verified_at-23aux" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AEvidence_verified_by" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_ID" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_claim_fields" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_coverage" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_outcome" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_source_SHA256" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_source_identity" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerification_source_locator" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerified_evidence_ID" />
	<owl:DatatypeProperty rdf:about="https://s3wiki.yonsei.ac.kr/index.php/Special:URIResolver/Property-3AVerified_evidence_digest" />
	<owl:ObjectProperty rdf:about="http://semantic-mediawiki.org/swivt/1.0#type" />
	<!-- Created by Semantic MediaWiki, https://www.semantic-mediawiki.org/ -->
</rdf:RDF>