İçeriğe geç

Table Permanence Matrix

Geliştirme · 0.0.0-dev

Yayın

Doküman
0.0.0-dev
Uygulama
0.0.0

Bu sayfa

Uygulama
0.0.0

Bu belge ER-001, ER-002 ve CAT-001’deki logical relation’lara tek bir permanence sınıfı atar. Fiziksel migration farklı isim kullanabilir; fakat bir tablo iki sınıfı karıştıramaz ve aşağıdaki logical satırların hiçbirini sınıfsız bırakamaz.

Sınıf Authority Kabul sonrası mutation Rebuild Public ID / release root
immutable Package, release, identity, anchor veya control fact Yalnız yeni row/release/event; existing row için update/delete/truncate yok Semantic rebuild yok; yalnız exact disaster restore Olabilir ve kalıcıdır
curated Review ile kabul edilen domain semantic authority Yalnız yeni proposal/decision/entity/relation ve typed successor; in-place correction yok Destructive rebuild yok; deterministic seed olsa da accepted history korunur Olabilir ve kalıcıdır
derived Exact immutable/curated inputlardan deterministic projection Builder atomic replace/swap yapabilir Zorunlu; aynı contract/input roots aynı parity root’u üretir Bağımsız public ID yok; authority root olamaz
cache Performans ve geçici operasyon kolaylığı Owner drop/truncate/expire/replace yapabilir İsteğe bağlı; yokluğu veya staleness authoritative sonucu değiştirmez Public ID, release root veya policy authority yok

Sınıflar tablo seviyesinde mutually exclusive’dir. Aynı row’un lifecycle state’ine bakarak sınıf değiştiren status tablosu kurulamaz. Örneğin persisted candidate ile accepted compound aynı tabloda tutulmaz; candidate immutable evidence, accepted compound curated authority’dir. Yalnız candidate üretiminin publish edilmemiş scratch workset’i derived olabilir.

Immutable ile curated arasındaki fark accepted row’a DML izni değildir. İkisinde de historical satır değişmez. Immutable package/control contract tarafından yayınlanır; curated ADR-007 review ve typed successor süreciyle semantic authority olarak büyür.

İşlem Immutable Curated Derived Cache
Direct application INSERT Yasak Yasak Yasak Capability’ye göre
Controlled publisher INSERT Exact package/release gate ile Accepted curation transaction ile Builder staging’e İzinli
Existing row UPDATE Yasak Yasak Staging’de izinli; published generation’da yasak İzinli
DELETE / TRUNCATE Yasak Yasak Eski generation atomic swap sonrası drop edilebilir İzinli
Correct semantic fact Successor row/release Proposal, decision, successor Authoritative inputu düzeltip rebuild Evict/recompute
Restore Exact bytes/root ile disaster restore Exact ledger/row restore Rebuild tercih edilir Gerekmez

Migration sahibi olmak accepted authority’yi değiştirme yetkisi vermez. DDL yeni schema/generation hazırlayabilir; mevcut immutable veya curated bytes’ı rewrite eden data migration yeni release/successor ve F2-017 authorization olmadan çalışamaz.

Logical relation Sınıf Publisher / owner Gerekçe ve correction yolu
CORE_RELEASE immutable sealed core publisher/owner Exact core fact set ve root; correction successor release
RELEASE_TEXT_VERSION immutable sealed core publisher/owner Release membership ve stream order source fact
WORK immutable sealed core publisher/owner Package-owned logical identity
TEXT_VERSION immutable sealed core publisher/owner Exact snapshot ve descendant closure claim
BOOK immutable sealed core publisher/owner Parent/order/text facts successor release gerektirir
CHAPTER immutable sealed core publisher/owner Parent/order/text facts successor release gerektirir
PARAGRAPH immutable sealed core publisher/owner Boundary/order exact core fact
SENTENCE immutable sealed core publisher/owner Boundary/order/initial text exact core fact
TOKEN_OCCURRENCE immutable sealed core publisher/owner Public occurrence, body channel, trailing text ve order
TOKEN_FORM immutable sealed core publisher/owner Text-version-scoped binary exact form authority
TOKENIZATION_PROFILE immutable versioned contract publisher Content-addressed algorithm contract; new semantics new profile
Identity release key, path manifest ve permanent row/closure claims immutable identity publisher ID reuse ve remint’i fail-closed engeller
Accepted package crosswalk / companion manifest immutable package publisher Release-bound exact migration evidence
Curated external-ID crosswalk assertion curated curation publisher Yanlış mapping typed successor/decision ile düzeltilir

Core’un hiçbir tablosu curated, derived veya cache değildir. Compiler aynı bytes’ı yeniden üretebilse bile accepted core identity-bearing facts rebuildable sayılmaz. Fresh compile yeni candidate generation üretir; accepted core’a ancak yeni immutable publication olarak eklenir.

Logical relation Sınıf Publisher / owner Gerekçe ve correction yolu
Coordinate profile immutable anchor contract publisher Offset semantiği değişirse yeni profile
TEXT_SPAN immutable shared anchor registry Exact coordinate identity; domain correction span’ı mutate etmez
TEXT_SELECTION immutable shared anchor registry Ordered member identity değişirse yeni selection
TEXT_SELECTION_MEMBER immutable shared anchor registry Selection identity closure’ının parçası
ANNOTATION_RELEASE immutable annotation release publisher Exact component, core, curation ve provenance roots
CORE_RELEASE_BINDING immutable annotation release publisher Annotation release’in exact core witness’i
STRUCTURAL_RELEASE immutable domain release publisher Accepted structural inventory root
LEXICAL_RELEASE immutable domain release publisher Accepted authority/occurrence roots
OTTOMAN_RELEASE immutable domain release publisher Accepted pattern/occurrence roots
REPETITION_RELEASE immutable domain release publisher Exact occurrence/structure roots
ALIGNMENT_RELEASE immutable domain release publisher Scope/coverage roots ve propagation policy binding
CURATION_RELEASE immutable curation release publisher Ordered accepted transaction/effective roots
CURATION_RELEASE_TRANSACTION immutable curation release publisher Release transaction order closure’ı

Release envelope’leri semantic domain row’larını sahiplenmez; exact immutable ID/root setini seçer. Parent release veya component membership mevcut row’da değiştirilmez.

Logical relation Sınıf Publisher / owner Gerekçe ve correction yolu
CURATION_PROPOSAL immutable curation intake publisher Revision/payload snapshot; yeni revizyon yeni immutable row
CURATION_ACTION ve typed action detail immutable curation intake publisher Proposal payloadının ordered frozen parçası
CURATION_REVIEW immutable review publisher Reviewer vote/history append-only
CURATION_DECISION immutable decision publisher Quorum sonucu edit edilmez; compensating decision eklenir
CURATION_TRANSACTION immutable curation executor Applied result/root append-only audit authority
Domain candidate envelope ve typed candidate detail immutable candidate evidence publisher Exact producer/input/output/score payloadı; semantic acceptance değildir
Typed supersession event ve participant tabloları curated curation publisher Semantic lifecycle authority; yanlış event compensating decision alır
Source system/release immutable provenance publisher External source identity ve release facts
Artifact, record, selector ve extraction binding immutable provenance publisher Exact bytes/locator/intake partition evidence
Process contract ve process run immutable provenance publisher Versioned transformation ve execution evidence
PROVENANCE_ASSERTION, evidence edge ve role immutable provenance publisher Directed typed evidence graph; acceptance yerine geçmez
PROVENANCE_MANIFEST, closure node/edge ve closure report immutable release publisher Used-source/intake/output closure publication witness’i
Rights, attribution, access ve privacy policy binding immutable provenance/policy publisher Historical publication decisioninin exact policy context’i

Proposal’da kullanılan candidate satırı semantic acceptance değildir, fakat immutable evidence olarak saklanır. Proposal/action payloadı candidate’ın exact bytes/hash, producer run ve evidence ID’lerini kendi immutable ledger kaydında da dondurur. Candidate yorumu veya skoru sonradan update edilmez; yeni generator output’u yeni candidate kimliği alır.

Logical relation Sınıf Publisher / owner Gerekçe ve correction yolu
HEADING_KIND curated structural curation publisher Versioned semantic vocabulary
HEADING curated structural curation publisher Marker/coverage/parent değişikliği successor heading
SEGMENT_KIND curated structural curation publisher Versioned semantic vocabulary
SEGMENT curated structural curation publisher Exact selection değişikliği successor segment
SEGMENT_RELATION curated structural curation publisher Typed directed semantic assertion
NOTE_TYPE curated structural curation publisher Versioned note vocabulary
NOTE curated structural curation publisher Note referent’i ve accepted classification
NOTE_MARKER curated structural curation publisher Note identity closure’ının ordered marker assertion’ı
NOTE_BODY curated structural curation publisher Note identity closure’ının ordered body assertion’ı

Package ile bootstrap edilen structural rows da accepted olduktan sonra curated permanence taşır. Deterministik üretilebilmeleri destructive rebuild yetkisi vermez; manuel ve package kaynaklı kayıtlar aynı successor kurallarına uyar.

Logical relation Sınıf Publisher / owner Gerekçe ve correction yolu
COMPOUND_ENTRY curated lexical curation publisher Semantic definition identity
COMPOUND_VARIANT curated lexical curation publisher Recognized surface variant identity
COMPOUND_OCCURRENCE curated lexical curation publisher Variant + exact span assertion
COMPOUND_MEMBER_ROLE curated lexical curation publisher Token occurrence’a typed domain role
COMPOUND_CHILD curated lexical curation publisher Reviewed acyclic semantic containment
LEXEME curated lexical curation publisher Lexical semantic authority
LEXEME_FORM curated lexical curation publisher Linguistic form; core token form değildir
LEXICAL_ROOT curated lexical curation publisher Root authority; normalized fallback değildir
LEXEME_ROOT_ASSERTION curated lexical curation publisher Typed root analysis assertion
FORM_ANALYSIS curated lexical curation publisher Exact token occurrence homograph analysis
DICTIONARY_SOURCE curated lexical/provenance publisher Dictionary domain source authority
DICTIONARY_ENTRY curated lexical curation publisher Source entry referent’i
DICTIONARY_SENSE curated lexical curation publisher Sense identity ve text authority
LEXEME_SENSE_LINK curated lexical curation publisher Typed lexeme-to-sense assertion
COMPOUND_SENSE_LINK curated lexical curation publisher Whole-compound sense assertion
TOKEN_SENSE_SELECTION curated lexical curation publisher Contextual occurrence-level selected sense
COMPOUND_SENSE_SELECTION curated lexical curation publisher Contextual whole-compound selected sense

Definition, variant, occurrence ve selected-sense rows aynı tabloda birleştirilemez. Current/recommended meaning, root veya analysis ayrı derived effective projection’da hesaplanır; accepted curated row’a is_current update’i yapılmaz. Serbest polymorphic ENTITY_SENSE_LINK relation’ı hiçbir permanence sınıfında yoktur ve fiziksel schema’da oluşturulamaz.

Logical relation Sınıf Publisher / owner Gerekçe ve correction yolu
ORTHOGRAPHIC_FORM curated Ottoman curation publisher Raw/display script authority ve provenance
DISPLAY_STYLE_RULE curated Ottoman curation publisher Versioned izafet/hareke/şedde display rule
MAPPING_PATTERN curated Ottoman curation publisher Matcher semantics ve priority authority
PATTERN_OUTPUT curated Ottoman curation publisher Pattern-to-form/style accepted output
PATTERN_EVIDENCE curated Ottoman curation publisher Accepted pattern’ın typed provenance support’u
RENDERING_OCCURRENCE curated Ottoman curation publisher Exact span’a accepted output uygulaması
EFFECTIVE_SPAN_RENDERING derived Ottoman projection builder Release-bound deterministic canonical reader selection

EFFECTIVE_SPAN_RENDERING public identity taşımaz. Rebuild exact Ottoman release, pattern priority/output seti ve span closure root’larını input olarak kaydeder; yeni generation parity root’u doğrulanmadan reader pointer’ı atomic swap edilmez.

Logical relation Sınıf Publisher / owner Gerekçe ve correction yolu
REPETITION_PROFILE immutable repetition contract publisher Mask/equality/granularity semantics content-addressed’dır
PASSAGE_OCCURRENCE immutable repetition package publisher Profile altında exact selection occurrence inventory’si
EXACT_CLASS immutable repetition package publisher Certified exact predicate ve complete member root
EXACT_CLASS_MEMBER immutable repetition package publisher Deterministic exact equivalence closure
REPEAT_FAMILY curated repetition curation publisher Reviewed near-exact/variant family assertion
FAMILY_OCCURRENCE_MEMBER curated repetition curation publisher Reviewed family member seti
FAMILY_EXACT_CLASS_MEMBER curated repetition curation publisher Reviewed family expansion seti
QUOTATION_RELATION curated repetition curation publisher Directed non-transitive semantic relation
EXACT_CLASS_CHOICE curated repetition curation publisher Optional recommended occurrence decision
REPEAT_FAMILY_CHOICE curated repetition curation publisher Optional recommended occurrence decision
REPEAT_CANDIDATE, fingerprint/metric evidence immutable candidate evidence publisher Exact generator/profile/output snapshot’ı ve false-positive benchmark’ı
PASSAGE_DIFF immutable candidate/review evidence publisher Replayable exact edit script’i tarihsel kanıttır
Discovery buckets ve diff/similarity scratch worksets derived repetition candidate builder Persisted candidate emission öncesi yeniden üretilebilir ara durum

Persist edilmiş PASSAGE_DIFF baştan immutable evidence’dır; accepted semantic family veya quotation ile aynı tabloda tutulmaz. Transient diff hesaplama workset’i derived kalır ve emission sırasında exact script/hash yeni immutable evidence row’una yazılır.

Logical relation Sınıf Publisher / owner Gerekçe ve correction yolu
ALIGNMENT_PROFILE immutable alignment contract publisher Unit/scope/coverage semantics content-addressed’dır
PROPAGATION_POLICY immutable policy publisher Reference propagation kuralı versioned contract’tır
ALIGNMENT_UNIT curated alignment curation publisher Bir dilde reviewed exact selection unit identity; boundary değişikliği successor
ALIGNMENT_SCOPE immutable alignment package publisher Source/target extent ve partition roots
SCOPE_ATOM immutable alignment package publisher Gap-free partition inventory
SCOPE_ATOM_UNIT immutable alignment package publisher Unitizable atom-to-unit complete mapping
SCOPE_UNIT immutable alignment package publisher Scope-side ordered unit inventory
ALIGNMENT_ORDER immutable alignment package publisher Source/target group order manifest authority
ALIGNMENT_ORDER_MEMBER immutable alignment package publisher Ordered group manifest closure
ALIGNMENT_GROUP curated alignment curation publisher Reviewed bipartite correspondence/disposition
GROUP_SOURCE_MEMBER curated alignment curation publisher Group’un ordered source participant seti
GROUP_TARGET_MEMBER curated alignment curation publisher Group’un ordered target participant seti
ALIGNMENT_CANDIDATE ve persisted score/output evidence immutable candidate evidence publisher Exact producing run ve proposal payload digest’i
Pair-score matrix, candidate grouping scratch ve render worksets derived alignment candidate builder Immutable candidate emission öncesi yeniden üretilebilir ara durum

Order manifestlerinin group ID’lerini içerdiği yayın transaction’ında immutable order satırları ile curated group/member satırları atomik bir ALIGNMENT_RELEASE altında seçilir. Group düzeltmesi yeni curated group ve yeni immutable release/order manifest üretir; mevcut order satırı update edilmez.

Logical relation Sınıf Publisher / owner Gerekçe ve correction yolu
REFERENCE_KIND_SPEC generated enum/manifest immutable schema contract publisher Runtime kind eklenemez; catalog migration gerekir
REFERENCEABLE_ENTITY immutable reference registration publisher Owner ile aynı historical public UUID/kind claim’i
28 reference_<kind_key> typed bridge immutable reference registration publisher Real owner FK ve exactly-one kind proof’u
Reference registration transaction/closure immutable reference registration publisher Atomic owner/bridge/visibility evidence
Future relation vocabulary ve allowed kind-pair manifest immutable reference contract publisher Relation semantics/versioned compatibility authority
Future REFERENCE_EDGE curated reference curation publisher Semantic directed assertion; typed successor gerekir
Persisted edge candidate/suggestion record immutable candidate evidence publisher Exact producer/payload/score evidence; edge authority değildir
Edge discovery/ranking scratch worksets derived reference candidate builder Immutable candidate emission öncesi ara hesaplama
Current-resolution / propagation projection derived reference projection builder Exact policy ve accepted graph root’undan üretilir

Registry ve bridge backfill’i destructive rebuild değildir. Accepted source entity’lerden initial registration package üretilebilir; yayımlanan registry rows sonrasında kalıcıdır ve reference graph olmasa da historical exact lookup korunur.

Bir physical relation yalnız aşağıdaki alanların tamamı contract’ta varsa derived olabilir:

  1. Builder contract ID ve executable version/digest.
  2. Exact immutable/curated source release IDs ve ordered input roots.
  3. Deterministic row schema, ordering, normalization ve error contract.
  4. Canonical output row count ve parity root.
  5. Staging generation ID; active reader generation’dan ayrı build.
  6. Full validation sonrası tek atomic pointer/view swap.
  7. Eski generation’ın yalnız hiçbir reader/release binding’i kalmadığında drop’u.
  8. Failure halinde eski valid generation’a dokunmayan no-partial-publish davranışı.

Derived projection’daki bir bug authoritative source’u değiştirmez. Düzeltme builder contract successor’ı ve yeni generation üretir. API derived sonucu authoritative gibi sunuyorsa exact source release ve projection contract ID’sini response context’e bağlar.

Normative derived relation grupları:

  • span occurrence/token membership projections;
  • effective Ottoman span rendering;
  • effective curation/domain current-state views;
  • release-bound search documents ve static search indexes;
  • repeat/alignment/reference discovery scratch generations;
  • deterministic hover/read composition projections;
  • policy-qualified supersession/current-resolution projections; ve
  • public materialized views whose rows are fully reproducible from accepted roots.

Candidate promotion retained immutable candidate PK’sine typed FK verebilir ve exact payload digest’ini proposal/action içinde ayrıca dondurur. Accepted semantic authority mutable candidate state’e dayanamaz; candidate bytes zaten immutable’dır.

Cache relation’ın row’u source release veya semantic entity’nin public identity’si olamaz. Cache miss, eviction ya da tamamen boş cache yalnız latency’yi değiştirir; result semantics, authorization ve visible set authoritative/derived source’tan tekrar hesaplanır.

Normative cache grupları:

  • HTTP/CDN, page ve serialized response cache;
  • request-local/data-loader ve query result cache;
  • hover payload ve autocomplete suggestion cache;
  • ephemeral frequency/statistics, ranking memo ve rendered-fragment cache;
  • session-scoped UI preferences where a separate user setting authority is not declared;
  • job progress heartbeat ve retry scratch state; ve
  • disposable local development artifacts outside release manifests.

Authorization decision, embargo, tenant/role membership, accepted release pointer, rate-limit enforcement ledger veya audit receipt cache’e konup tek authority yapılamaz. Performans için kopyaları cache olabilir; kararın authoritative kaynağı immutable, curated veya ayrı operational security store’da kalır.

Sınıf Object owner Yazma capability’si Public/RLS Backup ve recovery
Immutable core sealed NOLOGIN core owner Exact release publisher execute only Allowlisted views/RPC; base table public grant yok Permanent backup + release artifact; exact-root restore
Immutable control/anchor/release ayrı sealed NOLOGIN domain owner Typed publisher execute only Policy-qualified typed API Permanent ledger/manifest backup; exact restore
Curated sealed NOLOGIN curated owner Curation executor yalnız approved transaction RPC Draft/public ayrımı ve fail-closed RLS Permanent accepted history + decision/evidence backup
Derived derived owner Builder staging/create/swap; authority tablosuna yazamaz Yalnız validated active generation Backup optional; source roots + reproducible rebuild zorunlu
Cache cache owner Narrow cache writer/evictor Security kararı cache’den alınmaz Backup gerekmez; cold-start kabul edilir

prod_migrator hiçbir sealed owner’a üye olamaz. app_runtime, API role’leri, candidate builder ve cache writer immutable/curated base tablolarda direct DML alamaz. Security-definer routine sabit search path, explicit grant ve exact operation scope kullanır; generic SQL/predicate kabul etmez.

Her migration/schema contract aşağıdaki machine-readable manifest’i üretmelidir:

relation_name
logical_owner
permanence_class
object_owner_role
allowed_writer_capability
identity_authority
release_root_participation
rebuild_contract_id|null
backup_class

Validation şunları fail-closed uygular:

  1. Her base table, materialized view ve persistent external index tam bir manifest satırına sahiptir; unknown relation yasaktır.
  2. Her relation’ın exactly one permanence class’ı vardır.
  3. Identity-bearing veya release-root row derived/cache olamaz.
  4. Derived relation’ın complete input roots, builder contract ve parity root’u vardır; cache’in bunlardan hiçbiri authority olarak kullanılamaz.
  5. Aynı physical table candidate ve accepted, authority ve projection ya da public ve secret-bearing control row’larını karıştıramaz.
  6. Immutable/curated owner ACL’lerinde update/delete/truncate ve broad direct insert normal capability’lere kapalıdır.
  7. Rebuild planı yalnız derived/cache write-set’ine dokunur; accepted IDs, FKs, release roots ve reference endpoints before/after exact aynıdır.
  8. Backup/restore testleri immutable ve curated history’yi exact root ile doğrular; derived/cache restore yerine rebuild/cold-start kabul edebilir.
  9. Core-only reconstruction annotation, curated, derived ve cache relation’ları boşken aynı byte/root sonucunu verir.
  10. Bir lifecycle değişikliği iki class gerektiriyorsa migration review tabloyu ayırmadan ilerleyemez.
  • F2-015 bu matrix, ER ve catalog artifact’lerini docs navigation’da yayımlar.
  • F2-016 class adlarını ve authority/candidate/projection terimlerini canonical glossary’de kilitler.
  • F2-017 migration ledger, release authorization ve forward-fix akışını bu class sınırlarına uygular.
  • F2-019 ortak provenance/import contract’ı immutable evidence ile derived candidate ayrımını fiziksel schema’ya taşır.
  • F3-F9 migration’ları her relation için machine-readable permanence manifest ve ACL, rebuild, backup fixture’larını üretir.