Capture real git HEAD into RunManifest.commit via build.rs (replace AURA_COMMIT placeholder) #15

New Issue

2026-06-04T20:47:57+02:00

Brummel commented

2026-06-04 20:47:57 +02:00

RunManifest.commit is currently filled from option_env!("AURA_COMMIT") defaulting to "unknown" (crates/aura-cli/src/main.rs). The C18 manifest's identity field (commit = which code produced this run) is therefore a placeholder in a normal build.

context: named non-goal of the 0010 spec ('A git-commit build script'). A build.rs in aura-cli capturing the HEAD sha (and dirtiness) at compile time would make the manifest self-identifying — important for the audit-trail invariant (C8 deploy: this bot = this commit) once runs are archived (C18 registry milestone).

depends on: nothing for the capture itself; gains value alongside the C18 run-registry work.

RunManifest.commit is currently filled from option_env!("AURA_COMMIT") defaulting to "unknown" (crates/aura-cli/src/main.rs). The C18 manifest's identity field (commit = which code produced this run) is therefore a placeholder in a normal build. context: named non-goal of the 0010 spec ('A git-commit build script'). A build.rs in aura-cli capturing the HEAD sha (and dirtiness) at compile time would make the manifest self-identifying — important for the audit-trail invariant (C8 deploy: this bot = this commit) once runs are archived (C18 registry milestone). depends on: nothing for the capture itself; gains value alongside the C18 run-registry work.

Brummel added the idea label 2026-06-04 20:47:57 +02:00

Brummel referenced this issue from a commit

2026-06-05 00:12:45 +02:00

test(aura-cli): RED for self-identifying RunManifest.commit

Brummel referenced this issue from a commit

2026-06-05 00:12:45 +02:00

feat(aura-cli): self-identifying RunManifest.commit via build.rs git capture

Brummel closed this issue

2026-06-05 00:12:45 +02:00

Sign in to join this conversation.