procyon 0.3.0

use async_trait::async_trait;
use serde_json::{json, Value};

use super::caatinga::{
    dependencies_installed, placeholder_bindings, require_caatinga_project, run_caatinga,
    DEPENDENCIES_BLOCKED,
};
use super::Tool;

pub struct GenerateBindingsTool;

#[async_trait]
impl Tool for GenerateBindingsTool {
    fn name(&self) -> &str {
        "generate_bindings"
    }

    fn capability(&self) -> crate::risk::Capability {
        crate::risk::Capability::Write
    }

    fn description(&self) -> &str {
        "Generate TypeScript bindings for contracts Caatinga has deployed, reading the contract \
         ids from its artifacts. Covers every deployed contract unless one is named. Caatinga \
         already does this after a deploy, so this is for regenerating them on demand. Only works \
         in a Caatinga project."
    }

    fn input_schema(&self) -> Value {
        json!({
            "type": "object",
            "properties": {
                "contract": {
                    "type": "string",
                    "description": "Name of a contract from caatinga.config.ts. Omit for every deployed contract."
                },
                "network": {
                    "type": "string",
                    "description": "Network name as configured in caatinga.config.ts (e.g. testnet)"
                },
                "strict_network": {
                    "type": "boolean",
                    "description": "Fail instead of doing nothing when the network has no deployment artifacts"
                }
            },
            "required": []
        })
    }

    async fn execute(&self, input: Value) -> Result<String, String> {
        require_caatinga_project().await?;

        // No output directory and no language: both come from caatinga.config.ts, and the ids come
        // from the artifacts. Passing them here would be the hand-plumbing Caatinga exists to
        // remove — and bindings written somewhere the config does not expect are bindings the app
        // never imports.
        let mut args = vec!["generate".to_string()];

        if let Some(contract) = input.get("contract").and_then(|v| v.as_str()) {
            args.push(contract.to_string());
        }

        if let Some(network) = input.get("network").and_then(|v| v.as_str()) {
            args.push("--network".to_string());
            args.push(network.to_string());
        }

        if input.get("strict_network").and_then(|v| v.as_bool()) == Some(true) {
            args.push("--strict-network".to_string());
        }

        // The deadlock, named before npx is asked to resolve a CLI against a tree that does not
        // exist. Without this the failure arrived as whatever the project's own CLI says when it
        // cannot start, several layers away from the one action that fixes it.
        if dependencies_installed().await == Some(false) {
            return Err(DEPENDENCIES_BLOCKED.to_string());
        }

        let stdout = run_caatinga(&args).await?;

        // Generate exits 0 with nothing to do when the network has no deployment artifacts, so a
        // successful call is not evidence that the stubs are gone — and the stubs fail in the
        // browser, which is where nobody is watching a tool result.
        let stale = placeholder_bindings().await;
        if !stale.is_empty() {
            return Ok(format!(
                "Bindings generated, but these are still the committed placeholders: {}. Every \
                 method in them throws PLACEHOLDER_BINDING. Caatinga only writes bindings for \
                 contracts it has deployed on the network asked for, so deploy them first \
                 (caatinga_deploy) and run this again with the matching --network.\n\n{}",
                stale.join(", "),
                stdout
            ));
        }

        Ok(format!("Bindings generated.\n\n{}", stdout))
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    // Bindings land where the config says; a caller choosing a directory produces bindings the app
    // does not import. The schema must not offer that choice.
    #[test]
    fn the_schema_takes_a_contract_name_not_an_id_or_a_path() {
        let schema = GenerateBindingsTool.input_schema();
        let props = schema["properties"].as_object().unwrap();

        assert!(props.contains_key("contract"));
        for absent in ["contract_id", "output_dir", "language"] {
            assert!(
                !props.contains_key(absent),
                "{} must not be a parameter: it comes from the config or the artifacts",
                absent
            );
        }
    }

    #[tokio::test]
    async fn it_refuses_a_project_without_a_caatinga_config() {
        let err = GenerateBindingsTool
            .execute(json!({}))
            .await
            .expect_err("generate must refuse a non-Caatinga project");
        assert!(err.contains("not a Caatinga project"), "{}", err);
    }
}