configuration/reason/data/node.data.json
configuration/reason/data/node.data.json is a file in GovLab Context. 595 lines of code and 0 definitions.
{
"check": {
"by": ["the structured-document validator, which requires the gate clause each node grounds wherever a document writes, reads, stops or reports"],
"population": "every structured document whose constructs ground the node",
"freshness": "a verdict stands until the document, the grammar or the node changes",
"refusal": "the validator fails a gate that omits the clause the node asks for",
"observation": "none: a node is a question a gate asks; the answer comes from the check the gate runs",
"evidence": "fires-and-accepts: a suite plants a check with no evidence, a gate with no population, a write with no refusal and a node with no gate, and validates a well-formed document clean",
"authority": "the gate clause the node asks for, which every document's gate conforms to"
},
"records": [
{
"id": "ont-identity",
"name": "Identity",
"axis": "ontology",
"concept": "identity",
"mathType": "set-theory"
},
{
"id": "ont-composition",
"name": "Composition",
"axis": "ontology",
"concept": "composition",
"mathType": "set-theory"
},
{
"id": "ont-structure",
"name": "Structure",
"axis": "ontology",
"concept": "structure",
"mathType": "algebra"
},
{"id": "ont-relation",
"name": "Relation",
"axis": "ontology",
"concept": "relation",
"mathType": "graph"},
{"id": "ont-space",
"name": "Space",
"axis": "ontology",
"concept": "space",
"mathType": "topology"},
{"id": "ont-time",
"name": "Time",
"axis": "ontology",
"concept": "time",
"mathType": "analysis"},
{"id": "ont-state",
"name": "State",
"axis": "ontology",
"concept": "state",
"mathType": "set-theory"},
{"id": "ont-change",
"name": "Change",
"axis": "ontology",
"concept": "change",
"mathType": "analysis"},
{
"id": "ont-behavior",
"name": "Behavior",
"axis": "ontology",
"concept": "behavior",
"mathType": "dynamical-systems"
},
{"id": "ont-function",
"name": "Function",
"axis": "ontology",
"concept": "function",
"mathType": "analysis"},
{"id": "ont-cause",
"name": "Cause",
"axis": "ontology",
"concept": "cause",
"mathType": "analysis"},
{"id": "ont-meaning",
"name": "Meaning",
"axis": "ontology",
"concept": "meaning",
"mathType": "logic"},
{"id": "ont-scale",
"name": "Scale",
"axis": "ontology",
"concept": "scale",
"mathType": "topology"},
{
"id": "ont-probability",
"name": "Probability",
"axis": "ontology",
"concept": "probability",
"mathType": "probability"
},
{"id": "ont-novelty",
"name": "Novelty",
"axis": "ontology",
"concept": "novelty",
"mathType": "probability"},
{
"id": "ana-structural",
"name": "Structural Analysis",
"axis": "analysis",
"concept": "structure",
"mathType": "algebra"
},
{
"id": "ana-temporal",
"name": "Temporal Analysis",
"axis": "analysis",
"concept": "time",
"mathType": "analysis"
},
{
"id": "ana-spatial",
"name": "Spatial Analysis",
"axis": "analysis",
"concept": "space",
"mathType": "topology"
},
{
"id": "ana-statistical",
"name": "Statistical Analysis",
"axis": "analysis",
"concept": "statistical",
"mathType": "probability"
},
{
"id": "ana-frequency",
"name": "Frequency Analysis",
"axis": "analysis",
"concept": "frequency",
"mathType": "information-theory"
},
{
"id": "ana-sequential",
"name": "Sequential Analysis",
"axis": "analysis",
"concept": "sequential",
"mathType": "logic"
},
{
"id": "ana-relational",
"name": "Relational Analysis",
"axis": "analysis",
"concept": "relation",
"mathType": "graph"
},
{
"id": "ana-behavioral",
"name": "Behavioral Analysis",
"axis": "analysis",
"concept": "behavior",
"mathType": "dynamical-systems"
},
{
"id": "ana-functional",
"name": "Functional Analysis",
"axis": "analysis",
"concept": "function",
"mathType": "analysis"
},
{
"id": "ana-semantic",
"name": "Semantic Analysis",
"axis": "analysis",
"concept": "meaning",
"mathType": "logic"
},
{
"id": "ana-causal",
"name": "Causal Analysis",
"axis": "analysis",
"concept": "cause",
"mathType": "analysis"
},
{
"id": "ana-predictive",
"name": "Predictive Analysis",
"axis": "analysis",
"concept": "prediction",
"mathType": "probability"
},
{
"id": "ana-anomaly",
"name": "Anomaly Analysis",
"axis": "analysis",
"concept": "anomaly",
"mathType": "probability"
},
{
"id": "ana-evolutionary",
"name": "Evolutionary Analysis",
"axis": "analysis",
"concept": "change",
"mathType": "dynamical-systems"
},
{
"id": "ana-fractal",
"name": "Fractal Analysis",
"axis": "analysis",
"concept": "fractal",
"mathType": "topology"
},
{
"id": "rea-observation",
"name": "Observation",
"axis": "reasoning",
"concept": "observation",
"mathType": "set-theory"
},
{
"id": "rea-description",
"name": "Description",
"axis": "reasoning",
"concept": "description",
"mathType": "logic"
},
{
"id": "rea-comparison",
"name": "Comparison",
"axis": "reasoning",
"concept": "comparison",
"mathType": "logic"
},
{
"id": "rea-classification",
"name": "Classification",
"axis": "reasoning",
"concept": "classification",
"mathType": "set-theory"
},
{
"id": "rea-explanation",
"name": "Explanation",
"axis": "reasoning",
"concept": "explanation",
"mathType": "analysis"
},
{
"id": "rea-prediction",
"name": "Prediction",
"axis": "reasoning",
"concept": "prediction",
"mathType": "probability"
},
{
"id": "rea-intervention",
"name": "Intervention",
"axis": "reasoning",
"concept": "intervention",
"mathType": "analysis"
},
{
"id": "rea-creation",
"name": "Creation",
"axis": "reasoning",
"concept": "creation",
"mathType": "computation"
},
{
"id": "rea-reflection",
"name": "Reflection",
"axis": "reasoning",
"concept": "reflection",
"mathType": "topology"
},
{
"id": "rep-symbolic",
"name": "Symbolic Representation",
"axis": "representation",
"concept": "symbolic",
"question": "Is it encoded as equations or notation?",
"mathType": "algebra"
},
{
"id": "rep-numerical",
"name": "Numerical Representation",
"axis": "representation",
"concept": "number",
"question": "Is it encoded as quantities?",
"mathType": "probability"
},
{
"id": "rep-geometric",
"name": "Geometric Representation",
"axis": "representation",
"concept": "geometry",
"question": "Is it encoded as shapes or coordinates?",
"mathType": "topology"
},
{
"id": "rep-topological",
"name": "Topological Representation",
"axis": "representation",
"concept": "topology",
"question": "Is it encoded as connectivity or continuity?",
"mathType": "topology"
},
{
"id": "rep-information-theoretic",
"name": "Information-Theoretic Representation",
"axis": "representation",
"concept": "information-theory",
"question": "Is it encoded as entropy or compression?",
"mathType": "information-theory"
},
{
"id": "rep-probabilistic",
"name": "Probabilistic Representation",
"axis": "representation",
"concept": "probability",
"question": "Is it encoded as distributions?",
"mathType": "probability"
},
{
"id": "rep-dynamical",
"name": "Dynamical Representation",
"axis": "representation",
"concept": "dynamical-systems",
"question": "Is it encoded as state transitions?",
"mathType": "dynamical-systems"
},
{
"id": "rep-computational",
"name": "Computational Representation",
"axis": "representation",
"concept": "computation",
"question": "Is it encoded as an algorithm?",
"mathType": "computation"
},
{
"id": "for-existence",
"name": "Existence",
"axis": "formalization",
"question": "What object exists?",
"mathType": "set-theory"
},
{
"id": "for-structure",
"name": "Formal Structure",
"axis": "formalization",
"question": "What structure holds?",
"mathType": "algebra"
},
{
"id": "for-relation",
"name": "Mapping",
"axis": "formalization",
"question": "What mapping connects objects?",
"mathType": "graph"
},
{
"id": "for-space",
"name": "Environment",
"axis": "formalization",
"question": "What environment contains them?",
"mathType": "topology"
},
{
"id": "for-transformation",
"name": "Transformation",
"axis": "formalization",
"question": "What operation applies?",
"mathType": "analysis"
},
{
"id": "for-invariance",
"name": "Invariance",
"axis": "formalization",
"question": "What is preserved?",
"mathType": "topology"
},
{
"id": "for-uncertainty",
"name": "Uncertainty",
"axis": "formalization",
"question": "What is uncertain?",
"mathType": "probability"
},
{
"id": "for-computation",
"name": "Computability",
"axis": "formalization",
"question": "What is computable?",
"mathType": "computation"
},
{
"id": "for-abstraction",
"name": "Abstraction",
"axis": "formalization",
"question": "What generalizes?",
"mathType": "topology"
},
{
"id": "for-creation",
"name": "Emergence",
"axis": "formalization",
"question": "What new structure can emerge?",
"mathType": "computation"
},
{
"id": "for-absence",
"name": "Absence",
"axis": "formalization",
"question": "What is absent, and is it distinguished from unknown, omitted and zero?",
"mathType": "set-theory",
"answerShape": "set",
"decisionTest": "every absence a later check must distinguish is represented as its own value"
},
{
"id": "tel-objective",
"name": "Objective",
"axis": "teleology",
"question": "What is the objective?",
"mathType": "optimization"
},
{
"id": "tel-utility",
"name": "Branch Utility",
"axis": "teleology",
"question": "How much does this advance the objective?",
"mathType": "optimization",
"answerShape": "number"
},
{
"id": "tel-cost",
"name": "Branch Cost",
"axis": "teleology",
"question": "What does this cost?",
"mathType": "optimization",
"answerShape": "number"
},
{
"id": "tel-priority",
"name": "Branch Priority",
"axis": "teleology",
"question": "Is this the highest-worth admissible branch?",
"mathType": "optimization",
"answerShape": "boolean",
"decisionTest": "the branch has the highest utility minus cost among the admissible branches",
"role": "injection-gate"
},
{
"id": "ver-evidence",
"name": "Evidence",
"axis": "verification",
"question": "What evidence supports this?",
"mathType": "set-theory",
"answerShape": "set",
"decisionTest": "the evidence set is non-empty",
"role": "both"
},
{
"id": "ver-ground-truth",
"name": "Ground Truth",
"axis": "verification",
"question": "Is it true against reality, not merely coherent?",
"mathType": "logic"
},
{
"id": "ver-falsification",
"name": "Refutation Condition",
"axis": "verification",
"question": "What would refute it?",
"mathType": "logic"
},
{
"id": "ver-confidence",
"name": "Confidence",
"axis": "verification",
"question": "How confident is it, and is that enough?",
"mathType": "probability",
"answerShape": "number[0,1]",
"decisionTest": "confidence is at or above the threshold"
},
{
"id": "ver-refutation",
"name": "Support Against Refutation",
"axis": "verification",
"question": "Does refutation outweigh support?",
"mathType": "logic"
},
{
"id": "ver-population",
"name": "Population",
"axis": "verification",
"question": "Over what set was this checked?",
"mathType": "set-theory",
"answerShape": "ratio",
"decisionTest": "the declared population is non-empty and every member is measured or named absent",
"role": "both"
},
{
"id": "ver-freshness",
"name": "Freshness",
"axis": "verification",
"question": "Was the read derived after the last relevant mutator?",
"mathType": "information-theory",
"answerShape": "boolean",
"decisionTest": "the fingerprint of the inputs and the code matches the output's declared derivation"
},
{
"id": "ver-standing",
"name": "Standing",
"axis": "verification",
"question": "Did the read set move beneath the verdict?",
"mathType": "logic",
"answerShape": "boolean",
"decisionTest": "the moved set is empty"
},
{
"id": "ver-refusal",
"name": "Refusal",
"axis": "verification",
"question": "Where does this stage refuse to continue?",
"mathType": "set-theory",
"answerShape": "set",
"decisionTest": "a refusal condition is named before the irreversible write",
"role": "injection-gate"
},
{
"id": "ver-observation",
"name": "Located Observation",
"axis": "verification",
"question": "Does the observation locate a failure, or is an absence of failures read as proof?",
"mathType": "set-theory",
"answerShape": "set",
"decisionTest": "every observed location is reported as located, and no observed absence is reported as verified"
},
{
"id": "ter-completion",
"name": "Completion",
"axis": "termination",
"question": "Is every task done?",
"mathType": "set-theory",
"answerShape": "boolean",
"decisionTest": "every task is done",
"role": "completion-marker"
},
{
"id": "ter-saturation",
"name": "Saturation",
"axis": "termination",
"question": "Is nothing left to resolve?",
"mathType": "set-theory",
"answerShape": "boolean",
"decisionTest": "no open items remain",
"role": "both"
},
{
"id": "ter-diminishing-returns",
"name": "Diminishing Returns",
"axis": "termination",
"question": "Has progress stopped increasing?",
"mathType": "dynamical-systems",
"answerShape": "counter",
"decisionTest": "progress is unchanged across a bounded window",
"role": "injection-gate"
},
{
"id": "ter-block",
"name": "Blocked Run",
"axis": "termination",
"question": "Is it blocked on external input?",
"mathType": "logic",
"answerShape": "boolean"
},
{
"id": "ter-stop",
"name": "Stop Condition",
"axis": "termination",
"question": "Do saturation, completion and verification all hold, or is the run blocked?",
"mathType": "optimization",
"answerShape": "boolean",
"decisionTest": "saturation, completion and verification all hold, or ter-block holds",
"role": "completion-marker"
},
{
"id": "ter-promotion",
"name": "Promotion",
"axis": "termination",
"question": "Is the candidate promoted, or only produced?",
"mathType": "set-theory",
"answerShape": "boolean",
"decisionTest": "a clean verdict precedes the move into accepted state"
},
{
"id": "ter-publication",
"name": "Publication",
"axis": "termination",
"question": "Is the boundary to the external system explicit, and who crosses it?",
"mathType": "logic",
"answerShape": "boolean",
"decisionTest": "the publication gate names its party"
}
]
}