#!/bin/bash
set -euo pipefail

echo "## candidate file section"
if [ -f docs/tutorials/introduction.md ]; then
  nl -ba docs/tutorials/introduction.md | sed -n '55,120p'
else
  echo "docs/tutorials/introduction.md not found"
  fd -a 'introduction\.md$' .
fi

echo
echo "## search for cleanenv/cache env context"
rg -n --fixed-strings "--cleanenv|SINGULARITY_CACHEDIR|APPTAINER_CACHEDIR|CCACHE_DIR|PIP_CACHE_DIR|APPTAINERENV|SINGULARITYENV" docs || true

echo
echo "## relevant tutorial command snippets"
rg -n --fixed-strings "singularity exec|apptainer exec|bash --login|APPTAINERENV|SINGULARITYENV|--cleanenv|SINGULARITY_CACHEDIR|CCACHE_DIR|PIP_CACHE_DIR" docs || true

#!/bin/bash
set -euo pipefail

echo "## candidate file section"
if [ -f docs/tutorials/introduction.md ]; then
  awk '{printf "%6d\t%s\n", NR, $0}' docs/tutorials/introduction.md | sed -n '55,120p'
else
  echo "docs/tutorials/introduction.md not found"
  find . -type f -name 'introduction.md' | sed -n '1,20p'
fi

echo
echo "## search for cleanenv/cache env context"
grep -RInE -- --cleanenv|SINGULARITY_CACHEDIR|APPTAINER_CACHEDIR|CCACHE_DIR|PIP_CACHE_DIR|APPTAINERENV|SINGULARITYENV docs || true

echo
echo "## relevant tutorial command snippets"
grep -RInE -- 'singularity exec|apptainer exec|bash --login|--(env|cleanenv)|APPTAINERENV|SINGULARITYENV|SINGULARITY_CACHEDIR|CCACHE_DIR|PIP_CACHE_DIR' docs || true

#!/bin/bash
set -euo pipefail

echo "== repo files matching introduction/README/docs =="
git ls-files | rg '(^|/)(docs/|README|.*\.md$)' | head -200

echo
echo "== target excerpt =="
sed -n '80,110p' docs/tutorials/introduction.md 2>/dev/null || true

echo
echo "== nearby tutorial files =="
git ls-files docs | sed -n '1,200p'

echo
echo "== references to Singularity/singularity, fakeroot, sandbox, lab, unprivileged, root =="
rg -n --hidden --glob '!node_modules' --glob '!dist' --glob '!build' \
  'Singularity|singularity|fakeroot|sandbox|unprivileged|rootless|sudo|lab configuration|configuration' docs README* .github 2>/dev/null || true

python - <<'PY'
import numpy as np

rng = np.random.default_rng(0xC0FFEE)
x = rng.integers(-128, 127, size=(1, 16, 64, 64), dtype=np.int8)
assert not np.any(x == 127)
PY

#!/bin/bash
set -euo pipefail

echo "== target file =="
wc -l Tutorials/PartIII_solution/iLeakyReLU/generate.py
sed -n '1,140p' Tutorials/PartIII_solution/iLeakyReLU/generate.py

echo "== NPZ artifacts in tree =="
find Tutorials/PartIII_solution/iLeakyReLU -maxdepth 2 -type f -name '*.npz' -o -name '*.npy' | sort | while read -r f; do
  echo "--- $f ---"
  python3 - <<'PY' "$f"
import sys, numpy as np
f = sys.argv[1]
if f.endswith('.npz'):
    z = np.load(f)
    print("keys", list(z.files))
    for name in z.files:
        arr = z[name]
        print(name, arr.shape, arr.dtype, arr.min(), arr.max(), "contains 127:", np.any(arr == 127), "contains -128:", np.any(arr == -128))
else:
    arr = np.load(f)
    print(arr.shape, arr.dtype, arr.min(), arr.max(), "contains 127:", np.any(arr == 127), "contains -128:", np.any(arr == -128))
PY
done

echo "== deterministic bounds probe for current call signature =="
python3 - <<'PY'
import numpy as np
rng = np.random.default_rng(0xC0FFEE)
x = rng.integers(low=-128, high=127, size=(1, 16, 64, 64), dtype=np.int8)
print("dtype x:", x.dtype)
print("unique_min:", x.min(), "unique_max:", x.max())
print("count_127:", np.count_nonzero(x == 127))
print("count_126:", np.count_nonzero(x == 126))
print("count_-128:", np.count_nonzero(x == -128))
print("all_int8_in_range:", np.all((x >= np.iinfo(np.int8).min) & (x <= np.iinfo(np.int8).max)))
PY

#!/bin/bash
set -euo pipefail

echo "== deterministic bounds probe for current call signature =="
python3 - <<'PY'
import numpy as np
try:
    import urllib.request
except Exception as e:
    print("urllib import unavailable:", type(e).__name__, e)

rng = np.random.default_rng(0xC0FFEE)
x = rng.integers(low=-128, high=127, size=(1, 16, 64, 64), dtype=np.int8)
print("dtype x:", x.dtype)
print("unique_min:", x.min(), "unique_max:", x.max())
print("count_127:", np.count_nonzero(x == 127))
print("count_126:", np.count_nonzero(x == 126))
print("count_-128:", np.count_nonzero(x == -128))
print("all_int8_in_range:", np.all((x >= np.iinfo(np.int8).min) & (x <= np.iinfo(np.int8).max)))

try:
    info = np.finfo(np.int8)
except Exception as e:
    print("finfo unavailable:", type(e).__name__, e)
    info = None

if info is not None:
    print("np.finfo(np.int8).max =", info.max)
    print("np.random.Generator.integers(low, high) docs high exclusive:", hasattr(rng, 'integers'))
PY

echo "== regenerated bounds with inclusive high==128 =="
python3 - <<'PY'
import numpy as np
rng = np.random.default_rng(0xC0FFEE)
x = np.asarray([-128, 126, 127], dtype=np.int8)
x2 = rng.integers(low=-128, high=128, size=(1, 16, 64, 64), dtype=np.int8).ravel()
print("manual_edge_contains_127:", 127 in np.unique(x))
print("seeded_max_possible_with_128:", x2.max())
print("seeded_has_127_with_128:", np.any(x2 == 127))
PY

#!/bin/bash
rg -n -C2 --glob '*.py' "iLeakyReLU|['\"]mul['\"]|['\"]shift['\"]" \
  Tutorials Deeploy DeeployTest

#!/bin/bash
set -euo pipefail

echo "Candidate iLeakyReLU files:"
git ls-files 'Tutorials/PartIII_solution/iLeakyReLU/*' | sort

echo
echo "Relevant parser/template/kernel/tile generate:"
for f in \
  Tutorials/PartIII_solution/iLeakyReLU/iLeakyReLUParser.py \
  Tutorials/PartIII_solution/iLeakyReLU/deploy.sh \
  Tutorials/PartIII_solution/iLeakyReLU/iLeakyReLUTemplate.py \
  Tutorials/PartIII_solution/iLeakyReLU/iLeakyReLUTileConstraint.py \
  Tutorials/PartIII_solution/iLeakyReLU/generate.py
do
  if [ -f "$f" ]; then
    echo "--- $f"
    cat -n "$f"
  fi
done

echo
echo "Search for iLeakyReLU implementation/kernel references:"
rg -n --glob '*.[ch]' --glob '*.py' --glob '!Tutorials/PartIII_solution/iLeakyReLU/deploy.sh' "PULPiLeakyReLU|iLeakyReLU|leakyReLU|leaky" Tutorials/PartIII_solution/iLeakyReLU Tutorials/PartIII_skeletons Deeploy Targets 2>/dev/null || true

#!/bin/bash
set -euo pipefail

echo "Scalar kernel:"
cat -n Tutorials/PartIII_solution/iLeakyReLU/iLeakyReLU.c

echo
echo "SIMD kernel:"
cat -n Tutorials/PartIII_solution/iLeakyReLU/iLeakyReLU_simd.c

echo
echo "Header declaration:"
cat -n Tutorials/PartIII_solution/iLeakyReLU/iLeakyReLU.h

echo
echo "Read-only verifier: compare scalar behavior to SIMD current implementation around mul/signals"
python3 - <<'PY'
from pathlib import Path
import re

simd_path = Path('Tutorials/PartIII_solution/iLeakyReLU/iLeakyReLU_simd.c')
scalar_path = Path('Tutorials/PartIII_solution/iLeakyReLU/iLeakyReLU.c')

simd = simd_path.read_text()
scalar = scalar_path.read_text()

simd_body_start = simd.find('{', simd.find('PULPiLeakyReLU_i8_i8'))
simd_body = simd[simd_body_start:] if simd_body_start != -1 else ''
scalar_body_start = scalar.find('{', scalar.find('PULPiLeakyReLU_i8_i8'))
scalar_body = scalar[scalar_body_start:] if scalar_body_start != -1 else ''

uses_mul = re.search(r'\bmul\b', simd_body) is not None
uses_shift = re.search(r'\bshift\b', simd_body) is not None
uses_packed_ops = bool(re.search(r'__builtin_pulp_vec_(sli|sri|and|unpack)|xpulp.*vec|Vec', simd_body))
scalar_uses_mul = re.search(r'\bmul\b', scalar_body) is not None
scalar_uses_shift = re.search(r'\bshift\b', scalar_body) is not None

print({
    "scalar_uses_mul": scalar_uses_mul,
    "scalar_uses_shift": scalar_uses_shift,
    "simd_uses_mul": uses_mul,
    "simd_uses_shift": uses_shift,
    "simd_uses_packed_ops": uses_packed_ops,
})

# Simulate generated scalar/shift formula as described by generator for representative negative inputs.
def golden_for_case(x, mul, shift):
    import numpy as np
    pos = x.astype(np.int32)
    neg = (mul * pos) >> shift
    return np.clip(np.where(pos >= 0, pos, neg), -128, 127).astype(np.int8)

cases = [((1, 0), -1, 1), ((3, 3), -1, 1)]
print("formula examples neg_input=-1:")
for case, x, shape in cases:
    for m, s in [(1,3),(2,3),(3,3)]:
        print(case, "mul", m, "shift", s, "golden", int(golden_for_case(x, m, s)))
PY