#!/bin/bash
set -euo pipefail

rg -n -C 6 '\buniv_task_compatibility_fix\s*\(' --glob '*.rs' .
rg -n -C 4 'v0\.9\.0|ProvingTask' --glob '*.rs' .

#!/bin/bash
set -euo pipefail

printf '%s\n' '--- tracked references ---'
rg -n -C 8 'univ_task_compatibility_fix|univ_task_compability_fix' --glob '!target/**' --glob '!node_modules/**' .

printf '%s\n' '--- task-format producers and consumers ---'
rg -n -C 8 'gen_universal_(chunk|batch|bundle)_task|ProvingTaskExt|ProvingTask|prove.*input|input.*prove' \
  crates --glob '*.rs' --glob '*.c' --glob '*.h' --glob '*.md'

printf '%s\n' '--- dependency and version declarations ---'
rg -n -C 5 'scroll-zkvm|zkvm-prover|0\.9\.0|compatibility' \
  Cargo.toml Cargo.lock crates --glob '*.toml' --glob '*.rs' --glob '*.md'

printf '%s\n' '--- relevant source ---'
cat -n crates/libzkp/src/lib.rs | sed -n '35,70p'
cat -n crates/libzkp_c/src/lib.rs | sed -n '240,275p'
cat -n crates/prover-bin/src/zk_circuits_handler/universal.rs | sed -n '80,120p'
cat -n crates/prover-bin/src/prover.rs | sed -n '315,355p'

printf '%s\n' '--- requested Rust checks (only if available) ---'
if command -v cargo >/dev/null 2>&1; then
  cargo fmt --all -- --check
  cargo clippy --all-features --all-targets -- -D warnings
  cargo check --all-features
else
  printf '%s\n' 'cargo unavailable'
fi

#!/bin/bash
set -u

printf '%s\n' '--- Go call sites and surrounding workflow ---'
rg -n -C 12 'UniversalTaskCompatibilityFix|univ_task_compatibility_fix|gen_universal_task|GenUniversalTask' \
  coordinator --glob '*.go' --glob '*.c' --glob '*.h'

printf '%s\n' '--- all repository call sites excluding generated/build paths ---'
rg -n -C 6 'UniversalTaskCompatibilityFix|univ_task_compatibility_fix|univ_task_compability_fix' \
  . --glob '!target/**' --glob '!node_modules/**' --glob '!vendor/**'

printf '%s\n' '--- current and parent implementations ---'
git diff -- crates/libzkp/src/lib.rs crates/libzkp_c/src/lib.rs coordinator/internal/logic/libzkp/lib.go
git show HEAD^:crates/libzkp/src/lib.rs 2>/dev/null | sed -n '35,70p' || true

printf '%s\n' '--- task generation and proof submission call sites ---'
rg -n -C 14 'gen_universal_task|UniversalTask|ProveRequest|ProofType|proof_type' \
  coordinator --glob '*.go'

printf '%s\n' '--- required Rust checks ---'
for check in \
  'cargo fmt --all -- --check' \
  'cargo clippy --all-features --all-targets -- -D warnings' \
  'cargo check --all-features'
do
  printf '\n>>> %s\n' "$check"
  sh -c "$check"
  status=$?
  printf '<<< exit status: %s\n' "$status"
done
exit 0

#!/bin/bash
set -euo pipefail

printf '%s\n' '--- coordinator references ---'
rg -n -C 10 'UniversalTaskCompatibilityFix|univ_task_compatibility_fix|GenUniversalTask|gen_universal_task' \
  coordinator/internal/logic/libzkp coordinator/internal --glob '*.go' --glob '*.c' --glob '*.h'

printf '%s\n' '--- compatibility function history ---'
git diff -- crates/libzkp/src/lib.rs crates/libzkp_c/src/lib.rs coordinator/internal/logic/libzkp/lib.go
git show HEAD^:crates/libzkp/src/lib.rs 2>/dev/null | sed -n '35,70p' || true

printf '%s\n' '--- task submission definitions ---'
rg -n -C 8 'type .*Prove|ProveRequest|ProofType|proof_type|UniversalTask' \
  coordinator/internal/logic --glob '*.go' | head -n 400

#!/bin/bash
set -euo pipefail

printf '%s\n' '--- compatibility gate and caller ---'
cat -n coordinator/internal/logic/provertask/prover_task.go | sed -n '150,250p'
rg -n -C 12 'isCompatibilityFixingVersion|fixCompatibility|CompatibilityVersion' \
  coordinator/internal/logic/provertask --glob '*.go'

printf '%s\n' '--- previous Rust conversion ---'
git show HEAD^:crates/libzkp/src/lib.rs | sed -n '56,115p'

printf '%s\n' '--- current Rust function and exported wrapper ---'
cat -n crates/libzkp/src/lib.rs | sed -n '54,64p'
cat -n crates/libzkp_c/src/lib.rs | sed -n '256,269p'

printf '%s\n' '--- version comparison implementation ---'
rg -n -C 12 'func CheckScrollRepoVersion|CheckScrollRepoVersion' \
  coordinator --glob '*.go'

#!/bin/bash
set -euo pipefail

printf '%s\n' '--- minimum prover version configuration ---'
rg -n -C 8 'MinProverVersion|min_prover_version|minProverVersion|minimum.*prover' \
  . --glob '*.go' --glob '*.yaml' --glob '*.yml' --glob '*.toml' --glob '*.json' \
  --glob '!target/**' --glob '!node_modules/**' | head -n 500

printf '%s\n' '--- version comparator definition ---'
rg -n -C 16 'func CheckScrollRepoVersion|CheckScrollRepoVersion\s*\(' \
  . --glob '*.go' --glob '!vendor/**' --glob '!target/**' | head -n 300

printf '%s\n' '--- compatibility gate callers by task type ---'
rg -n -C 10 'isCompatibilityFixingVersion\(taskCtx\.ProverVersion\)|fixCompatibility\(taskMsg\)' \
  coordinator/internal/logic/provertask --glob '*.go'

printf '%s\n' '--- relevant repository version metadata ---'
rg -n -C 4 '4\.5\.43|0\.9\.0' \
  . --glob '!Cargo.lock' --glob '!target/**' --glob '!node_modules/**' --glob '*.go' --glob '*.rs' --glob '*.yaml' --glob '*.yml' --glob '*.md' --glob '*.toml' | head -n 400

#!/bin/bash
set -euo pipefail

python3 - <<'PY'
import json
import re
from pathlib import Path

source = Path("coordinator/internal/logic/provertask/prover_task.go").read_text()
match = re.search(r'const\s+CompatibilityVersion\s*=\s*"([^"]+)"', source)
assert match, "CompatibilityVersion not found"
threshold = tuple(map(int, match.group(1).split(".")))

def version_tuple(value):
    value = value.removeprefix("v").split("-", 1)[0]
    return tuple(map(int, value.split(".")))

def compatibility_fix_applies(value):
    return version_tuple(value) < threshold

assert compatibility_fix_applies("v4.4.45")
assert compatibility_fix_applies("v4.5.42")
assert not compatibility_fix_applies("v4.5.43")
assert not compatibility_fix_applies("v4.5.44")

accepted_versions = []
for path in Path(".").rglob("*"):
    if path.is_file() and path.suffix in {".json", ".yaml", ".yml"}:
        try:
            text = path.read_text()
        except UnicodeDecodeError:
            continue
        for value in re.findall(r'"min_prover_version"\s*:\s*"([^"]+)"', text):
            accepted_versions.append((str(path), value))

print("CompatibilityVersion:", match.group(1))
print("Boundary:", {v: compatibility_fix_applies(v) for v in ("v4.4.45", "v4.5.42", "v4.5.43")})
print("Configured minimums below threshold:")
for path, value in accepted_versions:
    if version_tuple(value) < threshold:
        print(path, value)
PY

printf '%s\n' '--- complete comparator ---'
cat -n common/version/prover_version.go | sed -n '30,65p'

#!/bin/bash
# Description: Probe agg_vk.bin availability for the release base URLs configured in the repo.
set -uo pipefail

fd -H -t f 'assets_url_preset.json' --exec cat {} \;

echo "--- configured base_url values ---"
rg -n --no-heading '"base_url"' -g '*.json' -g '*.template' -g '*.env' .
rg -n --no-heading 'base_url|BASE_URL' tests zkvm-prover 2>/dev/null

#!/bin/bash
set -u

echo '--- relevant files ---'
fd -H -t f 'prover.rs|assets_url_preset.json|Cargo.toml' . | head -80

echo '--- prover outline ---'
ast-grep outline crates/prover-bin/src/prover.rs 2>/dev/null || true

echo '--- prover focused source ---'
sed -n '70,165p' crates/prover-bin/src/prover.rs

echo '--- preset location and configured URLs ---'
for f in $(fd -H -t f 'assets_url_preset.json' .); do
  echo "FILE: $f"
  cat "$f"
done

echo '--- configured release URL references ---'
rg -n --no-heading 'circuit-release|assets_url_preset|base_url' zkvm-prover tests crates 2>/dev/null | head -160

echo '--- HTTP status for agg_vk.bin at every preset URL ---'
python3 - <<'PY'
import json, subprocess
from pathlib import Path

files = list(Path('.').rglob('assets_url_preset.json'))
seen = set()
for path in files:
    try:
        data = json.loads(path.read_text())
    except Exception as exc:
        print(f'{path}: parse error: {exc}')
        continue
    for family, entries in data.items():
        for vk, base in entries.items():
            url = base.rstrip('/') + '/agg_vk.bin'
            if url in seen:
                continue
            seen.add(url)
            p = subprocess.run(
                ['curl', '-L', '-sS', '-o', '/dev/null', '-D', '-', '--max-time', '20', url],
                text=True, capture_output=True
            )
            headers = [line.strip() for line in p.stdout.splitlines()
                       if line.lower().startswith(('http/', 'content-length:', 'content-type:'))]
            print(f'{family} {base}')
            print(' | '.join(headers) if headers else f'curl_exit={p.returncode} stderr={p.stderr.strip()}')
PY

#!/bin/bash
set -u

echo '--- asset URL and caller implementation ---'
sed -n '20,115p' crates/prover-bin/src/prover.rs
sed -n '275,355p' crates/prover-bin/src/prover.rs

echo '--- all relevant symbols and call sites ---'
rg -n --no-heading 'get_asset|gen_asset_url|preflight_check|asset_detours|download_files|agg_vk\.bin|location_data' crates/prover-bin/src crates/prover-bin/tests 2>/dev/null

echo '--- bounded GET probes for configured assets ---'
python3 - <<'PY'
import json, subprocess
from pathlib import Path

for path in Path('.').rglob('assets_url_preset.json'):
    data = json.loads(path.read_text())
    for family, entries in data.items():
        for vk, base in entries.items():
            print(f'[{family}] {base}')
            for filename in ('agg_vk.bin', 'app.vmexe', 'openvm.toml'):
                url = base.rstrip('/') + '/' + filename
                p = subprocess.run(
                    [
                        'curl', '-L', '-sS', '--max-time', '20',
                        '-H', 'Range: bytes=0-0',
                        '-o', '/tmp/asset-probe-body',
                        '-w', '%{http_code} %{size_download} %{content_type}',
                        url,
                    ],
                    text=True, capture_output=True
                )
                body = Path('/tmp/asset-probe-body').read_bytes()[:160] if Path('/tmp/asset-probe-body').exists() else b''
                print(f'  {filename}: {p.stdout} exit={p.returncode} body_prefix={body!r}')
PY

#!/bin/bash
set +e

echo '--- get_or_load_handler caller ---'
sed -n '430,495p' crates/prover-bin/src/prover.rs

echo '--- UniversalHandler asset loading ---'
sed -n '1,95p' crates/prover-bin/src/zk_circuits_handler/universal.rs
rg -n --no-heading 'get_asset|agg_vk|UniversalHandler|load' crates/prover-bin/src/zk_circuits_handler crates/prover-bin/src/prover.rs | head -120

echo '--- cargo fmt ---'
cargo fmt --all -- --check
fmt_status=$?
echo "cargo fmt status: $fmt_status"

echo '--- cargo clippy ---'
cargo clippy --all-features --all-targets -- -D warnings
clippy_status=$?
echo "cargo clippy status: $clippy_status"

echo '--- cargo check ---'
cargo check --all-features
check_status=$?
echo "cargo check status: $check_status"

exit 0