본문 바로가기
Private Engineering Method System

흩어진 계산서를,
검증된 사내 Method로.

기존 Excel, VBA, 매뉴얼과 검증 자료를 분석해 단위, 기준, 테스트와 승인 이력을 가진 실행 가능한 Method Pack으로 전환합니다.

Legacy Workbook
=IF(B12>0,VLOOKUP(...
=C3*D3/1000
'수정금지_최종_v7(2).xls
=Sheet3!F12+보정값
출처 불명 · 검증 이력 없음
Method Pack
v1.2.0
schema: 입력 12 · 단위 강제
kernel: deterministic
tests: 47 passed
clause: KDS 연결
approval: 서명 완료
legacy-reproduction · 재현 검증됨
Source mappedKernel executedChecker approved
Product concept
1Why

수십 년의 계산 노하우가, 담당자 PC의 Excel 파일로만 존재합니다.

출처가 사라집니다

수식이 어디서 왔는지, 어느 기준을 적용했는지 파일만 봐서는 알 수 없습니다.

검증이 반복되지 않습니다

담당자가 바뀌면 같은 계산을 처음부터 다시 검증합니다 — 또는 검증 없이 씁니다.

승인 이력이 없습니다

누가 언제 확인했는지 기록이 없어, 감사와 인수인계가 사람 기억에 의존합니다.

2Pipeline

Workbook에서 Method Pack까지

Scan
Extract
Semantic Map
Compile
Differential Verify
Publish
Run · Check · Approve

핵심은 Differential Verify— 원본 workbook과 Method Pack을 같은 입력으로 실행해 승인된 허용오차(Tolerance Manifest) 안에서 결과가 일치함을 증명합니다. “옮겼더니 결과가 달라졌다”를 구조적으로 차단합니다.

3Method Pack

Method Pack은 템플릿이 아니라, 버전 고정 실행 단위입니다

manifest

Method 정의·의존성·버전

typed schemas

단위를 가진 입·출력 스키마

deterministic kernel

결정론적 계산 커널 — LLM 아님

Tolerance Manifest

승인된 허용오차 기준

test evidence

golden · boundary · property 테스트

clause map

적용 기준·조항 매핑

report template

보고서 양식

signed approval

서명된 승인 기록

4Assurance

세 개의 상태 축 — 섞이면 안 되기에, 분리했습니다

Assurance Basis
legacy-reproduction

특정 legacy workbook의 동작 재현 — 현행 기준 준수를 주장하지 않음

current-code-compliant

기준명·판본·독립 검토자·검토일·근거가 모두 있을 때만

experimental

검토 전 — 공식 사용 불가

Release Status
draftvalidatedcheckedreleasedwithdrawnsuperseded

Method 자체의 배포 상태 — superseded는 여기 속하며 assurance가 아닙니다.

Calculation Status
draftsubmittedcheckedapprovedrejected

개별 계산 실행의 검토 상태 — maker가 만들고, checker가 확인하고, approver가 서명합니다.

5Boundaries

하는 것과, 주장하지 않는 것

하는 것
  • 특정 legacy workbook의 결과 재현
  • 입력·출력·단위·출처 명시
  • 승인된 tolerance에 따른 differential verification
  • Method Pack 버전 관리와 실행 이력 추적
  • maker–checker–approver workflow
기본적으로 주장하지 않는 것
  • 모든 Excel/VBA의 범용 실행
  • 검토되지 않은 현행 기준 준수 선언
  • LLM 생성값의 공식 계산 결과 사용
  • 고객 계산서의 교차 고객 학습
  • 독립 검토 없는 안전 관련 승인
6Adoption

도입 경로

Readiness Assessment
Pilot Method Pack
Private Method Registry
Enterprise Operation

귀사 계산서 3개로 전환 진단을 시작하세요

파일 형식·VBA·검증 자료·배포 제약을 확인하고, 전환 가능성과 준비 단계를 안내드립니다.

계산서 전환 진단 신청