a ; ; "CML concept"; "A first-class concept node, realised natively as an NQuin context hash that OWNS a logic sub-graph (q_hash of the concept IRI). RDFS+SHACL, not OWL: a concept about the given world is described and validated, never inferred into being. Identity is curation-grade (see §3).". a ; ; "A concept is realised by a span of verbatim source text. Shorthand for an oa:Annotation whose body is the concept and whose target is a media-fragment selector (RFC 5147 #char= + oa:TextQuoteSelector + an integrity hash). MANY realizations (across instruments, languages, the universalised amendedText) may realise ONE concept.". a ; ; "Hash of the selected span verified against the recovered originalText (front-of-file Q42LEX).". a . a ; "Machine / automated / self-asserted; provisional.". a ; "Confirmed by a signed, contextually/legally-authoritative human action (sec: proof).". a ; . a ; ; "The machine/vector agent that PROPOSED a mapping (prov:wasGeneratedBy).". a ; ; "The authoritative human who RATIFIED it (prov:wasAttributedTo), with a sec: signature.". a ; ; "Machine-proposal confidence in [0,1] (tuned by the Neuro-Symbolic Sieve spec; out of scope here).". a . a . a . a . a . a ; . a . a . a . a . a . a . a . a . a ; "Linear Temporal Logic (G/F/X/U/R) over ordered Quin traces.". a . a . a . a . a . a . a . a . a . a . a ; "A bounded, proposed routing of one source-backed concept to an applicable logic evaluator. It is analysis metadata, not proof or human attestation.". a ; ; . a ; ; . a ; ; . a ; ; . a ; ; ; "The implemented QualiaDB module/compiler selected for subsequent bounded evaluation.". a ; ; "Binds a concept to a logic assertion in one of its modality sub-graphs. ENGINE MAPPING: the asserted quins carry context = q_hash(concept IRI), so the concept's hash IS the sub-graph the Webizen VM masks on. This is how a logic library is run against a concept.". a ; ; "Which logic library evaluates this assertion (subject-matter-selected).". a ; . _:n3-68 ; ; 1; "skos:exactMatch requires cml:Attested (a signed authoritative human action); machine agents may assert only skos:closeMatch / skos:related.". _:n3-68. a ; . _:n3-69 ; 1; 1; ; "A logic application must select exactly one registered CML modality.". _:n3-69. _:n3-70 ; 1; "A logic application must explain why the evaluator is applicable.". _:n3-70. _:n3-71 ; 1; 1; "A logic application must name its implemented QualiaDB execution surface.". _:n3-71. _:n3-72 ; 0; 1; 1. _:n3-72. _:n3-73 ; ; 1; "Automated logic routing remains cml:Proposed until authoritative review.". _:n3-73.