@integraledger/lcp-verify 0.10.1 → 0.11.0

package/CHANGELOG.md

@@ -1,5 +1,107 @@
 # @integraledger/lcp-verify
 
+## 0.11.0
+
+### Minor Changes
+
+- b2ffecc: Report the class a record actually supports, place a terms URL on UCP, and stop refusing a conformant UCP
+  profile — the remediation of the 2026-08-19 conformance re-audit.
+
+  **`verify` now computes `supportedClass` instead of echoing the claim.** It was `anyFailed ? "TC-0" :
+claimedClass`, so a record proving nothing — no settlement, no acceptance, no authority chain — reported
+  whatever class the caller named, while the field's own published docblock promised "what the record
+  honestly supports, not what the caller asked for". It is now the highest class every one of whose required
+  steps is `proved`, `TC-0` on any failure, computed from the steps alone: neither capped by the claim (rungs
+  that reach TC-3 read TC-3 where the caller claimed TC-2) nor lifted by it. White paper #4 §5 defines the
+  class of a transaction as "the highest class whose criteria it fully meets", and this is that.
+
+  The claim is not discarded — the report gains **`claimedClass`**, a required member, because `verified`
+  answers "did the record reach the class it claimed?" and cannot be read without it. The two fields are the
+  report's two halves: an input echoed, and a finding computed. Where they differ, the record did not reach
+  its own shape. An out-of-taxonomy claim now lands only in the echo and can no longer masquerade as a
+  finding.
+
+  **UCP can advertise a terms URL.** Its policy object declares `url` — "Optional link to the full policy
+  document", `format: uri` — on the very entry this placement writes, and §C.3's illustration carries `url`
+  and `atrHash` side by side there. The manifest previously said the protocol had no slot, citing `links[]`,
+  which §C.3 separates as "a standing page, not a per-transaction record". The obstacle was mechanical:
+  `termsUrlFields` addresses document paths, and a tagged-array entry's index is chosen at write time. The
+  `tagged-array` container therefore gains `termsUrlField`, written onto the same entry in the same write, and
+  read back through the same first-match rule. UCP was the last shipped protocol that refused an
+  advertisement carrying its own locator (integra-protocol#8).
+
+  **`readUcpProfile` no longer refuses a conformant business profile.** `requireHttps` mapped an ABSENT `spec`
+  to the same branch as a malformed one, and the live host requires `spec` only of a platform declaration —
+  as this repository's own README already said. It is now `requireHttpsIfDeclared`: absence is absence, and a
+  declared value is still held to the host's https MUST.
+
+  Also: `requireWritten` replaces an unchecked cast in the x402 override, so a broken postcondition throws
+  instead of returning a success carrying no document; six x402 citations move to the revision that actually
+  touches the file they name, and a new gate refuses any `owner/repo@sha` in source that `spec-pins.json` does
+  not record; four spec citations move from line anchors to section anchors; the escrow binding states why it
+  declares no §8.3.1 off-canonical variant, and asserts it; and §C.3's `policies[]` illustration is recorded as
+  invalid against the live UCP schema, which shows `description` as a bare string where the host requires an
+  object — owed upstream, not a defect here.
+
+  Corpus 844 → 847, root `ec4ad1b02a81538b…`.
+
+- 822190a: Give the terms URL the write path the published set never had, and certify the composition that broke
+  without it (integra-protocol#8).
+
+  A third party assembling a seller from published parts emitted a 402 the published buyer refuses: every
+  published reader demanded `legalContextUrl` and no published writer placed it, and the schema
+  `placement-x402` inlined onto the wire (`required: ["type","value"]`, closed) contradicted the authority
+  document integraledger.com serves (`required: ["type","value","legalContextUrl"]`, closed) — two
+  definitions of one `info`, no document valid against both, each package self-consistent. Three structural
+  gaps let it ship: the manifest's `termsUrlField` was singular and read-only (declared, hygiene-checked,
+  never written — and x402's wire carries the URL in two slots, so one path could not even name the shape),
+  nothing compared the inlined schema to the authority document, and the corpus certified `place` and
+  `extract` separately but never fed one to the other.
+
+  `binding-core` — the placement seam now moves an ADVERTISEMENT, not a bare reference. `place` takes
+  `{ ref, termsUrl? }` and writes the URL at every slot the manifest's new `termsUrlFields` (plural,
+  replacing `termsUrlField`) declares; it REFUSES an integrity-bearing advertisement with no URL where slots
+  are declared (a hash no counterparty can resolve is unverifiable by construction), a URL where no slot
+  exists (silent dropping is fail-open), and a non-https URL on either side of the seam. `extract` returns
+  `{ ref, termsUrl }` with absence as a typed value — `no-field-declared` is a fact about the protocol,
+  `declared-fields-empty` a fact about the document, and the gate decides what an absence means — while two
+  slots that disagree, or a malformed value in either, refuse. The object-path writer learned to descend
+  into an EXISTING array element (never minting one, never extending a list, refusing an index segment it
+  would have to create), which is what lets x402's `accepts[0].extra` mirrors land.
+
+  `placement-x402` — the inlined wire schema now IS the authority document minus `$id` and `$defs`
+  (Bazaar forbids both on the wire), drift-gated in `lcp-conformance` where the two packages meet.
+  `termsUrlFields` declares both slots the wire carries; the bare-hash alias is written (`extra` stopped
+  being wholly scheme-private when x402 §6.1 reserved names inside it, and LCP v1.38 §C.4's own Tier A
+  illustration carries the pair there); the `url` carrier admission is withdrawn (`carrierTypes` is
+  `sha256` alone — the schema on the wire is `const: "sha256"`, and no shipped reader ever accepted a url
+  in this slot). The `place` override shrinks to composition: the kit performs the whole placement and the
+  override adds only the `{info, schema}` wrapper.
+
+  `placement-mpp` / `placement-acp` — the singular member becomes the one-entry `termsUrlFields`; the kit
+  now writes the slot their buyer parsers always demanded and refuses first at the seller.
+
+  `lcp-conformance` — the corpus grows 812 → 844: a `roundtrip` op (place then extract in one case, the
+  composition certification whose absence let two separately-conformant halves ship jointly broken),
+  advertisement-rule refusals for every manifest, and the authority↔wire drift gate. Extract expectations
+  across every placement area become the extracted advertisement.
+
+  `lcp-verify` — `referencePlacementStep` reads the advertisement (`extracted.ref.value`) and deliberately
+  ignores `termsUrl`: where the terms live is the gate's fetch concern, not a fact the record can
+  contradict.
+
+  `lcp-discovery` — the x402 authority document restates the atrHash pattern inline in both definitions
+  (no `$defs` indirection the wire copy would have to rewrite) and moves the two-definitions rationale into
+  `$defs.receipt`, so the challenge-time root is byte-derivable for the wire.
+
+### Patch Changes
+
+- Updated dependencies [b2ffecc]
+- Updated dependencies [822190a]
+  - @integraledger/lcp-binding-core@0.11.0
+  - @integraledger/lcp-authority@0.10.2
+  - @integraledger/lcp-kernel@0.11.0
+
 ## 0.10.1
 
 **0.10.0 was staged and withdrawn before approval; this is that release, re-cut.** The conformance corpus

package/README.md

@@ -32,7 +32,7 @@ const report = await verify({
 ```
 
 ```
-verified: false | supportedClass: TC-2
+verified: false | claimedClass: TC-2 | supportedClass: TC-0
    atr-fingerprint          proved
    settlement-enumeration   proved
    buyer-acceptance         not-attempted   no-acceptance
@@ -62,16 +62,22 @@ contradiction.
 An acceptance presented without a signature verifier is `not-attempted("no-signature-verifier")`, because
 a signature nobody checked is not evidence of a signature.
 
-## `verified` and `supportedClass` are readouts, not targets
+## `verified` is a verdict about a claim; `supportedClass` is a finding
 
 At the default `depth: "structural"`, `verified` is **always** `false`. A structural walk is a
 presence-and-absence readout; it cannot raise a verdict. Passing `depth: "mechanical"` — where the caller
 has supplied live ports — lets `verified` become an honest function of the walk: true only when every
 class-required step is `proved` and none `failed`.
 
-`supportedClass` works the same way. The record is *shaped for* a claimed class, and the structural walk
-can only confirm or impeach that shape: any failed step downgrades it to `TC-0`, and the walk never
-raises it.
+`supportedClass` is different in kind: it is a FINDING, computed from the steps alone as the highest class
+every one of whose required rungs is `proved`, and `TC-0` the moment any step fails. The claim neither caps
+it nor lifts it — a record proving nothing reads `TC-0` however high the caller aimed, and one whose rungs
+reach past the claim reads what they reach. `claimedClass` is echoed beside it so `verified`, which answers
+"did the record reach the class it claimed?", can be read at all.
+
+Step outcomes are depth-agnostic, so `depth` governs `verified` and never the class. A rung that is
+`not-attempted` says something about this walk's inputs, not about the record — which is why the reason
+rides each step and why `steps` is the thing to read before either summary.
 
 A forged input cannot produce a `proved`. Signature verification that throws deep in curve math over
 corrupted bytes is reported as a failure, not propagated as a crash — a verifier that dies on a forgery

package/dist/index.d.ts

@@ -6,11 +6,14 @@
  *
  * At STRUCTURAL depth `verified` is always `false` (a presence/absence readout → class, not a verdict).
  * At MECHANICAL depth `verified` is an honest function of the walk via `computeVerified` — raised `true`
- * iff every class-required step is `proved` and no step `failed`.
+ * iff every step required by the CLAIMED class is `proved` and no step `failed`.
  *
- * `supportedClass` is an HONEST READOUT, never a target: the record is *shaped for* `claimedClass`, and
- * the structural walk can only CONFIRM-OR-IMPEACH that shape — any `failed` step downgrades it to `TC-0`;
- * the walk never raises it (raising requires the mechanical verification `computeVerified` supplies).
+ * The report separates what was asked from what was found. `claimedClass` is the caller's input, echoed
+ * verbatim. `supportedClass` is the walk's own finding via `computeSupportedClass` — the highest class
+ * whose every required step is `proved`, `TC-0` on any failure. The claim neither caps nor lifts it, so a
+ * record that proves nothing reads `TC-0` however high the caller aimed, and one whose rungs reach past the
+ * claim reads what it reached. Step outcomes are depth-agnostic (see `steps.ts`), so this holds at both
+ * depths: `depth` governs `verified`, never the class.
  */
 import type { Bounds, ChainWalkResult, SignatureVerifier, SignedAcceptance } from "@integraledger/lcp-authority";
 import { type CompositionInput } from "./composition.js";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,KAAK,EACV,MAAM,EACN,eAAe,EACf,iBAAiB,EACjB,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,KAAK,gBAAgB,EAMtB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAEV,kBAAkB,EAElB,WAAW,EACZ,MAAM,aAAa,CAAC;AACrB,OAAO,EAGL,KAAK,gBAAgB,EACtB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,KAAK,aAAa,EAMlB,KAAK,cAAc,EACnB,KAAK,cAAc,EAKpB,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACvB,sBAAsB,EACtB,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,eAAe,EACf,KAAK,WAAW,EAChB,eAAe,EACf,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,EACrB,KAAK,WAAW,GACjB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,eAAe,EACf,cAAc,EACd,KAAK,QAAQ,EACb,KAAK,gBAAgB,GACtB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,KAAK,aAAa,EAClB,cAAc,EACd,aAAa,EACb,qBAAqB,EACrB,cAAc,EACd,eAAe,EACf,KAAK,cAAc,EACnB,mBAAmB,EACnB,KAAK,cAAc,EACnB,YAAY,EACZ,sBAAsB,EACtB,gBAAgB,EAChB,cAAc,GACf,MAAM,YAAY,CAAC;AAEpB;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IAC1B,2FAA2F;IAC3F,IAAI,EAAE,MAAM,CAAC;IACb,qEAAqE;IACrE,QAAQ,EAAE;QAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAClD,gFAAgF;IAChF,QAAQ,CAAC,EAAE,UAAU,CAAC;IACtB,iGAAiG;IACjG,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,wFAAwF;IACxF,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC;IACxB,4EAA4E;IAC5E,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAC9B;2GACuG;IACvG,kBAAkB,CAAC,EAAE,iBAAiB,CAAC;IACvC;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,aAAa,EAAE,CAAC;IACjC;;;;;;;;;;;;;OAaG;IACH,aAAa,CAAC,EAAE,eAAe,CAAC;IAChC,kEAAkE;IAClE,UAAU,CAAC,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IACxD,0GAA0G;IAC1G,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,+GAA+G;IAC/G,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC;4FACwF;IACxF,YAAY,CAAC,EAAE,gBAAgB,CAAC;IAChC,sGAAsG;IACtG,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB;;uGAEmG;IACnG,WAAW,CAAC,EAAE,gBAAgB,CAAC;IAC/B;;;yFAGqF;IACrF,SAAS,CAAC,EAAE,cAAc,CAAC;CAC5B;AAED,mIAAmI;AACnI,wBAAsB,MAAM,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAuG5E;AAED,+EAA+E;AAC/E,wBAAgB,aAAa,CAAC,MAAM,EAAE,kBAAkB,GAAG,OAAO,CAIjE"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EACV,MAAM,EACN,eAAe,EACf,iBAAiB,EACjB,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,KAAK,gBAAgB,EAMtB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAEV,kBAAkB,EAElB,WAAW,EACZ,MAAM,aAAa,CAAC;AACrB,OAAO,EAIL,KAAK,gBAAgB,EACtB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,KAAK,aAAa,EAMlB,KAAK,cAAc,EACnB,KAAK,cAAc,EAKpB,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACvB,sBAAsB,EACtB,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,eAAe,EACf,KAAK,WAAW,EAChB,eAAe,EACf,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,EACrB,KAAK,WAAW,GACjB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,eAAe,EACf,cAAc,EACd,KAAK,QAAQ,EACb,KAAK,gBAAgB,GACtB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,KAAK,aAAa,EAClB,cAAc,EACd,aAAa,EACb,qBAAqB,EACrB,cAAc,EACd,eAAe,EACf,KAAK,cAAc,EACnB,mBAAmB,EACnB,KAAK,cAAc,EACnB,YAAY,EACZ,sBAAsB,EACtB,gBAAgB,EAChB,cAAc,GACf,MAAM,YAAY,CAAC;AAEpB;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IAC1B,2FAA2F;IAC3F,IAAI,EAAE,MAAM,CAAC;IACb,qEAAqE;IACrE,QAAQ,EAAE;QAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAClD,gFAAgF;IAChF,QAAQ,CAAC,EAAE,UAAU,CAAC;IACtB,iGAAiG;IACjG,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,wFAAwF;IACxF,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC;IACxB,4EAA4E;IAC5E,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAC9B;2GACuG;IACvG,kBAAkB,CAAC,EAAE,iBAAiB,CAAC;IACvC;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,aAAa,EAAE,CAAC;IACjC;;;;;;;;;;;;;OAaG;IACH,aAAa,CAAC,EAAE,eAAe,CAAC;IAChC,kEAAkE;IAClE,UAAU,CAAC,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IACxD,0GAA0G;IAC1G,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,+GAA+G;IAC/G,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC;4FACwF;IACxF,YAAY,CAAC,EAAE,gBAAgB,CAAC;IAChC,sGAAsG;IACtG,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB;;uGAEmG;IACnG,WAAW,CAAC,EAAE,gBAAgB,CAAC;IAC/B;;;yFAGqF;IACrF,SAAS,CAAC,EAAE,cAAc,CAAC;CAC5B;AAED,mIAAmI;AACnI,wBAAsB,MAAM,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAyG5E;AAED,+EAA+E;AAC/E,wBAAgB,aAAa,CAAC,MAAM,EAAE,kBAAkB,GAAG,OAAO,CAIjE"}

package/dist/index.js

@@ -1,5 +1,5 @@
 import { discoveryIntegrityStep, frcNonGatingStep, offerBoundStep, operationsStep, proportionalityStep, } from "./composition.js";
-import { computeVerified, } from "./required.js";
+import { computeSupportedClass, computeVerified, } from "./required.js";
 import { acceptanceStep, authorityStep, authorityStepFromWalk, commitmentStep, fingerprintStep, recourseStep, referencePlacementStep, resolvePartyStep, settlementStep, } from "./steps.js";
 export { discoveryIntegrityStep, frcNonGatingStep, offerBoundStep, operationsStep, proportionalityStep, readCompositionSlots, } from "./composition.js";
 export { jcsCanonicalize, serializeReport, } from "./report.js";
@@ -39,7 +39,8 @@ export async function verify(input) {
     ];
     // Append the TC-4 composition steps ONLY when a composition slot is supplied — the slot is additive:
     // a TC-0..TC-3 report that supplies none is byte-identical to one produced without the slot existing.
-    // The appended steps flow through the same `anyFailed`/`computeVerified` machinery as every other.
+    // The appended steps flow through the same `computeSupportedClass`/`computeVerified` machinery as every
+    // other, and are the only rungs by which a walk can reach TC-4 at all.
     if (input.composition !== undefined) {
         steps.push({ name: "offer-bound", outcome: offerBoundStep(input.composition) }, { name: "operations-bound", outcome: operationsStep(input.composition) }, {
             name: "discovery-integrity",
@@ -55,16 +56,16 @@ export async function verify(input) {
     // Append the reference-placement step ONLY when a placement slot is supplied — its own `if`, because a
     // placement is independent of a composition and a record may carry either, both, or neither. Absent ⇒
     // nothing is appended and existing reports stay byte-identical, which is what makes the slot additive.
-    // Supplied ⇒ it flows through the same `anyFailed`/`computeVerified` machinery as every other step, so
-    // a placement that CONTRADICTS the record impeaches `supportedClass` to TC-0 — the one power the step
-    // grants it. Without this block the step would appear in no report and impeach nothing.
+    // Supplied ⇒ it flows through the same `computeSupportedClass`/`computeVerified` machinery as every
+    // other step, so a placement that CONTRADICTS the record impeaches `supportedClass` to TC-0 — the one
+    // power the step grants it, since no class requires it and it can therefore only pull the answer down.
+    // Without this block the step would appear in no report and impeach nothing.
     if (input.placement !== undefined) {
         steps.push({
             name: "reference-placement",
             outcome: referencePlacementStep(input.placement, input.settledAtrHash),
         });
     }
-    const anyFailed = steps.some((s) => s.outcome.status === "failed");
     const found = input.settlements ?? [];
     const depth = input.depth ?? "structural";
     const claimed = input.claimedClass ?? "TC-2";
@@ -86,7 +87,8 @@ export async function verify(input) {
         // the SAME token `resolvePartyStep` emits for this condition (steps.ts), so absence has one spelling
         // across the step and the report instead of contradicting itself inside a single run.
         assurance: input.identity?.buyer?.assurance ?? "no-assurance-stated",
-        supportedClass: anyFailed ? "TC-0" : claimed,
+        claimedClass: claimed,
+        supportedClass: computeSupportedClass(stepsForVerified),
         asOf: input.asOf,
         steps,
         coverage: input.coverage,

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAoBA,OAAO,EAEL,sBAAsB,EACtB,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAO1B,OAAO,EACL,eAAe,GAGhB,MAAM,eAAe,CAAC;AACvB,OAAO,EAEL,cAAc,EACd,aAAa,EACb,qBAAqB,EACrB,cAAc,EACd,eAAe,EAGf,YAAY,EACZ,sBAAsB,EACtB,gBAAgB,EAChB,cAAc,GACf,MAAM,YAAY,CAAC;AAEpB,OAAO,EAGL,sBAAsB,EACtB,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,eAAe,EAEf,eAAe,GAIhB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,eAAe,EACf,cAAc,GAGf,MAAM,eAAe,CAAC;AACvB,OAAO,EAEL,cAAc,EACd,aAAa,EACb,qBAAqB,EACrB,cAAc,EACd,eAAe,EAEf,mBAAmB,EAEnB,YAAY,EACZ,sBAAsB,EACtB,gBAAgB,EAChB,cAAc,GACf,MAAM,YAAY,CAAC;AAyEpB,mIAAmI;AACnI,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,KAAkB;IAC7C,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS,IAAI,KAAK,CAAC,cAAc,KAAK,SAAS;QACzE,MAAM,IAAI,KAAK,CACb,qMAAqM,CACtM,CAAC;IACJ,MAAM,KAAK,GAAuB;QAChC;YACE,IAAI,EAAE,iBAAiB;YACvB,OAAO,EAAE,MAAM,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,cAAc,CAAC;SACrE;QACD;YACE,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,WAAW,CAAC;SAC3C;QACD;YACE,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,MAAM,cAAc,CAC3B,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,cAAc,EACpB,KAAK,CAAC,kBAAkB,CACzB;SACF;QACD;YACE,IAAI,EAAE,uBAAuB;YAC7B,gGAAgG;YAChG,0DAA0D;YAC1D,OAAO,EACL,KAAK,CAAC,aAAa,KAAK,SAAS;gBAC/B,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC,aAAa,CAAC;gBAC5C,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,cAAc,CAAC;SAC1C;QACD,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE;QACzE;YACE,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAa,CAAC;SAC3D;QACD,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE;KACrE,CAAC;IAEF,qGAAqG;IACrG,sGAAsG;IACtG,mGAAmG;IACnG,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CACR,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,EACnE,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,EACxE;YACE,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,sBAAsB,CAAC,KAAK,CAAC,WAAW,CAAC;SACnD,EACD;YACE,IAAI,EAAE,0BAA0B;YAChC,OAAO,EAAE,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC;SAChD,EACD;YACE,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,gBAAgB,CAAC,KAAK,CAAC,WAAW,CAAC;SAC7C,CACF,CAAC;IACJ,CAAC;IAED,uGAAuG;IACvG,sGAAsG;IACtG,uGAAuG;IACvG,uGAAuG;IACvG,sGAAsG;IACtG,wFAAwF;IACxF,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,sBAAsB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,cAAc,CAAC;SACvE,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC;IACtC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,YAAY,CAAC;IAC1C,MAAM,OAAO,GAAG,KAAK,CAAC,YAAY,IAAI,MAAM,CAAC;IAC7C,MAAM,gBAAgB,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,CAAC,CAAC,IAAgB;QACxB,OAAO,EAAE,CAAC,CAAC,OAAO;KACnB,CAAC,CAAC,CAAC;IAEJ,OAAO;QACL,QAAQ,EAAE,eAAe,CAAC,gBAAgB,EAAE,OAAO,EAAE,KAAK,CAAC;QAC3D,gGAAgG;QAChG,oGAAoG;QACpG,uGAAuG;QACvG,iGAAiG;QACjG,iGAAiG;QACjG,EAAE;QACF,uFAAuF;QACvF,sGAAsG;QACtG,sGAAsG;QACtG,qGAAqG;QACrG,sFAAsF;QACtF,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,IAAI,qBAAqB;QACpE,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;QAC5C,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK;QACL,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE;KAC1D,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,aAAa,CAAC,MAA0B;IACtD,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CACtB,CAAC,CAAmB,EAAE,EAAE,CAAE,CAAC,CAAC,OAAuB,CAAC,MAAM,KAAK,QAAQ,CACxE,CAAC;AACJ,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAuBA,OAAO,EAEL,sBAAsB,EACtB,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,mBAAmB,GACpB,MAAM,kBAAkB,CAAC;AAO1B,OAAO,EACL,qBAAqB,EACrB,eAAe,GAGhB,MAAM,eAAe,CAAC;AACvB,OAAO,EAEL,cAAc,EACd,aAAa,EACb,qBAAqB,EACrB,cAAc,EACd,eAAe,EAGf,YAAY,EACZ,sBAAsB,EACtB,gBAAgB,EAChB,cAAc,GACf,MAAM,YAAY,CAAC;AAEpB,OAAO,EAGL,sBAAsB,EACtB,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,eAAe,EAEf,eAAe,GAIhB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,eAAe,EACf,cAAc,GAGf,MAAM,eAAe,CAAC;AACvB,OAAO,EAEL,cAAc,EACd,aAAa,EACb,qBAAqB,EACrB,cAAc,EACd,eAAe,EAEf,mBAAmB,EAEnB,YAAY,EACZ,sBAAsB,EACtB,gBAAgB,EAChB,cAAc,GACf,MAAM,YAAY,CAAC;AAyEpB,mIAAmI;AACnI,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,KAAkB;IAC7C,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS,IAAI,KAAK,CAAC,cAAc,KAAK,SAAS;QACzE,MAAM,IAAI,KAAK,CACb,qMAAqM,CACtM,CAAC;IACJ,MAAM,KAAK,GAAuB;QAChC;YACE,IAAI,EAAE,iBAAiB;YACvB,OAAO,EAAE,MAAM,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,cAAc,CAAC;SACrE;QACD;YACE,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,WAAW,CAAC;SAC3C;QACD;YACE,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,MAAM,cAAc,CAC3B,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,cAAc,EACpB,KAAK,CAAC,kBAAkB,CACzB;SACF;QACD;YACE,IAAI,EAAE,uBAAuB;YAC7B,gGAAgG;YAChG,0DAA0D;YAC1D,OAAO,EACL,KAAK,CAAC,aAAa,KAAK,SAAS;gBAC/B,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC,aAAa,CAAC;gBAC5C,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,cAAc,CAAC;SAC1C;QACD,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE;QACzE;YACE,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAa,CAAC;SAC3D;QACD,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE;KACrE,CAAC;IAEF,qGAAqG;IACrG,sGAAsG;IACtG,wGAAwG;IACxG,uEAAuE;IACvE,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CACR,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,EACnE,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,EACxE;YACE,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,sBAAsB,CAAC,KAAK,CAAC,WAAW,CAAC;SACnD,EACD;YACE,IAAI,EAAE,0BAA0B;YAChC,OAAO,EAAE,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC;SAChD,EACD;YACE,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,gBAAgB,CAAC,KAAK,CAAC,WAAW,CAAC;SAC7C,CACF,CAAC;IACJ,CAAC;IAED,uGAAuG;IACvG,sGAAsG;IACtG,uGAAuG;IACvG,oGAAoG;IACpG,sGAAsG;IACtG,uGAAuG;IACvG,6EAA6E;IAC7E,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,sBAAsB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,cAAc,CAAC;SACvE,CAAC,CAAC;IACL,CAAC;IAED,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC;IACtC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,YAAY,CAAC;IAC1C,MAAM,OAAO,GAAG,KAAK,CAAC,YAAY,IAAI,MAAM,CAAC;IAC7C,MAAM,gBAAgB,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzC,IAAI,EAAE,CAAC,CAAC,IAAgB;QACxB,OAAO,EAAE,CAAC,CAAC,OAAO;KACnB,CAAC,CAAC,CAAC;IAEJ,OAAO;QACL,QAAQ,EAAE,eAAe,CAAC,gBAAgB,EAAE,OAAO,EAAE,KAAK,CAAC;QAC3D,gGAAgG;QAChG,oGAAoG;QACpG,uGAAuG;QACvG,iGAAiG;QACjG,iGAAiG;QACjG,EAAE;QACF,uFAAuF;QACvF,sGAAsG;QACtG,sGAAsG;QACtG,qGAAqG;QACrG,sFAAsF;QACtF,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,IAAI,qBAAqB;QACpE,YAAY,EAAE,OAAO;QACrB,cAAc,EAAE,qBAAqB,CAAC,gBAAgB,CAAC;QACvD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK;QACL,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE;KAC1D,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,aAAa,CAAC,MAA0B;IACtD,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CACtB,CAAC,CAAmB,EAAE,EAAE,CAAE,CAAC,CAAC,OAAuB,CAAC,MAAM,KAAK,QAAQ,CACxE,CAAC;AACJ,CAAC"}

package/dist/report.d.ts

@@ -37,9 +37,11 @@ export interface VerificationStep {
  *
  *  Read `steps` before `verified`. `verified` is a summary that is FALSE at structural depth by
  *  construction, so a `false` may mean "impeached" or merely "not attempted mechanically", and only the
- *  step list distinguishes them. `supportedClass` is what the record honestly supports, not what the
- *  caller asked for. Several fields are `string` rather than a union on purpose: this type has to be able
- *  to hold another implementation's answer, including a wrong one. */
+ *  step list distinguishes them. `claimedClass` and `supportedClass` are the report's two halves and must
+ *  never be read as one: the first is the caller's input, echoed so the walk can be interpreted; the second
+ *  is the walk's own finding. Where they differ, the record did not reach what it was shaped for. Several
+ *  fields are `string` rather than a union on purpose: this type has to be able to hold another
+ *  implementation's answer, including a wrong one. */
 export interface VerificationReport {
     /** Honest function of depth: `false` at structural (presence/absence → class); at mechanical, raised by
      *  `computeVerified` iff every class-required step is `proved` and none `failed`. */
@@ -50,7 +52,14 @@ export interface VerificationReport {
      *  reason `supportedClass` is: a foreign implementation's report must be representable before it can be
      *  compared, and a type that refuses to hold a wrong value cannot report one. */
     assurance: string;
-    /** The transaction class the record honestly supports — an honest readout, never a target. */
+    /** The class the record was shaped for, as the caller stated it — the walk's INPUT, echoed so `verified`
+     *  can be read at all (it answers "did the record reach THIS class?"). A caller that states none is
+     *  verified against `TC-2`, and that effective value is what appears here. Never a finding: nothing in
+     *  the walk can change it. */
+    claimedClass: string;
+    /** The class the walk reached — the highest one whose every required step is `proved`, `TC-0` if any step
+     *  failed. A FINDING, computed from the steps alone: it is not capped by `claimedClass` and not lifted by
+     *  it. Compare the two to learn whether the record met its own shape. */
     supportedClass: string;
     /** The settlement's chain-anchored time every validity check is evaluated against. */
     asOf: string;

package/dist/report.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAEjE;qFACqF;AACrF,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG,YAAY,CAAC;AAEtD,wDAAwD;AACxD,MAAM,MAAM,WAAW,GACnB;IAAE,MAAM,EAAE,QAAQ,CAAA;CAAE,GACpB;IAAE,MAAM,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,SAAS,CAAA;CAAE,GAC1C;IAAE,MAAM,EAAE,eAAe,CAAA;CAAE,GAC3B;IAAE,MAAM,EAAE,eAAe,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/C;;iGAEiG;AACjG,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,WAAW,CAAC;CACtB;AAED;;;;;;sEAMsE;AACtE,MAAM,WAAW,kBAAkB;IACjC;yFACqF;IACrF,QAAQ,EAAE,OAAO,CAAC;IAClB;;;;qFAIiF;IACjF,SAAS,EAAE,MAAM,CAAC;IAClB,8FAA8F;IAC9F,cAAc,EAAE,MAAM,CAAC;IACvB,sFAAsF;IACtF,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAC1B,kEAAkE;IAClE,QAAQ,EAAE;QAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAClD,WAAW,EAAE;QAAE,KAAK,EAAE,OAAO,EAAE,CAAC;QAAC,eAAe,EAAE,OAAO,CAAA;KAAE,CAAC;CAC7D;AAyBD,+GAA+G;AAC/G,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAUtD;AAED,uFAAuF;AACvF,wBAAgB,eAAe,CAAC,MAAM,EAAE,kBAAkB,GAAG,UAAU,CAEtE"}
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AAEjE;qFACqF;AACrF,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG,YAAY,CAAC;AAEtD,wDAAwD;AACxD,MAAM,MAAM,WAAW,GACnB;IAAE,MAAM,EAAE,QAAQ,CAAA;CAAE,GACpB;IAAE,MAAM,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,SAAS,CAAA;CAAE,GAC1C;IAAE,MAAM,EAAE,eAAe,CAAA;CAAE,GAC3B;IAAE,MAAM,EAAE,eAAe,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/C;;iGAEiG;AACjG,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,WAAW,CAAC;CACtB;AAED;;;;;;;;sDAQsD;AACtD,MAAM,WAAW,kBAAkB;IACjC;yFACqF;IACrF,QAAQ,EAAE,OAAO,CAAC;IAClB;;;;qFAIiF;IACjF,SAAS,EAAE,MAAM,CAAC;IAClB;;;kCAG8B;IAC9B,YAAY,EAAE,MAAM,CAAC;IACrB;;6EAEyE;IACzE,cAAc,EAAE,MAAM,CAAC;IACvB,sFAAsF;IACtF,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,gBAAgB,EAAE,CAAC;IAC1B,kEAAkE;IAClE,QAAQ,EAAE;QAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAClD,WAAW,EAAE;QAAE,KAAK,EAAE,OAAO,EAAE,CAAC;QAAC,eAAe,EAAE,OAAO,CAAA;KAAE,CAAC;CAC7D;AAyBD,+GAA+G;AAC/G,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAUtD;AAED,uFAAuF;AACvF,wBAAgB,eAAe,CAAC,MAAM,EAAE,kBAAkB,GAAG,UAAU,CAEtE"}

package/dist/report.js.map

@@ -1 +1 @@
-{"version":3,"file":"report.js","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AA4DA;;;;;;;;GAQG;AACH,SAAS,kBAAkB,CAAC,CAAU;IACpC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACxE,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,CAA4B,CAAC;QACzC,kFAAkF;QAClF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;aAC3B,IAAI,EAAE;aACN,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpE,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAChC,CAAC;IACD,gGAAgG;IAChG,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAW,CAAC;AACrC,CAAC;AAED,+GAA+G;AAC/G,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,kGAAkG;IAClG,mGAAmG;IACnG,mCAAmC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,IAAI,KAAK,SAAS;QACpB,MAAM,IAAI,KAAK,CACb,uEAAuE,CACxE,CAAC;IACJ,OAAO,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,eAAe,CAAC,MAA0B;IACxD,OAAO,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;AAC3D,CAAC"}
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AAqEA;;;;;;;;GAQG;AACH,SAAS,kBAAkB,CAAC,CAAU;IACpC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACxE,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,CAA4B,CAAC;QACzC,kFAAkF;QAClF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;aAC3B,IAAI,EAAE;aACN,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpE,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAChC,CAAC;IACD,gGAAgG;IAChG,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAW,CAAC;AACrC,CAAC;AAED,+GAA+G;AAC/G,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,kGAAkG;IAClG,mGAAmG;IACnG,mCAAmC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,IAAI,KAAK,SAAS;QACpB,MAAM,IAAI,KAAK,CACb,uEAAuE,CACxE,CAAC;IACJ,OAAO,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,eAAe,CAAC,MAA0B;IACxD,OAAO,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;AAC3D,CAAC"}

package/dist/required.d.ts

@@ -1,8 +1,9 @@
 import type { VerifyDepth } from "./report.js";
 export type { VerifyDepth };
 /** The transaction-class ladder. Higher classes require strictly more steps, so a record supporting TC-3
- *  supports every class below it. A class is a CLAIM about what a record can support — it is never a
- *  quality score, and nothing in this package tries to reach a higher one. */
+ *  supports every class below it. A class is never a quality score: it names which rungs a record carries,
+ *  and a record reaches the class its proved rungs reach — no more, and no less because a caller named
+ *  something else. */
 export type TransactionClass = "TC-0" | "TC-1" | "TC-2" | "TC-3" | "TC-4";
 /** Every step the walk can append, in one closed union. Closed because `REQUIRED_STEPS` is keyed by these
  *  names and a typo would silently make a required step unfindable — which `computeVerified` would read as
@@ -34,6 +35,29 @@ export type StepName = "atr-fingerprint" | "settlement-enumeration" | "buyer-acc
  * but its ABSENCE never blocks (FRC is a downstream consequence, not a v1 requirement).
  */
 export declare const REQUIRED_STEPS: Record<TransactionClass, readonly StepName[]>;
+/**
+ * The class the walk actually reached: the highest one every required step of which is `proved`.
+ *
+ * This is the report's `supportedClass`, and it is a FINDING — computed from the steps alone, never from
+ * what the caller said the record was shaped for. White paper #4 §5 defines the class of a transaction as
+ * "the highest class whose criteria it fully meets", so the answer is neither capped by the claim (a record
+ * whose rungs reach TC-3 supports TC-3 even where the caller claimed TC-2) nor floored by it (a record that
+ * proves nothing supports TC-0 however high the caller aimed).
+ *
+ * Any `failed` step ⇒ `TC-0`, whatever else proved. A contradicted rung impeaches the record rather than
+ * merely failing to lift it, which is the one power the impeachment-only steps (`frc-non-gating`,
+ * `reference-placement`) hold: they are required by no class, so they can only ever pull the answer down.
+ *
+ * Only `proved` counts. `not-attempted` and `indeterminate` never lift a class — but they also say nothing
+ * about the record, only about what this walk was given, and the reason rides in each step's own
+ * `depth` token. Read `steps` to tell "the record lacks this rung" from "this verifier was handed no port".
+ */
+export declare function computeSupportedClass(steps: readonly {
+    name: StepName;
+    outcome: {
+        status: string;
+    };
+}[]): TransactionClass;
 /** Whether a walk affirms the claimed class. Three rules, in order: **structural depth is always `false`**
  *  (a presence/absence readout never affirms liveness), any `failed` step impeaches the whole walk, and
  *  otherwise every step required by the claimed class must be `proved`. A step that is absent, or

package/dist/required.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"required.d.ts","sourceRoot":"","sources":["../src/required.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,YAAY,EAAE,WAAW,EAAE,CAAC;AAC5B;;8EAE8E;AAC9E,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAC1E;;2DAE2D;AAC3D,MAAM,MAAM,QAAQ,GAChB,iBAAiB,GACjB,wBAAwB,GACxB,kBAAkB,GAClB,uBAAuB,GACvB,oBAAoB,GACpB,oBAAoB,GACpB,eAAe,GAEf,aAAa,GACb,kBAAkB,GAClB,qBAAqB,GACrB,0BAA0B,GAC1B,gBAAgB,GAMhB,qBAAqB,CAAC;AAe1B;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,gBAAgB,EAAE,SAAS,QAAQ,EAAE,CAYxE,CAAC;AAEF;;;oEAGoE;AACpE,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,EAAE,EACjE,YAAY,EAAE,gBAAgB,EAC9B,KAAK,EAAE,WAAW,GACjB,OAAO,CAOT"}
+{"version":3,"file":"required.d.ts","sourceRoot":"","sources":["../src/required.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,YAAY,EAAE,WAAW,EAAE,CAAC;AAC5B;;;sBAGsB;AACtB,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAC1E;;2DAE2D;AAC3D,MAAM,MAAM,QAAQ,GAChB,iBAAiB,GACjB,wBAAwB,GACxB,kBAAkB,GAClB,uBAAuB,GACvB,oBAAoB,GACpB,oBAAoB,GACpB,eAAe,GAEf,aAAa,GACb,kBAAkB,GAClB,qBAAqB,GACrB,0BAA0B,GAC1B,gBAAgB,GAMhB,qBAAqB,CAAC;AAe1B;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,gBAAgB,EAAE,SAAS,QAAQ,EAAE,CAYxE,CAAC;AAWF;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,SAAS;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,EAAE,GAChE,gBAAgB,CASlB;AAED;;;oEAGoE;AACpE,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,EAAE,EACjE,YAAY,EAAE,gBAAgB,EAC9B,KAAK,EAAE,WAAW,GACjB,OAAO,CAOT"}

package/dist/required.js

@@ -48,6 +48,41 @@ export const REQUIRED_STEPS = {
         "proportionality-declared",
     ],
 };
+/** The ladder from the top down. `TC-0` is deliberately absent: it requires nothing, so it is the floor
+ *  {@link computeSupportedClass} falls to rather than a rung anything has to clear. */
+const LADDER_DESCENDING = [
+    "TC-4",
+    "TC-3",
+    "TC-2",
+    "TC-1",
+];
+/**
+ * The class the walk actually reached: the highest one every required step of which is `proved`.
+ *
+ * This is the report's `supportedClass`, and it is a FINDING — computed from the steps alone, never from
+ * what the caller said the record was shaped for. White paper #4 §5 defines the class of a transaction as
+ * "the highest class whose criteria it fully meets", so the answer is neither capped by the claim (a record
+ * whose rungs reach TC-3 supports TC-3 even where the caller claimed TC-2) nor floored by it (a record that
+ * proves nothing supports TC-0 however high the caller aimed).
+ *
+ * Any `failed` step ⇒ `TC-0`, whatever else proved. A contradicted rung impeaches the record rather than
+ * merely failing to lift it, which is the one power the impeachment-only steps (`frc-non-gating`,
+ * `reference-placement`) hold: they are required by no class, so they can only ever pull the answer down.
+ *
+ * Only `proved` counts. `not-attempted` and `indeterminate` never lift a class — but they also say nothing
+ * about the record, only about what this walk was given, and the reason rides in each step's own
+ * `depth` token. Read `steps` to tell "the record lacks this rung" from "this verifier was handed no port".
+ */
+export function computeSupportedClass(steps) {
+    if (steps.some((s) => s.outcome.status === "failed"))
+        return "TC-0";
+    const proved = new Set(steps.filter((s) => s.outcome.status === "proved").map((s) => s.name));
+    for (const cls of LADDER_DESCENDING) {
+        if (REQUIRED_STEPS[cls].every((name) => proved.has(name)))
+            return cls;
+    }
+    return "TC-0";
+}
 /** Whether a walk affirms the claimed class. Three rules, in order: **structural depth is always `false`**
  *  (a presence/absence readout never affirms liveness), any `failed` step impeaches the whole walk, and
  *  otherwise every step required by the claimed class must be `proved`. A step that is absent, or

package/dist/required.js.map

@@ -1 +1 @@
-{"version":3,"file":"required.js","sourceRoot":"","sources":["../src/required.ts"],"names":[],"mappings":"AA+BA,0EAA0E;AAC1E,MAAM,GAAG,GAAwB,CAAC,wBAAwB,EAAE,eAAe,CAAC,CAAC;AAC7E,gHAAgH;AAChH,MAAM,GAAG,GAAwB,CAAC,GAAG,GAAG,EAAE,iBAAiB,CAAC,CAAC;AAC7D,yEAAyE;AACzE,MAAM,GAAG,GAAwB;IAC/B,GAAG,GAAG;IACN,kBAAkB;IAClB,uBAAuB;IACvB,oBAAoB;IACpB,oBAAoB;CACrB,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,CAAC,MAAM,cAAc,GAAkD;IAC3E,MAAM,EAAE,EAAE;IACV,MAAM,EAAE,GAAG;IACX,MAAM,EAAE,GAAG;IACX,MAAM,EAAE,GAAG;IACX,MAAM,EAAE;QACN,GAAG,GAAG;QACN,aAAa;QACb,kBAAkB;QAClB,qBAAqB;QACrB,0BAA0B;KAC3B;CACF,CAAC;AAEF;;;oEAGoE;AACpE,MAAM,UAAU,eAAe,CAC7B,KAAiE,EACjE,YAA8B,EAC9B,KAAkB;IAElB,IAAI,KAAK,KAAK,YAAY;QAAE,OAAO,KAAK,CAAC,CAAC,gEAAgE;IAC1G,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,wBAAwB;IAC5F,MAAM,QAAQ,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC;IAC9C,OAAO,QAAQ,CAAC,KAAK,CACnB,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,OAAO,CAAC,MAAM,KAAK,QAAQ,CAC1E,CAAC;AACJ,CAAC"}
+{"version":3,"file":"required.js","sourceRoot":"","sources":["../src/required.ts"],"names":[],"mappings":"AAgCA,0EAA0E;AAC1E,MAAM,GAAG,GAAwB,CAAC,wBAAwB,EAAE,eAAe,CAAC,CAAC;AAC7E,gHAAgH;AAChH,MAAM,GAAG,GAAwB,CAAC,GAAG,GAAG,EAAE,iBAAiB,CAAC,CAAC;AAC7D,yEAAyE;AACzE,MAAM,GAAG,GAAwB;IAC/B,GAAG,GAAG;IACN,kBAAkB;IAClB,uBAAuB;IACvB,oBAAoB;IACpB,oBAAoB;CACrB,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,CAAC,MAAM,cAAc,GAAkD;IAC3E,MAAM,EAAE,EAAE;IACV,MAAM,EAAE,GAAG;IACX,MAAM,EAAE,GAAG;IACX,MAAM,EAAE,GAAG;IACX,MAAM,EAAE;QACN,GAAG,GAAG;QACN,aAAa;QACb,kBAAkB;QAClB,qBAAqB;QACrB,0BAA0B;KAC3B;CACF,CAAC;AAEF;uFACuF;AACvF,MAAM,iBAAiB,GAAG;IACxB,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;CACwC,CAAC;AAEjD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAiE;IAEjE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC;QAAE,OAAO,MAAM,CAAC;IACpE,MAAM,MAAM,GAAG,IAAI,GAAG,CACpB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACtE,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,iBAAiB,EAAE,CAAC;QACpC,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,GAAG,CAAC;IACxE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;oEAGoE;AACpE,MAAM,UAAU,eAAe,CAC7B,KAAiE,EACjE,YAA8B,EAC9B,KAAkB;IAElB,IAAI,KAAK,KAAK,YAAY;QAAE,OAAO,KAAK,CAAC,CAAC,gEAAgE;IAC1G,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,wBAAwB;IAC5F,MAAM,QAAQ,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC;IAC9C,OAAO,QAAQ,CAAC,KAAK,CACnB,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,OAAO,CAAC,MAAM,KAAK,QAAQ,CAC1E,CAAC;AACJ,CAAC"}

package/dist/steps.d.ts

@@ -161,7 +161,10 @@ export declare function recourseStep(atrBytes: Uint8Array | undefined, evidenceR
  */
 export declare function resolvePartyStep(identity: RecordIdentity | undefined): StepOutcome;
 /** The placement slot: what a commerce protocol's own document yielded, and nothing else. `extracted` is
- *  the `LegalContextRef` a `ReferencePlacementAdapter.extract` returned. Absent ⇒ the step is a gap. */
+ *  the `ExtractedAdvertisement` a `ReferencePlacementAdapter.extract` returned — the reference under
+ *  `ref`, the terms-URL reading beside it. This step compares the REFERENCE against the record
+ *  fingerprint and deliberately ignores `termsUrl`: where the terms live is the gate's fetch concern,
+ *  not a fact the record can contradict. Absent ⇒ the step is a gap. */
 export interface PlacementInput {
     readonly extracted?: unknown;
 }

package/dist/steps.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"steps.d.ts","sourceRoot":"","sources":["../src/steps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,OAAO,EACL,KAAK,MAAM,EACX,KAAK,eAAe,EAEpB,KAAK,kBAAkB,EAEvB,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,EAEtB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C;;;;;;;;;GASG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,2GAA2G;IAC3G,eAAe,EAAE,OAAO,CAAC;IACzB,mGAAmG;IACnG,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;;;iFAM6E;IAC7E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;;;;;;;;;kBAYc;IACd,OAAO,EAAE,OAAO,CAAC;IACjB;;;uEAGmE;IACnE,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,4FAA4F;AAC5F,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,kBAAkB,CAAC;IAC3B,KAAK,EAAE,kBAAkB,CAAC;CAC3B;AAcD;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,EAAE,SAAS,MAAM,EAShD,CAAC;AA8BF,2GAA2G;AAC3G,wBAAsB,eAAe,CACnC,QAAQ,EAAE,UAAU,GAAG,SAAS,EAChC,cAAc,EAAE,MAAM,GAAG,SAAS,GACjC,OAAO,CAAC,WAAW,CAAC,CAUtB;AAED,iGAAiG;AACjG,wBAAgB,cAAc,CAC5B,WAAW,EAAE,OAAO,EAAE,GAAG,SAAS,GACjC,WAAW,CAMb;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,cAAc,CAClC,UAAU,EAAE,gBAAgB,GAAG,SAAS,EACxC,cAAc,EAAE,MAAM,GAAG,SAAS,EAClC,QAAQ,EAAE,iBAAiB,GAAG,SAAS,GACtC,OAAO,CAAC,WAAW,CAAC,CAWtB;AAED,6GAA6G;AAC7G,wBAAgB,aAAa,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,SAAS,GAAG,WAAW,CAmF7E;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,eAAe,GAAG,SAAS,GAChC,WAAW,CAQb;AAED,mFAAmF;AACnF,wBAAgB,cAAc,CAC5B,CAAC,EAAE;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,GACxD,WAAW,CAgBb;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,UAAU,GAAG,SAAS,EAChC,aAAa,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GAC3C,WAAW,CAiCb;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,cAAc,GAAG,SAAS,GACnC,WAAW,CA0Bb;AAED;wGACwG;AACxG,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;CAC9B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,sBAAsB,CACpC,SAAS,EAAE,cAAc,GAAG,SAAS,EACrC,cAAc,EAAE,MAAM,GAAG,SAAS,GACjC,WAAW,CA8Bb"}
+{"version":3,"file":"steps.d.ts","sourceRoot":"","sources":["../src/steps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,OAAO,EACL,KAAK,MAAM,EACX,KAAK,eAAe,EAEpB,KAAK,kBAAkB,EAEvB,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,EAEtB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C;;;;;;;;;GASG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,2GAA2G;IAC3G,eAAe,EAAE,OAAO,CAAC;IACzB,mGAAmG;IACnG,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;;;iFAM6E;IAC7E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;;;;;;;;;kBAYc;IACd,OAAO,EAAE,OAAO,CAAC;IACjB;;;uEAGmE;IACnE,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,4FAA4F;AAC5F,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,kBAAkB,CAAC;IAC3B,KAAK,EAAE,kBAAkB,CAAC;CAC3B;AAcD;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,EAAE,SAAS,MAAM,EAShD,CAAC;AA8BF,2GAA2G;AAC3G,wBAAsB,eAAe,CACnC,QAAQ,EAAE,UAAU,GAAG,SAAS,EAChC,cAAc,EAAE,MAAM,GAAG,SAAS,GACjC,OAAO,CAAC,WAAW,CAAC,CAUtB;AAED,iGAAiG;AACjG,wBAAgB,cAAc,CAC5B,WAAW,EAAE,OAAO,EAAE,GAAG,SAAS,GACjC,WAAW,CAMb;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,cAAc,CAClC,UAAU,EAAE,gBAAgB,GAAG,SAAS,EACxC,cAAc,EAAE,MAAM,GAAG,SAAS,EAClC,QAAQ,EAAE,iBAAiB,GAAG,SAAS,GACtC,OAAO,CAAC,WAAW,CAAC,CAWtB;AAED,6GAA6G;AAC7G,wBAAgB,aAAa,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,SAAS,GAAG,WAAW,CAmF7E;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,eAAe,GAAG,SAAS,GAChC,WAAW,CAQb;AAED,mFAAmF;AACnF,wBAAgB,cAAc,CAC5B,CAAC,EAAE;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,GACxD,WAAW,CAgBb;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,UAAU,GAAG,SAAS,EAChC,aAAa,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GAC3C,WAAW,CAiCb;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,cAAc,GAAG,SAAS,GACnC,WAAW,CA0Bb;AAED;;;;wEAIwE;AACxE,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;CAC9B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,sBAAsB,CACpC,SAAS,EAAE,cAAc,GAAG,SAAS,EACrC,cAAc,EAAE,MAAM,GAAG,SAAS,GACjC,WAAW,CA+Bb"}

package/dist/steps.js

@@ -361,9 +361,12 @@ export function referencePlacementStep(placement, settledAtrHash) {
     const extracted = placement.extracted;
     if (extracted === undefined)
         return { status: "not-attempted", depth: "no-reference-extracted" };
-    if (typeof extracted !== "object" ||
-        extracted === null ||
-        typeof extracted.value !== "string")
+    const ref = typeof extracted === "object" && extracted !== null
+        ? extracted.ref
+        : undefined;
+    if (typeof ref !== "object" ||
+        ref === null ||
+        typeof ref.value !== "string")
         return { status: "not-attempted", depth: "malformed-extracted-reference" };
     if (typeof settledAtrHash !== "string")
         return { status: "not-attempted", depth: "no-record-fingerprint" };
@@ -376,8 +379,7 @@ export function referencePlacementStep(placement, settledAtrHash) {
         const lower = h.toLowerCase();
         return lower.startsWith("0x") ? lower : `0x${lower}`;
     };
-    if (canonical(extracted.value) !==
-        canonical(settledAtrHash))
+    if (canonical(ref.value) !== canonical(settledAtrHash))
         return { status: "failed", haltClass: "verification-failure" };
     return { status: "proved" };
 }

package/dist/steps.js.map

@@ -1 +1 @@
-{"version":3,"file":"steps.js","sourceRoot":"","sources":["../src/steps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,OAAO,EAGL,oBAAoB,EAEpB,QAAQ,EAGR,gBAAgB,GACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAuDnE;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,KAAc;IAChC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;AACtE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAsB;IACpD,KAAK;IACL,mBAAmB;IACnB,iBAAiB;IACjB,gBAAgB;IAChB,aAAa;IACb,YAAY;IACZ,MAAM;IACN,WAAW;CACZ,CAAC;AAEF;;;;;;GAMG;AACH,SAAS,OAAO,CAAI,KAA2B;IAC7C,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,CAAC;AAC/C,CAAC;AAED;;;;;6CAK6C;AAC7C,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED;;qFAEqF;AACrF,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAC9D,CAAC;AAED,2GAA2G;AAC3G,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,QAAgC,EAChC,cAAkC;IAElC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC,oCAAoC;IAChG,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;QAC1B,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC/D,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC3C,sGAAsG;IACtG,uGAAuG;IACvG,OAAO,aAAa,CAAC,UAAU,EAAE,cAAc,CAAC;QAC9C,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE;QACtB,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;AAC9D,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,cAAc,CAC5B,WAAkC;IAElC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;QACvB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC;IACnE,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAC1B,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC;IACnE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,UAAwC,EACxC,cAAkC,EAClC,QAAuC;IAEvC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QACtB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;IAC7D,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;QAC1B,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC/D,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACpB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC;IACrE,MAAM,OAAO,GAAG,MAAM,gBAAgB,CAAC,UAAU,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;IAC7E,OAAO,SAAS,IAAI,OAAO;QACzB,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE;QACpD,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC3B,CAAC;AAED,6GAA6G;AAC7G,MAAM,UAAU,aAAa,CAAC,KAAkC;IAC9D,+FAA+F;IAC/F,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAC1C,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,oBAAoB,EAAE,CAAC;IAClE,qGAAqG;IACrG,4FAA4F;IAC5F,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QACpB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC;IACrE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,oGAAoG;QACpG,+FAA+F;QAC/F,qGAAqG;QACrG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,KAAK,QAAQ;YAC5C,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;QACzE,kGAAkG;QAClG,2FAA2F;QAC3F,IAAI,CAAC,IAAI,CAAC,eAAe;YACvB,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;QACjE,oGAAoG;QACpG,sGAAsG;QACtG,kGAAkG;QAClG,+EAA+E;QAC/E,IAAI,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;YACjC,yFAAyF;YACzF,iGAAiG;YACjG,4FAA4F;YAC5F,iGAAiG;YACjG,mGAAmG;YACnG,mGAAmG;YACnG,iGAAiG;YACjG,+FAA+F;YAC/F,4DAA4D;YAC5D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC;gBACvC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;YACzE,IAAI,IAAI,CAAC,cAAc,IAAI,CAAC;gBAC1B,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;YACjE,gGAAgG;YAChG,6FAA6F;YAC7F,+DAA+D;YAC/D,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;gBACzB,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;YACjE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC;gBACjC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;YACzE,IAAI,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,cAAc,GAAG,CAAC;gBACzC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;QACnE,CAAC;QACD,kGAAkG;QAClG,oGAAoG;QACpG,uGAAuG;QACvG,uGAAuG;QACvG,uGAAuG;QACvG,yGAAyG;QACzG,0GAA0G;QAC1G,8BAA8B;QAC9B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC;YAChE,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;QACzE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC;YAC3C,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC,CAAC,kBAAkB;QACpF,gGAAgG;QAChG,mGAAmG;QACnG,sGAAsG;QACtG,qGAAqG;QACrG,qGAAqG;QACrG,kFAAkF;QAClF,EAAE;QACF,sGAAsG;QACtG,qGAAqG;QACrG,qGAAqG;QACrG,4CAA4C;QAC5C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;YACxB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,sBAAsB,EAAE,CAAC;QACpE,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,SAAS;YACnC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;QACzE,IAAI,IAAI,CAAC,OAAO;YACd,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;QACjE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;YACvB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,oBAAoB,EAAE,CAAC;QAClE,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS;YAClC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;QACzE,IAAI,CAAC,IAAI,CAAC,MAAM;YACd,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC,CAAC,UAAU;IAC9E,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAiC;IAEjC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,KAAK,QAAQ;QAC5C,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;IACjE,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;QAC3B,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;IACzD,IAAI,IAAI,CAAC,MAAM,KAAK,eAAe;QACjC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACxD,OAAO,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACnC,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,cAAc,CAC5B,CAAyD;IAEzD,wGAAwG;IACxG,yGAAyG;IACzG,oGAAoG;IACpG,IACE,CAAC,OAAO,CAAC,CAAC,CAAC;QACX,OAAO,CAAC,KAAK,QAAQ;QACrB,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;QACtB,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ;QAChC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;QACtB,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ;QAEhC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;IAC7D,OAAO,oBAAoB,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC;QACrD,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE;QACtB,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;AAC9D,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,YAAY,CAC1B,QAAgC,EAChC,aAA4C;IAE5C,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACpB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;IAC5D,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACpB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,0BAA0B,EAAE,CAAC;IACxE,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,OAAO,QAAQ,KAAK,QAAQ;QACpD,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC;IACrE,MAAM,SAAS,GAAG,QAAmC,CAAC;IACtD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC7B,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,CAAC,QAAQ;IACzE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACpC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,0BAA0B,EAAE,CAAC,CAAC,QAAQ;IACjF,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;QACzB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC,CAAC,QAAQ;IAC5E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;IACxC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1D,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,6BAA6B,EAAE,CAAC;IAC3E,mGAAmG;IACnG,iGAAiG;IACjG,mGAAmG;IACnG,uGAAuG;IACvG,uFAAuF;IACvF,EAAE;IACF,8FAA8F;IAC9F,8FAA8F;IAC9F,IACE,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC7B,CAAC,QAAQ,CAAC,GAAG,CAAC,2BAA2B,CAAC;QAE1C,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,+BAA+B,EAAE,CAAC;IAC7E,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAAoC;IAEpC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACpB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;IAC3D,yGAAyG;IACzG,uGAAuG;IACvG,sGAAsG;IACtG,KAAK,MAAM,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;YAC1C,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;QAC7D,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAC1B,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC;QACnE,0EAA0E;QAC1E,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;YAC1B,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;QAC1D,oGAAoG;QACpG,qGAAqG;QACrG,2EAA2E;QAC3E,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnD,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,sBAAsB,EAAE,CAAC;QACpE,qGAAqG;QACrG,wGAAwG;QACxG,8FAA8F;QAC9F,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC;YAC5B,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAQD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,sBAAsB,CACpC,SAAqC,EACrC,cAAkC;IAElC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;QACrB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,oBAAoB,EAAE,CAAC;IAClE,MAAM,SAAS,GAAY,SAAS,CAAC,SAAS,CAAC;IAC/C,IAAI,SAAS,KAAK,SAAS;QACzB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,wBAAwB,EAAE,CAAC;IACtE,IACE,OAAO,SAAS,KAAK,QAAQ;QAC7B,SAAS,KAAK,IAAI;QAClB,OAAQ,SAAiC,CAAC,KAAK,KAAK,QAAQ;QAE5D,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,+BAA+B,EAAE,CAAC;IAC7E,IAAI,OAAO,cAAc,KAAK,QAAQ;QACpC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC;IAErE,uGAAuG;IACvG,qGAAqG;IACrG,kGAAkG;IAClG,wGAAwG;IACxG,yGAAyG;IACzG,MAAM,SAAS,GAAG,CAAC,CAAS,EAAU,EAAE;QACtC,MAAM,KAAK,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;IACvD,CAAC,CAAC;IACF,IACE,SAAS,CAAE,SAA+B,CAAC,KAAK,CAAC;QACjD,SAAS,CAAC,cAAc,CAAC;QAEzB,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;IACjE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED,sFAAsF;AACtF,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAC9D,CAAC;AAED,+GAA+G;AAC/G,SAAS,aAAa,CACpB,QAAoB;IAEpB,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC1D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC,CAAC,qDAAqD;IACzE,CAAC;IACD,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QACxE,OAAO,SAAS,CAAC;IACnB,MAAM,QAAQ,GAAG,MAAiC,CAAC;IACnD,wGAAwG;IACxG,2CAA2C;IAC3C,OAAO,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AACpE,CAAC"}
+{"version":3,"file":"steps.js","sourceRoot":"","sources":["../src/steps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,OAAO,EAGL,oBAAoB,EAEpB,QAAQ,EAGR,gBAAgB,GACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAuDnE;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,KAAc;IAChC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;AACtE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAsB;IACpD,KAAK;IACL,mBAAmB;IACnB,iBAAiB;IACjB,gBAAgB;IAChB,aAAa;IACb,YAAY;IACZ,MAAM;IACN,WAAW;CACZ,CAAC;AAEF;;;;;;GAMG;AACH,SAAS,OAAO,CAAI,KAA2B;IAC7C,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,CAAC;AAC/C,CAAC;AAED;;;;;6CAK6C;AAC7C,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED;;qFAEqF;AACrF,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAC9D,CAAC;AAED,2GAA2G;AAC3G,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,QAAgC,EAChC,cAAkC;IAElC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC,oCAAoC;IAChG,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;QAC1B,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC/D,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC3C,sGAAsG;IACtG,uGAAuG;IACvG,OAAO,aAAa,CAAC,UAAU,EAAE,cAAc,CAAC;QAC9C,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE;QACtB,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;AAC9D,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,cAAc,CAC5B,WAAkC;IAElC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;QACvB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC;IACnE,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAC1B,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC;IACnE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,UAAwC,EACxC,cAAkC,EAClC,QAAuC;IAEvC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QACtB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;IAC7D,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;QAC1B,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC/D,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACpB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC;IACrE,MAAM,OAAO,GAAG,MAAM,gBAAgB,CAAC,UAAU,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC;IAC7E,OAAO,SAAS,IAAI,OAAO;QACzB,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE;QACpD,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC3B,CAAC;AAED,6GAA6G;AAC7G,MAAM,UAAU,aAAa,CAAC,KAAkC;IAC9D,+FAA+F;IAC/F,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAC1C,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,oBAAoB,EAAE,CAAC;IAClE,qGAAqG;IACrG,4FAA4F;IAC5F,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QACpB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC;IACrE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,oGAAoG;QACpG,+FAA+F;QAC/F,qGAAqG;QACrG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,KAAK,QAAQ;YAC5C,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;QACzE,kGAAkG;QAClG,2FAA2F;QAC3F,IAAI,CAAC,IAAI,CAAC,eAAe;YACvB,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;QACjE,oGAAoG;QACpG,sGAAsG;QACtG,kGAAkG;QAClG,+EAA+E;QAC/E,IAAI,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;YACjC,yFAAyF;YACzF,iGAAiG;YACjG,4FAA4F;YAC5F,iGAAiG;YACjG,mGAAmG;YACnG,mGAAmG;YACnG,iGAAiG;YACjG,+FAA+F;YAC/F,4DAA4D;YAC5D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC;gBACvC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;YACzE,IAAI,IAAI,CAAC,cAAc,IAAI,CAAC;gBAC1B,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;YACjE,gGAAgG;YAChG,6FAA6F;YAC7F,+DAA+D;YAC/D,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;gBACzB,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;YACjE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC;gBACjC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;YACzE,IAAI,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,cAAc,GAAG,CAAC;gBACzC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;QACnE,CAAC;QACD,kGAAkG;QAClG,oGAAoG;QACpG,uGAAuG;QACvG,uGAAuG;QACvG,uGAAuG;QACvG,yGAAyG;QACzG,0GAA0G;QAC1G,8BAA8B;QAC9B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC;YAChE,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;QACzE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC;YAC3C,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC,CAAC,kBAAkB;QACpF,gGAAgG;QAChG,mGAAmG;QACnG,sGAAsG;QACtG,qGAAqG;QACrG,qGAAqG;QACrG,kFAAkF;QAClF,EAAE;QACF,sGAAsG;QACtG,qGAAqG;QACrG,qGAAqG;QACrG,4CAA4C;QAC5C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;YACxB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,sBAAsB,EAAE,CAAC;QACpE,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,SAAS;YACnC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;QACzE,IAAI,IAAI,CAAC,OAAO;YACd,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;QACjE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;YACvB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,oBAAoB,EAAE,CAAC;QAClE,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS;YAClC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,2BAA2B,EAAE,CAAC;QACzE,IAAI,CAAC,IAAI,CAAC,MAAM;YACd,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC,CAAC,UAAU;IAC9E,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAiC;IAEjC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,KAAK,QAAQ;QAC5C,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;IACjE,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;QAC3B,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;IACzD,IAAI,IAAI,CAAC,MAAM,KAAK,eAAe;QACjC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IACxD,OAAO,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACnC,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,cAAc,CAC5B,CAAyD;IAEzD,wGAAwG;IACxG,yGAAyG;IACzG,oGAAoG;IACpG,IACE,CAAC,OAAO,CAAC,CAAC,CAAC;QACX,OAAO,CAAC,KAAK,QAAQ;QACrB,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;QACtB,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ;QAChC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;QACtB,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ;QAEhC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;IAC7D,OAAO,oBAAoB,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC;QACrD,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE;QACtB,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;AAC9D,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,YAAY,CAC1B,QAAgC,EAChC,aAA4C;IAE5C,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACpB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;IAC5D,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACpB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,0BAA0B,EAAE,CAAC;IACxE,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,OAAO,QAAQ,KAAK,QAAQ;QACpD,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC;IACrE,MAAM,SAAS,GAAG,QAAmC,CAAC;IACtD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC7B,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,CAAC,QAAQ;IACzE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACpC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,0BAA0B,EAAE,CAAC,CAAC,QAAQ;IACjF,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;QACzB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC,CAAC,QAAQ;IAC5E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;IACxC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1D,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,6BAA6B,EAAE,CAAC;IAC3E,mGAAmG;IACnG,iGAAiG;IACjG,mGAAmG;IACnG,uGAAuG;IACvG,uFAAuF;IACvF,EAAE;IACF,8FAA8F;IAC9F,8FAA8F;IAC9F,IACE,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC7B,CAAC,QAAQ,CAAC,GAAG,CAAC,2BAA2B,CAAC;QAE1C,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,+BAA+B,EAAE,CAAC;IAC7E,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAAoC;IAEpC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACpB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;IAC3D,yGAAyG;IACzG,uGAAuG;IACvG,sGAAsG;IACtG,KAAK,MAAM,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;YAC1C,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;QAC7D,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAC1B,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC;QACnE,0EAA0E;QAC1E,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;YAC1B,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;QAC1D,oGAAoG;QACpG,qGAAqG;QACrG,2EAA2E;QAC3E,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnD,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,sBAAsB,EAAE,CAAC;QACpE,qGAAqG;QACrG,wGAAwG;QACxG,8FAA8F;QAC9F,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC;YAC5B,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAWD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,sBAAsB,CACpC,SAAqC,EACrC,cAAkC;IAElC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;QACrB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,oBAAoB,EAAE,CAAC;IAClE,MAAM,SAAS,GAAY,SAAS,CAAC,SAAS,CAAC;IAC/C,IAAI,SAAS,KAAK,SAAS;QACzB,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,wBAAwB,EAAE,CAAC;IACtE,MAAM,GAAG,GACP,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI;QACjD,CAAC,CAAE,SAA+B,CAAC,GAAG;QACtC,CAAC,CAAC,SAAS,CAAC;IAChB,IACE,OAAO,GAAG,KAAK,QAAQ;QACvB,GAAG,KAAK,IAAI;QACZ,OAAQ,GAA2B,CAAC,KAAK,KAAK,QAAQ;QAEtD,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,+BAA+B,EAAE,CAAC;IAC7E,IAAI,OAAO,cAAc,KAAK,QAAQ;QACpC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC;IAErE,uGAAuG;IACvG,qGAAqG;IACrG,kGAAkG;IAClG,wGAAwG;IACxG,yGAAyG;IACzG,MAAM,SAAS,GAAG,CAAC,CAAS,EAAU,EAAE;QACtC,MAAM,KAAK,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;IACvD,CAAC,CAAC;IACF,IAAI,SAAS,CAAE,GAAyB,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,cAAc,CAAC;QAC3E,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;IACjE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED,sFAAsF;AACtF,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAC9D,CAAC;AAED,+GAA+G;AAC/G,SAAS,aAAa,CACpB,QAAoB;IAEpB,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC1D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC,CAAC,qDAAqD;IACzE,CAAC;IACD,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QACxE,OAAO,SAAS,CAAC;IACnB,MAAM,QAAQ,GAAG,MAAiC,CAAC;IACnD,wGAAwG;IACxG,2CAA2C;IAC3C,OAAO,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AACpE,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@integraledger/lcp-verify",
-  "version": "0.10.1",
+  "version": "0.11.0",
   "description": "The LCP verification walk, and the canonical report it emits.",
   "keywords": [
     "lcp",
@@ -40,9 +40,9 @@
   },
   "homepage": "https://github.com/IntegraLedger/integra-protocol/tree/main/packages/verify#readme",
   "dependencies": {
-    "@integraledger/lcp-authority": "0.10.1",
-    "@integraledger/lcp-kernel": "0.10.1",
-    "@integraledger/lcp-binding-core": "0.10.1"
+    "@integraledger/lcp-authority": "0.10.2",
+    "@integraledger/lcp-binding-core": "0.11.0",
+    "@integraledger/lcp-kernel": "0.11.0"
   },
   "devDependencies": {
     "@types/node": "24.13.3",

package/src/index.ts

@@ -6,11 +6,14 @@
  *
  * At STRUCTURAL depth `verified` is always `false` (a presence/absence readout → class, not a verdict).
  * At MECHANICAL depth `verified` is an honest function of the walk via `computeVerified` — raised `true`
- * iff every class-required step is `proved` and no step `failed`.
+ * iff every step required by the CLAIMED class is `proved` and no step `failed`.
  *
- * `supportedClass` is an HONEST READOUT, never a target: the record is *shaped for* `claimedClass`, and
- * the structural walk can only CONFIRM-OR-IMPEACH that shape — any `failed` step downgrades it to `TC-0`;
- * the walk never raises it (raising requires the mechanical verification `computeVerified` supplies).
+ * The report separates what was asked from what was found. `claimedClass` is the caller's input, echoed
+ * verbatim. `supportedClass` is the walk's own finding via `computeSupportedClass` — the highest class
+ * whose every required step is `proved`, `TC-0` on any failure. The claim neither caps nor lifts it, so a
+ * record that proves nothing reads `TC-0` however high the caller aimed, and one whose rungs reach past the
+ * claim reads what it reached. Step outcomes are depth-agnostic (see `steps.ts`), so this holds at both
+ * depths: `depth` governs `verified`, never the class.
  */
 import type {
   Bounds,
@@ -33,6 +36,7 @@ import type {
   VerifyDepth,
 } from "./report.js";
 import {
+  computeSupportedClass,
   computeVerified,
   type StepName,
   type TransactionClass,
@@ -205,7 +209,8 @@ export async function verify(input: VerifyInput): Promise<VerificationReport> {
 
   // Append the TC-4 composition steps ONLY when a composition slot is supplied — the slot is additive:
   // a TC-0..TC-3 report that supplies none is byte-identical to one produced without the slot existing.
-  // The appended steps flow through the same `anyFailed`/`computeVerified` machinery as every other.
+  // The appended steps flow through the same `computeSupportedClass`/`computeVerified` machinery as every
+  // other, and are the only rungs by which a walk can reach TC-4 at all.
   if (input.composition !== undefined) {
     steps.push(
       { name: "offer-bound", outcome: offerBoundStep(input.composition) },
@@ -228,9 +233,10 @@ export async function verify(input: VerifyInput): Promise<VerificationReport> {
   // Append the reference-placement step ONLY when a placement slot is supplied — its own `if`, because a
   // placement is independent of a composition and a record may carry either, both, or neither. Absent ⇒
   // nothing is appended and existing reports stay byte-identical, which is what makes the slot additive.
-  // Supplied ⇒ it flows through the same `anyFailed`/`computeVerified` machinery as every other step, so
-  // a placement that CONTRADICTS the record impeaches `supportedClass` to TC-0 — the one power the step
-  // grants it. Without this block the step would appear in no report and impeach nothing.
+  // Supplied ⇒ it flows through the same `computeSupportedClass`/`computeVerified` machinery as every
+  // other step, so a placement that CONTRADICTS the record impeaches `supportedClass` to TC-0 — the one
+  // power the step grants it, since no class requires it and it can therefore only pull the answer down.
+  // Without this block the step would appear in no report and impeach nothing.
   if (input.placement !== undefined) {
     steps.push({
       name: "reference-placement",
@@ -238,7 +244,6 @@ export async function verify(input: VerifyInput): Promise<VerificationReport> {
     });
   }
 
-  const anyFailed = steps.some((s) => s.outcome.status === "failed");
   const found = input.settlements ?? [];
   const depth = input.depth ?? "structural";
   const claimed = input.claimedClass ?? "TC-2";
@@ -261,7 +266,8 @@ export async function verify(input: VerifyInput): Promise<VerificationReport> {
     // the SAME token `resolvePartyStep` emits for this condition (steps.ts), so absence has one spelling
     // across the step and the report instead of contradicting itself inside a single run.
     assurance: input.identity?.buyer?.assurance ?? "no-assurance-stated",
-    supportedClass: anyFailed ? "TC-0" : claimed,
+    claimedClass: claimed,
+    supportedClass: computeSupportedClass(stepsForVerified),
     asOf: input.asOf,
     steps,
     coverage: input.coverage,

package/src/report.ts

@@ -35,9 +35,11 @@ export interface VerificationStep {
  *
  *  Read `steps` before `verified`. `verified` is a summary that is FALSE at structural depth by
  *  construction, so a `false` may mean "impeached" or merely "not attempted mechanically", and only the
- *  step list distinguishes them. `supportedClass` is what the record honestly supports, not what the
- *  caller asked for. Several fields are `string` rather than a union on purpose: this type has to be able
- *  to hold another implementation's answer, including a wrong one. */
+ *  step list distinguishes them. `claimedClass` and `supportedClass` are the report's two halves and must
+ *  never be read as one: the first is the caller's input, echoed so the walk can be interpreted; the second
+ *  is the walk's own finding. Where they differ, the record did not reach what it was shaped for. Several
+ *  fields are `string` rather than a union on purpose: this type has to be able to hold another
+ *  implementation's answer, including a wrong one. */
 export interface VerificationReport {
   /** Honest function of depth: `false` at structural (presence/absence → class); at mechanical, raised by
    *  `computeVerified` iff every class-required step is `proved` and none `failed`. */
@@ -48,7 +50,14 @@ export interface VerificationReport {
    *  reason `supportedClass` is: a foreign implementation's report must be representable before it can be
    *  compared, and a type that refuses to hold a wrong value cannot report one. */
   assurance: string;
-  /** The transaction class the record honestly supports — an honest readout, never a target. */
+  /** The class the record was shaped for, as the caller stated it — the walk's INPUT, echoed so `verified`
+   *  can be read at all (it answers "did the record reach THIS class?"). A caller that states none is
+   *  verified against `TC-2`, and that effective value is what appears here. Never a finding: nothing in
+   *  the walk can change it. */
+  claimedClass: string;
+  /** The class the walk reached — the highest one whose every required step is `proved`, `TC-0` if any step
+   *  failed. A FINDING, computed from the steps alone: it is not capped by `claimedClass` and not lifted by
+   *  it. Compare the two to learn whether the record met its own shape. */
   supportedClass: string;
   /** The settlement's chain-anchored time every validity check is evaluated against. */
   asOf: string;

package/src/required.ts

@@ -2,8 +2,9 @@ import type { VerifyDepth } from "./report.js";
 
 export type { VerifyDepth };
 /** The transaction-class ladder. Higher classes require strictly more steps, so a record supporting TC-3
- *  supports every class below it. A class is a CLAIM about what a record can support — it is never a
- *  quality score, and nothing in this package tries to reach a higher one. */
+ *  supports every class below it. A class is never a quality score: it names which rungs a record carries,
+ *  and a record reaches the class its proved rungs reach — no more, and no less because a caller named
+ *  something else. */
 export type TransactionClass = "TC-0" | "TC-1" | "TC-2" | "TC-3" | "TC-4";
 /** Every step the walk can append, in one closed union. Closed because `REQUIRED_STEPS` is keyed by these
  *  names and a typo would silently make a required step unfindable — which `computeVerified` would read as
@@ -81,6 +82,45 @@ export const REQUIRED_STEPS: Record<TransactionClass, readonly StepName[]> = {
   ],
 };
 
+/** The ladder from the top down. `TC-0` is deliberately absent: it requires nothing, so it is the floor
+ *  {@link computeSupportedClass} falls to rather than a rung anything has to clear. */
+const LADDER_DESCENDING = [
+  "TC-4",
+  "TC-3",
+  "TC-2",
+  "TC-1",
+] as const satisfies readonly TransactionClass[];
+
+/**
+ * The class the walk actually reached: the highest one every required step of which is `proved`.
+ *
+ * This is the report's `supportedClass`, and it is a FINDING — computed from the steps alone, never from
+ * what the caller said the record was shaped for. White paper #4 §5 defines the class of a transaction as
+ * "the highest class whose criteria it fully meets", so the answer is neither capped by the claim (a record
+ * whose rungs reach TC-3 supports TC-3 even where the caller claimed TC-2) nor floored by it (a record that
+ * proves nothing supports TC-0 however high the caller aimed).
+ *
+ * Any `failed` step ⇒ `TC-0`, whatever else proved. A contradicted rung impeaches the record rather than
+ * merely failing to lift it, which is the one power the impeachment-only steps (`frc-non-gating`,
+ * `reference-placement`) hold: they are required by no class, so they can only ever pull the answer down.
+ *
+ * Only `proved` counts. `not-attempted` and `indeterminate` never lift a class — but they also say nothing
+ * about the record, only about what this walk was given, and the reason rides in each step's own
+ * `depth` token. Read `steps` to tell "the record lacks this rung" from "this verifier was handed no port".
+ */
+export function computeSupportedClass(
+  steps: readonly { name: StepName; outcome: { status: string } }[],
+): TransactionClass {
+  if (steps.some((s) => s.outcome.status === "failed")) return "TC-0";
+  const proved = new Set(
+    steps.filter((s) => s.outcome.status === "proved").map((s) => s.name),
+  );
+  for (const cls of LADDER_DESCENDING) {
+    if (REQUIRED_STEPS[cls].every((name) => proved.has(name))) return cls;
+  }
+  return "TC-0";
+}
+
 /** Whether a walk affirms the claimed class. Three rules, in order: **structural depth is always `false`**
  *  (a presence/absence readout never affirms liveness), any `failed` step impeaches the whole walk, and
  *  otherwise every step required by the claimed class must be `proved`. A step that is absent, or

package/src/steps.ts

@@ -440,7 +440,10 @@ export function resolvePartyStep(
 }
 
 /** The placement slot: what a commerce protocol's own document yielded, and nothing else. `extracted` is
- *  the `LegalContextRef` a `ReferencePlacementAdapter.extract` returned. Absent ⇒ the step is a gap. */
+ *  the `ExtractedAdvertisement` a `ReferencePlacementAdapter.extract` returned — the reference under
+ *  `ref`, the terms-URL reading beside it. This step compares the REFERENCE against the record
+ *  fingerprint and deliberately ignores `termsUrl`: where the terms live is the gate's fetch concern,
+ *  not a fact the record can contradict. Absent ⇒ the step is a gap. */
 export interface PlacementInput {
   readonly extracted?: unknown;
 }
@@ -467,10 +470,14 @@ export function referencePlacementStep(
   const extracted: unknown = placement.extracted;
   if (extracted === undefined)
     return { status: "not-attempted", depth: "no-reference-extracted" };
+  const ref: unknown =
+    typeof extracted === "object" && extracted !== null
+      ? (extracted as { ref?: unknown }).ref
+      : undefined;
   if (
-    typeof extracted !== "object" ||
-    extracted === null ||
-    typeof (extracted as { value?: unknown }).value !== "string"
+    typeof ref !== "object" ||
+    ref === null ||
+    typeof (ref as { value?: unknown }).value !== "string"
   )
     return { status: "not-attempted", depth: "malformed-extracted-reference" };
   if (typeof settledAtrHash !== "string")
@@ -485,10 +492,7 @@ export function referencePlacementStep(
     const lower = h.toLowerCase();
     return lower.startsWith("0x") ? lower : `0x${lower}`;
   };
-  if (
-    canonical((extracted as { value: string }).value) !==
-    canonical(settledAtrHash)
-  )
+  if (canonical((ref as { value: string }).value) !== canonical(settledAtrHash))
     return { status: "failed", haltClass: "verification-failure" };
   return { status: "proved" };
 }