docs: add initial Codex tickets

tickets/BP-00.yaml

@@ -0,0 +1,10 @@
+id: BP-00
+description: |
+  Scaffold a new crate `ppor_circuit` with optional ZKP back-ends.
+  Provide feature flags `bulletproofs` and `halo2` but no logic yet.
+  Ensure the crate builds and an empty test suite runs.
+acceptance:
+  - cargo test --package ppor_circuit
+context_snippets:
+  - src/spec.md:L101-L105
+  - Cargo.toml:L16-L34

tickets/CLI-00.yaml

@@ -0,0 +1,9 @@
+id: CLI-00
+description: |
+  Generate Clap-based command-line boilerplate with `generate` and `verify`
+  subcommands. Add progress bars for lengthy operations.
+acceptance:
+  - cargo run -- --help
+context_snippets:
+  - src/spec.md:L101-L105
+  - src/main.rs:L18-L40

tickets/SN-00.yaml

@@ -0,0 +1,10 @@
+id: SN-00
+description: |
+  Write a Rust binary `snapshot_tool` that connects to a running
+  `bitcoind` RPC, iterates the UTXO set at a given height,
+  emits a compact Merkle tree and prints the root hash.
+acceptance:
+  - cargo run --bin snapshot_tool -- --help
+context_snippets:
+  - src/spec.md:L101-L105
+  - README.md:L104-L111