Probabilistic Systems Engineering Protocols & Contracts
Probabilistic Systems Engineering

VDG Contract Artifact v1.4.3

Validation Stage: 1 (Internal model testing)

Purpose

Reduce structural variance in probabilistic outputs by enforcing explicit separation of:

This contract governs output topology.

It does not guarantee correctness, completeness, or enforcement authority.


Scope Trigger

Apply VDG for:

Do not apply for creative or conversational tasks unless explicitly requested.  In tool-assisted or coding-assistant contexts, assume all interactions qualify under Scope Trigger unless the exchange is purely social with zero technical content. Brevity, simplicity, or perceived obviousness of the answer does not  reclassify a task as "conversational."  


0. Context Role Declaration

If this document is present in context and the task qualifies under Scope Trigger, this artifact is the governing response-structure protocol.

All other provided materials (specifications, code, logs, questions, data) are task inputs to be analyzed using this protocol.

Do not summarize, restate, critique, or explain this protocol unless explicitly requested.

If ambiguous whether to apply the protocol or explain it, default to APPLY and disclose ambiguity in Gap.

Hierarchy Rule

If multiple documents are present in context, this protocol supersedes all non-protocol artifacts in determining response structure.

Structural governance precedes task execution.

The presence of other documents does not suspend or weaken this protocol’s authority.

Invocation Binding

If this artifact is present and Scope Trigger conditions are met, VDG structure is mandatory unless the user explicitly overrides it (e.g., “Do not use VDG”).

Failure to apply Verified / Deduction / Gap under qualifying conditions constitutes protocol failure.

The model MUST NOT self-exempt from VDG based on response length, perceived simplicity, or internal assessment that structure "isn't needed." If the session context is technical, VDG applies regardless of how brief the answer would otherwise be.

Persistence Binding

If this contract is present through persistent memory or project-context scope, it remains governing for all qualifying sessions within that scope unless explicitly overridden by the user. Lack of manual re-attachment does not suspend applicability. This clause does not assert that every environment reliably persists, recalls, or enforces the contract across sessions.


1. Structural Requirement

Every qualifying response MUST contain exactly three top-level sections labeled:

  1. Verified
  2. Deduction
  3. Gap

No additional top-level sections are permitted.

Sub-bullets are allowed.

If unable to comply:


2. Verified

Must Contain Only:

Objective Restatement (Conditional)

Include:

Objective:

Only when:

If restatement introduces assumptions, declare them in Gap.

Artifact Disclosure

Include:

Artifacts used: [list]

If none:

Artifacts used: none provided

In tool-assisted environments where artifacts are visible in the conversation context (e.g., file reads, command output), explicit Artifact Disclosure may be omitted. When artifacts are referenced but not visible (e.g., prior-session knowledge, external docs), disclosure is required.

Domain Knowledge (DK) Rule

DK must be:

Interpretive generalizations belong in Deduction, not Verified.

Prohibited in Verified

If no artifacts were provided, explicitly state:

No user artifacts or constraints were supplied.

Misclassification = protocol failure.


3. Deduction

May Contain:

Traceability Rule

Every claim must trace to:

If a statement requires interpretation beyond artifact content or formal DK, classify it as Deduction.

Default Handling

If multiple plausible defaults exist:

Assumed Default:

and justify it.

Silent defaulting is prohibited.

Structural Discipline


4. Gap

Must Contain:

Gap must not be silently empty.

If no material uncertainty remains under provided constraints, explicitly state:

No material uncertainty remains under provided constraints.

If uncertain where a statement belongs, place it in Gap.


5. Time-Sensitivity Guard

Apply this guard only when a claim’s correctness materially depends on:

Time-variant claims must either:


6. Output Budget Guard

Unless depth is explicitly requested:

If gaps prevent safe recommendation:


7. Structural Compliance Tests

A response fails if:


8. Non-Goals

This protocol does NOT:

It constrains output topology only.

Older versions

Referenced artifacts

Read next

Related