chore(piltover): align with new ProgramInfo enum + plumb katana_tee_config_hash

[kariy]

Summary

Backport of #72 onto main. Aligns Saya with cartridge-gg/piltover#feat/tee-persistent's ProgramInfo enum split and threads the new katana_tee_config_hash field from the Katana RPC response through the TEE pipeline into the on-chain TEEInput.

Why

Piltover now identifies the appchain via two distinct variants:

enum ProgramInfo {
    StarknetOs(StarknetOsProgramInfo),  // 4 SNOS-related hashes
    KatanaTee(KatanaTeeProgramInfo),    // 1 katana_tee_config_hash (Pedersen array)
}

Each deployment commits to one variant; validate_input panics on cross-mode submission. For the TEE path, validate_input also asserts tee_input.katana_tee_config_hash == KatanaTeeProgramInfo.katana_tee_config_hash, so Saya needs to source that exact value (the one Katana attested) and pass it through.

Changes

• 3 Cargo.toml piltover repoints to cartridge-gg/piltover#feat/tee-persistent. Single source of truth across root + bin/persistent + bin/persistent-tee.
• 5 Cargo.toml katana-tee revs bumped to 649f0864 to pick up cartridge-gg/katana-tee#1 which surfaces katana_tee_config_hash on TeeQuoteResponse.
• bin/ops/src/core_contract/utils.rs::set_program_info prepends Felt::ZERO (the StarknetOs variant index) to the calldata. ops stays ZK-only.
• saya/core::TeeAttestation / TeeProof gain katana_tee_config_hash: Felt.
• bin/persistent-tee/src/{attestor,prover,settlement}.rs plumb the field: attestor lifts it off the RPC response, prover threads it through both the TeeQuoteResponse round-trip (in the non-mock branch on main) and TeeProof, settlement passes it to TEEInput.katana_tee_config_hash.
• tests/e2e/tests/settlement.rs matches the StarknetOs variant before reading the four hash fields.

Differences vs PR #72

The cherry-pick had three conflicts that resolved trivially:

• bin/persistent-tee/Cargo.toml — main uses https:// URLs (vs feat/tee's ssh://); kept main's URL style with the new rev.
• bin/persistent-tee/src/prover.rs — main has a mock_prove branch that feat/tee didn't; the new field goes on the existing TeeQuoteResponse inside the non-mock else-branch.
• bin/persistent-tee/Cargo.lock — taken from main and re-resolved against the new piltover/katana-tee deps; aws-* family stays pinned to main's working versions.

Cross-repo

Repo	PR	Status
cartridge-gg/piltover	#16	merged
cartridge-gg/katana-tee	#1	merged
dojoengine/saya	#72 (feat/tee)	merged
dojoengine/saya	this PR (main)	here
dojoengine/katana	#556	open

Test plan

• cargo check --workspace clean
• cd bin/persistent-tee && cargo check clean
• CI verifies bin/persistent (local SNOS Python venv issue)
• e2e tests/e2e/tests/settlement.rs::test_program_info_and_fact_registry passes after the variant match update
• saya-tee-e2e pass (already green on katana #556 against the same ABI)

🤖 Generated with Claude Code