Executable regressions for the seven review items. Signatures below are transparent payload fixtures, NOT cryptographic signatures or forgery proofs. They exercise the real orchestration paths and detect omitted signed fields. The successful schema callback is deliberate: scope rejection must be independent of schema acceptance.

def SevenItemRegression.a : ValidDID

Equations

• SevenItemRegression.a = { w3cDID := { value := "did:amt:a" }, hash := { value := [1] }, purpose := DIDPurpose.Identity }

def SevenItemRegression.b : ValidDID

Equations

• SevenItemRegression.b = { w3cDID := { value := "did:amt:b" }, hash := { value := [2] }, purpose := DIDPurpose.Identity }

def SevenItemRegression.issuer : ValidDID

Equations

• SevenItemRegression.issuer = { w3cDID := { value := "did:amt:issuer" }, hash := { value := [3] }, purpose := DIDPurpose.TrustAnchor }

def SevenItemRegression.other : ValidDID

Equations

• SevenItemRegression.other = { w3cDID := { value := "did:amt:other" }, hash := { value := [4] }, purpose := DIDPurpose.Identity }

def SevenItemRegression.budget : ResourceBudget

Equations

• SevenItemRegression.budget = { wireBytes := 10000, expandedBytes := 10000, nodes := 1000, depth := 20, arrayItems := 100, signatures := 10, schemaBranches := 100, regexSteps := 1000 }

def SevenItemRegression.sign (who : ValidDID) (bytes : List UInt8) : Signature

Equations

• SevenItemRegression.sign who bytes = { bytes := RequestBinding.encode [RequestBinding.did who, bytes] }

def SevenItemRegression.keyChecks : RequestBinding.KeyChecks

Equations

• One or more equations did not get rendered due to their size.

def SevenItemRegression.rotation : RequestBinding.KeyPayload

Equations

• One or more equations did not get rendered due to their size.

def SevenItemRegression.signedKey (p : RequestBinding.KeyPayload) : RequestBinding.KeyRequest

Equations

• One or more equations did not get rendered due to their size.

def SevenItemRegression.revoke : RequestBinding.KeyPayload

Equations

• One or more equations did not get rendered due to their size.

def SevenItemRegression.conditions : ClaimConditions

Origin claims and transfer fields are independently authenticated.

Equations

• One or more equations did not get rendered due to their size.

def SevenItemRegression.transfer : RequestBinding.TransferPayload

Equations

• One or more equations did not get rendered due to their size.

def SevenItemRegression.transferChecks : RequestBinding.TransferChecks

Equations

• One or more equations did not get rendered due to their size.

def SevenItemRegression.transferRequest : RequestBinding.TransferRequest

Equations

• SevenItemRegression.transferRequest = prepareClaimTransfer SevenItemRegression.transfer SevenItemRegression.sign

def SevenItemRegression.resident : JSONValue

Scope failure is independent of permissive schema validation.

Equations

• SevenItemRegression.resident = JSONValue.object [("resident", JSONValue.bool true)]

def SevenItemRegression.extra : JSONValue

Equations

• SevenItemRegression.extra = JSONValue.object [("resident", JSONValue.bool true), ("benefitEligible", JSONValue.bool true)]

def SevenItemRegression.schema : JSONValue

Equations

• SevenItemRegression.schema = JSONValue.object [("properties", JSONValue.object [("resident", JSONValue.bool true)])]

def SevenItemRegression.grant : DelegationContent

Equations

• One or more equations did not get rendered due to their size.

def SevenItemRegression.chainChecks : DelegationChain.Checks

Equations

• One or more equations did not get rendered due to their size.

def SevenItemRegression.proof : W3CProof

Equations

• SevenItemRegression.proof = { verificationMethod := "key", proofValue := "verified" }

def SevenItemRegression.chain : DelegationChain

Equations

• SevenItemRegression.chain = { delegations := [SevenItemRegression.grant], chainProofs := [SevenItemRegression.proof] }

def SevenItemRegression.context : PresentationContext

Same event category can be shared by two authorized verifiers.

Equations

• SevenItemRegression.context = { verifier := SevenItemRegression.a, requestedPredicate := "eligible", challenge := [1], purpose := "benefit" }

def SevenItemRegression.category : AuditSectionID

Equations

• SevenItemRegression.category = { value := [1] }

def SevenItemRegression.authority : CategoryAuthorization

Equations

• One or more equations did not get rendered due to their size.

def SevenItemRegression.delegationFixture (d : DelegationContent) : String

Bind signed scope/schema in a second delegation fixture. The encoding here is only a transparent test format, not a proposed wire signature serialization.

Equations

• SevenItemRegression.delegationFixture d = reprStr (d.grantorDID, d.granteeDID, d.allowedClaims, d.schemaSource, d.maxDepth)

def SevenItemRegression.signedGrant : W3CProof

Equations

• SevenItemRegression.signedGrant = { verificationMethod := "issuer-key", proofValue := SevenItemRegression.delegationFixture SevenItemRegression.grant }

def SevenItemRegression.boundChainChecks : DelegationChain.Checks

Equations

• One or more equations did not get rendered due to their size.

def TransportRegression.input : AMT.DIDComm.Input

Equations

• TransportRegression.input = { version := 1, signingKey := AMT.Regression.key, agreementKey := { bytes := 9 :: List.replicate 31 0 } }

def TransportRegression.expectedPreimage : String

Equations

• One or more equations did not get rendered due to their size.

def TransportRegression.digest : Hash

Equations

• One or more equations did not get rendered due to their size.

def TransportRegression.derived : W3C.DID

Equations

• TransportRegression.derived = { value := "did:amt:GJHNQS1Z72CF5NGBYNWYQ763QT3AQRJNVK401Z5Q9WGVPDP19XNJTD11HE1S4M4F84ZFPEHD500QNM6YQ4PNAWKSCJD0BA51FW04Z9R" }

def TransportRegression.hashFixture (bytes : List UInt8) : Hash

Equations

• TransportRegression.hashFixture bytes = if (bytes == TransportRegression.expectedPreimage.toUTF8.data.toList) = true then TransportRegression.digest else { value := [] }

def TransportRegression.peer : AMT.DIDComm.Peer

Equations

• TransportRegression.peer = { input := TransportRegression.input, did := TransportRegression.derived, document := AMT.DIDComm.finalize TransportRegression.input TransportRegression.derived }