Skip to content
#software testing Dataset Open access

MHCN-1: A Minimal Hash+Checksum Notarization Spec — Chain-Anchored Evidence Without Tokens, Wallets, or On-Chain Data (v1.0, With a Proven Reference Implementation)

Oct 2026 · Zenodo (CERN European Organization for Nuclear Research)
Blockchain Technology Applications and Security

Abstract

SQUIRL OS RESEARCH DISCLOSURE — READ FIRST: AI-assisted, receipt-first research program (open-book doctrine: audit-and-correction, versioned amendments, append-only public ledger). Errors are disclosed, not erased. This spec describes a prototype research system, provided for educational and research purposes only; not intended for production use, commercial deployment, or safety-critical environments. All payloads synthetic; no customer-identifiable data appears in this record (POL-DISC-001). MHCN-1 — a one-page adoptable standard for chain-anchored evidence: no tokens, no wallets, no on-chain data. The blockchain tokenization wave obsesses over objects (tokens) when the real leverage is in evidence (hashes + replayable checksums). This spec distills a working, adversarially-tested anchoring stack (companion records: DOI 10.5281/zenodo.23445728, DOI 10.5281/zenodo.23445803) into five conformance requirements any team can adopt: R1 Digest-only boundary — only 32-byte SHA-256 digests cross to any notarization surface; no PII/PHI/credentials/customer identity, verifiable by construction. R2 Append-only with tip-lag — stamps certify sealed states, never the live tip; certified state snapshots retained. R3 Fail-closed reconciliation — a deterministic gate classifies every receipt LIVE MATCH / CERTIFIED STATE / ORPHAN; any orphan = FAIL, quarantine, human review; no LLM in the decision path. R4 History retention — superseded receipts retained byte-identical as permanent proof of prior states; drift is versioning, not defect. R5 Authority split (disclosed) — the chain proves existence, not authority; signing authority remains in a separate disclosed (e.g., post-quantum) layer. The teeth: conformance claims are valid only with published receipts — the recon gate source, a zero-orphan run receipt, and the R5 authority disclosure. Claims without receipts are theater. Minimal implementation: three commands (stamp / upgrade / verify) plus a ~50-line reconcile gate, all included in the bundle with the reference scripts. Reference implementation provenance: the stack behind this spec caught two genuine drift events on its first two gate runs, formalized the tip-lag corollary, self-corrected a premature benchmark claim in its own notarized ledger, and passed a randomized-seed adversarial pop quiz (SBR-7, 6/6, with a disclosed authoring-defect amendment). Spec text CC-BY 4.0 for community adoption; the reference implementation remains the patent-pending IP of SQUIRL OS Technologies LLC. Scope caveat (load-bearing): anchoring notarizes existence, not authority; the reference chain's signatures are not post-quantum (hence R5); prototype software, no production warranty. Dual Mesh Benchmark status: NOT MEASURED in this record (no neural-mesh inference involved); program benchmark DOI 10.5281/zenodo.23321637 (DeepSeek column 10.5281/zenodo.23345241). Provenance: append-only public ledger entries 0162-0171, github.com/LLong2026/four-horsemen. DCAI community: zenodo.org/communities/dcai. Two-key curation: drafted and vetted by the system (Gabriel), published on the owner's explicit GO (chat authorization, 2026-10-17 ~23:12 CT).

View source

Similar papers

#computer vision Review Sep 2017

Agile Software Development Methods: Review and Analysis

This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.

P. Abrahamsson, O. Salo, Jussi Ronkainen et al. · 727 citations · ⚡54
#computer vision Jun 2008

The impact of agile practices on communication in software development

The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.

M. Pikkarainen, Jukka Haikara, O. Salo et al. · 401 citations · ⚡48
#machine learning Review Open access Oct 2014

Software development in startup companies: A systematic mapping study

The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.

Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al. · 394 citations · ⚡54
#computer vision Review Mar 2008

Agile methods in European embedded software development organisations: a survey on the actual use and usefulness of Extreme Programming and Scrum

The results show that the embedded industry has been able to apply agile methods in its development processes and that the appreciation of the agile methods and their individual practices appears to increase once adopted and applied in practice.

O. Salo, P. Abrahamsson · 238 citations · ⚡9
#computer vision Open access Jul 2017

What happens when software developers are (un)happy

Consequences of happiness and unhappiness that are beneficial and detrimental for developers' mental well-being, the software development process, and the produced artifacts are found.

D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al. · 236 citations · ⚡13
#computer vision Open access Oct 2004

Mobile-D: an agile approach for mobile application development

The Mobile-D approach is briefly outlined here and the experiences gained from four case studies are discussed, which helped develop an agile development approach for mobile application development.

P. Abrahamsson, Antti Hanhineva, H. Hulkko et al. · 225 citations · ⚡18

Related blog posts

Microsoft Research Blog Oct 12, 2026

Simulating student learning for better AI tutoring

StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.

MIT News · Artificial Intelligence Oct 2, 2026

Documenting the tech worker movement

Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.