Layer 3 · the accumulation

Prove

A practice run becomes a trace, a signed and replayable SkillBundle, six proof gates and a score. The bundle library is the skill accumulation — which is why this layer gets wired, never rebuilt.

The pipeline

Every step already exists in Workbench. What does not exist is the arrow from Practice into it.

FROM LAYER 2
Practice run
CAPTURE
InteractionTrace
SEAL
SkillBundle
VERIFY
6 proof gates
SCORE
PRISM
TO LAYER 1
New claims

Proof gates

real gate IDs
gate.authorityauthorization.block_idpass
gate.trace_completenesstrace.trace_idpass
gate.replay_fidelitystructuralpass
gate.redaction_verifyprofile = nonen/a
gate.content_hashcontent_hashpass
gate.no_hidden_capabilitymanifest declaredpass

Each verdict is computed by an InvariantArithmetic.consume(value, requirements) call and carries its law and invariant-family annotation. Not a checklist — an evaluation.

SkillBundle

real schema
schemaskill-bundle/v0.1
verifierworkbench@0.3.0-alpha
overall_verdictpass
content_hashbafy2bzace…7f3a2c8b
bodybrowser
replaystructural · 14/14 edges
ia_substratev0.3 · governance, temporal
laws_exercisedL12 / L14

One file, two audiences: a reusable artifact the learner can share and replay, and an EvidenceBundle PRISM can score.

The return arrow

This is the step that makes Academy a loop. Proof output is claim input.

What the proof layer emits as claims

the one arrow that does not exist yet
quantity
6 of 6 proof gates pass on the reference bundle
quantity
replay fidelity holds across 14 of 14 trace edges
credential
bundle content hash reproduces independently of the machine that produced it
quantity
116 laws property-tested at 2,000 trials each

Why those two types specifically

measured

alkeyword's own claim taxonomy ranks quantity as the strongest measured citation lever and credential as a core authority signal. The proof layer emits precisely those, and they are verifiable — which is the rare case where the honest number and the effective number are the same number.

The portfolio currently has 0 credential claims on opensentience.org and 12 on ampersandboxdesign.com. This arrow is how that changes without anyone writing marketing copy.

alkeyword.com/docs/spec/README.md §1.4