Repository navigation
Harden verification and automate judge-verifiable Canton delivery - #8
Conversation
Bind exact issue references and canonical merge commits; classify ledger rejections; add lifecycle/server regression tests, proof export UI, local DPM/Canton automation, CI and submission drafts. Local Node verification: 65 tests passed. Daml, live Canton, browser QA, final video and official submission gates remain explicitly unverified.
Actual CI attempt for delivery commitCommit: The new push and pull-request triggers both fired. PR run: https://github.com/Saidur-droid/CommitLedger/actions/runs/36562746593 All three jobs ( Local execution earlier in this task passed the original 16 Node tests and the expanded 65 Node tests. This is distinct from CI and from real Canton execution. Required unblock: a permitted, internet-connected development machine (the suggested Remote Desktop Commander connection is not yet approved/connected), or an operational GitHub runner. Run No repository visibility, billing, or production credential settings were changed. This PR remains draft; issue #4 remains open. |
HackCanton S3 competition-ready delivery update — 2026-09-29Current head: Completed on this branch:
Still not proven:
Remote Desktop Commander was connected earlier but the development device is currently offline, so real Canton execution cannot be truthfully completed in this session. Keep this PR draft until those runtime gates pass. |
2026-09-30 verified technical handoffTechnical runtime work is green on the proven candidate commit:
Canonical Render service: Verified on the provider-side proof path:
The similarly named What remainsThis is now submission-preparation work, not runtime-debugging work:
Authoritative handoff is now committed in:
Next session should begin by reading PR intentionally remains draft until the submission-side gates are completed. |
2026-09-30 judge-facing proof + QA updateCurrent exact head: Canonical Render deploy: Exact-head provider proof markers:
Judge-facing fix:
Public QA completed after deploy:
PR #8 is now ready for review and mergeable. Remaining work is external/submission-side only: final <=5-minute video, public repository access, final public submission links, AppsFactory account gates, final portal submission and retained receipt. |
Scope
Judge-verifiable HackCanton Season 3 delivery for CommitLedger: canonical GitHub evidence -> role-authorized Daml/Canton workflow -> inspectable settlement receipt.
Current verified candidate
26bd992787401f6458f6685d2ab76aacd05eab4ecommitledger-proof-finaldep-daujs4m0tbcc73dn0c80Executed proof on the exact current head
Render provider-side execution completed successfully:
Saidur-droid/MergeEarn#69-> merged PR#73EXIT STATUS: 0SUCCESS: VERIFIED EVIDENCEThe deployed judge page now exposes the read-only source-bound proof bundle at
/api/proof, including six ledger steps, the SettlementReceipt, package ID, source commit, merge evidence and all three structured negative checks.Judge-facing QA
Public page was fetched successfully in both desktop and mobile modes after deployment.
Verified visible state:
GitHub #69 -> PR #73;Integrity / scope
DEMO_CREDITis non-production test value.commitledger-proofis a discarded/dummy duplicate and is not the canonical delivery.Remaining submission-side gates
Technical/runtime delivery is green. These external/publication gates remain before final competition submission:
See
docs/NEXT_SESSION_HANDOFF.md,docs/FINAL_CHECKLIST.md, anddocs/SUBMISSION_DRAFT.mdfor the handoff.