RISUInstitute

Research-writing assurance prototype · October 2026

Evidence-Verified Research Writing

A manuscript claim can change while its citations stay in place. This prototype binds the exact wording and structured claim meaning to exact evidence, then independently recomputes whether the claim may remain, requires review, or must stop.

Browser-local Illustrative evidence Independent verifier Proof-carrying record
  1. 01Claimexact wording and meaning
  2. 02Evidencesource, span and scope
  3. 03Certificatecontent-addressed decision
  4. 04Independent checkrehash and recompute
  5. 05Workflow actionretain, review or block
Illustrative manuscript workspace Claim 4.2 · Results synthesis
Manuscript

Evidence synthesis paragraph

version v1

Structured peer feedback has been evaluated in several university writing courses. The current synthesis is:

Retained references [A] [B] [C]

Claim contract

Meaning bound to this sentence

EXACT COUNT
Population
Outcome
Horizon
Quantifier
Claim claim-4.2 Certificate v1 Evidence A · B · C Binding CURRENT
Evidence ledger

Exact evidence consumed by the certificate

SourceRetained evidenceScopeRelationBinding
Verification record

Producer output is independently recomputed

A valid certificate may certify VERIFIED, REVIEW_REQUIRED, or BLOCKED. The checker tests whether that decision follows from the supplied evidence.
Inspect current evidence certificate

  


  

    

      

        Integrity test
        
Adversarial mutations must fail closed

      

      
    

    
The verdict-flip attack recomputes the outer certificate hash, so a checksum alone cannot catch it. The independent checker must reject the changed semantics.

    

      

        
AttackChangeResultDetected by

        
Run the integrity test against the loaded certificate.

      

    

  


  

    

      

        Revision history
        
What changed, and why the decision changed with it

      

    

    

  








  

    
Technical basis

    

      
Research-writing object, assurance discipline.

      
The manuscript workflow has its own claim model. It reuses assurance patterns already exercised in RISU research software, including explicit semantic boundaries, content-addressed evidence, independent checking and mutation-based qualification.

      

        RISU Verify and public tools 
        October assurance checkpoint 
        Independent certificate qualification