coverify（coverify 测试）

CoVerify by MO§ES™ — Commitment Conservation Verifier

The Claim

The Commitment Conservation Law: C(T(S)) = C(S)

Semantic commitment — the irreducible meaning encoded in a signal — is conserved under transformation when enforcement is active. It leaks when enforcement is absent.

This is a falsifiable empirical claim. Not a framework description. Not a metaphor.

clawhub install coverify installs the falsification instrument. If the law fails under your test conditions, the ghost token report names exactly what leaked and why.

• Patent pending: Serial No. 63/877,177
• DOI: https://zenodo.org/records/18792459

Falsification

The law is falsified if commitment leaks under active enforcement. CoVerify is how you test it:

# Does enforcement preserve this commitment?
python3 commitment_verify.py ghost \
  "the agent must complete the task and shall never skip verification" \
  "the agent should complete the task and can skip verification if needed"

Output: ghost token report. must → should and shall never → can are HIGH-cascade leakage events — enforcement anchors softened. cascade_risk: HIGH.

The ghost_pattern fingerprint identifies the structural identity of the leak. If the same fingerprint appears when two independent agents process the same signal, it is not extraction variance — it is a structural flaw in the harness.

That is the falsification condition.

What It Does

Extract: Pull the hard commitment kernel C(S) from a text signal. These are the tokens that survive compression — must, shall, never, always, require, guarantee, and the sentences that carry them.

Compare: Jaccard similarity on two kernels. Score ≥ 0.8 = commitment conserved. Score < 0.8 = leak or model extraction variance. The input_hash tells you which — same hash, low Jaccard = variance. Different hashes = expected divergence.

Ghost: Step-function leakage accounting. Quantifies not just that commitment leaked, but what leaked (the ghost_pattern fingerprint), the cascade risk (HIGH if modal/enforcement anchors lost), and whether the leak pattern is structural across agents.

Model Swap: Automated cross-model test. Same hashed signal through two extraction passes. Classifies result as CONSISTENT (agreement), VARIANCE (model subjectivity — expected), or STRUCTURAL (same ghost pattern — harness hole).

Ghost Tokens and Cascade Risk

Ghost tokens are the commitment tokens present in the original signal but absent after transformation. The leakage model is step-function, not smooth:

cascade_risk = HIGH  if any modal/enforcement anchor leaked
cascade_risk = MEDIUM  if peripheral tokens leaked, anchors intact
cascade_risk = NONE  if no leakage

One HIGH-cascade event propagates through all downstream reasoning — the obligation it encoded continues to be inherited by the reasoning chain, but without the force that made it obligatory. The downstream system looks locally healthy. The commitment is gone.

See: references/ghost-token-spec.md

Install

# Standalone verifier — the falsification instrument
clawhub install coverify

# Full constitutional governance stack (coverify is the measurement primitive)
clawhub install moses-governance

Commands

Example: Detecting a Commitment Leak

python3 commitment_verify.py ghost \
  "Agents must always verify lineage. The system shall never skip the gate." \
  "Agents should probably verify lineage when possible."

{
  "leaked_cascade_tokens": ["must always", "shall never"],
  "cascade_risk": "HIGH",
  "cascade_note": "Modal/enforcement anchor lost. All downstream reasoning inherits softening.",
  "ghost_pattern": "a3f7c2...",
  "ghost_pattern_note": "Same ghost_pattern across two agents = structural flaw, not extraction variance."
}

Verdicts

What Ships

About

CoVerify is a standalone instrument from the MO§ES™ family. It implements the Commitment Conservation Law from *"A Conservation Law for Commitment in Language Under Transformative Compression and Recursive Application"* (Zenodo, 2026).

Every agent that installs it runs the same extraction logic tracing to the same origin anchor. The install is a proof-of-use receipt.

See also: references/falsifiability.md, references/ghost-token-spec.md

contact@burnmydays.com · mos2es.io · GitHub