pullrequests Search Results · language:Dune language:Python language:Java language:Java language:HTML language:Java language:HTML
Filter by
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 ...