{"source":"gitlab-ci-artifact","ledger":{"schema":"proofofdone/ledger/v1","generated_at":"2026-10-27T09:20:12+00:00","project":"https://gitlab.com/gitlab-ai-hackathon/transcend-october-2026/43754540/showcase","commit":{"sha":"e7ce392cdd7504ce98f683bd58683bb97a6d5230","ref":"main","title":"Merge branch 'proof/fix-6' into 'main'","author":"Satyam dwivedi <satyam.satyam.dwivedi@gmail.com>"},"pipeline":{"id":"2993483893","url":"https://gitlab.com/gitlab-ai-hackathon/transcend-october-2026/43754540/showcase/-/pipelines/2993483893","source":"push"},"job":{"id":"17496883460","url":"https://gitlab.com/gitlab-ai-hackathon/transcend-october-2026/43754540/showcase/-/jobs/17496883460","name":"deploy:production"},"merge_request":null,"release":{"tag":"v1.0.39","url":"https://gitlab.com/gitlab-ai-hackathon/transcend-october-2026/43754540/showcase/-/releases/v1.0.39"},"image":{"ref":"us-east1-docker.pkg.dev/core-web-486606/proof-of-done/workday-api:e7ce392cdd7504ce98f683bd58683bb97a6d5230","digest":"sha256:8c9fb93c6346936e6a4610f693cd8c51703b4d997e82c8e4cce4e6cdc44bcf1f"},"environments":{"staging":{"base_url":"https://main---workday-api-staging-zw5wyrflmq-ue.a.run.app","passed":true,"totals":{"pass":10,"fail":0,"error":0,"checks":10,"flaky":0},"checked_at":"2026-10-27T09:15:23+00:00"},"production-candidate":{"base_url":"https://candidate---workday-api-zw5wyrflmq-ue.a.run.app","passed":true,"totals":{"pass":10,"fail":0,"error":0,"checks":10,"flaky":0},"checked_at":"2026-10-27T09:20:06+00:00"},"production":{"base_url":"https://workday-api-zw5wyrflmq-ue.a.run.app","passed":true,"totals":{"pass":10,"fail":0,"error":0,"checks":10,"flaky":0},"checked_at":"2026-10-27T09:20:12+00:00"}},"gate":{"schema":"proofofdone/gate-decision/v1","decision":"allow","reasons":[],"notes":["issue-2-workday-v1:AC7 has no automated proof; waived by @satyam.satyam.dwivedi"],"evaluated":{"active_contracts":2,"contracts_staging":{"pass":10,"fail":0,"error":0,"checks":10,"flaky":0},"security_findings_by_severity":{},"sbom_components":19}},"promises":[{"issue":2,"issue_url":"https://gitlab.com/gitlab-ai-hackathon/transcend-october-2026/43754540/showcase/-/issues/2","contract":"issue-2-workday-v1","contract_path":"contracts/issue-2-workday-v1.contract.yaml","title":"Workday API v1: US + DE holidays and business days","status":"active","drafted_by":"human","criteria":[{"id":"AC1","text":"GET /v1/holidays for the US in 2026 lists all 11 federal holidays, including Thanksgiving on 2026-11-26.","checks":1,"untestable_reason":null,"verdicts":{"staging":"pass","production-candidate":"pass","production":"pass"}},{"id":"AC2","text":"Holidays that fall on a weekend report the weekday they are observed on (US Independence Day 2026 is a Saturday and is observed on Friday 2026-07-03).","checks":1,"untestable_reason":null,"verdicts":{"staging":"pass","production-candidate":"pass","production":"pass"}},{"id":"AC3","text":"Germany's Easter-dependent holidays are computed correctly: Karfreitag on 2026-04-03 and Pfingstmontag on 2026-05-25.","checks":1,"untestable_reason":null,"verdicts":{"staging":"pass","production-candidate":"pass","production":"pass"}},{"id":"AC4","text":"Business days in Germany from 2026-12-21 to 2026-12-31 (inclusive) are 8, because Christmas Day is excluded.","checks":1,"untestable_reason":null,"verdicts":{"staging":"pass","production-candidate":"pass","production":"pass"}},{"id":"AC5","text":"Unsupported countries return HTTP 404 with the machine-readable error code unsupported_country.","checks":1,"untestable_reason":null,"verdicts":{"staging":"pass","production-candidate":"pass","production":"pass"}},{"id":"AC6","text":"is-business-day reports that 2026-12-25 in the US is not a business day because it is Christmas Day.","checks":1,"untestable_reason":null,"verdicts":{"staging":"pass","production-candidate":"pass","production":"pass"}},{"id":"AC7","text":"The API reference is understandable for payroll staff who are not developers.","checks":0,"untestable_reason":"Subjective readability; needs a human review rather than an HTTP probe.","verdicts":{"staging":"untestable","production-candidate":"untestable","production":"untestable"}}]},{"issue":3,"issue_url":"https://gitlab.com/gitlab-ai-hackathon/transcend-october-2026/43754540/showcase/-/issues/3","contract":"issue-3-india-holidays","contract_path":"contracts/issue-3-india-holidays.contract.yaml","title":"Support India (IN) national holidays","status":"active","drafted_by":"duo-flow:proof-contract-compiler","criteria":[{"id":"AC1","text":"`GET /v1/holidays?country=IN&year=2026` returns India's three national holidays: Republic Day (2026-01-26), Independence Day (2026-08-15) and Gandhi Jayanti (2026-10-02).","checks":1,"untestable_reason":null,"verdicts":{"staging":"pass","production-candidate":"pass","production":"pass"}},{"id":"AC2","text":"`GET /v1/countries` lists India with the code `IN`.","checks":1,"untestable_reason":null,"verdicts":{"staging":"pass","production-candidate":"pass","production":"pass"}},{"id":"AC3","text":"Business days in India from 2026-10-01 to 2026-10-09 (inclusive) are 6, because Gandhi Jayanti (Friday 2026-10-02) is excluded.","checks":1,"untestable_reason":null,"verdicts":{"staging":"pass","production-candidate":"pass","production":"pass"}},{"id":"AC4","text":"`GET /v1/is-business-day?country=IN&date=2026-01-26` reports that it is not a business day because it is Republic Day.","checks":1,"untestable_reason":null,"verdicts":{"staging":"pass","production-candidate":"pass","production":"pass"}}]}],"_job":{"id":17496883460,"name":"deploy:production","status":"success","web_url":"https://gitlab.com/gitlab-ai-hackathon/transcend-october-2026/43754540/showcase/-/jobs/17496883460","finished_at":"2026-10-27T09:20:15.358Z"}},"live":{"checked_at":"2026-10-28T00:48:59+00:00","totals":{"pass":10,"fail":0,"error":0,"checks":10,"flaky":0},"criteria":[{"contract":"issue-2-workday-v1","issue":2,"criterion":"AC1","text":"GET /v1/holidays for the US in 2026 lists all 11 federal holidays, including Thanksgiving on 2026-11-26.","checks":1,"passed":1,"status":"pass","title":"Workday API v1: US + DE holidays and business days"},{"contract":"issue-2-workday-v1","issue":2,"criterion":"AC2","text":"Holidays that fall on a weekend report the weekday they are observed on (US Independence Day 2026 is a Saturday and is observed on Friday 2026-07-03).","checks":1,"passed":1,"status":"pass","title":"Workday API v1: US + DE holidays and business days"},{"contract":"issue-2-workday-v1","issue":2,"criterion":"AC3","text":"Germany's Easter-dependent holidays are computed correctly: Karfreitag on 2026-04-03 and Pfingstmontag on 2026-05-25.","checks":1,"passed":1,"status":"pass","title":"Workday API v1: US + DE holidays and business days"},{"contract":"issue-2-workday-v1","issue":2,"criterion":"AC4","text":"Business days in Germany from 2026-12-21 to 2026-12-31 (inclusive) are 8, because Christmas Day is excluded.","checks":1,"passed":1,"status":"pass","title":"Workday API v1: US + DE holidays and business days"},{"contract":"issue-2-workday-v1","issue":2,"criterion":"AC5","text":"Unsupported countries return HTTP 404 with the machine-readable error code unsupported_country.","checks":1,"passed":1,"status":"pass","title":"Workday API v1: US + DE holidays and business days"},{"contract":"issue-2-workday-v1","issue":2,"criterion":"AC6","text":"is-business-day reports that 2026-12-25 in the US is not a business day because it is Christmas Day.","checks":1,"passed":1,"status":"pass","title":"Workday API v1: US + DE holidays and business days"},{"contract":"issue-3-india-holidays","issue":3,"criterion":"AC1","text":"`GET /v1/holidays?country=IN&year=2026` returns India's three national holidays: Republic Day (2026-01-26), Independence Day (2026-08-15) and Gandhi Jayanti (2026-10-02).","checks":1,"passed":1,"status":"pass","title":"Support India (IN) national holidays"},{"contract":"issue-3-india-holidays","issue":3,"criterion":"AC2","text":"`GET /v1/countries` lists India with the code `IN`.","checks":1,"passed":1,"status":"pass","title":"Support India (IN) national holidays"},{"contract":"issue-3-india-holidays","issue":3,"criterion":"AC3","text":"Business days in India from 2026-10-01 to 2026-10-09 (inclusive) are 6, because Gandhi Jayanti (Friday 2026-10-02) is excluded.","checks":1,"passed":1,"status":"pass","title":"Support India (IN) national holidays"},{"contract":"issue-3-india-holidays","issue":3,"criterion":"AC4","text":"`GET /v1/is-business-day?country=IN&date=2026-01-26` reports that it is not a business day because it is Republic Day.","checks":1,"passed":1,"status":"pass","title":"Support India (IN) national holidays"},{"contract":"issue-2-workday-v1","issue":2,"criterion":"AC7","text":"The API reference is understandable for payroll staff who are not developers.","reason":"Subjective readability; needs a human review rather than an HTTP probe.","checks":0,"passed":0,"status":"untestable","title":"Workday API v1: US + DE holidays and business days"}]}}