# App Specification AKA the different ways databuild applications can be described. ## Correctness Strategy - Examples implemented that use each graph specification strategy, and are tested in CI/CD. - Graph specification strategies provide ## Bazel - Purpose: compilation/build target that fulfills promise of project (like bytecode for JVM langs) - Job binaries (config and exec) - Graph lookup binary (lookup) - Job target (with working exec binary) - Graph target - See [core build](core-build.md) for details ## Python - Wrapper functions enable graph registry - Partition object increases ergonomics and enables explicit data coupling