Contract

The GenLayer Intelligent Contract is written in Python using the current official SDK and retains its canonical dependency header.

# { "Depends": "py-genlayer:1jb45aa8ynh2a9c9xn3b7qqh8sm5q93hwfp7jqmwsfhh8jpz09h6" }

Writes

• submit_case(origin_repo, origin_commit, target_repo, target_commit, manifest_hash, evidence_digest)
• challenge_case(case_id, base_revision, challenge_rationale, evidence_digest)

Reads

• get_case(case_id)
• get_case_count()
• get_latest_revision(case_id)
• get_revision(case_id, revision_number)
• get_revision_count(case_id)
• get_challenge(challenge_id)
• get_challenge_count(case_id)
• get_cases_page(offset, limit) — bounded pagination
• get_dna_layers(), get_valid_verdicts(), get_valid_confidences()

Bounds

Every input is length-bounded, every enum is validated, duplicates and replays are refused, and stale-revision challenges are rejected. There is deliberately no unbounded "return everything" method.

Verified surface

Direct Mode covers every public method, including bounds, duplicates, invalid enums, manifest hash, resolution, shared upstream, insufficient evidence, challenge, immutable revision, stale revision, malformed model result, web error, LLM error, validator disagreement, leader manipulation and prompt injection.