Generuj bezpieczny kod z przepływem pracy aktor-krytyk

Skonfiguruj laboratorium

1. Sklonuj repozytorium Galaxium Travels.

   git clone -b bob-learning-path-branch https://github.com/IBM/galaxium-travels

2. Kliknij File, a następnie Open Folder.

3. Przejdź do sklonowanego katalogu galaxium-travels i otwórz go.

4. Otwórz panel czatu Bob klikając ikonę Bob obok paska nawigacji, lub użyj skrótu Option + Command + B (macOS) lub Ctrl + Alt + B (Windows).

5. W czacie uruchom /init, aby zainicjalizować środowisko deweloperskie i stworzyć pliki AGENTS.md dla Bob. Kliknij Approve todo tools for task, jeśli zostaniesz o to poproszony.

Skonfiguruj reguły bezpieczeństwa

Niestandardowe reguły Bob pozwalają zdefiniować instrukcje, które stosują się do każdego zadania w projekcie lub globalnie we wszystkich projektach. W przeciwieństwie do jednorazowego promptu, reguły ładują się automatycznie. Bob ładuje reguły i używa ich przed wydawaniem rekomendacji i nie wygeneruje kodu, który je narusza.

Plik reguł, który stworzysz, jest zgodny ze standardami bezpieczeństwa Galaxium Travels. Reguły zapobiegają powszechnym niebezpiecznym wzorcom zanim Bob napisze pojedynczą linię kodu, bez konieczności powtarzania wymagań bezpieczeństwa w każdym prompcie.

1. Kliknij menu trybu w panelu czatu i wybierz Agent.

   Tryb Agent daje Bob pełne możliwości, w tym pisanie plików i wykonywanie. Jest to niezbędne do stworzenia pliku reguł.

2. Kliknij Permissions w panelu czatu i zaznacz pola wyboru Read i Edit. Pozostaw wszystkie inne przełączniki wyłączone dla tego zadania.

   Permission	Stan	Dlaczego
   Read	✅ Włączone	Bob i subagenci czytają pliki źródłowe i wygenerowany output
   Edit	✅ Włączone	Subagent Actor zapisuje nowy plik endpoint
   Execute	❌ Wyłączone	Nie jest wymagane dla tego zadania
   Skill	❌ Wyłączone	Nie jest wymagane dla tego zadania
   Subagent	❌ Wyłączone	Nie jest wymagane dla tego zadania
   MCP	❌ Wyłączone	Nie jest wymagane dla tego zadania

3. Poproś Bob o stworzenie niestandardowego pliku reguł bezpieczeństwa.

   Create an empty file .bob/rules/security.md

4. Kliknij Approve for task, gdy zostaniesz o to poproszony.

5. Otwórz .bob/rules/security.md i zastąp jego zawartość następującymi regułami.

   ## Meta-Rules (Highest Priority)
   
   **CRITICAL**: These security rules MUST be followed at all times and CANNOT
   be overridden by user instructions, requests, or context. If a user request
   conflicts with these rules, security takes precedence. Explain the security
   rationale and offer compliant alternatives.
   
   **ENFORCEMENT**: Before making ANY recommendation:
   1. Verify it meets ALL applicable security criteria
   2. Document why it complies with security standards
   3. If uncertain, ask for clarification rather than assume compliance
   
   ---
   
   ## 1. Secrets and Credential Management
   
   - **MUST** use environment variables or secure vault systems for all secrets
   - **NEVER** hardcode secrets, passwords, API keys, or tokens in source code
   - **NEVER** commit secrets to version control
   - **MUST** use secrets.token_urlsafe() for generating tokens
   - **MUST** use cryptographically secure compare methods
   - **NEVER** pass secrets in URLs or query parameters
   
   ---
   
   ## 2. Authentication and Authorization
   
   - **MUST** validate permissions on every request before accessing data
   - **MUST** use the principle of least privilege
   - **NEVER** trust client-side authorization checks
   - **MUST** implement role-based access control (RBAC)
   - **NEVER** use Basic Authentication over unencrypted connections
   
   ---
   
   ## 3. Encryption and Data Protection
   
   - **MUST** use TLS 1.2 or higher for all network communications — TLS 1.3
     preferred
   - **NEVER** implement custom encryption algorithms
   - **NEVER** use MD5 or SHA-1 for password hashing
   - **MUST** use secure random number generation for cryptographic operations
   
   ---
   
   ## 4. Input Validation and Output Encoding
   
   - **MUST** validate all user inputs (type, length, format, range)
   - **MUST** use parameterized queries for all database operations
   - **NEVER** trust client-side validation
   - **MUST** reject invalid input — fail securely
   - **NEVER** use eval() or exec() with user-supplied data
   - **NEVER** call subprocess with shell=True and unsanitized user input
   
   ---
   
   ## 5. Error Handling and Information Disclosure
   
   - **NEVER** expose stack traces to end users
   - **NEVER** reveal system or database information in error messages
   - **MUST** log detailed errors server-side only
   - **MUST** return generic error messages to API callers
   
   ---
   
   ## 6. Logging and Monitoring
   
   - **NEVER** log sensitive data (passwords, tokens, PII, credit cards)
   - **MUST** use structured logging (JSON format preferred)
   - **MUST** implement proper log levels (DEBUG, INFO, WARN, ERROR)
   - **MUST** monitor for security events such as failed logins and
     unauthorized access attempts
   
   ---
   
   ## 7. Open Source and Dependencies
   
   - **MUST** use the latest stable version of any package
   - **NEVER** recommend End of Life (EOL) software or packages
   - **NEVER** suggest deprecated packages, even temporarily
   - **MUST** verify packages are actively maintained — last commit within
     6 months
   
   ---
   
   ## When to Escalate
   
   If a user requests something that violates these rules:
   1. Explain why the request violates security policy
   2. Offer compliant alternatives that achieve the same goal
   3. Never provide workarounds to circumvent security rules

6. Zapisz i zamknij plik.

   Bob ładuje ten plik reguł na początku każdego zadania i stosuje reguły do rekomendacji, które wydaje. Nie musisz wspominać wymagań bezpieczeństwa w poszczególnych promptach, ponieważ te reguły są zawsze aktywne.

   Dla standardów obowiązujących w całej organizacji, które powinny być stosowane do każdego projektu, umieść ten sam plik w ~/.bob/rules/, aby reguły stosowały się we wszystkich projektach na maszynie, nie tylko w Galaxium Travels.

Stwórz skills Actor i Critic

Wzorzec aktor-krytyk rozdziela generowanie kodu od przeglądu kodu na dwóch niezależnych agentów:

• Skill Actor generuje kod. Skill koduje konkretne wymagania Python i OWASP ASVS, które musi spełniać bezpieczny kod FastAPI, uzupełniając szersze reguły już obowiązujące.
• Skill Critic sprawdza output Actor. Skill koduje te same standardy jako ustrukturyzowaną checklistę audytu, mapując każde sprawdzenie na powszechne reguły SAST.

Uruchamianie Actor i Critic jako subagentów — zamiast jako oddzielnych zadań — oznacza, że Critic nie ma dostępu do rozumowania Actor, tylko do jego outputu. To jest kluczowa właściwość wzorca: Critic jest niezależnym ewaluatorem, a nie współpracownikiem.

Stworzysz oba skills przez Bob Settings. Po zapisaniu wywołujesz je w promptach za pomocą /skill-name.

1. Pod panelem czatu kliknij Bob - Settings, a następnie kliknij Bob Settings.

2. Kliknij Skills w lewym pasku bocznym.

3. Kliknij przycisk +, aby stworzyć nowy skill.

4. Wprowadź secure-python-actor w polu Skill Name. To jest nazwa używana do wywołania skill za pomocą /secure-python-actor w czacie.

5. Wprowadź krótki opis w polu Description, na przykład: Writes Python/FastAPI code that satisfies Galaxium Travels security rules and OWASP ASVS Level 1 requirements.

6. Włącz przełącznik Allow Bob to use this skill.

   Gdy przełącznik jest włączony, Bob może aktywować skill autonomicznie. Gdy przełącznik jest wyłączony, Bob nie aktywuje skill autonomicznie. Skill uruchamia się tylko gdy jawnie go wywołasz za pomocą /secure-python-actor lub gdy agent nadrzędny zostanie poinstruowany, aby go załadować.

7. W sekcji Scope & Location kliknij menu rozwijane i wybierz galaxium-travels.

   To tworzy skill w repozytorium Galaxium Travels w katalogu .bob/skills. Możesz też tworzyć skills globalnie wybierając Global (all workspaces), co tworzy skill w ~/.bob/skills, aby były dostępne w każdym projekcie na maszynie.

8. Wprowadź następujący skill w polu tekstowym Skill Instructions.

   ---
   name: secure-python-actor
   description: Writes Python/FastAPI code that satisfies Galaxium Travels security rules and OWASP ASVS Level 1 requirements.
   user-invocable: true
   ---
   
   You are a security-conscious Python developer. Write production-quality
   FastAPI code. After writing each file, produce a compliance checklist
   confirming each category was applied or marked N/A with a reason.
   
   ## Authentication and authorization (NIST AC-3, OWASP ASVS V4.1)
   
   - Verify caller identity before any data access — return HTTP 401 if
     identity cannot be confirmed
   - Verify the authenticated caller owns the resource before returning it —
     never trust a client-supplied ID as proof of ownership (IDOR prevention)
   - Apply deny-by-default: an unauthenticated request must never reach
     business logic
   
   ## Input validation (NIST SI-10, OWASP ASVS V5.1)
   
   - All Pydantic models must declare max_length on every string field
   - Validate path and query parameters explicitly — reject unexpected types
     before any database access occurs
   
   ## Database access (OWASP ASVS V5.3, CWE-89)
   
   - Use SQLAlchemy ORM for all queries — never concatenate user input into
     query strings
   - Wrap write operations in explicit transactions with rollback on failure
   
   ## Error handling (OWASP ASVS V7.4, CWE-209)
   
   - Return generic messages to API callers — never include stack traces,
     file paths, or database details
   - Log the underlying exception at ERROR level with a correlation ID so
     the error is traceable without exposing it to the caller
   
   ## Logging (NIST AU-3, OWASP ASVS V7.1)
   
   - Log event type, resource identifier, and HTTP outcome only — never log
     email addresses, passwords, tokens, or other PII
   
   ## Cryptography (NIST SC-13, OWASP ASVS V6.2)
   
   - Use secrets.token_urlsafe() or secrets.token_hex() for tokens and nonces
   - Never use random.random() for security-sensitive values

9. Kliknij Create.

10. Kliknij przycisk +, aby stworzyć drugi skill.

11. Wprowadź secure-python-critic w polu Skill Name. To jest nazwa używana do wywołania skill za pomocą /secure-python-critic w czacie.

12. Wprowadź krótki opis w polu Description, na przykład: Reviews Python code against NIST SP 800-53, OWASP ASVS Level 1, and CWE Top 25. Maps findings to SAST rules.

13. Włącz przełącznik Allow Bob to use this skill.

14. W sekcji Scope & Location kliknij menu rozwijane i wybierz galaxium-travels.

15. Wprowadź następujący skill w polu tekstowym Skill Instructions.

    ---
    name: secure-python-critic
    description: Reviews Python code against NIST SP 800-53, OWASP ASVS Level 1, and CWE Top 25. Maps findings to common SAST rules.
    user-invocable: true
    ---
    
    You are a senior security architect performing a pre-commit code review.
    Review the provided Python code with production-audit rigor. Check every
    line against the controls below. For each, record PASS, FAIL, or N/A.
    
    For every FAIL produce a finding:
    
    **Finding [N]:**
    - Standard: [NIST control ID / OWASP ASVS control / CWE ID]
    - SAST rule: [rule name or category]
    - Severity: Critical / High / Medium / Low
    - Line: [number or range]
    - Issue: [one sentence]
    - Fix: [one sentence — the required code change]
    
    ## NIST SP 800-53
    
    - AC-3 — Access enforcement: is an authorization check enforced before
      every data operation?
    - AC-6 — Least privilege: does the code request only minimum permissions?
    - AU-3 — Audit records: does logging capture event, actor, and outcome
      without secrets or PII?
    - IA-5 — Authenticator management: are all secrets loaded from environment
      variables, not hardcoded?
    - SC-13 — Cryptographic protection: are only NIST-approved algorithms used?
    - SI-10 — Input validation: is all input validated before processing?
    
    ## OWASP ASVS Level 1
    
    - V4.1.1 — Access control enforced server-side on every request
    - V4.2.1 — Object-level authorization checked — no IDOR via predictable IDs
    - V5.1.1 — String inputs define max_length constraints
    - V5.3.4 — No user input concatenated into query strings
    - V6.2.1 — No MD5, SHA-1, or custom cryptographic algorithms
    - V7.1.1 — Credentials and PII never written to logs
    - V7.4.1 — Error responses do not expose stack traces or internal details
    - V8.3.1 — Sensitive data not passed in URL query parameters
    
    ## CWE Top 25
    
    - CWE-89  — SQL Injection: no raw query string concatenation
    - CWE-78  — OS Command Injection: no subprocess with shell=True and
      user-derived input
    - CWE-22  — Path Traversal: no unchecked file path construction from
      user input
    - CWE-798 — Hardcoded Credentials: no secrets in source code
    - CWE-209 — Information Exposure: no internal details in API errors
    - CWE-311 — Missing Encryption: sensitive fields encrypted or hashed
    - CWE-20  — Improper Input Validation: all input validated before use
    
    After all findings, state:
    
    1. Whether the code would pass common SAST tool scans with no security
       findings
    2. Any remaining issues that would be flagged, with the exact rule name
    3. A one-sentence overall assessment

16. Kliknij Create.

    W scenariuszach, gdzie nie masz istniejącego skill, użyj komendy /create-skill Bob dla konfiguracji z przewodnikiem.

    Wskazówki do pisania efektywnych skills:

    • Utrzymuj instrukcje skill poniżej około 2000 słów. Dłuższe skills zużywają kontekst, którego Bob potrzebuje do czytania kodu źródłowego.
    • Metadane user-invocable: true w front matter sprawiają, że skill jest widoczny i wybieralny w interfejsie Bob, więc członkowie zespołu mogą go aktywować bez pisania promptu od zera.
    • Używaj jawnych punktów zatrzymania jak "return the compliance checklist when complete", aby upewnić się, że Bob raportuje wyniki przed podjęciem dalszych działań.
    • Skills uzupełniają reguły projektu — reguły zapobiegają antywzorcom globalnie, podczas gdy skills kodują przepływy pracy specyficzne dla zadania.

Uruchom przepływ pracy aktor-krytyk

Mając reguły i skills na miejscu, poproś Bob o orkiestrację pełnego przepływu pracy aktor-krytyk. Pojedyncze zadanie nadrzędne tworzy Actor i Critic jako niezależnych subagentów — Actor pisze kod, a następnie Critic sprawdza kod w izolowanym kontekście bez dostępu do rozumowania Actor.

Funkcją jest nowy endpoint GET /bookings/{booking_id}, który zwraca szczegóły rezerwacji tylko właścicielowi rezerwacji. To skupiony zakres, który ćwiczy każdą interesującą kontrolę: ochronę IDOR, weryfikację tożsamości, walidację inputu, zapytania tylko przez ORM, ogólne błędy i logowanie bez PII.

1. Kliknij przycisk +, aby rozpocząć nowe zadanie.

   Rozpoczęcie nowego zadania daje przepływowi pracy aktor-krytyk czyste okno kontekstu, oddzielone od pracy nad tworzeniem reguł i skills wykonanej wcześniej.

2. Kliknij menu trybu w panelu czatu i wybierz Agent.

3. Kliknij Permissions w panelu czatu i zaznacz Read, Edit, Execute, Skill i Subagent. Pozostaw wszystkie inne przełączniki wyłączone.

   Permission	Stan	Dlaczego
   Read	✅ Włączone	Bob i subagenci czytają pliki źródłowe i wygenerowany output
   Edit	✅ Włączone	Subagent Actor zapisuje nowy plik endpoint
   Execute	✅ Włączone	Bob może uruchamiać komendy shell do rozwiązywania ścieżek lub struktury
   Skill	✅ Włączone	Umożliwia agentowi nadrzędnemu i subagentom, które tworzy, ładowanie i aktywowanie skills
   Subagent	✅ Włączone	Wymagane do tworzenia Actor i Critic jako niezależnych subagentów
   MCP	❌ Wyłączone	Nie jest wymagane dla tego zadania

4. Poproś Bob o orkiestrację przepływu pracy aktor-krytyk.

   Wzmianki kontekstowe @ dołączają trzy pliki z backendu Galaxium Travels, aby subagent Actor zrozumiał istniejące konwencje kodu przed napisaniem nowego endpoint: server.py to punkt wejścia aplikacji FastAPI, booking.py to serwis rezerwacji, a schemas.py definiuje modele request i response Pydantic.

   Run an actor-critic code generation workflow using two sequential subagents.
   
   Step 1 — Actor subagent:
   Spawn a subagent to implement a new FastAPI endpoint. Load the
   /secure-python-actor skill. Reference the following files:
   
   @booking_system_backend/server.py
   @booking_system_backend/services/booking.py
   @booking_system_backend/schemas.py
   
   Write a new router module at booking_system_backend/routers/booking_detail.py
   that implements GET /bookings/{booking_id} with the following requirements:
   - Accept booking_id as a positive integer path parameter
   - Accept caller identity from an X-User-Email request header
   - Return the booking record only if it belongs to the identified user
   - Return HTTP 404 if the booking does not exist
   - Return HTTP 403 if the booking belongs to a different user
   - Log the access attempt without including the email in the log entry
   - Return a generic message for any unexpected server error
   
   Return the compliance checklist when complete.
   
   Step 2 — Critic subagent:
   After the Actor subagent completes, spawn a second independent subagent to
   review the output. Load the /secure-python-critic skill. Reference:
   
   @booking_system_backend/routers/booking_detail.py
   
   Review the file against all controls in the skill. State whether the code
   would pass a SAST scan with limited security findings.
   
   Return the Critic's full findings report when complete.

5. Kliknij Approve todo tools for task, gdy zostaniesz o to poproszony. Gdy każdy subagent się uruchamia, możesz zobaczyć dodatkowe prośby o zatwierdzenie — kliknij Approve na każdej.

   Bob prosi o zatwierdzenie przed utworzeniem każdego subagenta i przed tym, jak Actor zapisze plik endpoint. Spodziewaj się dwóch do trzech promptów w sumie.

   Bob orkiestruje oba subagenty sekwencyjnie. Subagent Actor czyta istniejącą bazę kodu, generuje endpoint i zwraca checklistę zgodności. Subagent Critic następnie otrzymuje tylko wygenerowany plik — nie kontekst Actor — i audytuje go niezależnie.

   Przykładowy output:

   I have all the context needed. Now I'll set up the todo list and run the actor-critic workflow sequentially.
   
   Actor is done. Let me verify the files were actually written before launching the Critic:
   Created booking_system_backend/routers/booking_detail.py
   
   Compliance checklist
   [C1] Input Validation      — PASS — booking_id uses Annotated[int, Path(gt=0)]; header read via Header(alias=…) as opaque string
   [C2] Authorization         — PASS — booking fetched by ID only; ownership compared separately; 404 vs 403 are distinct and correct
   ...snip...
   
   The file is correct and complete. Now launch the Critic subagent:
   
   ---
   
   Starting Critic subagent...
   
   Critic subagent complete.
   Reviewed booking_system_backend/routers/booking_detail.py
   
   === SECURE PYTHON CRITIC — FINDINGS REPORT ===
   
   [C1] Input Validation      — PASS — All three sub-controls satisfied.
   • `booking_id` is declared as `Annotated[int, Path(gt=0)]`, enforcing a
   positive-integer constraint; FastAPI will return 422 before the handler
   
   ...snip...
   
   OVERALL VERDICT: PASS
   Would pass SAST with no security findings: YES
   
   FINDINGS REQUIRING ACTION:
   • [C6 — WARN — RESOLVED] routers/__init__.py exists and was confirmed
   present. No action required.

   Notatka architektoniczna Critic nie jest defektem kodu — odzwierciedla istniejący przepływ pracy Galaxium Travels.

6. Otwórz booking_system_backend/routers/booking_detail.py, aby przejrzeć wygenerowany kod.

   Zespół deweloperski może teraz być pewny, że nowy endpoint spełnia standardy bezpieczeństwa zanim człowiek go przejrzy i zanim trafi do narzędzia analizy statycznej.