From cbc569b3ea88eb56a1d3248c36e131447bcaa023 Mon Sep 17 00:00:00 2001 From: Russell Ballestrini Date: Sun, 19 Oct 2025 07:48:18 -0400 Subject: [PATCH] Add dbsnap_verify as concrete example of state machine infrastructure Reference dbsnap_verify state machine for RDS snapshot verification. Demonstrates state transitions & graph theory applied to infrastructure. Reinforces argument that state machine logic is mathematics, not patentable invention. --- content/2025-10-18-who-owns-yaml.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/2025-10-18-who-owns-yaml.rst b/content/2025-10-18-who-owns-yaml.rst index a681f65..0593d8c 100644 --- a/content/2025-10-18-who-owns-yaml.rst +++ b/content/2025-10-18-who-owns-yaml.rst @@ -18,7 +18,7 @@ who owns yaml? **YAML is data, & data is not code.** Even when YAML expresses configuration logic, workflow definitions, or infrastructure-as-code, it remains a data serialization format. For example, `botoform `_ (developed 10 years ago, `initial commit 2015 `_) uses YAML to represent the desired state of AWS infrastructure - created before the machine learning era, before CloudFormation supported YAML (when it was JSON-only), & before Terraform had extensive provider support. These YAML schemas describe infrastructure state as data, not executable programs. Data structures & formats are not patentable subject matter under established legal precedent - raw data, database schemas, & file formats are considered abstract ideas that lack the technical novelty required for patent protection. Attempting to patent data schemas or configuration formats creates barriers to interoperability & harms the open ecosystem that makes modern software development possible. -**State machines are mathematics, not inventions.** Finite state machines, state transitions, & graph-based logic are fundamental computer science concepts - like algorithms & mathematical formulas - that exist in the public domain. You cannot patent the concept of a state machine any more than you can patent addition or the Pythagorean theorem. When you express state machine logic in YAML (defining states, transitions, & rules), you're describing mathematical relationships using a data format. The underlying concepts have been taught in computer science curricula for decades & represent shared human knowledge, not proprietary innovations. +**State machines are mathematics, not inventions.** Finite state machines, state transitions, & graph-based logic are fundamental computer science concepts - like algorithms & mathematical formulas - that exist in the public domain. You cannot patent the concept of a state machine any more than you can patent addition or the Pythagorean theorem. When you express state machine logic in YAML (defining states, transitions, & rules), you're describing mathematical relationships using a data format. For example, `dbsnap_verify `_ implements a state machine to verify AWS RDS snapshots across regions & accounts - the state transitions & logic represent graph theory applied to infrastructure verification, not a patentable invention. The underlying concepts have been taught in computer science curricula for decades & represent shared human knowledge, not proprietary innovations. Let's find out what licenses actually govern the implementations.