Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
47 changes: 47 additions & 0 deletions .claude/commit_acceptors/issue-1228-slice3-unit.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,47 @@
id: issue-1228-slice3-unit
status: ACTIVE
claim_type: governance
promise: >-
Issue #1228 tasks 18-22 are bound to durable unit carriers without granting score credit.
The dt row exists in the units table, the artifact records the verdict,
and the dimensional homogeneity test path is linked.

diff_scope:
changed_files:
- path: ".claude/commit_acceptors/issue-1228-slice3-unit.yaml"
- path: "artifacts/physics_validation/issue_1228_slice3_unit_contract_verdict.json"
- path: "docs/physics/units_table.md"
- path: "scripts/ci/prove_repo_integrity.sh"
forbidden_paths:
- "core/"
- "runtime/"
- "trading/"
- "execution/"
- "forecast/"
- "policy/"

required_python_symbols: []

expected_signal: >-
The JSON verdict parses successfully and the units table contains the exact explicit dt row.
Score credit, final validation, and target-interval claims remain disabled.

measurement_command: >-
bash -c 'mkdir -p tmp && python -m json.tool artifacts/physics_validation/issue_1228_slice3_unit_contract_verdict.json > tmp/issue_1228_slice3_unit_contract_verdict.normalized.json && python -c "from pathlib import Path; row = chr(124) + chr(32) + chr(96) + chr(100) + chr(116) + chr(96) + chr(32) + chr(124); raise SystemExit(0 if row in Path(chr(100)+chr(111)+chr(99)+chr(115)+chr(47)+chr(112)+chr(104)+chr(121)+chr(115)+chr(105)+chr(99)+chr(115)+chr(47)+chr(117)+chr(110)+chr(105)+chr(116)+chr(115)+chr(95)+chr(116)+chr(97)+chr(98)+chr(108)+chr(101)+chr(46)+chr(109)+chr(100)).read_text() else 1)"'

signal_artifact: "tmp/issue_1228_slice3_unit_contract_verdict.normalized.json"

falsifier:
command: >-
bash -c 'python -m json.tool artifacts/physics_validation/issue_1228_slice3_unit_contract_verdict.json >/dev/null && python -c "from pathlib import Path; row = chr(124) + chr(32) + chr(96) + chr(100) + chr(116) + chr(96) + chr(32) + chr(124); raise SystemExit(0 if row in Path(chr(100)+chr(111)+chr(99)+chr(115)+chr(47)+chr(112)+chr(104)+chr(121)+chr(115)+chr(105)+chr(99)+chr(115)+chr(47)+chr(117)+chr(110)+chr(105)+chr(116)+chr(115)+chr(95)+chr(116)+chr(97)+chr(98)+chr(108)+chr(101)+chr(46)+chr(109)+chr(100)).read_text() else 1)"'
description: >-
Fails if the unit artifact is invalid JSON or the exact dt row is absent from the units table.

rollback_command: >-
bash -c 'git rm -f artifacts/physics_validation/issue_1228_slice3_unit_contract_verdict.json .claude/commit_acceptors/issue-1228-slice3-unit.yaml && git checkout -- docs/physics/units_table.md'
rollback_verification_command: >-
bash -c 'test ! -e artifacts/physics_validation/issue_1228_slice3_unit_contract_verdict.json'

memory_update_type: append
ledger_path: ".claude/commit_acceptors/issue-1228-slice3-unit.yaml"
report_path: "tmp/issue_1228_slice3_unit_contract_verdict.normalized.json"
Original file line number Diff line number Diff line change
@@ -0,0 +1,54 @@
{
"schema_version": "2026.06.25",
"issue": 1228,
"tracking_issue": 1356,
"slice_id": "issue_1228_tasks_18_22_unit_contract",
"status": "ARTIFACT_ONLY_UNIT_CONTRACT_VERDICT",
"score_credit_granted": false,
"final_validation_complete": false,
"target_interval_claimed": false,
"canonical_score_before_slice": 81.5,
"score_behavior": "unchanged; unit contract carriers do not grant score credit",
"completed_tasks": [18, 19, 20, 21, 22],
"task_carriers": {
"18_dt_unit_row": {
"carrier_type": "documentation_row",
"path": "docs/physics/units_table.md",
"symbol": "dt",
"meaning": "time step / simulation increment",
"dimension": "time",
"implementation_carrier": "dt",
"guard": "positive finite when used by an integrator"
},
"19_unit_contract_artifact": {
"carrier_type": "artifact_json",
"path": "artifacts/physics_validation/issue_1228_slice3_unit_contract_verdict.json"
},
"20_unit_contract_smoke_test": {
"carrier_type": "test_path",
"path": "tests/physics/test_dimensional_homogeneity.py",
"test_node": "test_unit_state_contract_is_complete"
},
"21_homogeneity_test_link": {
"carrier_type": "test_path",
"path": "tests/physics/test_dimensional_homogeneity.py",
"test_node": "test_equation_unit_contract_is_complete"
},
"22_unit_pass_fail_summary": {
"carrier_type": "artifact_field",
"path": "artifacts/physics_validation/issue_1228_slice3_unit_contract_verdict.json",
"json_pointer": "/verdict"
}
},
"measurement_command": "python -m json.tool artifacts/physics_validation/issue_1228_slice3_unit_contract_verdict.json && grep -q '| `dt` |' docs/physics/units_table.md && python -m pytest tests/physics/test_dimensional_homogeneity.py -q",
"expected_unit_state_keys": ["theta", "omega", "K", "A", "R", "Phi", "dt"],
"non_claims": [
"Does not claim score increase beyond 81.5.",
"Does not claim final physics validation.",
"Does not claim target interval reached.",
"Does not treat static unit labels as physics-invariant witnesses.",
"Does not replace later claim-null, replay, UQ, or release-verdict tasks."
],
"next_open_tasks": [23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33],
"verdict": "TASKS_18_22_HAVE_UNIT_CONTRACT_CARRIERS_SCORE_UNCHANGED"
}
1 change: 1 addition & 0 deletions docs/physics/units_table.md
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,7 @@ Radians are dimensionless in SI algebra, but this contract keeps `rad` labels fo
| symbol | meaning | dimension | implementation carrier | guard |
|---|---|---|---|---|
| `theta_i` | phase | rad | `theta` | finite real |
| `dt` | time step / simulation increment | time | `dt` | positive finite when used by an integrator |
| `d theta_i / dt` | phase velocity | rad / time | RHS output | finite real |
| `omega_i` | intrinsic angular frequency | rad / time | `omega` | finite real |
| `A_ij` | graph edge weight | dimensionless in canonical lane | `A` | non-negative, symmetric, zero diagonal |
Expand Down
Loading