codex: setup files and instructions for handling the lack of internet connectivity

Author: zah

.codex/build_all_targets.sh

@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+
+CODEX_DIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)
+cd $CODEX_DIR
+
+pushd ..
+  just build-extension
+popd

.codex/deps_src/AGENTS.md

@@ -0,0 +1,2 @@
+This directory contains cloned repositories with source code for some
+of the development dependencies. This might be useful as a reference.

.codex/internet_resources/download.sh

@@ -0,0 +1,9 @@
+#!/usr/bin/env bash
+
+DOWNLOADS_DIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)
+cd $DOWNLOADS_DIR
+
+# Download the specification of the CodeTracer trace json format.
+# Read the trace_json_spec.md file to understand what json records
+# should be produced by the tracers in this repo.
+wget https://raw.githubusercontent.com/metacraft-labs/runtime_tracing/refs/heads/master/docs/trace_json_spec.md

.codex/setup.sh

@@ -0,0 +1,14 @@
+#!/usr/bin/env bash
+
+CODEX_DIR=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)
+cd $CODEX_DIR
+
+apt-get update
+apt-get install -y --no-install-recommends just
+
+pushd deps_src
+  git clone https://github.com/metacraft-labs/runtime_tracing
+popd
+
+./build_all_targets.sh
+

AGENTS.md

@@ -20,6 +20,36 @@ To run the benchmark, execute:
 just bench
 ```
 
+# You don't have access to the internet
+
+During development, certain commands will fail because you don't have
+access to the intenet.
+
+The script `.codex/internet_resources/download.sh` is executed before
+your development session stars while your computer is still connected
+to the internet.
+
+You can examine this script to see what kind of internet resources
+have been downloaded for offline use. If it's difficult for you to
+achieve a task without access to additional internet resources, you
+can always propose a PR that modifies the download.sh script instead
+of completing your main task.
+
+Downloading development dependencies may also fail due to the lack of
+internet connectivity. We are trying to maintain the script `.codex/build_all_targets.sh`
+that is also executed before your development session starts while
+your computer is still connected to the internet. It tries to run
+all build commands that need development dependencies in order to
+cache the dependencies for offline use. Please propose changes to
+this script when you introduce new build targets with dependencies.
+
+When you need to consult the documentation or source code modules
+for a particular dependency, always try to find where this dependency
+have been downloaded and try to access the necessary files through
+the file system (i.e. depending on the programming language, the
+operating system and the package manager being used, they should
+be in their standard location).
+
 # Code quality guidelines
 
 - Strive to achieve high code quality.