Skip to content

pullrequests Search Results · language:Dune language:Python language:Java language:Java language:HTML language:Java language:HTML

Filter by

113M results  (2 s)

113M results

Authored by agent for task T04. Initialize Alembic, add SQLAlchemy engine/session module, settings via pydantic-settings reading DATABASE_URL.

Summary Fixes all 4 skill conformance validation errors identified in CI run 27061150318. Changes - harness-integration-tracker: Fix role field format - Changed: role: senior-engineer | ...

The wheel of fractions: §VIII conjecture → theorem Replaces the True := trivial §VIII placeholder conjecture in ZPJ_Wheel.lean with a real, machine-verified theorem. The construction is Carlström s wheel ...

Summary - add Phase 3.3 design notes for flexible human scheduler time inputs - document availability windows, fixed events, now-based rolling reschedule, and split policy - add pytest as a Scheduler ...

Summary - Revise portfolio Notion schema to snapshot-based single-portfolio planning with Layer 3 analysis outputs and guardrails policy docs. - Add read-only evaluate-portfolio-guardrails skill ...

Problem The spring.datasource.url in src/main/resources/application.properties was hardcoded with a Railway internal MySQL URL including plaintext credentials. This caused Spring Boot to ignore the DB_URL ...

Mirrors the internal lessons.md graduation sweep — adds code-enforceable conventions (circuit breakers, SSRF/XML security, DI-sink, make prepush, artifact-tags parsing, config precedence, etc.) to their ...