SEAL

What the public packs prove.

These are checks on the two public packs. They are not government validation. Every row is computed from the same engine the desk uses. Havoc and Longhaul are synthetic reference programs with public anchors, not Army program data.

20 / 20 pass

MeasureValueNote
Published packsseal.packs2passHavoc (one shot) and Longhaul (four episodes). Synthetic with public anchors.
Public anchors encodedseal.anchors8passEach anchor row is a source and an evidence object with a hash of the quoted text.
Reproducible run hashseal.repro.hash0666120260decf98passTwo runs from the same accepted objects produce the same run_hash.
Weights sum to 1000seal.weights.sum1000, 1000passInteger thousandths on every criteria set.
Scored cells with evidenceseal.coverage1.000passShare of scored option × criterion cells that cite at least one evidence object.
Zero-key elicitation recallseal.elicit.recallhavoc 1.00 · longhaul 1.00passEvery seeded objective, option, constraint, assumption, and risk is recovered from the brief and sources without a model.
Graph integrityseal.graph18n/33e · 18n/35epassEvery edge joins known nodes; every cited evidence id exists.
Receipt pathseal.receipt/seal/demo?pack=longhaul&stage=Refresh&episode=T2passShareable demo URL for a pack, stage, and episode.
Gold checksseal.gold11 / 11passHavoc and Longhaul. 4 episodes.
Havoc rankingseal.havoc.rankopt-6x6-hybrid > opt-6x6-diesel > opt-8x8-dieselpassHavoc · same engine the desk uses.
Protection-weight flipseal.havoc.flip.protection0.388passHavoc · same engine the desk uses.
8x8 fails the chassis ratingseal.havoc.constraintopt-8x8-dieselpassHavoc · same engine the desk uses.
Missing 8x8 alternator stays unscoredseal.havoc.cannot_scorecannot_scorepassHavoc · same engine the desk uses.
Vendor-claim check firesseal.bias.vendorvendor_claim, untested_weightpassHavoc · same engine the desk uses.
Havoc readiness clears the gateseal.havoc.readiness73/100passHavoc · same engine the desk uses.
Longhaul T0 rankingseal.longhaul.rank.t0opt-8x8-diesel > opt-6x6-hybrid > opt-6x6-dieselpassLonghaul · T0 · same engine the desk uses.
Longhaul T2 rankingseal.longhaul.rank.t2opt-6x6-hybrid > opt-8x8-diesel > opt-6x6-dieselpassLonghaul · T2 · same engine the desk uses.
Kendall tau T1 → T2seal.longhaul.tau0.333passLonghaul · T0 · same engine the desk uses.
Distinct run hashes across episodesseal.longhaul.hashes4 distinctpassLonghaul · T0 · same engine the desk uses.
T3 signature blockedseal.readiness.blockblocked at 68passLonghaul · T3 · same engine the desk uses.

Run the demonstration