{"id":50922185,"url":"https://github.com/fullscreen-triangle/pugachev-cobra","last_synced_at":"2026-06-16T19:30:39.607Z","repository":{"id":364757525,"uuid":"1269066353","full_name":"fullscreen-triangle/pugachev-cobra","owner":"fullscreen-triangle","description":null,"archived":false,"fork":false,"pushed_at":"2026-06-14T10:03:01.000Z","size":9057,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-06-14T12:07:36.824Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/fullscreen-triangle.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2026-06-14T09:13:42.000Z","updated_at":"2026-06-14T10:03:05.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/fullscreen-triangle/pugachev-cobra","commit_stats":null,"previous_names":["fullscreen-triangle/pugachev-cobra"],"tags_count":null,"template":false,"template_full_name":null,"purl":"pkg:github/fullscreen-triangle/pugachev-cobra","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fullscreen-triangle%2Fpugachev-cobra","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fullscreen-triangle%2Fpugachev-cobra/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fullscreen-triangle%2Fpugachev-cobra/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fullscreen-triangle%2Fpugachev-cobra/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/fullscreen-triangle","download_url":"https://codeload.github.com/fullscreen-triangle/pugachev-cobra/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fullscreen-triangle%2Fpugachev-cobra/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":34421324,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-16T02:00:06.860Z","response_time":126,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2026-06-16T19:30:38.899Z","updated_at":"2026-06-16T19:30:39.599Z","avatar_url":"https://github.com/fullscreen-triangle.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003ch1 align=\"center\"\u003ePugachev Cobra\u003c/h1\u003e\n\u003cp align=\"center\"\u003e\u003cem\u003eAn Equivalence Calculus for Bounded Cognition: The S-Entropy Framework\u003c/em\u003e\u003c/p\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"assets/img/SAAB_35_Draken_performing_the_Cobra_maneuver.gif\" alt=\"Logo\" width=\"300\"/\u003e\n\u003c/p\u003e\n\nPugachev-cobra is a domain-specific language for composing video advertisements\nfrom behavioural effect chains. The language targets the Remotion rendering\nframework and is grounded in a formal theory of bounded receivers, information\ncatalysts, and decoder-shift mechanics developed across companion papers on\nS-entropy, agent coordination, and epistemological floors.\n\n## Motivation\n\nExisting video-production tools operate at the level of named presets or\nparameter surfaces: a user selects a colour grade, a transition, a sound\ndesign. This representation conflates two distinct concerns — what a scene\nshould *do* (its behavioural intent) and how that behaviour is realised as a\ncomposition of rendering operations. The conflation forces users to reason in\nterms of implementation details rather than perceptual outcomes.\n\nThe central claim of pugachev-cobra is that a video advertisement is an\nisomorphism chain: given a footage clip as input state and a behavioural\ndescription as target state, the effect chain is the minimal sequence of\nincremental transformations connecting them. Each transformation is a catalyst\nin the sense of the S-entropy framework — it closes a fraction of the\nabove-floor distance between the current receiver state and the target cell,\ncomposes multiplicatively with adjacent steps, and is expressible without\nreference to magnitude, only to direction and structure.\n\nUnder this model, users author *descriptions of physical behaviour* rather than\nlists of parameters. The compiler derives the isomorphism chain, verifies\nstructural coherence of the chain against the stated goal, and emits Remotion\nTypeScript. The compiler is the implementation language; Rust is the production\nruntime.\n\n## Architecture\n\nThe system has two components:\n\n**Compiler and type-checker.** A hand-written pipeline — tokeniser, parser,\nintermediate representation, type-checker, emitter — implemented in TypeScript\nfor the web playground and in Rust for production. The type-checker operates\non the intermediate representation before any rendering occurs. It verifies\nthat the effect chain forms a grounded coherence structure (minimum three\nmutually supporting effects), that the chain is consistent with the declared\ngoal cell, and that no step introduces a logical contradiction with an adjacent\nstep. A chain that fails these checks is rejected at compile time with a\ndiagnostic indicating which step breaks coherence and why.\n\n**Remotion emitter.** The intermediate representation is lowered to a Remotion\ncomposition: sequences, interpolations, and layered components. The emitter is\na pure function from IR to TypeScript source and has no knowledge of\nbehavioural semantics — those are resolved entirely by the type-checker.\n\n## Web playground\n\nThe `web/` directory contains an online playground implemented as a Next.js\napplication. It exposes a code editor, a compiled-output panel, and a\ndiagnostic panel. The playground uses a TypeScript port of the compiler. It\nis intended as a limited demonstration of the language surface; production\nrendering requires the Rust compiler.\n\n## Repository layout\n\n```\ndocs/notes/          theoretical foundations and DSL design notes\ndocs/philosophy/     source papers (S-entropy, epistemology, computing)\ndocs/neuroscience/   source papers (Lagrangian agents, neuropartitioning)\npublications/        output papers with numerical validation panels\nsrc/advalidation/    Python validation suite for the advertising theory paper\nweb/                 Next.js playground (template + playground implementation)\n```\n\n## Companion paper\n\nThe theoretical basis is documented in\n`publications/advertising-coordinate-receivers/advertising-coordinate-receiverts.tex`.\nThat paper develops the receiver model, the Floor Theorem, carrier-shift\ndecoupling, the catalyst composition law, campaign saturation conditions, and\nthe coherence triangle, each with a corresponding numerical experiment in\n`src/advalidation/`.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffullscreen-triangle%2Fpugachev-cobra","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ffullscreen-triangle%2Fpugachev-cobra","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffullscreen-triangle%2Fpugachev-cobra/lists"}