Stoic News

By Dave Kelly

Tuesday, September 29, 2026

The Classical Deliberation Validator (CDV) & Derivation Trace Instrument (DTI)

 

The Classical Deliberation Validator (CDV) & Derivation Trace Instrument (DTI)

Build v0.5.2: An Executable Reference Implementation for Formal Deliberation Verification

Theoretical Foundations: Grant C. Sterling (Eastern Illinois University)

Architecture & Protocol Design: Dave Kelly

Release Date: September 29, 2026

Legal Status: Dedicated to the public domain to the extent permitted by law under CC0 1.0 Universal

Most discussions of Stoic practice stall at the level of therapeutic generalities: "pause before reacting," "focus on what you control," or "view externals as indifferent." When faced with complex institutional reality—colliding professional roles, contractual mandates, regulatory compliance, and high-pressure corporate directives—these slogans offer little defensive traction. The agent is frequently left to rationalize emotional impulses after the fact, disguising fear or organizational convenience as wisdom.

The Classical Deliberation Validator (CDV) and Derivation Trace Instrument (DTI) translate the Core Stoicism reconstruction developed by Grant C. Sterling, consisting of six canonical commitments (substance dualism, libertarian free will, ethical intuitionism, foundationalism, the correspondence theory of truth, and moral realism), into a deterministic, machine-checkable verification system.

The software does not replace human judgment, originate truth, establish duties, or choose what is good. It functions as epistemic self-defense software: a machine-auditable verification engine that formally tests whether a proposed course of action satisfies the system's specified structural, evidentiary, value, and derivational predicates before the human moral agent commits the irreversible act of assent (synkatathesis).

1. The Core Architecture: Dual-Authority Graph Verification

Deliberation is modeled as a typed directed graph G = (V, E) constructed through a strict, non-permissive Domain-Specific Language (CDV-DSL). The system operates on an absolute separation of semantic authority across three distinct structural tiers:

  1. Node-Authoritative Intrinsic State (V): Intrinsic, node-local states belong strictly to node records. These include reservation status (Boolean), execution mode, axiological polarity, axiological locus, manifested vices, proscribed vices, and criterion flags.
  2. Edge-Authoritative Relational State (E): Relational connectivity is derived exclusively from directed graph edges: ASSERTS (Evidence → Proposition), GRANTS_ROLE (Evidence → Role), MANDATES_DUTY (Evidence → Duty), BINDS_ROLE (Duty → Role), DEPENDS_ON (Action → Proposition), EXECUTES_DUTY (Action → Duty), and TARGETS_AIM (Action → Aim).
  3. Serialized Relation Witnesses (Metadata Checksums): Redundant serialized fields in the certificate schema (such as action.duty, duty.role, or evidence.role_grants) serve purely as Level-1B extensional checksum witnesses. Any divergence between declared relation witnesses and actual topological incident edges aborts validation immediately with METADATA_GRAPH_DIVERGENCE.

2. The Verification Pipeline: Compiler, Kernel, and Independent DTI

To enforce that valid conclusions cannot be derived from corrupt, unanchored, or malformed premises, the pipeline enforces a strict separation between lexical parsing, semantic gate evaluation, and independent graph trace verification:

  • Compiler (Level 0: Syntactic & Namespace Integrity): A non-permissive scanner where any unconsumed syntax aborts compilation. Enforces closed identifier namespaces across all declared entities and evaluates a closed 4-state epistemic algebra: UNASSERTED, VERIFIED, CONTRADICTED, and CONFLICTED. Emits an abstract syntax tree (CaseAST).
  • CDV Kernel (Stages 2–11: Semantic Evaluation & Gating): Evaluates epistemic status, intercepts value contamination (Axiom 1 / Locus Mismatch), resolves role authority, enforces aim subordination, applies Option 2B relational vice proscription, and generates candidate action survivors. Emits a signed CDV_DERIVATION_CERTIFICATE across an out-of-process JSON boundary.
  • Independent DTI Validator (Level 1A, Level 1B, Level 2): Operates as an isolated process. Re-verifies topological well-formedness (Level 1A) and extensional metadata consistency (Level 1B). Replays relational predicate Ψ over active graph edges, enforces the Early Evidentiary Grounding Gate, proves single-edge counterfactual necessity, enforces derivational dependency closure over relation set T, and asserts exact character-for-character equality (==) against the dynamically reconstructed canonical thesis.
  • Level 3 Exclusion: Whole-derivation minimality, root-level evidentiary indispensability, and minimal axiom collapse are formally demarcated as outside system claims.

3. Detailed Verification Mechanics

A. Value Contamination Interception (Axiom 1 Filter)

Under the Core Stoic metaethics reconstructed by Sterling, moral good and moral evil reside exclusively within the rational will (prohairesis). External outcomes, material results, corporate titles, and market events are strictly indifferent (adiaphora). The CDV evaluation pipeline intercepts value confusion before certificate generation: any proposition locating a MORAL_GOOD or MORAL_EVIL in an EXTERNAL_STATE is flagged as an invalid value claim at Stage 3. If an action depends upon an invalid value proposition, the derivation is contaminated, triggering GATE_VALUE_INVALID and GATE_CONTAMINATION_PRESENT.

B. Aim Subordination Test (Axiom 2 / Epictetian Aims)

An action may target a PREFERRED_INDIFFERENT external outcome (such as filing accurate records or releasing conforming cargo), but it can never treat an external outcome as an absolute criterion of moral success. If an aim targeting an external state is tagged with IS_CRITERION, the kernel halts with GATE_AIM_MISCLASSIFIED. Moral value lies exclusively in the rational execution of duty, not in compelling external results.

C. The Reserve Clause (Hypexairesis)

Every candidate action must formally declare its conditional reservation (RESERVATION: TRUE), reflecting the classical formula: "I will do this, if nothing happens to prevent me." If the reservation clause is omitted, the action fails GATE_RESERVATION_ABSENT at Stage 8.

D. Relational Vice Proscription (Option 2B)

Vices are not evaluated as a generic list of moralizing labels. A duty mandate explicitly proscribes specific operational failures (e.g., VICE_DECEIT_01, VICE_BAD_FAITH_01, VICE_PARTIALITY_01). Under Level-2 replay, the validator checks the set intersection between manifested vices and proscribed vices; any non-empty intersection triggers immediate rejection via PREDICATE_C7_FAIL_PROSCRIBED_VICE.

E. Single-Edge Counterfactual Predicate Necessity

The DTI does not assert whole-derivation minimality or global evidentiary indispensability. It establishes a precise, edge-local property: the EXECUTES_DUTY edge is demonstrated to be a necessary condition of the governing predicate Ψ under the specified single-edge counterfactual. The validator establishes baseline satisfaction Ψ(A, G) = TRUE, topologically severs the execution edge, and confirms counterfactual failure Ψ(A, G \ {e_exec}) = FALSE. If removing the duty edge does not break predicate satisfaction, the certificate is rejected as DUTY_REDUNDANT_COHERENCE_ONLY.

F. Derivational Dependency Closure Isomorphism

The derivational dependency relation T is defined strictly as the set containing DEPENDS_ON, EXECUTES_DUTY, and TARGETS_AIM. The closure traversal R_T(A) traces only edges in T. Foundational nodes inside the closure must resolve to verified entries in the frozen Corpus Base registry; foundational nodes outside the closure are flagged as PARTIALLY_TRACED (Decoration), preventing idle theoretical declarations from masking an unanchored practical derivation.

G. Exact Thesis Reconstruction

Rather than relying on substring or regex pattern heuristics, the DTI dynamically reconstructs the canonical thesis string directly from audited action, role, and duty records. It asserts exact character-for-character equality (==). Any manual interpolation, altered phrasing, or missing reservation markers reject the certificate with THESIS_RECONSTRUCTION_MISMATCH.

4. The Human/Machine Boundary

The CDV/DTI suite explicitly rejects the premise of an "autonomous ethical machine." The system acts as a mirror of derivational integrity. The human moral agent receives the impression (phantasia), gathers empirical facts, identifies governing charters, classifies values and indifferents, authors the formal DSL specification, and ultimately exercises sovereign prohairesis to grant or withhold assent. The machine merely verifies whether the agent's authored justification entails their proposed action without logical fraud, value contamination, structural divergence, or ungrounded authority.

5. Implementation and Conformance Battery

The implementation consists of six Python 3.10+ modules communicating across an isolated out-of-process JSON pipe:

  • cdv_types.py: Static typing schema, closed enumerations, and frozen rule registries.
  • cdv_compiler.py: Strict non-permissive line scanner and multi-namespace compiler.
  • cdv_kernel.py: Semantic gate evaluation pipeline and certificate generator.
  • cdv_dti.py: Out-of-process Derivation Trace Instrument (L1A/L1B/L2 proof verifier).
  • cdv_mutation_oracle.py: 18-mutant adversarial falsification battery.
  • cdv_pipeline.py: Positive baseline integration driver.

Build v0.5.2 has been validated against a dual-battery test suite:

  1. Adversarial Conformance (18/18 Mutants Discriminated): Eighteen synthetically corrupted certificates attacking syntax, endpoints, edge duplicates, metadata divergence, epistemic conflicts, forged corpus anchors, and duty mode mismatches are rejected with exact diagnostic flags.
  2. Positive Conformance (5 Scenarios Verified): Four positive fiduciary-dilemma test scenarios (CDV_IN_01 through CDV_IN_04, formalizing emergency clinical triage, accounting compliance, regulatory referral, and multi-survivor duty parity) achieve full certification, while an unanchored test case (CDV_IN_05) is cleanly halted.

6. Reference Artifacts & Source Archive

The complete executable suite for Build v0.5.2 is hosted across the following archival nodes on Stoic News:

Public Domain Dedication (CC0 1.0)

Build v0.5.2 is dedicated to the public domain to the extent permitted by law using the Creative Commons CC0 1.0 Universal dedication. There are no licensing restrictions, no proprietary wrappers, no external dependencies, and no claims to legal stewardship.

Cryptographic Manifest (SHA-256)

Its artifact identity and release lineage are recorded cryptographically rather than established through proprietary distribution mechanisms, pinned to the following SHA-256 manifest computed from the archived source bytes:

4a047c844cf19d45a982902ea6f3e0c03dc87593c6f93282216503c2ad28a4dc  cdv_types.py
28f11d94ffca2237ebcf5ec4eef331f50a4175317730e660ee0228bb3596706e  cdv_compiler.py
e2a0f8b898be77e382d59cf0d1656c1aeafafb3ea3a726618bcce86047ebccfa  cdv_kernel.py
0c6b527419e491295fc3089dc00455a5b508f7ce19cceb7a372eb0f32997fa44  cdv_dti.py
e093eb53a992bcda77f8ec26f0302ce376fa32d1e57c6b9d628fcb0a68d0eb85  cdv_mutation_oracle.py
a61b65ca4df9e0f63b655a6d36e2f694602db0c5a21074ef995b058c49e7b2aa  cdv_pipeline.py
fcff27a9cecae7e163b069695669b326aa6477e39f3796ec7e34d70df81e1ee3  SPECIFICATION.md
d2c2c62c2621ecb06ea5a7a7a53eaec8a36c581d4a0be7667b93b4998c0eb917  EXECUTION_LOG.txt

Local Integrity Verification

To confirm that a local copy contains the exact, unaltered reference implementation, drop the six source files into an empty directory and execute:

sha256sum -c <<EOF
4a047c844cf19d45a982902ea6f3e0c03dc87593c6f93282216503c2ad28a4dc  cdv_types.py
28f11d94ffca2237ebcf5ec4eef331f50a4175317730e660ee0228bb3596706e  cdv_compiler.py
e2a0f8b898be77e382d59cf0d1656c1aeafafb3ea3a726618bcce86047ebccfa  cdv_kernel.py
0c6b527419e491295fc3089dc00455a5b508f7ce19cceb7a372eb0f32997fa44  cdv_dti.py
e093eb53a992bcda77f8ec26f0302ce376fa32d1e57c6b9d628fcb0a68d0eb85  cdv_mutation_oracle.py
a61b65ca4df9e0f63b655a6d36e2f694602db0c5a21074ef995b058c49e7b2aa  cdv_pipeline.py
EOF

posted by Dave | 9:18 PM

0 Comments:

Post a Comment

<< Home