Probabilistic Systems Engineering

VDG Contract Artifact v1.4.2

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.


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.


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

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.

Read next

Related