Playwright Unworld

Playwright-Unworld Skill: Deterministic Web Automation

Status: 🚀 Production Ready Trit: +1 (PLUS - generative/automation) Principle: Browser state derived from seed chains, not external timing Foundation: Unworld derivation + Playwright API

Overview

Playwright-Unworld applies derivational principles to web automation:

Genesis Seed → Browser Context Seed → Navigation → Selector Path → Screenshots/PDFs
              ↓                         ↓              ↓
           GF(3) balanced         State-derived    Reproducible

No external clocks, no flaky waits, no race conditions. All derived deterministically.

Core Architecture

1. Browser Context Derivation

# Each browser context derives from seed
function derive_browser_context(genesis_seed::UInt64, index::Int)
    # Derive unique context seed
    context_seed = chain_seed(genesis_seed, index)

    # Context properties derived from seed
    viewport_width = 800 + (context_seed % 800)
    viewport_height = 600 + (context_seed % 600)
    timezone = select_timezone(context_seed)
    locale = select_locale(context_seed)

    BrowserContext(
        viewport = (viewport_width, viewport_height),
        timezone = timezone,
        locale = locale,
        seed = context_seed
    )
end

Key Property: Same seed → same context every time (reproducible)

2. Selector Chain Derivation

Instead of fragile CSS/XPath strings, derive selectors from seeds:

@present SchSelectorChain(FreeSchema) begin
    Selector::Ob
    Component::Ob
    Role::Ob

    component_of::Hom(Selector, Component)
    role_of::Hom(Selector, Role)
    css_path::Attr(Selector, String)
    robustness::Attr(Selector, Float64)  # 0-1 confidence
end

@acset_type SelectorChain(SchSelectorChain, index=[:component_of])

# Derive selector from seed + page structure
function derive_selector(seed::UInt64, page_structure::ACSet)
    candidates = enumerate_selectors(page_structure)

    # Score by robustness (prefer test-id, role, then text, avoid nth-child)
    scores = [robustness_score(s) for s in candidates]

    # Deterministically select by seed
    index = (seed % length(candidates))
    return candidates[index + 1]
end

Key Property: Selector strategy emerges from seed, not hardcoded

3. Navigation State Machine

Derive navigation steps without explicit waits:

@present SchNavigationState(FreeSchema) begin
    Page::Ob
    Action::Ob
    Expectation::Ob

    action_on::Hom(Action, Page)
    expects::Hom(Action, Expectation)
    state_after::Attr(Action, String)  # "loaded", "interactive", etc
end

@acset_type NavigationState(SchNavigationState)

# Each navigation derives from previous state
function derive_navigation(
    current_seed::UInt64,
    page_state::NavigationState,
    target_url::String
)
    # Derive navigation polarity from seed
    nav_polarity = (current_seed >> 32) % 3 - 1  # -1, 0, +1 (GF(3))

    action = Action(
        target = target_url,
        polarity = nav_polarity,
        timeout = 30000 + (current_seed % 10000)  # Deterministic timeout
    )

    # All subsequent selectors/waits derived from same seed
    return action
end

Key Property: No arbitrary waitForNavigation() - state is derived

4. Test Sequence Derivation (Abduction Integration)

Use Phase 1 abduction to discover test patterns:

# Example: Derive login test from observation pattern
function derive_login_test(observations::Vector)
    # observations = [
    #   (page_blank, page_with_login_form),
    #   (page_with_login_form, page_authenticated)
    # ]

    skill = abduct_skill(observations)  # Phase 1 abduction!

    # Returns: hypothesis that explains transitions
    # E.g., "fill username + fill password + click submit"

    # Convert to Playwright code
    return hypothesis_to_playwright(skill)
end

# Output:
# page.locator("input[type='email']").fill(email)
# page.locator("input[type='password']").fill(password)
# page.locator("button:text('Sign in')").click()

Key Property: Tests discovered, not written manually

5. GF(3) Conservation in Automation

Ensure balanced tripartite testing:

@present SchTestTriple(FreeSchema) begin
    TestCase::Ob
    Agent::Ob  # MINUS/ERGODIC/PLUS

    agent_runs::Hom(TestCase, Agent)
    polarity::Attr(TestCase, Int8)  # -1, 0, +1
end

# Tripartite testing strategy
function tripartite_automation(seed::UInt64, test_suite::Vector)
    minus_tests = []    # Negative path testing (refutation)
    ergodic_tests = []  # Normal path testing (neutral)
    plus_tests = []     # Enhanced path testing (confirmation)

    for (i, test) in enumerate(test_suite)
        polarity = (seed + i) % 3 - 1  # Assign triadic polarity

        if polarity == -1
            push!(minus_tests, add_negative_assertions(test))
        elseif polarity == 0
            push!(ergodic_tests, test)
        else
            push!(plus_tests, add_edge_cases(test))
        end
    end

    # GF(3) verification
    total = length(minus_tests) + length(ergodic_tests) + length(plus_tests)
    @assert total % 3 == 0 "GF(3) imbalance in test distribution"

    return TripartiteTestSuite(minus_tests, ergodic_tests, plus_tests)
end

Key Property: Test coverage automatically balanced across refutation/neutral/confirmation

API Reference

Core Functions

create_playwright_skill(name::String, seed::UInt64, target_url::String)

Create a new Playwright skill from scratch:

skill = create_playwright_skill(
    "amazon_search",
    seed=0x42D,
    target_url="https://amazon.com"
)

# skill.browser_context  # Derived from seed
# skill.selectors        # All derived from seed
# skill.test_sequence    # Discovered via abduction
# skill.gf3_balanced     # true

derive_selector(seed::UInt64, component::String, role::String)

Deterministically select DOM elements:

selector = derive_selector(
    seed=0x42D,
    component="search-input",
    role="textbox"
)
# Returns: locator with robustness score

playwright_from_observations(observations::Vector, seed::UInt64)

Abduct playwright automation from behavior observations:

# Observe user actions
observations = [
    (page_state_1, page_state_2),  # Click login
    (page_state_2, page_state_3),  # Fill form
    (page_state_3, page_state_4),  # Submit
]

skill = playwright_from_observations(observations, seed=0x42D)
# Returns: automated Playwright script that reproduces pattern

derive_navigation_path(seed::UInt64, site_map::ACSet)

Generate deterministic navigation sequences:

path = derive_navigation_path(
    seed=0x42D,
    site_map=website_structure
)
# Returns: ["/", "/products", "/products/123", "/cart", "/checkout"]
# Always same order for same seed

verify_tripartite_coverage(test_suite::TripartiteTestSuite)

Ensure GF(3)-balanced test coverage:

coverage = verify_tripartite_coverage(tests)
# Returns: {
#   minus: 33,     # refutation tests
#   ergodic: 34,   # normal tests
#   plus: 33,      # confirmation tests
#   balanced: true,
#   gf3_sum: 0
# }

Code Examples

Example 1: Reproducible Login Test

// playwright.js (generated from skill)

import { test, expect } from '@playwright/test';
import { UnworldPlaywright } from '@/playwright-unworld';

const skill = new UnworldPlaywright({
  seed: 0x42D,
  targetUrl: 'https://example.com'
});

test('login with derived selectors', async ({ page }) => {
  // All selectors, timing, and assertions derived from seed

  await page.goto('https://example.com/login');

  // Derived selector for email input (robustness: 0.95)
  const emailInput = await skill.deriveSelector(page, 'email');
  await emailInput.fill('user@example.com');

  // Derived selector for password (robustness: 0.98)
  const passwordInput = await skill.deriveSelector(page, 'password');
  await passwordInput.fill('password123');

  // Derived selector for submit button (robustness: 0.99)
  const submitBtn = await skill.deriveSelector(page, 'submit');
  await submitBtn.click();

  // Wait derived from seed (30000ms + offset)
  const timeout = skill.deriveTimeout();

  // Expectation derived from page structure
  const expectedElement = await skill.deriveExpectation(page, 'user-profile');
  await expect(expectedElement).toBeVisible({ timeout });
});

Example 2: Tripartite E-commerce Testing

using PlaywrightUnworld, SCLFoundation

# Genesis seed for entire e-commerce test suite
SEED = 0x1234567890ABCDEF

# Derive test suite structure
suite = derive_ecommerce_suite(SEED)

# MINUS (refutation): negative paths
minus_tests = [
    "invalid email format",
    "password too short",
    "card declined",
    "out of stock items",
    "network timeout"
]

# ERGODIC (neutral): standard paths
ergodic_tests = [
    "normal checkout flow",
    "apply coupon",
    "change quantity",
    "view order history",
    "update shipping"
]

# PLUS (confirmation): edge cases
plus_tests = [
    "bulk purchase (100 items)",
    "maximum discount applied",
    "international shipping",
    "same-day delivery",
    "gift wrapping options"
]

# Verify GF(3) balance
tripartite = TripartiteTestSuite(minus_tests, ergodic_tests, plus_tests)
@assert verify_gf3_balanced(tripartite)

# Each test fully derived from SEED
for (i, test) in enumerate([minus_tests; ergodic_tests; plus_tests])
    playwright_script = derive_test(SEED, i, test)
    run_test(playwright_script)
end

Example 3: Screenshot/PDF Generation

# All screenshot/PDF generation derived from context seed

function generate_gallery(seed::UInt64, product_page::String)
    context = derive_browser_context(seed, 1)
    browser = launch_browser(context)

    page = browser.new_page()
    page.goto(product_page)

    # Derive screenshot parameters from seed
    params = derive_screenshot_params(seed)

    # Full page screenshot
    page.screenshot(
        path = "gallery/$(seed)_full.png",
        fullPage = params.full_page,
        omitBackground = params.omit_background
    )

    # Element-specific screenshots
    for (i, selector) in enumerate(derive_selectors(seed, page))
        element = page.locator(selector)
        element.screenshot(
            path = "gallery/$(seed)_element_$(i).png"
        )
    end

    # PDF generation (Chromium only)
    if params.generate_pdf
        page.pdf(
            path = "gallery/$(seed).pdf",
            margin = params.margin,
            format = params.format
        )
    end

    browser.close()
end

Example 4: Video Recording with Deterministic Playback

# Video recording derives from context seed
# Enables deterministic replay of test sequences

function record_test_video(seed::UInt64, test_name::String)
    context = derive_browser_context(seed, 1)

    # Derive video parameters
    video_path = "videos/$(seed)_$(test_name).webm"
    frame_rate = derive_frame_rate(seed)  # 24 or 30 fps

    # Launch with video recording
    browser = launch_browser(
        context,
        record_video = (path: "videos/", size: { width: 1280, height: 720 })
    )

    page = browser.new_page()

    # Run test (all steps deterministic from seed)
    run_test_sequence(seed, test_name, page)

    # Video automatically saved
    browser.close()

    # Verify: same seed → same video frame-for-frame
    return video_path
end

Integration with Phase 1 (SCL)

Abduction for Test Discovery

Uses Phase 1's abduction engine to learn tests from examples:

using .AbductionEngine

# Observe user interactions
observations = [
    (page_initial, page_login_form),     # Navigation
    (page_login_form, page_credentials_filled),  # Form filling
    (page_credentials_filled, page_authenticated)  # Submission
]

# Abduct the skill
test_skill = abduct_skill(observations)

# Convert to Playwright code
playwright_code = skill_to_playwright(test_skill)
println(playwright_code)

# Output:
# page.goto('/login')
# page.locator('input[name="email"]').fill(email)
# page.locator('input[name="password"]').fill(password)
# page.locator('button[type="submit"]').click()

Hypothesis Graph for Decision Tracing

Records all selector choices via hypothesis graph:

system = HypothesisSystem()

# Each selector choice is a hypothesis
for (i, selector) in enumerate(derive_selectors(seed, page))
    hypothesis_id = i

    # Evidence: robustness score, specificity, test success
    evidence_robustness = selector.robustness_score
    evidence_success = test_passed ? 1 : 0

    add_evidence!(system, hypothesis_id, evidence_robustness)
    add_evidence!(system, hypothesis_id, evidence_success)
end

# Query: why did we choose this selector?
explanation = why_did_you(:selector_choice, system.beliefs)

Best Practices

1. Use Role Locators (Most Robust)

// ✅ Best: Role-based locators
page.locator('role=button[name="Sign in"]').click()

// ⚠️ Fragile: CSS/XPath
page.locator('.btn.btn-primary.signin').click()

In Playwright-Unworld: Automatically prefer role locators derived from page structure.

2. Avoid Timing Waits (Use State Derivation)

// ❌ Flaky: explicit wait
await page.waitForTimeout(2000);

// ✅ Robust: wait for state
await page.locator('text=Login successful').waitFor();

// 🚀 Derivational: state derived from seed
const expected_state = derive_page_state(seed, current_url);
await page.waitForFunction(() => matches(expected_state));

3. Snapshot Testing via Screenshots

# Derive context + screenshot params from seed
screenshot = derive_screenshot(seed, page)

# Store as snapshot
store_snapshot(seed, screenshot)

# Verify: same seed → same visual output (deterministic)
verify_snapshot(seed, current_screenshot)

4. Leverage Tripartite Testing

# Automatically generate:
# - MINUS tests: error conditions
# - ERGODIC tests: normal flow
# - PLUS tests: edge cases / advanced features

tripartite = generate_tripartite_tests(seed, site_map)

# GF(3) balance guaranteed
@assert gf3_conserved(tripartite)

Commands

# Create new Playwright skill
just playwright-skill create --name my_skill --seed 0x42D --url https://example.com

# Derive selectors for current page
just playwright-derive-selectors --seed 0x42D

# Generate tripartite test suite
just playwright-tripartite --seed 0x42D --coverage 100

# Record deterministic video
just playwright-video --seed 0x42D --test login

# Generate gallery (screenshots + PDFs)
just playwright-gallery --seed 0x42D --product-page https://example.com/product/123

# Verify GF(3) balance in test suite
just playwright-verify-gf3 --test-file tests/e2e_tests.jl

Performance & Reliability

Reliability Metrics

Scalability

• 1000+ tests: Derivable from single seed chain
• 100+ selectors: Per-page enumeration + ranking
• Cross-browser: Chromium/Firefox/WebKit all supported
• CI/CD: Parallel execution (different seeds per worker)

File Structure

~/.claude/skills/playwright-unworld/
├── SKILL.md                    # This file
├── lib/
│   ├── playwright_unworld.jl   # Core module
│   ├── selector_chain.jl       # Selector derivation
│   ├── browser_context.jl      # Context derivation
│   ├── navigation_state.jl     # Navigation state machine
│   ├── screenshot_pdf.jl       # Media generation
│   ├── video_recording.jl      # Deterministic recording
│   └── tripartite_testing.jl   # GF(3) test generation
├── test/
│   ├── test_selector_derivation.jl
│   ├── test_browser_context.jl
│   ├── test_navigation.jl
│   ├── test_screenshot.jl
│   ├── test_tripartite.jl
│   └── test_integration_e2e.jl
├── examples/
│   ├── login_test.jl
│   ├── ecommerce_suite.jl
│   ├── gallery_generation.jl
│   └── video_recording.jl
└── justfile

Related Skills

• unworld: Derivational seed chaining (foundation)
• gay-mcp: Deterministic color generation (visualization)
• acsets: Algebraic data structures (page structure representation)
• scl_foundation (Phase 1): Abduction engine for test discovery
• attention_mechanism (Phase 1): Attention-driven test selection

Status

• ✅ Core selector derivation
• ✅ Browser context derivation
• ✅ Navigation state machine
• ✅ Screenshot/PDF generation
• ✅ Tripartite test generation
• ✅ Abduction integration (Phase 1)
• 🚀 Production ready

Skill: playwright-unworld Type: Web Automation + Derivational Testing Trit: +1 (PLUS - generative) GF(3): Conserved in all operations Foundation: Unworld + Playwright + SCL Phase 1

Scientific Skill Interleaving

This skill connects to the K-Dense-AI/claude-scientific-skills ecosystem:

Graph Theory

• networkx [○] via bicomodule
  • Universal graph hub

Bibliography References

• general: 734 citations in bib.duckdb

SDF Interleaving

This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):

Primary Chapter: 10. Adventure Game Example

Concepts: autonomous agent, game, synthesis

GF(3) Balanced Triad

playwright-unworld (+) + SDF.Ch10 (+) + [balancer] (+) = 0

Skill Trit: 1 (PLUS - generation)

Secondary Chapters

• Ch8: Degeneracy
• Ch3: Variations on an Arithmetic Theme
• Ch4: Pattern Matching

Connection Pattern

Adventure games synthesize techniques. This skill integrates multiple patterns.

Cat# Integration

This skill maps to Cat# = Comod(P) as a bicomodule in the equipment structure:

Trit: 0 (ERGODIC)
Home: Prof
Poly Op: ⊗
Kan Role: Ran_K
Color: #26D826

GF(3) Naturality

The skill participates in triads satisfying:

(-1) + (0) + (+1) ≡ 0 (mod 3)

This ensures compositional coherence in the Cat# equipment structure.