Research evidence · V4

Comparing knowledge-revision methods

Conventional dependency tracking and CRSE both invalidated 12/12; no superiority. A weak memory condition retained 14 unjustified conclusions.

Structured comparison only; no verified verbatim terminal transcript.

← All experiments

EXECUTED · V4

Comparing knowledge-revision methods

Verified bounded test

When one piece of evidence is withdrawn, which systems retract the affected conclusions without discarding unaffected information?

View verified structured comparison ↓

Original verbatim terminal output has not been independently established; the structured result below is not original console output.

Observed comparison — graph parity, not superiority
MethodLinked conclusions invalidatedFalse retentions
Weak document memory0/1214*
Conventional dependency tracker12/120
Experimental CRSE kernel12/120

*Fourteen refers to the broader ground-truth comparison, not just the twelve linked dependents. Both strong methods also had zero false invalidations and preserved unaffected conclusions. This is a structured rendering of the archived result, NOT a verbatim terminal transcript.

Structured scientific record and disclosure status

Verified three-arm bounded synthetic comparison. CRSE and conventional dependency tracking each invalidated 12/12 linked conclusions. No superiority over the conventional graph baseline was established.

MethodLinked conclusions invalidatedFalse retentions
Weak document memory0/1214*
Conventional dependency tracker12/120
Experimental CRSE kernel12/120

Original verbatim terminal output has not been independently established; the structured result below is not original console output.

Explanatory replay of the recorded comparison

Teaching representation, not a disclosed internal graph or live execution.

Method, evidence provenance and scientific limitations

One synthetic challenge with twelve explicitly defined dependents, compared across intentionally weak document memory, conventional graph tracking and a CRSE kernel. The original full verbatim terminal transcript and exact scientific execution time have not been independently verified. This was not an automatic dependency-discovery task, field test, calibrated performance study or independent-laboratory replication. Graph-parity is the finding, not a competitive advantage.

Execution date: exact scientific execution timestamp NOT_VERIFIED; archive-context dates do not establish execution time. Public publication date: NOT PUBLISHED.

Release note: First three-arm bounded comparison; conventional graph and CRSE both matched the specified ground truth.