NEO.K / PLDST程式語言設計師風格譜系
編號PLDST-027
版本v1.0
日期2026-07-30
作者Neo.K
狀態公開版/第五部方法落地第一篇

下載 PDF ↓回到論文索引 ↗

PLDST 評估矩陣與設計決策語料庫規格

摘要

PLDST 前二十六篇已完成理論地基、方法論、設計師個案及跨設計師比較。若這些成果仍只存在於長篇文章中,PLDST 雖然可以形成有價值的思想史與設計史研究,卻仍難以支持:

因此,PLDST 必須從文章集合轉為兩個互補系統:

PLDSTMethod=EvaluationMatrix+DesignDecisionCorpus\boxed{ PLDSTMethod = EvaluationMatrix + DesignDecisionCorpus }

其中:

兩者不能分離:

MatrixWithoutCorpus=LabelingMatrixWithoutCorpus = Labeling CorpusWithoutMatrix=ArchiveWithoutComparisonCorpusWithoutMatrix = ArchiveWithoutComparison

完整方法則是:

EvidenceDecisionRecordAxisCodingProfileComparisonRevisionEvidence \rightarrow DecisionRecord \rightarrow AxisCoding \rightarrow Profile \rightarrow Comparison \rightarrow Revision

本文提出:

  1. PLDST 核心資料模型;
  2. 十八軸評估矩陣;
  3. 設計決策紀錄格式;
  4. 來源分級與證據片段規格;
  5. 時間切片與語言版本模型;
  6. 歸因、不確定性及反證規則;
  7. 人類與 AI 混合編碼流程;
  8. 一致性與品質檢查;
  9. W3C PROV 對映;
  10. JSON Schema 2020-12 機器驗證規格;
  11. 語料庫生命週期與狀態機;
  12. 檔案布局、ID、版本及遷移政策;
  13. 查詢、比較及 AI SKILL 的介面需求。

本文的核心原則是:

PLDST 的最小知識單位不是「某位設計者重視簡單」,而是「在某個時間、某項問題與限制下,某位設計者或治理共同體做了何種選擇,拒絕了什麼,代價由誰承擔,這項判定由哪些來源支持」。

因此,PLDST 不建立固定人格測驗,而建立一套可追溯的歷史決策分析系統

關鍵詞: PLDST、評估矩陣、設計決策語料庫、語料工程、資料溯源、JSON Schema、W3C PROV、ADR、決策抽取、程式語言史、AI 輔助研究


第一部分 規格目標與非目標

一、規格目標

PLDST-MATRIX-CORPUS 的目標是使下列工作可重複執行:

  1. 對單一設計決策建立有來源的結構化紀錄;
  2. 將多項決策聚合為某一時間切片的設計風格;
  3. 比較不同設計者、語言、共同體或治理制度;
  4. 區分創始設計、後續實作與社群演化;
  5. 保存相反證據及評估分歧;
  6. 允許人類與 AI 共同抽取、編碼、覆核;
  7. 讓後續 SKILL 能搜尋、判定及產生可解釋結果;
  8. 讓資料可以版本化、驗證、遷移及重新計算。

二、非目標

本規格不以以下事項為目標:


三、最小分析單位

PLDST 的最小分析單位為:

u=(Actor,Time,Problem,Constraint,Options,Decision,Rationale,Implementation,Outcome,Evidence)u = ( Actor, Time, Problem, Constraint, Options, Decision, Rationale, Implementation, Outcome, Evidence )

本文稱之為 Design Decision Record,DDR


四、分析對象層級

PLDST 必須區分:

Person
Design group
Language
Implementation
Version
Governance body
Community
Ecosystem
Decision
Source artifact
Evidence fragment
Assessment

「Guido」、「Python」、「CPython」、「Python Steering Council」與「PEP 703」不得視為同一實體。


五、風格是聚合結果

定義設計者 dd 在時間區間 τ\tau 的風格:

Style(d,τ)=Aggregate(DDR1,DDR2,,DDRn)Style(d,\tau) = Aggregate \left( DDR_1, DDR_2, \ldots, DDR_n \right)

因此:

Style(d)SingleQuote(d)Style(d) \neq SingleQuote(d)

第二部分 規格原則

六、證據先於分數

所有非空矩陣評分 MUST 指向至少一筆 DDR。

每筆 DDR MUST 指向至少一項來源或被標記為 unverified_candidate


七、決策先於人物標籤

允許從決策推導風格:

DecisionEvidenceStyleInferenceDecisionEvidence \rightarrow StyleInference

禁止反向循環:

AssumedStyleSelectiveEvidenceAssumedStyle \rightarrow SelectiveEvidence

八、時間先於總結

所有評估 MUST 指定:


九、來源與推論分離

每個欄位須區分:


十、保留反證

語料庫 MUST 允許一筆紀錄同時保存:


十一、可恢復性

任何聚合分數 SHOULD 能回溯到:

ProfileAssessmentDDREvidenceFragmentSourceArtifactProfile \rightarrow Assessment \rightarrow DDR \rightarrow EvidenceFragment \rightarrow SourceArtifact

十二、可機讀不等於捨棄敘事

結構化資料負責:

長篇文章負責:

兩者互補。


第三部分 外部規格借鑑

十三、JSON Schema

本規格採用 JSON Schema Draft 2020-12 作為結構驗證基線。

選擇理由:

JSON Schema 驗證結構,不驗證歷史真實性。


十四、W3C PROV

PLDST 採用 W3C PROV 的三個起點概念作為可選溯源對映:

Entity, Activity, AgentEntity,\ Activity,\ Agent

在 PLDST 中:

核心 JSON 不要求完整 RDF/OWL 實作,但 MUST 保留足以建立對映的 ID 與關係。


十五、ADR

Architecture Decision Record 的核心結構為:

Status
Context
Decision
Consequences

PLDST DDR 在此基礎上增加:


十六、FAIR 原則

PLDST 對 FAIR 作下列轉譯:

Findable

Accessible

Interoperable

Reusable


十七、資料卡與語料說明

每個 PLDST 語料集發布 SHOULD 附帶 Corpus Card,說明:


第四部分 PLDST 核心實體模型

十八、實體關係

DesignerparticipatedInDecisionDesigner \xrightarrow{participatedIn} Decision DecisionconcernsLanguageVersionDecision \xrightarrow{concerns} LanguageVersion SourcecontainsEvidenceFragmentSource \xrightarrow{contains} EvidenceFragment EvidenceFragmentsupports/challengesDecisionFieldEvidenceFragment \xrightarrow{supports/challenges} DecisionField DecisioncodedAsAxisAssessmentDecision \xrightarrow{codedAs} AxisAssessment AxisAssessmentaggregatedIntoStyleProfileAxisAssessment \xrightarrow{aggregatedInto} StyleProfile

十九、Designer

必要欄位:

designer_id
canonical_name
name_variants
roles
active_periods
affiliations
language_relations
source_ids

不得由國籍、職稱或私人傳記直接推導設計風格。


二十、Language

必要欄位:

language_id
canonical_name
aliases
first_public_year
paradigms
implementations
governance_periods
version_series

二十一、Governance Body

例如:

欄位:

governance_id
name
period
authority_scope
selection_method
decision_process
implementation_relation
source_ids

二十二、Source Artifact

來源可能是:


二十三、Evidence Fragment

來源文件過大時,必須保存可定位片段:

fragment_id
source_id
locator
text_excerpt
paraphrase
language
content_hash
retrieved_at
supports
challenges

text_excerpt SHOULD 遵守著作權及合理引用限制。


二十四、Design Decision Record

DDR 是核心。

其結構為:

DDR=Identity+Scope+Problem+Context+Options+Decision+Rationale+Implementation+Consequences+Evidence+Coding+ProvenanceDDR = Identity + Scope + Problem + Context + Options + Decision + Rationale + Implementation + Consequences + Evidence + Coding + Provenance

二十五、Axis Assessment

一筆 Assessment 表示:

某筆 DDR 對某一分析軸提供何種方向及強度的證據。

欄位:

axis_id
value
polarity
confidence
evidence_refs
coder_id
coding_note
status

二十六、Style Profile

Style Profile 是聚合結果,不是原始資料。

profile_id
subject_id
time_slice
axis_scores
categorical_patterns
coverage
uncertainty
included_record_ids
aggregation_method
profile_version

第五部分 識別碼規格

二十七、ID 原則

ID MUST:


二十八、建議格式

pldst:designer:<slug>
pldst:language:<slug>
pldst:governance:<slug>
pldst:source:<sha256-prefix>
pldst:fragment:<source-prefix>:<locator-hash>
pldst:decision:<actor-slug>:<year-or-era>:<slug>
pldst:assessment:<decision-suffix>:<axis-id>:<revision>
pldst:profile:<subject-slug>:<time-slice>:<version>

二十九、來源 ID

來源 ID SHOULD 由內容雜湊衍生:

source_id=pldst:source:+SHA256(content)[0:20]source\_id = \texttt{pldst:source:} + SHA256(content)[0:20]

若內容不可下載,可由:

SHA256(canonical_url+title+date)SHA256(canonical\_url+title+date)

建立替代 ID,並標記 hash_basis


三十、同一文件多版本

同一 URL 的不同內容 MUST 建立不同 source_id,並以:

is_revision_of
supersedes
retrieved_at

連接。


第六部分 來源分級

三十一、來源類型

S1:直接設計材料

S2:第一方歷史材料

S3:共同體正式紀錄

S4:學術與專業二手研究

S5:一般二手材料


三十二、來源品質不是單一階級

來源品質向量:

Qs=(Directness,Authenticity,Specificity,TemporalProximity,Completeness,Independence)Q_s = ( Directness, Authenticity, Specificity, TemporalProximity, Completeness, Independence )

第一手來源可能:

二手研究可能更適合檢查長期結果。


三十三、來源權重

建議初始值:

類型 基礎權重
S1 1.00
S2 0.85
S3 0.85
S4 0.75
S5 0.40

最終權重:

ws=wbase×qspecificity×qauthenticity×qtemporalw_s = w_{\text{base}} \times q_{\text{specificity}} \times q_{\text{authenticity}} \times q_{\text{temporal}}

不得把此權重當成自動真實機率。


三十四、來源多樣性

重要判定 SHOULD 至少包含兩種來源類型。

例如:

設計者論文
+
實作/治理紀錄
+
後續歷史結果

第七部分 Design Decision Record 規格

三十五、必要欄位

每筆 Verified DDR MUST 包含:

record_id
record_version
title
status
subject
time_scope
problem
decision
rationale
evidence
coding
provenance

三十六、Status

允許:

candidate
extracted
reviewed
verified
contested
deprecated
superseded
rejected_as_record

狀態不可由 AI 自動提升到 verified,除非專案明確啟用機器覆核制度且保存責任主體。


三十七、Subject

{
  "designer_ids": [],
  "governance_ids": [],
  "language_ids": [],
  "implementation_ids": [],
  "community_ids": []
}

至少一項非空。


三十八、Time Scope

event_date
start_date
end_date
precision
language_versions
governance_period

precision 可為:

day
month
year
era
unknown

三十九、Problem

問題欄位描述決策試圖處理什麼,不描述答案。

例如:

方法呼叫中的接收者是否應由語言隱式綁定?

而不是:

Python 必須使用明示 self。

四十、Context

Context SHOULD 記錄:


四十一、Options

每個可辨識選項:

option_id
description
supporters
advantages
costs
status
source_refs

應保存被拒方案,不只保存勝出方案。


四十二、Decision

Decision SHOULD 描述:


四十三、Rationale

Rationale 分為:

stated_rationale
inferred_rationale
reconstructed_rationale

不得把研究者推論冒充設計者原話。


四十四、Constraints

控制詞彙:

hardware
performance
memory
portability
compatibility
safety
readability
learnability
implementation_capacity
governance
ecosystem
time_to_market
standardization
tooling
theoretical
other

四十五、Burden Allocation

每筆決策 SHOULD 記錄複雜度移往何處:

B=(Author,Reader,Compiler,Runtime,Tool,Library,Governance,Migration,Ecosystem)B = ( Author, Reader, Compiler, Runtime, Tool, Library, Governance, Migration, Ecosystem )

可用:

decreased
unchanged
increased
unknown

加上說明。


四十六、Implementation

區分:

proposed
prototype
implemented
experimental
stable
partially_implemented
reverted
not_implemented

並記錄:


四十七、Outcome

Outcome 可包含:

不得由語言成功直接倒推出單項決策成功。


四十八、Counterevidence

每筆高度概括的 DDR SHOULD 搜尋:


第八部分 PLDST 十八軸評估矩陣

四十九、尺度原則

每一軸使用:

vk{0,1,2,3,4,5}v_k\in\{0,1,2,3,4,5\}

其中 0 與 5 表示兩個方向端點,不表示壞與好。

缺乏資料時 MUST 使用 null,不可用 3 假裝中立。


五十、A01 Machine Proximity

0=高度語義隔離5=高度暴露機器模型0=\text{高度語義隔離} \qquad 5=\text{高度暴露機器模型}

評估:


五十一、A02 Abstraction Restraint

0=鼓勵廣泛抽象與元機制5=限制抽象、偏好少量構造0=\text{鼓勵廣泛抽象與元機制} \qquad 5=\text{限制抽象、偏好少量構造}

五十二、A03 Surface Convergence

0=多種慣用表示5=強收斂於共同表面0=\text{多種慣用表示} \qquad 5=\text{強收斂於共同表面}

五十三、A04 Explicitness

0=高度 Contextual/Implicit5=高度明示0=\text{高度 Contextual/Implicit} \qquad 5=\text{高度明示}

五十四、A05 Reader Priority

0=優先作者速度與自由5=優先陌生讀者與團隊維護0=\text{優先作者速度與自由} \qquad 5=\text{優先陌生讀者與團隊維護}

五十五、A06 Compatibility Priority

0=可重設、可破壞5=高度保存既有程式與生態0=\text{可重設、可破壞} \qquad 5=\text{高度保存既有程式與生態}

五十六、A07 Core Extensibility

0=核心封閉、擴張主要靠外部函式庫5=語言可由內部生成新形式0=\text{核心封閉、擴張主要靠外部函式庫} \qquad 5=\text{語言可由內部生成新形式}

五十七、A08 State Separation

0=值、位置、身分與狀態高度混合5=值、身分、狀態、時間明確分離0=\text{值、位置、身分與狀態高度混合} \qquad 5=\text{值、身分、狀態、時間明確分離}

五十八、A09 Algebraic Reasoning

0=操作步驟與實作推理為主5=等式、組合與代數推理為主0=\text{操作步驟與實作推理為主} \qquad 5=\text{等式、組合與代數推理為主}

五十九、A10 Implementation Coupling

0=抽象規格優先、多實作獨立5=參考實作或宿主平台高度定義語言0=\text{抽象規格優先、多實作獨立} \qquad 5=\text{參考實作或宿主平台高度定義語言}

六十、A11 Ecosystem Delegation

0=能力主要置於語言核心5=能力主要委派給 Library/Package/社群0=\text{能力主要置於語言核心} \qquad 5=\text{能力主要委派給 Library/Package/社群}

六十一、A12 Governance Concentration

0=決策高度分散/委員會化5=最終權力高度集中於個人0=\text{決策高度分散/委員會化} \qquad 5=\text{最終權力高度集中於個人}

六十二、A13 Proposal Openness

0=提案入口封閉5=公開、文件化且可由外部參與0=\text{提案入口封閉} \qquad 5=\text{公開、文件化且可由外部參與}

六十三、A14 Change Conservatism

0=快速實驗與語言變動5=高准入門檻與長期穩定0=\text{快速實驗與語言變動} \qquad 5=\text{高准入門檻與長期穩定}

六十四、A15 Error Visibility

0=容許隱式修復、猜測或 Fail-soft5=偏好顯性錯誤與拒絕歧義0=\text{容許隱式修復、猜測或 Fail-soft} \qquad 5=\text{偏好顯性錯誤與拒絕歧義}

六十五、A16 Tool Dependence

0=局部表面可直接恢復主要語義5=高度依賴 IDE、型別工具或全域分析0=\text{局部表面可直接恢復主要語義} \qquad 5=\text{高度依賴 IDE、型別工具或全域分析}

此軸不表示工具依賴必然不好。


六十六、A17 Human-Centered Orientation

此軸不使用單線分數,而使用多標籤:

novice
author
reader
team
expert
domain_user
library_author
implementation_engineer
community

每標籤可給 0055 的優先程度。


六十七、A18 Simplicity Model

類別可多選:

syntactic
minimal_core
algebraic
representational
decomplective
operational
implementation
pedagogical
governance
ecosystem

此軸不得壓成單一數值。


第九部分 編碼規則

六十八、決策層編碼

每筆 DDR 可對多個軸提供證據。

例如「明示 self」可影響:


六十九、不可由語言整體反推單筆決策

錯誤方式:

Python 可讀,所以所有 Python 決策都給 Reader Priority 5。

正確方式:

此決策明確降低哪種閱讀成本?
來源如何說明?
是否有反例?

七十、方向與強度

Assessment 包含:

value
confidence
effect_strength
scope

其中 effect_strength 可為:

weak
moderate
strong
structural

七十一、信心值

c[0,1]c\in[0,1]

信心不是來源權威的單一函數。

建議:

c=csourcecattributionctemporalcinterpretation4c = \sqrt[4]{ c_{\text{source}} c_{\text{attribution}} c_{\text{temporal}} c_{\text{interpretation}} }

七十二、歸因信心

歸因分級:

direct_personal
shared_design_group
governance_body
implementation_team
community_emergent
uncertain

若功能由多人形成,不得只因創始者知名而標為 direct_personal


七十三、時間一致性

來源時間 tst_s 、決策時間 tdt_d 、結果時間 tot_o 必須分開。

事後回憶:

tstdt_s\gg t_d

可能具有高直接性但較低時間接近度。


七十四、版本一致性

同一語言不同版本的評分不得直接混合。

例如:

Python 1.x
Python 2.x
Python 3.x BDFL
Python 3.x Steering Council

SHOULD 形成不同 Profile。


第十部分 聚合與比較

七十五、加權聚合

某 Profile 在軸 kk 的分數:

Vk=iwicisivikiwicisiV_k = \frac{ \sum_i w_i c_i s_i v_{ik} }{ \sum_i w_i c_i s_i }

其中:


七十六、缺值處理

若軸 kk 無足夠資料:

Vk=nullV_k=null

並報告 Coverage:

Coveragek=有效 DDR 權重該時間切片總 DDR 權重Coverage_k = \frac{\text{有效 DDR 權重}} {\text{該時間切片總 DDR 權重}}

七十七、避免大量小決策淹沒結構決策

需給 Decision impact:

local
subsystem
language_wide
ecosystem_wide
historical_turning_point

建議強度:

類型 sis_i
local 0.5
subsystem 1.0
language_wide 1.5
ecosystem_wide 2.0
historical_turning_point 2.5

七十八、Profile 距離

兩個 Profile 的加權距離:

Dw(x,y)=kKxywkδk(xk,yk)kKxywkD_w(x,y) = \frac{ \sum_{k\in K_{xy}} w_k \delta_k(x_k,y_k) }{ \sum_{k\in K_{xy}} w_k }

其中 KxyK_{xy} 只包含雙方都有資料的軸。

數值軸可用:

δk(xk,yk)=xkyk5\delta_k(x_k,y_k) = \frac{|x_k-y_k|}{5}

類別軸使用 Jaccard 或自訂距離。


七十九、相似不等於影響

Similarity(x,y)⇏Influence(x,y)Similarity(x,y) \not\Rightarrow Influence(x,y)

影響關係必須有:


八十、聚類只能作探索

Cluster、PCA、Embedding 可協助找模式,但不得自動命名學派。


第十一部分 人類與 AI 混合編碼

八十一、角色

建議角色:

Searcher
Source Curator
Extractor
Coder
Reviewer
Adjudicator
Corpus Maintainer
Schema Maintainer

一人可兼任,但必須保留角色紀錄。


八十二、AI 可執行

AI MAY:


八十三、AI 不可直接完成

AI MUST NOT 在無覆核情況下:


八十四、模型識別

AI 活動 MUST 記錄:

provider
model
model_version
prompt_hash
tool_versions
run_id
timestamp
input_record_ids
output_record_ids

若平台無法提供精確模型版本,可標為 unknown_platform_version


八十五、可再現性邊界

即使保存 Prompt,生成式模型也可能因:

無法完全重現。

所以應追求:

Auditability>BitwiseReproducibilityAuditability > BitwiseReproducibility

第十二部分 一致性與品質評估

八十六、雙重編碼

重要樣本 SHOULD 由至少兩名獨立編碼者處理。


八十七、Cohen’s Kappa

兩名編碼者處理 Nominal label 時,可使用:

κ=pope1pe\kappa = \frac{p_o-p_e}{1-p_e}

其中:


八十八、Krippendorff’s Alpha

多名編碼者、有缺值或不同尺度時,可使用:

α=1DoDe\alpha = 1- \frac{D_o}{D_e}

PLDST SHOULD 同時保存:

不得只報單一 Alpha。


八十九、一致性不是正確性

多名編碼者可以一致地犯錯。

因此:

ReliabilityValidityReliability \neq Validity

還需:


九十、品質向量

每筆 DDR 的品質:

Qr=(Completeness,SourceCoverage,SourceDiversity,AttributionConfidence,TemporalPrecision,Counterevidence,ReviewDepth)Q_r = ( Completeness, SourceCoverage, SourceDiversity, AttributionConfidence, TemporalPrecision, Counterevidence, ReviewDepth )

九十一、最小發布門檻

verified 建議要求:


第十三部分 Provenance 規格

九十二、Entity

PLDST Entity 包含:

source artifact
evidence fragment
DDR revision
assessment revision
profile revision
schema
vocabulary
export

九十三、Activity

search
retrieve
snapshot
parse
segment
extract
code
review
adjudicate
aggregate
migrate
export

九十四、Agent

human
AI model
organization
project team
software tool

九十五、核心關係

可對映:

wasGeneratedBy
used
wasAttributedTo
wasDerivedFrom
wasAssociatedWith
actedOnBehalfOf
wasRevisionOf
invalidatedAtTime

九十六、最小溯源欄位

即使不輸出 PROV-O,紀錄 MUST 有:

created_at
created_by
generated_by_activity
derived_from
reviewed_by
reviewed_at
record_hash
schema_version

第十四部分 資料庫邏輯模型

九十七、主要集合

designers
languages
governance_bodies
implementations
sources
evidence_fragments
decision_records
axis_assessments
style_profiles
relations
review_events
provenance_activities
corpus_releases

九十八、關聯式表建議

entity
entity_alias
source
source_version
evidence_fragment
decision_record
decision_subject
decision_option
decision_evidence
axis_definition
axis_assessment
assessment_evidence
review_event
provenance_activity
profile
profile_record
relation

九十九、JSON 與關聯式分工

JSON 適合:

關聯式資料庫適合:


一百、建議儲存策略

SourceOfTruth=VersionedJSONSourceOfTruth = VersionedJSON QueryStore=DerivedDatabaseQueryStore = DerivedDatabase

資料庫可由版本化 JSON 重建,避免隱藏不可恢復狀態。


第十五部分 檔案布局

一百零一、Repository

pldst-corpus/
├── README.md
├── corpus-card.md
├── manifest.json
├── schemas/
├── vocab/
├── entities/
│   ├── designers/
│   ├── languages/
│   └── governance/
├── sources/
├── fragments/
├── records/
├── assessments/
├── profiles/
├── relations/
├── exports/
├── tools/
└── tests/

一百零二、DDR 路徑

records/<actor>/<year>/<record-id>.json

路徑可改,ID 不可隨路徑改。


一百零三、JSONL 匯出

大型語料匯出 MAY 使用:

pldst-decision-records.jsonl

每行一筆完整 DDR。


第十六部分 Schema 與 Vocabulary 版本

一百零四、語意版本

資料規格使用:

MAJOR.MINOR.PATCHMAJOR.MINOR.PATCH

一百零五、紀錄版本

每筆 DDR 使用獨立 record_version

Schema version 與 Record version 不同。


一百零六、Vocabulary version

Axis、Status、Source type 等受控詞彙 MUST 有版本。

若改變軸定義,即使軸 ID 不變,也需:


一百零七、禁止靜默重寫

已發布紀錄不可直接覆寫而不改版本。

修正方式:

new revision
+
was_revision_of
+
change_note

第十七部分 狀態機與工作流

一百零八、來源流程

DiscoveredRetrievedSnapshottedCataloguedSegmentedDiscovered \rightarrow Retrieved \rightarrow Snapshotted \rightarrow Catalogued \rightarrow Segmented

一百零九、DDR 流程

CandidateExtractedReviewedVerifiedCandidate \rightarrow Extracted \rightarrow Reviewed \rightarrow Verified

分支:

ReviewedContestedReviewed \rightarrow Contested AnySupersededAny \rightarrow Superseded

一百一十、Assessment 流程

DraftIndependentCodingAgreementCheckAdjudicatedPublishedDraft \rightarrow IndependentCoding \rightarrow AgreementCheck \rightarrow Adjudicated \rightarrow Published

一百一十一、Profile 流程

RecordSetCoverageCheckAggregationSensitivityAnalysisReleaseRecordSet \rightarrow CoverageCheck \rightarrow Aggregation \rightarrow SensitivityAnalysis \rightarrow Release

第十八部分 查詢規格

一百一十二、基本查詢

系統 MUST 支援:

依設計者
依語言
依時間
依來源
依決策狀態
依軸
依信心
依治理階段
依相容性
依反證存在

一百一十三、比較查詢

例如:

找出 Surface Convergence 高、Core Extensibility 低的語言。
比較 Guido 在 BDFL 與 Steering Council 時期的治理集中度。
找出設計者原始理由與後期結果相反的 DDR。
找出只有單一來源支撐的高影響決策。

一百一十四、證據追蹤查詢

此分數由哪些 DDR 組成?
此 DDR 使用哪些來源?
來源失效了嗎?
有哪些反證?
哪位編碼者有不同判定?

第十九部分 安全、著作權與倫理

一百一十五、最小摘錄

語料庫 SHOULD 優先保存:

不得為便利而大量複製受保護全文。


一百一十六、非公開資料

內部 Email、未公開訪談或私人文件必須標記:

access_level
license
consent
redaction
retention

一百一十七、人物公平性

對仍在世設計者尤其應:


一百一十八、敏感治理資料

若資料涉及:

不得進入公開 Corpus。


第二十部分 失敗模式

一百一十九、人物卡片化

症狀:

Wirth=簡單
Wall=自由
Hickey=不可變

解法:要求每個標籤至少由多筆 DDR 支撐。


一百二十、名言資料庫化

名言可以是證據,但不能代替決策。


一百二十一、來源階級迷信

第一手來源不是自動真理;二手來源也不是自動低價值。


一百二十二、矩陣虛假精確

4.2 不表示研究真的具有小數點級精度。

公開 Profile SHOULD 同時顯示:


一百二十三、時間坍縮

把設計者四十年決策壓成一個永恆 Profile,會失去自我修正及治理轉換。


一百二十四、AI 自我證明

AI 搜尋、抽取、編碼、覆核全由同一模型完成,容易形成相關錯誤。

高影響紀錄 SHOULD 使用:


一百二十五、Schema 完整幻覺

通過 JSON Schema 只表示資料結構合法:

SchemaValid⇏HistoricallyTrueSchemaValid \not\Rightarrow HistoricallyTrue

第二十一部分 MVP 規格

一百二十六、第一批範圍

PLDST Corpus MVP 以第一批 30 篇涉及的設計者與語言為範圍。


一百二十七、最小資料量

建議:


一百二十八、MVP 輸出

1. DDR JSON Schema
2. Axis Vocabulary
3. 30 篇文章索引
4. 設計者/語言 Entity
5. Candidate DDR
6. Verified DDR 子集
7. Profile 產生器
8. Corpus Card
9. Validator
10. HTML/JSON 查詢原型

一百二十九、MVP 驗收

MUST:


第二十二部分 機器可讀範例

一百三十、DDR 簡化範例

{
  "record_id": "pldst:decision:guido-van-rossum:1991:explicit-self",
  "record_version": "1.0.0",
  "status": "reviewed",
  "title": "方法接收者維持明示 self",
  "subject": {
    "designer_ids": ["pldst:designer:guido-van-rossum"],
    "language_ids": ["pldst:language:python"]
  },
  "time_scope": {
    "start_date": "1991",
    "precision": "year"
  },
  "problem": "方法接收者是否應由語言隱式綁定?",
  "decision": {
    "summary": "Python 在方法定義中保留明示 self 參數。"
  },
  "evidence": [],
  "coding": {
    "assessments": []
  },
  "provenance": {
    "created_at": "2026-07-30T00:00:00+08:00",
    "schema_version": "0.1.0"
  }
}

完整範例與 Schema 隨本文件 ZIP 提供。


第二十三部分 PLDST 評估矩陣輸出格式

一百三十一、Profile 表格

Axis Score Confidence Coverage DDR Count Time Slice
A04 Explicitness 4.4 0.88 0.74 11 1991–2018
A06 Compatibility 3.7 0.81 0.69 9 1991–2018
A12 Governance Concentration 4.8 0.95 0.90 14 BDFL era

一百三十二、不可省略的附註

Profile MUST 顯示:


第二十四部分 與 PLDST SKILL 的介面

一百三十三、搜尋輸入

SKILL 將接收:

designer
language
decision topic
time scope
source priority
recency requirement

一百三十四、抽取輸出

SKILL 應輸出 Candidate DDR,不直接輸出 Verified DDR。


一百三十五、風格判定輸出

任何風格回答應至少包含:

判定
主要 DDR
來源
反證
時間範圍
信心
與其他設計者差異

一百三十六、模擬輸入

未來 AI 模擬設計師風格時,應使用:

SimulationContext=StyleProfile+DecisionCorpus+CurrentConstraints+DistortionWarningsSimulationContext = StyleProfile + DecisionCorpus + CurrentConstraints + DistortionWarnings

而不是只輸入人物傳記摘要。


第二十五部分 正式規範要求

一百三十七、MUST

實作 MUST:


一百三十八、SHOULD

實作 SHOULD:


一百三十九、MAY

實作 MAY:


第二十六部分 結論

一百四十、從文章到方法

前二十六篇回答:

PLDST-027 回答:

這些判定如何被保存成可驗證、可搜尋、可比較及可重新計算的研究資料?


一百四十一、評估矩陣的正確地位

矩陣不是結論本身,而是索引。

Matrix=IndexOfEvidenceMatrix = IndexOfEvidence

一百四十二、語料庫的正確地位

語料庫不是名言倉庫,而是決策與代價的歷史紀錄。

Corpus=DecisionMemoryCorpus = DecisionMemory

一百四十三、PLDST 方法核心

PLDST=Source+Decision+Burden+Outcome+Coding+Provenance\boxed{ PLDST = Source + Decision + Burden + Outcome + Coding + Provenance }

一百四十四、最終命題

設計風格只有在它能被具體決策支持、被反證挑戰、被時間切片修正、被他人重新編碼並回到原始來源時,才從人物印象轉為研究方法。


附錄 A 十八軸速查表

ID 名稱 0 端 5 端 類型
A01 Machine Proximity 語義隔離 機器暴露 Ordinal
A02 Abstraction Restraint 高元機制 強限制 Ordinal
A03 Surface Convergence 多慣用法 強收斂 Ordinal
A04 Explicitness 高隱式 高明示 Ordinal
A05 Reader Priority 作者優先 讀者團隊優先 Ordinal
A06 Compatibility Priority Clean slate 高相容 Ordinal
A07 Core Extensibility 封閉核心 語言內生成 Ordinal
A08 State Separation 高交纏 明確分離 Ordinal
A09 Algebraic Reasoning 操作推理 等式推理 Ordinal
A10 Implementation Coupling 規格獨立 實作/宿主中心 Ordinal
A11 Ecosystem Delegation 核心承擔 生態承擔 Ordinal
A12 Governance Concentration 分散 個人集中 Ordinal
A13 Proposal Openness 封閉 公開 Ordinal
A14 Change Conservatism 快速變動 高穩定 Ordinal
A15 Error Visibility Fail-soft/猜測 Fail-loud/顯性 Ordinal
A16 Tool Dependence 表面自足 高工具依賴 Ordinal
A17 Human Orientation 多維標籤 多維標籤 Vector
A18 Simplicity Model 多類別 多類別 Categorical

附錄 B Corpus Release Manifest

{
  "corpus_id": "pldst:corpus:first-batch",
  "corpus_version": "0.1.0",
  "schema_version": "0.1.0",
  "vocabulary_version": "0.1.0",
  "released_at": "2026-07-30T00:00:00+08:00",
  "record_count": 0,
  "source_count": 0,
  "profile_count": 0,
  "license": "TBD",
  "checksums": "SHA256SUMS.txt"
}

附錄 C 研究查核基礎

本輪重新查核並採納下列外部方法:

  1. W3C PROV-O:以 Entity、Activity、Agent 及衍生/歸因關係表達跨系統溯源。
  2. JSON Schema Draft 2020-12:作為機器可驗證資料結構基線。
  3. Architecture Decision Record:以 Context、Decision、Consequences 與 Status 保存重要設計決策。
  4. FAIR Guiding Principles:資料應可尋找、可存取、可互操作、可重用。
  5. Datasheets/Data Cards:資料文件本身應成為面向多種利害關係人的產品。
  6. NIST Research Data Framework:以生命週期、Metadata、Provenance、品質、角色及保存作資料治理框架。
  7. Cohen’s Kappa 與 Krippendorff’s Alpha:用於編碼一致性,但不得替代史實有效性。
  8. RFC 2119/8174:以 MUST、SHOULD、MAY 區分規範強度。

附錄 D 參考資料

[R1] W3C, PROV-O: The PROV Ontology, W3C Recommendation, 2013.
[R2] JSON Schema, Draft 2020-12 Specification, published 2022-06-16.
[R3] Architecture Decision Record project, Architecture Decision Record.
[R4] Stephen Bradner, RFC 2119: Key words for use in RFCs to Indicate Requirement Levels, IETF, 1997.
[R5] Brian Leiba, RFC 8174: Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words, IETF, 2017.
[R6] Mark D. Wilkinson et al., The FAIR Guiding Principles for Scientific Data Management and Stewardship, Scientific Data, 2016.
[R7] Timnit Gebru et al., Datasheets for Datasets, 2018/2021.
[R8] Mahima Pushkarna, Andrew Zaldivar, Oddur Kjartansson, Data Cards: Purposeful and Transparent Dataset Documentation for Responsible AI, 2022.
[R9] NIST, Research Data Framework (RDaF) Version 2.0, NIST SP 1500-18r2.
[R10] Jacob Cohen, A Coefficient of Agreement for Nominal Scales, 1960.
[R11] Klaus Krippendorff, Computing Krippendorff’s Alpha-Reliability.
[R12] PLDST-001–026,程式語言設計師風格譜系第一至第四部。

資料查核日期: 2026-07-30。


附錄 E 第二輪校對紀錄

E.1 PROV-O 是對映而非強制儲存格式

本規格只要求保存足以對映 Entity、Activity、Agent 的欄位。

不要求 MVP 立即部署 RDF Store 或 OWL Reasoner。


E.2 JSON Schema 不驗證史實

Schema 僅驗證:

來源是否真實、推論是否合理,仍需研究覆核。


E.3 FAIR 不是「全部公開」

Accessible 不表示所有資料無條件公開。

受限資料可以:


E.4 Kappa/Alpha 不設單一神聖門檻

不同軸、樣本量、風險及尺度需要不同標準。

本規格要求報告指標與上下文,不規定一個適用所有 PLDST 任務的唯一門檻。


E.5 十八軸不是完整本體論

十八軸是第一批可操作核心。

未來 MAY:

任何變動必須版本化並重算 Profile。


E.6 評分方向不是價值方向

例如:

軸只描述配置。


附錄 F 與下一篇的銜接

PLDST-027 已定義:

資料模型
評估矩陣
DDR
證據
溯源
編碼
品質
版本
查詢
MVP

下一篇將把這些規格封裝為可執行流程:

PLDST-028:PLDST SKILL 技術規格——資料搜尋、決策抽取與風格判定。