Skip to content
——:——:——Zchrononav-v2.0.4 / refinery-r1EVIDENCE BEFORE CLAIM

Evidence lab

Don’t trust the claim. Verify the evidence class.

Methodology, sample size, hashes and the label that AOK will actually read. Simulated results stay labelled. Measured results stay scoped.

MEASUREDREPRODUCIBLEIMPLEMENTEDMODELLEDPROPOSED

Investor-grade proof

What is proven, and under which label.

Every metric carries an evidence class. Simulated or modelled results are never presented as physical measurements.

CHRONONAV V2

REPRODUCIBLESIMULATED

1,847.21

10,000-trial frozen-policy blind validation

Mean true utility vs. 1,315.77 EDF

Simulated blind trials under a frozen policy. Not a production cluster measurement.

REUSE BENCHMARK

REPRODUCIBLESYNTHETIC

79.9%

High-reuse synthetic workload

Reuse at 50k workload size

Synthetic reference test. Real-world reuse is workload-specific and must be measured per deployment.

MERKLE VERIFICATION

REPRODUCIBLE

100 / 100

1 GiB commitment experiment

1,048,576 packets · sampled proofs valid

Offline reproducible experiment. Not an externally anchored public timestamp.

PHYSICAL EDGE NODE

IMPLEMENTEDPARTIALLY MEASURED

IMPLEMENTED

Android / Termux execution environment

Local compute, network and energy telemetry tested

Components ran on-device. This is not a claim of fleet-scale edge production.

Evidence lab

Methodology, sample size, and hashes.

Don't trust the claim. Verify the evidence class. Anything simulated says so. Anything demonstrated only locally says so. Anything measured on x86-64 rather than Termux says so.

SURFACECLAIMNRESULTCLASSID
ChronoNav V2Frozen-policy scheduler exceeds EDF on mean true utility

Blind validation, frozen policy, synthetic task arrivals. No online learning during the trial.

10,000 trials1,847.21 vs 1,315.77 EDFREPRODUCIBLESIMULATEDa3f1c9e2b7d04c18
Refinery reuseHigh-reuse synthetic retains most bytes as KEEP/STRUCTURE

Fixed corpus, repeated prefixes, deterministic classifier. Not a live user trace.

50,000 units~79.9% reuseREPRODUCIBLESYNTHETICb81e0c44d2aa9176
Marble / MerklePacket commitments verify against a 1 GiB tree

SHA-256 Merkle tree over 1 KiB packets. Sampled inclusion proofs.

1,048,576 packets · 100 sampled proofs100 / 100 validREPRODUCIBLEc0d9f77a1e5b3320
Marble suiteIdentity, provenance and tamper fixtures hold

Unit + property tests including signature swap, payload rewrite, policy downgrade.

52 tests · 12 destructive tamper fixtures52 passing, both signing backendsREPRODUCIBLEd4aa19b0ce78f201
Primary mint rateLocal mint throughput on x86-64 container

Measured on x86-64 container. Not Termux. Not a networked service SLA.

timed run, x86-64 container1,031.9 marbles / sMEASUREDe7c2b1d98a0045fe
Physical edge nodeEDEN components execute on Android / Termux

On-device run. Energy figures are device-reported, not calorimeter-grade.

single device, labcompute + network + energy telemetry exercisedIMPLEMENTEDPARTIALLY MEASURED—
Public anchorExternally timestamped immutability

Local marbles are tamper-evident against payload edits. They are not immutable against mint-key rewrite without an external anchor.

—Not configuredPROPOSED—
AOK clearance kernelEvidence class is bound to admissible action before execute or public claim

Rule table over labelled capabilities. This console is not a production admission controller.

policy aok-v1.0.2 · 12 capabilities · 6 actionsDeterministic CLEARED / HOLD / DENIEDIMPLEMENTEDDEMONSTRATIONf1a0c3e84b229176

Next

AOK is the kernel that treats this table as an admission control list.